Logic is an ancient discipline that has undergone striking modern developments through the introduction of rigorous formal methods, stimulated largely by foundational problems in mathematics.

An arithmetical interpretation of dynamic propositional logic (DPL) is a mapping f satisfying the following: (1) f associates with each formula A of DPL a sentence f(A) of Peano arithmetic (PA) and ...

For thousands of years, mathematicians have adapted to the latest advances in logic and reasoning. Are they ready for artificial intelligence? By Siobhan Roberts In the collection of the Getty museum ...

OF all the branches of philosophy, logic alone has had the distinction of being claimed by the exact sciences as one of them. The event is of recent occurrence; in fact, it has happened only since ...

Modern mathematics is built on set theory, itself a logical system. Logic provides the structure and principles underpinning mathematical reasoning.