3192
|
Basic logic can be done by syntax, with no semantics
[Gödel, by Rey]
|
|
Full Idea:
Gödel in his completeness theorem for first-order logic showed that a certain set of syntactically specifiable rules was adequate to capture all first-order valid arguments. No semantics (e.g. reference, truth, validity) was necessary.
|
|
From:
report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by Georges Rey - Contemporary Philosophy of Mind 8.2
|
|
A reaction:
This implies that a logic machine is possible, but we shouldn't raise our hopes for proper rationality. Validity can be shown for purely algebraic arguments, but rationality requires truth as well as validity, and that needs propositions and semantics.
|
5495
|
Instances of pain are physical tokens, but the nature of pain is more abstract
[Putnam, by Lycan]
|
|
Full Idea:
In machine functionalism, pain tokens (individual instances of pain) are identical with particular neurophysiological states, but pain itself, the kind, universal, or 'type', can be identified only with something more abstract.
|
|
From:
report of Hilary Putnam (The Mental Life of Some Machines [1967]) by William Lycan - Introduction - Ontology p.6
|
|
A reaction:
This is where the "what is it like?" question seems important. Pain doesn't seem like a physical object, or an abstract idea. Personally I think the former is more likely to be correct than the latter. Causation by pain is not like causation by gravity.
|
2331
|
Functionalism says robots and people are the same at one level of abstraction
[Putnam]
|
|
Full Idea:
My "functionalism" insisted that a robot, a human being, a silicon creature and a disembodied spirit could all work much the same way when described at the relevant level of abstraction, and it is wrong to think the essence of mind is hardware.
|
|
From:
Hilary Putnam (Representation and Reality [1988], Int p.xii)
|
|
A reaction:
This is the key point about the theory - that it is an abstract theory of mind, saying nothing about substances. It drew, however, some misguided criticisms suggesting silly implementations.
|
5496
|
Functionalism has three linked levels: physical, functional, and mental
[Lycan]
|
|
Full Idea:
Functionalism has three distinct levels of description: a neurophysiological description, a functional description (relative to a program which the brain is realising), and it may have a further mental description.
|
|
From:
William Lycan (Introduction - Ontology [1999], p.6)
|
|
A reaction:
I have always thought that the 'levels of description' idea was very helpful in describing the mind/brain. I feel certain that we are dealing with a single thing, so this is the only way we can account for the diverse ways in which we discuss it.
|