A Theory of Conditional Assertion

Simon David GOLDSTEIN

Research output: Journal PublicationsJournal Article (refereed)

Abstract

According to one tradition, uttering an indicative conditional involves performing a special sort of speech act: a conditional assertion. We introduce a formal framework that models this speech act. Using this framework, we show that any theory of conditional assertion validates several inferences in the logic of conditionals, including the False Antecedent inference (that not A implies if A, then C). Next, we determine the space of truth conditional semantics for conditionals consistent with conditional assertion. The truth value of any such conditional is settled whenever the antecedent is false, and whenever the antecedent is true and the consequent is false. Then, we consider the space of dynamic meanings consistent with the theory of conditional assertion. We develop a new family of dynamic conditional assertion operators that combine a traditional test operator with an update operation.
Original languageEnglish
Pages (from-to)293-318
Number of pages26
JournalJournal of Philosophy
Volume116
Issue number6
DOIs
Publication statusPublished - Jun 2019

Fingerprint

Operator
Inference
Speech Acts
Truth-conditional Semantics
Logic
Indicative Conditionals
Truth Value

Bibliographical note

This research was supported by Research Grants Council Grant #23602118

Cite this

GOLDSTEIN, Simon David. / A Theory of Conditional Assertion. In: Journal of Philosophy. 2019 ; Vol. 116, No. 6. pp. 293-318.
@article{58dd6270ff244edeb3b1807f290bde6c,
title = "A Theory of Conditional Assertion",
abstract = "According to one tradition, uttering an indicative conditional involves performing a special sort of speech act: a conditional assertion. We introduce a formal framework that models this speech act. Using this framework, we show that any theory of conditional assertion validates several inferences in the logic of conditionals, including the False Antecedent inference (that not A implies if A, then C). Next, we determine the space of truth conditional semantics for conditionals consistent with conditional assertion. The truth value of any such conditional is settled whenever the antecedent is false, and whenever the antecedent is true and the consequent is false. Then, we consider the space of dynamic meanings consistent with the theory of conditional assertion. We develop a new family of dynamic conditional assertion operators that combine a traditional test operator with an update operation.",
author = "GOLDSTEIN, {Simon David}",
note = "This research was supported by Research Grants Council Grant #23602118",
year = "2019",
month = "6",
doi = "10.5840/jphil2019116620",
language = "English",
volume = "116",
pages = "293--318",
journal = "The Journal of Philosophy",
issn = "0022-362X",
publisher = "Journal of Philosophy, Inc.",
number = "6",

}

A Theory of Conditional Assertion. / GOLDSTEIN, Simon David.

In: Journal of Philosophy, Vol. 116, No. 6, 06.2019, p. 293-318.

Research output: Journal PublicationsJournal Article (refereed)

TY - JOUR

T1 - A Theory of Conditional Assertion

AU - GOLDSTEIN, Simon David

N1 - This research was supported by Research Grants Council Grant #23602118

PY - 2019/6

Y1 - 2019/6

N2 - According to one tradition, uttering an indicative conditional involves performing a special sort of speech act: a conditional assertion. We introduce a formal framework that models this speech act. Using this framework, we show that any theory of conditional assertion validates several inferences in the logic of conditionals, including the False Antecedent inference (that not A implies if A, then C). Next, we determine the space of truth conditional semantics for conditionals consistent with conditional assertion. The truth value of any such conditional is settled whenever the antecedent is false, and whenever the antecedent is true and the consequent is false. Then, we consider the space of dynamic meanings consistent with the theory of conditional assertion. We develop a new family of dynamic conditional assertion operators that combine a traditional test operator with an update operation.

AB - According to one tradition, uttering an indicative conditional involves performing a special sort of speech act: a conditional assertion. We introduce a formal framework that models this speech act. Using this framework, we show that any theory of conditional assertion validates several inferences in the logic of conditionals, including the False Antecedent inference (that not A implies if A, then C). Next, we determine the space of truth conditional semantics for conditionals consistent with conditional assertion. The truth value of any such conditional is settled whenever the antecedent is false, and whenever the antecedent is true and the consequent is false. Then, we consider the space of dynamic meanings consistent with the theory of conditional assertion. We develop a new family of dynamic conditional assertion operators that combine a traditional test operator with an update operation.

U2 - 10.5840/jphil2019116620

DO - 10.5840/jphil2019116620

M3 - Journal Article (refereed)

VL - 116

SP - 293

EP - 318

JO - The Journal of Philosophy

JF - The Journal of Philosophy

SN - 0022-362X

IS - 6

ER -