Change search
ReferencesLink to record
Permanent link

Direct link
Hypothesis-Discharging Rules in Atomic Bases
KTH, School of Architecture and the Built Environment (ABE), Philosophy and History of Technology, Philosophy.
2015 (English)In: DAG PRAWITZ ON PROOFS AND MEANING, 2015, 313-328 p.Conference paper (Refereed)
Abstract [en]

This paper investigates the idea, familiar inter alia from Prawitz, that an inference is to be deemed valid, relative to a basis of inference rules for atomic sentences, just in case every extension of that basis supporting the premisses of the inference also supports its conclusion. Specifically, we try to carry out this idea in a setting where atomic bases are allowed to contain rules that license the discharging of hypotheses. The results are mixed. While the ensuing concept of validity appears to be an extensionally adequate one, from a conceptual point of view the theory is deemed unsatisfactory in that certain inferences come out valid, as it were, for the wrong reason. So, for instance, an atomic rule contained in a basis will qualify as valid relative to that basis, but not simply in virtue of the fact that it occurs there; its validity also depends on the assumption that all bases conform to a particular format, thus lending a peculiarly holistic character to the theory.

Place, publisher, year, edition, pages
2015. 313-328 p.
, Outstanding Contributions to Logic, ISSN 2211-2766 ; 7
National Category
URN: urn:nbn:se:kth:diva-171914DOI: 10.1007/978-3-319-11041-7_14ISI: 000357742900014ISBN: 978-3-319-11041-7; 978-3-319-11040-0OAI: diva2:845311
Dag Prawitz on Proofs and Meaning Workshop, SEP 10-11, 2012, Ruhr Univ Bochum, Bochum, GERMANY

QC 20150811

Available from: 2015-08-11 Created: 2015-08-10 Last updated: 2015-08-11Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Sandqvist, Tor
By organisation

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 11 hits
ReferencesLink to record
Permanent link

Direct link