Validity of inferences and validity of demonstrations

Bibliographic Data

ID20142813
AuthorsGöran Sundholm (0000-0001-5161-0720, Leiden University Leiden Netherlands, corresponding author)
Year2024
Volume90
Issue5
Pages459-478
Publication date2024-10-01
Peer ReviewedYes
Open AccessYes
TypeARTICLE
VenueTheoria (JOURNAL)
Journal identifiersISSN: 0040-5825 • E-ISSN: 1755-2567
PublisherWiley (PUBLISHER • GB)
DOI10.1111/theo.12542
OpenAlexW4402577229
LanguageEN
References cited32

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

Concurrent validity · Construct validity · Criterion validity · Developmental psychology · External validity · Internal consistency · Psychometrics · Validity · Formal Methods in Verification · Logic, programming, and type systems · Parallel Computing and Optimization Techniques · Psychology · Social Psychology

Tools

Open DOIOpen Access