Re: Guessing?

From: Marshall <marshall.spight_at_gmail.com>
Date: Wed, 9 Jul 2008 16:37:14 -0700 (PDT)
Message-ID: <3c292d53-d4aa-4a87-8c17-7f6e81f9d9c1@2g2000hsn.googlegroups.com>


On Jul 9, 8:36 am, "Brian Selzer" <br..._at_selzer-software.com> wrote:

>

> Logical propositions without an intended interpretation are when written
> just squiggles--something akin to doodles--with no significance or utility
> whatsoever, and are when spoken just noise--they do not rise even to the
> level of being a tale told by an idiot: they're just noise.

That turns out not to be the case. Axioms are just sentences in a language, for example. A first order theory is just a bunch of syntactic statements. There may be a variety of different possible interpretations, or models. There may be exactly one, or there may be none at all.

http://en.wikipedia.org/wiki/First_order_theory

Marshall Received on Wed Jul 09 2008 - 18:37:14 CDT

Original text of this message