Borel probabilistic and quantitative logic

HongJun Zhou, GuoJun Wang
<span title="2011-06-17">2011</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ikvx2lmj7rew7jpw4lygqgjpby" style="color: black;">Science China Information Sciences</a> </i> &nbsp;
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
more &raquo; ... 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.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11432-011-4268-x">doi:10.1007/s11432-011-4268-x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/h6cjkbkuujcpnoa6wvv2svyefy">fatcat:h6cjkbkuujcpnoa6wvv2svyefy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200510195212/http://engine.scichina.com/doi/pdf/b076fd0ccbde476bbc689cffa79587dc" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/17/db/17db526f5dd7fc36e24018a97283fc817d05979c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11432-011-4268-x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>