71 ideas
15413 | With four tense operators, all complex tenses reduce to fourteen basic cases [Burgess] |
15415 | The temporal Barcan formulas fix what exists, which seems absurd [Burgess] |
15430 | Is classical logic a part of intuitionist logic, or vice versa? [Burgess] |
15431 | It is still unsettled whether standard intuitionist logic is complete [Burgess] |
15429 | Relevance logic's → is perhaps expressible by 'if A, then B, for that reason' [Burgess] |
15381 | Dyamic logics model changes between classical states, in action, belief, and computing [Uckelman] |
15404 | Technical people see logic as any formal system that can be studied, not a study of argument validity [Burgess] |
15405 | Classical logic neglects the non-mathematical, such as temporality or modality [Burgess] |
15427 | The Cut Rule expresses the classical idea that entailment is transitive [Burgess] |
15421 | Classical logic neglects counterfactuals, temporality and modality, because maths doesn't use them [Burgess] |
15403 | Philosophical logic is a branch of logic, and is now centred in computer science [Burgess] |
15407 | Formalising arguments favours lots of connectives; proving things favours having very few [Burgess] |
15424 | Asserting a disjunction from one disjunct seems odd, but can be sensible, and needed in maths [Burgess] |
15409 | All occurrences of variables in atomic formulas are free [Burgess] |
15414 | The denotation of a definite description is flexible, rather than rigid [Burgess] |
4098 | The theory of descriptions supports internalism, since they are thinkable when the object is non-existent [Crane] |
15406 | 'Induction' and 'recursion' on complexity prove by connecting a formula to its atomic components [Burgess] |
15425 | The sequent calculus makes it possible to have proof without transitivity of entailment [Burgess] |
15426 | We can build one expanding sequence, instead of a chain of deductions [Burgess] |
15408 | 'Tautologies' are valid formulas of classical sentential logic - or substitution instances in other logics [Burgess] |
15418 | Validity (for truth) and demonstrability (for proof) have correlates in satisfiability and consistency [Burgess] |
15412 | Models leave out meaning, and just focus on truth values [Burgess] |
15411 | We only need to study mathematical models, since all other models are isomorphic to these [Burgess] |
15416 | We aim to get the technical notion of truth in all models matching intuitive truth in all instances [Burgess] |
15428 | The Liar seems like a truth-value 'gap', but dialethists see it as a 'glut' [Burgess] |
4077 | Aesthetic properties of thing supervene on their physical properties [Crane] |
4078 | Constitution (as in a statue constituted by its marble) is supervenience without identity [Crane] |
4082 | The distinction between 'resultant' properties (weight) and 'emergent' properties is a bit vague [Crane] |
4083 | If mental properties are emergent they add a new type of causation, and physics is not complete [Crane] |
4079 | Properties are causes [Crane] |
4068 | Traditional substance is separate from properties and capable of independent existence [Crane] |
15420 | De re modality seems to apply to objects a concept intended for sentences [Burgess] |
15419 | General consensus is S5 for logical modality of validity, and S4 for proof [Burgess] |
15417 | Logical necessity has two sides - validity and demonstrability - which coincide in classical logic [Burgess] |
15422 | Three conditionals theories: Materialism (material conditional), Idealism (true=assertable), Nihilism (no truth) [Burgess] |
15423 | It is doubtful whether the negation of a conditional has any clear meaning [Burgess] |
4096 | Maybe beliefs don't need to be conscious, if you are not conscious of the beliefs guiding your actions [Crane] |
4097 | Maybe there are two kinds of belief - 'de re' beliefs and 'de dicto' beliefs [Crane] |
4093 | Many cases of knowing how can be expressed in propositional terms (like how to get somewhere) [Crane] |
4108 | Phenol-thio-urea tastes bitter to three-quarters of people, but to the rest it is tasteless, so which is it? [Crane] |
4105 | The traditional supports for the sense datum theory were seeing double and specks before one's eyes [Crane] |
4104 | One can taste that the wine is sour, and one can also taste the sourness of the wine [Crane] |
4101 | If we smell something we are aware of the smell separately, but we don't perceive a 'look' when we see [Crane] |
4102 | The problems of perception disappear if it is a relation to an intentional state, not to an object or sense datum [Crane] |
4109 | If perception is much richer than our powers of description, this suggests that it is non-conceptual [Crane] |
4103 | The adverbial theory of perceptions says it is the experiences which have properties, not the objects [Crane] |
4065 | Is knowledge just a state of mind, or does it also involve the existence of external things? [Crane] |
4092 | The core of the consciousness problem is the case of Mary, zombies, and the Hard Question [Crane] |
4087 | Intentionalism does not require that all mental states be propositional attitudes [Crane] |
4095 | Object-directed attitudes like love are just as significant as propositional attitudes [Crane] |
4106 | If someone removes their glasses the content of experience remains, but the quality changes [Crane] |
4089 | Pains have a region of the body as their intentional content, not some pain object [Crane] |
4090 | Weak intentionalism says qualia are extra properties; strong intentionalism says they are intentional [Crane] |
4107 | With inverted qualia a person's experiences would change, but their beliefs remain the same [Crane] |
4069 | Descartes did not think of minds as made of a substance, because they are not divisible [Crane] |
4074 | Functionalism defines mental states by their causal properties, which rules out epiphenomenalism [Crane] |
4091 | The problems of misrepresentation and error have dogged physicalist reductions of intentionality [Crane] |
4070 | Properties dualism says mental properties are distinct from physical, despite a single underlying substance [Crane] |
4084 | Non-reductive physicalism seeks an explanation of supervenience, but emergentists accept it as basic [Crane] |
4080 | If mental supervenes on the physical, then every physical cause will be accompanied by a mental one [Crane] |
4075 | Identity theory is either of particular events, or of properties, depending on your theory of causation [Crane] |
4085 | Physicalism may be the source of the mind-body problem, rather than its solution [Crane] |
4073 | Overdetermination occurs if two events cause an effect, when each would have caused it alone [Crane] |
4072 | The completeness of physics must be an essential component of any physicalist view of mind [Crane] |
4094 | Experience teaches us propositions, because we can reason about our phenomenal experience [Crane] |
4100 | The Twin Earth argument depends on reference being determined by content, which may be false. [Crane] |
4067 | Broad content entails the existence of the object of the thought [Crane] |
4063 | In intensional contexts, truth depends on how extensions are conceived. [Crane] |
4071 | Causation can be seen in counterfactual terms, or as increased probability, or as energy flow [Crane] |
4076 | Causes are properties, not events, because properties are what make a difference in a situation [Crane] |
4066 | It seems that 'exists' could sometimes be a predicate [Crane] |