41 ideas
| 13966 | Analytic philosophy loved the necessary a priori analytic, linguistic modality, and rigour [Soames] |
| 13974 | If philosophy is analysis of meaning, available to all competent speakers, what's left for philosophers? [Soames] |
| 9978 | Analytic philosophy focuses too much on forms of expression, instead of what is actually said [Tait] |
| 15163 | The interest of quantified modal logic is its metaphysical necessity and essentialism [Soames] |
| 7791 | The simplest of the logics based on possible worlds is Lewis's S5 [Lewis,CI, by Girle] |
| 9986 | The null set was doubted, because numbering seemed to require 'units' [Tait] |
| 9984 | We can have a series with identical members [Tait] |
| 9358 | There are several logics, none of which will ever derive falsehoods from truth [Lewis,CI] |
| 9357 | Excluded middle is just our preference for a simplified dichotomy in experience [Lewis,CI] |
| 9364 | Names represent a uniformity in experience, or they name nothing [Lewis,CI] |
| 15158 | Indefinite descriptions are quantificational in subject position, but not in predicate position [Soames] |
| 15157 | Recognising the definite description 'the man' as a quantifier phrase, not a singular term, is a real insight [Soames] |
| 15156 | The universal and existential quantifiers were chosen to suit mathematics [Soames] |
| 13416 | Mathematics must be based on axioms, which are true because they are axioms, not vice versa [Tait, by Parsons,C] |
| 13969 | Kripkean essential properties and relations are necessary, in all genuinely possible worlds [Soames] |
| 11002 | Equating necessity with informal provability is the S4 conception of necessity [Lewis,CI, by Read] |
| 15161 | There are more metaphysically than logically necessary truths [Soames] |
| 15162 | We understand metaphysical necessity intuitively, from ordinary life [Soames] |
| 9362 | Necessary truths are those we will maintain no matter what [Lewis,CI] |
| 7803 | Modal logic began with translation difficulties for 'If...then' [Lewis,CI, by Girle] |
| 13973 | A key achievement of Kripke is showing that important modalities are not linguistic in source [Soames] |
| 13968 | Kripkean possible worlds are abstract maximal states in which the real world could have been [Soames] |
| 9365 | We can maintain a priori principles come what may, but we can also change them [Lewis,CI] |
| 21500 | We rely on memory for empirical beliefs because they mutually support one another [Lewis,CI] |
| 21501 | If we doubt memories we cannot assess our doubt, or what is being doubted [Lewis,CI] |
| 6556 | If anything is to be probable, then something must be certain [Lewis,CI] |
| 21498 | Congruents assertions increase the probability of each individual assertion in the set [Lewis,CI] |
| 5828 | Extension is the class of things, intension is the correct definition of the thing, and intension determines extension [Lewis,CI] |
| 9361 | We have to separate the mathematical from physical phenomena by abstraction [Lewis,CI] |
| 9981 | Abstraction is 'logical' if the sense and truth of the abstraction depend on the concrete [Tait] |
| 9982 | Cantor and Dedekind use abstraction to fix grammar and objects, not to carry out proofs [Tait] |
| 9985 | Abstraction may concern the individuation of the set itself, not its elements [Tait] |
| 9972 | Why should abstraction from two equipollent sets lead to the same set of 'pure units'? [Tait] |
| 9980 | If abstraction produces power sets, their identity should imply identity of the originals [Tait] |
| 15152 | To study meaning, study truth conditions, on the basis of syntax, and representation by the parts [Soames] |
| 15153 | Tarski's account of truth-conditions is too weak to determine meanings [Soames] |
| 13965 | Semantics as theory of meaning and semantics as truth-based logical consequence are very different [Soames] |
| 13964 | Semantic content is a proposition made of sentence constituents (not some set of circumstances) [Soames] |
| 13972 | Two-dimensionalism reinstates descriptivism, and reconnects necessity and apriority to analyticity [Soames] |
| 15154 | We should use cognitive states to explain representational propositions, not vice versa [Soames] |
| 9363 | Science seeks classification which will discover laws, essences, and predictions [Lewis,CI] |