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
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