30 ideas
10571 | Concern for rigour can get in the way of understanding phenomena [Fine,K] |
10845 | To be true a sentence must express a proposition, and not be ambiguous or vague or just expressive [Lewis] |
10847 | Truthmakers are about existential grounding, not about truth [Lewis] |
10846 | Truthmaker is correspondence, but without the requirement to be one-to-one [Lewis] |
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] |
10565 | There is no stage at which we can take all the sets to have been generated [Fine,K] |
10564 | We might combine the axioms of set theory with the axioms of mereology [Fine,K] |
13979 | Logic studies consequence, compatibility, contradiction, corroboration, necessitation, grounding.... [Ryle] |
10569 | If you ask what F the second-order quantifier quantifies over, you treat it as first-order [Fine,K] |
10570 | Assigning an entity to each predicate in semantics is largely a technical convenience [Fine,K] |
10573 | Dedekind cuts lead to the bizarre idea that there are many different number 1's [Fine,K] |
10575 | Why should a Dedekind cut correspond to a number? [Fine,K] |
10574 | Unless we know whether 0 is identical with the null set, we create confusions [Fine,K] |
10560 | Set-theoretic imperialists think sets can represent every mathematical object [Fine,K] |
10568 | Logicists say mathematics can be derived from definitions, and can be known that way [Fine,K] |
10563 | A generative conception of abstracts proposes stages, based on concepts of previous objects [Fine,K] |
13988 | Many sentences do not state facts, but there are no facts which could not be stated [Ryle] |
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] |
10561 | Abstraction-theoretic imperialists think Fregean abstracts can represent every mathematical object [Fine,K] |
10562 | We can combine ZF sets with abstracts as urelements [Fine,K] |
10567 | We can create objects from conditions, rather than from concepts [Fine,K] |
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] |
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] |