6 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. |
8203 | All the arithmetical entities can be reduced to classes of integers, and hence to sets [Quine] |
Full Idea: The arithmetic of ratios and irrational and imaginary numbers can all be reduced by definition to the theory of classes of positive integers, and this can in turn be reduced to pure set theory. | |
From: Willard Quine (Vagaries of Definition [1972], p.53) | |
A reaction: This summarises Quine's ontology of mathematics, which tries to eliminate virtually everything, but has to affirm the existence of sets. Can you count sets and their members, if the sets are used to define the numbers? |
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. |
19699 | A Gettier case is a belief which is true, and its fallible justification involves some luck [Hetherington] |
Full Idea: A Gettier case contains a belief which is true and well justified without being knowledge. Its justificatory support is also fallible, ...and there is considerable luck in how the belief combnes being true with being justified. | |
From: Stephen Hetherington (The Gettier Problem [2011], 5) | |
A reaction: This makes luck the key factor. 'Luck' is a rather vague concept, and so the sort of luck involved must first be spelled out. Or the varieties of luck that can produce this outcome. |
8202 | Meaning is essence divorced from things and wedded to words [Quine] |
Full Idea: Meaning is essence divorced from the thing and wedded to the word. | |
From: Willard Quine (Vagaries of Definition [1972], p.51) | |
A reaction: Quine's strategy is that a demolition of essences will be a definition of meaning. Personally I would like to defend essences, though I admit to finding meaning tricky. That is because essences are external, but meanings are in minds. |
8201 | The distinction between meaning and further information is as vague as the essence/accident distinction [Quine] |
Full Idea: The distinction between what belongs to the meaning of a word and what counts as further information is scarcely clearer than the distinction between the essence of a thing and its accidents. | |
From: Willard Quine (Vagaries of Definition [1972], p.51) | |
A reaction: In lots of cases the distinction between essence and accident strikes me as totally clear. Tricky borderline cases don't destroy a distinction. That bachelors are married is clearly not 'further information'. |