Dialectical Multivalued Logic and Probabilistic Theory

There are two probabilistic algebras: one for classical probability and the other for quantum mechanics. Naturally, it is the relation to the object that decides, as in the case of logic, which algebra is to be used. From a paraconsistent multivalued logic therefore, one can derive a probability theory, adding the correspondence between truth value and fortuity.


Introduction
When we toss a coin there are two possibilities: {heads} or {tails}.In the first event, we assign a probability value p and in the second a value q.In this case, p = q = 1/2.This means that for a sufficiently high number of tosses, half the time the result will be heads, and the other half it will be tails.In a (non-quantum) classic event like this, the numbers p and q are, generally, fractions less than unity.The location of the toss of a coin could be described by a combination of the two alternatives: p*{heads} + q*{tails}.In the quantum field, things are due to somewhat different probabilistic laws.Numbers p and q stop being fractions and become imaginary numbers (part real plus another imaginary part a with square root of −1) and the numbers are no longer called 'chances', but probability amplitudes, or just amplitudes.Events, while in that pure quantum state, are governed by probability amplitudes and have the form z = a + bi (where i is the square root of −1).
To find the real possibility when an event moves into the classic area is determined by the magnitude squared of the complex number, which is the square of the real part plus the square of the imaginary part: |z| 2 = a 2 + b 2 (module reads the square of z).In classical probability theory, when we want to represent the situation of the coin toss and the possibility of getting one outcome or another, we write: p*{heads} + q*{tails}.In this case, in which the sum of probabilities is 1, we will represent a certain event as (maximum probability = 1).If two runs require getting heads in the first and tails in the second, the representation would be: [p*{heads}] × [q*{tails}].The disjunctive word "or", becomes a sum, while the "and" becomes a product.
For amplitudes the same goes, but while normal probabilities naturally are summed as two simple fractional numbers, probability amplitudes are summed as vectors, and forces, as explained in Figure 1.
In our daily life, in the microphysical world probabilities offer a much poorer range than the range of quantum probability amplitudes.Again, imaginary numbers give us a little more to understand the strange and counterintuitive quantum world.
The isomorphism between a disjunctive logic and probability theory is defined by the following correspondences (Table 1).From a paraconsistent multivalued logic, (Nescolarde-Selva, Usó-Doménech and Alonso-Stenberg, 2015; Usó-Doménech, Nescolarde-Selva and Pérez-Gonzaga, 2014) a probability theory can be derived, adding a correspondence between value truth and fortuity.Regarding countable probabilities, fortuity is by definition a complex number whose squared modulus is a probability.In continuous probabilities, the fortuity density is a complex function of the actual random variable whose squared modulus is the probability density.

Probabilistic Axiomatics
We look to the axiomatic basis developed by A. N. Kolmogorov for classical probability theory to generalize it to be extended to other probability theories (Kolmogorov, 1956).Furthermore, we will propose axioms directly in probabilistic language rather than ordinary language.
Let O be an abstract general object, such as the roll of a coin with its motion and stopping.Let x, y, z, …, be the characteristics of O, i.e., its attributes, that they are general and therefore required, for example the coin stops resting on one side.When O passes from a formal existence of a logical entity to a real physical existence, localized in space and time, that is, when O is updated and becomes an event, a general attribute x may take one or another of the particular mutually incompatible variants ; and attribute y may take one of the mutually incompatible variants Let E be the set of elementary contingencies (or elementary events) and F be a set containing the empty set, E and all parts of E are defined as follows: .We will stick here to the finished sets E, they are sufficient for our logical study.Given that a general object is reproducible, in probability theory a repetition of N copies of an object O is often taken as an object of study, described as O N .By numbering these copies with the index  , the number of attributes and that of their variants-   From a paraconsistent multivalued logic, [1,2] a probability theory can be derived, adding a correspondence between value truth and fortuity.Regarding countable probabilities, fortuity is by definition a complex number whose squared modulus is a probability.In continuous probabilities, the fortuity density is a complex function of the actual random variable whose squared modulus is the probability density.

