Inspired by Curry’s observation, the mathematical logician William Alvin Howard discovered a deeper link between computation and logic in 1969, showing that running a computer program is a lot like ...

Modal logic, an extension of classical logic, investigates the modes of truth such as necessity and possibility. Its development has been closely intertwined with advances in proof theory, a field ...

These are not biologists, climatologists or physicists. They don’t come from a field in which empirical models get a say in determining what counts as true. Instead they are mathematicians, ...

DETAILED COURSE TOPICS: All sections will deal with topics from Part I (Proofs and Mathematical Preliminaries), as well as a selection of topics from Parts II-IV. Part I: Proofs, and Mathematical ...

The ontological proof for the existence of God (really "proofs" or perhaps "arguments," as there are various versions) has popped up in the blogs a few times recently: e.g. Ophelia Benson, Josh ...