Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Logic and Logical Philosophy

Authors help

  1. 1 Bjørdal F.

Years help

  1. 1 2012

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  Cantor’s Theorem
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

Librationist Closures of the Paradoxes

100%
Bjørdal F.
Logic and Logical Philosophy
|
2012
|
vol. 21
|
issue 4
323-361
EN
We present a semi-formal foundational theory of sorts, akin to sets, named librationism because of its way of dealing with paradoxes. Its semantics is related to Herzberger’s semi inductive approach, it is negation complete and free variables (noemata) name sorts. Librationism deals with paradoxes in a novel way related to paraconsistent dialetheic approaches, but we think of it as bialethic and parasistent. Classical logical theorems are retained, and none contradicted. Novel inferential principles make recourse to theoremhood and failure of theoremhood. Identity is introduced à la Leibniz-Russell, and librationism is highly non-extensional. Π11- comprehension with ordinary Bar-Induction is accounted for (to be lifted). Power sorts are generally paradoxical, and Cantor’s Theorem is blocked as a camouflaged premise is naturally discarded.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.