49 ideas
| 15879 | The Square of Opposition has two contradictory pairs, one contrary pair, and one sub-contrary pair [Harré] |
| 17926 | Rejecting double negation elimination undermines reductio proofs [Colyvan] |
| 17925 | Showing a disproof is impossible is not a proof, so don't eliminate double negation [Colyvan] |
| 17924 | Excluded middle says P or not-P; bivalence says P is either true or false [Colyvan] |
| 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é] |
| 17929 | Löwenheim proved his result for a first-order sentence, and Skolem generalised it [Colyvan] |
| 17930 | Axioms are 'categorical' if all of their models are isomorphic [Colyvan] |
| 17928 | Ordinal numbers represent order relations [Colyvan] |
| 17923 | Intuitionists only accept a few safe infinities [Colyvan] |
| 17941 | Infinitesimals were sometimes zero, and sometimes close to zero [Colyvan] |
| 17922 | Reducing real numbers to rationals suggested arithmetic as the foundation of maths [Colyvan] |
| 17936 | Transfinite induction moves from all cases, up to the limit ordinal [Colyvan] |
| 17940 | Most mathematical proofs are using set theory, but without saying so [Colyvan] |
| 17931 | Structuralism say only 'up to isomorphism' matters because that is all there is to it [Colyvan] |
| 17932 | If 'in re' structures relies on the world, does the world contain rich enough structures? [Colyvan] |
| 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é] |
| 3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
| 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é] |
| 17943 | Probability supports Bayesianism better as degrees of belief than as ratios of frequencies [Colyvan] |
| 17939 | Mathematics can reveal structural similarities in diverse systems [Colyvan] |
| 17938 | Mathematics can show why some surprising events have to occur [Colyvan] |
| 15885 | The necessity of Newton's First Law derives from the nature of material things, not from a mechanism [Harré] |
| 17934 | Proof by cases (by 'exhaustion') is said to be unexplanatory [Colyvan] |
| 17933 | Reductio proofs do not seem to be very explanatory [Colyvan] |
| 17935 | If inductive proofs hold because of the structure of natural numbers, they may explain theorems [Colyvan] |
| 17942 | Can a proof that no one understands (of the four-colour theorem) really be a proof? [Colyvan] |
| 17937 | Mathematical generalisation is by extending a system, or by abstracting away from it [Colyvan] |
| 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é] |
| 15867 | Laws describe abstract idealisations, not the actual mess of nature [Harré] |
| 15872 | Must laws of nature be universal, or could they be local? [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é] |