| Authors: | Došen, Kosta | Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | Inferential Semantics | Journal: | Dag Prawitz on Proofs and Meaning | Series/Report no.: | Outstanding Contributions to Logic | Volume: | 7 | First page: | 147 | Last page: | 162 | Issue Date: | 1-Jan-2015 | ISBN: | 978-3-319-11040-0 | ISSN: | 2211-2758 | DOI: | 10.1007/978-3-319-11041-7_6 | Abstract: | Prawitz’s views concerning inferences and their validity are examined in the light of opinions about general proof theory and proof-theoretic semantics inspired by categorial proof theory. The frame for these opinions, and for the ensuing examination of those of Prawitz, is provided by what has been qualified as a dogmatic position that proof-theoretic semantics shares with model-theoretic semantics. |
Keywords: | Categorial proof theory | Consequence | Deduction | General proof theory | ground | Inference | Name | Proof-theoretic semantics | Proposition | Provability | Truth | Validity | Publisher: | Springer Link |
Show full item record
SCOPUSTM
Citations
10
checked on Nov 19, 2024
Page view(s)
30
checked on Nov 19, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.