Belnap, Nuel and Müller, Thomas (2013) BH-CIFOL: Case-intensional first order logic. (II) Branching histories. [Preprint]
![[img]](https://philsci-archive.pitt.edu/style/images/fileicons/application_pdf.png)
|
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: |
| Item Type: | Preprint | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Creators: |
|
|||||||||
| 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 |
![[feed]](http://philsci-archive.pitt.edu/style/images/feed-icon-32x32.png){kind=icon}