Combining Philosophers

Ideas for Melvin Fitting, Fabrice Correia and Alain Badiou

unexpand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers

---

2 ideas

5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic

12342	Topos theory explains the plurality of possible logics [Badiou]
	Full Idea: Topos theory explains the plurality of possible logics.
	From: Alain Badiou (Briefings on Existence [1998], 14)
	A reaction: This will because logic will have a distinct theory within each 'topos'.

5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics

11026	Classical logic is deliberately extensional, in order to model mathematics [Fitting]
	Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics.
	From: Melvin Fitting (Intensional Logic [2007], §1)