33 ideas
5750 | Consistency is modal, saying propositions are consistent if they could be true together [Melia] |
5737 | Predicate logic has connectives, quantifiers, variables, predicates, equality, names and brackets [Melia] |
5744 | First-order predicate calculus is extensional logic, but quantified modal logic is intensional (hence dubious) [Melia] |
5740 | Second-order logic needs second-order variables and quantification into predicate position [Melia] |
5741 | If every model that makes premises true also makes conclusion true, the argument is valid [Melia] |
4986 | A weaker kind of reductionism than direct translation is the use of 'bridge laws' [Kirk,R] |
5736 | No sort of plain language or levels of logic can express modal facts properly [Melia] |
5735 | Maybe names and predicates can capture any fact [Melia] |
5746 | The Identity of Indiscernibles is contentious for qualities, and trivial for non-qualities [Melia] |
5738 | We may be sure that P is necessary, but is it necessarily necessary? [Melia] |
5732 | 'De re' modality is about things themselves, 'de dicto' modality is about propositions [Melia] |
5739 | Sometimes we want to specify in what ways a thing is possible [Melia] |
5734 | Possible worlds make it possible to define necessity and counterfactuals without new primitives [Melia] |
5742 | In possible worlds semantics the modal operators are treated as quantifiers [Melia] |
5743 | If possible worlds semantics is not realist about possible worlds, logic becomes merely formal [Melia] |
5749 | Possible worlds could be real as mathematics, propositions, properties, or like books [Melia] |
5751 | The truth of propositions at possible worlds are implied by the world, just as in books [Melia] |
3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
5001 | Maybe we should see intentionality and consciousness as a single problem, not two [Kirk,R] |
4993 | If a bird captures a worm, we could say its behaviour is 'about' the worm [Kirk,R] |
5000 | Behaviourism says intentionality is an external relation; language of thought says it's internal [Kirk,R] |
4982 | Dualism implies some brain events with no physical cause, and others with no physical effect [Kirk,R] |
4991 | Behaviourism seems a good theory for intentional states, but bad for phenomenal ones [Kirk,R] |
4994 | Behaviourism offers a good alternative to simplistic unitary accounts of mental relationships [Kirk,R] |
4992 | In 'holistic' behaviourism we say a mental state is a complex of many dispositions [Kirk,R] |
4990 | The inverted spectrum idea is often regarded as an objection to behaviourism [Kirk,R] |
4984 | All meaningful psychological statements can be translated into physics [Kirk,R] |
4998 | Instead of representation by sentences, it can be by a distribution of connectionist strengths [Kirk,R] |
4985 | If mental states are multiply realisable, they could not be translated into physical terms [Kirk,R] |
4997 | It seems unlikely that most concepts are innate, if a theory must be understood to grasp them [Kirk,R] |
4999 | For behaviourists language is just a special kind of behaviour [Kirk,R] |
5748 | We accept unverifiable propositions because of simplicity, utility, explanation and plausibility [Melia] |
4995 | Behaviourists doubt whether reference is a single type of relation [Kirk,R] |