display all the ideas for this combination of philosophers
2 ideas
4705 | Logical relativism appears if we allow more than one legitimate logical system [O'Grady] |
Full Idea: Logical relativism emerges if one defends the existence of two or more rival systems that one may legitimately choose between, or move back and forth between. | |
From: Paul O'Grady (Relativism [2002], Ch.2) | |
A reaction: All my instincts rebel against this possibility. All of Aristotle's and Kant's philosophy would be rendered meaningless. Obviously you can create artificial logics (like games), but I believe there is a truth logic. (Pathetic, isn't it?) |
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) |