8942
|
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.
|
8978
|
Events are made of other things, and are not fundamental to ontology [Bennett]
|
|
Full Idea:
Events are not basic items in the universe; they should not be included in any fundamental ontology...all the truths about them are entailed by and explained and made true by truths that do not involve the event concept.
|
|
From:
Jonathan Bennett (Events and Their Names [1988], p.12), quoted by Peter Simons - Events 3.1
|
|
A reaction:
Given the variable time spans of events, their ability to coincide, their ability to contain no motion, their blatantly conventional component, and their recalcitrance to individuation, I say Bennett is right.
|
10364
|
Facts are about the world, not in it, so they can't cause anything [Bennett]
|
|
Full Idea:
Facts are not the sort of item that can cause anything. A fact is a true proposition (they say); it is not something in the world but is rather something about the world.
|
|
From:
Jonathan Bennett (Events and Their Names [1988], p.22), quoted by Jonathan Schaffer - The Metaphysics of Causation 1.1
|
|
A reaction:
Compare 10361. Good argument, but maybe 'fact' is ambiguous. See Idea 10365. Events are said to be more concrete, and so can do the job, but their individuation also seems to depend on a description (as Davidson has pointed out).
|