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.
|
16730
|
If matter is entirely atoms, anything else we notice in it can only be modes [Gassendi]
|
|
Full Idea:
Since these atoms are the whole of the corporeal matter or substance that exists in bodies, if we conceive or notice anything else to exist in these bodies, that is not a substance but only some kind of mode of the substance.
|
|
From:
Pierre Gassendi (Syntagma [1658], II.1.6.1), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 22.4
|
|
A reaction:
If the atoms have a few qualities of their own, are they just modes? If they are genuine powers, then there can be emergent powers, which are rather more than mere 'modes'.
|
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.
|
16619
|
We observe qualities, and use 'induction' to refer to the substances lying under them [Gassendi]
|
|
Full Idea:
Nothing beyond qualities is perceived by the senses. …When we refer to the substance in which the qualities inhere, we do this through induction, by which we reason that some subject lies under the quality.
|
|
From:
Pierre Gassendi (Syntagma [1658], II.1.6.1), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 07.1
|
|
A reaction:
He talks of 'induction' (in an older usage), but he seems to mean abduction, since he never makes any observations of the substances being proposed.
|
16593
|
Atoms are not points, but hard indivisible things, which no force in nature can divide [Gassendi]
|
|
Full Idea:
The vulgar think atoms lack parts and are free of all magnitude, and hence nothing other than a mathematical point, but it is something solid and hard and compact, as to leave no room for division, separation and cutting. No force in nature can divide it.
|
|
From:
Pierre Gassendi (Syntagma [1658], II.1.3.5), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 03.2
|
|
A reaction:
If you gloatingly think the atom has now been split, ask whether electrons and quarks now fit his description. Pasnau notes that though atoms are indivisible, they are not incorruptible, and could go out of existence, or be squashed.
|
16729
|
How do mere atoms produce qualities like colour, flavour and odour? [Gassendi]
|
|
Full Idea:
If the only material principles of things are atoms, having only size, shape, and weight, or motion, then why are so many additional qualities created and existing within the things: color, heat, flavor, odor, and innumerable others?
|
|
From:
Pierre Gassendi (Syntagma [1658], II.1.5.7), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 22.4
|
|
A reaction:
This is pretty much the 'hard question' about the mind-body relation. Bacon said that heat was just motion of matter. I would say that this problem is gradually being solved in my lifetime.
|