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.
|
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.
|
14494
|
Epiphenomenalism is like a pointless nobleman, kept for show, but soon to be abolished [Alexander,S]
|
|
Full Idea:
Epiphenomenalism supposes something to exist in nature which has nothing to do, no purpose to serve, a species of noblesse which depends on the work of its inferiors, but is kept for show and might as well, and undoubtedly would in time be abolished.
|
|
From:
Samuel Alexander (Space, Time and Deity (2 vols) [1927], 2:8), quoted by Jaegwon Kim - Nonreductivist troubles with ment.causation IV
|
|
A reaction:
Wonderful! Kim quotes this, and labels the implicit slogan (to be real is to have causal powers) 'Alexander's Dictum'. All the examples given of epiphenomena are only causally inert within a defined system, but they act causally outside the system.
|
16589
|
Prime matter lacks essence, but is only potentially and indeterminately a physical thing [Auriol]
|
|
Full Idea:
Prime matter has no essence, nor a nature that is determinate, distinct, and actual. Instead, it is pure potential, and determinable, so that it is indeterminately and indistinctly a material thing.
|
|
From:
Peter Auriol (Sentences [1316], II.12.1.1), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 03.1
|
|
A reaction:
Pasnau thinks Auriol has the best shot at explaining the vague idea of 'prime matter', with the thought that it exists, but indeterminateness is what gives it a lesser mode of existence. It strikes me as best to treat 'exist' as univocal.
|
16651
|
God can do anything non-contradictory, as making straightness with no line, or lightness with no parts [Auriol]
|
|
Full Idea:
If someone says 'God could make straightness without a line, and roughness and lightness in weight without parts', …then show me the reason why God can do whatever does not imply a contradiction, yet cannot do these things.
|
|
From:
Peter Auriol (Sentences [1316], IV.12.2.2), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 11.4
|
|
A reaction:
How engagingly bonkers. The key idea preceding this is that God can do all sorts of things that are beyond our understanding. He is then obliged to offer some examples.
|