Enayat Theories

A. Visser

doi:10.48550/arXiv.1909.08877

Enayat Theories

A. Visser

OFR - Theoretical Philosophy Emeriti

Research output: Working paper › Preprint › Academic

Abstract

n this paper we study solution attempts for a problem posed by Ali Enayat: can there be a finitely axiomatized consistent sequential theory that interprets itself plus the (sentential or non-uniform) Tarski biconditionals? We provide a basic framework for the study of this question and discuss some solution attempts. We connect the question with some interesting conjectures. We briefly touch upon what happens if we consider uniform biconditionals

Original language	English
Publisher	arXiv
Number of pages	34
DOIs	https://doi.org/10.48550/arXiv.1909.08877
Publication status	Published - 19 Sept 2019

Keywords

Tarski biconditionals
theories of truth
sequential theories
provability logic

Access to Document

10.48550/arXiv.1909.08877

1909.08877Submitted manuscript, 460 KB

Cite this

@techreport{5eed18af34cb4ea3a0a92ba3dbb3ba55,

title = "Enayat Theories",

abstract = "n this paper we study solution attempts for a problem posed by Ali Enayat: can there be a finitely axiomatized consistent sequential theory that interprets itself plus the (sentential or non-uniform) Tarski biconditionals? We provide a basic framework for the study of this question and discuss some solution attempts. We connect the question with some interesting conjectures. We briefly touch upon what happens if we consider uniform biconditionals",

keywords = "Tarski biconditionals, theories of truth, sequential theories, provability logic",

author = "A. Visser",

note = "The paper contains my failed attempts to solve a difficult problem. I wrote this paper to be able to stop thinking about the problem. Still I think it contains useful insights. ",

year = "2019",

month = sep,

day = "19",

doi = "10.48550/arXiv.1909.08877",

language = "English",

publisher = "arXiv",

type = "WorkingPaper",

institution = "arXiv",

}

TY - UNPB

T1 - Enayat Theories

AU - Visser, A.

N1 - The paper contains my failed attempts to solve a difficult problem. I wrote this paper to be able to stop thinking about the problem. Still I think it contains useful insights.

PY - 2019/9/19

Y1 - 2019/9/19

N2 - n this paper we study solution attempts for a problem posed by Ali Enayat: can there be a finitely axiomatized consistent sequential theory that interprets itself plus the (sentential or non-uniform) Tarski biconditionals? We provide a basic framework for the study of this question and discuss some solution attempts. We connect the question with some interesting conjectures. We briefly touch upon what happens if we consider uniform biconditionals

AB - n this paper we study solution attempts for a problem posed by Ali Enayat: can there be a finitely axiomatized consistent sequential theory that interprets itself plus the (sentential or non-uniform) Tarski biconditionals? We provide a basic framework for the study of this question and discuss some solution attempts. We connect the question with some interesting conjectures. We briefly touch upon what happens if we consider uniform biconditionals

KW - Tarski biconditionals

KW - theories of truth

KW - sequential theories

KW - provability logic

U2 - 10.48550/arXiv.1909.08877

DO - 10.48550/arXiv.1909.08877

M3 - Preprint

BT - Enayat Theories

PB - arXiv

ER -

Enayat Theories

Abstract

Keywords

Access to Document

Fingerprint

Cite this