38 ideas
21704 | 'Impredictative' definitions fix a class in terms of the greater class to which it belongs [Linsky,B] |
6961 | An analogy begins to break down as soon as the two cases differ [Hume] |
21705 | Reducibility says any impredicative function has an appropriate predicative replacement [Linsky,B] |
21727 | Definite descriptions theory eliminates the King of France, but not the Queen of England [Linsky,B] |
21719 | Extensionalism means what is true of a function is true of coextensive functions [Linsky,B] |
21723 | The task of logicism was to define by logic the concepts 'number', 'successor' and '0' [Linsky,B] |
21721 | Higher types are needed to distinguished intensional phenomena which are coextensive [Linsky,B] |
21703 | Types are 'ramified' when there are further differences between the type of quantifier and its range [Linsky,B] |
21714 | The ramified theory subdivides each type, according to the range of the variables [Linsky,B] |
21713 | Did logicism fail, when Russell added three nonlogical axioms, to save mathematics? [Linsky,B] |
21715 | For those who abandon logicism, standard set theory is a rival option [Linsky,B] |
21729 | Construct properties as sets of objects, or say an object must be in the set to have the property [Linsky,B] |
21285 | Events are baffling before experience, and obvious after experience [Hume] |
3158 | Theories of intentionality presuppose rationality, so can't explain it [Dennett] |
3159 | Beliefs and desires aren't real; they are prediction techniques [Dennett] |
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] |
6963 | Why would we infer an infinite creator from a finite creation? [Hume] |
21279 | If the divine cause is proportional to its effects, the effects are finite, so the Deity cannot be infinite [Hume] |
21280 | From a ship you would judge its creator a genius, not a mere humble workman [Hume] |
21282 | Design cannot prove a unified Deity. Many men make a city, so why not many gods for a world? [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] |
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] |
6964 | From our limited view, we cannot tell if the universe is faulty [Hume] |
6966 | Creation is more like vegetation than human art, so it won't come from reason [Hume] |
6967 | Order may come from an irrational source as well as a rational one [Hume] |
6958 | How can we pronounce on a whole after a brief look at a very small part? [Hume] |
6965 | The universe may be the result of trial-and-error [Hume] |