Download statements with transitive verbs about groups of objects

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Old Irish grammar wikipedia , lookup

Causative wikipedia , lookup

Malay grammar wikipedia , lookup

Scottish Gaelic grammar wikipedia , lookup

Old English grammar wikipedia , lookup

Macedonian grammar wikipedia , lookup

American Sign Language grammar wikipedia , lookup

Japanese grammar wikipedia , lookup

Udmurt grammar wikipedia , lookup

Polish grammar wikipedia , lookup

English clause syntax wikipedia , lookup

Navajo grammar wikipedia , lookup

Portuguese grammar wikipedia , lookup

Serbo-Croatian grammar wikipedia , lookup

Hungarian verbs wikipedia , lookup

Ancient Greek grammar wikipedia , lookup

Modern Hebrew grammar wikipedia , lookup

Turkish grammar wikipedia , lookup

Yiddish grammar wikipedia , lookup

Kannada grammar wikipedia , lookup

Chinese grammar wikipedia , lookup

Lexical semantics wikipedia , lookup

Georgian grammar wikipedia , lookup

Latin syntax wikipedia , lookup

Spanish grammar wikipedia , lookup

Pipil grammar wikipedia , lookup

Transcript
SYMBOLIC LOGIC: PREDICATE LOGIC
Symbolizing Sentences with Relational Predicates
To describe a relationship between objects we use a relational verb. A
relational verb requires reference to more than one entity, usually to a
subject and an object. For example, in the sentence “Harry photographed
someone” there is only one predicate even though there are two terms
referring to entities. (Note that this sentence is atomic, rather than
compound.) In logical terms, the sentence describes the relationship of
photographing between Harry and some person. Thus the referring terms
need to be attached to the verb “photographs.”
There are various types of sentences with relational verbs, depending on
whether (and how many) quantifiers and variables are needed.
To represent that both referring terms (Harry and someone) are attached
to the single verb “photographs,” we create another position or slot
immediately to the right of the subject position (which is immediately of the
verb). For example,
Example 1:
Harry teased Jason.
P _h_ _j_
Exception: If the object of the verb is a does not refer to individuals but is
a mass term, the object must be incorporated in the definition of the
predicate.
1
Example 2:
Karen loves chocolate.
L __
L -- loves chocolate
I. RELATIONAL SENTENCES (transitive verb) Without Quantifiers
Sometimes sentences with relational terms are singulary in that they
contain only proper names and no quantified terms. For example, the
sentence “Beverly photographs Andrew” contains only proper names.
Thus this sentence does not require any variables or quantifiers.
Example 3:
Beverly photographs Andrew
Pba
ORDERING OF SUBJECT AND OBJECTS
In cases of relational verbs, the order in which smaller case letters
(representing entities: subject, object, indirect object) appear to the right of
the predicate letter determines what role the named object plays with
respect to the verb. For example, Pba means “Beverly photographs
Andrew.” That is, the object in the first position to the right of the predicate
letter is the subject of the verb; the one in the second is the object. Each
predicate has a set order: the subject of the verb, the object of the verb,
the indirect object, etc.
Example 4:
Andrew photographs Beverly
Pab
2
II. SENTENCES WITH RELATIONAL VERBS, ONE VARIABLE
Sometimes a sentence with a relational verb contains one proper name but
also one quantified phrase (someone, every individual, no individual, etc.).
In this case you need both a quantifier and a variable.
NOTE: Every variable needs a quantifier and every quantifier needs a
variable.
Example 4:
Someone photographs Andrew
(x)(Pxa)
Everyone photographs Beverly.
(x)(Pxy)
Dictionary: Pxy – x photographs y, a -- Andrew
3