|
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.
|
|
7946
|
The memory criterion has a problem when one thing branches into two things [Williams,B, by Macdonald,C]
|
|
Full Idea:
The memory criterion for personal identity permits 'branching' (where two things can later meet the criteria of persistence of a single earlier thing), which presents it with serious problems.
|
|
From:
report of Bernard Williams (Personal Identity and Individuation [1956]) by Cynthia Macdonald - Varieties of Things Ch.4
|
|
A reaction:
Of course, any notion of personal identity would have serious problem if people could branch into two, like fissioning amoeba. If that happened, we probably wouldn't have had a strong notion of personal identity in the first place. See Parfit.
|