The author forms the following propositions based on the above discussion: Fig. 3 The Chinese multi-principal and multi-task structure.
And others require that one accept all propositions of the form: The proposition that P is true iff P (Horwich 1990, 18 22).
It is evident, therefore, that the propositions forming the basis of enthymemes, though some of them may be 'necessary', will most of them be only usually true.
"The railroaders form the connecting link in the proposition that is scabby at both ends," Haywood complained.
It is true that, inasmuch as primary substance is not predicable of anything, it can never form the predicate of any proposition.
(Analogous questions arise concerning the form of "the proposition that Sam is sad", "the property of sadness", "the concept of sadness" etc).
Having developed this analysis of world-thought-language, and relying on the one general form of the proposition, Wittgenstein can now assert that all meaningful propositions are of equal value.
To translate all this into the language of CDTT[4], one uses the following concordance: In CDTT the logical version ACL of AC takes the form of the proposition ACLT: \(\forall x:\bA\ \exists y:\bB\bPhi x,y)) \rightarrow \exists f:\bB^{\bA}\ \forall x:\bA\bPhi x,fx)).\) Now ACLT is provable in CDTT, as the following argument shows.
Although the Tractatus precludes philosophical theories, it does construct a systematic edifice which results in the general form of the proposition, all the while relying on strict formal logic; the Investigations points out the therapeutic non-dogmatic nature of philosophy, verily instructing philosophers in the ways of therapy.
Moreover, even if the LF of a sentence S underdetermines the logical form of the proposition a speaker expresses with S (on a given occasion of use), the LF may provide a "scaffolding" that can be elaborated in particular contexts, with little or no mismatch between grammatical and propositional architecture.
