73 ideas
15879 | The Square of Opposition has two contradictory pairs, one contrary pair, and one sub-contrary pair [Harré] |
9542 | The best known axiomatization of PL is Whitehead/Russell, with four axioms and two rules [Russell/Whitehead, by Hughes/Cresswell] |
10859 | A set is 'well-ordered' if every subset has a first element [Clegg] |
10857 | Set theory made a closer study of infinity possible [Clegg] |
10864 | Any set can always generate a larger set - its powerset, of subsets [Clegg] |
10872 | Extensionality: Two sets are equal if and only if they have the same elements [Clegg] |
10875 | Pairing: For any two sets there exists a set to which they both belong [Clegg] |
10876 | Unions: There is a set of all the elements which belong to at least one set in a collection [Clegg] |
10878 | Infinity: There exists a set of the empty set and the successor of each element [Clegg] |
10877 | Powers: All the subsets of a given set form their own new powerset [Clegg] |
10879 | Choice: For every set a mechanism will choose one member of any non-empty subset [Clegg] |
10871 | Axiom of Existence: there exists at least one set [Clegg] |
10874 | Specification: a condition applied to a set will always produce a new set [Clegg] |
21720 | Russell saw Reducibility as legitimate for reducing classes to logic [Linsky,B on Russell/Whitehead] |
10044 | Russell denies extensional sets, because the null can't be a collection, and the singleton is just its element [Russell/Whitehead, by Shapiro] |
18208 | We regard classes as mere symbolic or linguistic conveniences [Russell/Whitehead] |
8204 | Lewis's 'strict implication' preserved Russell's confusion of 'if...then' with implication [Quine on Russell/Whitehead] |
9359 | Russell's implication means that random sentences imply one another [Lewis,CI on Russell/Whitehead] |
21707 | Russell unusually saw logic as 'interpreted' (though very general, and neutral) [Russell/Whitehead, by Linsky,B] |
10036 | In 'Principia' a new abstract theory of relations appeared, and was applied [Russell/Whitehead, by Gödel] |
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é] |
10880 | Mathematics can be 'pure' (unapplied), 'real' (physically grounded); or 'applied' (just applicable) [Clegg] |
10861 | Beyond infinity cardinals and ordinals can come apart [Clegg] |
10860 | An ordinal number is defined by the set that comes before it [Clegg] |
10854 | Transcendental numbers can't be fitted to finite equations [Clegg] |
18248 | A real number is the class of rationals less than the number [Russell/Whitehead, by Shapiro] |
10858 | By adding an axis of imaginary numbers, we get the useful 'number plane' instead of number line [Clegg] |
10853 | Either lack of zero made early mathematics geometrical, or the geometrical approach made zero meaningless [Clegg] |
10866 | Cantor's account of infinities has the shaky foundation of irrational numbers [Clegg] |
10869 | The Continuum Hypothesis is independent of the axioms of set theory [Clegg] |
10862 | The 'continuum hypothesis' says aleph-one is the cardinality of the reals [Clegg] |
18152 | Russell takes numbers to be classes, but then reduces the classes to numerical quantifiers [Russell/Whitehead, by Bostock] |
10037 | 'Principia' lacks a precise statement of the syntax [Gödel on Russell/Whitehead] |
10025 | Russell and Whitehead took arithmetic to be higher-order logic [Russell/Whitehead, by Hodes] |
8683 | Russell and Whitehead were not realists, but embraced nearly all of maths in logic [Russell/Whitehead, by Friend] |
10093 | The ramified theory of types used propositional functions, and covered bound variables [Russell/Whitehead, by George/Velleman] |
8691 | The Russell/Whitehead type theory was limited, and was not really logic [Friend on Russell/Whitehead] |
10305 | In 'Principia Mathematica', logic is exceeded in the axioms of infinity and reducibility, and in the domains [Bernays on Russell/Whitehead] |
8684 | Russell and Whitehead consider the paradoxes to indicate that we create mathematical reality [Russell/Whitehead, by Friend] |
8746 | To avoid vicious circularity Russell produced ramified type theory, but Ramsey simplified it [Russell/Whitehead, by Shapiro] |
15874 | Scientific properties are not observed qualities, but the dispositions which create them [Harré] |
12033 | An object is identical with itself, and no different indiscernible object can share that [Russell/Whitehead, by Adams,RM] |
15884 | Laws of nature remain the same through any conditions, if the underlying mechanisms are unchanged [Harré] |
10040 | Russell showed, through the paradoxes, that our basic logical intuitions are self-contradictory [Russell/Whitehead, by Gödel] |
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é] |
15887 | 'Grue' introduces a new causal hypothesis - that emeralds can change colour [Harré] |
15888 | The grue problem shows that natural kinds are central to science [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é] |
21725 | The multiple relations theory says assertions about propositions are about their ingredients [Russell/Whitehead, by Linsky,B] |
23474 | A judgement is a complex entity, of mind and various objects [Russell/Whitehead] |
23455 | The meaning of 'Socrates is human' is completed by a judgement [Russell/Whitehead] |
23480 | The multiple relation theory of judgement couldn't explain the unity of sentences [Morris,M on Russell/Whitehead] |
18275 | Only the act of judging completes the meaning of a statement [Russell/Whitehead] |
23453 | Propositions as objects of judgement don't exist, because we judge several objects, not one [Russell/Whitehead] |
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é] |