the+predicate

См. также в других словарях:

• quantification of the predicate — (logic) The attachment of a sign of quantity to the predicate • • • Main Entry: ↑quantify …   Useful english dictionary

• The False Subtlety of the Four Syllogistic Figures — Proved ( Die falsche Spitzfindigkeit der vier syllogistischen Figuren erwiesen ) was an essay published by Immanuel Kant in 1762.ection I General conception of the Nature of Ratiocination A judgment is the comparison of a subject or thing with a… …   Wikipedia

• The Syro-Aramaic Reading of the Koran —   …   Wikipedia

• predicate calculus — The logical calculus in which the expressions include predicate letters, variables, and quantifiers, names, and operation letters, as well as the expressions for truth functions and the propositional variables of the propositional calculus . The… …   Philosophy dictionary

• Predicate — Pred i*cate, n. [L. praedicatum, neut. of praedicatus, p. p. praedicare: cf. F. pr[ e]dicat. See {Predicate}, v. t.] 1. (Logic) That which is affirmed or denied of the subject. In these propositions, Paper is white, Ink is not white, whiteness is …   The Collaborative International Dictionary of English

• The Real Presence of Christ in the Eucharist —     The Real Presence of Christ in the Eucharist     † Catholic Encyclopedia ► The Real Presence of Christ in the Eucharist     In this article we shall consider:     ♦ the fact of the Real Presence, which is, indeed, the central dogma;     ♦ the …   Catholic encyclopedia

• Predicate (grammar) — In traditional grammar, a predicate is one of the two main parts of a sentence (the other being the subject, which the predicate modifies). In current linguistic semantics, a predicate is an expression that can be true of something. Thus, the… …   Wikipedia

• Predicate variable — In first order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically assigned any particular relation (or meaning). In first order logic (FOL) they can be more… …   Wikipedia

• predicate calculus — Logic. See functional calculus. Also called predicate logic. [1945 50] * * * Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as all and some. The predicate calculus …   Universalium

• Predicate abstraction — In logic, predicate abstraction is the result of creating a predicate from an open sentence. If Q(x) is any formula with x free then the predicate formed from that sentence is (λx.Q(x)), where λ is an abstraction operator. The resultant predicate …   Wikipedia

• Predicate logic — In mathematical logic, predicate logic is the generic term for symbolic formal systems like first order logic, second order logic, many sorted logic or infinitary logic. This formal system is distinguished from other systems in that its formulas… …   Wikipedia