52 ideas
| 9136 | The paradox of analysis says that any conceptual analysis must be either trivial or false [Sorensen] |
| 9131 | Two long understandable sentences can have an unintelligible conjunction [Sorensen] |
| 9139 | If nothing exists, no truthmakers could make 'Nothing exists' true [Sorensen] |
| 9140 | Which toothbrush is the truthmaker for 'buy one, get one free'? [Sorensen] |
| 10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
| 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] |
| 10166 | ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price] |
| 8465 | Mereology has been exploited by some nominalists to achieve the effects of set theory [Orenstein] |
| 9119 | No attempt to deny bivalence has ever been accepted [Sorensen] |
| 9135 | We now see that generalizations use variables rather than abstract entities [Sorensen] |
| 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] |
| 10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
| 9125 | Denying problems, or being romantically defeated by them, won't make them go away [Sorensen] |
| 9137 | Banning self-reference would outlaw 'This very sentence is in English' [Sorensen] |
| 8454 | The whole numbers are 'natural'; 'rational' numbers include fractions; the 'reals' include root-2 etc. [Orenstein] |
| 10165 | 'Analysis' is the theory of the real numbers [Reck/Price] |
| 10174 | Mereological arithmetic needs infinite objects, and function definitions [Reck/Price] |
| 10164 | Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price] |
| 10172 | Set-theory gives a unified and an explicit basis for mathematics [Reck/Price] |
| 10167 | Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price] |
| 10169 | Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price] |
| 10179 | There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price] |
| 10181 | Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price] |
| 10182 | There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price] |
| 10168 | Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price] |
| 10178 | Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price] |
| 10176 | Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price] |
| 10177 | Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price] |
| 10171 | The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price] |
| 8473 | The logicists held that is-a-member-of is a logical constant, making set theory part of logic [Orenstein] |
| 9116 | Vague words have hidden boundaries [Sorensen] |
| 8458 | Just individuals in Nominalism; add sets for Extensionalism; add properties, concepts etc for Intensionalism [Orenstein] |
| 10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
| 9132 | An offer of 'free coffee or juice' could slowly shift from exclusive 'or' to inclusive 'or' [Sorensen] |
| 9128 | It is propositional attitudes which can be a priori, not the propositions themselves [Sorensen] |
| 9130 | Attributing apriority to a proposition is attributing a cognitive ability to someone [Sorensen] |
| 9118 | The colour bands of the spectrum arise from our biology; they do not exist in the physics [Sorensen] |
| 9124 | We are unable to perceive a nose (on the back of a mask) as concave [Sorensen] |
| 9126 | Bayesians build near-certainty from lots of reasonably probable beliefs [Sorensen] |
| 9121 | Illusions are not a reason for skepticism, but a source of interesting scientific information [Sorensen] |
| 8457 | The Principle of Conservatism says we should violate the minimum number of background beliefs [Orenstein] |
| 9134 | The negation of a meaningful sentence must itself be meaningful [Sorensen] |
| 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] |
| 9133 | Propositions are what settle problems of ambiguity in sentences [Sorensen] |
| 8484 | If two people believe the same proposition, this implies the existence of propositions [Orenstein] |
| 9129 | I can buy any litre of water, but not every litre of water [Sorensen] |
| 9122 | God cannot experience unwanted pain, so God cannot understand human beings [Sorensen] |