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 Jul 20, 2024

Page view(s)

31
checked on May 9, 2024

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.