Our course is about symbolic deductive logic. Although deductive logic had its beginning in ideas promoted by ancient Greek philosophers, almost all their reasoning with and about logic was carried ...

The Association for Symbolic Logic is an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, ...

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 ...

A University of Colorado Boulder mathematician has won the Sacks Prize, which recognizes the year’s best dissertation on mathematical logic, the Association of Symbolic Logic has announced. Marcos ...