Proofs and models in naive property theory: a response to hartry field's ‘properties, propositions and conditionals’

Shawn Standefer; Rohan French; Greg Restall

doi:10.1080/24740500.2021.1886690

Proofs and models in naive property theory: a response to hartry field's ‘properties, propositions and conditionals’

Shawn Standefer, Rohan French, Greg Restall

Philosophy

Research output: Contribution to journal › Article › peer-review

Abstract

In our response Field's ‘Properties, Propositions and Conditionals’, we explore the methodology of Field's program. We begin by contrasting it with a proof-theoretic approach and then commenting on some of the particular choices made in the development of Field's theory. Then, we look at issues of property identity in connection with different notions of equivalence. We close with some comments relating our discussion to Field's response to Restall’s [2010] ‘What Are We to Accept, and What Are We to Reject, While Saving Truth from Paradox?’

Original language	English
Pages (from-to)	162-177
Number of pages	16
Journal	Australasian Philosophical Review
Volume	4
Issue number	2
DOIs	https://doi.org/10.1080/24740500.2021.1886690
Publication status	Published - 2 Apr 2020

Keywords

Non-classical logic
Paradoxes
Conditionals
Proof theory
Revision theory

Access to Document

10.1080/24740500.2021.1886690

Cite this

@article{8ea8820fd20346ac9edd7733d3caa42a,

title = "Proofs and models in naive property theory: a response to hartry field's {\textquoteleft}properties, propositions and conditionals{\textquoteright}",

abstract = "In our response Field's {\textquoteleft}Properties, Propositions and Conditionals{\textquoteright}, we explore the methodology of Field's program. We begin by contrasting it with a proof-theoretic approach and then commenting on some of the particular choices made in the development of Field's theory. Then, we look at issues of property identity in connection with different notions of equivalence. We close with some comments relating our discussion to Field's response to Restall{\textquoteright}s [2010] {\textquoteleft}What Are We to Accept, and What Are We to Reject, While Saving Truth from Paradox?{\textquoteright}",

keywords = "Non-classical logic, Paradoxes, Conditionals, Proof theory, Revision theory",

author = "Shawn Standefer and Rohan French and Greg Restall",

note = "Restall and Standefer's research was supported by the Australian Research Council, Discovery Grant DP150103801.",

year = "2020",

month = apr,

day = "2",

doi = "10.1080/24740500.2021.1886690",

language = "English",

volume = "4",

pages = "162--177",

journal = "Australasian Philosophical Review",

issn = "2474-0500",

publisher = "Informa UK Limited",

number = "2",

}

TY - JOUR

T1 - Proofs and models in naive property theory

T2 - a response to hartry field's ‘properties, propositions and conditionals’

AU - Standefer, Shawn

AU - French, Rohan

AU - Restall, Greg

N1 - Restall and Standefer's research was supported by the Australian Research Council, Discovery Grant DP150103801.

PY - 2020/4/2

Y1 - 2020/4/2

N2 - In our response Field's ‘Properties, Propositions and Conditionals’, we explore the methodology of Field's program. We begin by contrasting it with a proof-theoretic approach and then commenting on some of the particular choices made in the development of Field's theory. Then, we look at issues of property identity in connection with different notions of equivalence. We close with some comments relating our discussion to Field's response to Restall’s [2010] ‘What Are We to Accept, and What Are We to Reject, While Saving Truth from Paradox?’

AB - In our response Field's ‘Properties, Propositions and Conditionals’, we explore the methodology of Field's program. We begin by contrasting it with a proof-theoretic approach and then commenting on some of the particular choices made in the development of Field's theory. Then, we look at issues of property identity in connection with different notions of equivalence. We close with some comments relating our discussion to Field's response to Restall’s [2010] ‘What Are We to Accept, and What Are We to Reject, While Saving Truth from Paradox?’

KW - Non-classical logic

KW - Paradoxes

KW - Conditionals

KW - Proof theory

KW - Revision theory

U2 - 10.1080/24740500.2021.1886690

DO - 10.1080/24740500.2021.1886690

M3 - Article

SN - 2474-0500

VL - 4

SP - 162

EP - 177

JO - Australasian Philosophical Review

JF - Australasian Philosophical Review

IS - 2

ER -

Proofs and models in naive property theory: a response to hartry field's ‘properties, propositions and conditionals’

Abstract

Keywords

Access to Document

Fingerprint

Cite this