Combining Philosophers

Ideas for Melvin Fitting, Roger Scruton and Lawrence M. Krauss

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 / 2. History of Logic

5637	Nowadays logic is seen as the science of extensions, not intensions [Scruton]
	Full Idea: Logicians have come increasingly to realise that logic is the science not of the intension, but of the extension of terms.
	From: Roger Scruton (Short History of Modern Philosophy [1981], Ch.4)
	A reaction: I take this to be because the notion of a 'set' is basic, which is defined strictly in terms of its members. This move is probably because we can be clear about extensions, but not intensions. Tidiness is no substitute for complex truth.

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)