"fom" <fomJUNK@nyms.net> wrote in message news:UY-dnUnFksIIUDrMnZ2dnUVZ_g-dnZ2d@giganews.com... > On 5/30/2013 11:20 AM, Julio Di Egidio wrote: <snipped>
> is there a criterion > for deciding whether either of the complete connectives should > be viewed as the canonical complete connective? That is, is > there an asymmetry in the dyslexia we call truth-functional > logic?
Why should there be a canonical one? Isn't indeed self-referentiality (circularity) the essential character of the (any) purely logical system? (And, I am intrigued, why would you call such system dyslexic?)
> Well, my ideas are actually motivated by considering > set theory. So, arithmetic, for me, is inside of a > theory of classes...
Kant says that space and time are given prior to experience, in fact as a pre-requisite for the possibility of any experience of the world. Along similar lines, counting and distinguishing may very well be a-priory faculties, and, at least as far as I can presently see, that's the confusion: the use of logic or mathematics to describe what is properly pre-logical or pre-mathematical.