Inferentializing Consequence

0343032 - FLÚ 2011 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Peregrin, Jaroslav
Inferentializing Consequence.
The Logica Yearbook 2008. London: College Publications, 2009 - (Peliš, M.), s. 147-160. ISBN 978-1-904987-46-8.
[Logica 2008. Hejnice (CZ), 16.06.2008-20.06.2008]
Grant CEP: GA ČR(CZ) GA401/07/0904
Výzkumný záměr: CEZ:AV0Z90090514
Klíčová slova: inferentializability * semantic systems
Kód oboru RIV: AA - Filosofie a náboženství

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.
Trvalý link: http://hdl.handle.net/11104/0185608