Abstract

Traditionally logic was considered as having two branches deductive and inductive. However the development of the subject from Frege up to about 1970 brought about a divergence between deductive and inductive logic. It is argued in this paper that developments in artificial intelligence in the last twenty or so years have created a new framework for logic in which deductive and inductive logic can, once again, be treated as similar branches of the same discipline