45 ideas
| 3035 | Dialectic involves conversations with short questions and brief answers [Diog. Laertius] |
| Full Idea: Dialectic is when men converse by putting short questions and giving brief answers to those who question them. | |
| From: Diogenes Laertius (Lives of Eminent Philosophers [c.250], 3.1.52) |
| 12223 | It is a fallacy to explain the obscure with the even more obscure [Hale/Wright] |
| Full Idea: The fallacy of 'ad obscurum per obscurius' is to explain the obscure by appeal to what is more obscure. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §3) | |
| A reaction: Not strictly a fallacy, so much as an example of inadequate explanation, along with circularity and infinite regresses. |
| 12230 | Singular terms refer if they make certain atomic statements true [Hale/Wright] |
| Full Idea: Anyone should agree that a justification for regarding a singular term as having objectual reference is provided just as soon as one has justification for regarding as true certain atomic statements in which it functions as a singular term. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: The meat of this idea is hidden in the word 'certain'. See Idea 10314 for Hale's explanation. Without that, the proposal strikes me as absurd. |
| 10631 | If 'x is heterological' iff it does not apply to itself, then 'heterological' is heterological if it isn't heterological [Hale/Wright] |
| Full Idea: If we stipulate that 'x is heterological' iff it does not apply to itself, we speedily arrive at the contradiction that 'heterological' is itself heterological just in case it is not. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2) |
| 10624 | The incompletability of formal arithmetic reveals that logic also cannot be completely characterized [Hale/Wright] |
| Full Idea: The incompletability of formal arithmetic reveals, not arithmetical truths which are not truths of logic, but that logical truth likewise defies complete deductive characterization. ...Gödel's result has no specific bearing on the logicist project. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], §2 n5) | |
| A reaction: This is the key defence against the claim that Gödel's First Theorem demolished logicism. |
| 8784 | Neo-logicism founds arithmetic on Hume's Principle along with second-order logic [Hale/Wright] |
| Full Idea: The result of joining Hume's Principle to second-order logic is a consistent system which is a foundation for arithmetic, in the sense that all the fundamental laws of arithmetic are derivable within it as theorems. This seems a vindication of logicism. | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 1) | |
| A reaction: The controversial part seems to be second-order logic, which Quine (for example) vigorously challenged. The contention against most attempts to improve Frege's logicism is that they thereby cease to be properly logical. |
| 8787 | The Julius Caesar problem asks for a criterion for the concept of a 'number' [Hale/Wright] |
| Full Idea: The Julius Caesar problem is the problem of supplying a criterion of application for 'number', and thereby setting it up as the concept of a genuine sort of object. (Why is Julius Caesar not a number?) | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 3) | |
| A reaction: One response would be to deny that numbers are objects. Another would be to derive numbers from their application in counting objects, rather than the other way round. I suspect that the problem only real bothers platonists. Serves them right. |
| 10629 | If structures are relative, this undermines truth-value and objectivity [Hale/Wright] |
| Full Idea: The relativization of ontology to theory in structuralism can't avoid carrying with it a relativization of truth-value, which would compromise the objectivity which structuralists wish to claim for mathematics. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2 n26) | |
| A reaction: This is the attraction of structures which grow out of the physical world, where truth-value is presumably not in dispute. |
| 10628 | The structural view of numbers doesn't fit their usage outside arithmetical contexts [Hale/Wright] |
| Full Idea: It is not clear how the view that natural numbers are purely intra-structural 'objects' can be squared with the widespread use of numerals outside purely arithmetical contexts. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2 n26) | |
| A reaction: I don't understand this objection. If they refer to quantity, they are implicitly cardinal. If they name things in a sequence they are implicitly ordinal. All users of numbers have a grasp of the basic structure. |
| 8788 | Logicism is only noteworthy if logic has a privileged position in our ontology and epistemology [Hale/Wright] |
| Full Idea: It is only if logic is metaphysically and epistemologically privileged that a reduction of mathematical theories to logical ones can be philosophically any more noteworthy than a reduction of any mathematical theory to any other. | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 8) | |
| A reaction: It would be hard to demonstrate this privileged position, though intuitively there is nothing more basic in human rationality. That may be a fact about us, but it doesn't make logic basic to nature, which is where proper reduction should be heading. |
| 10622 | The neo-Fregean is more optimistic than Frege about contextual definitions of numbers [Hale/Wright] |
| Full Idea: The neo-Fregean takes a more optimistic view than Frege of the prospects for the kind of contextual explanation of the fundamental concepts of arithmetic and analysis (cardinals and reals), which he rejected in 'Grundlagen' 60-68. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], §1) |
| 8783 | Logicism might also be revived with a quantificational approach, or an abstraction-free approach [Hale/Wright] |
| Full Idea: Two modern approaches to logicism are the quantificational approach of David Bostock, and the abstraction-free approach of Neil Tennant. | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 1 n2) | |
| A reaction: Hale and Wright mention these as alternatives to their own view. I merely catalogue them for further examination. My immediate reaction is that Bostock sounds hopeless and Tennant sounds interesting. |
| 12225 | Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright] |
| Full Idea: A third way has been offered to 'make sense' of neo-Fregeanism: we should reject Quine's well-known criterion of ontological commitment in favour of one based on 'truth-maker theory'. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §4 n19) | |
| A reaction: [The cite Ross Cameron for this] They reject this proposal, on the grounds that truth-maker theory is not sufficient to fix the grounding truth-conditions of statements. |
| 12224 | Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright] |
| Full Idea: It is claimed that neo-Fregeans are committed to 'maximalism' - that whatever can exist does. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §4) | |
| A reaction: [The cite Eklund] They observe that maximalism denies contingent non-existence (of the £20 note I haven't got). There seems to be the related problem of 'hyperinflation', that if abstract objects are generated logically, the process is unstoppable. |
| 4986 | A weaker kind of reductionism than direct translation is the use of 'bridge laws' [Kirk,R] |
| Full Idea: If multiple realisability means that psychological terms cannot be translated into physics, one weaker kind of reductionism resorts to 'bridge laws' which link the theory to be reduced to the reducing theory. | |
| From: Robert Kirk (Mind and Body [2003], §3.8) | |
| A reaction: It seems to me that reduction is all-or-nothing, so there can't be a 'weaker' kind. If they are totally separate but linked by naturally necessary laws (e.g. low temperature and ice), they are supervenient, but not reducible to one another. |
| 12226 | The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright] |
| Full Idea: Identity is sometimes read so that 'Pegasus is Pegasus' expresses a truth, the non-existence of any winged horse notwithstanding. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5) | |
| A reaction: This would give you ontological commitment to truth, without commitment to existence. It undercuts the use of identity statements as the basis of existence claims, which was Frege's strategy. |
| 12229 | Maybe we have abundant properties for semantics, and sparse properties for ontology [Hale/Wright] |
| Full Idea: There is a compatibilist view which says that it is for the abundant properties to play the role of 'bedeutungen' in semantic theory, and the sparse ones to address certain metaphysical concerns. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: Only a philosopher could live with the word 'property' having utterly different extensions in different areas of discourse. They similarly bifurcate words like 'object' and 'exist'. Call properties 'quasi-properties' and I might join in. |
| 18443 | A successful predicate guarantees the existence of a property - the way of being it expresses [Hale/Wright] |
| Full Idea: The good standing of a predicate is already trivially sufficient to ensure the existence of an associated property, a (perhaps complex) way of being which the predicate serves to express. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: 'Way of being' is interesting. Is 'being near Trafalgar Sq' a way of being? I take properties to be 'features', which seems to give a clearer way of demarcating them. They say they are talking about 'abundant' (rather than 'sparse') properties. |
| 10626 | Objects just are what singular terms refer to [Hale/Wright] |
| Full Idea: Objects, as distinct from entities of other types (properties, relations or, more generally, functions of different types and levels), just are what (actual or possible) singular terms refer to. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.1) | |
| A reaction: I find this view very bizarre and hard to cope with. It seems either to preposterously accept the implications of the way we speak into our ontology ('sakes'?), or preposterously bend the word 'object' away from its normal meaning. |
| 1816 | Sceptics say demonstration depends on self-demonstrating things, or indemonstrable things [Diog. Laertius] |
| Full Idea: Sceptics say that every demonstration depends on things which demonstrates themselves, or on things which can't be demonstrated. | |
| From: Diogenes Laertius (Lives of Eminent Philosophers [c.250], 9.Py.11) | |
| A reaction: This refers to two parts of Agrippa's Trilemma (the third being that demonstration could go on forever). He makes the first option sound very rationalist, rather than experiential. |
| 1819 | Scepticism has two dogmas: that nothing is definable, and every argument has an opposite argument [Diog. Laertius] |
| Full Idea: Sceptics actually assert two dogmas: that nothing should be defined, and that every argument has an opposite argument. | |
| From: Diogenes Laertius (Lives of Eminent Philosophers [c.250], 9.Py.11) |
| 3064 | When sceptics say that nothing is definable, or all arguments have an opposite, they are being dogmatic [Diog. Laertius] |
| Full Idea: When sceptics say that they define nothing, and that every argument has an opposite argument, they here give a positive definition, and assert a positive dogma. | |
| From: Diogenes Laertius (Lives of Eminent Philosophers [c.250], 9.11.11) |
| 3033 | Induction moves from some truths to similar ones, by contraries or consequents [Diog. Laertius] |
| Full Idea: Induction is an argument which by means of some admitted truths establishes naturally other truths which resemble them; there are two kinds, one proceeding from contraries, the other from consequents. | |
| From: Diogenes Laertius (Lives of Eminent Philosophers [c.250], 3.1.23) |
| 5001 | Maybe we should see intentionality and consciousness as a single problem, not two [Kirk,R] |
| Full Idea: Many philosophers today have adopted the view that we can achieve an enormous simplification by reducing the two components of the mind-body problem - intentionality and consciousness - into one; ...consciousness is no more than representations. | |
| From: Robert Kirk (Mind and Body [2003], §8.4) | |
| A reaction: One would then see subjective experience and informational content as two consequences of a single mental activity. This strikes me as the correct route to go. We do, after all, learn BY experiencing. Hence concepts are tied in with qualia. |
| 4993 | If a bird captures a worm, we could say its behaviour is 'about' the worm [Kirk,R] |
| Full Idea: When a bird pulls a worm from the ground, then swallows it piece by piece, there is a sense in which its behaviour can be said to be about the worm. | |
| From: Robert Kirk (Mind and Body [2003], §5.4) | |
| A reaction: This is preparing the ground for a possible behaviourist account of intentionality. Reply: you could say rain is about puddles, or you could say we have adopted Dennett's 'intentional stance' to birds, but it tells us nothing about their psychology. |
| 5000 | Behaviourism says intentionality is an external relation; language of thought says it's internal [Kirk,R] |
| Full Idea: The conflict over whether intentionality is a matter of behavioural relations with the rest of the world, or of the internal states of the subject, is at its most dramatic in the contrast between behaviourism and the language of thought hypothesis. | |
| From: Robert Kirk (Mind and Body [2003], §7.10) | |
| A reaction: I just don't believe any behaviourist external account of intentionality, which ducks the question of how it all works. Personally I am more drawn to maps and models than to a language of thought. I plan my actions in an imagined space-time world. |
| 4982 | Dualism implies some brain events with no physical cause, and others with no physical effect [Kirk,R] |
| Full Idea: If the mind causes brain events, then they are not caused by other brain events, and such causal gaps should be detectable by scientists; there should also be a gap of brain-events which cause no other brain events, because they are causing mind events. | |
| From: Robert Kirk (Mind and Body [2003], §2.5) | |
| A reaction: This is the double causation problem which Spinoza had spotted (Idea 4862). Expressed this way, it seems a screamingly large problem for dualism. We should be able to discover some VERY strange physical activity in the brain. |
| 4991 | Behaviourism seems a good theory for intentional states, but bad for phenomenal ones [Kirk,R] |
| Full Idea: For many kinds of mental states, notably intentional ones such as beliefs and desires, behaviourism is appealing, ..but for sensations and experiences such as pain, it seems grossly implausible. | |
| From: Robert Kirk (Mind and Body [2003], §5.1) | |
| A reaction: The theory does indeed make a bit more sense for intentional states, but it still strikes me as nonsense that there is no more to my belief that 'Whales live in the Atlantic' than a disposition to say something. WHY do I say this something? |
| 4994 | Behaviourism offers a good alternative to simplistic unitary accounts of mental relationships [Kirk,R] |
| Full Idea: There is a temptation to think that 'aboutness', and the 'contents' of thoughts, and the relation of 'reference', are single and unitary relationships, but behaviourism offers an alternative approach. | |
| From: Robert Kirk (Mind and Body [2003], §5.5) | |
| A reaction: Personally I wouldn't touch behaviourism with a barge-pole (as it ducks the question of WHY certain behaviour occurs), but a warning against simplistic accounts of intentional states is good. I am sure there cannot be a single neat theory of refererence. |
| 4992 | In 'holistic' behaviourism we say a mental state is a complex of many dispositions [Kirk,R] |
| Full Idea: There is a non-reductive version of behaviourism ( which we can call 'global' or 'holistic') which says there is no more to having mental states than having a complex of certain kinds of behavioural dispositions. | |
| From: Robert Kirk (Mind and Body [2003], §5.2) | |
| A reaction: This is designed to meet a standard objection to behaviourism - that there is no straight correlation between what I think and how I behave. The present theory is obviously untestable, because a full 'complex' of human dispositions is never repeated. |
| 4990 | The inverted spectrum idea is often regarded as an objection to behaviourism [Kirk,R] |
| Full Idea: The inverted spectrum idea is often regarded as an objection to behaviourism. | |
| From: Robert Kirk (Mind and Body [2003], §4.5) | |
| A reaction: Thus, my behaviour at traffic lights should be identical, even if I have a lifelong inversion of red and green. A good objection. Note that physicalists can believe in inverted qualia as well a dualists, as long as the brain states are also inverted. |
| 4984 | All meaningful psychological statements can be translated into physics [Kirk,R] |
| Full Idea: All psychological statements which are meaningful, that is to say, which are in principle verifiable, are translatable into propositions which do not involve psychological concepts, but only the concepts of physics. | |
| From: Robert Kirk (Mind and Body [2003], §3.8) | |
| A reaction: This shows how eliminativist behaviourism arises out of logical positivism (by only allowing what is verifiable). The simplest objection: we can't verify the mental states of others, because they are private, but they are still the best explanation. |
| 4998 | Instead of representation by sentences, it can be by a distribution of connectionist strengths [Kirk,R] |
| Full Idea: In a connectionist system, information is represented not by sentences but by the total distribution of connection strengths. | |
| From: Robert Kirk (Mind and Body [2003], §7.6) | |
| A reaction: Neither sentences (of a language of thought) NOR connection strengths strike me as very plausible ways for a brain to represent things. It must be something to do with connections, but it must also be to do with neurons, or we get bizarre counterexamples. |
| 4985 | If mental states are multiply realisable, they could not be translated into physical terms [Kirk,R] |
| Full Idea: If psychological states are multiply realisable it is hard to see how they could possibly be translated into physical terms. | |
| From: Robert Kirk (Mind and Body [2003], §3.8) | |
| A reaction: Reductive funtionalism would do it. A writing iimplement is physical and multiply realisable. Personally I prefer the strategy of saying mental states are NOT multiply realisable. If frog brains differ from ours, they probably don't feel pain like us. |
| 4997 | It seems unlikely that most concepts are innate, if a theory must be understood to grasp them [Kirk,R] |
| Full Idea: It is widely accepted that for many concepts, if not all, grasping the concept requires grasping some theory, ...which makes difficulties for the view that concepts are not learned: for 'radical concept nativism', as Fodor calls it. | |
| From: Robert Kirk (Mind and Body [2003], §7.3) | |
| A reaction: Not a problem for traditional rationalist theories, where the whole theory can be innate along with the concept, but a big objection to modern more cautious non-holistic views (such as Fodor's). Does a bird have a concept AND theory of a nest? |
| 10630 | Abstracted objects are not mental creations, but depend on equivalence between given entities [Hale/Wright] |
| Full Idea: The new kind of abstract objects are not creations of the human mind. ...The existence of such objects depends upon whether or not the relevant equivalence relation holds among the entities of the presupposed kind. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2) | |
| A reaction: It seems odd that we no longer have any choice about what abstract objects we use, and that we can't evade them if the objects exist, and can't have them if the objects don't exist - and presumably destruction of the objects kills the concept? |
| 8786 | One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright] |
| Full Idea: An example of a first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines; a higher-order example (which refers to first-order predicates) defines 'equinumeral' in terms of one-to-one correlation (Hume's Principle). | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 1) | |
| A reaction: [compressed] This is the way modern logicians now treat abstraction, but abstraction principles include the elusive concept of 'equivalence' of entities, which may be no more than that the same adjective ('parallel') can be applied to them. |
| 12227 | Abstractionism needs existential commitment and uniform truth-conditions [Hale/Wright] |
| Full Idea: Abstractionism needs a face-value, existentially committed reading of the terms occurring on the left-hand sides together with sameness of truth-conditions across the biconditional. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5) | |
| A reaction: They employ 'abstractionism' to mean their logical Fregean strategy for defining abstractions, not to mean the older psychological account. Thus the truth-conditions for being 'parallel' and for having the 'same direction' must be consistent. |
| 12228 | Equivalence abstraction refers to objects otherwise beyond our grasp [Hale/Wright] |
| Full Idea: Abstraction principles purport to introduce fundamental means of reference to a range of objects, to which there is accordingly no presumption that we have any prior or independent means of reference. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §8) | |
| A reaction: There's the rub! They make it sound like a virtue, that we open up yet another heaven of abstract toys to play with. As fictions, they are indeed exciting new fun. As platonic discoveries they strike me as Cloud-Cuckoo Land. |
| 4999 | For behaviourists language is just a special kind of behaviour [Kirk,R] |
| Full Idea: Behaviourists regard the use of language as just a special kind of behaviour. | |
| From: Robert Kirk (Mind and Body [2003], §7.9) | |
| A reaction: This is not an intuitively obvious view of language. We behave, and then we talk about behaviour. Performative utterances (like promising) have an obvious behavioural aspect, as do violent threats, but not highly theoretical language (such as maths). |
| 4995 | Behaviourists doubt whether reference is a single type of relation [Kirk,R] |
| Full Idea: To most behaviourists it seems misguided to expect there to be a single relation that connects referring expressions with their referents. | |
| From: Robert Kirk (Mind and Body [2003], §5.5) | |
| A reaction: You don't need to be a behaviourist to feel this doubt. Think about names of real people, names of fictional people, reference to misunderstood items, or imagined items, or reference in dreams, or to mathematical objects, or negations etc. |
| 12231 | Reference needs truth as well as sense [Hale/Wright] |
| Full Idea: It takes, over and above the possession of sense, the truth of relevant contexts to ensure reference. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: Reference purely through sense was discredited by Kripke. The present idea challenges Kripke's baptismal realist approach. How do you 'baptise' an abstract object? But isn't reference needed prior to the establishment of truth? |
| 10627 | Many conceptual truths ('yellow is extended') are not analytic, as derived from logic and definitions [Hale/Wright] |
| Full Idea: There are many statements which are plausibly viewed as conceptual truths (such as 'what is yellow is extended') which do not qualify as analytic under Frege's definition (as provable using only logical laws and definitions). | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2) | |
| A reaction: Presumably this is because the early assumptions of Frege were mathematical and logical, and he was trying to get away from Kant. That yellow is extended is a truth for non-linguistic beings. |
| 1838 | Cyrenaic pleasure is a motion, but Epicurean pleasure is a condition [Diog. Laertius] |
| Full Idea: Cyrenaics place pleasure wholly in motion, whereas Epicurus admits it as a condition. | |
| From: Diogenes Laertius (Lives of Eminent Philosophers [c.250], 10.28) | |
| A reaction: Not a distinction we meet in modern discussions. Do events within the mind count as 'motion'? If so, these two agree. If not, I'd vote for Epicurus. |
| 1769 | Cynics believe that when a man wishes for nothing he is like the gods [Diog. Laertius] |
| Full Idea: Cynics believe that when a man wishes for nothing he is like the gods. | |
| From: Diogenes Laertius (Lives of Eminent Philosophers [c.250], 6.Men.3) |