The History of Philosophical and Formal Logic introduces ideas and thinkers central to the development of philosophical and formal logic. From its Aristotelian

Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all o

Examines the cognitive impact on formal languages for human reasoning, drawing on philosophy, historical development, psychology and cognitive science.

Logic is--arguably--all about proving, but proofs can be "costly," often impossibly so, and today most are delegated to (partly) automatic provers, namely by so

Examines the relations between logic and philosophy over the last 150 years. Logic underwent a major renaissance beginning in the nineteenth century. Cantor alm