[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...
For almost a century, conventional wisdom held that emotions from happiness to sadness, anticipation to surprise, and anger to terror...
Two things seem true about modern professional life. One, most professional activities nowadays (legal ones, anyway) are backed by a code...
philosophybits: “Every art and every inquiry, and similarly every action and pursuit, is thought to aim at some good; and...
:max_bytes(150000):strip_icc()/theories-of-emotion-2795717-FINAL-updated-878d86f3e039449a931fcf02f4b39165.png?w=300&resize=300,300&ssl=1)
