Re: Epistemology 201: The Science of Science

From: Lester Zick (lesterDELzick_at_worldnet.att.net)
Date: 02/05/05 

Date: Sat, 05 Feb 2005 20:19:39 GMT

On Sat, 05 Feb 2005 11:09:35 +1300, Jason
<jasonstevensNOSPAM@free.net.nz> in comp.ai.philosophy wrote:

[. . .]

>Not at all. I would say that mathematics includes set theory, which is
>an extension of logic. When proofs in set theory are performed, they
>are not at odds with its formal system. I'm arguing that all valid
>mathematical proofs are in accordance with one formal system or another,

Okay. But is there a formal system to formal systems? And if not where
is the formality of the system defined? Obviously it isn't arbitrary
or you would simply call it the system and not the formal system. So
there must be principles of formality in formal systems.

Regards - Lester

Relevant Pages

  • Re: Epistemology 201: The Science of Science
    ... >an extension of logic. ... When proofs in set theory are performed, ... >are not at odds with its formal system. ... I'm arguing that all valid ...
    (sci.physics)
  • Re: Epistemology 201: The Science of Science
    ... >an extension of logic. ... When proofs in set theory are performed, ... >are not at odds with its formal system. ... I'm arguing that all valid ...
    (sci.cognitive)
  • Re: what makes it true?
    ... grubb@xxxxxxxxxxxxxxxxx (Daniel Grubb) writes: ... > I can understand, given a formal system, whether I have a well formed ... > formal systems would be purely local if not for some type of set theory. ... All of this sounds very strange. ...
    (sci.math)
  • Re: what makes it true?
    ... >> I can understand, given a formal system, whether I have a well formed ... >> formal systems would be purely local if not for some type of set theory. ... > All of this sounds very strange. ... about whether it is in the set of provable statements from the theory. ...
    (sci.math)
  • Re: Request for Reference/Link to example of defining a theory/logic.
    ... that will emulate first-order logic and set theory. ... Long story not worth going into here. ... is incomplete and therefore I need a new improved formal system. ...
    (sci.logic)
Quantcast