Rejection in Łukasiewicz's and Słupecki' Sense

Lvov-Warsaw School. Past and Present (2018)
Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
Revision history
Archival date: 2019-04-02
View upload history
References found in this work BETA
Zarys Logiki Matematycznej.Grzegorczyk, Andrzej

View all 29 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total views
55 ( #41,057 of 50,155 )

Recent downloads (6 months)
15 ( #34,046 of 50,155 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.