Difference between revisions of "Predicate logic"

From Glottopedia
Jump to navigation Jump to search
(Edited the format, removed the block {{cats}})
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
 
{{stub}}
 
{{stub}}
 
+
==Definiton==
 
'''Predicate logic''' is the logical system in which the atomic propositional letters of propositional logic are analyzed in terms of combinations of predicates and individual terms. The basic expressions are predicates and individual constants and variables instead of propositions.
 
'''Predicate logic''' is the logical system in which the atomic propositional letters of propositional logic are analyzed in terms of combinations of predicates and individual terms. The basic expressions are predicates and individual constants and variables instead of propositions.
  
=== Example ===
+
== Example ==
 
+
Sentence (i) would be translated in propositional logic with a mere ''p'' (for proposition).
sentence (i) would be translated in propositional logic with a mere ''p'' (for proposition).
 
  
 
  (i) John walks
 
  (i) John walks
Line 11: Line 10:
 
In predicate logic, we analyze ''John'' as an [[individual constant]] ''j'', representing an entity or individual, and ''walks'' as a predicate constant ''W'', representing a property that is attributed to the individual. Translation of (i) into predicate logic would result in the proposition ''W(j)'', which is an [[atomic formula]] in predicate logic. The individual variables allow formulas to be quantified (into) by means of the [[existential quantifier]] and the [[universal quantifier]].
 
In predicate logic, we analyze ''John'' as an [[individual constant]] ''j'', representing an entity or individual, and ''walks'' as a predicate constant ''W'', representing a property that is attributed to the individual. Translation of (i) into predicate logic would result in the proposition ''W(j)'', which is an [[atomic formula]] in predicate logic. The individual variables allow formulas to be quantified (into) by means of the [[existential quantifier]] and the [[universal quantifier]].
  
=== Links ===
+
== Links ==
 
+
*[http://en.wikipedia.org/wiki/Predicate_logic Predicate logic (Wikipedia)]<br>
[http://en.wikipedia.org/wiki/Predicate_logic Predicate logic (Wikipedia)]<br>
+
*[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Predicate+logic&lemmacode=425 Utrecht Lexicon of Linguistics]
[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Predicate+logic&lemmacode=425 Utrecht Lexicon of Linguistics]
 
 
 
=== References ===
 
  
 +
== References ==
 
* Gamut, L.T.F. 1991. ''Logic, language, and meaning,'' Univ. of Chicago Press, Chicago.
 
* Gamut, L.T.F. 1991. ''Logic, language, and meaning,'' Univ. of Chicago Press, Chicago.
  
 
{{dc}}
 
{{dc}}
 
[[Category:Semantics]]
 
[[Category:Semantics]]
 
{{cats}}
 

Latest revision as of 19:02, 27 September 2014

STUB


Definiton

Predicate logic is the logical system in which the atomic propositional letters of propositional logic are analyzed in terms of combinations of predicates and individual terms. The basic expressions are predicates and individual constants and variables instead of propositions.

Example

Sentence (i) would be translated in propositional logic with a mere p (for proposition).

(i) John walks

In predicate logic, we analyze John as an individual constant j, representing an entity or individual, and walks as a predicate constant W, representing a property that is attributed to the individual. Translation of (i) into predicate logic would result in the proposition W(j), which is an atomic formula in predicate logic. The individual variables allow formulas to be quantified (into) by means of the existential quantifier and the universal quantifier.

Links

References

  • Gamut, L.T.F. 1991. Logic, language, and meaning, Univ. of Chicago Press, Chicago.