113 ideas
2512 | Philosophy is a battle against the bewitchment of our intelligence by means of language [Wittgenstein] |
4148 | What is your aim in philosophy? - To show the fly the way out of the fly-bottle [Wittgenstein] |
22490 | Bring words back from metaphysics to everyday use [Wittgenstein] |
6566 | The problem is to explain the role of contradiction in social life [Wittgenstein] |
6052 | Definitions identify two concepts, so they presuppose identity [McGinn] |
6064 | Regresses are only vicious in the context of an explanation [McGinn] |
6088 | Truth is a method of deducing facts from propositions [McGinn] |
6084 | 'Snow does not fall' corresponds to snow does fall [McGinn] |
6085 | The idea of truth is built into the idea of correspondence [McGinn] |
6083 | The coherence theory of truth implies idealism, because facts are just coherent beliefs [McGinn] |
6086 | Truth is the property of propositions that makes it possible to deduce facts [McGinn] |
6087 | Without the disquotation device for truth, you could never form beliefs from others' testimony [McGinn] |
10859 | A set is 'well-ordered' if every subset has a first element [Clegg] |
10857 | Set theory made a closer study of infinity possible [Clegg] |
10864 | Any set can always generate a larger set - its powerset, of subsets [Clegg] |
10872 | Extensionality: Two sets are equal if and only if they have the same elements [Clegg] |
10875 | Pairing: For any two sets there exists a set to which they both belong [Clegg] |
10876 | Unions: There is a set of all the elements which belong to at least one set in a collection [Clegg] |
10878 | Infinity: There exists a set of the empty set and the successor of each element [Clegg] |
10877 | Powers: All the subsets of a given set form their own new powerset [Clegg] |
10879 | Choice: For every set a mechanism will choose one member of any non-empty subset [Clegg] |
10871 | Axiom of Existence: there exists at least one set [Clegg] |
10874 | Specification: a condition applied to a set will always produce a new set [Clegg] |
6051 | In 'x is F and x is G' we must assume the identity of x in the two statements [McGinn] |
6055 | Both non-contradiction and excluded middle need identity in their formulation [McGinn] |
6059 | Identity is unitary, indefinable, fundamental and a genuine relation [McGinn] |
18743 | Wittgenstein says we want the grammar of problems, not their first-order logical structure [Wittgenstein, by Horsten/Pettigrew] |
4139 | Naming is a preparation for description [Wittgenstein] |
4946 | A name is not determined by a description, but by a cluster or family [Wittgenstein, by Kripke] |
6067 | Existential quantifiers just express the quantity of things, leaving existence to the predicate 'exists' [McGinn] |
6042 | The quantifier is overrated as an analytical tool [McGinn] |
6069 | 'Partial quantifier' would be a better name than 'existential quantifier', as no existence would be implied [McGinn] |
6068 | We need an Intentional Quantifier ("some of the things we talk about.."), so existence goes into the proposition [McGinn] |
10880 | Mathematics can be 'pure' (unapplied), 'real' (physically grounded); or 'applied' (just applicable) [Clegg] |
10860 | An ordinal number is defined by the set that comes before it [Clegg] |
10861 | Beyond infinity cardinals and ordinals can come apart [Clegg] |
10854 | Transcendental numbers can't be fitted to finite equations [Clegg] |
10858 | By adding an axis of imaginary numbers, we get the useful 'number plane' instead of number line [Clegg] |
10853 | Either lack of zero made early mathematics geometrical, or the geometrical approach made zero meaningless [Clegg] |
10866 | Cantor's account of infinities has the shaky foundation of irrational numbers [Clegg] |
10869 | The Continuum Hypothesis is independent of the axioms of set theory [Clegg] |
10862 | The 'continuum hypothesis' says aleph-one is the cardinality of the reals [Clegg] |
6070 | Existence is a primary quality, non-existence a secondary quality [McGinn] |
6062 | Existence can't be analysed as instantiating a property, as instantiation requires existence [McGinn] |
6065 | We can't analyse the sentence 'something exists' in terms of instantiated properties [McGinn] |
6082 | If causal power is the test for reality, that will exclude necessities and possibilities [McGinn] |
6075 | Facts are object-plus-extension, or property-plus-set-of-properties, or object-plus-property [McGinn] |
15106 | Essence is expressed by grammar [Wittgenstein] |
6058 | Identity propositions are not always tautological, and have a key epistemic role [McGinn] |
6053 | Identity is as basic as any concept could ever be [McGinn] |
6043 | Type-identity is close similarity in qualities [McGinn] |
6045 | It is best to drop types of identity, and speak of 'identity' or 'resemblance' [McGinn] |
6044 | Qualitative identity is really numerical identity of properties [McGinn] |
6046 | Qualitative identity can be analysed into numerical identity of the type involved [McGinn] |
6054 | Sherlock Holmes does not exist, but he is self-identical [McGinn] |
6066 | Existence is a property of all objects, but less universal than self-identity, which covers even conceivable objects [McGinn] |
6047 | All identity is necessary, though identity statements can be contingently true [McGinn] |
6048 | Leibniz's Law is so fundamental that it almost defines the concept of identity [McGinn] |
6049 | Leibniz's Law says 'x = y iff for all P, Px iff Py' [McGinn] |
6050 | Leibniz's Law presupposes the notion of property identity [McGinn] |
6080 | Modality is not objects or properties, but the type of binding of objects to properties [McGinn] |
6079 | If 'possible' is explained as quantification across worlds, there must be possible worlds [McGinn] |
6600 | The belief that fire burns is like the fear that it burns [Wittgenstein] |
4153 | Are sense-data the material of which the universe is made? [Wittgenstein] |
6501 | As sense-data are necessarily private, they are attacked by Wittgenstein's objections [Wittgenstein, by Robinson,H] |
6081 | Necessity and possibility are big threats to the empiricist view of knowledge [McGinn] |
11079 | How do I decide when to accept or obey an intuition? [Wittgenstein] |
6071 | Scepticism about reality is possible because existence isn't part of appearances [McGinn] |
4160 | One can mistrust one's own senses, but not one's own beliefs [Wittgenstein] |
19273 | I don't have the opinion that people have minds; I just treat them as such [Wittgenstein] |
5663 | It is irresponsible to generalise from my own case of pain to other people's [Wittgenstein] |
19272 | To imagine another's pain by my own, I must imagine a pain I don't feel, by one I do feel [Wittgenstein] |
4161 | If a lion could talk, we could not understand him [Wittgenstein] |
7392 | If a lion could talk, it would be nothing like other lions [Dennett on Wittgenstein] |
5676 | To say that I 'know' I am in pain means nothing more than that I AM in pain [Wittgenstein] |
4154 | Why are we not aware of the huge gap between mind and brain in ordinary life? [Wittgenstein] |
6165 | Every course of action can either accord or conflict with a rule, so there is no accord or conflict [Wittgenstein] |
4143 | One cannot obey a rule 'privately', because that is a practice, not the same as thinking one is obeying [Wittgenstein] |
7092 | If individuals can't tell if they are following a rule, how does a community do it? [Grayling on Wittgenstein] |
4158 | An 'inner process' stands in need of outward criteria [Wittgenstein] |
4138 | Is white simple, or does it consist of the colours of the rainbow? [Wittgenstein] |
7055 | Externalist accounts of mental content begin in Wittgenstein [Wittgenstein, by Heil] |
12576 | Possessing a concept is knowing how to go on [Wittgenstein, by Peacocke] |
4157 | Concepts direct our interests and investigations, and express those interests [Wittgenstein] |
12606 | Man learns the concept of the past by remembering [Wittgenstein] |
4141 | Various games have a 'family resemblance', as their similarities overlap and criss-cross [Wittgenstein] |
23450 | Wittgenstein rejected his earlier view that the form of language is the form of the world [Wittgenstein, by Morris,M] |
4150 | Asking about verification is only one way of asking about the meaning of a proposition [Wittgenstein] |
4137 | In the majority of cases the meaning of a word is its use in the language [Wittgenstein] |
6567 | For Wittgenstein, words are defined by their use, just as chess pieces are [Wittgenstein, by Fogelin] |
6169 | We do not achieve meaning and understanding in our heads, but in the world [Wittgenstein, by Rowlands] |
4155 | We all seem able to see quite clearly how sentences represent things when we use them [Wittgenstein] |
4142 | To understand a sentence means to understand a language [Wittgenstein] |
4149 | We don't have 'meanings' in our minds in addition to verbal expressions [Wittgenstein] |
4156 | Make the following experiment: say "It's cold here" and mean "It's warm here" [Wittgenstein] |
4145 | How do words refer to sensations? [Wittgenstein] |
4140 | The standard metre in Paris is neither one metre long nor not one metre long [Wittgenstein] |
6077 | Semantics should not be based on set-membership, but on instantiation of properties in objects [McGinn] |
6074 | Clearly predicates have extensions (applicable objects), but are the extensions part of their meaning? [McGinn] |
4136 | To imagine a language means to imagine a form of life [Wittgenstein] |
6166 | Was Wittgenstein's problem between individual and community, or between occasions for an individual? [Rowlands on Wittgenstein] |
7875 | If a brilliant child invented a name for a private sensation, it couldn't communicate it [Wittgenstein] |
4146 | We cannot doublecheck mental images for correctness (or confirm news with many copies of the paper) [Wittgenstein] |
4147 | If we only named pain by our own case, it would be like naming beetles by looking in a private box [Wittgenstein] |
5659 | If the reference is private, that is incompatible with the sense being public [Wittgenstein, by Scruton] |
4152 | Getting from perceptions to words cannot be a private matter; the rules need an institution of use [Wittgenstein] |
4144 | Common human behaviour enables us to interpret an unknown language [Wittgenstein] |
11049 | To communicate, language needs agreement in judgment as well as definition [Wittgenstein] |
6658 | What is left over if I subtract my arm going up from my raising my arm? [Wittgenstein] |
6072 | If Satan is the most imperfect conceivable being, he must have non-existence [McGinn] |
6073 | I think the fault of the Ontological Argument is taking the original idea to be well-defined [McGinn] |
4151 | Grammar tells what kind of object anything is - and theology is a kind of grammar [Wittgenstein] |
4159 | The human body is the best picture of the human soul [Wittgenstein] |