Synthese 33 (1):283 - 312 (1976)

This paper suggests a method to calculate a degree of validity for the proof of a statement which is derived from empirical statements by means of logic conclusions. The empirical statements are assumed not to be completely valid or their validity to be doubtful. The suggested rules are consistent with two-valued logic, yield decreasing validities with increasing number of applications of modus ponens and obey the law of the excluded middle. The actual calculation of validity values, the relation of the suggested method to some truth tables of multi-valued logic and to fuzzy logic are discussed
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00485448
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,645
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Many-Valued Logic.Nicholas Rescher - 1969 - New York: Mcgraw-Hill.
Mathematical Logic.Stephen Cole Kleene - 1967 - Dover Publications.
The Logic of Inexact Concepts.J. A. Goguen - 1969 - Synthese 19 (3-4):325-373.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles


Added to PP index

Total views
39 ( #249,091 of 2,349,139 )

Recent downloads (6 months)
1 ( #511,414 of 2,349,139 )

How can I increase my downloads?


My notes