Combining Texts

Ideas for 'Structures and Structuralism in Phil of Maths', 'works' and 'Intermediate Logic'

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

display all the ideas for this combination of texts


4 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 / a. Logical connectives
Truth-functors are usually held to be defined by their truth-tables [Bostock]
     Full Idea: The usual view of the meaning of truth-functors is that each is defined by its own truth-table, independently of any other truth-functor.
     From: David Bostock (Intermediate Logic [1997], 2.7)
5. Theory of Logic / E. Structures of Logic / 5. Functions in Logic
A 'zero-place' function just has a single value, so it is a name [Bostock]
     Full Idea: We can talk of a 'zero-place' function, which is a new-fangled name for a familiar item; it just has a single value, and so it has the same role as a name.
     From: David Bostock (Intermediate Logic [1997], 8.2)
A 'total' function ranges over the whole domain, a 'partial' function over appropriate inputs [Bostock]
     Full Idea: Usually we allow that a function is defined for arguments of a suitable kind (a 'partial' function), but we can say that each function has one value for any object whatever, from the whole domain that our quantifiers range over (a 'total' function).
     From: David Bostock (Intermediate Logic [1997], 8.2)
     A reaction: He points out (p.338) that 'the father of..' is a functional expression, but it wouldn't normally take stones as input, so seems to be a partial function. But then it doesn't even take all male humans either. It only takes fathers!