-
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.
-
„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
-
46Witold Marciszewski, Podstawy logicznej teorii przekonań (Foundations of a Logical Theory of Assent) (review)Dialectics and Humanism 6 (3): 149-154. 1979.
-
41. STRUCTURE AND REFERENCES 1.1. The main part of the dictionary consists of alphabetically arranged articles concerned with basic logical theories and some other selected topics. Within each article a set of concepts is defined in their mutual relations. This way of defining concepts in the context of a theory provides better understand ing of ideas than that provided by isolated short defmitions. A disadvantage of this method is that it takes more time to look something up inside an extensive …Read more
-
Problem reprezentacji arytmetycznej rozumowań zapisywanych w kodzie neuronowymArcheus. Studia Z Bioetyki I Antropologii Filozoficznej 1 173-190. 2000.