15927
|
Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine]
|
|
Full Idea:
For mathematics, Weyl arrived (by 1917) at a satisfactory list of definition principles: negation, identification of variables, conjunction, disjunction, substitution of constants, and existential quantification over the domain.
|
|
From:
report of Hermann Weyl (works [1917]) by Shaughan Lavine - Understanding the Infinite V.3
|
|
A reaction:
Lavine summarises this as 'first-order logic with parameters'.
|
3159
|
Beliefs and desires aren't real; they are prediction techniques [Dennett]
|
|
Full Idea:
Intentional systems don't really have beliefs and desires, but one can explain and predict their behaviour by ascribing beliefs and desires to them. This strategy is pragmatic, not right or wrong.
|
|
From:
Daniel C. Dennett (Brainstorms:Essays on Mind and Psychology [1978], p.7?)
|
|
A reaction:
If the ascription of beliefs and desires explains behaviour, then that is good grounds for thinking they might be real features of the brain, and even if that is not so, they are real enough as abstractions from brain events, like the 'economic climate'.
|