Combining Texts

All the ideas for 'The Logic of Boundaryless Concepts', 'works' and 'Senses of Essence'

unexpand these ideas     |    start again     |     specify just one area for these texts

---

11 ideas

2. Reason / D. Definition / 6. Definition by Essence

11178	The essence or definition of an essence involves either a class of properties or a class of propositions [Fine,K]
	Full Idea: If each object has a unique essence or definition, this may be identified with either the class of properties that it essentially has, or with the class of propositions that are true in virtue of what it is.
	From: Kit Fine (Senses of Essence [1995], §8)
	A reaction: Elsewhere Fine says that it is easier to work with the propositions view, but that the properties (or predicates) view is probably more fundamental. He goes on here to raise the question of whether either view makes the essence unique.

5. Theory of Logic / A. Overview of Logic / 3. Value of Logic

9390	Logic guides thinking, but it isn't a substitute for it [Rumfitt]
	Full Idea: Logic is part of a normative theory of thinking, not a substitute for thinking.
	From: Ian Rumfitt (The Logic of Boundaryless Concepts [2007], p.13)
	A reaction: There is some sort of logicians' dream, going back to Leibniz, of a reasoning engine, which accepts propositions and outputs inferences. I agree with this idea. People who excel at logic are often, it seems to me, modest at philosophy.

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives

11175	Logical concepts rest on certain inferences, not on facts about implications [Fine,K]
	Full Idea: The nature of the logical concepts is given, not by certain logical truths, but by certain logical inferences. What properly belongs to disjunction is the inference from p to (p or q), rather than the fact that p implies (p or q).
	From: Kit Fine (Senses of Essence [1995], §3)
	A reaction: Does this mean that Fine is wickedly starting with the psychology, rather than with the pure truth of the connection? Frege is shuddering. This view seems to imply that the truth table for 'or' is secondary.

5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction

11176	The property of Property Abstraction says any suitable condition must imply a property [Fine,K]
	Full Idea: According to the principle of Property Abstraction, there is, for any suitable condition, a property that is possessed by an object just in case it conforms to the condition. This is usually taken to be a second-order logical truth.
	From: Kit Fine (Senses of Essence [1995], §4)
	A reaction: Fine objects that it is implied that if Socrates is essentially a man, then he essentially has the property of being a man. Like Fine, I think this conclusion is distasteful. A classification is not a property, at least the way most people use 'property'.

5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth

11174	A logical truth is true in virtue of the nature of the logical concepts [Fine,K]
	Full Idea: One wants to define a logical truth as one that is true in virtue of the nature of the logical concepts.
	From: Kit Fine (Senses of Essence [1995], §3)
	A reaction: This is part of Fine's project to give a revised account of essence, which includes the essence of concepts as well as the essence of objects. Everyone should pay close attention to this project.

6. Mathematics / A. Nature of Mathematics / 1. Mathematics

12427	All of mathematics is properties of the whole numbers [Kronecker]
	Full Idea: All the results of significant mathematical research must ultimately be expressible in the simple forms of properties of whole numbers.
	From: Leopold Kronecker (works [1885], Vol 3/274), quoted by Philip Kitcher - The Nature of Mathematical Knowledge 09.5
	A reaction: I've always liked Kronecker's line, but I'm beginning to realise that his use of the word 'number' is simply out-of-date. Natural numbers have a special status, but not sufficient to support this claim.

6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / c. Priority of numbers

10091	God made the integers, all the rest is the work of man [Kronecker]
	Full Idea: God made the integers, all the rest is the work of man.
	From: Leopold Kronecker (works [1885]), quoted by A.George / D.J.Velleman - Philosophies of Mathematics Intro
	A reaction: This famous remark was first quoted in Kronecker's obituary. A response to Dedekind, it seems. See Idea 10090. Did he really mean that negative numbers were the work of God? We took a long time to spot them.

9. Objects / B. Unity of Objects / 3. Unity Problems / e. Vague objects

9389	Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt]
	Full Idea: Vagueness in respect of membership is consistency with determinacy of the set's identity, so long as a set's identity is taken to consist, not in its having such-and-such members, but in its being the extension of a concept.
	From: Ian Rumfitt (The Logic of Boundaryless Concepts [2007], p.5)
	A reaction: I find this view of sets much more appealing than the one that identifies a set with its members. The empty set is less of a problem, as well as non-existents. Logicians prefer the extensional view because it is tidy.

9. Objects / D. Essence of Objects / 1. Essences of Objects

11177	Can the essence of an object circularly involve itself, or involve another object? [Fine,K]
	Full Idea: Can the essence of an object (ineliminably) involve that object itself (perhaps through self-identity, giving a direct circularity), or have an indirect circularity involving two or more objects (such as admiration between Watson and Holmes).
	From: Kit Fine (Senses of Essence [1995], §7)
	A reaction: [compressed] This looks like one of the basic questions which any theory of essentialism must address.

9. Objects / D. Essence of Objects / 3. Individual Essences

11173	Being a man is a consequence of his essence, not constitutive of it [Fine,K]
	Full Idea: If we distinguish 'constitutive' from 'consequential' essence, ..then the essence of Socrates will, in part, be constituted by his being a man. But being a man (or a mountain) will merely be consequential upon, and not constitutive of, his essence.
	From: Kit Fine (Senses of Essence [1995], §3)
	A reaction: Yes yes yes. I think it is absurd to say that the class to which something belongs is part of its essential nature, given that it presumably can only belong to the class if it already has a certain essential nature. What did Frankenstein construct?

9. Objects / D. Essence of Objects / 4. Essence as Definition

11179	If there are alternative definitions, then we have three possibilities for essence [Fine,K]
	Full Idea: If there are alternative definitions for an essence, we must distinguish three notions. There is the essence as the manifold (the combined definitions), or as the range of alternative definitions (with component essences), or there is the common essence.
	From: Kit Fine (Senses of Essence [1995], §8)
	A reaction: Fine opts for the third alternative (what the definitions all have in common) as the best account. He says (p.68) 'definitive' properties come from one definition, and 'essential' properties from every possible definition.