@MISC{University_modernlogic, author = {Peter Flach University and Peter A. Flach}, title = {Modern Logic and Its Role in the Study of Knowledge}, year = {} }

Share

OpenURL

Abstract

y the kind of inductive reasoning involved in experimental sciences as eagerly as he would investigate the kind of reasoning that is employed in mathematical proofs. However, in the last century logic seems to have developed into a relatively specialised and not seldomly obscure branch of mathematics. This is all the more paradoxical since the first half of the 20 century has often been called `the Golden Age of logic'. Following the pioneering work of Gottlob Frege, who developed a forerunner of predicate logic called Begriffschrift (`concept language') in 1893, Russell and Whitehead published their three-volume Principia Mathematica between 1910 and 1913, in which they re-established the foundations of pure mathematics in logical terms. Whereas Kurt Gdel dealt a severe blow to the ambitions of logicians when he demonstrated that any logical system powerful enough to include natural numbers is also necessarily incomplete (i.e., the logical system allows the formulation of true stat