Classical Negation and Expansions of Belnap–Dunn Logic

De, Michael; Omori, Hitoshi

Classical Negation and Expansions of Belnap–Dunn Logic

Dateien

De_0-290199.pdfGröße: 225.05 KBDownloads: 429

Datum

2015

Autor:innen

De, Michael

Omori, Hitoshi

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

Philosophie

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.

Fachgebiet (DDC)

100 Philosophie

Schlagwörter

FDE(Belnap-Dunn Logic), classical negation, material implication, three-valued logic

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-7

BibTex

@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>

Universitätsbibliographie

Ja