display all the ideas for this combination of texts
6 ideas
7681 | Logic describes inferences between sentences expressing possible properties of objects [Jacquette] |
Full Idea: It is fundamental that logic depends on logical possibilities, in which logically possible properties are predicated of logically possible objects. Logic describes inferential structures among sentences expressing the predication of properties to objects. | |
From: Dale Jacquette (Ontology [2002], Ch. 2) | |
A reaction: If our imagination is the only tool we have for assessing possibilities, this leaves the domain of logic as being a bit subjective. There is an underlying Platonism to the idea, since inferences would exist even if nothing else did. |
7682 | Logic is not just about signs, because it relates to states of affairs, objects, properties and truth-values [Jacquette] |
Full Idea: At one level logic can be regarded as a theory of signs and formal rules, but we cannot neglect the meaning of propositions as they relate to states of affairs, and hence to possible properties and objects... there must be the possibility of truth-values. | |
From: Dale Jacquette (Ontology [2002], Ch. 2) | |
A reaction: Thus if you define logical connectives by truth tables, you need the concept of T and F. You could, though, regard those too as purely formal (like 1 and 0 in electronics). But how do you decide which propositions are 1, and which are 0? |
17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
Full Idea: In the study of formal systems we do not confine ourselves to the derivation of elementary propositions step by step. Rather we take the system, defined by its primitive frame, as datum, and then study it by any means at our command. | |
From: Haskell B. Curry (Remarks on the definition and nature of mathematics [1954], 'The formalist') | |
A reaction: This is what may potentially lead to an essentialist view of such things. Focusing on bricks gives formalism, focusing on buildings gives essentialism. |
7697 | On Russell's analysis, the sentence "The winged horse has wings" comes out as false [Jacquette] |
Full Idea: It is infamous that on Russell's analysis the sentences "The winged horse has wings" and "The winged horse is a horse" are false, because in the extant domain of actual existent entities there contingently exist no winged horses | |
From: Dale Jacquette (Ontology [2002], Ch. 6) | |
A reaction: This is the best objection I have heard to Russell's account of definite descriptions. The connected question is whether 'quantifies over' is really a commitment to existence. See Idea 6067. |
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
Full Idea: In 1846 De Morgan introduced the enormously influential notion of a possibly arbitrary and stipulated 'universe of discourse'. It replaced Boole's original - and metaphysically a bit suspect - universe of 'all things'. | |
From: report of Augustus De Morgan (works [1846]) by Michal Walicki - Introduction to Mathematical Logic History D.1.1 | |
A reaction: This not only brings formal logic under control, but also reflects normal talk, because there is always an explicit or implicit domain of discourse when we talk. Of virtually any conversation, you can say what it is 'about'. |
7701 | Can a Barber shave all and only those persons who do not shave themselves? [Jacquette] |
Full Idea: The Barber Paradox refers to the non-existent property of being a barber who shaves all and only those persons who do not shave themselves. | |
From: Dale Jacquette (Ontology [2002], Ch. 9) | |
A reaction: [Russell spotted this paradox, and it led to his Theory of Types]. This paradox may throw light on the logic of indexicals. What does "you" mean when I say to myself "you idiot!"? If I can behave as two persons, so can the barber. |