28 ideas
8952 | We reach 'reflective equilibrium' when intuitions and theory completely align [Fisher] |
Full Idea: A state of 'reflective equilibrium' is when our theory and our intuitions become completely aligned | |
From: Jennifer Fisher (On the Philosophy of Logic [2008], 12.IV) | |
A reaction: [Rawls made this concept famous] This is a helpful concept in trying to spell out the ideal which is the dream of believers in 'pure reason' - that there is a goal in which everything comes right. The problem is when people have different intuitions! |
15063 | Some sentences depend for their truth on worldly circumstances, and others do not [Fine,K] |
Full Idea: There is a distinction between worldly and unworldly sentences, between sentences that depend for their truth upon the worldly circumstances and those that do not. | |
From: Kit Fine (Necessity and Non-Existence [2005], Intro) | |
A reaction: Fine is fishing around in the area between the necessary, the a priori, truthmakers, and truth-conditions. He appears to be attempting a singlehanded reconstruction of the concepts of metaphysics. Is he major, or very marginal? |
8943 | Three-valued logic says excluded middle and non-contradition are not tautologies [Fisher] |
Full Idea: In three-valued logic (L3), neither the law of excluded middle (p or not-p), nor the law of non-contradiction (not(p and not-p)) will be tautologies. If p has the value 'indeterminate' then so will not-p. | |
From: Jennifer Fisher (On the Philosophy of Logic [2008], 07.I) | |
A reaction: I quite accept that the world is full of indeterminate propositions, and that excluded middle and non-contradiction can sometimes be uncertain, but I am reluctant to accept that what is being offered here should be called 'logic'. |
8945 | Fuzzy logic has many truth values, ranging in fractions from 0 to 1 [Fisher] |
Full Idea: In fuzzy logic objects have properties to a greater or lesser degree, and truth values are given as fractions or decimals, ranging from 0 to 1. Not-p is defined as 1-p, and other formula are defined in terms of maxima and minima for sets. | |
From: Jennifer Fisher (On the Philosophy of Logic [2008], 07.II) | |
A reaction: The question seems to be whether this is actually logic, or a recasting of probability theory. Susan Haack attacks it. If logic is the study of how truth is preserved as we move between propositions, then 0 and 1 need a special status. |
8951 | Classical logic is: excluded middle, non-contradiction, contradictions imply all, disjunctive syllogism [Fisher] |
Full Idea: For simplicity, we can say that 'classical logic' amounts to the truth of four sentences: 1) either p or not-p; 2) it is not the case that both p and not-p; 3) from p and not-p, infer q; 4) from p or q and not-p, infer q. | |
From: Jennifer Fisher (On the Philosophy of Logic [2008], 12.I) | |
A reaction: [She says there are many ways of specifying classical logic] Intuition suggests that 2 and 4 are rather hard to dispute, while 1 is ignoring some grey areas, and 3 is totally ridiculous. There is, of course, plenty of support for 3! |
8950 | Logic formalizes how we should reason, but it shouldn't determine whether we are realists [Fisher] |
Full Idea: Even if one is inclined to be a realist about everything, it is hard to see why our logic should be the determiner. Logic is supposed to formalize how we ought to reason, but whether or not we should be realists is a matter of philosophy, not logic. | |
From: Jennifer Fisher (On the Philosophy of Logic [2008], 09.I) | |
A reaction: Nice to hear a logician saying this. I do not see why talk in terms of an object is a commitment to its existence. We can discuss the philosopher's stone, or Arthur's sword, or the Loch Ness monster, or gravitinos, with degrees of commitment. |
15078 | There are levels of existence, as well as reality; objects exist at the lowest level in which they can function [Fine,K] |
Full Idea: Just as we recognise different levels of reality, so we should recognise different levels of existence. Each object will exist at the lowest level at which it can enjoy its characteristic form of life. | |
From: Kit Fine (Necessity and Non-Existence [2005], 10) | |
A reaction: I'm struggling with this claim, despite my sympathy for much of Fine's picture. I'm not sure that the so-called 'levels' of reality have different degrees of reality. |
15072 | Bottom level facts are subject to time and world, middle to world but not time, and top to neither [Fine,K] |
Full Idea: At the bottom are tensed or temporal facts, subject to the vicissitudes of time and hence of the world. Then come the timeless though worldly facts, subject to the world but not to time. Top are transcendental facts, subject to neither world nor time. | |
From: Kit Fine (Necessity and Non-Existence [2005], 08) | |
A reaction: For all of Fine's awesome grasp of logic and semantics, when he divides reality up as boldly as this I start to side a bit with the sceptics about modern metaphysics (like Ladyman and Ross). I daresay Fine acknowledges that it is 'speculative'. |
15071 | Tensed and tenseless sentences state two sorts of fact, which belong to two different 'realms' of reality [Fine,K] |
Full Idea: A tensed fact is stated by a tensed sentence while a tenseless fact is stated by a tenseless sentence, and they belong to two 'realms' of reality. That Socrates drank hemlock is in the temporal realm, while 2+2=4 is presumably in the timeless realm. | |
From: Kit Fine (Necessity and Non-Existence [2005], 07) | |
A reaction: Put so strongly, I suddenly find sales resistance to his proposal. All my instincts favour one realm, and I take 2+2=4 to be a highly general truth about that realm. It may be a truth of any possible realm, which would distinguish it. |
8946 | We could make our intuitions about heaps precise with a million-valued logic [Fisher] |
Full Idea: We could construct a 1,000,000-valued logic that would allow our intuitions concerning a heap to vary exactly with the amount of sand in the heap. | |
From: Jennifer Fisher (On the Philosophy of Logic [2008]) | |
A reaction: Presumably only an infinite number of grains of sand would then produce a true heap, and even one grain would count as a bit of a heap, which must both be wrong, so I can't see this helping much. |
15075 | Modal features are not part of entities, because they are accounted for by the entity [Fine,K] |
Full Idea: It is natural to suggest that to be a man is to have certain kind of temporal-modal profile. ...but it seems natural that being a man accounts for the profile, ...so one should not appeal to an object's modal features in stating what the object is. | |
From: Kit Fine (Necessity and Non-Existence [2005], 09) | |
A reaction: This strikes me as a correct and very helpful point, as I am tempted to think that the modal dispositions of a thing are intrinsic to its identity. If we accept 'powers', must they be modal in character? Fine backs a sortal approach. That's ideology. |
8944 | Vagueness can involve components (like baldness), or not (like boredom) [Fisher] |
Full Idea: Vague terms come in at least two different kinds: those whose constituent parts come in discrete packets (bald, rich, red) and those that don't (beauty, boredom, niceness). | |
From: Jennifer Fisher (On the Philosophy of Logic [2008], 07.II) | |
A reaction: The first group seem to be features of the external world, and the second all occur in the mind. Baldness may be vague, but presumably hairs are (on the whole) not. Nature doesn't care whether someone is actually 'bald' or not. |
15065 | What it is is fixed prior to existence or the object's worldly features [Fine,K] |
Full Idea: The identity of an object - what it is - is not a worldly matter; essence will precede existence in that the identity of an object may be fixed by its unworldly features even before any question of its existence or other worldly features is considered. | |
From: Kit Fine (Necessity and Non-Existence [2005], Intro) | |
A reaction: I'm not clear how this cashes out. If I remove the 'worldly features' of an object, what is there left which establishes identity? Fine carefully avoids talk of 'a priori' knowledge of identity. |
15076 | Essential features of an object have no relation to how things actually are [Fine,K] |
Full Idea: It is the core essential features of the object that will be independent of how things turn out, and they will be independent in the sense of holding regardless of circumstances, not whatever the circumstances. | |
From: Kit Fine (Necessity and Non-Existence [2005], 09) | |
A reaction: The distinction at the end seems to be that 'regardless' pays no attention to circumstances, whereas 'whatever' pays attention to all circumstances. In other words, essence has no relationship to how things are. Plausible. Nice to see 'core'. |
15073 | Self-identity should have two components, its existence, and its neutral identity with itself [Fine,K] |
Full Idea: The existential identity of an object with itself needs analysis into two components, one the neutral identity of the object with itself, and the other its existence. The existence of the object appears to be merely a gratuitous addition to its identity. | |
From: Kit Fine (Necessity and Non-Existence [2005], 08) | |
A reaction: This is at least a step towards clarification of the notion, which might be seen as just a way of asserting that something 'has an identity'. Fine likes the modern Fregean way of expressing this, as an equality relation. |
15074 | We would understand identity between objects, even if their existence was impossible [Fine,K] |
Full Idea: If there were impossible objects, ones that do not possibly exist, we would have no difficulty in understanding what it is for such objects to be identical or distinct than in the case of possible objects. | |
From: Kit Fine (Necessity and Non-Existence [2005], 08) | |
A reaction: Thus, a 'circular square' seems to be the same as a 'square circle'. Fine is arguing for identity to be independent of any questions of existence. |
15064 | Proper necessary truths hold whatever the circumstances; transcendent truths regardless of circumstances [Fine,K] |
Full Idea: We distinguish between the necessary truths proper, those that hold whatever the circumstances, and the transcendent truths, those that hold regardless of the circumstances. | |
From: Kit Fine (Necessity and Non-Existence [2005], Intro) | |
A reaction: Fine's project seems to be dividing the necessities which derive from essence from the necessities which tended to be branded in essentialist discussions as 'trivial'. |
8941 | We can't explain 'possibility' in terms of 'possible' worlds [Fisher] |
Full Idea: Explaining 'it is possible that p' by saying p is true in at least one possible world doesn't get me very far. If I don't understand what possibility is, then appealing to possible worlds is not going to do me much good. | |
From: Jennifer Fisher (On the Philosophy of Logic [2008], 06.III) | |
A reaction: This seems so blatant that I assume friends of possible worlds will have addressed the problem. Note that you will also need to understand 'possible' to define necessity as 'true in all possible worlds'. Necessarily-p is not-possibly-not-p. |
8947 | If all truths are implied by a falsehood, then not-p might imply both q and not-q [Fisher] |
Full Idea: If all truths are implied by a falsehood, then 'if there are no trees in the park then there is no shade' and 'if there are no trees in the park there is plenty of shade' both come out as true. Intuitively, though, the second one is false. | |
From: Jennifer Fisher (On the Philosophy of Logic [2008], 08.I) | |
A reaction: The rule that a falsehood implies all truths must be the weakest idea in classical logic, if it actually implies a contradiction. This means we must take an interest in relevance logics. |
8949 | In relevance logic, conditionals help information to flow from antecedent to consequent [Fisher] |
Full Idea: A good account of relevance logic suggests that a conditional will be true when the flow of information is such that a conditional is the device that helps information to flow from the antecedent to the consequent. | |
From: Jennifer Fisher (On the Philosophy of Logic [2008], 08.III) | |
A reaction: Hm. 'If you are going out, you'll need an umbrella'. This passes on information about 'out', but also brings in new information. 'If you are going out, I'm leaving you'. What flows is an interpretation of the antecedent. Tricky. |
15070 | It is the nature of Socrates to be a man, so necessarily he is a man [Fine,K] |
Full Idea: It is of the nature of Socrates to be a man; and from this it appears to follow that necessarily he is a man. | |
From: Kit Fine (Necessity and Non-Existence [2005], 04) | |
A reaction: I'm always puzzled by this line of thought, because it is only the intrinsic nature of beings like Socrates which decides in the first place what a 'man' is. How can something help to create a category, and then necessarily belong to that category? |
15069 | Possible worlds may be more limited, to how things might actually turn out [Fine,K] |
Full Idea: An alternative conception of a possible world says it is constituted, not by the totality of facts, or of how things might be, but by the totality of circumstances, or how things might turn out. | |
From: Kit Fine (Necessity and Non-Existence [2005], 02) | |
A reaction: The general idea is to make a possible world more limited than in Idea 15068. It only contains properties arising from 'engagement with the world', and won't include timeless sentences. It is a bunch of possibilities, not of actualities? |
15068 | The actual world is a totality of facts, so we also think of possible worlds as totalities [Fine,K] |
Full Idea: We are accustomed think of the actual world as the totality of facts, and so we think of any possible world as being like the actual world in settling the truth-value of every single proposition. | |
From: Kit Fine (Necessity and Non-Existence [2005], 02) | |
A reaction: Hence it is normal to refer to a possible world as a 'maximal' set of of propositions (sentences, etc). See Idea 15069 for his proposed alternative view. |
21997 | In Marxism the state will be superseded [Singer] |
Full Idea: It is a famous Marxist doctrine that the state will be superseded. | |
From: Peter Singer (Marx [1980], 9) | |
A reaction: Why is that final state communism rather than anarchism? |
21993 | Materialist history says we are subject to incomprehensible forces [Singer] |
Full Idea: The materialist conception of history tells us that human beings are totally subject to forces they do not understand and control. | |
From: Peter Singer (Marx [1980], 6) | |
A reaction: How does Marx know the forces? An exceptionally influential idea, because it is a modern commonplace that we have very little control over our own lives (apart from right wingers asserting that 'you can have anything if you really really want it'). |
15077 | It is said that in the A-theory, all existents and objects must be tensed, as well as the sentences [Fine,K] |
Full Idea: It is said that there is no room in the A-theorists' ontology for a realm of timeless existents. Just as there is a tendency to think that every sentence is tensed, so there is a tendency to think that every object must enjoy a tensed form of existence. | |
From: Kit Fine (Necessity and Non-Existence [2005], 10) | |
A reaction: Fine is arguing for certain things to exist or be true independently of time (such as arithmetic, or essential identities). I struggle with the notion of timeless existence. |
15067 | A-theorists tend to reject the tensed/tenseless distinction [Fine,K] |
Full Idea: Most A-theorists have been inclined to reject the tensed/tenseless distinction. | |
From: Kit Fine (Necessity and Non-Existence [2005], 01) | |
A reaction: Presumably this is because they reject the notion of 'tenseless' truths. But sentences like 'two and two make four' seem not to be very tensy. |
15066 | B-theorists say tensed sentences have an unfilled argument-place for a time [Fine,K] |
Full Idea: B-theorists regard tensed sentences as incomplete expressions, implicitly containing an unfilled argument-place for the time at which they are to be evaluated. | |
From: Kit Fine (Necessity and Non-Existence [2005], 01) | |
A reaction: To distinguish past from future it looks as if you would need two argument-places, not one. Then there are 'used to be' and 'had been' to evaluate. |