Publikation: Prior's tense-logical universalism
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
Prior's project of tense logic has both a formal-logical and a philosophical side. Both aspects were important for Prior. The paper suggests viewing Prior's philosophical project as a continuation of the tradition of "logic as language", or "universalism", identified by van Heijenoort and Hintikka, respectively. The label "tense-logical universalism" is chosen in order to stress Prior's emphasis on the foundational role of natural language for the three fields of logic, semantics, and philosophy of science. The paper draws on Prior’s works in all three mentioned areas. In particular, we comment on Prior's universalist approach to model theory, which has recently given rise to hybrid logic, and on the interesting perspective on relativity theory offered through his writings.
Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
Schlagwörter
Konferenz
Rezension
Zitieren
ISO 690
MÜLLER, Thomas, 2007. Prior's tense-logical universalism. In: Logique et Analyse. 2007, 50(199), pp. 223-252. ISSN 0024-5836BibTex
@article{Muller2007Prior-27121, year={2007}, title={Prior's tense-logical universalism}, number={199}, volume={50}, issn={0024-5836}, journal={Logique et Analyse}, pages={223--252}, author={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/27121"> <dcterms:bibliographicCitation>Logique et Analyse ; 50 (2007), 199. - S. 223-252</dcterms:bibliographicCitation> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/> <dc:language>eng</dc:language> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-04-04T11:14:50Z</dc:date> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-04-04T11:14:50Z</dcterms:available> <dcterms:issued>2007</dcterms:issued> <dcterms:abstract xml:lang="eng">Prior's project of tense logic has both a formal-logical and a philosophical side. Both aspects were important for Prior. The paper suggests viewing Prior's philosophical project as a continuation of the tradition of "logic as language", or "universalism", identified by van Heijenoort and Hintikka, respectively. The label "tense-logical universalism" is chosen in order to stress Prior's emphasis on the foundational role of natural language for the three fields of logic, semantics, and philosophy of science. The paper draws on Prior’s works in all three mentioned areas. In particular, we comment on Prior's universalist approach to model theory, which has recently given rise to hybrid logic, and on the interesting perspective on relativity theory offered through his writings.</dcterms:abstract> <foaf:homepage rdf:resource="http://localhost:8080/"/> <dc:contributor>Müller, Thomas</dc:contributor> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/27121"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:creator>Müller, Thomas</dc:creator> <dcterms:title>Prior's tense-logical universalism</dcterms:title> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dc:rights>terms-of-use</dc:rights> </rdf:Description> </rdf:RDF>