63 ideas
6961 | An analogy begins to break down as soon as the two cases differ [Hume] |
15879 | The Square of Opposition has two contradictory pairs, one contrary pair, and one sub-contrary pair [Harré] |
13030 | Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen] |
13032 | Pairing: ∀x ∀y ∃z (x ∈ z ∧ y ∈ z) [Kunen] |
13033 | Union: ∀F ∃A ∀Y ∀x (x ∈ Y ∧ Y ∈ F → x ∈ A) [Kunen] |
13037 | Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x) [Kunen] |
13038 | Power Set: ∀x ∃y ∀z(z ⊂ x → z ∈ y) [Kunen] |
13034 | Replacement: ∀x∈A ∃!y φ(x,y) → ∃Y ∀X∈A ∃y∈Y φ(x,y) [Kunen] |
13039 | Foundation:∀x(∃y(y∈x) → ∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))) [Kunen] |
13036 | Choice: ∀A ∃R (R well-orders A) [Kunen] |
13029 | Set Existence: ∃x (x = x) [Kunen] |
13031 | Comprehension: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ) [Kunen] |
13040 | Constructibility: V = L (all sets are constructible) [Kunen] |
15891 | Traditional quantifiers combine ordinary language generality and ontology assumptions [Harré] |
15878 | Some quantifiers, such as 'any', rule out any notion of order within their range [Harré] |
15874 | Scientific properties are not observed qualities, but the dispositions which create them [Harré] |
15884 | Laws of nature remain the same through any conditions, if the underlying mechanisms are unchanged [Harré] |
21285 | Events are baffling before experience, and obvious after experience [Hume] |
15880 | In physical sciences particular observations are ordered, but in biology only the classes are ordered [Harré] |
15869 | Reports of experiments eliminate the experimenter, and present results as the behaviour of nature [Harré] |
15881 | We can save laws from counter-instances by treating the latter as analytic definitions [Harré] |
15882 | Since there are three different dimensions for generalising laws, no one system of logic can cover them [Harré] |
15888 | The grue problem shows that natural kinds are central to science [Harré] |
15887 | 'Grue' introduces a new causal hypothesis - that emeralds can change colour [Harré] |
15889 | It is because ravens are birds that their species and their colour might be connected [Harré] |
15890 | Non-black non-ravens just aren't part of the presuppositions of 'all ravens are black' [Harré] |
15885 | The necessity of Newton's First Law derives from the nature of material things, not from a mechanism [Harré] |
15868 | Idealisation idealises all of a thing's properties, but abstraction leaves some of them out [Harré] |
15886 | Science rests on the principle that nature is a hierarchy of natural kinds [Harré] |
15864 | Classification is just as important as laws in natural science [Harré] |
15865 | Newton's First Law cannot be demonstrated experimentally, as that needs absence of external forces [Harré] |
15862 | Laws can come from data, from theory, from imagination and concepts, or from procedures [Harré] |
15870 | Are laws of nature about events, or types and universals, or dispositions, or all three? [Harré] |
15871 | Are laws about what has or might happen, or do they also cover all the possibilities? [Harré] |
15876 | Maybe laws of nature are just relations between properties? [Harré] |
15860 | We take it that only necessary happenings could be laws [Harré] |
15872 | Must laws of nature be universal, or could they be local? [Harré] |
15867 | Laws describe abstract idealisations, not the actual mess of nature [Harré] |
15892 | Laws of nature state necessary connections of things, events and properties, based on models of mechanisms [Harré] |
15875 | In counterfactuals we keep substances constant, and imagine new situations for them [Harré] |
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] |
6963 | Why would we infer an infinite creator from a finite creation? [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] |
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] |