81 ideas
| 14721 | Metaphysical enquiry can survive if its conclusions are tentative [Sider] |
| 8625 | What physical facts could underlie 0 or 1, or very large numbers? [Frege on Mill] |
| 17895 | Combining two distinct assertions does not necessarily lead to a single 'complex proposition' [Mill] |
| 10427 | All names are names of something, real or imaginary [Mill] |
| 4944 | Mill says names have denotation but not connotation [Mill, by Kripke] |
| 7762 | Proper names are just labels for persons or objects, and the meaning is the object [Mill, by Lycan] |
| 9801 | Numbers must be assumed to have identical units, as horses are equalised in 'horse-power' [Mill] |
| 8742 | The only axioms needed are for equality, addition, and successive numbers [Mill, by Shapiro] |
| 9800 | Arithmetic is based on definitions, and Sums of equals are equal, and Differences of equals are equal [Mill] |
| 5201 | Mill says logic and maths is induction based on a very large number of instances [Mill, by Ayer] |
| 9360 | If two black and two white objects in practice produced five, what colour is the fifth one? [Lewis,CI on Mill] |
| 9888 | Mill mistakes particular applications as integral to arithmetic, instead of general patterns [Dummett on Mill] |
| 9796 | Things possess the properties of numbers, as quantity, and as countable parts [Mill] |
| 9794 | There are no such things as numbers in the abstract [Mill] |
| 9795 | Numbers have generalised application to entities (such as bodies or sounds) [Mill] |
| 9798 | Different parcels made from three pebbles produce different actual sensations [Mill] |
| 9797 | '2 pebbles and 1 pebble' and '3 pebbles' name the same aggregation, but different facts [Mill] |
| 9799 | 3=2+1 presupposes collections of objects ('Threes'), which may be divided thus [Mill] |
| 9803 | We can't easily distinguish 102 horses from 103, but we could arrange them to make it obvious [Mill] |
| 9802 | Numbers denote physical properties of physical phenomena [Mill] |
| 9804 | Arithmetical results give a mode of formation of a given number [Mill] |
| 9805 | 12 is the cube of 1728 means pebbles can be aggregated a certain way [Mill] |
| 8741 | Numbers must be of something; they don't exist as abstractions [Mill] |
| 12411 | Mill is too imprecise, and is restricted to simple arithmetic [Kitcher on Mill] |
| 5656 | Empirical theories of arithmetic ignore zero, limit our maths, and need probability to get started [Frege on Mill] |
| 9624 | Numbers are a very general property of objects [Mill, by Brown,JR] |
| 14760 | Four-dimensionalism sees things and processes as belonging in the same category [Sider] |
| 14194 | Proper ontology should only use categorical (actual) properties, not hypothetical ones [Sider] |
| 14745 | If sortal terms fix the kind and the persistence conditions, we need to know what kinds there are [Sider] |
| 14740 | If Tib is all of Tibbles bar her tail, when Tibbles loses her tail, two different things become one [Sider] |
| 14752 | Artists 'create' statues because they are essentially statues, and so lack identity with the lump of clay [Sider] |
| 14743 | The stage view of objects is best for dealing with coincident entities [Sider] |
| 14747 | 'Composition as identity' says that an object just is the objects which compose it [Sider] |
| 9806 | Whatever is made up of parts is made up of parts of those parts [Mill] |
| 11156 | The essence is that without which a thing can neither be, nor be conceived to be [Mill] |
| 14757 | Mereological essentialism says an object's parts are necessary for its existence [Sider] |
| 14727 | Three-dimensionalists assert 'enduring', being wholly present at each moment, and deny 'temporal parts' [Sider] |
| 14738 | Some might say that its inconsistency with time travel is a reason to favour three-dimensionalism [Sider] |
| 14726 | Four-dimensionalists assert 'temporal parts', 'perduring', and being spread out over time [Sider] |
| 14728 | 4D says intrinsic change is difference between successive parts [Sider] |
| 14729 | 4D says each spatiotemporal object must have a temporal part at every moment at which it exists [Sider] |
| 14730 | Temporal parts exist, but are not prior building blocks for objects [Sider] |
| 14762 | Four-dimensionalism says temporal parts are caused (through laws of motion) by previous temporal parts [Sider] |
| 14731 | Temporal parts are instantaneous [Sider] |
| 14758 | How can an instantaneous stage believe anything, if beliefs take time? [Sider] |
| 14741 | The ship undergoes 'asymmetric' fission, where one candidate is seen as stronger [Sider] |
| 14754 | If you say Leibniz's Law doesn't apply to 'timebound' properties, you are no longer discussing identity [Sider] |
| 12190 | Necessity is what will be, despite any alternative suppositions whatever [Mill] |
| 22623 | Necessity can only mean what must be, without conditions of any kind [Mill] |
| 14763 | Counterparts rest on similarity, so there are many such relations in different contexts [Sider] |
| 16859 | Most perception is one-tenth observation and nine-tenths inference [Mill] |
| 9082 | Clear concepts result from good observation, extensive experience, and accurate memory [Mill] |
| 16860 | Inductive generalisation is more reliable than one of its instances; they can't all be wrong [Mill] |
| 16843 | Mill's methods (Difference,Agreement,Residues,Concomitance,Hypothesis) don't nail induction [Mill, by Lipton] |
| 16845 | The whole theory of induction rests on causes [Mill] |
| 17086 | Surprisingly, empiricists before Mill ignore explanation, which seems to transcend experience [Mill, by Ruben] |
| 17091 | Explanation is fitting of facts into ever more general patterns of regularity [Mill, by Ruben] |
| 16805 | Causal inference is by spotting either Agreements or Differences [Mill, by Lipton] |
| 16835 | The Methods of Difference and of Agreement are forms of inference to the best explanation [Mill, by Lipton] |
| 9079 | We can focus our minds on what is common to a whole class, neglecting other aspects [Mill] |
| 9081 | We don't recognise comparisons by something in our minds; the concepts result from the comparisons [Mill] |
| 9078 | The study of the nature of Abstract Ideas does not belong to logic, but to a different science [Mill] |
| 9080 | General conceptions are a necessary preliminary to Induction [Mill] |
| 18033 | The meaning of a representation is its role in thought, perception or decisions [Block] |
| 8345 | A cause is the total of all the conditions which inevitably produce the result [Mill] |
| 10391 | Causes and conditions are not distinct, because we select capriciously from among them [Mill] |
| 14547 | The strict cause is the total positive and negative conditions which ensure the consequent [Mill] |
| 8377 | Causation is just invariability of succession between every natural fact and a preceding fact [Mill] |
| 14545 | A cause is an antecedent which invariably and unconditionally leads to a phenomenon [Mill] |
| 4773 | Mill's regularity theory of causation is based on an effect preceded by a conjunction of causes [Mill, by Psillos] |
| 4775 | In Mill's 'Method of Agreement' cause is the common factor in a range of different cases [Mill, by Psillos] |
| 4776 | In Mill's 'Method of Difference' the cause is what stops the effect when it is removed [Mill, by Psillos] |
| 9417 | What are the fewest propositions from which all natural uniformities could be inferred? [Mill] |
| 14725 | Maybe motion is a dynamical quantity intrinsic to a thing at a particular time [Sider] |
| 14735 | Space is 3D and lacks a direction; time seems connected to causation [Sider] |
| 14722 | Between presentism and eternalism is the 'growing block' view - the past is real, the future is not [Sider] |
| 14756 | For Presentists there must always be a temporal vantage point for any description [Sider] |
| 14724 | Presentists must deny truths about multiple times [Sider] |
| 14723 | Talk using tenses can be eliminated, by reducing it to indexical connections for an utterance [Sider] |
| 14734 | The B-series involves eternalism, and the reduction of tense [Sider] |
| 14736 | The B-theory is adequate, except that it omits to say which time is present [Sider] |