Validity of inferences and validity of demonstrations

Abstract The lecture spells out the difference between the validity of inference (‐figure)s and validity applied to demonstrations (‘proof acts’). The latter notion is not an ordinary characterizing one; in Brentano's terminology it is a modifying one. A demonstration lacking validity is not a real demonstration, just as a false friend is no true friend. Throughout, the treatment makes crucial use of an epistemological perspective that is cast in the first person. Furthermore, the difference between (logical) consequence among propositions and the validity of inference from judgement to judgement is explained. Particular attention is paid to alleged issues of circularity in the definition of the validity of inference, and to the ‘explosion’ validity of inference from contradictory premisses. Drawing upon a version of the dialogical framework of Per Martin‐Löf, namely, ‘When I say Therefore , I give others my permission to assert the conclusion’, while stressing also the importance of the first person perspective, both difficulties can be neutralized.

Authors

Institutions

Publication Details

Journal
Theoria
Published
2024-09-17
DOI
https://doi.org/10.1111/theo.12542
Primary Topic
Logic, programming, and type systems
Type
article
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Validity of inferences and validity of demonstrations

Göran Sundholm
Theoria
Logic, programming, and type systems
article

Validity of inferences and validity of demonstrations

Göran Sundholm
article en

Abstract

Abstract The lecture spells out the difference between the validity of inference (‐figure)s and validity applied to demonstrations (‘proof acts’). The latter notion is not an ordinary characterizing one; in Brentano's terminology it is a modifying one. A demonstration lacking validity is not a real demonstration, just as a false friend is no true friend. Throughout, the treatment makes crucial use of an epistemological perspective that is cast in the first person. Furthermore, the difference between (logical) consequence among propositions and the validity of inference from judgement to judgement is explained. Particular attention is paid to alleged issues of circularity in the definition of the validity of inference, and to the ‘explosion’ validity of inference from contradictory premisses. Drawing upon a version of the dialogical framework of Per Martin‐Löf, namely, ‘When I say Therefore , I give others my permission to assert the conclusion’, while stressing also the importance of the first person perspective, both difficulties can be neutralized.

TheoriaVol. 90(5)
Leiden University (NL)
Universiteit Leiden
Openalex Percentile: Top 87%
Logic, programming, and type systems
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Validity of inferences and validity of demonstrations — Göran Sundholm · Theoria (2024) | TGRS Research Map | TGRS