Singular PropositionsSingular propositions are propositions about an individual to which some property is attributed. The individual is referred to by a name, and the property is referred to by a predicate. Here are some examples of singular propositions:
In each of these examples, there is an individual, Walter, Belinda, and Tyler. Each has a property. Walter has the property of being spiffy, Belinda the property of being tall, and Tyler the property of being able to dribble. "Walter," "Belinda," and "Tyler" are names. The English expressions "is spiffy," "is tall," and "can dribble" are predicates. To represent names in Quantificational Logic, we use lower case letters from the beginning of the alphabet. We call such an element an individual constant. So here are our translations of the three names from our three propositions above:
To represent the predicates, we use what we'll call a propositional function, which consists of an upper case letter, followed by a lower case letter from the end of the alphabet:
We call the lower case letter from the end of the alphabet an individual variable, to distinguish it from the individual constants.Think of the individual variable as a placeholder, the position which could be occupied by an individual constant. The propositional function, by itself, does not express a proposition. It can be transformed into a proposition (something that can be true or false) when we replace the individual variable with an individual constant. Putting these two pieces together, we have the translation of a singular proposition into Quantificational Logic:
The first skill you'll need to develop is the skill of recognizing singular propositions. Once you've recognized a sentence as a singular proposition, distinguish the name from the propositional function, select the appropriate abbreviations, and finish the translation. In the following exercise, you're just asked to pick out the singular propositions from a larger sample. In the second exercise, you'll translate singular propositions. |
|