If we think of propositions as "structured entities looking something like the sentences which express them," as Kaplan invites us to do, we can think of directly referring terms as terms whose contribution to a proposition lacks the structure that characterizes the contribution of definite descriptions.
Whether the interrogative mood is consistently encoded before or after the proposition, the semantic structuring of a polar interrogative starts concurrently in Chinese, German, and Polish.
The issues we are going to deal with fall under the following five headings: Facts and Worlds, Boolean Operations on Facts, Independency, Facts and Propositions, The Inner Structure of Facts.
Thus, in addition to logic and argumentation (treated primarily in the Prior Analytics and Topics), the works included in the Organon deal with category theory, the doctrine of propositions and terms, the structure of scientific theory, and to some extent the basic principles of epistemology.
However, in a properly analyzed proposition, there is a clear isomorphism between the structure of the proposition and the structure of the fact that would make it true (PLA, 197); hence a precise and analyzed proposition is capable of being true in one and only one way (Vag, 219).
It helps solve the problem of the unity of the proposition (see the previous section), insofar as the structure of a proposition derives from the syntactic structure of a corresponding sentence.
Since the things a term stands for are not established a priori but dependent on propositional context, the analysis of the structure of a proposition in terms of the identity relation requires a correspondence theory of truth.
On this reading, the Dream Theory claims that simple, private objects of experience are the elements of the proposition; thus, the Dream Theory is both a theory about the structure of propositions and a theory about simple and complex objects.
But first we prove a proposition giving some insight into the structure of this type of mappings.
On this view, the logical form of a proposition is made manifest by the structure of a sentence in an ideal formal language what Frege called a Begriffsschrift (concept-script); where the sentences of such a language exhibit function-argument structures that differ in kind from the grammatical structures exhibited by the sentences we use in ordinary communication.
