~ ~ ~ The Logic Café ~ ~ ~

Logic's virtual TA, online textbook, tutor, and homework assistant.

Home     About Us     Contact Us     Site Map      
 
The Logic Café is logic courseware: It is a virtual TA to guide learning through interactive, multimedia tutorials and presentations, an online textbook with incorporated homework examiner, and many resources relating to basic logic and issues in philosophy of logic and language. 
 
The Logic Café: Symbolic Logic
(written from 1999-2004)

This text is the original Logic Café covering propositional and predicate logic up to first order logic with identity. There is even an application of the logic to very basic group theory.
 

The Logic Café: Formal and Informal Logic 
(written from 2005-2009)
 
As it's name suggests, this version of the Logic Café covers a broader range of logic. The ampliative aspect of inductive, informal thinking is investigated as a difference to be stressed from the formal calculation of deductive logic.
(written from 2004-2005)
 
These pages are a better guide for the student who has had some logic and just needs a refresher. It includes a number of applications of logic to philosophy and math.
 
 
 
 
The Logic Café: Philosophical Conceptions
(written from 1990-2007)
 
This page includes a brief description of The Logic Café's author and work. Included are links to a few journal articles in logic and philosophy of science.