Number of the records: 1
Inferentializing Semantics
- 1.0343030 - FLÚ 2011 RIV NL eng J - Journal Article
Peregrin, Jaroslav
Inferentializing Semantics.
Journal of Philosophical Logic. Roč. 39, č. 3 (2010), s. 255-274. ISSN 0022-3611
R&D Projects: GA ČR(CZ) GA401/07/0904
Institutional research plan: CEZ:AV0Z90090514
Keywords : inference * proof theory * model theory * inferentialism * semantics
Subject RIV: AA - Philosophy ; Religion
The entire development of modern logic is characterized by various forms of confrontation of what has come to be called proof theory with what has earned the label of model theory. The aim of this paper is to sort out the cluster of problems besetting logical inferentialism by disentangling and clarifying one of them, namely determining the power of various inferential frameworks as measured by that of explicitly semantic ones.
Permanent Link: http://hdl.handle.net/11104/0185607
Number of the records: 1