Results 221 to 230 of about 60,556 (268)

Logic and Probability

The British Journal for the Philosophy of Science, 1997
Summary: This paper argues that Ramsey's view of the calculus of subjective probabilities as, in effect, logical axioms is the correct view, with powerful heuristic value. This heuristic value is seen particularly in the analysis of the role of conditionalization in the Bayesian theory, where a semantic criterion of synchronic coherence is employed as ...
openaire   +1 more source

Probability logic

Journal of Symbolic Logic, 1969
In this paper we introduce a system S5U, formed by adding to the modal system S5 a new connective U, Up being read “probably”. A few theorems are derived in S5U, and the system is provided with a decision procedure.
openaire   +2 more sources

Probability logic, logical probability, and inductive support

Synthese, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Exchangeability in Probability Logic

2012
The paper investigates exchangeability in the context of probability logic. We study generalizations of basic inference rules and inferences involving cardinalities. We compare the results with those obtained in the case in which only identical probabilities are assumed.
Christian Wallmann, Gernot D. Kleiter
openaire   +1 more source

Intuitionistic propositional probability logic

Mathematical Logic Quarterly, 2022
AbstractWe give a sound and complete axiomatization of a probabilistic extension of intuitionistic logic. Reasoning with probability operators is also intuitionistic (in contradistinction to other works on this topic), i.e., measure functions used for modeling probability operators are partial functions. Finally, we present a decision procedure for our
Angelina Ilic-Stepic, Mateja Knezevic, Zoran Ognjanovic   +2 more
openaire   +2 more sources

Logic and Probability

1981
I have been asked to give a survey of the various connections between logic and probability. As I am included in the section on logic and its relation to other parts of mathematics I will not enter into a discussion of ‘inductive logic’ and the foundation of statistical inference, but restrict myself to questions more ‘mathematical’ in nature. However,
openaire   +2 more sources

Unifying logic and probability

Communications of the ACM, 2015
Open-universe probability models show merit in unifying efforts.
openaire   +1 more source

A Logic with Conditional Probabilities

2004
The paper presents a logic which enriches propositional calculus with three classes of probabilistic operators which are applied to propositional formulas: P ≥ s(α), CP = s(α, β) and CP ≥ s (α, β), with the intended meaning ”the probability of α is at least s”, ”the conditional probability of α given β is s”, and ”the conditional probability of α given
Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic   +2 more
openaire   +1 more source

Complexity of Fuzzy Probability Logics

Fundamenta Informaticae, 2001
The satisfiability problem for the logic FP(Ł) (fuzzy probability logic over Łukasiewicz logic) is shown to be NP-complete; satisfiability in FP(ŁΠ) (the same over the logic joining Łukasiewicz and product logic) is shown to be in PSPACE.
Petr Hájek 0001, Sauro Tulipani
openaire   +3 more sources

On the logic of high probability

Journal of Philosophical Logic, 1986
Let 'H(A,B)' symbolize the value proposition that P(A,B) is high, where A and B are elements of a boolean algebra and P(A,B) is the conditional probability of A given B, P being a probability function for the algebra. Letting I(A,B) be the improbability function 1-P(A,B), it is proved that a necessary and sufficient condition for the inequality \[ I(A_
openaire   +2 more sources