A Study On Carnap's Probability Logic

Since Hume's Problem was put forward, the rationality of induction was questioned. Many scholars SURSRVH different theories to maintain the rationality of induction. Under the influences of Keynes and Wittgenstein, Carnap accepts the logic explanation of probability and puts forward his own theory of probability logic.Carnap's probability logic theory is the shift of logical empiricism in probability theory, from the previous viewpoint of the empirical frequency probability to the viewpoint of the logical objective probability. Carnap's probability logic axiom system of formal construction is creative, Carnap uses the technology methods of statement-description and range to deal with the concept of possible world, and gives the strict definition of necessity, which makes the inductive logic of probability could be formalized. In addition, on such a basis, Carnap puts the deductive logic and inductive logic in the same category of logic, and extends the concept of logical implication of deductive logic to the inductive logic. At this point, Carnap's probability logic theory surpasses the previous study of inductive logic. However, because Carnap probability logic theory gradually appears some fatal defects, his theory is facing the disapproval of anti- inductivism.Although Carnap's probability logical theory has some shortcomings, Carnap's probability logical theory plays an indelible role in the development of inductive logic. Furthermore, Carnap's technological method of formalized construction has a profound influence on the study of formalization of logic.