44 ideas
| 18005 | Philosophy aims to become more disciplined about categories [Ryle] |
| 5750 | Consistency is modal, saying propositions are consistent if they could be true together [Melia] |
| 18004 | We can't do philosophy without knowledge of types and categories [Ryle] |
| 13985 | A true proposition seems true of one fact, but a false proposition seems true of nothing at all. [Ryle] |
| 13984 | Two maps might correspond to one another, but they are only 'true' of the country they show [Ryle] |
| 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] |
| 13979 | Logic studies consequence, compatibility, contradiction, corroboration, necessitation, grounding.... [Ryle] |
| 10800 | The values of variables can't determine existence, because they are just expressions [Ryle, by Quine] |
| 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] |
| 5735 | Maybe names and predicates can capture any fact [Melia] |
| 5736 | No sort of plain language or levels of logic can express modal facts properly [Melia] |
| 13988 | Many sentences do not state facts, but there are no facts which could not be stated [Ryle] |
| 14297 | A dispositional property is not a state, but a liability to be in some state, given a condition [Ryle] |
| 14300 | No physical scientist now believes in an occult force-exerting agency [Ryle] |
| 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] |
| 13983 | Representation assumes you know the ideas, and the reality, and the relation between the two [Ryle] |
| 2622 | Can one movement have a mental and physical cause? [Ryle] |
| 1353 | Reporting on myself has the same problems as reporting on you [Ryle] |
| 1354 | We cannot introspect states of anger or panic [Ryle] |
| 2624 | I cannot prepare myself for the next thought I am going to think [Ryle] |
| 2620 | Dualism is a category mistake [Ryle] |
| 2388 | Behaviour depends on desires as well as beliefs [Chalmers on Ryle] |
| 3354 | You can't explain mind as dispositions, if they aren't real [Benardete,JA on Ryle] |
| 2387 | How can behaviour be the cause of behaviour? [Chalmers on Ryle] |
| 13980 | If you like judgments and reject propositions, what are the relata of incoherence in a judgment? [Ryle] |
| 13978 | Husserl and Meinong wanted objective Meanings and Propositions, as subject-matter for Logic [Ryle] |
| 13977 | When I utter a sentence, listeners grasp both my meaning and my state of mind [Ryle] |
| 5748 | We accept unverifiable propositions because of simplicity, utility, explanation and plausibility [Melia] |
| 13976 | 'Propositions' name what is thought, because 'thoughts' and 'judgments' are too ambiguous [Ryle] |
| 13981 | Several people can believe one thing, or make the same mistake, or share one delusion [Ryle] |
| 13987 | We may think in French, but we don't know or believe in French [Ryle] |
| 13989 | There are no propositions; they are just sentences, used for thinking, which link to facts in a certain way [Ryle] |
| 13982 | If we accept true propositions, it is hard to reject false ones, and even nonsensical ones [Ryle] |
| 1513 | The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus] |