Fictional propositions and the unprovability of consistency

Grazer Philosophische Studien 72 (1):201-210 (2006)
  Copy   BIBTEX

Abstract

We introduce an epistemic version of validity and completeness of first order logic, based on the notions of ideal agent and fictional model. We then show how the perspective here considered may help to solve an epistemic puzzle arising from Gödel's second incompleteness theorem.

Categories

Add categories

Keywords

Reprint years

DOI

10.1163/18756735-072001010

Links

PhilArchive



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

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

A note on derivability conditions.Taishi Kurahashi - 2020 - Journal of Symbolic Logic 85 (3):1224-1253.
A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.
Arithmetic and Logic Incompleteness: the Link.Laureano Luna & Alex Blum - 2008 - The Reasoner 2 (3):6.
Socrates did it before Gödel.Josef Wolfgang Degen - 2011 - Logic and Logical Philosophy 20 (3):205-214.
Heterologicality and Incompleteness.Cezary Cieśliński - 2002 - Mathematical Logic Quarterly 48 (1):105-110.
Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.
On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.
Herbrand consistency of some arithmetical theories.Saeed Salehi - 2012 - Journal of Symbolic Logic 77 (3):807-827.
Incompleteness and Computability: An Open Introduction to Gödel's Theorems.Richard Zach - 2019 - Open Logic Project.
Fromal statements of Godel's second incompleteness theorem.Harvey Friedman - manuscript

Analytics

Added to PP
2009-01-28

Downloads
27 (#576,365)

6 months
5 (#836,928)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references