The Notion of Refutation in Contemporary Logic (in Polish)

Main Article Content

Karolina Rożko

Abstract

The main aim of this article is to show how the notion of refutation has been changing in logic for the last few years. The idea of refutation was known to Aristotle, but the formal concept was introduced by Jan Łukasiewicz. Afterwards this notion was investigated by the Polish group of logicians headed by Jerzy Słupecki. Several interesting articles about refutation have appeared in the last years. In this article, I present in outline the history of the notion of refutation and I discuss  recent applications of refutation systems both in the theoretical and practical approach.

Downloads

Download data is not yet available.

Article Details

How to Cite
Rożko, Karolina. 2014. “The Notion of Refutation in Contemporary Logic (in Polish)”. Diametros, no. 41 (September):115-26. https://doi.org/10.13153/diam.41.2014.653.
Section
Articles
Author Biography

Karolina Rożko, University of Zielona Góra

Karolina Rożko, MAUniversity of Zielona GóraInstitut of Philosophyal. Wojska Polskiego 71A,65-762 Zielona Górae-mail: krozko@gmail.com
Share |

References

Bryll [1996] – G. Bryll, Metody odrzucania wyrażeń, Akademicka Oficyna Wydawnicza PLJ, Warszawa 1996.
View in Google Scholar

Craig [1957] – W. Craig, Three uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory, „Journal of Symbolic Logic” (3) 1957, s. 269-285.
View in Google Scholar

Dutkiewicz [1988] – R. Dutkiewicz, Z badań nad metodą tablic semantycznych, Wyd. KUL, Lublin 1988.
View in Google Scholar

Fiorentini [2012] – C. Fiorentini, Terminating sequent calculi for proving and refuting formulas in S4, „Journal of Logic and Computation”, 2012, doi: 10.1093/logcom/exs053.
View in Google Scholar

Goranko [1994] – V. Goranko, Refutation Systems in Modal Logic, „Studia Logica” (53) 1994, s. 299-324.
View in Google Scholar

Goré i Postniece [2008] – R. Goré i L. Postniece, Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic, „Journal of Logic and Computation” (20) 2010, s. 233-260.
View in Google Scholar

Kovács i Voronkov [2009] – L. Kovács i Voronkov, Interpolation and symbol elimination, [w:] Proceedings of Conference on Automated Deduction (CADE), Springer, 2009, s. 199-213.
View in Google Scholar

Łukasiewicz [1988] – J. Łukasiewicz, Sylogistyka Arystotelesa z punktu widzenia współczesnej logiki formalnej, tłum. A. Chmielewski, Wyd. PWN, Warszawa 1988 r.
View in Google Scholar

Mints [1988] – Mints G., Gentzen-type systems and resolution rules. Part I. Propositional logic, „Lecture Notes in Computer Science” (417) 1988, s. 198-231.
View in Google Scholar

Pinto i Dyckhoff [1995] – L. Pinto i R. Dyckhoff, Loop-free construction of counter models for intuitionistic propositional logic, „Symposia Gaussiana” 1995, s. 225-232.
View in Google Scholar

Scott [1960] – D. Scott, Completeness Proofs for the Intuitionistic Sentential Calculus, [w:] Summaries of talks presented at the Summer Institute for Symbolic Logic: Cornell University 1957 2nd edition, Communications Research Division, Institute for Defense Analyses, Princeton NJ 1960, s. 231-241.
View in Google Scholar

Skura [1999] – T. Skura, Aspects of Refutation Procedures in the Intuitionistic Logic and Related Modal Systems, Wyd. Uniwersytetu Wrocławskiego, Wrocław 1999.
View in Google Scholar

Skura [2002] – T. Skura, Refutations, Proofs, and Models in the Modal Logic K4, „Studia Logica” (70) 2002, s. 193-204.
View in Google Scholar

Skura [2011] – T. Skura, Refutation Systems in Propositional Logic, [w:] Handbook of Philosophical Logic (16), red. D.M. Gabbay and F. Guenthner, Springer, Heidelberg/Dordrecht/New York/London 2011, s. 115-157.
View in Google Scholar

Skura [2013] – T. Skura, What is a refutation system?, [w:] Let's Be Logical, red. Moktefi, A., Moretti, A., Schang F., College Publications, w druku.
View in Google Scholar

Słupecki, Bryll, Wybraniec-Skardowska [1972] – J. Słupecki, G. Bryll, U. Wybraniec-Skardowska, Theory of rejected propositions. Part II, „Studia Logica” (30) 1971, s. 97-115.
View in Google Scholar

Weissenbacher [2010] – G. Weissenbacher, Program Analysis with Interpolants, PhdThesis in Magdalen College, Trinity Term, 2010.
View in Google Scholar