Probabilistic Axiomatics
We look to the axiomatic basis developed by Kolmogorov [3] for classical probability theory to generalize it to be extended to other probability theories.Furthermore, we will propose axioms directly in probabilistic language rather than ordinary language.
Let O be an abstract general object, such as the roll of a coin with its motion and stopping.Let x, y, z, . . ., be the characteristics of O, i.e., its attributes, that they are general and therefore required, for example the coin stops resting on one side.When O passes from a formal existence of a logical entity to a real physical existence, localized in space and time, that is, when O is updated and becomes an event, a general attribute x may take one or another of the particular mutually incompatible variants x 1 , x 2 , ..., x k ; and attribute y may take one of the mutually incompatible variants y 1 , y 2 , ..., y l , etc.We will call x 1 , x 2 , ..., x k , y 1 , y 2 , ..., y l the "elementary contingencies" of O.While attributes of O, as an abstract general object, they are possible or random.While attributes of O, which are realized in any actual time, they become "elementary events".
Let E be the set of elementary contingencies (or elementary events) and F be a set containing the empty set, E and all parts of E are defined as follows: F = {∅, E, P(E)}.We will stick here to the finished sets E, they are sufficient for our logical study.Given that a general object is reproducible, in probability theory a repetition of N copies of an object O is often taken as an object of study, described as O N .By numbering these copies with the index α, the number of attributes x α , y α and that of their variants-x αi , y αj , etc.-is multiplied by N. Note that this does not change the definitions of the sets E and F.
Every subset A of F, A ⊆ F defines a contingency of the general object or an event of the updated object.We point out that, and according to Kolmogorov, for a set of contingencies to be realized, it is sufficient that at least one of its elements is realized.Thus, for O to be realized, it is sufficient that one of the elementary contingencies becomes an event.
E designates a set of elements φ called "fortuitous", identical to a set of truth values of multivalued logic.Let V be the function that transforms the truths into degrees of truth in multivalued logic.
The axioms are: Axiom 1: Any eventuality A has a fortuity φ and a probability p = V(ϕ).

Axiom 3:
If A i and A j are two incompatible contingencies, the probability that either A i or A j indifferently is realized and worth V ϕ i + ϕ j .
Kolmogorov adds to these axioms the definition of conditional probability that we will express as fortuitous as follows: Note that all elementary contingencies are a necessary attribute of the general object O.It is the same for all of their respective probabilities.Hence, it follows that statistical averages of all kinds are also necessary attributes of this general object.

Example 1:
Let O be a Gibbs thermodynamic system and the set of possible values ε i (elementary contingencies) with the energy ε of a very small subsystem determined by the laws of physics, the Schrödinger equation for example.Probabilities p(ε i ) are determined by another physical law, Boltzmann's theorem p(ε i ) = Ae − ε i kT , A and k are constants, T is the temperature.

Probabilities and Truth Values
Propositional algebra [1] takes into account only the truth value of propositions.A probability theory foregrounds its modality, that is, its necessity or contingency, its possibility or impossibility; and closely associated to its modality, its generality and its particularity, involving the categories of being and existence (possible, real, actual, contingency, and event).In probability theory, the truth value of the propositions is determined by the modality and related categories, which we mentioned in the preceding paragraphs.

Definition 1: A statistical proposition is a proposition stating an event.
Let A be a contingency and A • be statistical proposition stating the realization of A. The verb tense in A • is either present, or past.A is an experimental constant, hence the adjective statistical.So, an updated object A can only be true or false and there is not a third possible value.

Consequence 1:
In relation to statistical propositions only classical logic is applied.
In the general object O, the truth value of A • is a random variable with only two possible values To say that p(A) is the probability "of A is realized", amounts to saying "v(A • ) = 1".From where: Let be mutual exclusion applying to both incompatible contingencies A i and A j .J is "one or other of the two contingencies A i and A j , indifferently realized": Axiom 3 can then be written: Definition 2: A predictive proposition is a proposition that announces in advance an event.
We denote A the predictive proposition announces that eventuality A will be realized.The verb tense in A is therefore the future.A is basically a bet.

Axiom 4:
The truth value α of a predictive proposition A, is equal to the fortuity of the contingency A, From Axiom 1 and Axiom 4: Consequence 2: Predictive propositions are treated with a many-valued fuzzy logic [2].
Let be the complementarity.Applying this axiom to the relation (4): Axiom 5: A true statistic proposition v(A • ) = 1, is endowed with a fortuity ϕ and a probability To these axioms we add the definition of conditioned probability.To say that A i and A j are realized together, is equivalent to saying that v A The definition is written thus: Definition 3: ϕ i is the conditional fortuity of A j .

Proposition 1:
The truth value of the forecast of a conjunction is subject to the conditional probability.
From Axiom 4 and Definition 3: Proposition 2: The truth value of the conjunction of two predictions is not subject to the conditional probability.
Proof: Let A i ∧ A j be the conjunction of predictions.The two propositions are independent bets one from the other, we have: The need to distinguish a prediction of a conjunction and a conjunction of two predictions appears well if A i and A j are incompatible.Then p i A j = 0, so that v C A i , A j = 0.The forecasting of the realization of the conjunction cannot be as false as this realization is impossible.Instead, the bets A i and A j are not incompatible.A player can, for example, bet on roulette on two numbers at a time.This does not mean that it provides for a simultaneous realization, but it makes two bets at once, and their logical conjunction has a truth value, then v( A i ∧ A j ) = 0.These are relationships between multivalued logic and theories of probabilities, between truth values and probabilities.These last two variables cannot be confused, although under the Axiom 3 they can be equal, since a truth value can be provided for a probability.

Consequence 3:
The probability is a value of necessity, not a truth value.

The Dialectic of Probability
If the fact A of a random process has the probability p, the negation of A (¬A) has the probability 1 − p and, in the case of maximum autonomy, the conjunction A i ∧ A j has probability p i p j .Now that is enough to justify the isomorphism between the algebra of classical probabilities and Boolean algebra.In addition, rather than accommodate the values 0 and 1, one can use the set [0, 1], that is, multivalued Boolean algebra.
According to References [1,2,4,5] probability theory as used in quantum physics is a paraconsistent dialectical multivalued logic.
Let P be a proposition belonging to a language L and ¬ P be its negation.To any proposition P is attributed a truth value that we will call v (P) = p, here p is 1 or 0, that is to say, p = 1 means P is true and p = 0 means it is false.

