50 ideas
| 6961 | An analogy begins to break down as soon as the two cases differ [Hume] |
| 10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
| 10166 | ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price] |
| 21695 | The set scheme discredited by paradoxes is actually the most natural one [Quine] |
| 21693 | Russell's antinomy challenged the idea that any condition can produce a set [Quine] |
| 10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
| 21691 | Antinomies contradict accepted ways of reasoning, and demand revisions [Quine] |
| 21690 | Whenever the pursuer reaches the spot where the pursuer has been, the pursued has moved on [Quine] |
| 21689 | A barber shaves only those who do not shave themselves. So does he shave himself? [Quine] |
| 21694 | Membership conditions which involve membership and non-membership are paradoxical [Quine] |
| 21692 | If we write it as '"this sentence is false" is false', there is no paradox [Quine] |
| 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] |
| 10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
| 21285 | Events are baffling before experience, and obvious after experience [Hume] |
| 6959 | We can't assume God's perfections are like our ideas or like human attributes [Hume] |
| 6957 | The objects of theological reasoning are too big for our minds [Hume] |
| 21255 | No being's non-existence can imply a contradiction, so its existence cannot be proved a priori [Hume] |
| 21254 | A chain of events requires a cause for the whole as well as the parts, yet the chain is just a sum of parts [Hume] |
| 1435 | If something must be necessary so that something exists rather than nothing, why can't the universe be necessary? [Hume] |
| 6962 | The thing which contains order must be God, so see God where you see order [Hume] |
| 6960 | Analogy suggests that God has a very great human mind [Hume] |
| 6958 | How can we pronounce on a whole after a brief look at a very small part? [Hume] |
| 21279 | If the divine cause is proportional to its effects, the effects are finite, so the Deity cannot be infinite [Hume] |
| 21282 | Design cannot prove a unified Deity. Many men make a city, so why not many gods for a world? [Hume] |
| 21280 | From a ship you would judge its creator a genius, not a mere humble workman [Hume] |
| 6966 | Creation is more like vegetation than human art, so it won't come from reason [Hume] |
| 21281 | This excellent world may be the result of a huge sequence of trial-and-error [Hume] |
| 21283 | Humans renew their species sexually. If there are many gods, would they not do the same? [Hume] |
| 21284 | This Creator god might be an infant or incompetent or senile [Hume] |
| 6967 | Order may come from an irrational source as well as a rational one [Hume] |
| 21286 | Motion often begins in matter, with no sign of a controlling agent [Hume] |
| 21287 | The universe could settle into superficial order, without a designer [Hume] |
| 21288 | Ideas arise from objects, not vice versa; ideas only influence matter if they are linked [Hume] |
| 21256 | A surprise feature of all products of 9 looks like design, but is actually a necessity [Hume] |
| 6963 | Why would we infer an infinite creator from a finite creation? [Hume] |
| 6965 | The universe may be the result of trial-and-error [Hume] |
| 6964 | From our limited view, we cannot tell if the universe is faulty [Hume] |