Fregean Extensions of First‐Order Theories

Mathematical Logic Quarterly 40 (1):27-30 (1994)
  Copy   BIBTEX

Abstract

It is shown by Parsons [2] that the first-order fragment of Frege's logical system in the Grundgesetze der Arithmetic is consistent. In this note we formulate and prove a stronger version of this result for arbitrary first-order theories. We also show that a natural attempt to further strengthen our result runs afoul of Tarski's theorem on the undefinability of truth

Categories

Keywords

Reprint years

DOI

10.1002/malq.19940400104

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,846

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

Book Symposium: The Reason's Proper Study: Essays towards a Neo-Fregean Philosophy of Mathematics by Bob Hale and Crispin Wright: On the Philosophical Interest of Frege Arithmetic.William Demopoulos - 2003 - Philosophical Books 44 (3):220-228.
Frege’s Logicism and the Neo-Fregean Project.Matthias Schirn - 2014 - Axiomathes 24 (2):207-243.
Frege’s Ancestral and Its Circularities.Ignacio Angelelli - 2012 - Logica Universalis 6 (3-4):477-483.
Well- and non-well-founded Fregean extensions.Ignacio Jané & Gabriel Uzquiano - 2004 - Journal of Philosophical Logic 33 (5):437-465.
Reals by Abstraction.Bob Hale - 2000 - Philosophia Mathematica 8 (2):100--123.
Are Salmon's 'Guises' Disguised Fregean Senses?João Branquinho - 1990 - Analysis 50 (1):19 - 24.
The ontology of meanings. [REVIEW]Mark Siebel - 2008 - Philosophical Studies 137 (3):417 - 426.
Abstraction and set theory.Bob Hale - 2000 - Notre Dame Journal of Formal Logic 41 (4):379--398.
Paradygmat fregowski a teorie sytuacji.Mieczysław Omyła - 2009 - Filozofia Nauki 17 (4).
Communication Without Sense.Manuel Campos - 2003 - Teorema: International Journal of Philosophy 22 (1-2):5-21.
Sense, Reference, and Meaning-Incommensurability.Stig Alstrup Rasmussen - 1987 - Analysis 47 (3):170-173.
Some Fregean Considerations on Predicates and Their Reference.Ari Maunu - 2006 - Tabula Rasa 25.

Analytics

Added to PP
2013-12-01

Downloads
21 (#736,702)

6 months
8 (#359,856)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John L. Bell
University of Western Ontario

Citations of this work

What is neologicism?Bernard Linsky & Edward N. Zalta - 2006 - Bulletin of Symbolic Logic 12 (1):60-99.
Frege, Boolos, and logical objects.David J. Anderson & Edward N. Zalta - 2004 - Journal of Philosophical Logic 33 (1):1-26.
Tarski on “essentially richer” metalanguages.David DeVidi & Graham Solomon - 1999 - Journal of Philosophical Logic 28 (1):1-28.

Add more citations

References found in this work

Frege structures and the notions of truth and proposition.P. Aczel - 1980 - In J. Barwise, H. J. Keisler & K. Kunen (eds.), The Kleene Symposium. North-Holland.

Add more references