165 ideas
2319 | Metaphysics is the clarification of the ontological relationships between different areas of thought [Kim] |
18835 | Logic doesn't have a metaphysical basis, but nor can logic give rise to the metaphysics [Rumfitt] |
3426 | If one theory is reduced to another, we make fewer independent assumptions about the world [Kim] |
18819 | The idea that there are unrecognised truths is basic to our concept of truth [Rumfitt] |
18826 | 'True at a possibility' means necessarily true if what is said had obtained [Rumfitt] |
18803 | Semantics for propositions: 1) validity preserves truth 2) non-contradition 3) bivalence 4) truth tables [Rumfitt] |
12204 | The logic of metaphysical necessity is S5 [Rumfitt] |
18814 | 'Absolute necessity' would have to rest on S5 [Rumfitt] |
18798 | It is the second-order part of intuitionistic logic which actually negates some classical theorems [Rumfitt] |
18799 | Intuitionists can accept Double Negation Elimination for decidable propositions [Rumfitt] |
18830 | Most set theorists doubt bivalence for the Continuum Hypothesis, but still use classical logic [Rumfitt] |
18843 | The iterated conception of set requires continual increase in axiom strength [Rumfitt] |
18836 | A set may well not consist of its members; the empty set, for example, is a problem [Rumfitt] |
18837 | A set can be determinate, because of its concept, and still have vague membership [Rumfitt] |
18845 | If the totality of sets is not well-defined, there must be doubt about the Power Set Axiom [Rumfitt] |
11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
18815 | Logic is higher-order laws which can expand the range of any sort of deduction [Rumfitt] |
9390 | Logic guides thinking, but it isn't a substitute for it [Rumfitt] |
18804 | The case for classical logic rests on its rules, much more than on the Principle of Bivalence [Rumfitt] |
18805 | Classical logic rules cannot be proved, but various lines of attack can be repelled [Rumfitt] |
18827 | If truth-tables specify the connectives, classical logic must rely on Bivalence [Rumfitt] |
12195 | Soundness in argument varies with context, and may be achieved very informally indeed [Rumfitt] |
12199 | There is a modal element in consequence, in assessing reasoning from suppositions [Rumfitt] |
12201 | We reject deductions by bad consequence, so logical consequence can't be deduction [Rumfitt] |
18813 | Logical consequence is a relation that can extended into further statements [Rumfitt] |
18808 | Normal deduction presupposes the Cut Law [Rumfitt] |
18840 | When faced with vague statements, Bivalence is not a compelling principle [Rumfitt] |
12194 | Contradictions include 'This is red and not coloured', as well as the formal 'B and not-B' [Rumfitt] |
11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
18802 | In specifying a logical constant, use of that constant is quite unavoidable [Rumfitt] |
11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
12198 | Geometrical axioms in logic are nowadays replaced by inference rules (which imply the logical truths) [Rumfitt] |
18800 | Introduction rules give deduction conditions, and Elimination says what can be deduced [Rumfitt] |
18809 | Logical truths are just the assumption-free by-products of logical rules [Rumfitt] |
18807 | Monotonicity means there is a guarantee, rather than mere inductive support [Rumfitt] |
18842 | Maybe an ordinal is a property of isomorphic well-ordered sets, and not itself a set [Rumfitt] |
17462 | A single object must not be counted twice, which needs knowledge of distinctness (negative identity) [Rumfitt] |
18834 | Infinitesimals do not stand in a determinate order relation to zero [Rumfitt] |
18846 | Cantor and Dedekind aimed to give analysis a foundation in set theory (rather than geometry) [Rumfitt] |
17461 | Some 'how many?' answers are not predications of a concept, like 'how many gallons?' [Rumfitt] |
4779 | For Kim, events are exemplifications of properties by objects at particular times [Kim, by Psillos] |
10369 | How fine-grained Kim's events are depends on how finely properties are individuated [Kim, by Schaffer,J] |
8976 | If events are ordered triples of items, such things seem to be sets, and hence abstract [Simons on Kim] |
8975 | Events cannot be merely ordered triples, but must specify the link between the elements [Kim, by Simons] |
8974 | Events are composed of an object with an attribute at a time [Kim, by Simons] |
8977 | Since properties like self-identity and being 2+2=4 are timeless, Kim must restrict his properties [Simons on Kim] |
8980 | Kim's theory results in too many events [Simons on Kim] |
2317 | Reductionism is good on light, genes, temperature and transparency [Kim, by PG] |
3536 | Supervenient properties must have matching base properties [Kim] |
2310 | Supervenience is linked to dependence [Kim] |
2315 | Mereological supervenience says wholes are fixed by parts [Kim] |
13745 | Supervenience is not a dependence relation, on the lines of causal, mereological or semantic dependence [Kim] |
13746 | Supervenience is just a 'surface' relation of pattern covariation, which still needs deeper explanation [Kim] |
3431 | Supervenience suggest dependence without reduction (e.g. beauty) [Kim] |
2329 | Causal power is a good way of distinguishing the real from the unreal [Kim] |
3437 | 'Physical facts determine all the facts' is the physicalists' slogan [Kim] |
15456 | Extrinsic properties, unlike intrinsics, imply the existence of a separate object [Kim, by Lewis] |
3430 | Resemblance or similarity is the core of our concept of a property [Kim] |
3432 | Is weight a 'resultant' property of water, but transparency an 'emergent' property? [Kim] |
2320 | Properties can have causal powers lacked by their constituents [Kim] |
3434 | Emergent properties are 'brute facts' (inexplicable), but still cause things [Kim] |
3436 | Should properties be individuated by their causal powers? [Kim] |
9389 | Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt] |
18839 | An object that is not clearly red or orange can still be red-or-orange, which sweeps up problem cases [Rumfitt] |
18838 | The extension of a colour is decided by a concept's place in a network of contraries [Rumfitt] |
14532 | A distinctive type of necessity is found in logical consequence [Rumfitt, by Hale/Hoffmann,A] |
18816 | Metaphysical modalities respect the actual identities of things [Rumfitt] |
12193 | Logical necessity is when 'necessarily A' implies 'not-A is contradictory' [Rumfitt] |
12200 | A logically necessary statement need not be a priori, as it could be unknowable [Rumfitt] |
18825 | S5 is the logic of logical necessity [Rumfitt] |
12202 | Narrow non-modal logical necessity may be metaphysical, but real logical necessity is not [Rumfitt] |
18824 | Since possibilities are properties of the world, calling 'red' the determination of a determinable seems right [Rumfitt] |
18828 | If two possibilities can't share a determiner, they are incompatible [Rumfitt] |
3406 | Counterfactuals are either based on laws, or on nearby possible worlds [Kim, by PG] |
12203 | If a world is a fully determinate way things could have been, can anyone consider such a thing? [Rumfitt] |
18821 | Possibilities are like possible worlds, but not fully determinate or complete [Rumfitt] |
18831 | Medieval logicians said understanding A also involved understanding not-A [Rumfitt] |
2713 | Are sense-data independent, with identity, substance and location? [Tye] |
18820 | In English 'evidence' is a mass term, qualified by 'little' and 'more' [Rumfitt] |
8825 | It seems impossible to logically deduce physical knowledge from indubitable sense data [Kim] |
530 | There are two contradictory arguments about everything [Kim] |
13314 | Protagoras says arguments on both sides are always equal [Kim, by Seneca] |
2065 | Not every person is the measure of all things, but only wise people [Plato on Kim] |
1550 | Why didn't Protagoras begin by saying "a tadpole is the measure of all things"? [Plato on Kim] |
14470 | Explanatory exclusion: there cannot be two separate complete explanations of a single event [Kim] |
3368 | Mind is basically qualities and intentionality, but how do they connect? [Kim] |
3392 | Mind is only interesting if it has causal powers [Kim] |
3396 | Experiment requires mental causation [Kim] |
2318 | Agency, knowledge, reason, memory, psychology all need mental causes [Kim, by PG] |
3397 | Beliefs cause other beliefs [Kim] |
3367 | Both thought and language have intentionality [Kim] |
3365 | Intentionality involves both reference and content [Kim] |
2325 | It seems impossible that an exact physical copy of this world could lack intentionality [Kim] |
3360 | Are pains pure qualia, or do they motivate? [Kim] |
3366 | Pain has no reference or content [Kim] |
3389 | Inverted qualia and zombies suggest experience isn't just functional [Kim] |
3391 | Crosswiring would show that pain and its function are separate [Kim, by PG] |
3422 | Externalism about content makes introspection depend on external evidence [Kim] |
3412 | How do we distinguish our anger from embarrassment? [Kim] |
3363 | We often can't decide what emotion, or even sensation, we are experiencing [Kim] |
3409 | Mental substance causation makes physics incomplete [Kim] |
3399 | If epiphenomenalism were true, we couldn't report consciousness [Kim] |
3390 | Are inverted or absent qualia coherent ideas? [Kim] |
3414 | What could demonstrate that zombies and inversion are impossible? [Kim] |
3359 | Cartesian dualism fails because it can't explain mental causation [Kim] |
3369 | Logical behaviourism translates mental language to behavioural [Kim] |
3428 | Behaviourism reduces mind to behaviour via bridging principles [Kim] |
3380 | Are dispositions real, or just a type of explanation? [Kim] |
3371 | Behaviour depends on lots of mental states together [Kim] |
3372 | Behaviour is determined by society as well as mental states [Kim] |
3373 | Snakes have different pain behaviour from us [Kim] |
3370 | What behaviour goes with mathematical beliefs? [Kim] |
3379 | Neurons seem to be very similar and interchangeable [Kim] |
2324 | Intentionality as function seems possible [Kim] |
3388 | Machine functionalism requires a Turing machine, causal-theoretical version doesn't [Kim] |
3384 | The person couldn't run Searle's Chinese Room without understanding Chinese [Kim] |
3393 | How do functional states give rise to mental causation? [Kim] |
3427 | Reductionism is impossible if there aren't any 'bridge laws' between mental and physical [Kim] |
2314 | Maybe intentionality is reducible, but qualia aren't [Kim] |
3439 | Reductionism gets stuck with qualia [Kim] |
3376 | We can't assess evidence about mind without acknowledging phenomenal properties [Kim] |
3424 | Most modern physicalists are non-reductive property dualists [Kim] |
2313 | Emergentism says there is no explanation for a supervenient property [Kim] |
2328 | The only mental property that might be emergent is that of qualia [Kim] |
2309 | Non-Reductive Physicalism relies on supervenience [Kim] |
3362 | Supervenience says all souls are identical, being physically indiscernible [Kim] |
3413 | Zombies and inversion suggest non-reducible supervenience [Kim] |
2311 | Maybe strong supervenience implies reduction [Kim] |
3374 | Token physicalism isn't reductive; it just says all mental events have some physical properties [Kim] |
3433 | The core of the puzzle is the bridge laws between mind and brain [Kim] |
3377 | Elimination can either be by translation or by causal explanation [Kim] |
3438 | Reductionists deny new causal powers at the higher level [Kim] |
3440 | Without reductionism, mental causation is baffling [Kim] |
2308 | Identity theory was overthrown by multiple realisations and causal anomalies [Kim] |
2322 | Multiple realisation applies to other species, and even one individual over time [Kim] |
2327 | Knowledge and inversion make functionalism about qualia doubtful [Kim] |
3375 | If an orange image is a brain state, are some parts of the brain orange? [Kim] |
3411 | How do we distinguish our attitudes from one another? [Kim] |
2323 | Emotions have both intentionality and qualia [Kim] |
3386 | Folk psychology has been remarkably durable [Kim] |
3394 | Maybe folk psychology is a simulation, not a theory [Kim] |
3387 | A culture without our folk psychology would be quite baffling [Kim] |
3410 | Folk psychology has adapted to Freudianism [Kim] |
3382 | A machine with a mind might still fail the Turing Test [Kim] |
3383 | The Turing Test is too specifically human in its requirements [Kim] |
3408 | Two identical brain states could have different contents in different worlds [Kim] |
3420 | Two types of water are irrelevant to accounts of behaviour [Kim] |
3416 | Content may match several things in the environment [Kim] |
3418 | 'Arthritis in my thigh' requires a social context for its content to be meaningful [Kim] |
3421 | Content is best thought of as truth conditions [Kim] |
3419 | Pain, our own existence, and negative existentials, are not external [Kim] |
3417 | Content depends on other content as well as the facts [Kim] |
18817 | We understand conditionals, but disagree over their truth-conditions [Rumfitt] |
18829 | The truth grounds for 'not A' are the possibilities incompatible with truth grounds for A [Rumfitt] |
11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
3403 | We assume people believe the obvious logical consequences of their known beliefs [Kim] |
3402 | If someone says "I do and don't like x", we don't assume a contradiction [Kim] |
8430 | Causal statements are used to explain, to predict, to control, to attribute responsibility, and in theories [Kim] |
3535 | All observable causes are merely epiphenomena [Kim] |
3401 | A common view is that causal connections must be instances of a law [Kim] |
8396 | Many counterfactuals have nothing to do with causation [Kim, by Tooley] |
8429 | Counterfactuals can express four other relations between events, apart from causation [Kim] |
8428 | Causation is not the only dependency relation expressed by counterfactuals [Kim] |
3407 | Laws are either 'strict', or they involve a 'ceteris paribus' clause [Kim] |
4781 | Many counterfactual truths do not imply causation ('if yesterday wasn't Monday, it isn't Tuesday') [Kim, by Psillos] |