120 ideas
| 15357 | Philosophy is the most general intellectual discipline [Horsten] |
| Full Idea: Philosophy is the most general intellectual discipline. | |
| From: Leon Horsten (The Tarskian Turn [2011], 05.1) | |
| A reaction: Very simple, but exactly how I see the subject. It is continuous with the sciences, and tries to give an account of nature, but operating at an extreme level of generality. It must respect the findings of science, but offer bold interpretations. |
| 15352 | A definition should allow the defined term to be eliminated [Horsten] |
| Full Idea: A definition allows a defined term to be eliminated in every context in which it appears. | |
| From: Leon Horsten (The Tarskian Turn [2011], 04.2) | |
| A reaction: To do that, a definition had better be incredibly comprehensive, so that no nice nuance of the original term is thrown out. |
| 10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
| Full Idea: Definitions are called 'predicative', and are considered sound, if they only refer to entities which exist independently from the defined collection. | |
| From: Leon Horsten (Philosophy of Mathematics [2007], §2.4) |
| 15324 | Semantic theories of truth seek models; axiomatic (syntactic) theories seek logical principles [Horsten] |
| Full Idea: There are semantical theories of truth, concerned with models for languages containing the truth predicate, and axiomatic (or syntactic) theories, interested in basic logical principles governing the concept of truth. | |
| From: Leon Horsten (The Tarskian Turn [2011], 01.1) | |
| A reaction: This is the map of contemporary debates, which seem now to have given up talking about 'correspondence', 'coherence' etc. |
| 15323 | Truth is a property, because the truth predicate has an extension [Horsten] |
| Full Idea: I take truth to be a property because the truth predicate has an extension - the collection of all true sentences - and this collection does not (unlike the 'extension' of 'exists') consist of everything, or even of all sentences. | |
| From: Leon Horsten (The Tarskian Turn [2011], 01.1) | |
| A reaction: He concedes that it may be an 'uninteresting' property. My problem is always that I am unconvinced that truth is tied to sentences. I can make perfect sense of animal thoughts being right or wrong. Extension of mental propositions? |
| 15374 | Truth has no 'nature', but we should try to describe its behaviour in inferences [Horsten] |
| Full Idea: We should not aim at describing the nature of truth because there is no such thing. Rather, we should aim at describing the inferential behaviour of truth. | |
| From: Leon Horsten (The Tarskian Turn [2011], 10.2.3) |
| 15348 | Propositions have sentence-like structures, so it matters little which bears the truth [Horsten] |
| Full Idea: It makes little difference, at least in extensional contexts, whether the truth bearers are propositions or sentences (or assertions). Even if the bearers are propositions rather than sentences, propositions are structured rather like sentences. | |
| From: Leon Horsten (The Tarskian Turn [2011], 02.4) | |
| A reaction: The 'extensional' context means you are only talking about the things that are referred to, and not about the way this is expressed. I prefer propositions, but this is an interesting point. |
| 15333 | Modern correspondence is said to be with the facts, not with true propositions [Horsten] |
| Full Idea: Modern correspondence theorists no longer take things to correspond to true propositions; they consider facts to be the truthmakers of propositions. | |
| From: Leon Horsten (The Tarskian Turn [2011], 02.1) | |
| A reaction: If we then define facts as the way certain things are, independently from our thinking about it, at least we seem to be avoiding circularity. Not much point in correspondence accounts if you are not a robust realist (like me). [14,000th idea, 23/4/12!] |
| 15337 | The correspondence 'theory' is too vague - about both 'correspondence' and 'facts' [Horsten] |
| Full Idea: The principle difficulty of the correspondence theory of truth is its vagueness. It is too vague to be called a theory until more information is given about what is meant by the terms 'correspondence' and 'fact'. Facts can involve a heavy ontology. | |
| From: Leon Horsten (The Tarskian Turn [2011], 02.1) | |
| A reaction: I see nothing here to make me give up my commitment to the correspondence view of truth, though it sounds as if I will have to give up the word 'theory' in that context. Truth is so obviously about thought fitting reality that there is nothing to discuss. |
| 15334 | The coherence theory allows multiple coherent wholes, which could contradict one another [Horsten] |
| Full Idea: The coherence theory seems too liberal. It seems there can be more than one systematic whole which, while being internally coherent, contradict each other, and thus cannot all be true. Coherence is a necessary but not sufficient condition for truth. | |
| From: Leon Horsten (The Tarskian Turn [2011], 02.1) | |
| A reaction: This is a modern post-Tarski axiomatic truth theorist making very short work indeed of the coherence theory of truth. I take Horsten to be correct. |
| 15336 | The pragmatic theory of truth is relative; useful for group A can be useless for group B [Horsten] |
| Full Idea: The pragmatic theory is unsatisfactory because usefulness is a relative notion. One theory can be useful to group A while being thoroughly impractical for group B. This would make the theory both truth and false. | |
| From: Leon Horsten (The Tarskian Turn [2011], 02.1) | |
| A reaction: This objection, along with the obvious fact that certain falsehoods can be very useful, would seem to rule pragmatism out as a theory of truth. It is, in fact, an abandonment of truth. |
| 15354 | Tarski's hierarchy lacks uniform truth, and depends on contingent factors [Horsten] |
| Full Idea: According to the Tarskian hierarchical conception, truth is not a uniform notion. ...Also Kripke has emphasised that the level of a token of the truth predicate can depend on contingent factors, such as what else has been said by a speaker. | |
| From: Leon Horsten (The Tarskian Turn [2011], 04.5) |
| 15340 | Tarski Bi-conditional: if you'll assert φ you'll assert φ-is-true - and also vice versa [Horsten] |
| Full Idea: The axiom schema 'Sentence "phi;" is true iff φ' is the (unrestricted) Tarski-Biconditional, and is motivated by the thought that if you are willing to assume or outright assert that φ, you will assert that φ is true - and also vice versa. | |
| From: Leon Horsten (The Tarskian Turn [2011], 02.2) | |
| A reaction: Very helpful! Most people are just bewildered by the Tarski bi-conditional ('"Snow is white"...), but this formulation nicely shows its minimal character while showing that it really does say something. It says what truths and truth-claims commit you to. |
| 15345 | Semantic theories have a regress problem in describing truth in the languages for the models [Horsten] |
| Full Idea: Semantic theories give a class of models with a truth predicate, ...but Tarski taught us that this needs a more encompassing framework than its language...so how is the semantics of the framework expressed? The model route has a regress. | |
| From: Leon Horsten (The Tarskian Turn [2011], 02.3) | |
| A reaction: [compressed] So this regress problem, of endless theories of truth going up the hierarchy, is Horsten's main reason for opting for axiomatic theories, which he then tries to strengthen, so that they are not quite so deflated. |
| 15373 | Axiomatic approaches avoid limiting definitions to avoid the truth predicate, and limited sizes of models [Horsten] |
| Full Idea: An adequate definition of truth can only be given for the fragment of our language that does not contain the truth predicate. A model can never encompass the whole of the domain of discourse of our language. The axiomatic approach avoids these problems. | |
| From: Leon Horsten (The Tarskian Turn [2011], 10.1) |
| 15346 | Axiomatic approaches to truth avoid the regress problem of semantic theories [Horsten] |
| Full Idea: The axiomatic approach to truth does not suffer from the regress problem. | |
| From: Leon Horsten (The Tarskian Turn [2011], 02.3) | |
| A reaction: See Idea 15345 for the regress problem. The difficulty then seems to be that axiomatic approaches lack expressive power, so the hunt is on for a set of axioms which will do a decent job. Fun work, if you can cope with it. |
| 15371 | An axiomatic theory needs to be of maximal strength, while being natural and sound [Horsten] |
| Full Idea: The challenge is to find the arithmetically strongest axiomatical truth theory that is both natural and truth-theoretically sound. | |
| From: Leon Horsten (The Tarskian Turn [2011], 07.7) |
| 15332 | 'Reflexive' truth theories allow iterations (it is T that it is T that p) [Horsten] |
| Full Idea: A theory of truth is 'reflexive' if it allows us to prove truth-iterations ("It is true that it is true that so-and-so"). | |
| From: Leon Horsten (The Tarskian Turn [2011], 01.4) |
| 15361 | A good theory of truth must be compositional (as well as deriving biconditionals) [Horsten] |
| Full Idea: Deriving many Tarski-biconditionals is not a sufficient condition for being a good theory of truth. A good theory of truth must in addition do justice to the compositional nature of truth. | |
| From: Leon Horsten (The Tarskian Turn [2011], 06.1) |
| 15350 | The Naďve Theory takes the bi-conditionals as axioms, but it is inconsistent, and allows the Liar [Horsten] |
| Full Idea: The Naďve Theory of Truth collects all the Tarski bi-conditionals of a language and takes them as axioms. But no consistent theory extending Peano arithmetic can prove all of them. It is inconsistent, and even formalises the liar paradox. | |
| From: Leon Horsten (The Tarskian Turn [2011], 03.5.2) | |
| A reaction: [compressed] This looks to me like the account of truth that Davidson was working with, since he just seemed to be compiling bi-conditionals for tricky cases. (Wrong! He championed the Compositional Theory, Horsten p.71) |
| 15351 | Axiomatic theories take truth as primitive, and propose some laws of truth as axioms [Horsten] |
| Full Idea: In the axiomatic approach we take the truth predicate to express an irreducible, primitive notion. The meaning of the truth predicate is partially explicated by proposing certain laws of truth as basic principles, as axioms. | |
| From: Leon Horsten (The Tarskian Turn [2011], 04.2) | |
| A reaction: Judging by Horsten's book, this is a rather fruitful line of enquiry, but it still seems like a bit of a defeat to take truth as 'primitive'. Presumably you could add some vague notion of correspondence as the background picture. |
| 15367 | By adding truth to Peano Arithmetic we increase its power, so truth has mathematical content! [Horsten] |
| Full Idea: It is surprising that just by adding to Peano Arithmetic principles concerning the notion of truth, we increase the mathematical strength of PA. So, contrary to expectations, the 'philosophical' notion of truth has real mathematical content. | |
| From: Leon Horsten (The Tarskian Turn [2011], 06.4) | |
| A reaction: Horsten invites us to be really boggled by this. All of this is in the Compositional Theory TC. It enables a proof of the consistency of arithmetic (but still won't escape Gödel's Second). |
| 15330 | Friedman-Sheard theory keeps classical logic and aims for maximum strength [Horsten] |
| Full Idea: The Friedman-Sheard theory of truth holds onto classical logic and tries to construct a theory that is as strong as possible. | |
| From: Leon Horsten (The Tarskian Turn [2011], 01.4) |
| 15331 | Kripke-Feferman has truth gaps, instead of classical logic, and aims for maximum strength [Horsten] |
| Full Idea: If we abandon classical logic in favour of truth-value gaps and try to strengthen the theory, this leads to the Kripke-Feferman theory of truth, and variants of it. | |
| From: Leon Horsten (The Tarskian Turn [2011], 01.4) |
| 15325 | Inferential deflationism says truth has no essence because no unrestricted logic governs the concept [Horsten] |
| Full Idea: According to 'inferential deflationism', truth is a concept without a nature or an essence. This is betrayed by the fact that there are no unrestricted logical laws that govern the concept of truth. | |
| From: Leon Horsten (The Tarskian Turn [2011], 01.1) |
| 15344 | Deflationism skips definitions and models, and offers just accounts of basic laws of truth [Horsten] |
| Full Idea: Contemporary deflationism about truth does not attempt to define truth, and does not rely on models containing the truth predicate. Instead they are interpretations of axiomatic theories of truth, containing only basic laws of truth. | |
| From: Leon Horsten (The Tarskian Turn [2011], 02.3) |
| 15356 | Deflationism concerns the nature and role of truth, but not its laws [Horsten] |
| Full Idea: Deflationism is not a theory of the laws of truth. It is a view on the nature and role of the concept of truth. | |
| From: Leon Horsten (The Tarskian Turn [2011], 05 Intro) |
| 15368 | This deflationary account says truth has a role in generality, and in inference [Horsten] |
| Full Idea: On the conception of deflationism developed in this book, the prime positive role of the truth predicate is to serve as a device for expressing generalities, and an inferential tool. | |
| From: Leon Horsten (The Tarskian Turn [2011], 07.5) |
| 15358 | Deflationism says truth isn't a topic on its own - it just concerns what is true [Horsten] |
| Full Idea: Deflationism says the theory of truth does not have a substantial domain of its own. The domain of the theory of truth consists of the bearers of truth. | |
| From: Leon Horsten (The Tarskian Turn [2011], 05.1) | |
| A reaction: The immediate thought is that truth also concerns falsehoods, which would be inexplicable without it. If physics just concerns the physical, does that mean that physics lacks its own 'domain'? Generalising about the truths is a topic. |
| 15359 | Deflation: instead of asserting a sentence, we can treat it as an object with the truth-property [Horsten] |
| Full Idea: The Deflationary view just says that instead of asserting a sentence, we can turn the sentence into an object and assert that this object has the property of truth. | |
| From: Leon Horsten (The Tarskian Turn [2011], 05.2.2) | |
| A reaction: That seems to leave a big question hanging, which concerns the nature of the property that is being attributed to this object. Quine 1970:10-13 says it is just a 'device'. Surely you can rest content with that as an account of truth? |
| 15329 | Nonclassical may accept T/F but deny applicability, or it may deny just T or F as well [Horsten] |
| Full Idea: Some nonclassical logic stays close to classical, assuming two mutually exclusive truth values T and F, but some sentences fail to have one. Others have further truth values such as 'half truth', or dialethists allow some T and F at the same time. | |
| From: Leon Horsten (The Tarskian Turn [2011], 01.2) | |
| A reaction: I take that to say that the first lot accept bivalence but reject excluded middle (allowing 'truth value gaps'), while the second lot reject both. Bivalence gives the values available, and excluded middle says what has them. |
| 15326 | Doubt is thrown on classical logic by the way it so easily produces the liar paradox [Horsten] |
| Full Idea: Aside from logic, so little is needed to generate the liar paradox that one wonders whether the laws of classical logic are unrestrictedly valid after all. (Many theories of truth have therefore been formulated in nonclassical logic.) | |
| From: Leon Horsten (The Tarskian Turn [2011], 01.2) | |
| A reaction: Kripke uses Strong Kleene logic for his theory. The implication is that debates discussed by Horsten actually have the status of classical logic at stake, as well as the nature of truth. |
| 15341 | Deduction Theorem: ψ only derivable from φ iff φ→ψ are axioms [Horsten] |
| Full Idea: The Deduction Theorem says ψ is derivable in classical predicate logic from ψ iff the sentence φ→ψ is a theorem of classical logic. Hence inferring φ to ψ is truth-preserving iff the axiom scheme φ→ψ is provable. | |
| From: Leon Horsten (The Tarskian Turn [2011], 02.2) | |
| A reaction: Horsten offers this to show that the Tarski bi-conditionals can themselves be justified, and not just the rule of inference involved. Apparently you can only derive something if you first announce that you have the ability to derive it. Odd. |
| 15328 | A theory is 'non-conservative' if it facilitates new mathematical proofs [Horsten] |
| Full Idea: A theory is 'non-conservative' if it allows us to prove mathematical facts that go beyond what the background mathematical theory can prove on its own. | |
| From: Leon Horsten (The Tarskian Turn [2011], 01.4) | |
| A reaction: This is an instance of the relationship with mathematics being used as the test case for explorations of logic. It is a standard research method, because it is so precise, but should not be mistaken for the last word about a theory. |
| 3137 | Varieties of singular terms are used to designate token particulars [Rey] |
| Full Idea: We designate token particulars with singular terms, such as: proper names, numerals, definite descriptions, demonstratives, pronouns or variables. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 1.1.1) |
| 15349 | It is easier to imagine truth-value gaps (for the Liar, say) than for truth-value gluts (both T and F) [Horsten] |
| Full Idea: It is easier to imagine what it is like for a sentence to lack a truth value than what it is like for a sentence to be both truth and false. So I am grudgingly willing to entertain the possibility that certain sentences (like the Liar) lack a truth value. | |
| From: Leon Horsten (The Tarskian Turn [2011], 02.5) | |
| A reaction: Fans of truth value gluts are dialethists like Graham Priest. I'm with Horsten on this one. But in what way can a sentence be meaningful if it lacks a truth-value? He mentions unfulfilled presuppositions and indicative conditionals as gappy. |
| 15366 | Satisfaction is a primitive notion, and very liable to semantical paradoxes [Horsten] |
| Full Idea: Satisfaction is a more primitive notion than truth, and it is even more susceptible to semantical paradoxes than the truth predicate. | |
| From: Leon Horsten (The Tarskian Turn [2011], 06.3) | |
| A reaction: The Liar is the best known paradox here. Tarski bases his account of truth on this primitive notion, so Horsten is pointing out the difficulties. |
| 10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
| Full Idea: If a theory has, up to isomorphism, exactly one model, then it is said to be 'categorical'. | |
| From: Leon Horsten (Philosophy of Mathematics [2007], §5.2) |
| 15353 | The first incompleteness theorem means that consistency does not entail soundness [Horsten] |
| Full Idea: It is a lesson of the first incompleteness theorem that consistency does not entail soundness. If we add the negation of the gödel sentence for PA as an extra axiom to PA, the result is consistent. This negation is false, so the theory is unsound. | |
| From: Leon Horsten (The Tarskian Turn [2011], 04.3) |
| 15355 | Strengthened Liar: 'this sentence is not true in any context' - in no context can this be evaluated [Horsten] |
| Full Idea: The Strengthened Liar sentence says 'this sentence is not true in any context'. It is not hard to figure out that there is no context in which the sentence can be coherently evaluated. | |
| From: Leon Horsten (The Tarskian Turn [2011], 04.6) |
| 15364 | English expressions are denumerably infinite, but reals are nondenumerable, so many are unnameable [Horsten] |
| Full Idea: The number of English expressions is denumerably infinite. But Cantor's theorem can be used to show that there are nondenumerably many real numbers. So not every real number has a (simple or complex name in English). | |
| From: Leon Horsten (The Tarskian Turn [2011], 06.3) | |
| A reaction: This really bothers me. Are we supposed to be committed to the existence of entities which are beyond our powers of naming? How precise must naming be? If I say 'pick a random real number', might that potentially name all of them? |
| 10885 | Computer proofs don't provide explanations [Horsten] |
| Full Idea: Mathematicians are uncomfortable with computerised proofs because a 'good' proof should do more than convince us that a certain statement is true. It should also explain why the statement in question holds. | |
| From: Leon Horsten (Philosophy of Mathematics [2007], §5.3) |
| 10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
| Full Idea: The notion of an ordinal number is a set-theoretic, and hence non-arithmetical, concept. | |
| From: Leon Horsten (Philosophy of Mathematics [2007], §2.3) |
| 15360 | ZFC showed that the concept of set is mathematical, not logical, because of its existence claims [Horsten] |
| Full Idea: One of the strengths of ZFC is that it shows that the concept of set is a mathematical concept. Many originally took it to be a logical concept. But ZFC makes mind-boggling existence claims, which should not follow if it was a logical concept. | |
| From: Leon Horsten (The Tarskian Turn [2011], 05.2.3) | |
| A reaction: This suggests that set theory is not just a way of expressing mathematics (see Benacerraf 1965), but that some aspect of mathematics has been revealed by it - maybe even its essential nature. |
| 15369 | Set theory is substantial over first-order arithmetic, because it enables new proofs [Horsten] |
| Full Idea: The nonconservativeness of set theory over first-order arithmetic has done much to establish set theory as a substantial theory indeed. | |
| From: Leon Horsten (The Tarskian Turn [2011], 07.5) | |
| A reaction: Horsten goes on to point out the price paid, which is the whole new ontology which has to be added to the arithmetic. Who cares? It's all fictions anyway! |
| 3143 | Physics requires the existence of properties, and also the abstract objects of arithmetic [Rey] |
| Full Idea: Physics is committed to arithmetic, which seems committed to abstract objects such as numbers, and its causal explanations seem to appeal to properties, such as mass and charge. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 2.3) |
| 15370 | Predicativism says mathematical definitions must not include the thing being defined [Horsten] |
| Full Idea: Predicativism has it that a mathematical object (such as a set of numbers) cannot be defined by quantifying over a collection that includes that same mathematical object. To do so would be a violation of the vicious circle principle. | |
| From: Leon Horsten (The Tarskian Turn [2011], 07.7) | |
| A reaction: In other words, when you define an object you are obliged to predicate something new, and not just recycle the stuff you already have. |
| 15338 | We may believe in atomic facts, but surely not complex disjunctive ones? [Horsten] |
| Full Idea: While positive and perhaps even negative atomic facts may be unproblematic, it seems excessive to commit oneself to the existence of logically complex facts such as disjunctive facts. | |
| From: Leon Horsten (The Tarskian Turn [2011], 02.1) | |
| A reaction: Presumably it is hard to deny that very complex statements involving massive disjunctions can be true or false. But why does commitment to real facts have to involve a huge ontology? The ontology is just the ingredients of the fact, isn't it? |
| 15363 | In the supervaluationist account, disjunctions are not determined by their disjuncts [Horsten] |
| Full Idea: If 'Britain is large' and 'Italy is large' lack truth values, then so must 'Britain or Italy is large' - so on the supervaluationist account the truth value of a disjunction is not determined by the truth values of its disjuncts. | |
| From: Leon Horsten (The Tarskian Turn [2011], 06.2) | |
| A reaction: Compare Idea 15362 to get the full picture here. |
| 15362 | If 'Italy is large' lacks truth, so must 'Italy is not large'; but classical logic says it's large or it isn't [Horsten] |
| Full Idea: If 'Italy is a large country' lacks a truth value, then so too, presumably, does 'Italy is not a large country'. But 'Italy is or is not a large country' is true, on the supervaluationist account, because it is a truth of classical propositional logic. | |
| From: Leon Horsten (The Tarskian Turn [2011], 06.2) | |
| A reaction: See also Idea 15363. He cites Fine 1975. |
| 3145 | The Indiscernibility of Identicals is a truism; but the Identity of Indiscernibles depends on possible identical worlds [Rey] |
| Full Idea: Leibniz's Law, the indiscernibility of identicals, is a truism which should not be confused with the more controversial identity of indiscernibles, which depends on the possibility of perfectly replicated universes. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 2.4) |
| 15372 | Some claim that indicative conditionals are believed by people, even though they are not actually held true [Horsten] |
| Full Idea: In the debate about doxastic attitudes towards indicative conditional sentences, one finds philosophers who claim that conditionals can be believed even though they have no truth value (and thus are not true). | |
| From: Leon Horsten (The Tarskian Turn [2011], 09.3) |
| 20298 | The traditional a priori is justified without experience; post-Quine it became unrevisable by experience [Rey] |
| Full Idea: Where Kant and others had traditionally assumed that the a priori concerned beliefs 'justifiable independently of experience', Quine and others of the time came to regard it as beliefs 'unrevisable in the light of experience'. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 3.7) | |
| A reaction: That throws a rather striking light on Quine's project. Of course, if the a priori is also necessary, then it has to be unrevisable. But is a bachelor necessarily an unmarried man? It is not necessary that 'bachelor' has a fixed meaning. |
| 3172 | Empiricism says experience is both origin and justification of all knowledge [Rey] |
| Full Idea: Two of the key claims of empiricism are that all knowledge must be justified on the basis of experience, and that all knowledge in fact originates in experience. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 4.3) |
| 3166 | Animal learning is separate from their behaviour [Rey] |
| Full Idea: Rats and monkeys exhibit 'latent learning' (learning just for fun) which is later beneficial. They learn with no consequences, and then can't learn when the good consequences are available. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 4.1.1) | |
| A reaction: This looks like a bit of a setback for naturalised epistemology and cognitive science, if learning can't be brought within a stimulus-response framework. |
| 3232 | Abduction could have true data and a false conclusion, and may include data not originally mentioned [Rey] |
| Full Idea: Abduction moves from some data to a 'best explanation'. It is not deduction because the data could be true but the conclusion false, and it is not induction because the conclusion may involve data not mentioned in the premises. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], p.322) |
| 3128 | It's not at all clear that explanation needs to stop anywhere [Rey] |
| Full Idea: It's not at all clear that explanation needs to stop anywhere. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], Int.2) |
| 3136 | The three theories are reduction, dualism, eliminativism [Rey] |
| Full Idea: There are three main views regarding the ontology of mental phenomena: reductionism, dualism and eliminativism. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 1.1) | |
| A reaction: It is precisely this picture which is rejected by Davidson and co, who want something called 'property dualism', with a unique relationship which is labelled 'supervenient'. Unfortunately there is no analogy for it. Not even beauty and a statue. |
| 4741 | A very powerful computer might have its operations restricted by the addition of consciousness [Clark,T] |
| Full Idea: It seems possible that if a powerful multi-tasking computer was then given consciousness, this might restrict its operations instead of enhancing them. | |
| From: Tom Clark (talk [2003]), quoted by PG - Db (ideas) | |
| A reaction: A nice thought, because it challenges the usual view - that consciousness brings huge intellectual liberty to a mind, and that a mind without it is necessarily restricted. Maybe consciousness is a bottleneck. |
| 3141 | Is consciousness 40Hz oscillations in layers 5 and 6 of the visual cortex? [Rey] |
| Full Idea: Crick and Koch claim that visual consciousness is correlated with a 40Hz oscillation in layers five and six of the primary visual cortex. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 2.1) | |
| A reaction: Not many people seem to have been enthused by their proposal. The target is the NCC (Neural Correlate of Consciousness), but we would only accept that location if the 'oscillations' seemed in some way special. |
| 3148 | Dualist privacy is seen as too deep for even telepathy to reach [Rey] |
| Full Idea: The privacy that is a serious issue for the dualist is a peculiarly epistemic privacy that not even telepathy or brain fusions would seem to overcome. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 2.5.4) | |
| A reaction: This is a key idea in the traditional defence of dualism. I'm inclined to think that we are faced with deep privacy not because the mind is so hidden, but because the observer is trapped in NOT being the thing observed. In that sense, rocks are private. |
| 3164 | Intentional explanations are always circular [Rey] |
| Full Idea: There can seem to be no escape from the "intentional circle" - the use of one intentional idiom always seems to presuppose the use of another. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 3.3) | |
| A reaction: The best explanation of this is Conceptual Dualism (Papineau: Thinking about Consciousness). We are locked into dualist concepts because of our long-term ignorance about the brain. |
| 3138 | Arithmetic and unconscious attitudes have no qualia [Rey] |
| Full Idea: The contents of thoughts, beliefs and desires seem quite distinct from qualia. Arithmetic has no particular feeling attached to it, and Freud showed that many propositional attitudes have no feeling at all, as they are unconscious. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 1.1.2) | |
| A reaction: I don't think we should rule out 'pre-conscious' qualia. The fact that advanced human mental capacities like arithmetic have thinned out their qualia doesn't count against qualia being essential to normal mental life. |
| 3142 | Why qualia, and why this particular quale? [Rey] |
| Full Idea: If we allow as a brute fact that certain mental states possess conscious qualitative content, there is still the problem of explaining why they possess one content rather than another (why does this stimulus look RED?). | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 2.1) | |
| A reaction: This strikes me as the Really Hard Question. The Hard Question is merely 'why are creatures aware of their thoughts?' Personally I don't rule out finding a physical answer to the RHQ, and it is certainly not grounds for drifting into neo-dualism. |
| 3224 | If qualia have no function, their attachment to thoughts is accidental [Rey] |
| Full Idea: If qualia are non-functionally defined objects, then their attachment to their role in my thought would seem to be metaphysically accidental. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 11.4.2) | |
| A reaction: A rock at sea can cause a shipwreck without being defined as 'a shipwrecker'. It is, of course, tautological that if qualia have a 'role' in my thoughts, they must have causal powers, but 'function' is a much trickier concept. |
| 3227 | Are qualia a type of propositional attitude? [Rey] |
| Full Idea: Qualitative experience is just a particular species of propositional attitude. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 11.6.1) | |
| A reaction: This sounds very implausible. If I hear a loud and baffling noise, is a proposition instantly involved? When a subtle change of colour occurs in the sky at sunset, is that 'propositional'? Do slugs formulate propositions when they taste garlic? |
| 3226 | Are qualia irrelevant to explaining the mind? [Rey] |
| Full Idea: Phenomenal objects and properties are no more needed to explain the workings of our mind than are angels needed to explain the motion of the planets. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 11.6.1) | |
| A reaction: The question would be whether 'phenomenal properties' contained unique information, which could therefore influence behaviour. It is also a matter of exactly what you are trying to explain. |
| 3229 | If colour fits a cone mapping hue, brightness and saturation, rotating the cone could give spectrum inversion [Rey] |
| Full Idea: If colour can be modelled as a cone, with points mapped by hue, brightness and saturation, then a rotation could be isomorphic with the hues switched, so we may all experience different hues. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 11.7.1) | |
| A reaction: from Levine |
| 3223 | Self-consciousness may just be nested intentionality [Rey] |
| Full Idea: It is tempting to think that if a system has concepts for nested intentionality and first-person reflection, it has all that's needed for self-consciousness. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 11.2.2) | |
| A reaction: If there nothing more than nested intentionality in complex minds like ours, the top level of the nesting would still have a special status. And if the top level always seemed to stay the same while the lower levels changed, I'd probably call it the Self |
| 3162 | Experiments prove that people are often unaware of their motives [Rey] |
| Full Idea: Experiments have shown (Nisbett and Wilson 1977) that people's introspective knowledge is a lot less reliable than they suppose. People are sensitive to but entirely unaware of many factors that influence their social behaviour. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 3.2.2) | |
| A reaction: This type of observation rests on an overemphasis on the conscious mind. We are not conscious of liver events, or of deep buried brain events, both of which motivate us. We should only expect introspection to reveal what is fully conscious. |
| 3163 | Brain damage makes the unreliability of introspection obvious [Rey] |
| Full Idea: The most dramatic phenomena undermining the absolute reliability of introspection are those of blindsight and "anosognosia" (unawareness of one's own brain damage). | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 3.2.2) | |
| A reaction: It might depend on what you expected introspection to reveal. If you only expected it to tell you about your consciousness, it would be unreasonable to expect knowledge of blindsight information by introspection. |
| 3195 | If reason could be explained in computational terms, there would be no need for the concept of 'free will' [Rey] |
| Full Idea: If a computational account of reasoning processes could be given, then there is no need to settle the issue of "free will", as reason could get along without it. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 8.6) |
| 3196 | Free will isn't evidence against a theory of thought if there is no evidence for free will [Rey] |
| Full Idea: We don't need arguments to show that if there were free will then computational accounts of the mind would be inadequate; what is needed is good evidence that there actually exists such free will in the first place. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 8.6) |
| 3180 | Maybe behaviourists should define mental states as a group [Rey] |
| Full Idea: Defining most mental states seems to requiring citing other mental states - but perhaps behaviourists can define them all simultaneously | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 5.3) | |
| A reaction: This is an interesting strategy for trying to avoid the well known circularity of attempting to define mental states in behavioural terms. Behaviourism won't go away. |
| 3165 | Behaviourism is eliminative, or reductionist, or methodological [Rey] |
| Full Idea: There are three different views concerning behaviourism - the 'radical' view, which aims at eliminativism, the 'analytical' view, which is a reductionist enterprise, and the 'methodological' view, somewhere between the two. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 4) | |
| A reaction: The first appears to be ontological, the second about relationships between areas of our language, and the third epistemological. You could attempt language reduction because we can only know behaviour, because that's all there is. |
| 3167 | Animals don't just respond to stimuli, they experiment [Rey] |
| Full Idea: Animals exhibit 'spontaneous alteration' in their behaviour (e.g. varying the route to the food), or improvisation (finding short cuts instead of following training). They use mental maps, or dead reckoning, not just conditioned responses. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 4.1.4) | |
| A reaction: If we can't even get a decent behaviourist account of animal behaviour, presumably the chances for humans look even less good. 'Black box' behaviourism, rather than the eliminativist version, might allow internal mechanisms to modify responses. |
| 3173 | How are stimuli and responses 'similar'? [Rey] |
| Full Idea: Radical behaviourists say animals emit "similar" responses to "similar" reinforcements, but that is empty without specifying in what respect there is a similarity. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 4.3) | |
| A reaction: The point is that when you try to specify the similarity you are (supposedly) forced to use mental language to make the distinctions, thus contradicting behaviourism. It is not, though, self-evidently impossible to give a behaviourist specification. |
| 3179 | Behaviour is too contingent and irrelevant to be the mind [Rey] |
| Full Idea: The two main anti-behaviourist intuitions are that mind and behaviour only relate contingently, and that for much mental life (thinking, emotion) the resulting behaviour seems unimportant. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 5.3) | |
| A reaction: Attractive intuitions, but not unquestionable. Since no two states of mind are ever fully identical, we can never test whether the resulting behaviour arises contingently or necessarily. The second point underestimates the physicality of mental life. |
| 3127 | Dualism and physicalism explain nothing, and don't suggest any research [Rey] |
| Full Idea: Neither dualism nor physicalism provides much serious explanation of any mental phenomena, or even much in the way of a program of research. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], Int.2) | |
| A reaction: I'm not sure if people who demand an "explanation of mental phenomena" are quite clear about what it is they want. God might just say "Mental phenomena are just brain events from the brain's point of view". |
| 3186 | If a normal person lacked a brain, would you say they had no mind? [Rey] |
| Full Idea: If many otherwise ordinary people turned out to have skulls which were empty or filled with oatmeal, would that mean that they didn't have minds? | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 7.1.4) | |
| A reaction: That's a John Locke sort of question, implying that 'persons' are logically independent of their implementation. Personally I would search for a radio receiver, because oatmeal is implausible as a thinker. |
| 3188 | Homuncular functionalism (e.g. Freud) could be based on simpler mechanical processes [Rey] |
| Full Idea: So-called 'homuncular functionalism' (such as Freud's or Plato's internal struggles of the soul) needn't lead to an infinite regress if eventually the homunculi become so stupid they could be replaced by a machine. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 7.2.2) | |
| A reaction: from Fodor |
| 3216 | Is the room functionally the same as a Chinese speaker? [Rey] |
| Full Idea: The question for a computational-representation theory about the Chinese Room is: is what is happening inside the room functionally equivalent to what is happening inside a normal Chinese speaker? | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 10.2.1) | |
| A reaction: Certainly the Room lacks morality ('how can I torture my sister?'). It won't spot connections between recent questions. It won't ask itself questions. It will take years to spot absurd questions. |
| 3220 | Searle is guilty of the fallacy of division - attributing a property of the whole to a part [Rey] |
| Full Idea: You should no more attribute understanding of Chinese to this one part of the system than you should ascribe the properties of the entire British Empire to Queen Victoria. This is the fallacy of division. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 10.2.3) | |
| A reaction: This very nicely pinpoints what is wrong with the Chinese Room argument (nice analogy, too). If you carefully introspect what is involved when you 'understand' something, it is immensely complex, though it feels instant and simple. |
| 3206 | One computer program could either play chess or fight a war [Rey] |
| Full Idea: It is always possible to provide incompatible interpretations of formal theories, so that a computer could use the same program one day to play chess, the next to fight a war. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 9.1.3) | |
| A reaction: This seems to present a huge gulf between human chess players (who 'understand' what they are doing) and machines, but I don't accept it. Giving the machine cameras and multi-level software would fix it. |
| 3140 | If you explain water as H2O, you have reduced water, but not eliminated it [Rey] |
| Full Idea: Reduction is not the same as elimination; if chemists reduce water to H2O, or biologists reduce life to a complex chemical process, they have not shown that they don't exist. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 1.2.1) | |
| A reaction: Depends what you mean by 'elimination'. It is important to be clear whether you are eliminating something from life, or from strict philosophical ontology. Ontologists never mention mountains. |
| 3134 | Human behaviour can show law-like regularity, which eliminativism can't explain [Rey] |
| Full Idea: There is clear evidence against eliminative materialism in the law-like correlations found among millions of answers in standardised school tests, for which it can give no explanation. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], Int.3) | |
| A reaction: Not very persuasive. If neural networks got involved in complex competitions with one another, you would expect them to evolve similar tactics. |
| 3200 | Pattern recognition is puzzling for computation, but makes sense for connectionism [Rey] |
| Full Idea: Connectionism is a way of capturing the holism of pattern recognition, as stressed by many critics of computational theories of mind. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 8.8) | |
| A reaction: I am drawn to the idea that arithmetic derives from pattern recognition, and the latter is basic to all minds (a kind of instant unthinking induction), so this seems to me a win for connectionism. |
| 3201 | Connectionism explains well speed of perception and 'graceful degradation' [Rey] |
| Full Idea: Connectionism is better than other AI strategies at capturing the extraordinary swiftness of perception, and of degrading in a 'graceful' way. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 8.8) | |
| A reaction: A good theory had better capture the extraordinary swiftness of perception. Also the swiftness of recognition. Compare seeing a surprising old friend in a crowd, and recognising the person you are looking for. |
| 3202 | Connectionism explains irrationality (such as the Gamblers' Fallacy) quite well [Rey] |
| Full Idea: Connectionism offers promising accounts of irrational behaviour, such as people's bias towards positive instances, and their tendency to fall for the gamblers' fallacy. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 8.8) | |
| A reaction: That is strong support, because the chances of a computational robot having such tendencies is virtually nil, but all humans have the biases referred to (even philosophers). |
| 3199 | Connectionism assigns numbers to nodes and branches, and plots the outcomes [Rey] |
| Full Idea: In connectionism, each node is given an activation level, and each branch a weight, according to possible degree of effect. This results in 'excitatory' and 'inhibitory' connections. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 8.8) | |
| A reaction: Whether such a system could ever be 'conscious' is not the only interesting question. What could such a system do? Could it ever be good at philosophy? |
| 3150 | Can identity explain reason, free will, non-extension, intentionality, subjectivity, experience? [Rey] |
| Full Idea: Eight properties of mind are problems for the identity theory: rationality, free will, spatiality, privacy, intentionality, essential mentality, subjective content, and the explanatory gap. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 2.7) | |
| A reaction: The list could go on: poetry, creativity, love, normativity... Actually, these are problems for every theory. |
| 3129 | Physicalism offers something called "complexity" instead of mental substance [Rey] |
| Full Idea: In physicalism the "ghost in the machine" is merely replaced by the "complexity" in it. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], Int.2) | |
| A reaction: This is nonsense. No one thinks that mere complexity generates consciousness. The assumption is that we would begin to understand the mind only if we could somehow map the connections of the brain. |
| 3139 | Some attitudes are information (belief), others motivate (hatred) [Rey] |
| Full Idea: Propositional attitudes divide into two broad types: neutral informational ones (belief, suspicion, imagining), and directional ones which motivate an agent (preference, desire, hate). | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 1.1.2) | |
| A reaction: Since suspicions are motivating, and preferences are informational, this is not a very sharp distinction. An alternative would be to say that there is one type, and sometimes the will gets involved. |
| 3171 | Children speak 90% good grammar [Rey] |
| Full Idea: Ninety percent of most young children's utterances are grammatical. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 4.2.4) | |
| A reaction: This is good evidence for some sort of innate element in the grammar of language. But the accurate grammar is not in a particular language. Good communication must be the driving force in all this. |
| 3174 | Good grammar can't come simply from stimuli [Rey] |
| Full Idea: Grammatical sensitivity is in no way a physical property of the stimulus, and we can't imagine how to build a device which would produce grammatical structures in response to the environment. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 4.3) | |
| A reaction: You could try to program it with a set of (say) Aristotelian categories, and mechanisms to sort the environment accordingly. It then has to query its database, in response to practical needs. A doddle. |
| 3213 | Animals may also use a language of thought [Rey] |
| Full Idea: The language of thought need not only be confined to creatures which speak a natural language. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 10.1.1) | |
| A reaction: I take it as axiomatic that our brains are no different in principles and fundamental mechanics from the lowliest of creatures. See Idea 7509. |
| 3170 | We train children in truth, not in grammar [Rey] |
| Full Idea: Very young children have been shown (Brown and Halon 1970) to be 'reinforced' not for their grammar but for the informational content of what they say. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 4.2.1) | |
| A reaction: This is what you would expect. It doesn't follow that the grammar comes from innate mechanisms, because the pressure to get the information right could impose increasing accuracy in grammar. |
| 3215 | Images can't replace computation, as they need it [Rey] |
| Full Idea: Processing of images and mental models seems to require, and therefore is unlikely to replace, computation and representation. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 10.1.2) | |
| A reaction: A good point. If you are a fan of mental imagery, you still have to explain how we can hold an image, or recall it, or manipulate it. I always, I don't know why, wince at the thought of 'computations' among neurons. |
| 3194 | CRTT is good on deduction, but not so hot on induction, abduction and practical reason [Rey] |
| Full Idea: The computational/representational theory of thought has given a good account of deduction, but mechanical theories of induction, abduction and practical reason are needed in order to make a machine which could reason. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 8.5) | |
| A reaction: This is the best analysis of rationality that I have found (four components: deduction, induction, abduction, practical reason). I can think of nothing to add, and certainly none of these should be omitted. |
| 3147 | Problem-solving clearly involves manipulating images [Rey] |
| Full Idea: Recent experiments (Shepard 1982) suggest people have imagistic representations they inspect when solving problems. In comparing two rotated images, the time for comparison varies with the angle of rotation. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 2.5.3) | |
| A reaction: This doesn't prove that they are slowly rotating something. It may just be harder to make the leap to the new shape, when it is 'further away'. Picturing a 20-sided figure, we don't add sides one-by-one. |
| 3175 | Animals map things over time as well as over space [Rey] |
| Full Idea: To map things like food over time, animals must somehow represent events as having temporal properties, and somehow store those representations ready for later use. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 4.3) | |
| A reaction: If the mechanisms for doing this are basic, then so is the ontology. Objects must be categorised, properties spotted, time-spans correlated etc. 'Represent' needs to be sharp to be useful. |
| 3207 | Simple externalism is that the meaning just is the object [Rey] |
| Full Idea: The oldest version of the externalist theory of meaning is the Fido/Fido theory, according to which the meaning of a representation is the object for which it stands. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 9.2) | |
| A reaction: Modern baptismal theories of reference seem to have taken us back to this, for distinct individuals such as Aristotle, or natural kinds like gold. What, though, does 'Fido' mean to me? Asthma! |
| 3176 | Anything bears a family resemblance to a game, but obviously not anything counts as one [Rey] |
| Full Idea: Anything bears a family resemblance to a game, but obviously not anything counts as one. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 4.3) |
| 3181 | A one hour gap in time might be indirectly verified, but then almost anything could be [Rey] |
| Full Idea: You couldn't directly verify that the whole universe had stopped for one hour, but you might indirectly verify it (by prediction) - but then almost anything could be very indirectly verified. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 5.4) | |
| A reaction: Does indirect verification include time travel? Or perfect knowledge of quantum theory, and total knowledge of quantum states. Laplace's Hypothesis. |
| 3204 | The meaning of "and" may be its use, but not of "animal" [Rey] |
| Full Idea: The view that the meaning of language of thought expressions is based on their conceptual role (derived from Wittgenstein's idea of meaning as use), is most plausible for the logical connectives like "and", but implausible for, say, "animal". | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 9.1.2) | |
| A reaction: It was the logical connectives that got LW started on this track. If it doesn't work for 'animal' then does that mean we need two different theories? |
| 3205 | Semantic holism means new evidence for a belief changes the belief, and we can't agree on concepts [Rey] |
| Full Idea: Semantic holism is a desperate measure. Belief content would be continually changed by new beliefs, evidence for a belief would change the target belief, and no two people would ever agree on concepts. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 9.1.2) | |
| A reaction: It is far more plausible to say language is a bit on the holistic side. Total holism is mad. |
| 20300 | Externalist synonymy is there being a correct link to the same external phenomena [Rey] |
| Full Idea: Externalists are typically committed to counting expressions as 'synonymous' if they happen to be linked in the right way to the same external phenomena, even if a thinker couldn't realise that they are by reflection alone. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 4.2) | |
| A reaction: [He cites Fodor] Externalists always try to link to concrete things in the world, but most of our talk is full of generalities, abstractions and fiction which don't link directly to anything. |
| 3209 | Causal theories of reference (by 'dubbing') don't eliminate meanings in the heads of dubbers [Rey] |
| Full Idea: Causal histories may have some role to play in a theory of reference, but the chain of causation requires internal characterisations at each stage, and the original dubber had one thing rather than another in mind when dubbing. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 9.2.1) | |
| A reaction: The modern view of direct reference seems to prefer social context rather than a complete causal chain. |
| 3210 | If meaning and reference are based on causation, then virtually everything has meaning [Rey] |
| Full Idea: What is special about meaning? If meaning and reference are just the result of causal chains, almost everything will mean something, since almost everything is reliably caused by something. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 9.2.2) | |
| A reaction: It would be insane to think that all causal events produced meanings. It is probably better not to mention causation at all when discussing meaning. |
| 3149 | Referential Opacity says truth is lost when you substitute one referring term ('mother') for another ('Jocasta') [Rey] |
| Full Idea: Referential Opacity says you cannot preserve truth if you substitute one referring term for another ('Oedipus desires Jocasta', 'Oedipus desires his mother'). | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 2.5.6) | |
| A reaction: ….That is, in the context of expressing a propositional attitude. 'Oedipus desired his mother' was true. This idea requires some ignorance on the part of the person expressing the thought. |
| 15347 | A theory of syntax can be based on Peano arithmetic, thanks to the translation by Gödel coding [Horsten] |
| Full Idea: A notion of formal provability can be articulated in Peano arithmetic. ..This is surprisingly 'linguistic' rather than mathematical, but the key is in the Gödel coding. ..Hence we use Peano arithmetic as a theory of syntax. | |
| From: Leon Horsten (The Tarskian Turn [2011], 02.4) | |
| A reaction: This is the explanation of why issues in formal semantics end up being studied in systems based on formal arithmetic. And I had thought it was just because they were geeks who dream in numbers, and can't speak language properly... |
| 20294 | 'Married' does not 'contain' its symmetry, nor 'bigger than' its transitivity [Rey] |
| Full Idea: If Bob is married to Sue, then Sue is married to Bob. If x bigger than y, and y bigger than z, x is bigger than z. The symmetry of 'marriage' or transitivity of 'bigger than' are not obviously 'contained in' the corresponding thoughts. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 1.2) | |
| A reaction: [Also 'if something is red, then it is coloured'] This is a Fregean criticism of Kant. It is not so much that Kant was wrong, as that the concept of analyticity is seen to have a much wider application than Kant realised. Especially in mathematics. |
| 20293 | Analytic judgements can't be explained by contradiction, since that is what is assumed [Rey] |
| Full Idea: Rejecting 'a married bachelor' as contradictory would seem to have no justification other than the claim that 'All bachelors are unmarried is analytic, and so cannot serve to justify or explain that claim. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 1.2) | |
| A reaction: Rey is discussing Frege's objection to Kant (who tried to prove the necessity of analytic judgements, on the basis of the denial being a contradiction). |
| 20297 | Analytic statements are undeniable (because of meaning), rather than unrevisable [Rey] |
| Full Idea: What's peculiar about the analytic is that denying it seem unintelligible. Far from unrevisability explaining analyticity, it seems to be analyticitiy that explains unrevisability; we only balk at denying unmarried bachelors because that's what it means! | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 3.7) | |
| A reaction: This is a criticism of Quine, who attacked analyticity when it is understood as unrevisability. Obviously we could revise the concept of 'bachelor', if our marriage customs changed a lot. Rey seems right here. |
| 20301 | The meaning properties of a term are those which explain how the term is typically used [Rey] |
| Full Idea: It may be that the meaning properties of a term are the ones that play a basic explanatory role with regard to the use of the term generally, the ones in virtue ultimately of which a term is used with that meaning. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 4.3) | |
| A reaction: [He cites Devitt 1996, 2002, and Horwich 1998, 2005) I spring to philosophical life whenever I see the word 'explanatory', because that is the point of the whole game. They are pointing to the essence of the concept (which is explanatory, say I). |
| 20302 | An intrinsic language faculty may fix what is meaningful (as well as grammatical) [Rey] |
| Full Idea: The existence of a separate language faculty may be an odd but psychologically real fact about us, and it may thereby supply a real basis for commitments about not only what is or is not grammatical, but about what is a matter of natural language meaning. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 4.4) | |
| A reaction: This is the Chomskyan view of analytic sentences. An example from Chomsky (1977:142) is the semantic relationships of persuade, intend and believe. It's hard to see how the secret faculty on its own could do the job. Consensus is needed. |
| 20303 | Research throws doubts on the claimed intuitions which support analyticity [Rey] |
| Full Idea: The movement of 'experimental philosophy' has pointed to evidence of considerable malleability of subject's 'intuitions' with regard to the standard kinds of thought experiments on which defenses of analytic claims typically rely. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 4.4) | |
| A reaction: See Cappelen's interesting attack on the idea that philosophy relies on intuitions, and hence his attack on experimental philosophy. Our consensus on ordinary English usage hardly qualifies as somewhat vague 'intuitions'. |
| 20299 | If we claim direct insight to what is analytic, how do we know it is not sub-consciously empirical? [Rey] |
| Full Idea: How in the end are we going to distinguish claims or the analytic as 'rational insight', 'primitive compulsion', inferential practice or folk belief from merely some deeply held empirical conviction, indeed, from mere dogma. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 4.1) | |
| A reaction: This is Rey's summary of the persisting Quinean challenge to analytic truths, in the face of a set of replies, summarised by the various phrases here. So do we reject a dogma of empiricism, by asserting dogmatic empiricism? |
| 3169 | A simple chaining device can't build sentences containing 'either..or', or 'if..then' [Rey] |
| Full Idea: Bifurcated logical particles (either/or, if/then) are in principle beyond the power of any local chaining device to build sentences. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 4.2.1) | |
| A reaction: True in natural languages, but not in formal ones? If P then either if-Q-then-R or if-S-then-T. Is that chaining? If rain, then if light then puddles, or if heavy then floods. Hm. |
| 3221 | Our desires become important when we have desires about desires [Rey] |
| Full Idea: What gives people's desires certain moral importance is the fact that they have desires about those desires. | |
| From: Georges Rey (Contemporary Philosophy of Mind [1997], 11.1) | |
| A reaction: from Frankfurt |