-
5The Josefson–Nissenzweig theorem and filters on $$\omega $$Archive for Mathematical Logic 1-40. forthcoming.For a free filter F on $$\omega $$ ω, endow the space $$N_F=\omega \cup \{p_F\}$$ N F = ω ∪ { p F }, where $$p_F\not \in \omega $$ p F ∉ ω, with the topology in which every element of $$\omega $$ ω is isolated whereas all open neighborhoods of $$p_F$$ p F are of the form $$A\cup \{p_F\}$$ A ∪ { p F } for $$A\in F$$ A ∈ F. Spaces of the form $$N_F$$ N F constitute the class of the simplest non-discrete Tychonoff spaces. The aim of this paper is to study them in the context of the celebrated Josef…Read more
-
12Mechanization of Reasoning in a Historical Perspective (edited book)Brill | Rodopi. 1995.This volume is written jointly by Witold Marciszewski, who contributed the introductory and the three subsequent chapters, and Roman Murawski who is the author of the next ones - those concerned with the 19th century and the modern inquiries into formalization, algebraization and mechanization of reasonings. Besides the authors there are other persons, as well as institutions, to whom the book owes its coming into being. The study which resulted in this volume was carried out in the Historical S…Read more
-
10O metodę filozofii. Rozważania na tle problemu substancji i przypadłościRoczniki Filozoficzne 8 (1): 17-35. 1960.
-
27A Rationalistic Interpretation of "Reasons of the Heart"Dialectics and Humanism 7 (4): 155-162. 1980.
-
3The Computational and Pragmatic Approach to the Dynamics of ScienceFilozofia i Nauka. Studia Filozoficzne I Interdyscyplinarne 1 (8): 31-68. 2020.
-
3What Logic and Grammar Bring to the Issue of Solvability? Meditation in this Journal’s 40th AnniversaryStudies in Logic, Grammar and Rhetoric 63 (1): 7-15. 2020.
-
4On Methods of Abstracting and Types of AbstractsStudia Semiotyczne—English Supplement 1 139-158. 1970.
-
2Formal Characteristics of the Domain of Considerations as a Basis of the Subject IndexStudia Semiotyczne—English Supplement 3 78-98. 1972.
-
2The Problem of Existence of Intentional ObjectsStudia Semiotyczne—English Supplement 4 141-160. 1973.
-
4Semantic Analysis of Interrogtatives as a Basis for Heuristic RulesStudia Semiotyczne—English Supplement 5 86-101. 1974.
-
5Syntactic Description of Reported Speech in Categorial GrammarStudia Semiotyczne—English Supplement 7 112-136. 1977.
-
13Does Science Progress Towards Ever Higher Solvability Through Feedbacks Between Insights and Routines?Studia Semiotyczne 32 (2): 153-185. 2018.The affirmative answer to the title question is justified in two ways: logical and empirical. The logical justification is due to Gödel’s discovery that in any axiomatic formalized theory, having at least the expressive power of PA, at any stage of development there must appear unsolvable problems. However, some of them become solvable in a further development of the theory in question, owing to subsequent investigations. These lead to new concepts, expressed with additional axioms or rules. Owi…Read more
-
5Confrontation of Reism with Type- theoretical Approach and Everyday ExperienceStudies in Logic, Grammar and Rhetoric 27 (40). 2012.
-
Kazimierz Ajdukiewicz i polski spór o uniwersaliaFilozofia Nauki 3. 1999.When discussing Kazimierz Ajdukiewicz's role in philosophy, it is worthwhile recalling his participation in scholarly controversies. It was characteristic of his open mind that his taking part in debates was motivated by a vivid interest in various ways of thinking. Ajdukiewicz's intellectual power consisted, so to speak, in his ability of not to understand. This ability has brought him success in some important debates, concerning i.a. the classical logical concept of contradiction and the deba…Read more
-
15Universal Spaces for Classes of Scattered Eberlein Compact SpacesJournal of Symbolic Logic 71 (3). 2006.We discuss the existence of universal spaces (either in the sense of embeddings or continuous images) for some classes of scattered Eberlein compacta. Given a cardinal κ, we consider the class Sκ of all scattered Eberlein compact spaces K of weight ≤ κ and such that the second Cantor-Bendixson derivative of K is a singleton. We prove that if κ is an uncountable cardinal such that κ = 2<κ, then there exists a space X in Sκ such that every member of Sκ is homeomorphic to a retract of X. We show …Read more
-
13Ajdukiewicz alternatywny: pragmatysta i platonikPrzeglad Filozoficzny - Nowa Seria 88 (4): 239-253. 2013.
-
O jednomyślności filozoficznej i atrakcyjności filozofiiPrzeglad Filozoficzny - Nowa Seria 55 (3): 241-143. 2005.
-
6Logika formalna: zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki (edited book)Państwowe Wydawn. Nauk.. 1987.
-
Induction, Acceptance and Rational Belief, edited by Marshall Swain (review)Studia Logica 33 (n/a): 311. 1974.