Stronger than scientific explanation is logical proof. It may surprise you to know that just such proof of Santa’s existence has actually been around for more than 900 years.

See all Abstractions blog 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 ...

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

Logical Deduction in Economics Economics is not readily verifiable or falsifiable by empirical quantitative analysis but flows from logical proofs. Economics assumes that people are purposeful ...

This kind of ontological proof is a favorite whipping-argument for atheists, just because it seems so prima facie silly. Just ask Jesus and Mo. This kind of mockery is a little unfair (although only a ...

Instead they are mathematicians, representatives of a discipline whose standard currency — indisputable logical proof — normally spares them the kinds of debates that consume other fields. Yet here ...