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

Studia Logica publishes original papers on various logical systems, which utilize methods of contemporary formal logic (those of algebra, model theory, proof theory, etc.). More specifically, Studia ...

We introduce a logic BI in which a multiplicative (or linear) and an additive (or intuitionistic) implication live side-by-side. The propositional version of BI arises from an analysis of the ...

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

Want Even Further Proof? Then in 2002, a group of researchers set up the experiment in a way that the electron could not possibly receive information about the existence of an observing instrument.

All such “logical proofs” have their strengths and weaknesses, as virtually all proofs of anything do. Yet, that entire framework of “proving God” became one of the early church’s first ...

The question of logic, however, is where many atheists miss the mark. Most atheists conclude that if there isn't a logical proof for God, then God doesn't exist.