Rejection in Łukasiewicz's and Słupecki' Sense
Lvov-Warsaw School. Past and Present (2018)
Abstract
The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. 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.
Keywords
Aristotle’s syllogistic Słupecki’s rejection function generalization of rejection notion genesis of rejection notion rejection in Łukasiewicz’s sense Słupecki’s solution of decidability problem of Aristotle’s syllogistic deductive systems axiomatic method of rejection refutation systems Słupecki's rejection function generalization of rejection notion
Categories
(categorize this paper)
PhilPapers/Archive ID
WYBRIU-2
Upload history
Archival date: 2019-04-02
View other versions
View other versions
Added to PP index
2019-04-02
Total views
73 ( #43,006 of 55,919 )
Recent downloads (6 months)
17 ( #38,370 of 55,919 )
2019-04-02
Total views
73 ( #43,006 of 55,919 )
Recent downloads (6 months)
17 ( #38,370 of 55,919 )
How can I increase my downloads?
Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.