The Criterion of the Choice of a Correct Logic. On Anand J. Vaidya’s Remarks
Abstract
The purpose of this paper is to show the criterion of the choice of a correct logic. According to Vaidya such the criterion may be formulated only on the foundation of a philosophy of logic. The main elements of the laws of logic are logical constants. In fact logic is not the theory of variables, but the theory of logical constants. So, the goal of a correct logical system is to analyse in a proper way what logical constants are.
References
Ajdukiewicz K.: Zarys logiki, Warszawa 1960.
Beaney M.: The Frege Reader, Oxford 1997.
Bolzano B.: Theory of Science, Oxford 1972.
Czernecka-Rej B.: Kilka uwag o przedmiocie logiki intuicjonistycznej. „Roczniki Filozoficzne” 49 (2001), z. 1, s. 151-165.
Dadaczyński J.: Bernard Bolzano i idea logicyzmu, Tarnów 2006.
Došen C.: Logical Constants as Punctation Marks, „Notre Dame Journal of Formal Logic” 30 (1989), s. 362-381.
Englebretsen G.: Formatives, „Notre Dame Journal of Formal Logic” 30 (1989), s. 382-389.
Frege G.: Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet, t. I, Jena 1893.
Gómez-Torrente M.: Logical Truth and Tarskian Logical Truth, „Synthese” 117 (1998-1999), s. 375-408.
Gómez-Torrente M.: The Problem of Logical Constants, „The Bulletin of Symbolic Logic” 8 (2002), s. 1-37.
Gómez-Torrente M.: The Problem of Logical Constants. A Historical Survey, [w:] 11th International Congress of Logic, Methodology and Philosophy of Science. Volume of Abstracts, Kraków 1999, s. 418.
Grzegorczyk A.: Nieklasyczne rachunki zdań a metodologiczne schematy badania naukowego i definicje pojęć asertywnych, „Studia Logica” 20 (1967), s. 117-130.
Hacking I.: Czym jest logika?, [w:] Filozofia logiki, Warszawa 1997, s. 29-69.
Jadacki J. J.: Spór o granice poznania. Prolegomena do epistemologii, Warszawa 1985.
Kamiński S.: Czym są w filozofii i w logice tzw. pierwsze zasady?, „Roczniki Filozoficzne” 11 (1963), z. 1, s. 5-23.
Kiczuk S.: Przedmiot logiki formalnej oraz jej stosowalność, Lublin 2001
Kiczuk S.: Zagadnienie obowiązywalności klasycznego rachunku zdań, „Roczniki Filozoficzne” 36 (1988), z. 1, s. 39-56.
Kraszewski Z.: Główne zagadnienia logiki, Warszawa 1971.
Kraszewski Z.: Logika. Nauka rozumowania, Warszawa 1984.
Kraszewski Z.: Logiki wielowartościowe a prawo sprzeczności i wyłączonego środka, [w:] Fragmenty Filozoficzne. Księga Pamiątkowa ku czci Profesora Tadeusza Kotarbińskiego w 80-tą rocznicę urodzin, Warszawa 1967, s. 245-263.
Lechniak M.: Interpretacje wartości matryc logik wielowartościowych, Lublin 1999.
Maciaszek J.: Próby Tarskiego zdefiniowania pojęcia stałej logicznej, [w:] A. Tarski, Dedukcja i semantyka (Déduction et sémantique), red. J. J. Jadacki, Warszawa 2003, s. 99-107.
McCarthy T.: The Idea of a Logical Constant, „The Journal of Philosophy” 78 (1981), s. 499-523.
Peacocke C.: Understanding Logical Constants: a Realist’s Account, „Proceedings of the British Academy” 73 (1987), s. 153-200.
Przełęcki M.: Zasada wyłączonego środka a zagadnienie idealizmu, „Studia Filozoficzne” 7 8 (1982), s. 89-99.
Quine W. V. O.: Filozofia logiki, Warszawa 1977.
Russell B.: The Principles of Mathematics, Cambridge 1903.
Sainsbury M.: Logical Forms, Oxford 1991.
Sobociński B.: In Memoriam Jan Łukasiewicz, „Philosophical Studies” (Dublin) 6 (1956), s. 3-49.
Sundholm G.: Constructions, Proofs and the Meaning of Logical Constants, „The Journal of Philosophical Logic” 12 (1983), s. 151-172.
Tarski A.: O pojęciu wynikania logicznego, [w:] tenże, Pisma filozoficzne, t. I, Warszawa 1995, s. 186-202.
Tarski A.: What are Logical Notions?, „History and Philosophy of Logic” 7 (1986), s. 143-154.
Vaidya A. J.: The Metaphysical Foundation of Logic, „The Journal of Philosophical Logic” 35 (2006), s. 179-182.
Copyright (c) 2009 Roczniki Filozoficzne
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
