Logical foundations: Personal perspective

Logic Journal of the IGPL 31 (6):1192-1202 (2023)
  Copy   BIBTEX

Abstract

We illustrate the glorious history of logical foundations and discuss the uncertain future.

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzac059

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,601

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Logical Foundations of Set Theory and Mathematics.Mary Tiles - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 365–376.
W.S. HATCHER "The logical foundations of mathematics". [REVIEW]C. Mangione - 1984 - History and Philosophy of Logic 5 (2):253.
Review: William S. Hatcher, The Logical Foundations of Mathematics; William S. Hatcher, Foundations of Mathematics; William Hatcher's, Logical Foundations of Mathematics. [REVIEW]Frederick W. Kroon - 1986 - Journal of Symbolic Logic 51 (2):467-470.
The dynamic turn in quantum logic.Alexandru Baltag & Sonja Smets - 2012 - Synthese 186 (3):753 - 773.
Egon Boerger, Erich Graedel, and Yuri Gurevich, The Classical Decision Problem.M. Marx - 1999 - Journal of Logic Language and Information 8:478-481.
The Logical Foundations of Mathematics.Foundations of Mathematics.Logical Foundations of Mathematics.William S. Hatcher - 1986 - Journal of Symbolic Logic 51 (2):467-470.
Yuri Gurevich and Saharon Shelah. On finite rigid structures. The journal of symbolic logic, vol. 61 , pp. 549–562. [REVIEW]Alexei P. Stolboushkin - 2000 - Bulletin of Symbolic Logic 6 (3):353-355.
Vasiliev and the Foundations of Logical Laws.Elena Smirnova - 2017 - In Dmitry Zaitsev & Vladimir Markin (eds.), The Logical Legacy of Nikolai Vasiliev and Modern Logic. Cham: Springer Verlag.
Logical perspectives on the foundations of probability.Jürgen Landes & Hykel Hosni - 2023 - Open Mathematics 21 (1).
The classical decision problem, Egon börger, Erich grädel, and Yuri Gurevich.Maarten Marx - 1999 - Journal of Logic, Language and Information 8 (4):478-481.

Analytics

Added to PP
2022-07-29

Downloads
19 (#1,068,578)

6 months
6 (#842,492)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Thinking, Fast and Slow.Daniel Kahneman - 2011 - New York: New York: Farrar, Straus and Giroux.
Non-standard Analysis.Gert Heinz Müller - 2016 - Princeton University Press.
Philosophy of Mathematics and Natural Science.H. Weyl & Olaf Helmar - 1951 - Science and Society 15 (1):85-88.

View all 6 references / Add more references