Formal Learning Theory And Related Inductive Logic Problems

Formal learning theory has become a new research paradigm in the fields of artificial intelligence,philosophy,psychology and statistics.It is quite different from other philosophical methods of inductive reasoning.It is a non-statistical tradition of learning theory,a mathematical embodiment of normative epistemology,and a normative framework for scientific reasoning and inductive reasoning.From the point of view of logical dependability,formal learning theory is a more reliable method to analyze "empirical inquiry".As a form of research paradigm,learning theory can effectively avoid many unnecessary arguments,which is beneficial to promote the development of some disciplines,its purpose is not to describe a general inductive method,nor explain the rationality of induction of general axioms,which provides a new way of thinking and scientific method,of pursuit is a kind of situation depend on the behavior of the objective analysis method,which most of the learning theory analyzes the research strategy can reliably and effectively guide people to correctly know the world.This paper is mainly divided into five chapters,which take formal learning theory as the most basic analysis and research method.Chapter one elaborates the concept and characteristics of formal learning theory.After four chapters respectively to Hume problem,and the raven paradox grue paradox and Occam’s razor that made a detailed analysis of several classic inductive problem form learning theory to illustrate the main concepts,and form learning theory compared to a comparative study of different versions of the solution into the road,and then,in turn,or using the form of learning theory to analysis the optimal scheme to solve the problem of the inductive logic,its analysis results can make people to explain some of the past.