[Revised entry by Laura Crosilla on February 22, 2024.
Changes to: Main text, Bibliography]
Constructive and intuitionistic Zermelo-Fraenkel set theories are axiomatic theories of sets in the style of Zermelo-Fraenkel set theory (ZF) which are based on intuitionistic logic. They were introduced in the 1970’s and they represent a formal context within which to codify mathematics based on intuitionistic…
Originally appeared on Stanford Encyclopedia of Philosophy Read More
This is Part 4 of a 4-part series on the academic, and specifically philosophical study of disagreement. In Part 1...
This is Part 3 of a 4-part series on the academic, and specifically philosophical study of disagreement. In Part 1...
This is Part 2 of a 4-part series on the academic, and specifically philosophical study of disagreement. In Part 1...
This is Part 1 of a 4-part series on the academic, and specifically philosophical study of disagreement. In this series...
Idealism is often met with some ridicule; surely the world doesn’t just exist in our heads. Jeremy Dunham argues this...
Alexander Pushkin (1799-1837), the “Father of Russian Literature,” is most famous for his poetry, but later in his life he...
philosophybits: “If you are not already dead, forgive. Rancor is heavy, it is worldly; leave it on earth: die light.”...
“Feeling (for a particular art, science, person, etc.) is divided spirit, is self-restriction: hence a result of self-creation and self-destruction.”...
