PhilSci Archive

BH-CIFOL: Case-intensional first order logic. (II) Branching histories

Belnap, Nuel and Müller, Thomas (2013) BH-CIFOL: Case-intensional first order logic. (II) Branching histories. [Preprint]

[img]
Preview
PDF
BH-CIFOL-preprintversion-2013-05-28-tm_.pdf
Available under License Creative Commons Attribution Non-commercial Share Alike.

Download (549kB)

Abstract

This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller 2013). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events (extending all the way into the future) that that moment is part of. This framework allows us to define the familiar Ockhamist temporal/modal connectives, most notably for past, future, and settledness. The novelty of our framework becomes visible in our discussion of substances in branching histories, i.e., in its first-order part. That discussion shows how the basic idea of tracing an individual thing from case to case via an absolute property is applicable in a branching histories framework. We stress the importance of keeping apart extensionality and moment-definiteness, and give a formal account of how the specification of natural sortals and natural qualities turns out to be a coordination task in BH-CIFOL. We also provide a detailed answer to Lewis’s well-known argument against branching histories, exposing the fallacy in that argument.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Belnap, Nuelbelnap@pitt.edu
Müller, ThomasThomas.Mueller@phil.uu.nl
Keywords: modal logic; extension/intension; intensional predication and quantification; sortal; tracing; substance; indeterminism; branching
Subjects: General Issues > Determinism/Indeterminism
General Issues > Logical Positivism/Logical Empiricism
Depositing User: Dr. Thomas Müller
Date Deposited: 29 May 2013 14:42
Last Modified: 29 May 2013 14:42
Item ID: 9795
Subjects: General Issues > Determinism/Indeterminism
General Issues > Logical Positivism/Logical Empiricism
Date: 28 May 2013
URI: https://philsci-archive.pitt.edu/id/eprint/9795

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item