35 ideas
| 4901 | Truth has to be correspondence to facts, and a match between relations of ideas and relations in the world [Perry] |
| Full Idea: I think knowledge and truth are a matter of correspondence to facts, despite all the energy spent showing the naïveté of this view. The connections of our ideas in our heads correspond to relations in the outside world. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §8.1) | |
| A reaction: Yes. Modern books offer the difficulties of defining 'correspondence', and finding an independent account of 'facts', as conclusive objections, but I say a brain is a truth machine, and it had better be useful. Indefinability doesn't nullify concepts. |
| 12452 | Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer] |
| Full Idea: Not to the mathematician, but to the psychologist, belongs the task of explaining why ...we are averse to so-called contradictory systems in which the negative as well as the positive of certain propositions are valid. | |
| From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.79) | |
| A reaction: Was the turning point of Graham Priest's life the day he read this sentence? I don't agree. I take the principle of non-contradiction to be a highly generalised observation of how the world works (and Russell agrees with me). |
| 15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
| Full Idea: From the intuitionist standpoint the dogma of the universal validity of the principle of excluded third in mathematics can only be considered as a phenomenon of history of civilization, like the rationality of pi or rotation of the sky about the earth. | |
| From: Luitzen E.J. Brouwer (works [1930]), quoted by Shaughan Lavine - Understanding the Infinite VI.2 | |
| A reaction: [Brouwer 1952:510-11] |
| 18119 | Mathematics is a mental activity which does not use language [Brouwer, by Bostock] |
| Full Idea: Brouwer made the rather extraordinary claim that mathematics is a mental activity which uses no language. | |
| From: report of Luitzen E.J. Brouwer (Mathematics, Science and Language [1928]) by David Bostock - Philosophy of Mathematics 7.1 | |
| A reaction: Since I take language to have far less of a role in thought than is commonly believed, I don't think this idea is absurd. I would say that we don't use language much when we are talking! |
| 18247 | Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro] |
| Full Idea: In his early writing, Brouwer took a real number to be a Cauchy sequence determined by a rule. Later he augmented rule-governed sequences with free-choice sequences, but even then the attitude is that Cauchy sequences are potential, not actual infinities. | |
| From: report of Luitzen E.J. Brouwer (works [1930]) by Stewart Shapiro - Philosophy of Mathematics 6.6 | |
| A reaction: This is the 'constructivist' view of numbers, as espoused by intuitionists like Brouwer. |
| 12451 | Scientific laws largely rest on the results of counting and measuring [Brouwer] |
| Full Idea: A large part of the natural laws introduced by science treat only of the mutual relations between the results of counting and measuring. | |
| From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.77) | |
| A reaction: His point, I take it, is that the higher reaches of numbers have lost touch with the original point of the system. I now see the whole issue as just depending on conventions about the agreed extension of the word 'number'. |
| 18118 | Brouwer regards the application of mathematics to the world as somehow 'wicked' [Brouwer, by Bostock] |
| Full Idea: Brouwer regards as somehow 'wicked' the idea that mathematics can be applied to a non-mental subject matter, the physical world, and that it might develop in response to the needs which that application reveals. | |
| From: report of Luitzen E.J. Brouwer (Mathematics, Science and Language [1928]) by David Bostock - Philosophy of Mathematics 7.1 | |
| A reaction: The idea is that mathematics only concerns creations of the human mind. It presumably has no more application than, say, noughts-and-crosses. |
| 12454 | Intuitionists only accept denumerable sets [Brouwer] |
| Full Idea: The intuitionist recognises only the existence of denumerable sets. | |
| From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.80) | |
| A reaction: That takes you up to omega, but not beyond, presumably because it then loses sight of the original intuition of 'bare two-oneness' (Idea 12453). I sympathise, but the word 'number' has shifted its meaning a lot these days. |
| 12453 | Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer] |
| Full Idea: Neo-intuitionism sees the falling apart of moments, reunited while remaining separated in time, as the fundamental phenomenon of human intellect, passing by abstracting to mathematical thinking, the intuition of bare two-oneness. | |
| From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.80) | |
| A reaction: [compressed] A famous and somewhat obscure idea. He goes on to say that this creates one and two, and all the finite ordinals. |
| 8728 | Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer] |
| Full Idea: Mathematics rigorously treated from the point of view of deducing theorems exclusively by means of introspective construction, is called intuitionistic mathematics. It deviates from classical mathematics, which believes in unknown truths. | |
| From: Luitzen E.J. Brouwer (Consciousness, Philosophy and Mathematics [1948]), quoted by Stewart Shapiro - Thinking About Mathematics 1.2 | |
| A reaction: Clearly intuitionist mathematics is a close cousin of logical positivism and the verification principle. This view would be anathema to Frege, because it is psychological. Personally I believe in the existence of unknown truths, big time! |
| 4885 | Identity is a very weak relation, which doesn't require interdefinability, or shared properties [Perry] |
| Full Idea: The truth of "a=b" doesn't require much of 'a' and 'b' other than that there is a single thing to which they both refer. They needn't be interdefinable, or have supervenient properties. In this sense, identity is a very weak relation. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §1.2) | |
| A reaction: Interesting. This is seeing the epistemological aspects of identity. Ontologically, identity must invoke Leibniz's Law, and is the ultimately powerful 'relation'. A given student, and the cause of a crop circle, may APPEAR to be quite different. |
| 12155 | Statements of 'relative identity' are really statements of resemblance [Perry] |
| Full Idea: Statements of 'relative' identity are not identity statements at all, but what I would prefer to call 'statements of resemblance' or 'common property staztements'. | |
| From: John Perry (The Same F [1970], n12) | |
| A reaction: This seems like a neat way to sweep the problem from our sight. There remains a nervous metaphysical problem, though, because something seems to be identical when we spot a resemblance. Even two shades of red have something identical in them. |
| 4899 | Possible worlds thinking has clarified the logic of modality, but is problematic in epistemology [Perry] |
| Full Idea: Using possible worlds to model truth-conditions of statements has led to considerable clarity about the logic of modality. Attempts to use the system for epistemic purposes, however, have been plagued by problems. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §8.1) | |
| A reaction: Presumably what lurks behind this is a distinction between what is logically or naturally possible, and what appears to be possible from the perspective of a conscious mind. Is there a possible world in which I can fly? |
| 4898 | Possible worlds are indices for a language, or concrete realities, or abstract possibilities [Perry] |
| Full Idea: Possible worlds can be thought of as indices for models of the language in question, or as concrete realities (David Lewis), or as abstract ways the world might be (Robert Stalnaker), or in various other ways. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §8.1) | |
| A reaction: I strongly favour the Stalnaker route here. Reducing great metaphysics to mere language I find abhorrent, and I suspect that Lewis was trapped by his commitment to strong empiricism. We must embrace abstractions into our ontology. |
| 12149 | Indexicals are a problem for beliefs being just subject-proposition relations [Perry] |
| Full Idea: The essential indexical is a problem for the view that belief is a relation between subjects and propositions conceived as bearers of truth and falsity. | |
| From: John Perry (The Problem of the Essential Indexical [1979], 'Intro') | |
| A reaction: My immediate reaction would be that it depends on how you conceive of 'propositions'. If they are objective, you have a problem. I take them to be subjective events in brains, and the indexical meaning to be evident within the proposition. |
| 4887 | We try to cause other things to occur by causing mental events to occur [Perry] |
| Full Idea: We try to cause other things to occur by causing mental events to occur. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §2.4) | |
| A reaction: A small and obvious, but important, point. Mental causation isn't just thoughts leading to physical happenings. Here Perry means that events can be designed to cause thoughts, such as a threatening letter. Not much room for epiphenomenalism here. |
| 4884 | Brain states must be in my head, and yet the pain seems to be in my hand [Perry] |
| Full Idea: The brain state will involve certain parts of the brain, whereas my feeling of pain seems to be located in my hand insofar as it has a bodily location. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §1.2) | |
| A reaction: This seems important to me. The brain is a ventriloquist. Perry implies that pain is quasi-disembodied, but it isn't, it is just experienced as IN the hand. Perhaps it is in the hand? Cutting the nerves loses contact with the pain. |
| 4888 | It seems plausible that many animals have experiences without knowing about them [Perry] |
| Full Idea: It seems quite plausible to me that many animals have experiences without knowing about them. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §3.1) | |
| A reaction: I agree, which makes us acknowledge levels of consciousness, which probably applies to human experience as well. The simplest idea is to distinguish between experiences which involve concepts, and those which don't. Animals sometimes appear surprised. |
| 4891 | If epiphenomenalism just says mental events are effects but not causes, it is consistent with physicalism [Perry] |
| Full Idea: Epiphenomenalism is usually considered to be a form of dualism, but if we define it as the doctrine that conscious events are effects but not causes, it appears to be consistent with physicalism. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §4.2) | |
| A reaction: Interesting. The theory was invented to put mind outside physics, and make the closure of physics possible. However, being capable of causing things seems to be a necessary condition for physical objects. An effect in one domain is a cause in another. |
| 4900 | Prior to Kripke, the mind-brain identity theory usually claimed that the identity was contingent [Perry] |
| Full Idea: Advocates of the mind-body identity theory typically claimed that identity between particular mental states and brain states was contingent, until Kripke argued persuasively that identity is always necessary. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §8.1) | |
| A reaction: Kripke wanted to argue against the identity theory, but what he seems to have done is reformulate it into a much more powerful version (involving necessary identity). |
| 4892 | If physicalists stick with identity (not supervenience), Martian pain will not be like ours [Perry] |
| Full Idea: The physicalist should not retreat to causal supervenience but should stick with identity. This means we will have to accept that a Martian and I (when in pain) are not in the same phenomenal state. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §4.3) | |
| A reaction: We naturally presume that frogs feel pain as we do, but many different phenomenal states could lead to the same behavioural end. Only an unpleasant feeling is required. A foul smell would do. Frogs could function with inverted qualia, too. |
| 16391 | Indexical thoughts are about themselves, and ascribe properties to themselves [Perry, by Recanati] |
| Full Idea: Perry's newer token-reflexive framework says indexical thoughts have token-reflexive content, that is, thoughts that are about themselves and ascribe properties to themselves. …They relate not to the subject, but to the occurrence of a thought. | |
| From: report of John Perry (Reference and Reflexivity [2001]) by François Recanati - Mental Files 18.1 | |
| A reaction: [There seem to be four indexical theories: this one, Recanati's, the earlier Kaplan-Perry one, and Lewis's] Is Perry thinking of second-level thoughts? 'I'm bored' has the content 'boredom' plus 'felt in here'? How does 'I'm bored' refer to 'I'm bored'? |
| 4889 | Although we may classify ideas by content, we individuate them differently, as their content can change [Perry] |
| Full Idea: Although we classify ideas by content for many purposes, we do not individuate them by content. The content of an idea can change. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §3.2) | |
| A reaction: As the compiler of this database, I find this very appealing. The mind works exactly like a database. I have a 'file' (Perry's word) marked "London", the content of which undergoes continual change. I am a database management system. |
| 4896 | The intension of an expression is a function from possible worlds to an appropriate extension [Perry] |
| Full Idea: In possible-worlds semantics, expressions have intensions, which are functions from possible worlds to appropriate extensions (names to individuals, n-place predicates to n-tuples, and sentences to truth values, built from parts). | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §8.1) | |
| A reaction: Interesting. Perry distinguishes 'referential' (or 'subject matter') content, which is prior to the link to extensions - a link which creates 'reflexive' content. He is keen that they should not become confused. True knowledge is 'situated'. |
| 10117 | Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman] |
| Full Idea: The concern of mathematical intuitionists was that the use of certain forms of inference generates, not contradiction, but unjustified assertions. | |
| From: report of Luitzen E.J. Brouwer (Intuitionism and Formalism [1912]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
| A reaction: This seems to be the real origin of the verificationist idea in the theory of meaning. It is a hugely revolutionary idea - that ideas are not only ruled out of court by contradiction, but that there are other criteria which should also be met. |
| 12151 | If we replace 'I' in sentences about me, they are different beliefs and explanations of behaviour [Perry] |
| Full Idea: If I leave a trail of sugar, and realise 'that I am making a mess', ...when we replace the word 'I' with other designations of me, we no longer have an explanation of my behaviour, or an attribution of the same belief, so it is an 'essential indexical'. | |
| From: John Perry (The Problem of the Essential Indexical [1979], 'Intro') | |
| A reaction: [compressed] A famous observation of Perry's, which leads him to challenge traditional accounts of belief and of propositions. I don't think I see a problem, if we have a thoroughly non-linguistic account of essentially unambiguous propositions. |
| 18412 | Indexicals individuate certain belief states, helping in explanation and prediction [Perry] |
| Full Idea: We use sentences with indexicals or relativized propositions to individuate belief states, for the purposes of classifying believers in ways useful for explanation and prediction. | |
| From: John Perry (The Problem of the Essential Indexical [1979], 'Obvious') | |
| A reaction: He goes on to apparently connect this with some sort of moral integrity involved in 'owning up' to the fact that the person in question is you (who has spilled the sugar etc.). |
| 4897 | A proposition is a set of possible worlds for which its intension delivers truth [Perry] |
| Full Idea: The proposition expressed by a sentence can be thought of as a set of possible worlds, the worlds for which its intension delivers truth. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §8.1) | |
| A reaction: It has always struck me as important to hang on to the concept of a 'proposition' (over and above sentences). This idea gives a metaphysics for the concept, and the 'language of thought' offers appropriate brain structures. A neat picture. |
| 12150 | Indexicals reveal big problems with the traditional idea of a proposition [Perry] |
| Full Idea: The problem of the essential indexical reveals that something is badly wrong with the traditional doctrine of propositions. | |
| From: John Perry (The Problem of the Essential Indexical [1979], 'Prob') | |
| A reaction: See the reaction to 12149. The traditional view of propositions, or at least Russell's view, seems to be that they are same as facts, which strikes me as daft. I take propositions to be brain events, probably expressed in mentalese. |
| 4890 | A sharp analytic/synthetic line can rarely be drawn, but some concepts are central to thought [Perry] |
| Full Idea: Although there is seldom a sharp analytic/synthetic distinction to be drawn in the case of our concepts, there are clearly things that are more and less central. | |
| From: John Perry (Knowledge, Possibility and Consciousness [2001], §3.2) | |
| A reaction: Most Americans seem enslaved to Quine on this one, so it is nice to see the obvious being stated for once. Human thought is an organic offshoot of the natural world. To think it is all arbitrary and changeable is human arrogance. |
| 20420 | The emotion expressed is non-conscious, but feels oppressive until expression relieves it [Collingwood] |
| Full Idea: The emotion expressed is one of whose nature the person feeling it is no longer conscious. As unexpressed, he feels it in a helpless and oppressed way; as expressed, the oppression has vanished. His mind is somehow lightened and eased. | |
| From: R.G. Collingwood (The Principles of Art [1938], p.110), quoted by Gary Kemp - Croce and Collingwood 1 | |
| A reaction: It sounds like the regular smoking of cigarettes. This is Collingwood answer the doubts I felt about Idea 20419. I would have thought the desire of Picasso was to create another painting, but not to express yet another new oppressive feeling. |
| 20421 | Art exists ideally, purely as experiences in the mind of the perceiver [Collingwood, by Kemp] |
| Full Idea: For Collingwood (and Croce) the work of art is an ideal object; …they are things that exist only in the mind, that is, only when one perceives. …The physical work exists to make this experience available. | |
| From: report of R.G. Collingwood (The Principles of Art [1938]) by Gary Kemp - Croce and Collingwood 2 | |
| A reaction: This means that the paintings in a gallery cease to be works of art when the gallery is shut, which sounds odd. I suppose 'work of art' is ambiguous, between the experience (right) and the facilitator of the experience (wrong). |
| 20406 | Art clarifies the artist's mind and feelings, thus leading to self-knowledge [Collingwood, by Davies,S] |
| Full Idea: Collingwood suggests art should be thought of not as product or artifact but as an act or process of expression through which the artist clarifies her initially vague emotions and states of mind. As such, it is a source of self-knowledge. | |
| From: report of R.G. Collingwood (The Principles of Art [1938], Ch.6) by Stephen Davies - The Philosophy of Art (2nd ed) 8.4 | |
| A reaction: I might believe this of writing novels, but not much else. |
| 15203 | Tense is essential for thought and action [Perry, by Le Poidevin] |
| Full Idea: Tense plays a crucial role in thought and action. | |
| From: report of John Perry (The Problem of the Essential Indexical [1979]) by Robin Le Poidevin - Past, Present and Future of Debate about Tense 3 a | |
| A reaction: This is important, because much of our metaphysics is dominated by a detached 'scientific' description of reality, which is given a rather passive character. If processes take centre stage, which they should, then our own processes are part of it. |
| 15204 | Actual tensed sentences cannot be tenseless, because they can cite their own context [Perry, by Le Poidevin] |
| Full Idea: In the new tenseless theory, no tensed token sentence can be equivalent to a tenseless token, because the former, unlike the latter, draws attention to the context in which it is tokened. | |
| From: report of John Perry (The Problem of the Essential Indexical [1979]) by Robin Le Poidevin - Past, Present and Future of Debate about Tense 3 a | |
| A reaction: So the problem about indexicals was worrying fans of the tenseless B-series view of time (and so it should). I'm inclined to translate sentences containing indexicals into their actual propositions, which tend to avoid them. 'Time/person of utterance'. |