Channels' Confirmation and Predictions' Confirmation: from the Medical Test to the Raven Paradox

01/17/2020
by   Chenguang Lu, et al.
0

After long arguments between positivism and falsificationism, the verification of universal hypotheses was replaced with the confirmation of uncertain major premises. Unfortunately, Hemple discovered the Raven Paradox (RP). Then, Carnap used the logical probability increment as the confirmation measure. So far, many confirmation measures have been proposed. Measure F among them proposed by Kemeny and Oppenheim possesses symmetries and asymmetries proposed by Elles and Fitelson, monotonicity proposed by Greco et al., and normalizing property suggested by many researchers. Based on the semantic information theory, a measure b* similar to F is derived from the medical test. Like the likelihood ratio, b* and F can only indicate the quality of channels or the testing means instead of the quality of probability predictions. And, it is still not easy to use b*, F, or another measure to clarify the RP. For this reason, measure c* similar to the correct rate is derived. The c* has the simple form: (a-c)/max(a, c); it supports the Nicod Criterion and undermines the Equivalence Condition, and hence, can be used to eliminate the RP. Some examples are provided to show why it is difficult to use one of popular confirmation measures to eliminate the RP. Measure F, b*, and c* indicate that fewer counterexamples' existence is more essential than more positive examples' existence, and hence, are compatible with Popper's falsification thought.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/22/2018

From Shannon's Channel to Semantic Channel via New Bayes' Formulas for Machine Learning

A group of transition probability functions form a Shannon's channel whe...
research
09/03/2018

From Bayesian Inference to Logical Bayesian Inference: A New Mathematical Frame for Semantic Communication and Machine Learning

Bayesian Inference (BI) uses the Bayes' posterior whereas Logical Bayesi...
research
06/16/2019

Designing Test Information and Test Information in Design

DeGroot (1962) developed a general framework for constructing Bayesian m...
research
08/05/2020

Semantic verification of dynamic programming

We prove that the generic framework for specifying and solving finite-ho...
research
10/17/2019

Resource theories of communication with quantum superpositions of processes

A novel approach to quantum communication has demonstrated that placing ...
research
05/02/2018

Semantic Channel and Shannon's Channel Mutually Match for Multi-Label Classification

A group of transition probability functions form a Shannon's channel whe...
research
08/29/2019

Nearly-Linear uncertainty measures

Several easy to understand and computationally tractable imprecise proba...

Please sign up or login with your details

Forgot password? Click here to reset