41 ideas
| 3750 | "It is true that x" means no more than x [Ramsey] |
| 8472 | Sentential logic is consistent (no contradictions) and complete (entirely provable) [Orenstein] |
| 8476 | Axiomatization simply picks from among the true sentences a few to play a special role [Orenstein] |
| 8480 | S4: 'poss that poss that p' implies 'poss that p'; S5: 'poss that nec that p' implies 'nec that p' [Orenstein] |
| 8474 | Unlike elementary logic, set theory is not complete [Orenstein] |
| 13430 | Infinity: there is an infinity of distinguishable individuals [Ramsey] |
| 13428 | Reducibility: to every non-elementary function there is an equivalent elementary function [Ramsey] |
| 8465 | Mereology has been exploited by some nominalists to achieve the effects of set theory [Orenstein] |
| 13427 | Either 'a = b' vacuously names the same thing, or absurdly names different things [Ramsey] |
| 8452 | Traditionally, universal sentences had existential import, but were later treated as conditional claims [Orenstein] |
| 8475 | The substitution view of quantification says a sentence is true when there is a substitution instance [Orenstein] |
| 13334 | Contradictions are either purely logical or mathematical, or they involved thought and language [Ramsey] |
| 8454 | The whole numbers are 'natural'; 'rational' numbers include fractions; the 'reals' include root-2 etc. [Orenstein] |
| 8473 | The logicists held that is-a-member-of is a logical constant, making set theory part of logic [Orenstein] |
| 6409 | The 'simple theory of types' distinguishes levels among properties [Ramsey, by Grayling] |
| 13426 | Formalists neglect content, but the logicists have focused on generalizations, and neglected form [Ramsey] |
| 13425 | Formalism is hopeless, because it focuses on propositions and ignores concepts [Ramsey] |
| 16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
| 16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
| 16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
| 16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
| 8458 | Just individuals in Nominalism; add sets for Extensionalism; add properties, concepts etc for Intensionalism [Orenstein] |
| 8495 | The distinction between particulars and universals is a mistake made because of language [Ramsey] |
| 8493 | We could make universals collections of particulars, or particulars collections of their qualities [Ramsey] |
| 8494 | Obviously 'Socrates is wise' and 'Socrates has wisdom' express the same fact [Ramsey] |
| 13766 | 'If' is the same as 'given that', so the degrees of belief should conform to probability theory [Ramsey, by Ramsey] |
| 10993 | Ramsey's Test: believe the consequent if you believe the antecedent [Ramsey, by Read] |
| 14279 | Asking 'If p, will q?' when p is uncertain, then first add p hypothetically to your knowledge [Ramsey] |
| 3212 | Beliefs are maps by which we steer [Ramsey] |
| 22328 | I just confront the evidence, and let it act on me [Ramsey] |
| 22325 | A belief is knowledge if it is true, certain and obtained by a reliable process [Ramsey] |
| 19724 | Belief is knowledge if it is true, certain, and obtained by a reliable process [Ramsey] |
| 8457 | The Principle of Conservatism says we should violate the minimum number of background beliefs [Orenstein] |
| 6894 | Mental terms can be replaced in a sentence by a variable and an existential quantifier [Ramsey] |
| 19143 | Ramsey gave axioms for an uncertain agent to decide their preferences [Ramsey, by Davidson] |
| 18818 | Sentence meaning is given by the actions to which it would lead [Ramsey] |
| 8477 | People presume meanings exist because they confuse meaning and reference [Orenstein] |
| 8471 | Three ways for 'Socrates is human' to be true are nominalist, platonist, or Montague's way [Orenstein] |
| 8484 | If two people believe the same proposition, this implies the existence of propositions [Orenstein] |
| 9418 | All knowledge needs systematizing, and the axioms would be the laws of nature [Ramsey] |
| 9420 | Causal laws result from the simplest axioms of a complete deductive system [Ramsey] |