Eventuality-based interval semantics and Free Logic: what if there, like, is no future, man?

Future contingent propositions have famously been a source of trouble for philosophers and logicians committed to any variety of indeterminism on which facts about the future are not yet fixed. One possible answer to the problem involves presupposition—namely, that propositions lack truth-value when other propositions that they presuppose are false. This paper explores the plausibility of such an answer, beginning with a brief discussion of the problem of future contingent propositions and presupposition. From there, an in-depth discussion of Free Logic lays the groundwork of logical tools for the project, exploring the motivation for Free Logic's development and examples of Free Logic semantics. Subsequently, this paper discusses the history and usefulness of events-based semantics in analyzing English sentences. Using the tools of events-based semantics and formal logic, this paper formally models this approach to sentences in English by defining a semantics which can capture both tense and aspect of such sentences and which allows for truth-valueless future contingent propositions while preserving logical truths like the law of excluded middle.

Name thesis:degree_name

Master of Arts (M.A.)

Level thesis:degree_level

Masters

Discipline thesis:degree_discipline

Philosophy

Grantor dc:publisher

Colorado State University. Libraries

Year dc:date.issued

2019

Authors dc:creator

• Smith, Nathan L., author
• Tucker, Dustin, advisor
• Kasser, Jeff, committee member
• Adams, Henry, committee member

• free logic

Statement dc:rights

• Copyright and other restrictions may apply. User is responsible for compliance with all applicable laws. For information about copyright law, please see https://libguides.colostate.edu/copyright.

Language dc:language.iso

eng, English

Identifier URI

https://doi.org/10.25675/3.018314

OAI identifier oai:identifier

oai:mountainscholar.org:10217/197253