Συγγραφέας: Peter Smith
Peter Smith: Curryâs paradox, Lukasiewicz, and Field (pdf, 8 pages)
In approaching Ch. 4 of Saving Truth from Paradox, it might be helpful first to revisit Curryâs original paper, and to revisit Lukasiewicz too, to provide more of the scenesetting that Field doesnât himself fill in. So in §1 Iâll say something about Curry, in §2 weâll look at what Lukasiewicz was up to in his original three-valued logic, and in §3 weâll look at the move from a three-valued to a many-valued Lukasiewicz logic. In §4, I move on to announce a theorem by H´ |