KOPS - The Institutional Repository of the University of Konstanz

BH-CIFOL : Case-Intensional First Order Logic ; (II) Branching histories

BH-CIFOL : Case-Intensional First Order Logic ; (II) Branching histories

Cite This

Files in this item

Checksum: MD5:9950da65c6fad7711acda55ff069c3a9

BELNAP, Nuel, Thomas MÜLLER, 2014. BH-CIFOL : Case-Intensional First Order Logic ; (II) Branching histories. In: Journal of Philosophical Logic. 43(5), pp. 835-866. ISSN 0022-3611. eISSN 1573-0433. Available under: doi: 10.1007/s10992-013-9292-4

@article{Belnap2014BHCIF-27099, title={BH-CIFOL : Case-Intensional First Order Logic ; (II) Branching histories}, year={2014}, doi={10.1007/s10992-013-9292-4}, number={5}, volume={43}, issn={0022-3611}, journal={Journal of Philosophical Logic}, pages={835--866}, author={Belnap, Nuel and Müller, Thomas} }

<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/27099"> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-03-25T07:20:06Z</dc:date> <dc:contributor>Belnap, Nuel</dc:contributor> <dc:creator>Belnap, Nuel</dc:creator> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/27099/2/Belnap_270997.pdf"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-03-25T07:20:06Z</dcterms:available> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:issued>2014</dcterms:issued> <dc:contributor>Müller, Thomas</dc:contributor> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dc:creator>Müller, Thomas</dc:creator> <dc:rights>terms-of-use</dc:rights> <dc:language>eng</dc:language> <dcterms:abstract xml:lang="eng">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.</dcterms:abstract> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/27099"/> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/27099/2/Belnap_270997.pdf"/> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dcterms:title>BH-CIFOL : Case-Intensional First Order Logic ; (II) Branching histories</dcterms:title> </rdf:Description> </rdf:RDF>

Downloads since Oct 1, 2014 (Information about access statistics)

Belnap_270997.pdf 149

This item appears in the following Collection(s)

Search KOPS


My Account