40 ideas
| 7807 | The laws of thought are true, but they are not the axioms of logic [Bolzano, by George/Van Evra] |
| 6961 | An analogy begins to break down as soon as the two cases differ [Hume] |
| 14620 | Theories in logic are sentences closed under consequence, but in truth discussions theories have axioms [Fine,K] |
| 9618 | Bolzano wanted to reduce all of geometry to arithmetic [Bolzano, by Brown,JR] |
| 9830 | Bolzano began the elimination of intuition, by proving something which seemed obvious [Bolzano, by Dummett] |
| 17265 | Philosophical proofs in mathematics establish truths, and also show their grounds [Bolzano, by Correia/Schnieder] |
| 14530 | The role of semantic necessity in semantics is like metaphysical necessity in metaphysics [Fine,K, by Hale/Hoffmann,A] |
| 21285 | Events are baffling before experience, and obvious after experience [Hume] |
| 9185 | Bolzano wanted to avoid Kantian intuitions, and prove everything that could be proved [Bolzano, by Dummett] |
| 14618 | Semantics is either an assignment of semantic values, or a theory of truth [Fine,K] |
| 14621 | Semantics is a body of semantic requirements, not semantic truths or assigned values [Fine,K] |
| 14622 | Referential semantics (unlike Fregeanism) allows objects themselves in to semantic requirements [Fine,K] |
| 22276 | Bolzano saw propositions as objective entities, existing independently of us [Bolzano, by Potter] |
| 17264 | Propositions are abstract structures of concepts, ready for judgement or assertion [Bolzano, by Correia/Schnieder] |
| 12232 | A 'proposition' is the sense of a linguistic expression, and can be true or false [Bolzano] |
| 12233 | The ground of a pure conceptual truth is only in other conceptual truths [Bolzano] |
| 14619 | The Quinean doubt: are semantics and facts separate, and do analytic sentences have no factual part? [Fine,K] |
| 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] |
| 6965 | The universe may be the result of trial-and-error [Hume] |
| 6967 | Order may come from an irrational source as well as a rational one [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] |
| 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] |
| 6966 | Creation is more like vegetation than human art, so it won't come from reason [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] |
| 21279 | If the divine cause is proportional to its effects, the effects are finite, so the Deity cannot be infinite [Hume] |
| 6958 | How can we pronounce on a whole after a brief look at a very small part? [Hume] |
| 6963 | Why would we infer an infinite creator from a finite creation? [Hume] |