-
36The Cognitive Relation in a Formal SettingStudia Logica 86 (3): 479-497. 2007.This paper proposes a formal framework for the cognitive relation understood as an ordered pair with the cognitive subject and object of cognition as its members. The cognitive subject is represented as consisting of a language, conequence relation and a stock of accepted theories, and the object as a model of those theories. This language allows a simple formulation of the realism/anti-realism controversy. In particular, Tarski’s undefinability theorem gives a philosophical argument for realism…Read more
-
Logic from a metalogical point of viewIn E. Orłowska (ed.), Logic at Work, Heidelberg. pp. 25--35. 1999.
-
Analyticity, decidability and incompletenessIn J. Czermak (ed.), Philosophy of Mathematics, Hölder-pichler-tempsky. pp. 379--382. 1993.
-
Wajsberg on the first-order predicate calculus for the finite modelsBulletin of the Section of Logic 2 (2): 107-111. 1973.
-
30Formal metaphilosophy in finlandPoznan Studies in the Philosophy of the Sciences and the Humanities 80 (1): 107-131. 2003.Finland is internationally known as one of the leading centers of twentieth century analytic philosophy. This volume offers for the first time an overall survey of the Finnish analytic school. The rise of this trend is illustrated by original articles of Edward Westermarck, Eino Kaila, Georg Henrik von Wright, and Jaakko Hintikka. Contributions of Finnish philosophers are then systematically discussed in the fields of logic, philosophy of language, philosophy of science, history of philosophy, e…Read more
-
51What is formal in formal semantics?Dialectica 58 (3). 2004.Formal semantics is understood either as a formal analysis of semantical features of natural language or as model-theoretic semantics of formal(ized) languages. This paper focuses on the second understanding. The problem is how to identify the formal aspects of formal semantics, if we understand ‘formal’ as ‘independent of content’. This is done by showing that the form of semantical interpretation of a language L is given by its syntax and the parallelism of the signature of L and its interpret…Read more
-
65Truth and ConsistencyAxiomathes 20 (2-3): 347-355. 2010.This paper investigates relations between truth and consistency. The basic intuition is that truth implies consistency, but the reverse dependence fails. However, this simple account leads to some troubles, due to some metalogical results, in particular the Gödel-Malcev completeness theorem. Thus, a more advanced analysis is required. This is done by employing the concept of ω-consistency and ω-inconsistency. Both concepts motivate that the concept of the standard truth should be introduced as w…Read more
-
Naturalizm, antynaturalizm i podstawy statystykiFilozofia Nauki 1. 2001.Klemens Szaniawski has been dealing with many philosophical problems, but the philosophical foundations of statistics and theory of decision were his main interest. Unfortunately, he did not present his results and considerations in a synthetic monograph. One can suppose, however, that it would be an attempt to look at science from the point of view of someone who makes epistemic decisions and to regard statistical inferences as paradigmatic scientific procedures. The material concerning that su…Read more
-
6Polish LogicLogic Journal of the IGPL 12 (5): 399-428. 2004.This paper outlines the history of logic in Poland in the years 1918–1939 . The disciplinary and social history of logical investigations in Poland is widely described. The author stresses topics characteristic for Polish logic, namely prepositional calculus, many-valued logic, Lezśniewski's systems, Chwistek's systems and the works in the history of logic
-
Samozwrotność i odrzucanieFilozofia Nauki 1. 1993.The paper consists of two parts. The first contains the paradox of Truth-teller, i.e. a sentence which asserts own truth. The paradox appears when we apply logic of rejection to the Truth-teller sentence. The Truth-teller paradox is symmetric with respect to the Liar paradox. The second part considers a sentence which asserts own provability. This sentence is unprovable on the base of rejection logic. This leads to counterparts of the Gödel incompleteness theorems and other metamathematical resu…Read more
-
15Lindenbaum, AdolfInternet Encyclopedia of Philosophy. 2015.Adolf Lindenbaum Adolf Lindenbaum was a Polish mathematician and logician who worked in topology, set theory, metalogic, general metamathematics and the foundations of mathematics. He represented an attitude typical of the Polish Mathematical School, consisting of using all admissible methods, independently of whether they were finitary. For example, the axiom of choice was freely applied, … Continue reading Lindenbaum, Adolf →.
-
11The Reception of the Lvov-Warsaw SchoolIn Katarzyna Kijania-Placek & Jan Woleński (eds.), The Lvov-Warsaw school and contemporary philosophy, Kluwer Academic Publishers. pp. 3--19. 1998.
-
14Remarks on Identity across Possible WorldsBulletin of the Section of Logic 37 (3/4): 273-287. 2008.
-
16Izydora Dambska-Between Conventionalism and RealismPoznan Studies in the Philosophy of the Sciences and the Humanities 74 107-112. 2001.
-
38
Areas of Interest
Metaphilosophy |
Logic and Philosophy of Logic |