Brun, Georg (25 May 2023). Formalization, Valid Inference and Truth Conditions (Unpublished). In: LLC Seminar. Center for Logic, Language, and Cognition Seminar, Università degli Studi di Torino. 25.05.23.
Logical formalizations assign formulas to ordinary-language sentences and inferences with the aim of representing logical forms in a transparent way and making it possible to give formal proofs of validity. This practice raises the question of what the quality-standards are for formalizations. Whereas logicians with inferentialist leanings tend to emphasize that correct formalizations do not permit to ‘show’ inferences to be valid if they are in fact invalid, logicians with semantical leanings often explain correctness in terms of truth conditions. In this talk, I discuss how these criteria of correctness can be explicated, how they relate to each other and what challenges they face.
Item Type: |
Conference or Workshop Item (Speech) |
|---|---|
Division/Institute: |
06 Faculty of Humanities > Department of Art and Cultural Studies > Institute of Philosophy 06 Faculty of Humanities > Department of Art and Cultural Studies > Institute of Philosophy > Theoretical Philosophy |
UniBE Contributor: |
Brun, Georg |
Subjects: |
100 Philosophy 100 Philosophy > 160 Logic |
Language: |
English |
Submitter: |
Georg Brun |
Date Deposited: |
15 Feb 2024 12:20 |
Last Modified: |
15 Feb 2024 12:20 |
URI: |
https://boris.unibe.ch/id/eprint/192929 |
Actions (login required)
 |
Edit item |