Combining Philosophers

Ideas for Melvin Fitting, Crates (Theb) and Penelope Maddy

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 / 7. Second-Order Logic

10594	Henkin semantics is more plausible for plural logic than for second-order logic [Maddy]
	Full Idea: Henkin-style semantics seem to me more plausible for plural logic than for second-order logic.
	From: Penelope Maddy (Second Philosophy [2007], III.8 n1)
	A reaction: Henkin-style semantics are presented by Shapiro as the standard semantics for second-order logic.

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)