Path: utzoo!censor!geac!torsqnt!news-server.csri.toronto.edu!cs.utexas.edu!tut.cis.ohio-state.edu!ucbvax!information-systems.east-anglia.ac.uk!jrk
From: jrk@information-systems.east-anglia.ac.uk (Richard Kennaway CMP RA)
Newsgroups: comp.ai.philosophy
Subject: Re: Minds, machines, and Godel
Message-ID: <15303.9101181150@s4.sys.uea.ac.uk>
Date: 18 Jan 91 11:50:22 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Lines: 11

In <1991Jan18.012527.20104@news.cs.indiana.edu> chalmers@iuvax.cs.indiana.edu (David Q. Chalmers) writes:
>OK, now we're homing in on something closer to the point.  Judgments of the
>truth of Godel sentences are parasitical on judgments of the consistency
>of the given system.  And judgments of consistency may be hard.  We can judge
>that Principia Mathematica is consistent fairly straightforwardly

Eh?  How?

--
Richard Kennaway          SYS, University of East Anglia, Norwich, U.K.
Internet:  jrk@sys.uea.ac.uk		uucp:  ...mcsun!ukc!uea-sys!jrk