Publikation: Arthur Priors Zeitlogik : Eine problemorientierte Darstellung
Dateien
Datum
Autor:innen
Herausgeber:innen
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
URI (zitierfähiger Link)
Internationale Patentnummer
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Sammlungen
Core Facility der Universität Konstanz
Titel in einer weiteren Sprache
Publikationstyp
Publikationsstatus
Erschienen in
Zusammenfassung
Arthur Prior war Philosoph und Logiker. Sein formallogisch wie philosophisch wichtigstes Anliegen war die Formulierung einer Zeitlogik (tense logic). Die Zeitlogik bietet ein formales Instrumentarium, das es erlaubt, die Zeitformen Vergangenheit, Gegenwart und Zukunft auszudrücken. Nach Priors frühem Tod 1969 fand die formale Zeitlogik viele Anwendungen. Priors mit der Zeitlogik verbundenes philosophisches Projekt wurde hingegen kaum weiterentwickelt. Dies liegt vor allem daran, daß gegen die Zeitlogik eine Reihe von angeblich schlagenden Einwänden vorgebracht wurde. Es werden formallogische, semantische und wissenschaftstheoretische Einwände gegen Priors Projekt diskutiert. Insbesondere wird gezeigt, daß Priors Zeitlogik nicht nur mit der Einsteinschen Relativitätstheorie verträglich ist, sondern sogar den Weg zu einer fruchtbaren Auseinandersetzung mit dieser Theorie eröffnet.
Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
Schlagwörter
Konferenz
Rezension
Zitieren
ISO 690
MÜLLER, Thomas, 2002. Arthur Priors Zeitlogik : Eine problemorientierte Darstellung. Paderborn : mentis. ISBN 978-3-89785-257-0BibTex
@book{Muller2002Arthu-27156, year={2002}, isbn={978-3-89785-257-0}, publisher={Paderborn : mentis}, title={Arthur Priors Zeitlogik : Eine problemorientierte Darstellung}, author={Müller, Thomas}, note={Zugl.: Freiburg i. Br., Univ., Diss., 2001} }
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/27156"> <bibo:issn>978-3-89785-257-0</bibo:issn> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/27156"/> <dc:publisher>Paderborn : mentis</dc:publisher> <dcterms:abstract xml:lang="deu">Arthur Prior war Philosoph und Logiker. Sein formallogisch wie philosophisch wichtigstes Anliegen war die Formulierung einer Zeitlogik (tense logic). Die Zeitlogik bietet ein formales Instrumentarium, das es erlaubt, die Zeitformen Vergangenheit, Gegenwart und Zukunft auszudrücken. Nach Priors frühem Tod 1969 fand die formale Zeitlogik viele Anwendungen. Priors mit der Zeitlogik verbundenes philosophisches Projekt wurde hingegen kaum weiterentwickelt. Dies liegt vor allem daran, daß gegen die Zeitlogik eine Reihe von angeblich schlagenden Einwänden vorgebracht wurde. Es werden formallogische, semantische und wissenschaftstheoretische Einwände gegen Priors Projekt diskutiert. Insbesondere wird gezeigt, daß Priors Zeitlogik nicht nur mit der Einsteinschen Relativitätstheorie verträglich ist, sondern sogar den Weg zu einer fruchtbaren Auseinandersetzung mit dieser Theorie eröffnet.</dcterms:abstract> <foaf:homepage rdf:resource="http://localhost:8080/"/> <dcterms:title>Arthur Priors Zeitlogik : Eine problemorientierte Darstellung</dcterms:title> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-03-20T07:49:01Z</dcterms:available> <dc:contributor>Müller, Thomas</dc:contributor> <dcterms:issued>2002</dcterms:issued> <dc:rights>terms-of-use</dc:rights> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dc:language>deu</dc:language> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/> <dc:creator>Müller, Thomas</dc:creator> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-03-20T07:49:01Z</dc:date> </rdf:Description> </rdf:RDF>