• Organizacja semantyczna tekstu
    Studia Semiotyczne 6 105-124. 1975.
  • 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
  •  66
    Universal Spaces for Classes of Scattered Eberlein Compact Spaces
    with Murray Bell
    Journal 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&ltκ, 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
  • Sposoby streszczania i odmiany streszczeń
    Studia Semiotyczne 1 151-167. 1970.
  • Davida Hume'a empirystyczna teoria sądu
    Studia Semiotyczne 2 115-137. 1971.
  • Problem reprezentacji arytmetycznej rozumowań zapisywanych w kodzie neuronowym
    Archeus. Studia Z Bioetyki I Antropologii Filozoficznej 1 173-190. 2000.
  •  1
    Categorial Grammar
    with Wojciech Buszkowski and Johan van Benthem
    Studia 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
  •  14
    Why Is the Western Civilization Developing Towards Universality
    Dialogue 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
  •  58
    A study of intelligence guided by mechanization of reasoning
    Global Philosophy 8 (1-3): 429-454. 1997.
  • Problem istnienia przedmiotów intencjonalnych
    Studia Semiotyczne 4 189-206. 1973.