Combining Texts

Ideas for 'works', 'Which Logic is the Right Logic?' and 'Some Puzzles of Ground'

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 / 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.
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / b. Basic connectives
In sentential logic there is a simple proof that all truth functions can be reduced to 'not' and 'and' [Tharp]
     Full Idea: In sentential logic there is a simple proof that all truth functions, of any number of arguments, are definable from (say) 'not' and 'and'.
     From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §0)
     A reaction: The point of 'say' is that it can be got down to two connectives, and these are just the usual preferred pair.