The Pioneering Proving Methods as Applied in the Warsaw School of Logic – Their Historical and Contemporary Significance

References

• Ajdukiewicz, K. 1966. ‘From the methodology of the deductive systems’, Studia Logica, 19, 9–45.
   Google Scholar
• Ajdukiewicz, K. 1978. ‘The axiomatic system from the methodological point of view’, in J. Giedymin (ed.), The Scientific World-Perspective and Other Essays, 1931–1963 (Synthese Library, Volume 108), Dordrecht-Boston: Springer, pp. 282–284.
   Google Scholar
• Borkowski, L., and Słupecki, J. 1958. ‘A logical system based on rules and its applications in teaching mathematical logic’, Studia Logica, 7, 71–113.
   Google Scholar
• Bryll, G. 1969a. ‘Kilka uzupełnień teorii zdań odrzuconych’ [‘Some supplements to the theory of rejected propositions’], in Wybraniec-Skardowska and Bryll 1969, pp. 134–154.
   Google Scholar
• Bryll, G. 1969b. ‘Związki logiczne pomiędzy zdaniami nauk empirycznych’ [‘Logical relation between sentences of empirical sciences’], in Wybraniec-Skardowska and Bryll 1969, pp. 155–216.
   Google Scholar
• Bryll, G. 1996. Metody odrzucania wyrażeń [Methods of Rejection of Expressions], Warszawa: Akademicka Oficyna Wydawnicza PLJ.
   Google Scholar
