Re: FOL and AST

On 12 jun, 19:18, MoeBlee <jazzm...@xxxxxxxxxxx> wrote:
On Jun 12, 12:15 am, Marc Alcobé García <malc...@xxxxxxxxx> wrote:

On 12 jun, 07:53, herbzet <herb...@xxxxxxxxx> wrote:
As for uncountable languages, I don't see why we should be much
interested in such highly theoretical objects.
As a possible answer, Shoenfield defines validity in a structure by
adding to the language a constant for each individual.
I do not know if it is possible to avoid this expansion of the
language in that definition. But if it was not, then the need for
uncountable languages would not be of any high theoricity, but a quite
basic need.

We don't have to use that method. We can define satisfaction and truth
in a structure (what Shoenfield calls 'validity', as opposed to the
more ordinary sense of 'validity' as 'satisfied or true in all
structures') with an uncountable universe without having to use a
method of adding constants.

That there are other uses for uncountable languages though is another
matter.

MoeBlee

The more this discussion goes on, the more I think I am reading the
wrong book. I feel the need to see the big picture before diving into
the technical details.

.

Relevant Pages

  • Re: Change language without reinstalling ?
    ... your posts very hard to read. ... Do you /ever/ check the validity of your 'advice' before posting?! ... the language of the GUI using the method you suggest. ... The only way to change the GUI language is by ...
    (microsoft.public.windowsxp.help_and_support)
  • Utility to convert complex declarations into, well, lol, plain-text
    ... Is there a utility that takes an arbitrarily complex C language ... declaration, checks it validity, and breaks it down into something ...
    (comp.lang.c)
  • Re: FOL and AST
    ... adding to the language a constant for each individual. ... We can define satisfaction and truth ... in a structure (what Shoenfield calls 'validity', ... That there are other uses for uncountable languages though is another ...
    (sci.logic)
  • Re: Godel cant tell us what makes a mathematical statement true
    ... whatever actual name used), for example, both Enderton and Shoenfield. ... are not part of the underlying set language, ... language of set theory', then, yes, of course 'true' and 'false' are ... And to formalize Shoenfield's formulation set theoretically, ...
    (sci.logic)
  • Re: Godel cant tell us what makes a mathematical statement true
    ... are not part of the underlying set language, ... language of set theory', then, yes, of course 'true' and 'false' are ... According to Shoenfield, that is the set M that is *to be interpreted*: ... In Shoenfield's formulation in that particular chapter, ...
    (sci.logic)