[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...
“At the present time there still exist many doctrines which choose to leave in the shadow certain troubling aspects of...
From populist politics to debates over vaccines and gender, ours is an age of polarisation. How can we debate productively...
From populist politics to debates over vaccines and gender, ours is an age of polarisation. How can we debate productively...
Return to Zero: Lear and Gloucester After raving through suffering and storm, King Lear is seared by an insight, one...
