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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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.
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.
W.S. HATCHER "The logical foundations of mathematics". [REVIEW]C. Mangione - 1984 - History and Philosophy of Logic 5 (2):253.
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.
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.
Computing the Maximal Boolean Complexity of Families of Aristotelian Diagrams.Lorenz6 Demey - 2018 - Journal of Logic and Computation 28 (6):1323-1339.
Logical perspectives on the foundations of probability.Jürgen Landes & Hykel Hosni - 2023 - Open Mathematics 21 (1).
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.

Analytics

Added to PP
2022-07-29

Downloads
13 (#1,039,776)

6 months
3 (#1,206,053)

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.
Is Justified True Belief Knowledge?Edmund Gettier - 1963 - Analysis 23 (6):121-123.
Non-standard Analysis.Gert Heinz Müller - 2016 - Princeton University Press.
Is Justified True Belief Knowledge?Edmund Gettier - 1963 - Analysis 23 (6):121-123.

View all 8 references / Add more references