Abstract
In the paper, the authors discuss two kinds of consequence operations characterized axiomatically. The first one are consequence operations of the type Cn + that, in the intuitive sense, are infallible operations, always leading from accepted (true) sentences of a deductive system to accepted (true) sentences of the deductive system (see Tarski in Monatshefte für Mathematik und Physik 37:361–404, 1930, Comptes Rendus des Séances De la Société des Sciences et des Lettres de Varsovie 23:22–29, 1930; Pogorzelski and Słupecki in Stud Logic 9:163–176, 1960, Stud Logic 10:77–95, 1960). The second kind are dual consequence operations of the type Cn − that can be regarded as anti-infallible operations leading from non-accepted (rejected, false) sentences of a deductive system to non-accepted (rejected, false) sentences of the system (see Słupecki in Funkcja Łukasiewicza, 33–40, 1959; Wybraniec-Skardowska in Teoria zdań odrzuconych, 5–131, Zeszyty Naukowe Wyższej Szkoły Inżynierskiej w Opolu, Seria Matematyka 4(81):35–61, 1983, Ann Pure Appl Logic 127:243–266, 2004, in On the notion and function of rejected propositions, 179–202, 2005). The operations of the types Cn + and Cn − can be ordinary finitistic consequence operations or unit consequence operations. A deductive system can be characterized in two ways by the following triple:
We compare axiom systems for operations of the types Cn + and Cn −, give some methodological properties of deductive systems defined by means of these operations (e.g. consistency, completeness, decidability in Łukasiewicz’s sense), as well as formulate different metatheorems concerning them.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Bonikowski Z. (2010) Unit operations in approximation spaces. In: Szczuka M., Kryszkiewicz M., Ramanna S., Jensen R. (eds). Rough Sets and Current Trends in Computing LNAI, vol 6086. Springer, Berlin, pp 337–346
Bonikowski, Z., Wybraniec-Skardowska, U.: A generalization of certain set-theoretical operations. In: Beziau, J.-Y., Caleiro, C., Costa-Leite, A., Ramos, J. (eds.) UniLog 2010, Book of Abstracts, World Congress and School on Universal Logic (3rd edition), April 18–25, 2010, Monte Estoril, Portugal. Instituto Superior Tecnico, Departamento de Matematica, p. 59 (2010)
Borkowski, L.: Logika Formalna. PWN, Warszawa (1970) (English translation: Formal Logic, Akademie-Verlag, Berlin (1977))
Bryll, G.: Kilka uzupełnień teorii zdań odrzuconych (Some supplements of the theory of rejected propositions). In: [45], 133–154 (1969)
Bryll, G.: Zwia̧zki logiczne pomiȩdzy zdaniami nauk empirycznych (Logical relations between sentences of empirical sciences). In: [45], 155–216 (1969)
Bryll, G.: Metody odrzucania wyrażeń (Methods of Rejection of Expressions). Problemy Współczesnej Nauki. Teoria i Zastosowania. Informatyka. Akademicka Oficyna Wydawnicza PLJ, Warszawa (1996)
Kuratowski K.: Surl’operation Ādel’ analysys situs. Fundam. Math. 3, 182–199 (1922)
Łukasiewicz, J.: Logika dwuwartościowa (Two-valued logic), Przegla̧d Filozoficzny 23, 189–205 (1921) (English translation: Two-valued logic. In: [13], 89–109 (1970))
Łukasiewicz, J.: O sylogistyce Arystotelesa (On Aristotle’s syllogistic). Sprawozdania z Czynności i Posiedzeń Polskiej Akademii Umiejȩtności 44 (1939). (Reprinted in: Z Zagadnień Logiki i Filozofii. Pisma Wybrane (Problems in Logic and Philosophy. Selected Papers (J. Słupecki (Ed.)), PWN, Warszawa, 220–227 (1961)
Łukasiewicz, J.: Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic. Oxford University Press, Oxford (1951) (Second edition in (1955))
Łukasiewicz J.: On the intuitionistic theory of deduction. Indagationes Math. Ser. A 3, 202–212 (1952)
Łukasiewicz, J.: A system of modal logic. J. Comput. Syst. 1(3), 111–149 (1953) (reprinted in [13], 352–360 (1970))
Łukasiewicz, J.: Selected Works (L. Borkowski, Ed.). North-Holland Publication, Amsterdam (1970)
Pogorzelski W.A., Słupecki J.: Podstawowe własności systemów dedukcyjnych opartych na nieklasycznych logikach (Basic properties of deductive systems based on nonclassical logics), part I. Stud. Logic. 9, 163–176 (1960)
Pogorzelski W.A., Słupecki J.: Podstawowe własności systemów dedukcyjnych opartych na nieklasycznych logikach (Basic properties of deductive systems based on nonclassical logics), part II. Stud. Logic. 10, 77–95 (1960)
Pogorzelski, W.A., Wojtylak, P.: Completeness theory for propositional logics. Series: Studies in Universal Logic. Birkhäuser Verlag AG, Basel (2008)
Skura T.: A complete syntactical characterization of the intuitionistic logic. Rep. Math. Logic 23, 75–80 (1989)
Skura T.: Refutation calculi for certain intermediate propositional logics. Notre Dame J. Formal Logic 33, 552–560 (1992)
Skura T.: Some results concerning refutation procedures. Acta Univ. Wratislaviensis Logik. 15, 83–95 (1993)
Skura T.: Syntactic refutation against finite models in modal logic. Notre Dame J. Formal Logic 35, 573–582 (1994)
Skura T.: A Łukasiewicz-style refutation system for the modal logic S5. J. Philos. Logic 24, 573–582 (1995)
Skura, T.: Refutation and proofs in S4. In: Wansing, H. (ed.) Proof Theory of Modal Logic. Kluwer, Dordrecht (1996)
Skura, T.: Aspects of refutation procedures in the intuitionistic logic and related modal systems. Logika 20(2190); Acta Universitatis Wratislaviensis, Wrocław (1999)
Skura T.: A refutation theory. Log. Univers. 3(2), 293–302 (2009)
Supecki, J.: Z badań nad sylogistyka̧ Arystotelesa (Invistigations on Aristotle’s Syllogistic). Prace Wrocławskiego Towarzystwa Naukowego (B) 6, (1948)
Słupecki, J.: Funkcja Łukasiewicza (The Łukasiewicz function). Seria B. No. 3, Zeszyty Naukowe Uniwersytetu Wrocławskiego (Publications of the Wrocław University), Matematyka-Fizyka-Astronomia II, 33–40 (1959)
Słupecki J.: Ł-decidability and decidability. Bull. Sect. Logic. Polish Acad. Sci. 1(3), 38–43 (1972)
Słupecki J., Bryll G., Wybraniec-Skardowska U.: Pewna teoria równoważna teorii systemów dedukcyjnych Tarskiego (A certain theory equivalent to Tarski’s theory of deductive systems), Zeszyty Naukowe Wyższej Szkoly Pedagogicznej w Opolu, Seria A, Matematyka. Logika Matematyczna 10, 61–67 (1970)
Słupecki J., Bryll G., Wybraniec-Skardowska U.: Theory of rejected propositions. I. Stud. Logic. 29, 76–123 (1971)
Słupecki J., Bryll G., Wybraniec-Skardowska U.: Theory of rejected propositions, II. Stud. Logic. 30, 97–107 (1972)
Sochacki, R.: Metody refutacyjne w badaniach nad systemami logicznymi (Refutation Methods in Studies on Logical Systems), Wydawnictwo Naukowe Uniwerstetu Opolskiego. Studia i Monografie, Opole (2010)
Spasowski M.: Some connections between Cn, Cn −1, dCn. Bull. Sect. Logic. Polish Acad. Sci. 2(1), 53–56 (1973)
Tarski, A.: Funamentale Begriffe der Methodoligie der deductiven Wissenschaften. Monatshefte für Mathematik und Physik, vol. 37, 361–404 (1930) (English translation: Fundamental concepts of the methodology of the deductive sciences. In: [35], 60–109 (Second edition edited and introduced by John Corcoran)
Tarski, A.: Über einige fundamentale Begriffe der Metamathematik. Comptes Rendus des Séances De la Société des Sciences et des Lettres de Varsovie 23, 22–29 (1930) (English translation: On some fundamental concepts of metamathematics. In: [35], 30–37)
Tarski, A.: Logic, Semantics, Metamatematics. Papers from 1923 to 1938. First edition published by Oxford University Press, Oxford (1956) (translated by J. H. Woodger). Second edition edited and introduced by John Corcoran, Hackett Publishing Company, Indianapolis, Indiana (1983)
Woleński J.: On comparison of theories by their contents. Stud. Logic. 48(4), 617–622 (1989)
Wójcicki R.: Dual counterparts of consequence operation. Bull. Sect. Logic. Polish Acad. Sci. Wrocław 2(1), 54–57 (1973)
Wybraniec-Skardowska, U.: O roli dedukcji w naukach empirycznych (On role of deduction in empirical sciences). Sprawozdania Wrocławskiego Towarzystwa Naukowego, Wrocław, 19–20 (1965)
Wybraniec-Skardowska, U.: Teoria zdań odrzuconych (The theory of rejected propositions). In: [45], 5–131
Wybraniec-Skardowska, U.: Badania Jerzego Słupeckiego nad sylogistyka̧ Arystotelesa i ich rezonans we współczesnej logice (Jerzy Słupecki’s investigations on Aristotle’s syllogistic and their response in the contemporary logic), Zeszyty Naukowe Wyższej Szkoły Inżynierskiej w Opolu, Seria: Matematyka 4(81), 35–61 (1983)
Wybraniec-Skardowska U.: Foundations for the formalization of metamathematics and axiomatizations of consequence theories. Ann. Pure Appl. Logic 127, 243–266 (2004)
Wybraniec-Skardowska U. (1989) On generalization of approximation spaces. Bull. Polish Acad. Sci. XXVII, 33–48
Wybraniec-Skardowska U.: Unit operation. Zeszyty Wyższej Szkoy Pedagogicznej w Opolu. Ser. Matematyka 27, 113–129 (1992)
Wybraniec-Skardowska, U.: On the notion and function of rejected propositions. Logika 23 (M. Magdziak, J. Zygmunt; Eds.) Acta Universitatis Wratislaviensis, No. 2754, 179–202 (2005)
Wybraniec-Skardowska, U., Bryll, G.: Z badań nad teoria̧ zdań odrzuconych (Investigations on the Theory of Rejected Propositions). Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Seria B, Studia i Monografie, vol. 22, Opole (1969)
Acknowledgments
We would like to thank the Referees for their useful remarks and comments which have contributed to improvement of our paper.
Open Access
This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jean-Yves Beziau.
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Wybraniec-Skardowska, U., Waldmajer, J. On Pairs of Dual Consequence Operations. Log. Univers. 5, 177–203 (2011). https://doi.org/10.1007/s11787-011-0030-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-011-0030-9