comments
Respond
Comment on the article
Add a citation
Reply with an article
Start a new topic
Edit
Edit article
Delete article
Share
Invite
Link
Embed
Social media
Avatar
View
Graph
Explorer
Focus
Down
Load 1 level
Load 2 levels
Load 3 levels
Load 4 levels
Load all levels
All
Dagre
Focus
Down
Load 1 level
Load 2 levels
Load 3 levels
Load 4 level
Load all levels
All
Tree
SpaceTree
Focus
Expanding
Load 1 level
Load 2 levels
Load 3 levels
Down
All
Down
Radial
Focus
Expanding
Load 1 level
Load 2 levels
Load 3 levels
Down
All
Down
Box
Focus
Expanding
Down
Up
All
Down
Article ✓
Outline
Document
Down
All
Page
Canvas
Time
Timeline
Calendar
Updates
Subscribe to updates
Get updates
Past 24 hours
Past week
Past month
Past year
Pause updates
Contact us
John Lucas
Arguments advanced by John Lucas.
RELATED ARTICLES
Explain
⌅
Artificial Intelligence
Artificial Intelligence☜A collaboratively editable version of Robert Horns brilliant and pioneering debate map Can Computers Think?—exploring 50 years of philosophical argument about the possibility of computer thought.☜F1CEB7
⌃
Protagonists
Protagonists☜The contributions of over 300 protagonists can be explored via a surname search, or using the growing list developing here.☜D3B8AB
■
John Lucas
John Lucas☜Arguments advanced by John Lucas.☜D3B8AB
⇤
Consciousness requires a point of view
Consciousness requires a point of view☜A conscious machine could be built but only if built with a point of view—evidenced by: homeostatic behaviour; holistic assessment of context and context dependent responses; and ascribing consciousness to it provided offered some explanatory power.☜FFFACD
⇤
Gödel shows machines can't be fully conscious
Gödel shows machines can't be fully conscious☜A machine needs a consciousness-producing part—eg a Gödelizing operator—to understand its own Gödel sentence. Hence, machines can have partial consciousness at best; unlike humans, who dont need a special part to reflect on themselves.☜FFFACD
⇤
Gödel sentences sufficiently self-referential
Gödel sentences sufficiently self-referential☜Gödel sentences by themselves arent self-referential, but recognising their truth requires us to see them as self-referential. Machines lack this ability to see Gödel sentences as self-referential—so cant recognise the truth of Gödel sentences.☜FFFACD
⇤
Machines aren't self-critical
Machines aren't self-critical☜Consciousness should be construed in terms of the ability for self-critical thinking—which requires a concept of truth. Because machines lack an adequate concept of truth, as Webb admits, they cant think critically in the way the humans can.☜FFFACD
⇤
Lucas claims less than Wang's dilemma suggests
Lucas claims less than Wang's dilemma suggests☜Only those machines we know to be consistent are adequate candidates for models of the mind—and we can often tell this. Mechanists dont need to know the consistency of all machines, just that the ones presented to the mentalist are consistent.☜FFFACD
⇤
Good misunderstands the game
Good misunderstands the game☜The games played with the machines designer not the machine—and is about what the mechanist, not the machine, can do. It shows that for any given mechanist machine, the mentalist—who knows Gödel’s theorem—can show that hes not that machine.☜FFFACD
⇤
We don't need the entire Lucas arithmetic
We don't need the entire Lucas arithmetic☜A mentalist doesnt have to produce all of the Lucas arithmetic. Its sufficient that he produce enough of the Lucas arithmetic to answer the mechanist at a given step of the game.☜FFFACD
⇤
No: computers are limited by Gödel's theorems
No: computers are limited by Gödel's theorems☜Gödels theorem proves that a computer cant in principle operate with human understanding (see detailed text). Gödels incompleteness theorems are the Achilles heel of mechanism. John Lucas (1961).☜FFFACD
⇤
Un-Gödelizable machine wouldn't be a machine
Un-Gödelizable machine wouldn't be a machine☜Machines behave in a determinate manner according to definite rules. But any such determinate machine is susceptible to the Gödelization procedure because its behaviour can be formalised. Any machine that cant be Gödelized isnt really a machine.☜FFFACD
⇤
A dilemma about inductive machines
A dilemma about inductive machines☜Seeking to avoid the Gödelization problem by making inductive machines results in a dilemma (see detailed text). An inductive machine isnt an adequate model of the mind.☜FFFACD
⇤
Machine isn't capable of informal proof
Machine isn't capable of informal proof☜A machine isnt capable of informal proof in the human sense. No matter how informal a machines reasoning may appear to be, it will still be grounded in a formal system; so its informal proofs also formalisable, and subject to the Gödel procedure.☜FFFACD
⇤
A self-Gödelizing machine can still be out-Gödeled
A self-Gödelizing machine can still be out-Gödeled☜The Gödelizing operator—to be programmable—must be specified by some finite rule. But in that case, the Gödelizing operator is itself formalisable. The resulting system can be shown to contain a formula thats true but cant be proven in the system.☜FFFACD
⇤
A single person's understanding of Gödel is enough
A single person's understanding of Gödel is enough☜The power of reasoning demonstrated by a single person who understands Gödel theorem is sufficient to show that minds are different from machines.☜FFFACD
⇤
Benacerraf’s argument is inconsistent
Benacerraf’s argument is inconsistent☜Benacerraf cant consistently claim that no particular program represents me and at the same time that some program represents me.☜FFFACD
⇤
Lucas sure that he isn't a machine
Lucas sure that he isn't a machine☜The arguments mistakenly cast as a nondialectical proof sequence, giving an incorrect conclusion that the man is machine but cant tell which machine he is—the only way I can be sure of not being any particular machine is by not being one at all.☜FFFACD
⇤
There are overriding reasons to regard minds as consistent
There are overriding reasons to regard minds as consistent☜Huttons argument for the inconsistency of mind is flawed (see detailed text).☜FFFACD
⇤
An inconsistent machine can't model the mind
An inconsistent machine can't model the mind☜Although its true Gödel’s theorem doesnt apply to inconsistent machines, this matters not as inconsistent machines cant model the mind. Human minds are geared for consistency—they seek it and use it as a norm for judging which beliefs to accept.☜FFFACD
⇤
The mechanist's dilemma
The mechanist's dilemma☜The Lucas argument can be restated as a dilemma about consistency (see detailed text).☜FFFACD
⇥
John Lucas
John Lucas☜Arguments advanced by John Lucas.☜FFFACD
□
Alan Turing
Alan Turing☜Arguments advanced by Alan Turing.☜D3B8AB
□
Daniel Dennett
Daniel Dennett☜Arguments advanced by Daniel Dennett.☜D3B8AB
□
David Chalmers
David Chalmers☜Distinguished Professor of Philosophy and director of the Centre for Consciousness at ANU, and Professor of Philosophy and co-director of the Center for Mind, Brain, and Consciousness at NYU.☜D3B8AB
□
David Cole
David Cole☜Arguments advanced by David Cole.☜D3B8AB
□
David Rumelhart
David Rumelhart☜Arguments advanced by David Rumelhart.☜D3B8AB
□
Douglas Hofstadter
Douglas Hofstadter☜Arguments advanced by Douglas Hofstadter.☜D3B8AB
□
George Lakoff
George Lakoff☜Arguments advanced by George Lakoff.☜D3B8AB
□
Georges Rey
Georges Rey☜Arguments advanced by Georges Rey.☜D3B8AB
□
Herbert Simon
Herbert Simon☜Arguments advanced by Herbert Simon.☜D3B8AB
□
Hilary Putnam
Hilary Putnam☜Arguments advanced by Hilary Putnam.☜D3B8AB
□
Hubert Dreyfus
Hubert Dreyfus☜Arguments advanced by Hubert Dreyfus.☜D3B8AB
□
Hugh Loebner
Hugh Loebner☜Arguments advanced by Hugh Loebner.☜D3B8AB
□
Jack Copeland
Jack Copeland☜Arguments advanced by Jack Copeland.☜D3B8AB
□
James McClelland
James McClelland☜Arguments advanced by James McClelland.☜D3B8AB
□
James Moor
James Moor☜Arguments advanced by James Moor.☜D3B8AB
□
Jerry Fodor
Jerry Fodor☜Arguments advanced by Jerry Fodor.☜D3B8AB
□
John Searle
John Searle☜Arguments advanced by John Searle.☜D3B8AB
□
Joseph F. Rychlak
Joseph F. Rychlak☜Arguments advanced by Joseph F. Rychlak.☜D3B8AB
□
Keith Gunderson
Keith Gunderson☜Arguments advanced by Keith Gunderson.☜D3B8AB
□
L.J. Landau
L.J. Landau☜☜D3B8AB
□
Ned Block
Ned Block☜Arguments advanced by Ned Block.☜D3B8AB
□
Robert French
Robert French☜Arguments advanced by Robert French.☜D3B8AB
□
Roger Penrose
Roger Penrose☜Arguments advanced by Roger Penrose.☜D3B8AB
□
Selmer Bringsjord
Selmer Bringsjord☜Arguments advanced by Selmer Bringsjord.☜D3B8AB
□
Stephen Kosslyn
Stephen Kosslyn☜Arguments advanced by Stephen Kosslyn.☜D3B8AB
□
Zenon Pylyshyn
Zenon Pylyshyn☜Arguments advanced by Zenon Pylyshyn.☜D3B8AB
□
Graph of this discussion
Graph of this discussion☜Click this to see the whole debate, excluding comments, in graphical form☜dcdcdc
Enter the title of your article
Enter a short (max 500 characters) summation of your article
Click the button to enter task scheduling information
Open
Enter the main body of your article
Prefer more work space? Try the
big editor
Enter task details
Message text
Select assignee(s)
Due date (click calendar)
RadDatePicker
RadDatePicker
Open the calendar popup.
Calendar
Title and navigation
Title and navigation
<<
<
November 2024
>
<<
November 2024
S
M
T
W
T
F
S
44
27
28
29
30
31
1
2
45
3
4
5
6
7
8
9
46
10
11
12
13
14
15
16
47
17
18
19
20
21
22
23
48
24
25
26
27
28
29
30
49
1
2
3
4
5
6
7
Reminder
No reminder
1 day before due
2 days before due
3 days before due
1 week before due
Ready to post
Copy to text
Enter
Cancel
Task assignment(s) have been emailed and cannot now be altered
Lock
Cancel
Save
Comment graphing options
Choose comments:
Comment only
Whole thread
All comments
Choose location:
To a new map
To this map
New map options
Select map ontology
Options
Standard (default) ontology
College debate ontology
Hypothesis ontology
Influence diagram ontology
Story ontology
Graph to private map
Cancel
Proceed
+Comments (
0
)
- Comments
Add a comment
Newest first
Oldest first
Show threads
+Citations (
0
)
- Citations
Add new citation
List by:
Citerank
Map
+About
- About
Entered by:-
David Price
NodeID:
#2778
Node type:
Protagonist
Entry date (GMT):
7/20/2007 6:12:00 PM
Last edit date (GMT):
7/20/2007 6:12:00 PM
Show other editors
Incoming cross-relations:
1
Outgoing cross-relations:
18
Average rating:
0
by
0
users
Enter comment
Select article text to quote
Cancel
Enter
welcome text
First name
Last name
Email
Skip
Join
x
Select file to upload