Definition 4:
The CO-contradiction (coincidentia oppositorum contradiction) is the compound proposition P ∧ ¬P that is the logical conjunction "P and not P".
In Aristotelian logics, P ∧ ¬P it is always considered false ∀Q y ∀q, P ∧ ¬P → Q and it has the value v(P ∧ ¬P → Definition 5: We define K(ℵ) as a Coincidentia oppositorum proposition that is a contradiction P ∧ ¬P whose truth value is always 1, i.e., v(P ∧ ¬P) = 1.
A coincidentia oppositorum proposition is formed by two poles: the pole of assertion P and the negative pole ¬P.In general, these three conditions can be satisfied by a set of deniers of A, then the contradictory ¬A has a priori, once p is fixed, a set of truth values p*(u); so the choice of a denier, in a problem of applied logic, will determine the truth value of the contradictory.
The determination of probabilities by complex numbers also led to another new feature called the Fourier correlation between two random variables one of which is necessarily continuous.It is called the Born-Fourier correlation, since Max Born was the first to use the Fourier correlation to give the theories of de Broglie and Schrödinger their probabilistic meaning.
Let x and v be two continuous random variables with fortuity densities of φ(x) and ψ(v).By definition, these variables are related by a Born-Fourier correlation if φ and ψ are reciprocal Fourier transforms of Fourier [6]: The Parseval-Plancherel identity [7]: ensures that φ and ψ fulfil the requirements to be densities of fortuity; it is enough that their norms are equal to unity.The mean squared deviations σ(x) and σ(v) of two variables the Fourier correlation, are necessarily linked by Heisenberg's inequality: Logically, the Born-Fourier correlation should have been defined axiomatically by probabilistic mathematics.The characteristic Cauchy function, naturally leads to the Fourier transform of the probability density for a continuous variable.It is a pure historical accident that physicists found and studied this correlation.Paul Lévy [8] rediscovered and developed the theory of characteristic functions and then read Cauchy's note in the French Academy of Sciences, which had been forgotten, even at the time when de Broglie, Schrodinger, and Born produced their work.
To the fact A is attributed a complex fortunity ϕ of a module belonging to [0, 1], and a probability p = |φ| 2 .¬A has a fortuity ¬φ = u − φ where u is a denier such that |u| 2 = 1 and for a probability ¬p = |u − φ| 2 .The conjunction A i ∧ A j has the probability φ i φ j 2 = p i p j , in the case of maximum autonomy, as in classical probabilistic algebra.In this case, probabilistic quantum algebra has two new features: (1) The achievement of total probability arises by adding fortuities and not probabilities.Thus, we have: |φ Consider a practical example.We throw a die twice successively, the combination of 3 and 4 can be obtained by chance in two ways; either 3 followed by 4, or a 4 followed by 3. If p 1 and p 2 are the respective probabilities of each possibility, the probability of the combination (a 3 and a 4) is p 1 + p 2 .This comes from classical probability algebra.
Example 2: A monokinetic beam of microphysical particles arrives on a diaphragm D with two striped thin slits F 1 and F 2 perpendicular to the figure's plane.It then passes through a lens L, and is received on a screen E located in the focal plane.(Figure 2).
Consider a practical example.We throw a die twice successively, the combination of 3 and 4 can be obtained by chance in two ways; either 3 followed by 4, or a 4 followed by 3. If p1 and p2 are the respective probabilities of each possibility, the probability of the combination (a 3 and a 4) is 2 1 p p  .This comes from classical probability algebra.Reasoning in the context of Quantum Mechanics.The random variables by Fourier correlation are:

Example 2: A monokinetic beam of microphysical particles arrives on a diaphragm D with two striped thin slits F1 and F2 perpendicular to the figure's plane. It then passes through a lens L, and is received on a screen E located in the focal plane. (Figure 2).
(a) The crossing point P of a particle whose fortuity density is called a wave function [6].
(b) The momentum p  of a particle with fortuity density   The statistical distribution of particles on E is the momentum after crossing the diaphragm.Upstream (of the diaphragm), the momentum 0 p  is the same for all the particles, it is not random.
Crossing the slots, the movement of the particles changes direction, so they shall exchange the amount of movement with the diaphragm, but without an exchange of energy.It is this that constitutes their diffraction.The experiment establishes that if one of the slots is closed, the distribution of particles on E is nearly uniform while if both slots are open, the distribution is The statistical distribution of particles on E is the momentum after crossing the diaphragm.Upstream (of the diaphragm), the momentum → p 0 is the same for all the particles, it is not random.Crossing the slots, the movement of the particles changes direction, so they shall exchange the amount of movement with the diaphragm, but without an exchange of energy.It is this that constitutes their diffraction.The experiment establishes that if one of the slots is closed, the distribution of particles on E is nearly uniform while if both slots are open, the distribution is radically different: that is, the particles accumulate at equidistant lines parallel to the slots (bright fringes) and are instead missing along lines which are inserted in the first (dark fringes).The Born-Fourier correlation is fully aware of the two distribution modes, but it leaves a feeling of misunderstanding and this is the tricky part.Indeed, as the fringes manifest themselves, there must be a huge number of particles reaching E. This number can be obtained as well in a very short time thanks to a powerful source that emits many particles in both in a very long time with an extremely low source that debited the particles one by one (diffraction experiments of photons or electrons one by one).The statistical distribution of E is the same in both cases; similarly, the statistic of a game of dice is the same if we throw consecutively the same die 1000 times, or throw 1000 identical dice in one moment.Therefore, in the design in the second case (launched particles one by one) a particle passes through the slot open, on the contrary the chances become very unequal for reaching the different points M. In particular, the points on the dark fringes have zero chance of being reached by the particle.So, the random change of momentum that follows the F 1 crossing does not have the same probability when F 2 is open or closed.Note that when F 2 is located at a macroscopic distance from F 1 , that is huge compared to the particle size.If one conceives of the microphysical object or micro-object as strictly localized, punctual at the macroscopic scale, and as moving in empty space, sort of physical nothingness, as does it the classical mechanics this influence at a great distance is very difficult to understand.If, as proposed by Schrödinger, one conceives of the influence as an extended and continuous wave, it is the effects on the particle that become incomprehensible.Unless we give up any attempt at an explanation, the only reasonable course seems to be thinking of a micro-object as composed of a point particle at the scale of our senses, which is concentrated in energy and inertia, and a having a sort of extended and continuous halo that surrounds it and which, while being devoid of energy and inertia itself, can serve as a mediator for an exchange of momentum between the corpuscle and another object.If this theory is adopted, the micro-object becomes a whole, endowed with opposite qualities-punctual and extended, discontinuous and continuous, inert and without inertia-which reports a dialectical logic.
From the mechanistic point of view, we can consider a micro-object reaches a point M on the plane E passing through F 1 or through F 2 .Let P be the proposition "the particle passes through F 1 " and ¬P be the proposition "the particle passes through F 2 ".Then in the mechanistic point of viewv(P ¬P) = 1.In Newtonian mechanics, we reason according to classic logic.From the point of view of quantum mechanics, the micro-object passed through both F 1 and F 2 : v(P ∧ ¬P) = 1.This constitutes a coincidentia oppositorum proposition and the reasoning follows dialectical logic.
However, the theory of probability which, by Fourier's correlation, calculates the statistical distribution of particles such that it is observed experimentally on the photographic plate is not the classical theory, but a probability theory, isomorphic with dialectical logic.So, there is an inconsistency in the mechanistic and wave conceptions; they calculate with a dialectic probability theory while they argue with the logic of Aristotle.However, the inconsistency can be eliminated.Indeed v(P ¬P) = 1 in the classic sense, it is applied to the single particle and v(P ∧ ¬P) = 1.It is applied to one halo, v(P ¬P) = 1 concerns the entire micro-object which passes through a slot or through another, but can also pass through both slots at once.
(2) Let σ be the standard deviation of a distribution of a random variable.This magnitude expresses the degree of contingency of the random variable.Indeed, σ 2 is the average of the squares of the differences x i − x m , i.e.,: From this definition, it follows that if the variable x is necessary, σ is null and reciprocally, σ = 0 implies x is necessary.When σ is bigger, the values x i are further away from x m ; so the contingent character of x is enhanced and this extends its field of compossibility.Novelty is a mode of correlation between two random variables x and q that are totally alien within classical probability algebra, and which has among others the following fact: The product σ x × σ q of the grades of contingency must be greater than a certain positive number.That is to say σ x × σ q > ε, ε > 0, ε ∈ R.This number, and σ x and σ q , and the stated inequality, are all necessary characters within the random process and are part of an objective law of random processes.What is the content of this law?The inequality of x and q are needed at once, because if σ x = 0 = σ q , then the inequality would not be satisfied, and the consequence is that if the degree of contingency of one of the two variables approaches zero, the degree of contingency of the other must increase so that inequality is maintained.That is, the pair of variables x and q contains an indelible randomness, which is characteristic of the process.

Example 3:
The oscillations of the nuclei of a diatomic molecule.We refer to the movement of a nucleus N relative to another stationary nucleus N, x is the abscissa of N on the line NN and q the momentum of N. The necessary inequality is: This inequality is called the Heisenberg inequality, where is Planck's constant, which is universal, i.e., independent of the nature of the particle and its mode of movement.The oscillation is random, indicating the autonomy of the particles that make up the molecule.With decreasing oscillation energy of the molecule, decreasing σ x , the degree of contingency σ p increases, i.e., the random nature of the impulse is accentuated.Needless to say, chance is perfectly objective and internal to the molecule and entirely microphysical without any macroscopic origin and so much less human.
Compare these facts with a fortuitous corpuscular movement governed by statistical mechanics, which combines Newtonian mechanics with classical probability theory.
Example 4: Imagine the case of a monatomic gas molecule.According to these traditional theories, the point M that this particle passes and its momentum p, are two independent random variables; no correlation links their degrees of contingency, so that one can reduce the degree of freedom of the contingency of M (by reducing, for example, the volume of the container) without thereby increasing the degree of contingency of p.

Conclusions
In respect of statistical modality, generality, and particularity, analytical concepts and synthetic concepts are opposed.The first is general and abstract, which means that it wants to ignore all the peculiarities (contingencies) of the object and it retains what is necessary.The second is concrete and general: to the abstract general concept, it adds and integrates all possible features; so necessarily it integrates the contingent and the random.According to analyses here of basic probabilistic concepts, the object O in probability theory is not analytic but synthetic.Classical mechanics is an example of a purely analytical theory; it is deterministic, which means that it takes into consideration all the necessary relations implied.If one considers a roll of a die on a table and contemplates it resting on one face, one is not preoccupied with the other faces.On the contrary, the statistical scientist thinks of all six possibilities for the final position of the dice.The synthetic character of the probabilistic concept of the object explains a theory of derived probabilities, not from a purely analytical classical logic, but from a dialectical logic in which contradiction is not necessarily false.
Notwithstanding, the innovations introduced by quantum physics to probability theory, there is no change at all for the concepts of modality, chance, and probability.Considering Heisenberg's inequality, neo-positivists have made a citadel of physical indeterminacy emphasizing that the greater physical error is due to the purely objective degree of contingency of a random microphysical magnitude, with the result of a measurement of magnitude which is objective too, but involving human intervention and, in any case, macroscopic.Thus the Copenhagen interpretation considers how assessment of our uncertainty is due to the inevitable imprecision of a macroscopic measure, touching the position x, or the momentum p of a particle, and not about characteristics inherent to this movement, microphysical and fortuitous, which feature independently of all measurement.However, the Copenhagen interpretation does nothing but strangely juxtapose the mathematical texts which say nothing about the characteristics that are independent of all measurement.On the contrary, in quantum mechanics as in every other field of statistical physics, the two sets contingency are independent in principle: those referring to the phenomena, being of much larger significance than the second set, the metrological.This is easy to demonstrate, for example in the case of a diffraction phenomenon.Consider the objectivity of the degrees of contingency and correlation in the diffraction of cosmic corpuscles through terrestrial crystalline rocks.This is a process that conforms to Heisenberg's inequality, and was the case long before the appearance of man on Earth.
Because of this position, there is a confrontation between classical mechanics and quantum mechanics.The comparison of probabilistic mechanics (quantum mechanics) with deterministic mechanics (classical mechanics) is absurd.It comes from focusing on the internal fortuity of microphysical movement, and emphasizing metrological macroscopic random movement rather than any theory.Such confusion is the result of the lack of reflection on two main scientific problems: chance, and the link between what is macroscopic, observable, and measurable, and its object microphysical phenomena.
Heisenberg [9] did not want to consider pure contingency and emphasised the random-deterministic thesis of ignorance linked to a narrower positivism.He believed and continually repeated that the notions expressed by the non-mathematical language of physics are the result of experience of the phenomena of everyday life.The language of physics, therefore, is not perfectly suited to nature, but nevertheless, it is impossible to replace this language and we should not try.From the point of view of neo-positivists, reason cannot exceed experience.Such inadequacy is at the root of the statistical nature of quantum mechanics: one proceeds from chance to an epistemology.This was pointed out by the neo-positivists, stating that the probability function used by quantum mechanics combines elements that are entirely objective with statements about possibilities with subjective elements and with our incomplete knowledge of the process.It is their view that it is this latter incomplete knowledge of the process that implies the impossibility of predicting by using probability.As for the opponents of the Copenhagen school, usually none have rejected the interpretation of Heisenberg's inequality principle based on the measurement, or at least of the interaction of, particles with a macroscopic body.Bohm [10,11] tried to save traditional determinism using "hidden parameters".However, Blokhintsev [12,13] claimed objectivity and the need for probabilistic laws.

Figure 1 .
Figure1.Quantum probability amplitudes.The probability amplitudes are summed as the forces: r1 and r2 are summed, with a maximum when the angle is 180°.s1 and s2 are subtracted, and are voided if its modulus is the same.
contingencies' of O.While attributes of O, as an abstract general object, they are possible or random.While attributes of O, which are realized in any actual time, they become 'elementary events'.


, , etc.-is multiplied by N. Note that this does not change the definitions of the sets E and F.

Figure 1 .
Figure1.Quantum probability amplitudes.The probability amplitudes are summed as the forces: r 1 and r 2 are summed, with a maximum when the angle is 180 • .s 1 and s 2 are subtracted, and are voided if its modulus is the same.

Definition 6 :
A polar propositions is the proposition P and its negation ¬P; constituents of a coincidentia oppositorum proposition K(ℵ).Definition 7: u is a denier of the proposition A if the following three conditions are fulfilled: a) u ∈ E b) V(u) = 1; u has unitary truth value (from Axiom 6) c) u − p = p * ∈ E (from Axiom 1)

Figure 2 .
Figure 2. Diffraction of a corpuscular beam by two slots.

Figure 2 .
Figure 2. Diffraction of a corpuscular beam by two slots.

Table 1 .
Isomorphism between a disjunctive logic and probability theory.

Table 1 .
Isomorphism between a disjunctive logic and probability theory.