From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!utgpu!jupiter!morgan.ucs.mun.ca!nstn.ns.ca!aunro!ukma!wupost!uunet!mcsun!uknet!edcastle!aiai!jeff Sun Dec  1 13:05:33 EST 1991
Article 1640 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca sci.philosophy.tech:1154 comp.ai.philosophy:1640
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!utgpu!jupiter!morgan.ucs.mun.ca!nstn.ns.ca!aunro!ukma!wupost!uunet!mcsun!uknet!edcastle!aiai!jeff
>From: jeff@aiai.ed.ac.uk (Jeff Dalton)
Newsgroups: sci.philosophy.tech,comp.ai.philosophy
Subject: Re: Searle (was Re: Daniel Dennett (was Re: Comme
Message-ID: <5708@skye.ed.ac.uk>
Date: 26 Nov 91 19:49:49 GMT
References: <JMC.91Nov24194704@SAIL.Stanford.EDU> <5689@skye.ed.ac.uk> <YAMAUCHI.91Nov25203631@indigo.cs.rochester.edu> <1991Nov26.022632.22656@ucsu.Colorado.EDU>
Reply-To: jeff@aiai.UUCP (Jeff Dalton)
Organization: AIAI, University of Edinburgh, Scotland
Lines: 11

In article <1991Nov26.022632.22656@ucsu.Colorado.EDU> boroson@spot.Colorado.EDU (BOROSON BRAM S) writes:
>My first problem with the above argument is that ~FLT can be added to
>the axioms of number theory just as consistently as FLT can.  The
>situation is analagous to Euclidean vs. non-Euclidean geometry:
>neither FLT nor ~FLT can be considered "true" because neither leads
>to a contradiction.

It's more or less like this:  The godel sentence is true in
some models of the axioms (of arithmetic) and false in others.
In particular, it's true in the standard model.  It's false
in (some) bizarre, nonstandard models.


