Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, Published 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.
Series
Outstanding Contributions to Logic, ISSN 2211-2766 ; 7
National Category
Philosophy
Identifiers
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-0 (print)OAI: oai:DiVA.org:kth-171914DiVA: diva2:845311
Conference
Dag Prawitz on Proofs and Meaning Workshop, SEP 10-11, 2012, Ruhr Univ Bochum, Bochum, GERMANY
Note

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
Philosophy
Philosophy

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 19 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf