Logic and Metalogic: a Historical Sketch

• Autorzy: Jan Woleński
• Języki publikacji: EN

Abstrakty

EN

This paper briefly discusses the relations between logic and metalogic in history. Metalogic is understood as a reflection on logic in its various senses, particularly sensu stricto (formal, mathematical) and sensu largo (formal logic plus semantic plus methodology of science). It is shown that metalogic in its contemporary understanding arose after mathematical logic had become a mature discipline. Special passage is devoted to metalogic in Poland. The last part of the paper discussed so-called logocentric predicament.(original abstract)

Słowa kluczowe

EN

Logic; Formal logic; History

PL

Logika; Logika formalna; Historia

• Czasopismo: Studia Humana
• Rocznik: 2024
• Tom: 13(1)
• Strony: 39--44

Twórcy

autor

Jan Woleński

• University of Information Technology and Managementin Rzeszów, Poland

Bibliografia

• Ajdukiewicz, K. (1927). O stosowalności kryterium prawdy (On the Applicability of Truth-Criterion). Przegląd Filozoficzny, XXX, 280-283. Reprinted in Ajdukiewicz, K. (1960), pp. 11-13.
• Ajdukiewicz, K. (1960). Język i poznanie (Language and Knowledge), Vol. 1. Warszawa:Państwowe Wydawnictwo Naukowe.
• Bedürftig, T., & Murawski, R. (2018). Philosophy of Mathematics. Berlin: De Gruyter. Beth, E. (1968). The Foundations of Mathematics. Amsterdam: North-Holland Publishing Company.
• Boos, W. (2018). Metamathematics and the Philosophical Tradition. Berlin: De Gruyter.
• Carnap, R. (1934). Logische Syntax der Sprache. Wien: Springer. (English translation published in 1937).
• Irvine, A. D. (Ed.). (2009). Philosophy of Mathematics. Amsterdam: Elsevier.
• Jacquette, D. (Ed.). (2007). Philosophy of Logic. Amsterdam: Elsevier.
• Łukasiewicz, J., & Tarski, A. (1930). Untersuchungen über den Aussagenkalkül (Investigations on the Propositional Calculus). Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe III, 23, 30-50. English translation in Tarski, A. (1956), pp. 38-59.
• Pogorzelski, W. A. (1994). Notions and Theorems of Elementary Logic. Białystok: Warsaw University: Białystok Branch.
• Rentsch, Th. (1980). Metalogik. In J. Ritter & K. Gründer (Eds.), Historisches Wörterbuch der Philosophie, Band 5: L-Mo (pp. 1171-1174). Darmstadt: Wissenschaftliche Buchgesselshaft.
• Ritter, J., & Gründer, K. (Eds.). (1980). Historisches Wörterbuch der Philosophie, Band 5: L-Mo. Darmstadt: Wissenschaftliche Buchgesselshaft.
• Schütte, K. (1980). Metamathematik. In J. Ritter & K. Gründer (Eds.), Historisches Wörterbuch der Philosophie, Band 5: L-Mo (pp. 1175-1177). Darmstadt: Wissenschaftliche Buchgesselshaft.
• Sheffer, H. M. (1926). Review of Principia Mathematica. Isis, 8(1), 226-231.
• Tarski, A. (1930). Über einige fundamentalle Begriffe der Metamathematik (On Some Fundamental Concepts of Metamathematics). Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe III, 23, 22-29. English translation in Tarski, A. (1956), pp. 30-37.
• Tarski, A. (1930). Fundamentale Begriffe der Merthodologie der deduktiven Wissenschaften (Fundamental Concepts of the Methodology of Deductive Sciences). Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe III, 23, 361-404. English translation in Tarski, A. (1956), pp. 61-109.
• Tarski, A. (1956). Logic, Semantics, Metamathematics. Papers from 1923 to 1938. Oxford Clarendon: Press. (Reprinted in 1983 by Indianapolis: Hackett Publishn Company).
• Wittgenstein, L. (1922). Tractatus Logico-Philosophicus. London: Routledge and Kegan Paul.
• Woleński, J. (2017). Universality of Logic. Bulletin of the Section of Logic, 46(1/2), 21-32.

Identyfikatory

DOI

10.2478/sh-2024-0005