15 ideas
15163 | The interest of quantified modal logic is its metaphysical necessity and essentialism [Soames] |
Full Idea: The chief philosophical interest in quantified modal logic lies with metaphysical necessity, essentialism, and the nontrivial modal de re. | |
From: Scott Soames (Philosophy of Language [2010], 3.1) |
19370 | 'Blind thought' is reasoning without recognition of the ingredients of the reasoning [Leibniz, by Arthur,R] |
Full Idea: Leibniz invented the concept of 'blind thought' - reasoning by a manipulation of characters without being able to recognise what each character stands for. | |
From: report of Gottfried Leibniz (Towards a Universal Characteristic [1677]) by Richard T.W. Arthur - Leibniz |
15158 | Indefinite descriptions are quantificational in subject position, but not in predicate position [Soames] |
Full Idea: The indefinite description in 'A man will meet you' is naturally treated as quantificational, but an occurrence in predicative position, in 'Jones is not a philosopher', doesn't have a natural quantificational counterpart. | |
From: Scott Soames (Philosophy of Language [2010], 1.23) |
15157 | Recognising the definite description 'the man' as a quantifier phrase, not a singular term, is a real insight [Soames] |
Full Idea: Recognising the definite description 'the man' as a quantifier phrase, rather than a singular term, is a real insight. | |
From: Scott Soames (Philosophy of Language [2010], 1.22) | |
A reaction: 'Would the man who threw the stone come forward' seems like a different usage from 'would the man in the black hat come forward'. |
15156 | The universal and existential quantifiers were chosen to suit mathematics [Soames] |
Full Idea: Since Frege and Russell were mainly interested in formalizing mathematics, the only quantifiers they needed were the universal and existential one. | |
From: Scott Soames (Philosophy of Language [2010], 1.22) |
19391 | We can assign a characteristic number to every single object [Leibniz] |
Full Idea: The true principle is that we can assign to every object its determined characteristic number. | |
From: Gottfried Leibniz (Towards a Universal Characteristic [1677], p.18) | |
A reaction: I add this as a predecessor of Gödel numbering. It is part of Leibniz's huge plan for a Universal Characteristic, to map reality numerically, and then calculate the truths about it. Gödel seems to allow metaphysics to be done mathematically. |
19390 | Everything is subsumed under number, which is a metaphysical statics of the universe, revealing powers [Leibniz] |
Full Idea: There is nothing which is not subsumable under number; number is therefore a fundamental metaphysical form, and arithmetic a sort of statics of the universe, in which the powers of things are revealed. | |
From: Gottfried Leibniz (Towards a Universal Characteristic [1677], p.17) | |
A reaction: I take numbers to be a highly generalised and idealised description of an aspect of reality (seen as mainly constituted by countable substances). Seeing reality as processes doesn't lead us to number. So I like this idea. |
15162 | We understand metaphysical necessity intuitively, from ordinary life [Soames] |
Full Idea: Our understanding of metaphysical necessity is intuitive - drawn from our ordinary thought and talk. | |
From: Scott Soames (Philosophy of Language [2010], 3.1) | |
A reaction: This, of course, is a good reason for analytic philosophers to dislike metaphysical necessity. |
15161 | There are more metaphysically than logically necessary truths [Soames] |
Full Idea: The set of metaphysically necessary truths is larger than the set of logically necessary truths. | |
From: Scott Soames (Philosophy of Language [2010], 3.1) | |
A reaction: Likewise, the set of logically possible truths is much larger than the set of metaphysically possible truths. If a truth is logically necessary, it will clearly be metaphysically necessary. Er, unless it is necessitated by daft logic... |
7518 | If folk psychology gives a network of causal laws, that fits neatly with functionalism [Churchland,PM] |
Full Idea: The portrait of folk psychology as a network of causal laws dovetailed neatly with the emerging philosophy of mind called functionalism. | |
From: Paul M. Churchland (Folk Psychology [1996], II) | |
A reaction: And from the lower levels functionalism is supported by the notion that the brain is modular. Note the word 'laws'; this implies an underlying precision in folk psychology, which is then easily attacked. Maybe the network is too complex for simple laws. |
7519 | Many mental phenomena are totally unexplained by folk psychology [Churchland,PM] |
Full Idea: Folk psychology fails utterly to explain a considerable variety of central psychological phenomena: mental illness, sleep, creativity, memory, intelligence differences, and many forms of learning, to cite just a few. | |
From: Paul M. Churchland (Folk Psychology [1996], III) | |
A reaction: If folk psychology is a theory, it will have been developed to predict behaviour, rather than as a full-blown psychological map. The odd thing is that some people seem to be very bad at folk psychology. |
7520 | Folk psychology never makes any progress, and is marginalised by modern science [Churchland,PM] |
Full Idea: Folk psychology has not progressed significantly in the last 2500 years; if anything, it has been steadily in retreat during this period; it does not integrate with modern science, and its emerging wallflower status bodes ill for its future. | |
From: Paul M. Churchland (Folk Psychology [1996], III) | |
A reaction: [compressed] However, while shares in alchemy and astrology have totally collapsed, folk psychology shows not the slightest sign of going away, and it is unclear how it ever could. See Idea 3177. |
15152 | To study meaning, study truth conditions, on the basis of syntax, and representation by the parts [Soames] |
Full Idea: The systematic study of meaning requires a framework for specifying the truth conditions of sentences on the basis of their syntactic structure, and the representational contents of their parts. | |
From: Scott Soames (Philosophy of Language [2010], Intro) | |
A reaction: Soames presents this as common sense, on the first page of his book, and it is hard to disagree. Representation will shade off into studying the workings of the mind. Fodor seems a good person to start with. |
15153 | Tarski's account of truth-conditions is too weak to determine meanings [Soames] |
Full Idea: The truth conditions provided by Tarski's theories (based on references of subsentential constituents) are too weak to determine meanings, because they lacked context-sensitivity and various forms of intensionality. | |
From: Scott Soames (Philosophy of Language [2010], Intro) | |
A reaction: Interesting. This suggests that stronger modern axiomatic theories of truth might give a sufficient basis for a truth conditions theory of meaning. Soames says possible worlds semantics was an attempt to improve things. |
15154 | We should use cognitive states to explain representational propositions, not vice versa [Soames] |
Full Idea: Instead of explaining the representationality of sentences and cognitive states in terms of propositions, we must explain the representationality of propositions in terms of the representationality of the relevant cognitive states. | |
From: Scott Soames (Philosophy of Language [2010], Intro) | |
A reaction: Music to my ears. I am bewildered by this Russellian notion of a 'proposition' as some abstract entity floating around in the world waiting to be expressed. The vaguer word 'facts' (and false facts?) will cover that. It's Frege's fault. |