-
100The Polish School of Argumentation: A ManifestoArgumentation 28 (3): 267-282. 2014.Building on our diverse research traditions in the study of reasoning, language and communication, the Polish School of Argumentation integrates various disciplines and institutions across Poland in which scholars are dedicated to understanding the phenomenon of the force of argument. Our primary goal is to craft a methodological programme and establish organisational infrastructure: this is the first key step in facilitating and fostering our research movement, which joins people with a common …Read more
-
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.
-
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.
-
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.
-
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.
-
17Logic from a rhetorical point of viewW. de Gruyter. 1994.CHAPTER ONE On the Rhetorical Point of View. Why rhetoric declined, and what remained of it. Once upon a time rhetoric was a vast and influential branch of ...
-
3Ratione et studio: Profesorowi Witoldowi Marciszewskiemu w darze (edited book)Wydawn. Uniwersytetu w Białymstoku. 2005.
-
Formalizacja informatyczna jako rekonstrukcja praktyki dowodowejStudia Filozoficzne 277 (12). 1988.
-
The Principle of Comprehension as a Present-Day Contribution to Mathesis Univer..Philosophia Naturalis 21 (2/4): 523-537. 1984.
-
19A study of intelligence guided by mechanization of reasoningGlobal Philosophy 8 (1-3): 429-454. 1997.
-
„Mathesis Universalis” na nasze czasy. Wkład Fregego, Cantora i GodlaZagadnienia Naukoznawstwa 47 (190). 2011.Zwrot \"Mathesis Universalis\" (MU) oznacza projekt unifikacji całości wiedzy za pomocą metody matematycznej. Powstał on pod tą nazwą u progu nowożytności, a częściowo miał antycypacje w starożytności i średniowieczu. Głównymi jego rzecznikami byli Kartezjusz i Leibniz. Podejście Leibniza jest radykalnie formalistyczne, a przez to nadające sie do realizacji maszynowej, podczas gdy Kartezjusza - zdecydowanie antyformalistyczne. Artykuł koncentruje się na projekcie Leibniza jako tym, który ma kont…Read more