A Rapprochement Between Deductive and Inductive Logic
Donald A. Gillies · Logic Journal of IGPL · 1994
Traditionally logic was considered as having two branthes deductive and inductive. However the development of the subject from Frege (1879) 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 (particularly logic programming and m learning) 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.