• English
    • Norsk
  • English 
    • English
    • Norsk
  • Administration
View Item 
  •   Home
  • Det humanistiske fakultet
  • Institutt for filosofi, ide- og kunsthistorie og klassiske språk
  • Institutt for filosofi, ide- og kunsthistorie og klassiske språk
  • View Item
  •   Home
  • Det humanistiske fakultet
  • Institutt for filosofi, ide- og kunsthistorie og klassiske språk
  • Institutt for filosofi, ide- og kunsthistorie og klassiske språk
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

The Inadequacy of a Proposed Paraconsistent Set Theory

Bjørdal, Frode
Journal article; AcceptedVersion; Peer reviewed
View/Open
Inadequacy-Proposed-Paraconsistent-Set-Theory.pdf (293.4Kb)
Year
2010
Permanent link
http://urn.nb.no/URN:NBN:no-26154

CRIStin
340837

Metadata
Show metadata
Appears in the following Collection
  • Institutt for filosofi, ide- og kunsthistorie og klassiske språk [316]
Original version
The Review of Symbolic Logic. 2010, 4 (1), 106-108, DOI: http://dx.doi.org/10.1017/S1755020310000171
Abstract
We show that a paraconsistent set theory proposed in Weber (2010), this journal, is strong enough to provide a quite classical non-primitive notion of identity, so that the relation is an equivalence relation and also obeys full substitutivity: a=b=>(F(a)=>F(b)). With this as background it is shown that the proposed theory also proves that all sets are distinct from themselves. While not by itself showing that the proposed system is trivial in the sense of proving all statements, it is argued that this outcome makes the system inadequate.
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy
 

 

For students / employeesSubmit master thesisAccess to restricted material

Browse

All of DUOCommunities & CollectionsBy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

For library staff

Login
RSS Feeds
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy