A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit <a rel="external noopener" href="http://engine.scichina.com/doi/pdf/b076fd0ccbde476bbc689cffa79587dc">the original URL</a>. The file type is <code>application/pdf</code>.
<i title="Springer Nature">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ikvx2lmj7rew7jpw4lygqgjpby" style="color: black;">Science China Information Sciences</a>
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<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>
more »... 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.
<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>