The mathematical meaning of mathematical logic

Abstract

Each of these theorems and concepts arose from very specific considerations of great general interest in the foundations of mathematics (f.o.m.). They each serve well defined purposes in f.o.m. Naturally, the preferred way to formulate them for mathe-matical logicians is in terms that are close to their roots in f.o.m.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,297

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Foundations of Mathematics: Past, Present, and Future.Harvey M. Friedman - unknown
What you cannot prove 1: Before 2000.Harvey Friedman - manuscript
Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem.R. E. Hodel - 2005 - Archive for Mathematical Logic 44 (4):459-472.
Albert Lautman and the Creative Dialectic of
 Modern Mathematics. Translated by Simon B. Duffy.Fernando Zalamea - 2011 - In Mathematics, Ideas and the physical real, by Albert Lautman. Continuum.
Consistency and interpolation in linear continuous logic.Mahya Malekghasemi & Seyed-Mohammad Bagheri - 2023 - Archive for Mathematical Logic 62 (7):931-939.
Logos and máthēma: studies in the philosophy of mathematics and history of logic.Roman Murawski - 2011 - New York: Peter Lang.
Foundational Adventures: essays in honour of Harvey M. Friedman.Harvey Friedman & Neil Tennant (eds.) - 2014 - [London]: College Publications.
Logic of Mathematics: A Modern Course of Classical Logic.Zofia Adamowicz & Pawel Zbierski - 1997 - Wiley.
Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts.Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.) - 2019 - Springer Verlag.
Feferman on Foundations: Logic, Mathematics, Philosophy.Gerhard Jäger & Wilfried Sieg (eds.) - 2017 - Cham: Springer.

Analytics

Added to PP
2009-01-28

Downloads
332 (#85,060)

6 months
332 (#6,145)

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

No references found.

Add more references