nLab Dasein




Cohesive toposes



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.

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.