Combining Texts

Ideas for 'Symposium', 'Second Philosophy' and 'Logological Fragments II'

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

display all the ideas for this combination of texts

---

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

19597	Logic (the theory of relations) should be applied to mathematics [Novalis]
	Full Idea: Ought not logic, the theory of relations, be applied to mathematics?
	From: Novalis (Logological Fragments II [1798], 38)
	A reaction: Bolzano was 19 when his was written. I presume Novalis would have been excited by set theory (even though he was a hyper-romantic).