On the other hand, if the awareness in step (b) is non-propositional, then it cannot give one the knowledge posited in step (c), because that knowledge is propositional — it involves the knowledge that one's sense datum is of a certain kind — and a non-propositional state cannot support a proposition (Sellars 2000, part I).
Furthermore, all simple types are substitution instances of a propositional variable, hence II can be assigned both the type r → r and the type (s → s) → s → s and, of course, the latter happens to be an instance of the former because A → A is the principal type schema of II.
Here is another example of a propositional analysis, as applied to the patients' responses: ["What's more important, I receive information in a new way. Helpful information, not just the usual numbers and calculations.
Thus the Stoics concerned themselves with several issues we would place under the heading of predicate logic; but their main achievement was the development of a propositional logic, i.e. of a system of deduction in which the smallest substantial unanalyzed expressions are propositions, or rather, assertibles.
They influenced the second major theorist of logic in antiquity, the Stoic Chrysippus mid-3rd cc)., whose main achievement is the development of a propositional logic, crowned by a deductive system.
An urbanism defined by the high-piling of the species was a propositional inevitability of the form: "Have pile driver – will drive piles".
In the following, \(P\) is an auxiliary relation symbol of arity 0, that is, a propositional letter.
A state is a propositional interpretation of F. A belief set is a finite set of formulas over F, representing the formulas that some particular agent believes to be true.
The meaning of "the F" is a propositional constituent distinct from the F, which bears the special relation of "denoting" to the F. The phrase "the F" is considered to both express and designate this "denoting concept".
Perception, on this kind of intentionalist view, is a propositional attitude (see Byrne (2001) for a recent defence of this idea, see also Siegel (2010)).
