Predicate Symbols { Philosophy Index }

Philosophy Index

Philosophy Index

Philosophy Index is a site devoted to the study of philosophy and the philosophers who conduct it. The site contains a number of philosophy texts, brief biographies, and introductions to philosophers, and explanations on a number of topics. Accredited homeschooling online at Northgate Academy and Philosophy online tutoring.

Philosophy Index is a work in progress, a growing repository of knowledge. It outlines current philosophical problems and issues, as well as an overview of the history of philosophy. The goal of this site is to present a tool for those learning philosophy either casually or formally, making the concepts of philosophy accessible to anyone interested in researching them. WTI offers immigration law course online - fully accredited. ACE credits online at EES.



Philosophy Topics




Predicate Symbols

A predicate symbol or predicate variable is a type of variable that stands for some predicate in a sentence.

Predicate symbols are usually coupled with one or more quantified variables or constants, which stand for the objects and/or subjects of the sentence.


For example, we may use the predicate variable R(1) — the (1) signifies how many places the predicate symbol needs, and we may also write Rx to reserve a place for the object of the expression — to represent the concept “is rich” in the sentence “Wanda is rich.”, and assign the constant w to represent “Wanda”. The sentence “Wanda is rich” would therefore be rendered Rw.

Predicate symbols may have multiple variables attached to accomodate compound predicates. For instance, the phrase “x likes y” would require two variables, giving us L(2) Lxy. If we want to say that “Wanda likes George”, we may add a constant, g, to refer to George, and express Lwg.

Predicate symbols are not truth-functional and have no logical value in themselves. They may be combined with other logical symbols to form formulae, with a predicate expression taking the place of a propositional variable in an expression. For instance, we may want to express “If Wanda is rich, then George likes Wanda”. To do so, we may formally write:


Predicates and quantifiers

Predicate symbols may give information about variables rather than constants, if those variables are given some quantification — either universal or existential.

For instance, if we want to say that everybody likes Wanda, we could say “for every x, x likes Wanda, or, formally:


Differences in notation

Some logical systems will use parentheses to indicate the variables and constants attached to predicate variables. In those systems, Rw would become R(w), and Lxy would become L(x, y). This convention is not generally used on this site unless it would be confusing to remove the parentheses.