46 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] |
| 10405 | In the iterative conception of sets, they form a natural hierarchy [Swoyer] |
| 10407 | Logical Form explains differing logical behaviour of similar sentences [Swoyer] |
| 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] |
| 10421 | Supervenience is nowadays seen as between properties, rather than linguistic [Swoyer] |
| 10410 | Anti-realists can't explain different methods to measure distance [Swoyer] |
| 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] |
| 10399 | If a property such as self-identity can only be in one thing, it can't be a universal [Swoyer] |
| 10416 | Can properties have parts? [Swoyer] |
| 10417 | There are only first-order properties ('red'), and none of higher-order ('coloured') [Swoyer] |
| 10413 | The best-known candidate for an identity condition for properties is necessary coextensiveness [Swoyer] |
| 10402 | Various attempts are made to evade universals being wholly present in different places [Swoyer] |
| 10400 | Conceptualism says words like 'honesty' refer to concepts, not to properties [Swoyer] |
| 10403 | If properties are abstract objects, then their being abstract exemplifies being abstract [Swoyer] |
| 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] |
| 10406 | One might hope to reduce possible worlds to properties [Swoyer] |
| 5751 | The truth of propositions at possible worlds are implied by the world, just as in books [Melia] |
| 5806 | Belief is the power of metarepresentation [Dretske] |
| 5801 | A mouse hearing a piano played does not believe it, because it lacks concepts and understanding [Dretske] |
| 10404 | Extreme empiricists can hardly explain anything [Swoyer] |
| 5802 | Representations are in the head, but their content is not, as stories don't exist in their books [Dretske] |
| 5809 | Some activities are performed better without consciousness of them [Dretske] |
| 5808 | Qualia are just the properties objects are represented as having [Dretske] |
| 5803 | In a representational theory of mind, introspection is displaced perception [Dretske] |
| 5807 | Introspection is the same as the experience one is introspecting [Dretske] |
| 5805 | Introspection does not involve looking inwards [Dretske] |
| 5804 | A representational theory of the mind is an externalist theory of the mind [Dretske] |
| 5800 | All mental facts are representation, which consists of informational functions [Dretske] |
| 10408 | Intensions are functions which map possible worlds to sets of things denoted by an expression [Swoyer] |
| 10409 | Research suggests that concepts rely on typical examples [Swoyer] |
| 5748 | We accept unverifiable propositions because of simplicity, utility, explanation and plausibility [Melia] |
| 10401 | The F and G of logic cover a huge range of natural language combinations [Swoyer] |
| 10420 | Maybe a proposition is just a property with all its places filled [Swoyer] |
| 10412 | If laws are mere regularities, they give no grounds for future prediction [Swoyer] |
| 10411 | Two properties can have one power, and one property can have two powers [Swoyer] |