392194 Themes in Applied Logic I (S) (WiSe 2010/2011)

This course offers a contination of Applied Logic I and II for people who are particularly interested in logic and might want to pursue further work in it at the Master's or higher level.

Themes which have been proposed for Winter Semester 2010-11 include:

* John Lucas's argument that a (given) human mind is not a (given) Turing machine, which celebrated its 50th anniversary in October 2009, has beenextended by Roger Penrose, and refuted or at least declared incomplete by David Lewis and others. Which is it: correct, incomplete, or false?
* John Burgess's recent high-octane survey of classical, temporal, modal, conditional, "relevantistic" and intuitionistic logics. Whew!
* Ernie Adams's "introduction" to probability logic, a field which he more or less invented, based on the intuition that we are very rarely completely sure of the truth of our premises, and what inference means in the face of this uncertainty
* Other themes suggested by participants.

Bibliography

• Huth, Ryan: Logic in Computer Science, 2nd Edition (Cambridge University Press, 2004)

* Hacking: An Introduction to Probability and Inductive Logic (Cambridge University Press, 2001)
* Priest: An Introduction to Non-Classical Logic, 2nd Edition (Cambridge University Press, 2008)
* John P. Burgess, Philosophical Logic, Princeton U.P., 2009
* Ernest W. Adams, A Primer of Probability Logic, CSLI Publications, 1998.

External comments page

http://www.rvs.uni-bielefeld.de/lectures/wintersemester.php#AppLog