A sieve for entailments

descriptionPublicationkeyboard_double_arrow_right Article 01 Feb 1980 English Publisher:Springer Science and Business Media LLCJournal:Journal of Philosophical Logic, volume 9, pages 41-57 (issn: 0022-3611, eissn: 1573-0433,

Copyright policy )

Authors: J. Michael Dunn;

doi: 10.1007/bf00258076

A sieve for entailments

- Summary
- Subjects
- Metrics

Abstract

The validity of an entailment has nothing to do with whether or not the components are true, false, necessary, or impossible; it has to do solely with whether or not there is a necessary connection between antecedent and consequent. Hence it is a mistake (we feel) to try to build a sieve which will “strain out” entailments from the set of material or strict “implications” present in some system of truth-functions, or of truth-functions with modality. Anderson and Belnap (1962, p. 47).

Related Organizations

Indiana University
United States
DePaul University
United States

Keywords

entailment, truth tree, Modal logic (including the logic of norms), partial tautology

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	5
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average