Number of the records: 1

Inferentializing Consequence

SYSNO ASEP	0343032
Document Type	C - Proceedings Paper (int. conf.)
R&D Document Type	Conference Paper
Title	Inferentializing Consequence
Author(s)	Peregrin, Jaroslav (FLU-F)_{RID, ORCID, SAI}
Source Title	The Logica Yearbook 2008. - London : College Publications, 2009 / Peliš M. - ISBN 978-1-904987-46-8
Pages	s. 147-160
Number of pages	14 s.
Action	Logica 2008
Event date	16.06.2008-20.06.2008
VEvent location	Hejnice
Country	CZ - Czech Republic
Event type	EUR
Language	eng - English
Country	GB - United Kingdom
Keywords	inferentializability ; semantic systems
Subject RIV	AA - Philosophy ; Religion
R&D Projects	GA401/07/0904 GA ČR - Czech Science Foundation (CSF)
CEZ	AV0Z90090514 - FLU-F (2005-2011)
Annotation	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.
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