Repository | Book | Chapter
(2018) The Lvov-Warsaw school, Dordrecht, Springer.
The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz and developed by his student Słupecki, the pioneers of the method, which becomes relevant in modern approaches to logic.
Publication details
DOI: 10.1007/978-3-319-65430-0_40
Full citation:
Wybraniec-Skardowska, (2018)., Rejection in Łukasiewicz's and Słupecki's sense, in A. Garrido & U. Wybraniec-Skardowska (eds.), The Lvov-Warsaw school, Dordrecht, Springer, pp. 575-597.
This document is unfortunately not available for download at the moment.