search

nameiwillforget / hegel-in-mathematics

My exposition of the formalization of Hegel's theory in modal homotopy type theory
GNU General Public License v3.0
12 stars 1 forks source link

Incorrect statement about triple negation in section 6.2 #2

Closed ghost closed 2 years ago

ghost commented 2 years ago

The clause

Furthermore, since it is provable in intuitionistic logic that ¬¬¬p is equivalent to ¬¬p

in sentence 5 of the final paragraph of page 15 should instead be

Furthermore, since it is provable in intuitionistic logic that ¬¬¬p is equivalent to ¬p

nameiwillforget commented 2 years ago

The clause

Furthermore, since it is provable in intuitionistic logic that ¬¬¬p is equivalent to ¬¬p

in sentence 5 of the final paragraph of page 15 should instead be

Furthermore, since it is provable in intuitionistic logic that ¬¬¬p is equivalent to ¬p

Thanks!