The concept of consequence, which is a fundamental concept in logic, was formulated in an original way by A. Tarski (perhaps the most renowned representative of the Polish School of Logic). The concept is developed in his works published during the years 1929-1935 and is used to examine the formalised deductive sciences of metalogic and matemathics. W.A. Pogorzelski, one of the main continuators of the Polish School of Logic towards the end of the sixties, proposed the concept of consequence in an inductive form. This article intends to present Pogorzelski's concept and to demonstrate that this concept contains all the general characteristics of Tarski's concept.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados