111 ideas
3426 | If one theory is reduced to another, we make fewer independent assumptions about the world [Kim] |
10987 | Three traditional names of rules are 'Simplification', 'Addition' and 'Disjunctive Syllogism' [Read] |
11004 | Necessity is provability in S4, and true in all worlds in S5 [Read] |
11018 | There are fuzzy predicates (and sets), and fuzzy quantifiers and modifiers [Read] |
11011 | Same say there are positive, negative and neuter free logics [Read] |
11020 | Realisms like the full Comprehension Principle, that all good concepts determine sets [Read] |
10986 | Not all validity is captured in first-order logic [Read] |
10972 | The non-emptiness of the domain is characteristic of classical logic [Read] |
11024 | Semantics must precede proof in higher-order logics, since they are incomplete [Read] |
10985 | We should exclude second-order logic, precisely because it captures arithmetic [Read] |
10970 | A theory of logical consequence is a conceptual analysis, and a set of validity techniques [Read] |
10984 | Logical consequence isn't just a matter of form; it depends on connections like round-square [Read] |
10973 | A theory is logically closed, which means infinite premisses [Read] |
11007 | Quantifiers are second-order predicates [Read] |
10978 | In second-order logic the higher-order variables range over all the properties of the objects [Read] |
10971 | A logical truth is the conclusion of a valid inference with no premisses [Read] |
10988 | Any first-order theory of sets is inadequate [Read] |
10975 | Compactness does not deny that an inference can have infinitely many premisses [Read] |
10974 | Compactness is when any consequence of infinite propositions is the consequence of a finite subset [Read] |
10977 | Compactness blocks the proof of 'for every n, A(n)' (as the proof would be infinite) [Read] |
10976 | Compactness makes consequence manageable, but restricts expressive power [Read] |
11014 | Self-reference paradoxes seem to arise only when falsity is involved [Read] |
11025 | Infinite cuts and successors seems to suggest an actual infinity there waiting for us [Read] |
10979 | Although second-order arithmetic is incomplete, it can fully model normal arithmetic [Read] |
10980 | Second-order arithmetic covers all properties, ensuring categoricity [Read] |
10997 | Von Neumann numbers are helpful, but don't correctly describe numbers [Read] |
3431 | Supervenience suggest dependence without reduction (e.g. beauty) [Kim] |
3437 | 'Physical facts determine all the facts' is the physicalists' slogan [Kim] |
11016 | Would a language without vagueness be usable at all? [Read] |
11019 | Supervaluations say there is a cut-off somewhere, but at no particular place [Read] |
11012 | A 'supervaluation' gives a proposition consistent truth-value for classical assignments [Read] |
11013 | Identities and the Indiscernibility of Identicals don't work with supervaluations [Read] |
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] |
3434 | Emergent properties are 'brute facts' (inexplicable), but still cause things [Kim] |
3436 | Should properties be individuated by their causal powers? [Kim] |
10995 | A haecceity is a set of individual properties, essential to each thing [Read] |
11001 | Equating necessity with truth in every possible world is the S5 conception of necessity [Read] |
10989 | The standard view of conditionals is that they are truth-functional [Read] |
10992 | The point of conditionals is to show that one will accept modus ponens [Read] |
11017 | Some people even claim that conditionals do not express propositions [Read] |
3406 | Counterfactuals are either based on laws, or on nearby possible worlds [Kim, by PG] |
10983 | Knowledge of possible worlds is not causal, but is an ontology entailed by semantics [Read] |
10982 | How can modal Platonists know the truth of a modal proposition? [Read] |
10996 | Actualism is reductionist (to parts of actuality), or moderate realist (accepting real abstractions) [Read] |
10981 | A possible world is a determination of the truth-values of all propositions of a domain [Read] |
11000 | If worlds are concrete, objects can't be present in more than one, and can only have counterparts [Read] |
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] |
3397 | Beliefs cause other beliefs [Kim] |
3367 | Both thought and language have intentionality [Kim] |
3365 | Intentionality involves both reference and content [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] |
10998 | The mind abstracts ways things might be, which are nonetheless real [Read] |
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] |
3370 | What behaviour goes with mathematical beliefs? [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] |
3379 | Neurons seem to be very similar and interchangeable [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] |
3439 | Reductionism gets stuck with qualia [Kim] |
3427 | Reductionism is impossible if there aren't any 'bridge laws' between mental and physical [Kim] |
3376 | We can't assess evidence about mind without acknowledging phenomenal properties [Kim] |
3424 | Most modern physicalists are non-reductive property dualists [Kim] |
3362 | Supervenience says all souls are identical, being physically indiscernible [Kim] |
3413 | Zombies and inversion suggest non-reducible supervenience [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] |
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] |
3387 | A culture without our folk psychology would be quite baffling [Kim] |
3386 | Folk psychology has been remarkably durable [Kim] |
3394 | Maybe folk psychology is a simulation, not a theory [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] |
3418 | 'Arthritis in my thigh' requires a social context for its content to be meaningful [Kim] |
3416 | Content may match several things in the environment [Kim] |
3421 | Content is best thought of as truth conditions [Kim] |
3417 | Content depends on other content as well as the facts [Kim] |
3419 | Pain, our own existence, and negative existentials, are not external [Kim] |
11005 | Negative existentials with compositionality make the whole sentence meaningless [Read] |
10966 | A proposition objectifies what a sentence says, as indicative, with secure references [Read] |
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] |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
3401 | A common view is that causal connections must be instances of a law [Kim] |
3407 | Laws are either 'strict', or they involve a 'ceteris paribus' clause [Kim] |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |