C i lewis, regarding himself as a pragmatist, repeatedly attempts to identify truth with verification. it is here argued, however, that a correspondence or semantic theory is required by (1) lewis's interpretation of objective judgments in terms of "possible experience" and of possible experience in terms of counterfactual conditions; (2) his distinction between the justification of knowledge and the truth of knowledge; and (3) his logical analysis of truth in terms of the extension (known or unknown) of propositions. it is (...) then argued that verification determines knowledge but reality determines truth, and that lewis himself emphasizes "the transcendence by reality of our present knowledge of it.". (shrink)
THE problem of religious knowledge may be stated very simply. If there is a real God, how can we find out that fact? The present discussion assumes that this is just what we must find out, if there is to be any possibility of a philosophically valid religion; for the essential element in religion is God, and consequently the essential philosophical question in regard to religion is that of the reality of God.
We have investigated the exclusive, radiative B meson decays to K 2* in 89 × 106 BB̄ events with the BABAR detector at the PEP-II storage ring. We measure the branching fractions B0γ) = × 10-5 and B+γ) = × 10-5, where the first error is statistical and the second systematic. In addition, we measure the CP-violating asymmetry A CP[B0 → K2* 0γ] = -0.08 ± 0.15 ± 0.01.
Branching fraction measurements using B-meson decays to Ks0π+π- are presented. These measurements were obtained by analyzing a data sample of 88.9 × 106 Υ → BB̄ decays collected with the BABAR detector at the SLAC PEP-II asymmetric-energy B factory. Using a maximum likelihood fit, the following branching fraction results were obtained: B = × 10 -6, B × 10-6, and Bπ+) = × 10-6. The CP violating charge asymmetry AK*π for the decay B0 → K*+π- was measured to be AK*π (...) = 0.23 ± 0.18-0.06+0.09. For all these measurements the first error is statistical and the second is systematic. (shrink)
In  it is proved the categorical isomorphism of two varieties: bounded commutative BCK-algebras and MV -algebras. The class of MV -algebras is the algebraic counterpart of the infinite valued propositional calculus L of Lukasiewicz . The main objective of the present paper is to study that isomorphism from the perspective of logic. The B-C-K logic is algebraizable and the quasivariety of BCKalgebras is the equivalent algebraic semantics for that logic . We call commutative B-C-K logic, briefly cBCK, to the (...) extension of B-C-K logic associated to the variety of commutative BCK–algebras. Moreover, we present the extension Boc of cBCK obtained by adding the axiom of “boundness”. We prove that the deductive system Boc is equivalent to L. We observe that cBCK admits two interesting extensions: the logic Boc, treated in this paper, which is equivalent to the system L of Lukasiewicz, and the logic Co that is naturally associated to the system Balo of `-groups . This constructions establish a link between L and Balo , that would be a logical approach to the categorical relationship between MV–algebras and `-groups. (shrink)