[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...
“I am still in utter disbelief by Thursday’s verdict. Never in my life did I imagine my own government would...
Traditionally, love is seen as a profound and enduring connection. Yet, as Lacan and Deleuze describe, love is also a...
Job List: Europe Name of institution: Wageningen University & Research Town: Wageningen Country: Netherlands Job Description: Do you want to...
