Počet záznamů: 1

Inferentializing Semantics

  1. 1.
    0343030 - FLU-F 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
    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