Relevant consequence and empirical inquiry

DOI10.1007/BF01052535MaRDI QIDQ2366530zbMATH OpenOpenAlexFDO

Authors Scott Weinstein, Daniel N. Osherson

Publication date 17 August 1993

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01052535

zbMATH Keywords

disjunctionempirical inquiryformal model of scientific inquiryrelevancesuccessive conjectural approximations to a true sentence

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) General logic (03B99)

Review text

The inference from \(A\) to \(A\vee X\), whilst classically valid, has the pragmatic disadvantage of permitting the introduction of ``irrelevant subject matter, and the formal peculiarity that we may substitute an arbitrary sentence \(X'\) for \(X\) in the consequent along without loss of validity. The authors' general question is how far suspect inferences of this kind are necessary for scientific investigation. They show that under a certain formal model of scientific inquiry, such inferences are not needed when making successive conjectural approximations to a true sentence, provided that true sentence itself satisfies certain relevance conditions.

Recommendations

• scientific article; zbMATH DE number 4057477
• Assertion, inference, and consequence
• A formal analysis of relevance
• scientific article; zbMATH DE number 3891327
• Scientific discovery on positive data via belief revision

Cites work

• A universal inductive inference machine
• scientific article; zbMATH DE number 3136643 (Why is no real title available?)
• scientific article; zbMATH DE number 4008360 (Why is no real title available?)
• scientific article; zbMATH DE number 50933 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• New directions in automated scientific discovery
• ON POPPER'S DEFINITIONS OF VERISIMILITUDE¹
• Paradigms of truth detection

Cited in

(5)

• Paradigms of truth detection
• On the danger of half-truths
• A hyperintensional criterion of irrelevance
• Graded consequence: further studies
• Most general first order theorems are not recursively enumerable

This page was built for publication: Relevant consequence and empirical inquiry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2366530)