Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Explaining Deductive Inference
Stockholms universitet, Humanistiska fakulteten, Filosofiska institutionen.
2015 (engelsk)Inngår i: Dag Prawitz on Proofs and Meaning / [ed] Heinrich Wansing, Cham: Springer, 2015, s. 65-100Kapittel i bok, del av antologi (Fagfellevurdert)
Abstract [en]

We naturally take for granted that by performing inferences we can obtain evidence or grounds for assertions that we make. But logic should explain how this comes about. Why do some inferences give us grounds for their conclusions? Not all inferences have that power. My first aim here is to draw attention to this fundamental but quite neglected question. It seems not to be easily answered without reconsidering or reconstructing the main concepts involved, that is, the concepts of ground and inference. Secondly, I suggest such a reconstruction, the main idea of which is that to make an inference is not only to assert a conclusion claiming that it is supported by a number of premisses, but is also to operate on the grounds that one assumes or takes oneself to have for the premisses. An inference is thus individuated not only by its premisses and conclusion but also by a particular operation. A valid inference can then be defined as one where the involved operation results in a ground for the conclusion when applied to grounds for the premisses. It then becomes a conceptual truth that a valid inference does give a ground for the conclusion provided that one has grounds for the premisses.

sted, utgiver, år, opplag, sider
Cham: Springer, 2015. s. 65-100
Serie
Outstanding Contributions to Logic, ISSN 2211-2758 ; 7
Emneord [en]
Inference, Deduction, Proof, Ground, Meaning, Logical validity Inferentialism, Intuitionism, Proof-theoretic semantics
HSV kategori
Forskningsprogram
teoretisk filosofi
Identifikatorer
URN: urn:nbn:se:su:diva-125733DOI: 10.1007/978-3-319-11041-7_3ISI: 000386617500005ISBN: 978-3-319-11040-0 (tryckt)ISBN: 978-3-319-11041-7 (tryckt)OAI: oai:DiVA.org:su-125733DiVA, id: diva2:894917
Tilgjengelig fra: 2016-01-17 Laget: 2016-01-17 Sist oppdatert: 2016-12-12bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Søk i DiVA

Av forfatter/redaktør
Prawitz, Dag
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 41 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf