display all the ideas for this combination of philosophers
2 ideas
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'. |
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) |