Mostra el registre d'ítem simple
(Pure) logic out of probability
dc.contributor.author | Sales Porta, Ton |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2016-02-04T12:18:44Z |
dc.date.available | 2016-02-04T12:18:44Z |
dc.date.issued | 1996-01 |
dc.identifier.citation | Sales, T. "(Pure) logic out of probability". 1996. |
dc.identifier.uri | http://hdl.handle.net/2117/82541 |
dc.description | 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. |
dc.format.extent | 12 p. |
dc.language.iso | eng |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject.other | Sentential logic |
dc.subject.other | Boolean algebra |
dc.subject.other | Logical semantics |
dc.subject.other | Probabilistic semantics |
dc.subject.other | Probability logic |
dc.subject.other | Many-valued logics |
dc.subject.other | Supervaluations |
dc.subject.other | Uncertainty |
dc.subject.other | Rational belief |
dc.subject.other | Proof theory |
dc.title | (Pure) logic out of probability |
dc.type | External research report |
dc.contributor.group | Universitat Politècnica de Catalunya. KEMLG - Grup d'Enginyeria del Coneixement i Aprenentatge Automàtic |
dc.rights.access | Open Access |
local.identifier.drac | 1896200 |
dc.description.version | Postprint (published version) |
local.citation.author | Sales, T. |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [96]
-
Reports de recerca [1.107]