Počet záznamů: 1

Inferentializing Consequence

SYSNO ASEP	0343032
Druh ASEP	C - Konferenční příspěvek (mezinárodní konf.)
Zařazení RIV	D - Článek ve sborníku
Název	Inferentializing Consequence
Tvůrce(i)	Peregrin, Jaroslav (FLU-F)_{RID, ORCID, SAI}
Zdroj.dok.	The Logica Yearbook 2008. - London : College Publications, 2009 / Peliš M. - ISBN 978-1-904987-46-8
Rozsah stran	s. 147-160
Poč.str.	14 s.
Akce	Logica 2008
Datum konání	16.06.2008-20.06.2008
Místo konání	Hejnice
Země	CZ - Česká republika
Typ akce	EUR
Jazyk dok.	eng - angličtina
Země vyd.	GB - Velká Británie
Klíč. slova	inferentializability ; semantic systems
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)
Anotace	We know that the relation of inference as instituted by any of the common axiom systems of the classical propositional calculus coincides with the relation of consequence defined in terms of the truth tables; whereas the situation is a little bit more complicated w.r.t. the first-order predicate calculus; no coincidence obtains for second-order predicate calculus (with the standard semantics). This makes us consider the problem of "inferentializability": Which kinds of relation of consequence are "inferentializable" in the sense that they coincide with a relation of inferability by means of some collection of rules? In this paper we develop a general framework for the investigation of this problem and prove some results.
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