Search results for "Coherence"
showing 10 items of 905 documents
Los resgos para el dereho en tiempos de pandemia: el ejemplo paradigmàtico de los puertos italianos declarados inseguros
2021
The coherence of the legal system becomes a particularly relevant and complex issue with regard to the conflicts that may arise between constitutional principles. From this perspective, the paper considers some immigration laws - and in particular the Ministerial Decree of 7 April 2020, which states that "for the entire duration of the national health emergency resulting from the spread of the COVID_19 virus, Italian ports do not ensure the necessary requirements for the classification and definition of Place of safety ("safe place") "- enacted by the Italian government in the most acute period of the health emergency connected to the spread of covid-19, by evaluating whether they, by affec…
Iterated Conditionals, Trivalent Logics, and Conditional Random Quantities
2022
We consider some notions of iterated conditionals by checking the validity of some desirable basic logical and probabilistic properties, which are valid for simple conditionals. We consider de Finetti’s notion of conditional as a three-valued object and as a conditional random quantity in the betting framework. We recall the notions of conjunction and disjunction among conditionals in selected trivalent logics. Then, we analyze the two notions of iterated conditional introduced by Calabrese and de Finetti, respectively. We show that the compound probability theorem and other basic properties are not preserved by these objects, by also computing some probability propagation rules. Then, for …
Connexive Logic, Probabilistic Default Reasoning, and Compound Conditionals
2023
We present two approaches to investigate the validity of connexive principles and related formulas and properties within coherence-based probability logic. Connexive logic emerged from the intuition that conditionals of the form if not-A, then A, should not hold, since the conditional’s antecedent not-A contradicts its consequent A. Our approaches cover this intuition by observing that the only coherent probability assessment on the conditional event A | not-A is p(A | not-A) = 0. In the first approach we investigate connexive principles within coherence-based probabilistic default reasoning, by interpreting defaults and negated defaults in terms of suitable probabilistic constraints on con…
Algebraic aspects and coherence conditions for conjunctions among conditional events
2018
We deepen the study of a notion of conjunction among conditional events, introduced in previous papers in theframework of coherence. This notion of conjunction, differently from other approaches, is given in the setting ofconditional random quantities. We show that some well known properties which are satisfied by conjunctionsof unconditional events are also satisfied by conjunctions of conditional events. In particular we examine anadditive property and a decomposition formula, by also obtaining a generalized inclusion-exclusion formula. Then,by exploiting the notion of conjunction, we introduce the set of constituents generated bynconditional events.Moreover, under logical independence, w…
Generalized coherence and connection property of imprecise conditional previsions.
2008
In this paper we consider imprecise conditional prevision assessments on random quantities with finite set of possible values. We use a notion of generalized coherence which is based on the coherence principle of de Finetti. We consider the checking of g-coherence, by extending some previous results obtained for imprecise conditional probability assessments. Then, we study a connection property of interval-valued gcoherent prevision assessments, by extending a result given in a previous paper for precise assessments.
Compounds of conditionals and iterated conditioning under coherence
2017
We discuss the problem of defining logical operations among conditional events. Differently from many authors, we define the conjunction and disjunction in the setting of conditional random quantities. In probability theory and in probability logic a relevant problem, largely discussed by many authors, is that of defining logical operations among conditional events. In the many works concerning these operations, the conjunction and disjunction have been usually defined as suitable conditional events. In Kaufmann 2009 it has been proposed a theory for the compounds of conditionals which has been framed in the setting of coherence in (Gilio and Sanfilippo , 2013, 2014) In this framework, whic…
On compound and iterated conditionals
2021
We illustrate the notions of compound and iterated conditionals introduced, in recent papers, as suitable conditional random quantities, in the framework of coherence. We motivate our definitions by examining some concrete examples. Our logical operations among conditional events satisfy the basic probabilistic properties valid for unconditional events. We show that some, intuitively acceptable, compound sentences on conditionals can be analyzed in a rigorous way in terms of suitable iterated conditionals. We discuss the Import-Export principle, which is not valid in our approach, by also examining the inference from a material conditional to the associated conditional event. Then, we illus…
Interpreting Connexive Principles in Coherence-Based Probability Logic
2021
We present probabilistic approaches to check the validity of selected connexive principles within the setting of coherence. Connexive logics emerged from the intuition that conditionals of the form If \(\mathord {\thicksim }A\), then A, should not hold, since the conditional’s antecedent \(\mathord {\thicksim }A\) contradicts its consequent A. Our approach covers this intuition by observing that for an event A the only coherent probability assessment on the conditional event \(A|\bar{A}\) is \(p(A|\bar{A})=0\). Moreover, connexive logics aim to capture the intuition that conditionals should express some “connection” between the antecedent and the consequent or, in terms of inferences, valid…
Quasi conjunction and p-entailment in nonmonotonic reasoning
2010
We study, in the setting of coherence, the extension of a probability assessment defined on n conditional events to their quasi conjunction. We consider, in particular, two special cases of logical dependencies; moreover, we examine the relationship between the notion of p-entailment of Adams and the inclusion relation of Goodman and Nguyen. We also study the probabilistic semantics of the QAND rule of Dubois and Prade; then, we give a theoretical result on p-entailment.
Probabilistic inference and syllogisms
2014
Traditionally, syllogisms are arguments with two premises and one conclusion which are constructed by propositions of the form “All S are P ” and “At least one S is P ” and their respective negated versions. We will discuss probabilistic notions of the existential import and the basic sentences type. We will develop an intuitively plausible version of the syllogisms that is able to deal with uncertainty, exceptions and nonmonotonicity. We will develop a new semantics for categorical syllogisms that is based on subjective probability. Specifically, we propose de Finetti’s principle of coherence and its generalization to lower and upper conditional probabilities as the fundamental corner ston…