Počet záznamů: 1
Inferentializing Semantics
- 1.
SYSNO ASEP 0343030 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Inferentializing Semantics Tvůrce(i) Peregrin, Jaroslav (FLU-F) RID, ORCID, SAI Zdroj.dok. Journal of Philosophical Logic. - : Springer - ISSN 0022-3611
Roč. 39, č. 3 (2010), s. 255-274Poč.str. 20 s. Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova inference ; proof theory ; model theory ; inferentialism ; semantics Vědní obor RIV AA - Filosofie a náboženství CEP GA401/07/0904 GA ČR - Grantová agentura ČR CEZ AV0Z90090514 - FLU-F (2005-2011) UT WOS 000277430700002 EID SCOPUS 77952312960 DOI 10.1007/s10992-010-9123-9 Anotace 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. Pracoviště Filosofický ústav Kontakt Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360 Rok sběru 2011
Počet záznamů: 1