7 ideas
16974 | The nature of each logical concept is given by a collection of inference rules [Correia] |
Full Idea: The view presented here presupposes that each logical concept is associated with some fixed and well defined collection of rules of inference which characterize its basic logical nature. | |
From: Fabrice Correia (On the Reduction of Necessity to Essence [2012], 4) | |
A reaction: [He gives Fine's 'Senses of Essences' 57-8 as a source] He seems to have in mind natural deduction, where the rules are for the introduction and elimination of the concepts. |
14979 | Being alone doesn't guarantee intrinsic properties; 'being alone' is itself extrinsic [Lewis, by Sider] |
Full Idea: The property of 'being alone in the world' is an extrinsic property, even though it has had by an object that is alone in the world. | |
From: report of David Lewis (Extrinsic Properties [1983]) by Theodore Sider - Writing the Book of the World 01.2 | |
A reaction: I always choke on my cornflakes whenever anyone cites a true predicate as if it were a genuine property. This is a counterexample to Idea 14978. Sider offers another more elaborate example from Lewis. |
15454 | Extrinsic properties come in degrees, with 'brother' less extrinsic than 'sibling' [Lewis] |
Full Idea: Properties may be more or less intrinsic; being a brother has more of an admixture of intrinsic structure than being a sibling does, yet both are extrinsic. | |
From: David Lewis (Extrinsic Properties [1983], I) | |
A reaction: I suppose the point is that a brother is intrinsically male - but then a sibling is intrinsically human. A totally extrinsic relation would be one between entities which shared virtually no categories of existence. |
15455 | Total intrinsic properties give us what a thing is [Lewis] |
Full Idea: The way something is is given by the totality of its intrinsic properties. | |
From: David Lewis (Extrinsic Properties [1983], I) | |
A reaction: No. Some properties are intrinsic but trivial. The 'important' ones fix the identity (if the identity is indeed 'fixed'). |
16973 | Explain logical necessity by logical consequence, or the other way around? [Correia] |
Full Idea: One view is that logical consequence is to be understood in terms of logical necessity (some proposition holds necessarily, if some group of other propositions holds). Alternatively, logical necessity is a logical consequence of the empty set. | |
From: Fabrice Correia (On the Reduction of Necessity to Essence [2012], 3) | |
A reaction: I think my Finean preference is for all necessities to have a 'necessitator', so logical necessity results from logic in some way, perhaps from logical consequence, or from the essences of the connectives and operators. |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
Full Idea: Archelaus was the first person to say that the universe is boundless. | |
From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |