More on empirical negation

Lade...
Vorschaubild
Dateien
Zu diesem Dokument gibt es keine Dateien.
Datum
2014
Autor:innen
Omori, Hitoshi
Herausgeber:innen
Kontakt
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
URI (zitierfähiger Link)
DOI (zitierfähiger Link)
ArXiv-ID
Internationale Patentnummer
Angaben zur Forschungsförderung
European Union (EU): 263227
Projekt
Indeterminism Ltd. An intervention on the free will debate
Open Access-Veröffentlichung
Sammlungen
Core Facility der Universität Konstanz
Gesperrt bis
Titel in einer weiteren Sprache
Forschungsvorhaben
Organisationseinheiten
Zeitschriftenheft
Publikationstyp
Beitrag zu einem Sammelband
Publikationsstatus
Published
Erschienen in
GORÉ, Rajeev, ed. and others. Advances in Modal Logic, vol. 10. College Publications, 2014, pp. 114-133. ISBN 978-1-84890-151-3
Zusammenfassung

Intuitionism can be seen as a verificationism restricted to mathematical discourse. An attempt to generalize intuitionism to empirical discourse presents various challenges. One of those concerns the logical and semantical behavior of what has been called 'empirical negation'. An extension of intuitionistic logic with empirical negation was given by Michael De and a labelled tableaux system was there shown sound and complete. However, a Hilbert-style axiom system that is sound and complete was missing. In this paper we provide the missing axiom system which is shown sound and complete with respect to its intended semantics. Along the way we consider some further applications of empirical negation.

Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
100 Philosophie
Schlagwörter
Intuitionistic logic, empirical negation, completeness
Konferenz
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690DE, Michael, Hitoshi OMORI, 2014. More on empirical negation. In: GORÉ, Rajeev, ed. and others. Advances in Modal Logic, vol. 10. College Publications, 2014, pp. 114-133. ISBN 978-1-84890-151-3
BibTex
@incollection{De2014empir-31450,
  year={2014},
  title={More on empirical negation},
  url={http://www.aiml.net/volumes/volume10/De-Omori.pdf},
  isbn={978-1-84890-151-3},
  publisher={College Publications},
  booktitle={Advances in Modal Logic, vol. 10},
  pages={114--133},
  editor={Goré, Rajeev},
  author={De, Michael and Omori, Hitoshi}
}
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/31450">
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/31450"/>
    <dc:creator>De, Michael</dc:creator>
    <dc:creator>Omori, Hitoshi</dc:creator>
    <dcterms:abstract xml:lang="eng">Intuitionism can be seen as a verificationism restricted to mathematical discourse. An attempt to generalize intuitionism to empirical discourse presents various challenges. One of those concerns the logical and semantical behavior of what has been called 'empirical negation'. An extension of intuitionistic logic with empirical negation was given by Michael De and a labelled tableaux system was there shown sound and complete. However, a Hilbert-style axiom system that is sound and complete was missing. In this paper we provide the missing axiom system which is shown sound and complete with respect to its intended semantics. Along the way we consider some further applications of empirical negation.</dcterms:abstract>
    <dcterms:title>More on empirical negation</dcterms:title>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:language>eng</dc:language>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dc:contributor>De, Michael</dc:contributor>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-07-16T15:24:53Z</dc:date>
    <dc:contributor>Omori, Hitoshi</dc:contributor>
    <dcterms:issued>2014</dcterms:issued>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-07-16T15:24:53Z</dcterms:available>
  </rdf:Description>
</rdf:RDF>
Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Kontakt
Prüfdatum der URL
2015-07-16
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet
Diese Publikation teilen