Re: Skolem Again


Chris Menzel wrote:
> On 4 Oct 2005 12:42:02 -0700, William of Ockham
> <d3uckner@xxxxxxxxxxxxxx> said:
> > P1. L-S tells us that orthographically identical theories may have
> > different models.
>
> It tells us no such thing.

Then rewrite the premisses so we agree P1 is true. Thus

P1 One and the same theory may have different models
P2. The same theory must have the same meaning
P3. But the meaning of a theory depends on which model we take it to
have

These together yield a contradiction. Which of the premisses is false?

> It is really
> unbecoming for someone as smart as you to be arguing in the classic mold
> of a crackpot.

Which premiss is false?

.

Relevant Pages

  • Re: Skolem Again
    ... > Then rewrite the premisses so we agree P1 is true. ... But the meaning of a theory depends on which model we take it to ... that a given interpretation of a theory makes all of its axioms true it ...
    (sci.logic)
  • Re: Skolem Again
    ... Then rewrite the three premisses so we agree P1 is true. ... But the meaning of a theory depends on which model we take it to ... Are you saying that it has no relevance that a bunch of trye ... mathematical theories have no meaning, and so cannot have the 'same' ...
    (sci.logic)
  • Re: Skolem Again
    ... >David C. Ullrich wrote: ... >Then rewrite the three premisses so we agree P1 is true. ... But the meaning of a theory depends on which model we take it to ... when he saw a purported proof of a contradiction. ...
    (sci.logic)