(3) A tentative definition for a quantitative concept of degree of confirmation with respect to a simple language system and a few theorems of inductive logic
based on the definition have been given in 'On Inductive Logic
,' Philosophy of Science, Vol.
A neat trick when 'powers of 2' appear is to convert any numerical analysis from base 10 to base 2: with the Tower of Hanoi problem, it is fun to show the above inductive logic
using binary notation ("There are 10 types of people: one who knows the meaning of the binary system, and one who does not"--source unknown).
Zeroski, Inductive Logic
Programming: Techniques and Applications, Ellis Horwood, New York, NY, USA, 1994.
In Muggleton, S., ed.: Inductive Logic
Rather to regain this systematicity--indeed, to determine how, in a deductive architecture, properly to qualify argumentative claims that are less than true or certain--we need independent theories of plausibility and probability, whether an inductive logic
, a theory of statistics, or something else.
These grand theories are predicated on inductive logic
and develop explanations for the rise of the welfare state by applying theoretical constructs to the experiences of a few nation states.
Strawson compares this project to Hume's project of identifying "rules for judging causes and effects." Strawson says he has some sympathy for such a project, but balks at calling the results an inductive logic
Logical correctness in deductive/non-ampliative logic is a property of the form and not context dependent whereas logical correctness in inductive logic
is a property of a particular occasion of use of the form.
Deductive logic (theory-driven research) as well as inductive logic
(research-driven theory) are discussed.
Robert's legalistic subjectivity is an epistemological space in which he must learn the appropriate combination of deductive and inductive logic
in the construction and interpretation of evidence.
It involves inductive logic
and the use of the scientific method.
SCIENTIFIC KNOWLEDGE DISCOVERY TASKS CAN BE carried out using inductive logic