Combining Texts

All the ideas for 'fragments/reports', 'Essays on Active Powers 1: Active power' and 'Elements of Mathematical Logic'

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


12 ideas

4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic
Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher]
     Full Idea: In response to Aristotle's sea-battle problem, Lukasiewicz proposed a three-valued logic that has come to be known as L3. In addition to the values true and false (T and F), there is a third truth-value, I, meaning 'indeterminate' or 'possible'.
     From: report of Jan Lukasiewicz (Elements of Mathematical Logic [1928], 7.I) by Jennifer Fisher - On the Philosophy of Logic
     A reaction: [He originated the idea in 1917] In what sense is the third value a 'truth' value? Is 'I don't care' a truth-value? Or 'none of the above'? His idea means that formalization doesn't collapse when things get obscure. You park a few propositions under I.
8. Modes of Existence / C. Powers and Dispositions / 2. Powers as Basic
Powers are quite distinct and simple, and so cannot be defined [Reid]
     Full Idea: Power is a thing so much of its own kind, and so simple in its nature, as to admit of no logical definition.
     From: Thomas Reid (Essays on Active Powers 1: Active power [1788], 1)
     A reaction: True. And this makes Powers ideally suited for the role of primitives in a metaphysics of nature.
Thinkers say that matter has intrinsic powers, but is also passive and acted upon [Reid]
     Full Idea: Those philosophers who attribute to matter the power of gravitation, and other active powers, teach us, at the same time, that matter is a substance altogether inert, and merely passive; …that those powers are impressed on it by some external cause.
     From: Thomas Reid (Essays on Active Powers 1: Active power [1788], 6)
     A reaction: This shows the dilemma of the period, when 'laws of nature' were imposed on passive matter by God, and yet gravity and magnetism appeared as inherent properties of matter.
8. Modes of Existence / C. Powers and Dispositions / 3. Powers as Derived
It is obvious that there could not be a power without a subject which possesses it [Reid]
     Full Idea: It is evident that a power is a quality, and cannot exist without a subject to which it belongs. That power may exist without any being or subject to which that power may be attributed, is an absurdity, shocking to every man of common understanding.
     From: Thomas Reid (Essays on Active Powers 1: Active power [1788], 1)
     A reaction: This is understandble in the 18th C, when free-floating powers were inconceivable, but now that we have fields and plasmas and whatnot, we can't rule out pure powers as basic. However, I incline to agree with Reid. Matter is active.
9. Objects / C. Structure of Objects / 6. Constitution of an Object
If someone squashed a horse to make a dog, something new would now exist [Mnesarchus]
     Full Idea: If, for the sake of argument, someone were to mould a horse, squash it, then make a dog, it would be reasonable for us on seeing this to say that this previously did not exist but now does exist.
     From: Mnesarchus (fragments/reports [c.120 BCE]), quoted by John Stobaeus - Anthology 179.11
     A reaction: Locke would say it is new, because the substance is the same, but a new life now exists. A sword could cease to exist and become a new ploughshare, I would think. Apply this to the Ship of Theseus. Is form more important than substance?
15. Nature of Minds / B. Features of Minds / 1. Consciousness / e. Cause of consciousness
Consciousness is the power of mind to know itself, and minds are grounded in powers [Reid]
     Full Idea: Consciousness is that power of the mind by which it has an immediate knowledge of its own operations. …Every operation of the mind is the exertion of some power of the mind.
     From: Thomas Reid (Essays on Active Powers 1: Active power [1788], 1)
     A reaction: I strongly favour this account of the mind and consciousness in terms of powers, because they give the best basis for their dynamic nature, and seem to be primitives which terminate all of our explanations. Science identifies the powers for us.
16. Persons / F. Free Will / 4. For Free Will
Our own nature attributes free determinations to our own will [Reid]
     Full Idea: Every man is led by nature to attribute to himself the free determination of his own will, and to believe those events to be in his power which depend upon his will.
     From: Thomas Reid (Essays on Active Powers 1: Active power [1788], 5)
     A reaction: I'm happy to say we are all responsible for those actions which are caused by the conscious decisions of our own will (our mental decision mechanisms), but personally I would drop the word 'free', which adds nothing. We are not 'ultimately' responsible.
20. Action / B. Preliminaries of Action / 2. Willed Action / c. Agent causation
Reid said that agent causation is a unique type of causation [Reid, by Stout,R]
     Full Idea: Thomas Reid said that an agent's causing something involves a fundamentally different kind of causation from inanimate causing.
     From: report of Thomas Reid (Essays on Active Powers 1: Active power [1788]) by Rowland Stout - Action 4 'Agent'
     A reaction: I'm afraid the great philosopher of common sense got it wrong on this one. Introducing a new type of causation into our account of nature is crazy.
26. Natural Theory / C. Causation / 9. General Causation / a. Constant conjunction
Day and night are constantly conjoined, but they don't cause one another [Reid, by Crane]
     Full Idea: A famous example of Thomas Reid: day regularly follows night, and night regularly follows day. There is therefore a constant conjunction between night and day. But day does not cause night, nor does night cause day.
     From: report of Thomas Reid (Essays on Active Powers 1: Active power [1788]) by Tim Crane - Causation 1.2.2
     A reaction: Not a fatal objection to Hume, of course, because in the complex real world there are huge numbers of nested constant conjunctions. Night and the rotation of the Earth are conjoined. But how do you tell which constant conjunctions are causal?
26. Natural Theory / C. Causation / 9. General Causation / d. Causal necessity
Regular events don't imply a cause, without an innate conviction of universal causation [Reid]
     Full Idea: A train of events following one another ever so regularly, could never lead us to the notion of a cause, if we had not, from our constitution, a conviction of the necessity of a cause for every event.
     From: Thomas Reid (Essays on Active Powers 1: Active power [1788], 5)
     A reaction: Presumably a theist like Reid must assume that the actions of God are freely chosen, rather than necessities. It's hard to see why this principle should be innate in us, and hard to see why it must thereby be true. A bit Kantian, this idea.
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
Scientists don't know the cause of magnetism, and only discover its regulations [Reid]
     Full Idea: A Newtonian philosopher …confesses his ignorance of the true cause of magnetic motion, and thinks that his business, as a philosopher, is only to find from experiment the laws by which it is regulated in all cases.
     From: Thomas Reid (Essays on Active Powers 1: Active power [1788], 6)
     A reaction: Since there is a 'true cause', that implies that the laws don't actively 'regulate' the magnetism, but only describe its regularity, which I think is the correct view of laws.
Laws are rules for effects, but these need a cause; rules of navigation don't navigate [Reid]
     Full Idea: The laws of nature are the rules according to which the effects are produced; but there must be a cause which operates according to these rules. The rules of navigation never navigated a ship.
     From: Thomas Reid (Essays on Active Powers 1: Active power [1788], 6)
     A reaction: Very nice. No enquirer should be satisfied with merely discovering patterns; the point is to explain the patterns.