5 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. |
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. |
19000 | Read 'all ravens are black' as about ravens, not as about an implication [Belnap] |
Full Idea: 'All ravens are black' might profitably be read as saying not that being a raven 'implies' being black, but rather something more like 'Consider the ravens: each one is black'. | |
From: Nuel D. Belnap (Conditional Assertion and Restricted Quantification [1970], p.7), quoted by Stephen Yablo - Aboutness 04.5 | |
A reaction: Belnap is more interested in the logic than in the paradox of confirmation, since he evidently thinks that universal generalisations should not be read as implications. I like Belnap's suggestion. |
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. |