Combining Texts

Ideas for 'works', 'Super Epistolam Pauli Apostoli' and 'Second Philosophy'

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
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 / E. Structures of Logic / 1. Logical Form
For Aristotle, the subject-predicate structure of Greek reflected a substance-accident structure of reality [Aristotle, by O'Grady]
     Full Idea: Aristotle apparently believed that the subject-predicate structure of Greek reflected the substance-accident nature of reality.
     From: report of Aristotle (works [c.330 BCE]) by Paul O'Grady - Relativism Ch.4
     A reaction: We need not assume that Aristotle is wrong. It is a chicken-and-egg. There is something obvious about subject-predicate language, if one assumes that unified objects are part of nature, and not just conventional.