dc.contributor |
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.contributor |
Universitat Politècnica de Catalunya. KEMLG - Grup d'Enginyeria del Coneixement i Aprenentatge Automàtic |
dc.contributor.author |
Sales Porta, Ton |
dc.date |
1996-01 |
dc.identifier.citation |
Sales, T. "(Pure) logic out of probability". 1996. |
dc.identifier.uri |
http://hdl.handle.net/2117/82541 |
dc.language.iso |
eng |
dc.rights |
info:eu-repo/semantics/openAccess |
dc.subject |
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject |
Sentential logic |
dc.subject |
Boolean algebra |
dc.subject |
Logical semantics |
dc.subject |
Probabilistic semantics |
dc.subject |
Probability logic |
dc.subject |
Many-valued logics |
dc.subject |
Supervaluations |
dc.subject |
Uncertainty |
dc.subject |
Rational belief |
dc.subject |
Proof theory |
dc.title |
(Pure) logic out of probability |
dc.type |
info:eu-repo/semantics/publishedVersion |
dc.type |
info:eu-repo/semantics/report |
dc.description.abstract |
The text of the paper corresponds to the author's invited contribution to the Workshop on "Aspects of mechanizing inference", held in Naples Oct. 30 - Nov. 2, 1995. |
dc.description.abstract |
Logic and Probability are seen today as independent fields, but they share a considerable common ground, which historically underlies both disciplines and has prompted Reichenbach, Carnap or Popper to consider connection-building treatments of Logic and Probability as desirable. In this spirit we delineate a logic based on an additive non-functional truth valuation which, though technically indistinguishable from (axiomatic) Probability, can however be "decontaminated" from parasitical probabilistic readings (such as "event", "probability" or "conditioning") and be given instead a logical reading (in terms of "sentence", "truth" or "relativity"). The resulting assertion-based sentential calculus becomes a very natural extension of ordinary two-valued reasoning. The text of the paper corresponds to the author's invited contribution to the Workshop on "Aspects of mechanizing inference", held in Naples Oct. 30 - Nov. 2, 1995. |
dc.description.abstract |
Logic and Probability are seen today as independent fields, but they share a considerable common ground, which historically underlies both disciplines and has prompted Reichenbach, Carnap or Popper to consider connection-building treatments of Logic and Probability as desirable. In this spirit we delineate a logic based on an additive non-functional truth valuation which, though technically indistinguishable from (axiomatic) Probability, can however be "decontaminated" from parasitical probabilistic readings (such as "event", "probability" or "conditioning") and be given instead a logical reading (in terms of "sentence", "truth" or "relativity"). The resulting assertion-based sentential calculus becomes a very natural extension of ordinary two-valued reasoning. |