nLab
Dasein

Contents

Context

Philosophy

Cohesive toposes

cohesive topos

cohesive (∞,1)-topos

cohesive homotopy type theory

Backround

Definition

Presentation over a site

Structures in a cohesive (,1)(\infty,1)-topos

structures in a cohesive (∞,1)-topos

Structures with infinitesimal cohesion

infinitesimal cohesion?

Models

Contents

Idea

According to Hegel Science of Logic (§ 191) Dasein (“determinate being”) is the Aufhebung of becoming, which in turn is the unity of opposites of nothing and being.

Dasein
becoming :nothing\;\;\;\dashvbeing: ceasing

According to Hegel Phenomenology of Spirit (Vorrede §55) this is the Nous of Anaxagoras.

Following suggestions by William Lawvere as discussed in detail at Aufhebung – Examples – Aufhebung of Becoming – Determinate being, this is formalized by the level given by the sharp modality in its opposition to the flat modality:

Dasein *. \array{ \flat \; &\dashv& \;\;\sharp \\ \vee \; &\nearrow_{\mathrlap{Dasein}}& \;\;\vee \\ \emptyset \; &\dashv& \;\;\ast } \,.

So \sharp is a higher level version of *\ast (being). Indeed, this is the statement of (SoL § 194).

Last revised on November 30, 2014 at 14:19:33. See the history of this page for a list of all contributions to it.