• Bryll, G., and Maduch, M. 1968. ‘Aksjomaty odrzucone dla wielowartościowych logik Łukasiewicza’ [‘Rejected axioms for Łukasiewicz's many-valued logics’], Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Matematyka, 6, 3–17.
   Google Scholar
• Bryniarski, E., and Wybraniec-Skardowska, U. 1990. Nauczanie logiki wspomagane komputerowo [Computer Aided Teaching Logic], Białystok: Polish Foundation of Computer Education.
   Google Scholar
• Citkin, A., and Wybraniec-Skardowska, U. (eds.), 2020. Deductive Systems in Traditional and Modern Logic. Basel: MDPI. http://www.mdpi.com/journal/axioms/special_issues/deductive_systems.
   Google Scholar
• Dutkiewicz, R. 1989. ‘The method of axiomatic rejection for the intuitionistic propositional logic’, Studia Logica, 48 (4), 449–459.
   Google Scholar
• Frege, G. 1891. ‘Function und Begriff’; republished in: Function, Begriff, Bedeutung: fünf logische Studien, edited by G. Patzig, 1962. Göttingen:Vandenhoeck und Ruprecht; English transl. as ‘Function and concept’ in P.T. Geach and M. Black (eds.), Translations from the Philosophical Writings of Gottlob Frege, Oxford: Blackwell 1970.
   Google Scholar
• Frege, G. 1893. Grundgesetze der Arithmetic: Begriffschriftlich abgeleitet, Vol. 1, Jena; English transl. Basic Laws of Arithmetik: Derived Using Concept-Script, transl. and ed. by Ph. A. Ebert and M. Rossberg with C. Wright, Oxford: Oxford University Press 2010.
   Google Scholar
• Frege, G. 1903. Grundgesetze der Arithmetic: Begriffschriftlich abgeleitet, Vol. 2, Jena; English transl. Basic Laws of Arithmetik: Derived Using Concept-Script, transl. and ed. by Ph. A. Ebert and M. Rossberg with C. Wright, Oxford: Oxford University Press 2010.
   Google Scholar
• Garrido, A., and Wybraniec-Skardowska, U. (eds.), 2018. The Lvov-Warsaw School, Vol. 1 Frege 1893. Past and Present. (Studies in Universal Logic), Cham: Springer, Birkhäuser. https://doi.org/10.1007/978-3-319-65430-0
   Google Scholar
• Gentzen, G. 1934. ‘Untersuchungen über das logische Schliessen’, Mathematische Zeitschrift, 39, 176–210.
   Web of Science ®Google Scholar
• Goranko, V. 1991. ‘Proving unprovability in some normal modal logics’, Bull. Sect. Log. Polish Acad. Sci., 20, 23–29.
   Google Scholar
• Goranko, V. 1994. ‘Refutation systems in modal logic’, Studia Logica, 53, 299–324.
   Google Scholar
• Goranko, V. 2020. ‘Hybrid deduction–refutation systems’, in Citkin and Wybraniec-Skardowska 2020, pp. 49–67. https://doi.org/10.3390/axioms8040118
   Google Scholar
• Goranko, V., Pulcini, G., and Skura, T. 2020. ‘Refutation systems: an overview and some applications to philosophical logic’, in F. Lin, H. Ono and J. Yu (eds.), Knowledge, Proof and Dynamics, Post-Proceedings Volume with Selected Papers from the Fourth Asian Workshop on Philosophical Logic, Logic in Asia, Studia Logica Library, Berlin: Springer, pp. 173–197.
   Google Scholar
• Indrzejczak, A. 2010. Natural Deduction, Hybrid Systems and Modal Logics, Berlin: Springer.
   Google Scholar
• Indrzejczak, A. 2018. ‘Stanisław Jaśkowski and natural deduction systems’, in Garrido and Wybraniec-Skardowska 2018, pp. 265–283. https://doi.org/10.1007/978-3-319-65430-0_33
   Google Scholar
• Iwanuś, B. 1972. ‘On Leśniewski's elementary ontology’, Studia Logica, 31, 73–147.
   Google Scholar
• Iwanuś, B. 1973. ‘Proof of decidability of the traditional calculus of names’, Studia Logica, 32, 73–90.
   Google Scholar
• Iwanuś, B. 1992. ‘Z badań nad sylogistyką Arystotelesa’ [‘Investigations on Aristotle's syllogistic], Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Matematyka, 28, 41–56.
   Google Scholar
• Jaśkowski, S. 1929. ‘Teoria dedukcji oparta na dyrektywach założeniowych’ [‘Theory of deduction based on suppositional directives’], in Księga Pamiątkowa I Polskiego Zjazdu Matematycznego [Proceedings of the First Polish Mathematical Congress], 1927, Polish Mathematical Society, Jagiellonian University, Kraków, p. 36.
   Google Scholar
• Jaśkowski, S. 1934. ‘On the rules of suppositions in formal logic’, Studia Logica, 1, 5–32. reprinted in McCall 1967, 232–258.
   Google Scholar
• Jaśkowski, S. 1947. Elementy logiki matematycznej i metodologii nauk ścisłych [Elements of Mathematical Logic and Methodology of Formal Sciences]. Lecture Notes, Toruń.
   Google Scholar
• Leśniewski, S. 1916. Podstawy ogólnej teorii mnogości I [Foundations of General Set Theory]. Prace Polskiego Koła Naukowego w Moskwie, Mat-Przyrod. 2, Moskwa.
   Google Scholar
• Leśniewski, S. 1927-31. ‘O podstawach matematyki’, Przegląd Filozoficzny 30–34. English transl. ‘On the foundations of mathematics.’ Topoi 2 (1), 7–52.
   Google Scholar
• Leśniewski, S. 1929. ‘Grundzüge eines neuen System der Grundlage der Mathematik’ [Principles of a new system of foundations of mathematics], Fundamenta Mathematicae, 14, 1–81. reprinted in Leśniewski 2015, 489–569, 570–713.
   Google Scholar
• Leśniewski, S. 1930. ‘Über die Grundlagen der Ontologie’ [‘On foundations of ontology’], Comptes Rendus des Séances de la Société des Sciénces et des Lettres de Varsovie, 23 (3), 111–132. reprinted in Leśniewski 2015, 724–745.
   Google Scholar
• Leśniewski, S. 1938. ‘Einleitende Bemerkungen zur Fortsetzung meiner Mitteilung u.d.T. “Grundzüge eines neuen System der Grundlage der Mathematik”’ [‘Preliminary comments on my articles “Principle of a new system of foundations of mathematics”’]. Collectanea Logica I; reprinted in Leśniewski 2015, 570–629.
   Google Scholar
• Leśniewski, S. 1988. S. Leśniewski Lecture Notes in Logic (eds. Srzednicki J. T. and Z. Stachniak) (Notes from lectures and seminars given by Leśniewski in the period 1919–39). Dordrecht: Kluwer.
   Google Scholar
• Leśniewski, S. 1992. Collected Works (eds. S. J. Surma, J. T. Srzednicki and D. I. Barnet), 2 vols. (English transl. of all Leśniewski's published works). Warsaw-Dordrecht: PWN and Kluwer.
   Google Scholar
• Leśniewski, S. 2015. Leśniewski. Pisma Zebrane [Leśniewski. Collected Works (ed. J. J. Jadacki). Tom 1, Tom 2]. Warszawa: Semper.
   Google Scholar
• Łukasiewicz, J. 1921. ‘Logika dwuwartościowa’ [‘Two-valued logic’], Przegląd Filozoficzny, 23, 189–205. English transl. by O. A. Wojtasiewicz in Łukasiewicz 1970.
   Google Scholar
• Łukasiewicz, J. 1929. Elementy logiki matematycznej (ed. M. Presburger). Warszawa: PWN; transl. Elements of Mathematical Logic. Oxford-New York: Pergamon Press and Macmilian.
   Google Scholar
• Łukasiewicz, J. 1939. ‘O sylogistyce Arystotelesa’ [‘On Aristotle's syllogistic’], Sprawozdania z Czynności i Posiedzeń Polskiej Akademii Umiejętności 44; reprinted in Łukasiewicz 1961, 220–227.
   Google Scholar
• Łukasiewicz, J. 1951. Aristotle's Syllogistic from the Standpoint of Modern Formal Logic, Oxford: Oxford University Press. (2nd enlarged edn. 1957).
   Google Scholar
• Łukasiewicz, J. 1952. ‘On the intuitionistic theory of deduction’, Indag. Math. Ser. A, 3, 202–212. reprinted in Łukasiewicz 1970, 325–340.
   Google Scholar
• Łukasiewicz, J. 1953. ‘A system of modal logic’, Journal of Computer and System Sciences, 1 (3), 111–149. reprinted in Łukasiewicz 1970, 352–390.
   Google Scholar
• Łukasiewicz, J. 1961. Z zagadnień logiki i filozofii. Pisma wybrane [Problems in Logic and Philosophy. Selected Works], J. Słupecki (ed., selection, introduction and footnotes). Warszawa: PWN.
   Google Scholar
• Łukasiewicz, J. 1970. Selected Works (ed. L. Borkowski). Amsterdam-Warsaw: North-Holland Publishing.
   Google Scholar
• McCall, S. ed. 1967. Polish Logic 1920–1939, Oxford: Clarendon Press.
   Google Scholar
• Pogorzelski, W. A., and Słupecki, J. 1960a. ‘Podstawowe własności systemów dedukcyjnych opartych na nieklasycznych logikach. Cz. I’ [‘Basic properties of deductive systems based on nonclassical logics. Part I’], Studia Logica, 9, 163–176.
   Google Scholar
• Pogorzelski, W. A., and Słupecki, J. 1960b. ‘Podstawowe własności systemów dedukcyjnych opartych na nieklasycznych logikach. Cz. II’ [‘Basic properties of deductive systems based on nonclassical logics. Part II’], Studia Logica, 10, 77–95.
   Google Scholar
• Scott, D. 1957. ‘Completeness proofs for intuitionistic sentential calculus’, in Summaries of Talks Presented at the Summer Institute of Symbolic Logic, Cornell University (second edition by: Communications Research Div., Princeton (1960), 231–242).
   Google Scholar
• Skura, T. 1989. ‘A complete syntactic characterization of the intuitionistic logic’, Reports on Mathematical Logic, 23, 75–80.
   Google Scholar
• Skura, T. 1992. ‘Refutation calculi for certain intermediate propositional logics’, Notre Dame Journal of Formal Logic, 33, 552–560.
   Google Scholar
• Skura, T. 1993. ‘Some results concerning refutation procedures’, Acta Universitatis Wratislaviensis, Logika, 15, 83–95.
   Google Scholar
• Skura, T. 1995. ‘A Łukasiewicz-style refutation system for the modal logic S5’, Journal of Philosophical Logic, 24, 573–582.
   Web of Science ®Google Scholar
• Skura, T. 1996. ‘Refutation and proofs in S4’, in H. Wansing (ed.), Proof Theory of Modal Logic, Dordrecht: Kluwer, pp. 45–51.
   Google Scholar
• Skura, T. 1999. Aspects of Refutation Procedures in the Intuitionistic Logic and Related Modal Systems, Wrocław: Wrocław University Press.
   Google Scholar
• Skura, T. 2013. Refutation Methods in Modal Propositional Logic, Warszawa: Semper.
   Google Scholar
• Słupecki, J. 1939. ‘Dowód aksjomatyzowalności pełnych systemów wielowartościowych rachunku Zdań’, Comptes Rendus des Séances de la Société des Sciénces et des Lettres de Varsovie (Classe 3), 32, 110–128. transl. ‘A proof of axiomatizability of full systems of many-valued sentential calculus.’ Studia Logica 29 (1971), 155–168.
   Google Scholar
• Słupecki, J. 1946. ‘Uwagi o sylogistyce Arystotelesa’ [‘Remarks about Aristotle's syllogistic’], Annales Universitatis M. Curie-Skłodowska, 1 (3), 187–191.
   Google Scholar
• Słupecki, J. 1948. Z badań and sylogistyką Arystotelesa. Prace Wrocławskiego Towarzystwa Naukowego, seria B, no. 6, Wrocław 1948. English trans. in Słupecki 1951.
   Google Scholar
• Słupecki, J. 1951. ‘On Aristotelian syllogistic’, Studia Philosophica, 4, 275–300.
   Google Scholar
• Słupecki, J. 1959. ‘Funkcja Łukasiewicza’ [‘The Łukasiewicz's function’]. Publications of the Wrocław University, seria B, no. 3, 33–40.
   Google Scholar
• Słupecki, J. 1972. ‘Ł-decidability and decidability’, Bull. Sect. Log. Polish Acad. Sci., 1 (3), 38–43.
   Google Scholar
• Słupecki, J., and Borkowski, L. 1967. Elements of Mathematical Logic and Set Theory, Oxford: Pergamon Press.
   Google Scholar
• Słupecki, J., Bryll, G., and Wybraniec-Skardowska, U. 1971a. ‘Theory of rejected propositions. Part I’, Studia Logica, 29, 76–123.
   Google Scholar
• Słupecki, J., Bryll, G., and Wybraniec-Skardowska, U. 1971b. ‘Theory of rejected propositions. Part II’, Studia Logica, 30, 97–107.
   Google Scholar
• Słupecki, J., and Bryll, G. 1973. ‘Proof of Ł-decidability of Lewis system S5’, Studia Logica, 12, 99–107.
   Google Scholar
• Słupecki, J, Hałkowska, K., and Piróg-Rzepecka, K. 1976. Logika matematyczna [Mathematical Logic], Warszawa-Wrocław: PWN.
   Google Scholar
• Sobociński, B. 1934. ‘O kolejnych uproszczeniach aksjomatyki “ontologii” prof. S. Leśniewskiego’, in Fragmenty Filozoficzne. Księga Pamiątkowa ku Uczczeniu Piętnastolecia Pracy Nauczycielskiej w Uniwersytecie Warszawskim Profesora Tadeusza Kotarbińskiego. Nakładem Uczniów, Warsaw 1934, 144–160; transl. ‘Successive simplifications of the axiom-system of Leśniewski's ontology.’ In McCall 1967.
   Google Scholar
• Sobociński, B. 1936. ‘Aksjomatyzacja pewnych wielowartościowych systemów teorii dedukcji’ [‘Axiomatization of certain many-valued systems of the theory of deduction’], Roczniki Prac Naukowych Zrzeszenia Asystentów Uniwersytetu Józefa Piłsudskiego w Warszawie, 1, 399–419.
   Google Scholar
• Sobociński, B. 1960. ‘On the single axioms of prothotetic’, Notre Dame Journal of Formal Logic, 1, 52–73.
   Google Scholar
• Sochacki, R. 2007. ‘Axiomatic rejection in the implicational–negational invariant sentential calculi of Łukasiewicz’, Bull. Sect. Log. Polish Acad. Sci., 36, 1–6.
   Google Scholar
• Sochacki, R. 2010. Metody refutacyjne w badaniach nad systemami logicznymi [Refutation Methods in Research on Logical Systems]. (Studia i Monografie 445), Opole: Opole University Press.
   Google Scholar
• Tarski, A. 1930a. ‘Fundamentale Begriffe der Methodologie der deductiven Wissenschaften’, Monatshefte für Mathematik und Physik 37, 361–404. English translation: ‘Fundamental concepts of the methodology of the deductive sciences.’ In Tarski 1956, 60–109.
   Google Scholar
• Tarski, A. 1930b. ‘Über einige fundamentale Begriffe der Metamathematik’, Comptes Rendus des Séances de la Société des Sciénces et des Lettres de Varsovie 23, 22–29. English translation: ‘On some fundamental concepts of metamathematics.’ In Tarski 1956, 30–37.
   Google Scholar
• Tarski, A. 1933. Pojęcie prawdy w językach nauk dedukcyjnych. Warsaw: Warsaw Scientific Society; German version: ‘Der Wahrheitsbegriff in den formalisierten Sprachen.’ Studia Philosophica I, 1936; English transl. ‘The concept of truth in formalized languages.’ In Tarski 1956, 152–278.
   Google Scholar
• Tarski, A. 1956. Logic, Semantics, Metamatematics: Papers from 1923 to 1938. First edition 1956, Oxford: Oxford University Press (translated by J.H. Woodger). Second edition 1983 (edited and introduced by John Corcoran). Indianapolis, Indiana: Hackett Publishing Company.
   Google Scholar
• Wajsberg, M. 1935. ‘Beiträge zum Metaaussagenkalkül I’ [‘Contributions to the meta-calculus of propositions’], Monatshefte für Mathematik und Physik, 42, 221–242.
   Google Scholar
• Woleński, J. 1989. Logic and Philosophy in the Lvov-Warsaw School, Dordrecht: Kluwer.
   Google Scholar
• Woleński, J. 1992. ‘On comparison of theories by their contents’, Studia Logica, 48 (4), 617–622.
   Google Scholar
• Woodger, J. H. 1937. The Axiomatic Method in Biology; with appendix by A. Tarski. Cambridge-New York: Cambridge University Press and Macmilan.
   Google Scholar
• Wójcicki, R. 1973. ‘Dual counterparts of consequence operation’, Bull. Sect. Log. Polish Acad. Sci., 2 (1), 54–57.
   Google Scholar
• Wybraniec-Skardowska, U. 1969. ‘Teoria zdań odrzuconych’ [‘Theory of Rejected Propositions’], in Wybraniec-Skardowska and Bryll 1969, pp. 5–131.
   Google Scholar
• Wybraniec-Skardowska, U. 1991. Theory of Language Syntax: Categorial Approach, Dordrecht-Boston-London: Kluwer.
   Google Scholar
• Wybraniec-Skardowska, U. 2004. ‘Foundations for the formalizations of metamathematics and axiomatizations of consequence theories’, Annals of Pure and Applied Logic, 127, 234–266.
   Web of Science ®Google Scholar
• Wybraniec-Skardowska, U. 2005. ‘On the notion and function of the rejection of propositions’, Acta Universitatis Wratislaviensis Logica, 23 (2754), 179–202.
   Google Scholar
• Wybraniec-Skardowska, U. 2018. ‘Rejection in Łukasiewicz's and Słupecki's sense’, in Garrido and Wybraniec-Skardowska 2018, pp. 575–597. https://doi.org/10.1007/978-3-319-65430-0_40
   Google Scholar
• Wybraniec-Skardowska, U. 2022. Logic-Language-Ontology. Selected Works. (Studies in Universal Logic). Cham: Springer, Birkhäuser. https://doi.org/10.1007/978-3-031-22330-3
   Google Scholar
• Wybraniec-Skardowska, U., and Bryll, G. (eds.), 1969. Z badań nad teorią zdań odrzuconych [Investigations in the Theory of Rejected Propositions (Seria B: Studia and Monographs), no. 22], Opole: Teacher's Training College Press.
   Google Scholar
• Wybraniec-Skardowska, U. et al. 1991. Zbiór zadań do nauczania logiki [Sets of Exercises to Computer Aided Teaching of Logic], Opole: Teacher's Training College Press.
   Google Scholar