-
76Rational beliefs as produced by computational processesFoundations of Science 2 (1): 87-106. 1997.Intelligent problem-solving depends on consciously applied methods of thinking as well as inborn or trained skills. The latter are like resident programs which control processes of the kind called (in Unix) daemons. Such a computational process is a fitting reaction to situations (defined in the program in question) which is executed without any command of a computer user (or without any intention of the conscious subject). The study of intelligence should involve methods of recognizing those be…Read more
-
Opis syntaktyczny mowy zależnej na gruncie gramatyki kategorialnejStudia Semiotyczne 7 205-226. 1977.
-
104Witold Marciszewski, Podstawy logicznej teorii przekonań (Foundations of a Logical Theory of Assent) (review)Dialectics and Humanism 6 (3): 149-154. 1979.
-
29Systems of Computer-Aided Reasoning for Mathematics and Natural LanguageIn Jan T. J. Srzednicki (ed.), Initiatives in logic, M. Nijhoff. pp. 207--223. 1987.
-
Cywilizacja liberalna a świat zachodni. Analiza krytyczna pojęćPrzeglad Filozoficzny - Nowa Seria 39 (3): 31-45. 2001.
-
75Platonian Rationalism as expressed in Leibniz's Program for ScienceDialectics and Humanism 11 (2-3): 349-358. 1984.
-
49On Accelerations in Science Driven by Daring Ideas: Good Messages from Fallibilistic RationalismStudies in Logic, Grammar and Rhetoric 40 (1): 19-41. 2015.The first good message is to the effect that people possess reason as a source of intellectual insights, not available to the senses, as e.g. axioms of arithmetic. The awareness of this fact is called rationalism. Another good message is that reason can daringly quest for and gain new plausible insights. Those, if suitably checked and confirmed, can entail a revision of former results, also in mathematics, and - due to the greater efficiency of new ideas - accelerate science’s progress. The awar…Read more
-
58Logic 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 ...
-
Formalna charakterystyka dziedziny rozważań jako podstawa indeksu rzeczowegoStudia Semiotyczne 3 85-101. 1972.
-
34A Jaśkowski-style system of computer-assisted reasoningIn Jan Wolenski (ed.), Philosophical Logic in Poland, Kluwer Academic Publishers. pp. 85--101. 1994.
-
„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
-
66Universal 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
-
1Categorial GrammarStudia Logica 50 (1): 171-172. 1991.1 Recognition Device........................................ 3 2 Classical Categorial Grammar............................... 4 3 Classical Categorial Grammar. Examples..................... 5 4 Logic Grammar........................................... 8 5 Lambek calculus. Examples................................ 9 6 Lambek calculus. Semantics................................ 11 7 Lambek calculus. Advantages............................... 12 8 Derivations.............................................…Read more
-
Problem reprezentacji arytmetycznej rozumowań zapisywanych w kodzie neuronowymArcheus. Studia Z Bioetyki I Antropologii Filozoficznej 1 173-190. 2000.
-
La formalisation informatique comme reconstruction du raisonnement déductifStudia Filozoficzne 277 167-174. 1988.
-
14Why Is the Western Civilization Developing Towards UniversalityDialogue and Universalism 12 (3): 31-47. 2002.There is a lot of fuzziness about the concept of civilization, and this is why the paper starts from an attempt to clarify this concept. This consists in selecting one entity which is commonly acknowledged as a system of civilization, examining its main features, and then exemplifying how to define them operationally. These features are treated as if they were answers to certain questions. Now other systems can be addressed with the same questions; if a system is able to answer them, in this way…Read more
-
Formalizacja informatyczna jako rekonstrukcja praktyki dowodowejStudia Filozoficzne 277 (12). 1988.
-
58A study of intelligence guided by mechanization of reasoningGlobal Philosophy 8 (1-3): 429-454. 1997.