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

Zitieren

Dateien zu dieser Ressource

Prüfsumme: 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:rights>deposit-license</dc:rights> <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> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <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: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:title>BH-CIFOL : Case-Intensional First Order Logic ; (II) Branching histories</dcterms:title> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Belnap_270997.pdf 88

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto