Open Access

Logic and Metalogic: a Historical Sketch

   | Apr 28, 2024
Studia Humana's Cover Image
Studia Humana
Special issue title: Logic in Poland in the 20th Century

Cite

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. Search in Google Scholar

Ajdukiewicz, K. (1960). Język i poznanie (Language and Knowledge), Vol. 1. Warszawa: Państwowe Wydawnictwo Naukowe. Search in Google Scholar

Bedürftig, T., & Murawski, R. (2018). Philosophy of Mathematics. Berlin: De Gruyter. Search in Google Scholar

Beth, E. (1968). The Foundations of Mathematics. Amsterdam: North-Holland Publishing Company. Search in Google Scholar

Boos, W. (2018). Metamathematics and the Philosophical Tradition. Berlin: De Gruyter. Search in Google Scholar

Carnap, R. (1934). Logische Syntax der Sprache. Wien: Springer. (English translation published in 1937). Search in Google Scholar

Irvine, A. D. (Ed.). (2009). Philosophy of Mathematics. Amsterdam: Elsevier. Search in Google Scholar

Jacquette, D. (Ed.). (2007). Philosophy of Logic. Amsterdam: Elsevier. Search in Google Scholar

Ł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. Search in Google Scholar

Pogorzelski, W. A. (1994). Notions and Theorems of Elementary Logic. Białystok: Warsaw University: Białystok Branch. Search in Google Scholar

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. Search in Google Scholar

Ritter, J., & Gründer, K. (Eds.). (1980). Historisches Wörterbuch der Philosophie, Band 5: L-Mo. Darmstadt: Wissenschaftliche Buchgesselshaft. Search in Google Scholar

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. Search in Google Scholar

Sheffer, H. M. (1926). Review of Principia Mathematica. Isis, 8(1), 226–231. Search in Google Scholar

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. Search in Google Scholar

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. Search in Google Scholar

Tarski, A. (1956). Logic, Semantics, Metamathematics. Papers from 1923 to 1938. Oxford Clarendon: Press. (Reprinted in 1983 by Indianapolis: Hackett Publishn Company). Search in Google Scholar

Wittgenstein, L. (1922). Tractatus Logico-Philosophicus. London: Routledge and Kegan Paul. Search in Google Scholar

Woleński, J. (2017). Universality of Logic. Bulletin of the Section of Logic, 46(1/2), 21–32. Search in Google Scholar

eISSN:
2299-0518
Language:
English
Publication timeframe:
4 times per year
Journal Subjects:
Business and Economics, Political Economics, other, Mathematics, Logic and Set Theory, Philosophy