Re: which is more fundamental?



gsax wrote:
> Hi
>
> I have this debate going on with a friend...
>
> He says that Logic is part of Mathematics & is more fundamental...I on
> the other hand believe that it's the other way round..
>
> Will any pundits here shed some light over this issue?
>
> thanks
> Gsax

A good question. Notice that when inconsistencies were discovered in
set theory, they didn't conclude that sets are inconsistent; they fixed
the theory. So, mathematics came before logic. It should. We don't
always take the truth of things from the formalism, sometimes we
contrive the formalism to fit what we think is true.

.

Relevant Pages

  • Re: Cantor Confusion
    ... I surmise you mean 'formalism' not necessarily to refer to the ... theories as Z set theory. ... non-standard logics, paraconsistent logic, as well as the many ... I am just telling you some of what mathematics has to offer ...
    (sci.math)
  • Re: Cantorian pseudomathematics
    ... I'm not saying we should get rid of formalism. ... reality check needs to be included in our formalism, ... check is missing from Cantorian set theory. ... of mathematics to real world ...
    (sci.math)
  • Re: Cantorian pseudomathematics
    ... >> It's pretty clear now that when you speak of mathematics as being more ... > practice is free of handwaving and appeal to intuition? ... > but it was already the case with projective geometry), hence set theory ... However, because of formalism, we can at least all agree on one thing: ...
    (sci.math)
  • Re: Cantor Confusion
    ... mathematics and set theory (and, I should add, about informal concerns ... SET THEORY IS ALWAYS "ACTUAL INFINITY". ... anything but compete with computers for the most formal formalism? ...
    (sci.math)
  • Re: Well Ordering the Reals
    ... most of the standard axioms would get scrapped ... you claim that set theory is ... theory in which to express virtually all of mathematics. ... S (call this function 'omega pre S'). ...
    (sci.math)
Loading