| Popis: |
Part I of this paper presented an axiomatized theory of general syntax, defined the usual notions of general syntax, and proved some typical theorems of general syntax. We claimed that this system is strong enough to precisely state the formative and deductive rules of formal languages. In Part II we support this claim by formulating, in a very precise way, the rule of procedure of Leśniewski’s Protothetic. Section 1 is an informal introduction to Protothetic and its rule of procedure. Our metalogical system is extended there to a theory MP which is concerned explicitly with the syntax of Protothetic. This section is intended to motivate the Terminological Explanations of Section 2 which culminate in the statement of the rule of Protothetic. In Section 3 we sketch a proof that our formulation of the rule is equivalent to that given by Leśniewski (1929). This proof shows that our system is strong enough to conduct certain metalogical investigations. |
