• Logic and experience in the light of dialogic logic
    Bulletin of the Section of Logic 12 (4): 173-178. 1983.
    There seems to be something mysterious about applications of for- mal systems, including those of logic, to empirical reality 1 . If logic is to be applied to empirical situations, like those described in an ordinary lan- guage, then { it seems to some people { its statements cannot be necessary, or analytic, propositions. However, they are both applicable and necessary. This supposed puzzle constitutes a signicant part of the problem of philo- sophical foundations of logic 2 . To this mind of t…Read more
  •  9
    A Jaśkowski-style system of computer-assisted reasoning
    In Jan Wolenski (ed.), Philosophical Logic in Poland, Kluwer Academic Publishers. pp. 85--101. 1994.
  •  36
    Rational beliefs as produced by computational processes
    Foundations 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
  • Mała encyklopedia logiki
    Studia Logica 49 (4): 609-610. 1990.
  •  42
    Would Leibniz have shared von Neumann's logical physicalism?
    Logic and Logical Philosophy 3 (n/a): 115-128. 1995.
    This paper represents such an amateur approach; hence any comments backed up by professional erudition will be highly appreciated. Let me start from an attempt to sketch a relationship between professionals’ and amateurs’ contributions. The latter may be compared with the letters to the Editor of a journal, written by perceptive readers, while professionals contribute to the very content of the journal in question. Owing to such letters, the Editor and his professional staff can become more awar…Read more
  • Categorial Grammar
    with Wojciech Buszkowski and Johan van Benthem
    Studia Logica 50 (1): 171-172. 1991.
  •  19
    On Accelerations in Science Driven by Daring Ideas: Good Messages from Fallibilistic Rationalism
    Studies 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