In this paper I present four interpretations of so-called negative theology and provide a number of attempts to model this theory within a formal system. Unfortunately, all of them fail in some manner. Most of them are simply inconsistent, some contradict the usual religious praxis and discourse, and some do not correspond to the key theses of negative theology. I believe that this paper shows how challenging this theory is from a logical perspective.

An interview with Charles McCarty by Piotr Urbańczyk concerning mathematical explanation.

The aim of this article is to indicate that the ideas of Leonardo Torres y Que­vedo presented in his short Essays on Automatics constitute essential link between early Babbage’s concepts of analytical engine and modern computer science. These ideas include definition of automatics, classification of automata, theoretical basis for robotics, electromechanical engineering, modern concept of chatbot, the importance of algorithm and last but not least floating point arithmetic.

Copernicus Festival, held annually, aims to demonstrate various dimensions of the relationship between science and culture. The third edition of the festival was devoted to the concept of beauty. During the six days of the festival about 7 thousand people took part in lectures, debates, discussions, workshops, concerts and other events.

Copernicus Festival, held annually, aims to demonstrate various dimensions of the relationship between science and culture. The third edition of the festival was devoted to the concept of beauty. During the six days of the festival about 7 thousand people took part in lectures, debates, discussions, workshops, concerts and other events.

This paper provides moderate criticism of so-called normative theories of thinking and reasoning. The discussion focuses on the problems of idealization, adequacy, inconsistent yet non-trivial logics, logical omniscience etc. I called them “internal” to the normative approach, because they stem from the very properties of formal systems used to model these two human activities. Some arguments, however, refer to the current theories in cognitive science, including those which are developed within “descriptive” framework.

The aim of this article is to indicate that the ideas of Leonardo Torres y Que­vedo presented in his short Essays on Automatics constitute essential link between early Babbage’s concepts of analytical engine and modern computer science. These ideas include definition of automatics, classification of automata, theoretical basis for robotics, electromechanical engineering, modern concept of chatbot, the importance of algorithm and last but not least floating point arithmetic.

The 20 th Cracow Methodological Conference took place on May 30-31, 2016, at the Polish Academy of Arts and Sciences in Kraków. The meeting brought together physicists, cosmologists, mathematicians and philosophers interested in research program called philosophy in science started and popularized by Michał Heller. It is worth noting that the 20 th Cracow Methodological Conference was dedicated to Professor Heller and can be considered as a contribution to the celebration of the 80 th anniversary of his birthday.

The 20 th Cracow Methodological Conference took place on May 30-31, 2016, at the Polish Academy of Arts and Sciences in Kraków. The meeting brought together physicists, cosmologists, mathematicians and philosophers interested in research program called philosophy in science started and popularized by Michał Heller. It is worth noting that the 20 th Cracow Methodological Conference was dedicated to Professor Heller and can be considered as a contribution to the celebration of the 80 th anniversary of his birthday.