235 ideas
9593 | Progress in philosophy is incremental, not an immature seeking after drama [Williamson] |
16395 | Kripke separated semantics from metaphysics, rather than linking them, making the latter independent [Kripke, by Stalnaker] |
17034 | Analyses of concepts using entirely different terms are very inclined to fail [Kripke] |
9184 | We can't presume that all interesting concepts can be analysed [Williamson] |
6859 | Analytic philosophy has much higher standards of thinking than continental philosophy [Williamson] |
4955 | Some definitions aim to fix a reference rather than give a meaning [Kripke] |
21616 | Truth and falsity apply to suppositions as well as to assertions [Williamson] |
21623 | True and false are not symmetrical; false is more complex, involving negation [Williamson] |
15134 | The truthmaker principle requires some specific named thing to make the difference [Williamson] |
15140 | The converse Barcan formula will not allow contingent truths to have truthmakers [Williamson] |
15141 | Truthmaker is incompatible with modal semantics of varying domains [Williamson] |
9594 | Correspondence to the facts is a bad account of analytic truth [Williamson] |
15343 | Kripke offers a semantic theory of truth (involving models) [Kripke, by Horsten] |
15327 | Kripke's semantic theory has actually inspired promising axiomatic theories [Kripke, by Horsten] |
14967 | Certain three-valued languages can contain their own truth predicates [Kripke, by Gupta] |
14966 | The Tarskian move to a metalanguage may not be essential for truth theories [Kripke, by Gupta] |
16328 | Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach] |
10163 | Propositional modal logic has been proved to be complete [Kripke, by Feferman/Feferman] |
10559 | Kripke's modal semantics presupposes certain facts about possible worlds [Kripke, by Zalta] |
16985 | Possible worlds allowed the application of set-theoretic models to modal logic [Kripke] |
10760 | With possible worlds, S4 and S5 are sound and complete, but S1-S3 are not even sound [Kripke, by Rossberg] |
14626 | In S5 matters of possibility and necessity are non-contingent [Williamson] |
15131 | If metaphysical possibility is not a contingent matter, then S5 seems to suit it best [Williamson] |
15135 | If the domain of propositional quantification is constant, the Barcan formulas hold [Williamson] |
16189 | The variable domain approach to quantified modal logic invalidates the Barcan Formula [Kripke, by Simchen] |
15130 | If a property is possible, there is something which can have it [Williamson] |
15132 | The Barcan formulas fail in models with varying domains [Kripke, by Williamson] |
15139 | Converse Barcan: could something fail to meet a condition, if everything meets that condition? [Williamson] |
21602 | Many-valued logics don't solve vagueness; its presence at the meta-level is ignored [Williamson] |
6862 | Fuzzy logic uses a continuum of truth, but it implies contradictions [Williamson] |
6858 | Formal logic struck me as exactly the language I wanted to think in [Williamson] |
21611 | Formal semantics defines validity as truth preserved in every model [Williamson] |
21606 | 'Bivalence' is the meta-linguistic principle that 'A' in the object language is true or false [Williamson] |
21605 | Excluded Middle is 'A or not A' in the object language [Williamson] |
10437 | Names are rigid, making them unlike definite descriptions [Kripke, by Sainsbury] |
4949 | Names are rigid designators, which designate the same object in all possible worlds [Kripke] |
4951 | A bundle of qualities is a collection of abstractions, so it can't be a particular [Kripke] |
17031 | A name can still refer even if it satisfies none of its well-known descriptions [Kripke] |
9175 | We may fix the reference of 'Cicero' by a description, but thereafter the name is rigid [Kripke] |
8957 | Some references, such as 'Neptune', have to be fixed by description rather than baptism [Kripke, by Szabó] |
10428 | Proper names must have referents, because they are not descriptive [Kripke, by Sainsbury] |
4959 | A name's reference is not fixed by any marks or properties of the referent [Kripke] |
16982 | A man has two names if the historical chains are different - even if they are the same! [Kripke] |
9171 | The function of names is simply to refer [Kripke] |
18492 | Not all quantification is either objectual or substitutional [Williamson] |
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
15136 | Substitutional quantification is metaphysical neutral, and equivalent to a disjunction of instances [Williamson] |
15138 | Not all quantification is objectual or substitutional [Williamson] |
21612 | Or-elimination is 'Argument by Cases'; it shows how to derive C from 'A or B' [Williamson] |
21599 | A sorites stops when it collides with an opposite sorites [Williamson] |
9183 | Platonism claims that some true assertions have singular terms denoting abstractions, so abstractions exist [Williamson] |
14896 | Kripke's metaphysics (essences, kinds, rigidity) blocks the slide into sociology [Kripke, by Ladyman/Ross] |
9601 | The realist/anti-realist debate is notoriously obscure and fruitless [Williamson] |
15137 | If 'fact' is a noun, can we name the fact that dogs bark 'Mary'? [Williamson] |
21596 | Vagueness undermines the stable references needed by logic [Williamson] |
21589 | When bivalence is rejected because of vagueness, we lose classical logic [Williamson] |
21601 | A vague term can refer to very precise elements [Williamson] |
21629 | Equally fuzzy objects can be identical, so fuzziness doesn't entail vagueness [Williamson] |
9599 | There cannot be vague objects, so there may be no such thing as a mountain [Williamson] |
21591 | Vagueness is epistemic. Statements are true or false, but we often don't know which [Williamson] |
21619 | If a heap has a real boundary, omniscient speakers would agree where it is [Williamson] |
21620 | The epistemic view says that the essence of vagueness is ignorance [Williamson] |
21622 | If there is a true borderline of which we are ignorant, this drives a wedge between meaning and use [Williamson] |
9120 | Vagueness in a concept is its indiscriminability from other possible concepts [Williamson] |
6863 | Close to conceptual boundaries judgement is too unreliable to give knowledge [Williamson] |
21625 | The vagueness of 'heap' can remain even when the context is fixed [Williamson] |
21614 | The 'nihilist' view of vagueness says that 'heap' is not a legitimate concept [Williamson] |
21617 | We can say propositions are bivalent, but vague utterances don't express a proposition [Williamson] |
21618 | If the vague 'TW is thin' says nothing, what does 'TW is thin if his perfect twin is thin' say? [Williamson] |
21590 | Asking when someone is 'clearly' old is higher-order vagueness [Williamson] |
21592 | Supervaluation keeps classical logic, but changes the truth in classical semantics [Williamson] |
21603 | You can't give a precise description of a language which is intrinsically vague [Williamson] |
21604 | Supervaluation assigns truth when all the facts are respected [Williamson] |
21607 | Supervaluation has excluded middle but not bivalence; 'A or not-A' is true, even when A is undecided [Williamson] |
21608 | Truth-functionality for compound statements fails in supervaluation [Williamson] |
21609 | Supervaluationism defines 'supertruth', but neglects it when defining 'valid' [Williamson] |
21610 | Supervaluation adds a 'definitely' operator to classical logic [Williamson] |
21613 | Supervaluationism cannot eliminate higher-order vagueness [Williamson] |
21633 | Nominalists suspect that properties etc are our projections, and could have been different [Williamson] |
17000 | We might fix identities for small particulars, but it is utopian to hope for such things [Kripke] |
17647 | Kripke individuates objects by essential modal properties (and presupposes essentialism) [Kripke, by Putnam] |
21630 | If fuzzy edges are fine, then why not fuzzy temporal, modal or mereological boundaries? [Williamson] |
6861 | What sort of logic is needed for vague concepts, and what sort of concept of truth? [Williamson] |
9602 | Common sense and classical logic are often simultaneously abandoned in debates on vagueness [Williamson] |
16995 | Given that a table is made of molecules, could it not be molecular and still be this table? [Kripke] |
17047 | If we imagine this table made of ice or different wood, we are imagining a different table [Kripke] |
11868 | A different piece of wood could have been used for that table; constitution isn't identity [Wiggins on Kripke] |
5450 | For Kripke, essence is origin; for Putnam, essence is properties; for Wiggins, essence is membership of a kind [Kripke, by Mautner] |
17055 | Atomic number 79 is part of the nature of the gold we know [Kripke] |
16997 | An essential property is true of an object in any case where it would have existed [Kripke] |
17045 | De re modality is an object having essential properties [Kripke] |
17030 | Important properties of an object need not be essential to it [Kripke] |
16955 | Kripke says internal structure fixes species; I say it is genetic affinity and a common descent [Kripke, by Dummett] |
16996 | Given that Nixon is indeed a human being, that he might not have been does not concern knowledge [Kripke] |
13971 | Kripke claims that some properties, only knowable posteriori, are known a priori to be essential [Kripke, by Soames] |
12100 | An essence is the necessary properties, derived from an intuitive identity, in origin, type and material [Kripke, by Witt] |
16991 | No one seems to know the identity conditions for a material object (or for people) over time [Kripke] |
21632 | A river is not just event; it needs actual and counterfactual boundaries [Williamson] |
11867 | If we lose track of origin, how do we show we are maintaining a reference? [Kripke, by Wiggins] |
12018 | Kripke argues, of the Queen, that parents of an organism are essentially so [Kripke, by Forbes,G] |
17046 | Could the actual Queen have been born of different parents? [Kripke] |
8274 | Socrates can't have a necessary origin, because he might have had no 'origin' [Lowe on Kripke] |
16981 | With the necessity of self-identity plus Leibniz's Law, identity has to be an 'internal' relation [Kripke] |
17044 | A relation can clearly be reflexive, and identity is the smallest reflexive relation [Kripke] |
17038 | If Hesperus and Phosophorus are the same, they can't possibly be different [Kripke] |
17036 | Identity statements can be contingent if they rely on descriptions [Kripke] |
4942 | The indiscernibility of identicals is as self-evident as the law of contradiction [Kripke] |
16999 | A vague identity may seem intransitive, and we might want to talk of 'counterparts' [Kripke] |
14625 | Necessity is counterfactually implied by its negation; possibility does not counterfactually imply its negation [Williamson] |
11880 | Kripke says his necessary a posteriori examples are known a priori to be necessary [Kripke, by Mackie,P] |
4797 | Instead of being regularities, maybe natural laws are the weak a posteriori necessities of Kripke [Kripke, by Psillos] |
17058 | What many people consider merely physically necessary I consider completely necessary [Kripke] |
4970 | What is often held to be mere physical necessity is actually metaphysical necessity [Kripke] |
17037 | Physical necessity may be necessity in the highest degree [Kripke] |
17059 | Unicorns are vague, so no actual or possible creature could count as a unicorn [Kripke] |
14623 | Strict conditionals imply counterfactual conditionals: □(A⊃B)⊃(A□→B) [Williamson] |
14624 | Counterfactual conditionals transmit possibility: (A□→B)⊃(◊A⊃◊B) [Williamson] |
16984 | I don't think possible worlds reductively reveal the natures of modal operators etc. [Kripke] |
14531 | Rather than define counterfactuals using necessity, maybe necessity is a special case of counterfactuals [Williamson, by Hale/Hoffmann,A] |
4728 | Kripke separates necessary and a priori, proposing necessary a posteriori and contingent a priori examples [Kripke, by O'Grady] |
16990 | A priori = Necessary because we imagine all worlds, and we know without looking at actuality? [Kripke] |
21621 | We can't infer metaphysical necessities to be a priori knowable - or indeed knowable in any way [Williamson] |
9598 | Modal thinking isn't a special intuition; it is part of ordinary counterfactual thinking [Williamson] |
9386 | The meter is defined necessarily, but the stick being one meter long is contingent a priori [Kripke] |
9385 | The very act of designating of an object with properties gives knowledge of a contingent truth [Kripke] |
2408 | Kripke has demonstrated that some necessary truths are only knowable a posteriori [Kripke, by Chalmers] |
4960 | "'Hesperus' is 'Phosphorus'" is necessarily true, if it is true, but not known a priori [Kripke] |
4966 | Theoretical identities are between rigid designators, and so are necessary a posteriori [Kripke] |
9174 | It is necessary that this table is not made of ice, but we don't know it a priori [Kripke] |
13967 | Kripke's essentialist necessary a posteriori opened the gap between conceivable and really possible [Soames on Kripke] |
13970 | Kripke gets to the necessary a posteriori by only allowing conceivability when combined with actuality [Kripke, by Soames] |
16536 | Williamson can't base metaphysical necessity on the psychology of causal counterfactuals [Lowe on Williamson] |
9596 | We scorn imagination as a test of possibility, forgetting its role in counterfactuals [Williamson] |
4943 | Instead of talking about possible worlds, we can always say "It is possible that.." [Kripke] |
4950 | Possible worlds are useful in set theory, but can be very misleading elsewhere [Kripke] |
16992 | Possible worlds aren't puzzling places to learn about, but places we ourselves describe [Kripke] |
16983 | Probability with dice uses possible worlds, abstractions which fictionally simplify things [Kripke] |
16993 | If we discuss what might have happened to Nixon, we stipulate that it is about Nixon [Kripke] |
16998 | Transworld identification is unproblematic, because we stipulate that we rigidly refer to something [Kripke] |
17001 | A table in some possible world should not even be identified by its essential properties [Kripke] |
4952 | Identification across possible worlds does not need properties, even essential ones [Kripke] |
7761 | Test for rigidity by inserting into the sentence 'N might not have been N' [Kripke, by Lycan] |
7693 | Kripke avoids difficulties of transworld identity by saying it is a decision, not a discovery [Kripke, by Jacquette] |
9172 | A 'rigid designator' designates the same object in all possible worlds [Kripke] |
17003 | Kaplan's 'Dthat' is a useful operator for transforming a description into a rigid designation [Kripke] |
5821 | Saying that natural kinds are 'rigid designators' is the same as saying they are 'indexical' [Kripke, by Putnam] |
14068 | If Kripke names must still denote a thing in a non-actual situation, the statue isn't its clay [Gibbard on Kripke] |
10436 | A rigid expression may refer at a world to an object not existing in that world [Kripke, by Sainsbury] |
4953 | We do not begin with possible worlds and place objects in them; we begin with objects in the real world [Kripke] |
4961 | It is a necessary truth that Elizabeth II was the child of two particular parents [Kripke] |
9173 | We cannot say that Nixon might have been a different man from the one he actually was [Kripke] |
9176 | Modal statements about this table never refer to counterparts; that confuses epistemology and metaphysics [Kripke] |
9221 | The best known objection to counterparts is Kripke's, that Humphrey doesn't care if his counterpart wins [Kripke, by Sider] |
16986 | That there might have been unicorns is false; we don't know the circumstances for unicorns [Kripke] |
15142 | Our ability to count objects across possibilities favours the Barcan formulas [Williamson] |
18925 | If talking donkeys are possible, something exists which could be a talking donkey [Williamson, by Cameron] |
21627 | We have inexact knowledge when we include margins of error [Williamson] |
4760 | Belief aims at knowledge (rather than truth), and mere believing is a kind of botched knowing [Williamson] |
19512 | Don't analyse knowledge; use knowledge to analyse other concepts in epistemology [Williamson, by DeRose] |
19527 | We don't acquire evidence and then derive some knowledge, because evidence IS knowledge [Williamson] |
19528 | Knowledge is prior to believing, just as doing is prior to trying to do [Williamson] |
19529 | Belief explains justification, and knowledge explains belief, so knowledge explains justification [Williamson] |
19530 | A neutral state of experience, between error and knowledge, is not basic; the successful state is basic [Williamson] |
19531 | Internalism about mind is an obsolete view, and knowledge-first epistemology develops externalism [Williamson] |
19536 | Knowledge-first says your total evidence IS your knowledge [Williamson] |
19526 | Surely I am acquainted with physical objects, not with appearances? [Williamson] |
8259 | Kripke has breathed new life into the a priori/a posteriori distinction [Kripke, by Lowe] |
16989 | Rather than 'a priori truth', it is best to stick to whether some person knows it on a priori evidence [Kripke] |
4947 | A priori truths can be known independently of experience - but they don't have to be [Kripke] |
9597 | There are 'armchair' truths which are not a priori, because experience was involved [Williamson] |
17052 | The a priori analytic truths involving fixing of reference are contingent [Kripke] |
13975 | Kripke was more successful in illuminating necessity than a priority (and their relations to analyticity) [Kripke, by Soames] |
17048 | Analytic judgements are a priori, even when their content is empirical [Kripke] |
6860 | How can one discriminate yellow from red, but not the colours in between? [Williamson] |
4948 | Intuition is the strongest possible evidence one can have about anything [Kripke] |
9592 | Intuition is neither powerful nor vacuous, but reveals linguistic or conceptual competence [Williamson] |
20181 | When analytic philosophers run out of arguments, they present intuitions as their evidence [Williamson] |
21626 | Knowing you know (KK) is usually denied if the knowledge concept is missing, or not considered [Williamson] |
4958 | Identities like 'heat is molecule motion' are necessary (in the highest degree), not contingent [Kripke] |
4969 | I regard the mind-body problem as wide open, and extremely confusing [Kripke] |
14628 | Imagination is important, in evaluating possibility and necessity, via counterfactuals [Williamson] |
4967 | It seems logically possible to have the pain brain state without the actual pain [Kripke] |
9177 | Identity theorists must deny that pains can be imagined without brain states [Kripke] |
7430 | Kripke assumes that mind-brain identity designates rigidly, which it doesn't [Armstrong on Kripke] |
7867 | If consciousness could separate from brain, then it cannot be identical with brain [Kripke, by Papineau] |
3228 | Kripke says pain is necessarily pain, but a brain state isn't necessarily painful [Kripke, by Rey] |
5832 | Identity must be necessary, but pain isn't necessarily a brain state, so they aren't identical [Kripke, by Schwartz,SP] |
4968 | Identity theorists seem committed to no-brain-event-no-pain, and vice versa, which seems wrong [Kripke] |
9178 | Pain, unlike heat, is picked out by an essential property [Kripke] |
21631 | To know, believe, hope or fear, one must grasp the thought, but not when you fail to do them [Williamson] |
19269 | 'Quus' means the same as 'plus' if the ingredients are less than 57; otherwise it just produces 5 [Kripke] |
19271 | No rule can be fully explained [Kripke] |
16383 | Puzzled Pierre has two mental files about the same object [Recanati on Kripke] |
21600 | 'Blue' is not a family resemblance, because all the blues resemble in some respect [Williamson] |
9595 | You might know that the word 'gob' meant 'mouth', but not be competent to use it [Williamson] |
7305 | Kripke's Wittgenstein says meaning 'vanishes into thin air' [Kripke, by Miller,A] |
19270 | If you ask what is in your mind for following the addition rule, meaning just seems to vanish [Kripke] |
21615 | References to the 'greatest prime number' have no reference, but are meaningful [Williamson] |
16394 | Kripke derives accounts of reference and proper names from assumptions about worlds and essences [Stalnaker on Kripke] |
17874 | Kripke has a definitional account of kinds, but not of naming [Almog on Kripke] |
5822 | The important cause is not between dubbing and current use, but between the item and the speaker's information [Evans on Kripke] |
17033 | We may refer through a causal chain, but still change what is referred to [Kripke] |
4689 | Kripke makes reference a largely social matter, external to the mind of the speaker [Kripke, by McGinn] |
17504 | Kripke's theory is important because it gives a collective account of reference [Kripke, by Putnam] |
17035 | We refer through the community, going back to the original referent [Kripke] |
4956 | A description may fix a reference even when it is not true of its object [Kripke] |
16988 | Descriptive reference shows how to refer, how to identify two things, and how to challenge existence [Kripke, by PG] |
17029 | It can't be necessary that Aristotle had the properties commonly attributed to him [Kripke] |
17032 | Even if Gödel didn't produce his theorems, he's still called 'Gödel' [Kripke] |
18038 | The 't' and 'f' of formal semantics has no philosophical interest, and may not refer to true and false [Williamson] |
19534 | How does inferentialism distinguish the patterns of inference that are essential to meaning? [Williamson] |
19535 | Internalist inferentialism has trouble explaining how meaning and reference relate [Williamson] |
19533 | Inferentialist semantics relies on internal inference relations, not on external references [Williamson] |
11076 | Community implies assertability-conditions rather than truth-conditions semantics [Kripke, by Hanna] |
19532 | Truth-conditional referential semantics is externalist, referring to worldly items [Williamson] |
14893 | Rigid designation creates a puzzle - why do some necessary truths appear to be contingent? [Kripke, by Maciŕ/Garcia-Carpentiro] |
21624 | It is known that there is a cognitive loss in identifying propositions with possible worlds [Williamson] |
19216 | Propositions (such as 'that dog is barking') only exist if their items exist [Williamson] |
11075 | The sceptical rule-following paradox is the basis of the private language argument [Kripke, by Hanna] |
9600 | If languages are intertranslatable, and cognition is innate, then cultures are all similar [Williamson] |
22745 | Pherecydes said the first principle and element is earth [Pherecydes, by Sext.Empiricus] |
4963 | The properties that fix reference are contingent, the properties involving meaning are necessary [Kripke] |
17056 | Terms for natural kinds are very close to proper names [Kripke] |
17053 | Gold's atomic number might not be 79, but if it is, could non-79 stuff be gold? [Kripke] |
4964 | 'Cats are animals' has turned out to be a necessary truth [Kripke] |
6765 | Nominal essence may well be neither necessary nor sufficient for a natural kind [Kripke, by Bird] |
9387 | The scientific discovery (if correct) that gold has atomic number 79 is a necessary truth [Kripke] |
17054 | Scientific discoveries about gold are necessary truths [Kripke] |
17057 | Once we've found that heat is molecular motion, then that's what it is, in all possible worlds [Kripke] |
4965 | Science searches basic structures in search of essences [Kripke] |
17050 | Tigers may lack all the properties we originally used to identify them [Kripke] |
17049 | 'Tiger' designates a species, and merely looking like the species is not enough [Kripke] |
17051 | The original concept of 'cat' comes from paradigmatic instances [Kripke] |
15133 | A thing can't be the only necessary existent, because its singleton set would be as well [Williamson] |
5883 | Pherecydes was the first to say that the soul is eternal [Pherecydes, by Cicero] |