A Research On Support Theories Of The Probability Logic

The support relationship is a much more essential logical relationship between the premises and the conclusions of inductive reasoning,and the premises supports the conclusions in the direction,as well as in the probabilistic logic.These relationships exist objectively.Based on the relationships of support,scientific hypotheses are established and general conclusions are drawn.In the classical inductive logic period,the support relationship was expressed by the systematic causality theory,but in the modern inductive logic period,it is expressed by probability prominently,forming a series of support theories of probability logic.In the period of classical inductive logic,induction has the characteristics of scientific methodology.Inductive reasoning was based on the experimental record and concluded that there was a causal relationship between two things.The experimental record supported the conclusion that the causal relationship was established.After entering the modern inductive logic period,the inductive support relationship is mainly embodied in the probabilistic logic,and the support of inductive premise to conclusion is measured by probability size or probability grading.According to the different interpretation of probability,the support theories of probability logic can be divided into Pascal and non-Pascal support theories.The former is represented by the relevant theories of Keynes and Carknap,and the latter is represented by the inductive grading support theory of Cohen and the support theory of subjective probability judgment of Tversky and Koehler.Pascal probability logic is characterized by axiomatization and formalization,and is essentially a deductive study of inductive logic.Related support theories show the characteristics of deduction and pursue the logicality,objectivity and inevitability of support relationship.However,the approach of inductive deductive research faced insurmountable difficulties.In order to overcome these difficulties faced by the support theory of Pascal probabilistic logic,a new logic syntax and formal system is proposed.The new support theory is characterized by non-formalization and impurity extensibility.However,as a non-classical objective probability theory,there are still some problems to be solved in the inductive support grading theory of Cohen.Therefore,the support theory of subjective probability judgment appears in the field of cognitive science,which inherits and develops the inductive support grading theory of Cohen in the non-extensibility and other aspects.The development of support theories of probabilistic logic has undergone a process from formalization to the combination of formalization and non-formalization,which indicates that the research on support relationship can not follow the path of pure deduction,and the definition of pure extensional logic is not suitable for inductive logic.The research on probability logic support theories,in the future,should take the development paths of the combinations of formalization and non-formalization,the probability theory and the causality theory and the integration of the subjective probability and the objective probability.