ROCZNIKI FILOZOFICZNE Tom LXVIII, numer 4 – 2020 DOI: https://doi.org/10.18290/rf20684-13 BOŻENA CZERNECKA-REJ * ON FOUR TYPES OF ARGUMENTATION FOR CLASSICAL LOGIC Classical logic1 has been many times submitted to varied criticism and at the beginning of the second half of the 20th century—together with the progressing multiplication of non-classical logical calculi – its imminent death was even prophesied. Nevertheless, it still remains the most permanent paradigm of logic as a scientific discipline. It seems that the time has gone irrevocably when it was believed that two-valued logic did not only stand in conflict with our intuitions but using it might lead to contradictions. After numerous fruitless searches, the scientists even lost hope to create a better logic than two-valued logic2. Naturally, different types of non-classical logic function which solve certain local problems and which standard logic cannot cope with. Leslie H. Tharp in his article Which Logic Is the Right Logic? puts the question about the properties that the correct system of logic should possess. He states that standard first-order logic is commonly considered to be the basic logical tool – “it appears not to go beyond what one would call logic, the problem evidently is whether it can be extended” (THARP 1975, 4). He BOŻENA CZERNECKA-REJ, PhD Habil., Associate Professor at the John Paul II Catholic University of Lublin, Faculty of Philosophy, Institute of Philosophy, Department of Logic; address for corres- pondence: Al. Racławickie 14, 20-950 Lublin; e-mail:
[email protected]; ORCID: https://orcid.org/0000-0002-2992-4560.