42 ideas
| 18781 | Inconsistency doesn't prevent us reasoning about some system [Mares] |
| Full Idea: We are able to reason about inconsistent beliefs, stories, and theories in useful and important ways | |
| From: Edwin D. Mares (Negation [2014], 1) |
| 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. |
| 14480 | Maybe analytic truths do not require truth-makers, as they place no demands on the world [Thomasson] |
| Full Idea: It is a venerable view that analytic claims do not require truth-makers, as they place no demands on the world, but this claim has often been challenged. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 03.4) | |
| A reaction: She offers two challenges (bottom p.68), but I would have thought that the best response is that the meanings of the words themselves constitute truthmakers - perhaps via the essence of each word, as Fine suggests. |
| 18789 | Intuitionist logic looks best as natural deduction [Mares] |
| Full Idea: Intuitionist logic appears most attractive in the form of a natural deduction system. | |
| From: Edwin D. Mares (Negation [2014], 5.5) |
| 18790 | Intuitionism as natural deduction has no rule for negation [Mares] |
| Full Idea: In intuitionist logic each connective has one introduction and one elimination rule attached to it, but in the classical system we have to add an extra rule for negation. | |
| From: Edwin D. Mares (Negation [2014], 5.5) | |
| A reaction: How very intriguing. Mares says there are other ways to achieve classical logic, but they all seem rather cumbersome. |
| 18787 | Three-valued logic is useful for a theory of presupposition [Mares] |
| Full Idea: One reason for wanting a three-valued logic is to act as a basis of a theory of presupposition. | |
| From: Edwin D. Mares (Negation [2014], 3.1) | |
| A reaction: [He cites Strawson 1950] The point is that you can get a result when the presupposition does not apply, as in talk of the 'present King of France'. |
| 18793 | Material implication (and classical logic) considers nothing but truth values for implications [Mares] |
| Full Idea: The problem with material implication, and classical logic more generally, is that it considers only the truth value of formulas in deciding whether to make an implication stand between them. It ignores everything else. | |
| From: Edwin D. Mares (Negation [2014], 7.1) | |
| A reaction: The obvious problem case is conditionals, and relevance is an obvious extra principle that comes to mind. |
| 18784 | In classical logic the connectives can be related elegantly, as in De Morgan's laws [Mares] |
| Full Idea: Among the virtues of classical logic is the fact that the connectives are related to one another in elegant ways that often involved negation. For example, De Morgan's Laws, which involve negation, disjunction and conjunction. | |
| From: Edwin D. Mares (Negation [2014], 2.2) | |
| A reaction: Mares says these enable us to take disjunction or conjunction as primitive, and then define one in terms of the other, using negation as the tool. |
| 14471 | Analytical entailments arise from combinations of meanings and inference rules [Thomasson] |
| Full Idea: 'Analytically entail' means entail in virtue of the meanings of the expressions involved and rules of inference. So 'Jones bought a house' analytically entails 'Jones bought a building'. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 01.2) | |
| A reaction: Quine wouldn't like this, but it sounds OK to me. Thomasson uses this as a key tool in her claim that common sense objects must exist. |
| 18786 | Excluded middle standardly implies bivalence; attacks use non-contradiction, De M 3, or double negation [Mares] |
| Full Idea: On its standard reading, excluded middle tells us that bivalence holds. To reject excluded middle, we must reject either non-contradiction, or ¬(A∧B) ↔ (¬A∨¬B) [De Morgan 3], or the principle of double negation. All have been tried. | |
| From: Edwin D. Mares (Negation [2014], 2.2) |
| 18780 | Standard disjunction and negation force us to accept the principle of bivalence [Mares] |
| Full Idea: If we treat disjunction in the standard way and take the negation of a statement A to mean that A is false, accepting excluded middle forces us also to accept the principle of bivalence, which is the dictum that every statement is either true or false. | |
| From: Edwin D. Mares (Negation [2014], 1) | |
| A reaction: Mates's point is to show that passively taking the normal account of negation for granted has important implications. |
| 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. |
| 18782 | The connectives are studied either through model theory or through proof theory [Mares] |
| Full Idea: In studying the logical connectives, philosophers of logic typically adopt the perspective of either model theory (givng truth conditions of various parts of the language), or of proof theory (where use in a proof system gives the connective's meaning). | |
| From: Edwin D. Mares (Negation [2014], 1) | |
| A reaction: [compressed] The commonest proof theory is natural deduction, giving rules for introduction and elimination. Mates suggests moving between the two views is illuminating. |
| 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'. |
| 18783 | Many-valued logics lack a natural deduction system [Mares] |
| Full Idea: Many-valued logics do not have reasonable natural deduction systems. | |
| From: Edwin D. Mares (Negation [2014], 1) |
| 18792 | Situation semantics for logics: not possible worlds, but information in situations [Mares] |
| Full Idea: Situation semantics for logics consider not what is true in worlds, but what information is contained in situations. | |
| From: Edwin D. Mares (Negation [2014], 6.2) | |
| A reaction: Since many theoretical physicists seem to think that 'information' might be the most basic concept of a natural ontology, this proposal is obviously rather appealing. Barwise and Perry are the authors of the theory. |
| 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. |
| 18785 | Consistency is semantic, but non-contradiction is syntactic [Mares] |
| Full Idea: The difference between the principle of consistency and the principle of non-contradiction is that the former must be stated in a semantic metalanguage, whereas the latter is a thesis of logical systems. | |
| From: Edwin D. Mares (Negation [2014], 2.2) |
| 18788 | For intuitionists there are not numbers and sets, but processes of counting and collecting [Mares] |
| Full Idea: For the intuitionist, talk of mathematical objects is rather misleading. For them, there really isn't anything that we should call the natural numbers, but instead there is counting. What intuitionists study are processes, such as counting and collecting. | |
| From: Edwin D. Mares (Negation [2014], 5.1) | |
| A reaction: That is the first time I have seen mathematical intuitionism described in a way that made it seem attractive. One might compare it to a metaphysics based on processes. Apparently intuitionists struggle with infinite sets and real numbers. |
| 14493 | Existence might require playing a role in explanation, or in a causal story, or being composed in some way [Thomasson] |
| Full Idea: A higher standard for saying that entities exist might require that they play an essential role in explanation, or must figure in any complete causal story, or exist according to some uniform and nonarbitrary principle of composition. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 11.2) | |
| A reaction: I am struck by the first of these three. If I am defending the notion that essence depends on Aristotle's account of explanation, then if we add that existence also depends on explanation, we get a criterion for the existence of essences. Yay. |
| 14491 | Rival ontological claims can both be true, if there are analytic relationships between them [Thomasson] |
| Full Idea: Where there are analytic interrelations among our claims, distinct ontological claims may be true without rivalry, redundancy, or reduction. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 10) | |
| A reaction: Thus we might, I suppose, that it is analytically necessary that a lump of clay has a shape, and that a statue be made of something. Interesting. |
| 14489 | Theories do not avoid commitment to entities by avoiding certain terms or concepts [Thomasson] |
| Full Idea: A theory does not avoid commitment to any entities by avoiding use of certain terms or concepts. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 09.4) | |
| A reaction: This is a salutary warning to those who apply the notion of ontological commitment rather naively. |
| 14485 | Ordinary objects may be not indispensable, but they are nearly unavoidable [Thomasson] |
| Full Idea: I do not argue that ordinary objects are indispensable, but rather that they are (nearly) unavoidable. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 09) | |
| A reaction: Disappointing, given the blurb and title of the book, but put in those terms it will be hard to disagree. Clearly ordinary objects figure in the most useful way for us to talk. I wonder whether we have a clear ontology of 'simples' in which they vanish. |
| 14487 | The simple existence conditions for objects are established by our practices, and are met [Thomasson] |
| Full Idea: The existence conditions for ordinary objects are established by our practices, and they are quite minimal, so it is rather obvious that they are fulfilled, and so there are such things. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 09.3) | |
| A reaction: This is one of her main arguments. The same argument would have worked for witches or ghosts in certain cultures. |
| 21651 | It is analytic that if simples are arranged chair-wise, then there is a chair [Thomasson, by Hofweber] |
| Full Idea: Thomasson argues that the existence of ordinary objects follows analytically from the distribution of simples, assuming that there are any simples. It is an analytic truth that if there are simples arranged chair-wise, then there is a chair. | |
| From: report of Amie L. Thomasson (Ordinary Objects [2007]) by Thomas Hofweber - Ontology and the Ambitions of Metaphysics 07.3 | |
| A reaction: But how do you distinguish when simples are arranged nearly chair-wise from the point where they click into place as actually chair-wise? What is the criterion? |
| 14486 | Eliminativists haven't found existence conditions for chairs, beyond those of the word 'chair' [Thomasson] |
| Full Idea: The eliminativist cannot claim to have 'discovered' some real existence conditions for chairs beyond those entailed by the semantic rules associated with ordinary use of the word 'chair'. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 09.3) | |
| A reaction: It is difficult to understand atoms arranged 'chairwise' or 'baseballwise' if you don't already know what a chair or a baseball are. |
| 14467 | Ordinary objects are rejected, to avoid contradictions, or for greater economy in thought [Thomasson] |
| Full Idea: Objections to ordinary objects are the Causal Redundancy claim (objects lack causal powers), the Anti-Colocation view (statues and lumps overlap), Sorites arguments, a more economical ontology, or a more scientific ontology. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], Intro) | |
| A reaction: [my summary of two paragraphs] The chief exponents of these views are Van Inwagen and Merricks. Before you glibly accept ordinary objects, you must focus on producing a really strict ontology. These arguments all have real force. |
| 14479 | To individuate people we need conventions, but conventions are made up by people [Thomasson] |
| Full Idea: The conventionalist faces paradox if they hold that conventions are logically prior to people (since this plurality requires conventions of individuation), and people are logically prior to conventions (if they make up the conventions). | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 03.3) | |
| A reaction: [Sidelle is the spokesman for conventionalism] The best defence would be to deny the second part, and say that conventions emerge from whatever is there, but only conventions can individuate the bits of what is there. |
| 14481 | Wherever an object exists, there are intrinsic properties instantiating every modal profile [Thomasson] |
| Full Idea: In a 'modally plenitudinous' ontology, wherever there is an object at all, there are objects with intrinsic modal properties instantiating every consistent modal profile. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 03.5) | |
| A reaction: [She cites K.Bennett, Hawley, Rea, Sidelle] I love this. At last a label for the view I have been espousing. I am a Modal Plenitudinist. I must get a badge made. |
| 14482 | If the statue and the lump are two objects, they require separate properties, so we could add their masses [Thomasson] |
| Full Idea: An objection to the idea that statues are not identical to material lumps of stuff is the proliferation of instances of properties shared by those objects. If the mass of the statue is 500kg, and the mass of the lump is 500kg, do we have 1000kg? | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 04.3) | |
| A reaction: [compressed; she cites Rea 1997 and Zimmerman 1995] To wriggle out of this we would have to understand 'object' rather differently, so that an independent mass is not intrinsic to it. I leave this as an exercise for the reader. |
| 14483 | Given the similarity of statue and lump, what could possibly ground their modal properties? [Thomasson] |
| Full Idea: The 'grounding problem' is that given all that the statue and the lump have in common, what could possibly ground their different modal properties? | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 04.4) | |
| A reaction: Their modal properties are, of course, different, because only one of them could survive squashing. Thomasson suggests their difference of sort, but I'm not sure what that means, separately from what they actually are. |
| 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. |
| 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? |
| 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. |
| 14476 | Identity claims between objects are only well-formed if the categories are specified [Thomasson] |
| Full Idea: Identity claims are only well-formed and truth-evaluable if the terms flanking the statement are associated with a certain category of entity each is to refer to, which disambiguates the reference and identity-criteria. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 03) | |
| A reaction: The first of her two criteria for identity. She is buying the full Wiggins package. |
| 14477 | Identical entities must be of the same category, and meet the criteria for the category [Thomasson] |
| Full Idea: Identity claims are only true if the entities referred to are of the same category, and meet the criteria of identity appropriate for things of that category. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 03) | |
| A reaction: This may be a little too optimistic about having a set of clear-cut and reasonably objective categories to work with, but attempts at establishing metaphysical categories have not gone especially well. |
| 14478 | Modal Conventionalism says modality is analytic, not intrinsic to the world, and linguistic [Thomasson] |
| Full Idea: Modal Conventionalism has at least three theses: 1) modal truths are either analytic truths, or combine analytic and empirical truths, 2) modal properties are not intrinsic features of the world, 3) modal propositions depend on linguistic conventions. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 03.2) | |
| A reaction: [She cites Alan Sidelle 1989 for this view] I disagree mainly with number 2), since I take dispositions to be key intrinsic features of nature, and I interpret dispositions as modal properties. |
| 14466 | A chief task of philosophy is making reflective sense of our common sense worldview [Thomasson] |
| Full Idea: Showing how, reflectively, we can make sense of our unreflective common sense worldview is arguably one of the chief tasks of philosophy. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], Intro) | |
| A reaction: Maybe. The obvious problem is that when you look at weird and remote cultures like the Aztecs, what counts as 'common sense' might be a bit different. She is talking of ordinary objects, though, where her point is reasonable. |
| 14475 | How can causal theories of reference handle nonexistence claims? [Thomasson] |
| Full Idea: Pure causal theories of reference have problems in handling nonexistence claims | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 02.3) | |
| A reaction: This is a very sound reason for shifting from a direct causal baptism view to one in which the baptism takes place by a social consensus. So there is a consensus about 'unicorns', but obviously no baptism. See Evans's 'Madagascar' example. |
| 14474 | Pure causal theories of reference have the 'qua problem', of what sort of things is being referred to [Thomasson] |
| Full Idea: Pure causal theories of reference face the 'qua problem' - that it may be radically indeterminate what the term refers to unless there is some very basic concept of what sort of thing is being referred to. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 02.3) | |
| A reaction: She cites Dummett and Wiggins on this. There is an obvious problem that when I say 'look at that!' there are all sorts of conventions at work if my reference is to succeed. |
| 18791 | In 'situation semantics' our main concepts are abstracted from situations [Mares] |
| Full Idea: In 'situation semantics' individuals, properties, facts, and events are treated as abstractions from situations. | |
| From: Edwin D. Mares (Negation [2014], 6.1) | |
| A reaction: [Barwise and Perry 1983 are cited] Since I take the process of abstraction to be basic to thought, I am delighted to learn that someone has developed a formal theory based on it. I am immediately sympathetic to situation semantics. |
| 14488 | Analyticity is revealed through redundancy, as in 'He bought a house and a building' [Thomasson] |
| Full Idea: The analytic interrelations among elements of language become evident through redundancy. It is redundant to utter 'He bought a house and a building', since buying a house analytically entails that he bought a building. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 09.4) | |
| A reaction: This appears to concern necessary class membership. It is only linguistically redundant if the class membership is obvious. Houses are familiar, uranium samples are not. |