14 ideas
17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
Full Idea: There are many coherent stopping points in the hierarchy of increasingly strong mathematical systems, starting with strict finitism, and moving up through predicativism to the higher reaches of set theory. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], Intro) |
17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
Full Idea: Roughly speaking, 'reflection principles' assert that anything true in V [the set hierarchy] falls short of characterising V in that it is true within some earlier level. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 2.1) |
14181 | Validity is where either the situation or the interpretation blocks true premises and false conclusion [Etchemendy, by Read] |
Full Idea: The Representational account of validity says an argument is valid if there is no situation where the premises are true and the conclusion false. The Interpretation account says the premises are true and conclusion false under no interpretations. | |
From: report of John Etchemendy (The Concept of Logical Consequence [1999]) by Stephen Read - Formal and Material Consequence 'Inval' | |
A reaction: My immediate instinct is to want logic to be about situations, rather than interpretations. Situations are more about thought, where interpretations are more about language. I think our account of logic should have some applicability to animals. |
14180 | Etchemendy says fix the situation and vary the interpretation, or fix interpretations with varying situations [Etchemendy, by Read] |
Full Idea: In Etchemendy's Interpretational Semantics (perhaps better called 'Substitutional') we keep the situation fixed and vary the interpretation; in Representational Semantics ('Modal'?) we keep interpretations fixed but consider varying situations. | |
From: report of John Etchemendy (The Concept of Logical Consequence [1999]) by Stephen Read - Formal and Material Consequence 'Inval' | |
A reaction: [compressed] These are semantic strategies for interpreting logic, so they are two ways you might go about assessing an argument. |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
Full Idea: There is at present no solid argument to the effect that a given statement is absolutely undecidable. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 5.3) |
17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
Full Idea: Some of the standard large cardinals (in order of increasing (logical) strength) are: inaccessible, Mahlo, weakly compact, indescribable, Erdös, measurable, strong, Wodin, supercompact, huge etc. (...and ineffable). | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) | |
A reaction: [I don't understand how cardinals can have 'logical strength', but I pass it on anyway] |
17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
Full Idea: To the extent that we are justified in accepting Peano Arithmetic we are justified in accepting its consistency, and so we know how to expand the axiom system so as to overcome the limitation [of Gödel's Second Theorem]. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.1) | |
A reaction: Each expansion brings a limitation, but then you can expand again. |
17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
Full Idea: The arithmetical instances of undecidability that arise at one stage of the hierarchy are settled at the next. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) |
2986 | Belief is the most important propositional attitude [Lyons] |
Full Idea: Belief might be accorded the status of core or chief propositional attitude. | |
From: William Lyons (Approaches to Intentionality [1995], p.126) |
2978 | Consciousness no longer seems essential to intentionality [Lyons] |
Full Idea: In contrast with Brentano and Husserl, consciousness or attention are no longer seen as essential to intentionality. | |
From: William Lyons (Approaches to Intentionality [1995], Intro) | |
A reaction: This strikes me as being correct, although there seem to be plenty of current philosophers who do not accept it (e.g. Searle). I think philosophy of mind may be stuck in the dark ages if thinkers don't accept this proposal. |
2984 | Perceptions could give us information without symbolic representation [Lyons] |
Full Idea: It is possible to give an account of concept-formation without a language of thought or representation, based on perception, which in the brain seems to involve information without representation. | |
From: William Lyons (Approaches to Intentionality [1995], p.66) | |
A reaction: This claim strikes me as being a little too confident. One might say that a concept IS a representation. However, the perception of several horses might 'blur' together to form a generalised horse. |
2979 | Propositional attitudes require representation [Lyons] |
Full Idea: How else, other than via some form of representational system, could a human organism contain information as a content over which it could operate or 'attitudinise'? | |
From: William Lyons (Approaches to Intentionality [1995], Intro) | |
A reaction: Depends what you mean by 'representational'. In its vaguest sense, this is just a tautology - content must be held in the mind in some form or other, but that tells us nothing. |
2987 | Folk psychology works badly for alien cultures [Lyons] |
Full Idea: It is not easy to employ our folk psychology in the understanding of persons in a very different culture. | |
From: William Lyons (Approaches to Intentionality [1995], p.241) | |
A reaction: This strikes me as a highly significant problem for the friends of folk psychology. It also breaks down in extreme situations, or with mental illness. It seems closer to culture than to brain structure. |
2977 | All thinking has content [Lyons] |
Full Idea: I cannot say I am simply thinking but not thinking about anything. | |
From: William Lyons (Approaches to Intentionality [1995], Intro) | |
A reaction: Hard to disagree. However, I can plausibly reply to 'What are you thinking?' with 'Nothing', if my consciousness is freewheeling. Utterly disconnected content isn't really what we call 'thinking'. |