An analysis of inconsistent and incomplete Necker cubes
Date
2006
Authors
Mortensen, C.
Editors
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Journal article
Citation
The Australasian Journal of Logic, 2006; 4:216-225
Statement of Responsibility
Conference Name
Abstract
This paper aims to distinguish and classify sixteen versions of the Necker cube. In particular, it is shown how to describe inconsistent and incomplete theories which correspond in a systematic way to these sixteen diagrams. Concerning two of these sixteen cubes, there is a natural intuition that there is a sense in which they inconsistent. It is seen that this intuition is vindicated by an analysis in which their corresponding theories turn out to be globally inconsistent but not locally inconsistent, while various other cubes of the sixteen are merely locally inconsistent. The Routley functor is seen to be useful in classifying the relations between these diagrams.
School/Discipline
Dissertation Note
Provenance
Description
© 2006 Chris Mortensen