Abstract:The present paper introduces the notion of the probabilistic truth degree of a formula by means of Borel probability measures on the set of all valuations, endowed with the usual product topology, in classical two-valued propositional logic. This approach not only overcomes the limitations of quantitative logic, which require the probability measures on the set of all valuations to be the countably infinite product of uniform probability measures, but also remedies the drawback that probability logic behaves only locally. It is proved that the notions of truth degree, random truth degree in quantitative logic and the probability of formulas in probability logic can all be brought as special cases into the unified framework of the probabilistic truth degree. Thus quantitative logic and probability logic are unified. It also proves a one-to-one correspondence between deductively closed theories and topologically closed subsets of the space of all valuations, and a one-to-one correspondence between probabilistic truth degree functions and Borel probability measures on the space of all valuations. The second part of the present paper proposes an axiomatic definition of the probabilistic truth degree, and it is finally proved that each probabilistic truth degree function is represented by a unique Borel probability measure on the space of all valuations in the way given in the first part. Thus a theory which we call probabilistic and quantitative logic in the framework of classical propositional logic is established.

Quantitative research of generalized tautologies in n-valued propositional logic L*n

Graded method of propositions in n-valued logical system MTLn

Theory of α-Truth Degrees in n-valued Lukasiewicz Propositional Logic

Theory of Α-Truth Degree in N-Valued Product Proposition Logical

The Γ-Truth Degrees of Formulas in Propositional Logic System R03n +1 with Properties

Theory of Truth Degrees of Propositions in the Logic System L N *

Theory of Truth Degrees of Propositions in Two-Valued Logic

The Properties of Truth Degrees of Formulas in (3n + 1)-Valued Logic System R0（L）

Quantitative Logic (Ⅰ)

Generalized Tautologies Theory of the Basic Formal System of Universal Logic

Theory of quasi-truth degrees of formulas in two-valued predicate logic

Borel Probabilistic and Quantitative Logic

A New Graded Method of Propositional Logic L_n

Generalized Tautologies Theory of Universal Logic Based on 0-Level Universal AND Operators

The Theory of Σ_Γ-fuzzy Truth Degree Relent to Finite Theory in Propositional Logic System L_n~*

Consistency Degrees of Theories and Methods of Graded Reasoning in N-Valued R0-logic (Nm-Logic)

Quantitative Logic: A Quantitative Approach to Many-Valued Logics

Introduction to Quantitative Logic

Generalized H-valuation in Logic System UL

Theory of Truth Degrees of Formulas in Łukasiewicz N -Valued Propositional Logic and a Limit Theorem

Generalized Tautologies in Revised Product Logical Systems