33 ideas
22438 | Philosophy is largely concerned with finding the minimum that science could get by with [Quine] |
22436 | Logicians don't paraphrase logic into language, because they think in the symbolic language [Quine] |
22431 | Good algorithms and theories need many occurrences of just a few elements [Quine] |
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] |
10017 | Truth in a model is more tractable than the general notion of truth [Hodes] |
10018 | Truth is quite different in interpreted set theory and in the skeleton of its language [Hodes] |
22435 | The logician's '→' does not mean the English if-then [Quine] |
22433 | It is important that the quantification over temporal entities is timeless [Quine] |
13979 | Logic studies consequence, compatibility, contradiction, corroboration, necessitation, grounding.... [Ryle] |
10015 | Higher-order logic may be unintelligible, but it isn't set theory [Hodes] |
22437 | Logical languages are rooted in ordinary language, and that connection must be kept [Quine] |
10011 | Identity is a level one relation with a second-order definition [Hodes] |
22434 | Reduction to logical forms first simplifies idioms and grammar, then finds a single reading of it [Quine] |
10016 | When an 'interpretation' creates a model based on truth, this doesn't include Fregean 'sense' [Hodes] |
10027 | Mathematics is higher-order modal logic [Hodes] |
10026 | Arithmetic must allow for the possibility of only a finite total of objects [Hodes] |
10021 | It is claimed that numbers are objects which essentially represent cardinality quantifiers [Hodes] |
10022 | Numerical terms can't really stand for quantifiers, because that would make them first-level [Hodes] |
10023 | Talk of mirror images is 'encoded fictions' about real facts [Hodes] |
13988 | Many sentences do not state facts, but there are no facts which could not be stated [Ryle] |
22432 | Normally conditionals have no truth value; it is the consequent which has a conditional truth value [Quine] |
13983 | Representation assumes you know the ideas, and the reality, and the relation between the two [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] |
22430 | If we understand a statement, we know the circumstances of its truth [Quine] |
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] |
13713 | Quine holds time to be 'space-like': past objects are as real as spatially remote ones [Quine, by Sider] |