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 ?
phrase The more to the left a propositional function is on this hierarchy, the more likely it is that a language has a specialized class of lexemes to express that function and the more to the right, the less likely.
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.e.
If we interpret Russell to mean that to say something exists is to say that a propositional function has the property being satisfied, then we have conflated semantics and ontology, just as Smith complained concerning Prior.
The notion of the propositional function, however, was an innovation.
The notion of 'function' has been generalized by Bertrand Russell to the very important notion of a 'propositional function.' For my purpose, a rough definition will be sufficient.
A significant characteristic of a propositional function (e.g., "x are scarce," ...
For each column of the manners table, we focus on the rows that are set to '1' and consider corresponding rows in the context table to evaluate propositional functions.
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).
Division between propositional and interactional functions: Contributions to the conversation are divided into propositional functions and interactional functions.
The interactional discourse functions are responsible for creating and maintaining an open channel of communication between participants; propositional functions shape the actual content.
The Theory of Descriptions: Existence is a property of propositional functions; it is not a property of things.