dc.date.accessioned | 2017-12-12T12:25:07Z | |
dc.date.available | 2017-12-12T12:25:07Z | |
dc.date.created | 2015-07-28T11:05:49Z | |
dc.date.issued | 2015 | |
dc.identifier.citation | Øgaard, Tore Fjetland . Paths to Triviality. Journal of Philosophical Logic. 2015, 45(3), 237-276 | |
dc.identifier.uri | http://hdl.handle.net/10852/59328 | |
dc.description.abstract | This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧(B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the Ackermann constant. An overview over various ways to formulate Leibniz’s law in non-classical logics and two new triviality proofs for naïve set theory are also provided.
The final version of this research has been published in the Journal of Philosophical Logic. © 2015 Springer Verlag | en_US |
dc.language | EN | |
dc.publisher | Springer Netherlands | |
dc.title | Paths to Triviality | en_US |
dc.type | Journal article | en_US |
dc.creator.author | Øgaard, Tore Fjetland | |
cristin.unitcode | 185,14,35,0 | |
cristin.unitname | Institutt for lingvistiske og nordiske studier | |
cristin.ispublished | true | |
cristin.fulltext | postprint | |
cristin.qualitycode | 2 | |
dc.identifier.cristin | 1255311 | |
dc.identifier.bibliographiccitation | info:ofi/fmt:kev:mtx:ctx&ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.jtitle=Journal of Philosophical Logic&rft.volume=45&rft.spage=237&rft.date=2015 | |
dc.identifier.jtitle | Journal of Philosophical Logic | |
dc.identifier.volume | 45 | |
dc.identifier.issue | 3 | |
dc.identifier.startpage | 237 | |
dc.identifier.endpage | 276 | |
dc.identifier.doi | http://dx.doi.org/10.1007/s10992-015-9374-6 | |
dc.identifier.urn | URN:NBN:no-62017 | |
dc.subject.nvi | VDP::Logikk: 163 | |
dc.type.document | Tidsskriftartikkel | en_US |
dc.type.peerreviewed | Peer reviewed | |
dc.source.issn | 0022-3611 | |
dc.identifier.fulltext | Fulltext https://www.duo.uio.no/bitstream/handle/10852/59328/1/Postprint_-_Paths_to_triviality.pdf | |
dc.type.version | AcceptedVersion | |
cristin.articleid | 1 | |