[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...
In my last post, I introduced Julia Galef’s way of thinking about motivated reasoning, what she calls soldier mindset: people...
thirdity: “Have we fallen into a mesmerized state that makes us accept as inevitable that which is inferior or detrimental,...
Dark matter and dark energy are two of the most profound mysteries in contemporary physics. Despite the evidence supporting them,...
