Publikation:

Nuel Belnap on Indeterminism and Free Action

Lade...
Vorschaubild

Dateien

Mueller_276731.pdf
Mueller_276731.pdfGröße: 3.2 MBDownloads: 623

Datum

2014

Autor:innen

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

978-3-319-01753-2
Bibliografische Daten

Verlag

Cham [u.a.] : Springer

Schriftenreihe

Outstanding Contributions to Logic;2

Auflagebezeichnung

ArXiv-ID

Internationale Patentnummer

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung
Open Access Green
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

Publikationstyp
Sammelband
Publikationsstatus
Published

Erschienen in

Zusammenfassung

This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logician and philosopher.



Philosophically, indeterminism and free action can seem far apart, but in Belnap’s work, they are intimately linked. This book explores their philosophical interconnectedness through a selection of original research papers that build forth on Belnap’s logical and philosophical work. Some contributions take the form of critical discussions of Belnap's published work, some develop points made in his publications in new directions, and others provide additional insights on the topics of indeterminism and free action.



In Nuel Belnap’s work on indeterminism and free action, three formal frameworks figure prominently: the simple branching histories framework known as "branching time;" its relativistic spatio-temporal extension, branching space-times; and the “seeing to it that” (stit) logic of agency. As those frameworks provide the formal background for the contributed papers, the volume introduction gives an overview of the current state of their development. It also introduces case-intensional first order logic (CIFOL), a general intensional logic offering resources for a first-order extension of the mentioned frameworks and a recent research focus of Belnap’s. The volume also contains an extended biographical interview with Nuel Belnap.

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
100 Philosophie

Schlagwörter

Action to free will, Action with non-determinate effect, Analysis of propositional contents of attitudes, Assertion problem, BST structures and structures of FTA, BST with a new PCP, Basic Theory of Possible Ancestry, Branching Time and Ontic Frugality, CIFOL+ and elementary ranges, Core features of Ockhamist branching time, Fields and Outcomes Bordering Fields, Future-directed speech acts, How to generalize BST1992, Intuitionistic Logic, Logical Frameworks for Agency, Modeling indeterminacy of action, Open Future Semantics, Stit Frames, Syntax and semantics, Thin Red Line theory, branching time, case-relative truth in CIFOL+, concept of case relative truth, concepts of speech act theory, decision theory and deontic logic, modal realism objection

Konferenz

Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690MÜLLER, Thomas, ed., 2014. Nuel Belnap on Indeterminism and Free Action. Cham [u.a.] : Springer. ISBN 978-3-319-01753-2
BibTex
@book{Muller2014Belna-27673,
  year={2014},
  doi={10.1007/978-3-319-01754-9},
  isbn={978-3-319-01753-2},
  publisher={Cham [u.a.] : Springer},
  series={Outstanding Contributions to Logic;2},
  title={Nuel Belnap on Indeterminism and Free Action},
  editor={Müller, Thomas}
}
RDF
<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/server/rdf/resource/123456789/27673">
    <dcterms:abstract xml:lang="eng">This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logician and philosopher.&lt;br /&gt;&lt;br /&gt;&lt;br /&gt;&lt;br /&gt;Philosophically, indeterminism and free action can seem far apart, but in Belnap’s work, they are intimately linked. This book explores their philosophical interconnectedness through a selection of original research papers that build forth on Belnap’s logical and philosophical work. Some contributions take the form of critical discussions of Belnap's published work, some develop points made in his publications in new directions, and others provide additional insights on the topics of indeterminism and free action.&lt;br /&gt;&lt;br /&gt;&lt;br /&gt;&lt;br /&gt;In Nuel Belnap’s work on indeterminism and free action, three formal frameworks figure prominently: the simple branching histories framework known as "branching time;" its relativistic spatio-temporal extension, branching space-times; and the “seeing to it that” (stit) logic of agency. As those frameworks provide the formal background for the contributed papers, the volume introduction gives an overview of the current state of their development. It also introduces case-intensional first order logic (CIFOL), a general intensional logic offering resources for a first-order extension of the mentioned frameworks and a recent research focus of Belnap’s. The volume also contains an extended biographical interview with Nuel Belnap.</dcterms:abstract>
    <dc:publisher>Cham [u.a.] : Springer</dc:publisher>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/27673/2/Mueller_276731.pdf"/>
    <bibo:issn>978-3-319-01753-2</bibo:issn>
    <dc:contributor>Müller, Thomas</dc:contributor>
    <dcterms:issued>2014</dcterms:issued>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dcterms:title>Nuel Belnap on Indeterminism and Free Action</dcterms:title>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/27673/2/Mueller_276731.pdf"/>
    <dc:language>eng</dc:language>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/27673"/>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-04-25T08:08:36Z</dc:date>
    <dc:rights>terms-of-use</dc:rights>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-04-25T08:08:36Z</dcterms:available>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
  </rdf:Description>
</rdf:RDF>

Interner Vermerk

xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter

Kontakt
URL der Originalveröffentl.

Prüfdatum der URL

Prüfungsdatum der Dissertation

Finanzierungsart

Kommentar zur Publikation

Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Begutachtet
Diese Publikation teilen