propositional function


Also found in: Dictionary, Thesaurus, Wikipedia.

propositional function

[‚präp·ə¦zish·ən·əl ′fəŋk·shən]
(mathematics)
An expression that becomes a proposition when the values of certain symbols in the expression are specified, and that is either true or false depending on these values. Also known as logical function; open sentence; open statement; predicate; sentential function; statement function.
References in periodicals archive ?
Since this is the only attributive strategy available in Krongo, we can say that the propositional function of modification is expressed by relative clauses in this language, not by lexical modifiers.
While the general approach is still substitutional--in that talk of propositional functions is presented as a convenience to be cashed out in terms of propositions and substitution--the unrestricted variable is no longer in force.
This will in turn highlight the added value of construing the four propositional functions at issue as interconnected grams on a map, i.
Russell says that if you take any propositional function like x is a man and assert that it is sometimes true, that gives you the fundamental meaning of "existence.
The propositional function is important in the theoretical development of logic.
We may replace the term "[infinity]-valued" with the term "empty" to get an intuitive grasp of the relationship between a propositional function and a proposition; thus, when a propositional function (which is 'empty') is 'filled' (i.
The lectures contain discussions of some material on which Moore published little or nothing, for example, types and tokens, propositional functions and their relation to common properties and relations, and the objects of false judgements.
A significant characteristic of a propositional function (e.
For example, regarding Russell's critique of Frege's view that descriptions denote objects, he succinctly summarizes Russell's view by appealing to the concept of the quantifier: "Russell argues that definite descriptions also express propositional functions that do not refer to or denote or name objects.
By taking into account the ten normal, or non-deteriorated, dyadic propositional functions, and their corresponding functions in the logic of classes, we have succeeded in getting two categories of logical relationships controlled by principles of opposition and conditioning (ordering).
The interactional discourse functions are responsible for creating and maintaining an open channel of communication between participants; propositional functions shape the actual content.
One could instead try to construct models based upon possible-worlds functions, propositional complexes, or propositional functions.