Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term

Studia Logica 48 (4):479 - 494 (1989)
The most difficult problem that Leniewski came across in constructing his system of the foundations of mathematics was the problem of defining definitions, as he used to put it. He solved it to his satisfaction only when he had completed the formalization of his protothetic and ontology. By formalization of a deductive system one ought to understand in this context the statement, as precise and unambiguous as possible, of the conditions an expression has to satisfy if it is added to the system as a new thesis. Now, some protothetical theses, and some ontological ones, included in the respective systems, happen to be definitions. In the present essay I employ Leniewski's method of terminological explanations for the purpose of formalizing ukasiewicz's system of implicational calculus of propositions, which system, without having recourse to quantification, I first extended some time ago into a functionally complete system. This I achieved by allowing for a rule of implicational definitions, which enabled me to define any propositionforming functor for any finite number of propositional arguments.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00370202
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 26,188
Through your library
References found in this work BETA
Selected Works.Jan Łukasiewicz - 1970 - Amsterdam: North-Holland Pub. Co..
On Lesniewski's Ontology.Czesław Lejewski - 1958 - Ratio 1 (2):150-176.
On Implicational Definitions.Czesław Lejewski - 1958 - Studia Logica 8 (1):189 - 211.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

20 ( #242,783 of 2,153,830 )

Recent downloads (6 months)

1 ( #398,274 of 2,153,830 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums