Number of the records: 1

Inferentializing Semantics

SYSNO ASEP	0343030
Document Type	J - Journal Article
R&D Document Type	Journal Article
Subsidiary J	Článek ve WOS
Title	Inferentializing Semantics
Author(s)	Peregrin, Jaroslav (FLU-F)_{RID, ORCID, SAI}
Source Title	Journal of Philosophical Logic. - : Springer - ISSN 0022-3611 Roč. 39, č. 3 (2010), s. 255-274
Number of pages	20 s.
Language	eng - English
Country	NL - Netherlands
Keywords	inference ; proof theory ; model theory ; inferentialism ; semantics
Subject RIV	AA - Philosophy ; Religion
R&D Projects	GA401/07/0904 GA ČR - Czech Science Foundation (CSF)
CEZ	AV0Z90090514 - FLU-F (2005-2011)
UT WOS	000277430700002
EID SCOPUS	77952312960
DOI	10.1007/s10992-010-9123-9
Annotation	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.
Workplace	Institute of Philosophy
Contact	Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360
Year of Publishing	2011

Number of the records: 1