Publikation: Classical Negation and Expansions of Belnap–Dunn Logic
Lade...
Dateien
Datum
2015
Autor:innen
Omori, Hitoshi
Herausgeber:innen
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
URI (zitierfähiger Link)
DOI (zitierfähiger Link)
Internationale Patentnummer
Link zur Lizenz
Angaben zur Forschungsförderung
European Union (EU): 263227
Projekt
Indeterminism Ltd. An intervention on the free will debate
Open Access-Veröffentlichung
Open Access Green
Sammlungen
Core Facility der Universität Konstanz
Titel in einer weiteren Sprache
Publikationstyp
Zeitschriftenartikel
Publikationsstatus
Published
Erschienen in
Studia Logica. 2015, 103(4), pp. 825-851. ISSN 0039-3215. eISSN 1572-8730. Available under: doi: 10.1007/s11225-014-9595-7
Zusammenfassung
It is known that classical negation can be recovered in some systems of non-classical logics, such as paraconsistent logic and many-valued logic. However, the notion of classical negation needs to be examined carefully. Indeed, it is often thought that classical negation can be defined uniquely. This kind of arguments usually relies on a proof-theoretic viewpoint. But, in fact, from a semantic viewpoint, the definition of classical negation is not so straightforward as we might expect. We provide such an example by considering some expansions of FDE, and present some results which give us a new insight on the notion of classical negation in systems of non-classical logic.
Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
100 Philosophie
Schlagwörter
FDE(Belnap-Dunn Logic), classical negation, material implication, three-valued logic
Konferenz
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690
DE, Michael, Hitoshi OMORI, 2015. Classical Negation and Expansions of Belnap–Dunn Logic. In: Studia Logica. 2015, 103(4), pp. 825-851. ISSN 0039-3215. eISSN 1572-8730. Available under: doi: 10.1007/s11225-014-9595-7BibTex
@article{De2015Class-31002,
year={2015},
doi={10.1007/s11225-014-9595-7},
title={Classical Negation and Expansions of Belnap–Dunn Logic},
number={4},
volume={103},
issn={0039-3215},
journal={Studia Logica},
pages={825--851},
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/31002">
<dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/31002/3/De_0-290199.pdf"/>
<dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-05-21T08:19:06Z</dcterms:available>
<dc:creator>Omori, Hitoshi</dc:creator>
<dcterms:title>Classical Negation and Expansions of Belnap–Dunn Logic</dcterms:title>
<dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
<bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/31002"/>
<dc:contributor>Omori, Hitoshi</dc:contributor>
<dc:rights>terms-of-use</dc:rights>
<dc:contributor>De, Michael</dc:contributor>
<dc:language>eng</dc:language>
<dcterms:abstract xml:lang="eng">It is known that classical negation can be recovered in some systems of non-classical logics, such as paraconsistent logic and many-valued logic. However, the notion of classical negation needs to be examined carefully. Indeed, it is often thought that classical negation can be defined uniquely. This kind of arguments usually relies on a proof-theoretic viewpoint. But, in fact, from a semantic viewpoint, the definition of classical negation is not so straightforward as we might expect. We provide such an example by considering some expansions of FDE, and present some results which give us a new insight on the notion of classical negation in systems of non-classical logic.</dcterms:abstract>
<void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
<dc:creator>De, Michael</dc:creator>
<dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-05-21T08:19:06Z</dc:date>
<dcterms:issued>2015</dcterms:issued>
<dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
<dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/31002/3/De_0-290199.pdf"/>
<dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
<foaf:homepage rdf:resource="http://localhost:8080/"/>
</rdf:Description>
</rdf:RDF>Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
