Počet záznamů: 1
Inferentializing Semantics
- 1.0343030 - FLÚ 2011 RIV NL eng J - Článek v odborném periodiku
Peregrin, Jaroslav
Inferentializing Semantics.
Journal of Philosophical Logic. Roč. 39, č. 3 (2010), s. 255-274. ISSN 0022-3611. E-ISSN 1573-0433
Grant CEP: GA ČR(CZ) GA401/07/0904
Výzkumný záměr: CEZ:AV0Z90090514
Klíčová slova: inference * proof theory * model theory * inferentialism * semantics
Kód oboru RIV: AA - Filosofie a náboženství
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.
Trvalý link: http://hdl.handle.net/11104/0185607
Počet záznamů: 1