Clearly, whatever we can say in advance about the form of all propositions, we must be able to say all at once. In the event, an elemental proposition already contains all logical operations in itself. For (fa) says the same thing as
((∃x) . fx . x = a).
In any composite sentence, there are argument and function, and with these, all the logical constants. One could say that the sole logical constant is that which all propositions, by their very nature, must have in common with one another. But that is the general propositional form. The general propositional form is the essence of the proposition. Stating the essence of the proposition means to state the essence of all description, that is the essence of the world. The description of the most general propositional form is the description of the one and only general primitive sign in logic.
No comments:
Post a Comment