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 Logic (Ⅰ)

Introduction to Quantitative Logic

Quantitative Logic: A Quantitative Approach to Many-Valued Logics

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

Theory of Truth Degrees of Propositions in Two-Valued Logic

Theory of (n) Truth Degrees of Formulas in Modal Logic and a Consistency Theorem.

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

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

Linear Logic Formulae in the Theory of Quantitative Logic

The Form of Mean Representation of Truth Degree with Applications in Quantitative Logic

Borel Probabilistic and Quantitative Logic

The ∑Γ-Fuzzy Truth Degree of Formula Relative to the Finite Theory in Propositional Logic System (L)n

Axiomatic Theory of Truth Degree for a Class of First-Order Formulas and Its Application

Truth Degree of Logic Theory in Propositional Logic Systems and Its Application

Numerical Computations in Formalized Logic Theories

Truth Degree Function on Set of Formulas in Propositional Logic System Ln

Revisions on the Properties of Degree of Similarity in Propositional Logic Systems

Distribution of the Symmetrical Logic Formulas in the Classical Logic Metric Space

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

Approximate Reasoning in Quantitative Logic

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