-
„Ruch Filozoficzny\" jako kronika rozwoju logiki w Polsce (lata 1918-1939)Ruch Filozoficzny 68 (4). 2011.
-
16Izydora Dambska-Between Conventionalism and RealismPoznan Studies in the Philosophy of the Sciences and the Humanities 74 107-112. 2001.
-
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 →.
-
Tadeusz Kotarbinski-Reism and SciencePoznan Studies in the Philosophy of the Sciences and the Humanities 74 47-52. 2001.
-
49Applications of squares of oppositions and their generalizations in philosophical analysisLogica Universalis 2 (1): 13-29. 2008.. This papers examines formal properties of logical squares and their generalizations in the form of hexagons and octagons. Then, several applications of these constructions in philosophical analysis are elaborated. They concern contingency (accidentality), possibility, permission, axiological concepts (bonum and malum), the generalized Hume thesis (deontic and epistemic modalities), determinism, truth and consistency (in various senses. It is shown that relations between notions used in variou…Read more
-
Wajsberg on the first-order predicate calculus for the finite modelsBulletin of the Section of Logic 2 (2): 107-111. 1973.
-
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
-
J. Lukasiewicz sur l'induction, la logique multivaluée et la philosophieStudia Filozoficzne 270 117-140. 1988.
-
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
-
On Ackermann's rigorous implication>In Stanisław J. Surma (ed.), Studies in the History of Mathematical Logic, Wrocław, Zakład Narodowy Im. Ossolinskich. pp. 139. 1973.
-
33ForewordAxiomathes 7 (3): 9-11. 1996.On May 11th a round table discussion was held on the subject "The Interactions of Science and Art under the Conditions of the Revolution in Science and Technology ," organized by the editorial boards of the journals Voprosy filosofii and Voprosy literatury
-
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
-
17Logical Dialogue-Games and Fallacies (review)Grazer Philosophische Studien 32 (1): 228-229. 1988.
-
8Carnap's MetaphilosophyIn Thomas Bonk (ed.), Language, Truth and Knowledge: Contributions to the Philosophy of Rudolf Carnap, Kluwer Academic Publishers. pp. 27--44. 2003.
-
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
-
19Popper on Prophecies and PredictionsPoznan Studies in the Philosophy of the Sciences and the Humanities 49 87-97. 1996.
-
41Normative Systems, Permission and Deontic LogicRatio Juris 4 (3): 334-348. 1991.Abstract.The authors concentrate on the analysis of the concept of permission. After a general account of differing concepts of permission both with regard to different legal theories and to different legal ideologies, they argue in favour of a “radical” imperativism which leaves no place for permissive norms. Thus, in contrast with the logic of normative language (LNL) purported by Alchourrón and Bulygin, the authors figure out a system of deontic logic ‐ supplemented by devices of the possible…Read more
-
54Metalogical properties, being logical and being formalLogic and Logical Philosophy 10 (n/a): 211. 2002.
-
14Remarks on Identity across Possible WorldsBulletin of the Section of Logic 37 (3/4): 273-287. 2008.
-
35Philosophy inside communism: The case of PolandStudies in East European Thought 43 (2): 93-100. 1992.
Areas of Interest
Metaphilosophy |
Logic and Philosophy of Logic |