(1) A KNOWLEDGE of the techniques of symbolic logic is now almost essential for an appreciation of modern philosophical thought, with its increasing dependence upon purely formal studies such as ...

The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. Volume 71, being published during 2006, will consist of ...

The first half of this course examines various axiomatic systems, and the student develops both intrasystematic and metasystematic techniques of proof. During the second half of the course, attention ...

The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic (ASL) to provide a journal of high standards that would be both accessible and of interest to as wide an ...

Note: Some of these courses may demand prerequisites. See the Philosophy Course Catalog for further details. PHIL 313: Philosophy of Science A philosophical examination of the nature, validity and ...