111 ideas
6095 | The business of metaphysics is to describe the world [Russell] |
6106 | Reducing entities and premisses makes error less likely [Russell] |
6090 | Facts make propositions true or false, and are expressed by whole sentences [Russell] |
18348 | Not only atomic truths, but also general and negative truths, have truth-makers [Russell, by Rami] |
9672 | Free logic is one of the few first-order non-classical logics [Priest,G] |
9697 | X1 x X2 x X3... x Xn indicates the 'cartesian product' of those sets [Priest,G] |
9685 | <a,b&62; is a set whose members occur in the order shown [Priest,G] |
9674 | {x; A(x)} is a set of objects satisfying the condition A(x) [Priest,G] |
9673 | {a1, a2, ...an} indicates that a set comprising just those objects [Priest,G] |
9675 | a ∈ X says a is an object in set X; a ∉ X says a is not in X [Priest,G] |
9676 | {a} is the 'singleton' set of a (not the object a itself) [Priest,G] |
9677 | Φ indicates the empty set, which has no members [Priest,G] |
9681 | X = Y means the set X equals the set Y [Priest,G] |
9679 | X⊂Y means set X is a 'proper subset' of set Y [Priest,G] |
9678 | X⊆Y means set X is a 'subset' of set Y [Priest,G] |
9682 | X∪Y indicates the 'union' of all the things in sets X and Y [Priest,G] |
9683 | X ∩ Y indicates the 'intersection' of sets X and Y, the objects which are in both sets [Priest,G] |
9684 | Y - X is the 'relative complement' of X with respect to Y; the things in Y that are not in X [Priest,G] |
9695 | An 'ordered pair' (or ordered n-tuple) is a set with its members in a particular order [Priest,G] |
9696 | A 'cartesian product' of sets is the set of all the n-tuples with one member in each of the sets [Priest,G] |
9687 | A 'member' of a set is one of the objects in the set [Priest,G] |
9686 | A 'set' is a collection of objects [Priest,G] |
9688 | A 'singleton' is a set with only one member [Priest,G] |
9689 | The 'empty set' or 'null set' has no members [Priest,G] |
9691 | A 'proper subset' is smaller than the containing set [Priest,G] |
9690 | A set is a 'subset' of another set if all of its members are in that set [Priest,G] |
9692 | The 'union' of two sets is a set containing all the things in either of the sets [Priest,G] |
9693 | The 'intersection' of two sets is a set of the things that are in both sets [Priest,G] |
9694 | The 'relative complement' is things in the second set not in the first [Priest,G] |
9698 | The 'induction clause' says complex formulas retain the properties of their basic formulas [Priest,G] |
9680 | The empty set Φ is a subset of every set (including itself) [Priest,G] |
6103 | Normally a class with only one member is a problem, because the class and the member are identical [Russell] |
6092 | In a logically perfect language, there will be just one word for every simple object [Russell] |
6101 | Romulus does not occur in the proposition 'Romulus did not exist' [Russell] |
6102 | You can understand 'author of Waverley', but to understand 'Scott' you must know who it applies to [Russell] |
10423 | There are a set of criteria for pinning down a logically proper name [Russell, by Sainsbury] |
7744 | Treat description using quantifiers, and treat proper names as descriptions [Russell, by McCullogh] |
10426 | A name has got to name something or it is not a name [Russell] |
6104 | Numbers are classes of classes, and hence fictions of fictions [Russell] |
2392 | Properties supervene if you can't have one without the other [Chalmers] |
2393 | Logical supervenience is when one set of properties must be accompanied by another set [Chalmers] |
2394 | Natural supervenience is when one set of properties is always accompanied by another set [Chalmers] |
2398 | Reduction requires logical supervenience [Chalmers] |
21708 | Russell's new logical atomist was of particulars, universals and facts (not platonic propositions) [Russell, by Linsky,B] |
19051 | Russell's atomic facts are actually compounds, and his true logical atoms are sense data [Russell, by Quine] |
6089 | Logical atomism aims at logical atoms as the last residue of analysis [Russell] |
6100 | Once you have enumerated all the atomic facts, there is a further fact that those are all the facts [Russell] |
6105 | Logical atoms aims to get down to ultimate simples, with their own unique reality [Russell] |
16048 | Physicalism says in any two physically indiscernible worlds the positive facts are the same [Chalmers, by Bennett,K] |
21709 | You can't name all the facts, so they are not real, but are what propositions assert [Russell] |
18376 | Russell asserts atomic, existential, negative and general facts [Russell, by Armstrong] |
5465 | Modern trope theory tries, like logical atomism, to reduce things to elementary states [Russell, by Ellis] |
6060 | 'Existence' means that a propositional function is sometimes true [Russell] |
2401 | All facts are either physical, experiential, laws of nature, second-order final facts, or indexical facts about me [Chalmers] |
6099 | Modal terms are properties of propositional functions, not of propositions [Russell] |
16425 | Metaphysical necessity is a bizarre, brute and inexplicable constraint on possibilities [Chalmers] |
16424 | Strong metaphysical necessity allows fewer possible worlds than logical necessity [Chalmers] |
16426 | How can we know the metaphysical impossibilities; the a posteriori only concerns this world [Chalmers] |
13956 | Kripke is often taken to be challenging a priori insights into necessity [Chalmers] |
13963 | Maybe logical possibility does imply conceivability - by an ideal mind [Chalmers] |
2407 | One can wrongly imagine two things being non-identical even though they are the same (morning/evening star) [Chalmers] |
2390 | We attribute beliefs to people in order to explain their behaviour [Chalmers] |
2397 | 'Perception' means either an action or a mental state [Chalmers] |
2422 | The structure of the retina has already simplified the colour information which hits it [Chalmers] |
6098 | Perception goes straight to the fact, and not through the proposition [Russell] |
2396 | Reductive explanation is not the be-all and the end-all of explanation [Chalmers] |
2426 | Why are minds homogeneous and brains fine-grained? [Chalmers] |
2391 | Can we be aware but not conscious? [Chalmers] |
2412 | Can we explain behaviour without consciousness? [Chalmers] |
2386 | Hard Problem: why brains experience things [Chalmers] |
2416 | What turns awareness into consciousness? [Chalmers] |
2423 | Going down the scale, where would consciousness vanish? [Chalmers] |
2403 | Nothing in physics even suggests consciousness [Chalmers] |
2400 | Is intentionality just causal connections? [Chalmers] |
2389 | Sometimes we don't notice our pains [Chalmers] |
2419 | Why should qualia fade during silicon replacement? [Chalmers] |
2402 | It seems possible to invert qualia [Chalmers] |
2415 | In blindsight both qualia and intentionality are missing [Chalmers] |
2414 | When distracted we can totally misjudge our own experiences [Chalmers] |
2409 | Maybe dualist interaction is possible at the quantum level? [Chalmers] |
2411 | Supervenience makes interaction laws possible [Chalmers] |
2424 | It is odd if experience is a very recent development [Chalmers] |
2413 | If I can have a zombie twin, my own behaviour doesn't need consciousness [Chalmers] |
2417 | Does consciousness arise from fine-grained non-reductive functional organisation? [Chalmers] |
2428 | Maybe the whole Chinese Room understands Chinese, though the person doesn't [Chalmers] |
2418 | The Chinese Mind doesn't seem conscious, but then nor do brains from outside [Chalmers] |
2406 | H2O causes liquidity, but no one is a dualist about that [Chalmers] |
2405 | Perhaps consciousness is physically based, but not logically required by that base [Chalmers] |
2395 | Zombies imply natural but not logical supervenience [Chalmers] |
9318 | Phenomenal consciousness is fundamental, with no possible nonphenomenal explanation [Chalmers, by Kriegel/Williford] |
2404 | Nothing external shows whether a mouse is conscious [Chalmers] |
2429 | Temperature (etc.) is agreed to be reducible, but it is multiply realisable [Chalmers] |
6097 | The theory of error seems to need the existence of the non-existent [Russell] |
18403 | Indexicals may not be objective, but they are a fact about the world as I see it [Chalmers] |
9022 | Russell uses 'propositional function' to refer to both predicates and to attributes [Quine on Russell] |
14708 | Rationalist 2D semantics posits necessary relations between meaning, apriority, and possibility [Chalmers, by Schroeter] |
13958 | The 'primary intension' is non-empirical, and fixes extensions based on the actual-world reference [Chalmers] |
2399 | Meaning has split into primary ("watery stuff"), and secondary counterfactual meaning ("H2O") [Chalmers] |
13959 | The 'secondary intension' is determined by rigidifying (as H2O) the 'water' picked out in the actual world [Chalmers] |
13957 | Primary and secondary intensions are the a priori (actual) and a posteriori (counterfactual) aspects of meaning [Chalmers] |
13961 | We have 'primary' truth-conditions for the actual world, and derived 'secondary' ones for counterfactual worlds [Chalmers] |
6091 | Propositions don't name facts, because each fact corresponds to a proposition and its negation [Russell] |
13962 | Two-dimensional semantics gives a 'primary' and 'secondary' proposition for each statement [Chalmers] |
21702 | In 1918 still believes in nonlinguistic analogues of sentences, but he now calls them 'facts' [Russell, by Quine] |
6094 | An inventory of the world does not need to include propositions [Russell] |
6096 | I no longer believe in propositions, especially concerning falsehoods [Russell] |
21712 | I know longer believe in shadowy things like 'that today is Wednesday' when it is actually Tuesday [Russell] |
13960 | In two-dimensional semantics we have two aspects to truth in virtue of meaning [Chalmers] |
6093 | The names in a logically perfect language would be private, and could not be shared [Russell] |
16427 | Presumably God can do anything which is logically possible [Chalmers] |
6119 | You can discuss 'God exists', so 'God' is a description, not a name [Russell] |