"Zuhair" <email@example.com> wrote in message news:firstname.lastname@example.org... > On May 31, 6:36 pm, "Julio Di Egidio" <ju...@diegidio.name> wrote: >> "fom" <fomJ...@nyms.net> wrote in message >> news:UY-dnUnFksIIUDrMnZ2dnUVZ_g-dnZ2d@giganews.com... >> >> > 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. > > This is interesting. But I don't think that a complex system like for > example second order arithmetic would be of the sort of entities you > are speaking about,
> you might be right about some the meta-logic > symbols like the natural indices for example, also about the rules of > logic themselves (the logical axioms) those might be provably > necessary to any kind of thought, yes, but what follows from those is > purely analytic (in Frege's sense).