Scholarly dissertations dealing with the Jesuit educational system in Poland would more frequently emphasize the aspects of its decline rather than those of its prosperity. More recent research, however, based on numerous sources, enables one to see this system in a new, more objective light as well as giving an unbiased picture of the situation. Written by Roman Darowski SJ, eminent specialist in scholastic philosophy, it is the first work to be devoted to the philosophy of Polish Jesuits, which was (...) inseparable from their scholarly and didactic activities. It spans the last three decades of the sixteenth century and a few years of the seventeenth century, i.e. the beginning of the activity of the Societas Jesu in this country. (shrink)

. ACT, CONTENT, AND OBJECT OF THE PRESENTATION It is one of the best known positions of psychology, hardly contested by anyone, that every mental phenomenon ...

When asked in 1962 on what he was working Kazimierz Ajdukiewicz replied: Several years ago Polish Scientific Publishers suggested that I pre pare a new edition of The Logical Foundations of Teaching, which I wrote 1 before 1939 as a contribution to The Encyclopaedia of Education. It was a small booklet covering elementary information about logical semantics and scientific methodology, information which in my opinion was necessary as a foundation of teaching and as an element of the education of (...) any teacher. When I recently set to preparing the new edition, I rewrote practically everything, and a booklet of some 100 pages swelled into a bulky volume almost five times bigger. The issues have remained practically the same, but they are now analysed much more thoroughly and the threshold of difficulty is much higher now. The main stress has been laid on the methods used in the empirical sciences, and within that field, on the theory of measurement and the methods of statistical inference. I am now working on the last chapter of the book, concerned with explanation procedures and theory construction in the empirical sciences. When that book, which I intend to entitle Pragmatic Logic, is com pleted I intend to prepare for the press Vol. 2 of my minor writings, 2 Language and Cognition, which will cover some of my post-war pa pers. (shrink)

In the paper some varieties E s n of BCK-algebras with condition defined by W. H. Cornish [1] are considered. A characterization of simple algebras in E s 2 is given and some properties of simple algebras in E s 3 are indicated.

Autor tworzy strukturę Peryta, która posiada tę właściwość, iż środkiem świata jest miejsce wybrane przez obserwatora co zmienia charakter zjawisk geometrycznych, w tym perspektywy.

The first volume of the first Ordo of the Amsterdam edition of the Latin texts of Erasmus contains a general introduction, and presents Erasmus’ attack on barbarious Latin, a commentary on Ovidius’ poem Nux , as well as Erasmus’ Latin translations of Euripides’ Hecuba and Iphigenia , declamations of Libanius, and works by Lucianus and Galenus.

The position of Polish informatics, as well in research as in didactic, has its roots in achievements of Polish mathematicians of Warsaw School and logicians of Lvov-Warsaw School. Jan Lukasiewicz is considered in the world of computer science as the most famous Polish logician. The parenthesis-free notation, invented by him, is known as PN (Polish Notation) and RPN (Reverse Polish Notation). Lukasiewicz created many-valued logic as a separate subject. The idea of multi-valueness is applied to hardware design (many-valued or fuzzy (...) switching, analog computer). Many-valued approach to vague notions and commonsense reasoning is the method of expert systems, databases and knowledge-based systems. Stanis3aw Jaokowski's system of natural deduction is the base of systems of automatic deduction and theorem proving. He created a system of paraconsistent logic. Such logics are used in AI. Kazimierz Ajdukiewicz with his categorial grammar participated in the development of formal grammars, the field significant for programming languages. Andrzej Grzegorczyk had an important contribution to the development of the theory of recursiveness. (shrink)

The volume contains almost thirty papers by Kazimierz Twardowski , the founder of the Lvov-Warsaw School. The papers are published in English for the first time. The papers concern fundamental problems of philosophy: the methods of philosophizing, the boundary of psychology and semiotics, the conceptual apparatus of metaphysics, ethical skepticism, the question of free will and ethical obligation, the aesthetics of music and so on. The systematic considerations are complemented by concise but excellent sketches of the philosophical views of (...) Socrates, Aquinas, Leibniz, Spencer, Nietzsche, and Bergson. (shrink)

Leibniz may be considered as the first computer scientist. He made major contributions to engineering and information science. He invented the binary system, fundamental for virtually all modern computer architectures. He built a decimal based machine that executed all four arithmetical operations and outlined a binary computer. The concepts of lingua characteristica (formal language, programming language) and calculus ratiocinator (formal inference engine or computer program) are the base of the modern logic and information science. Leibniz was groping towards hardware and (...) software concepts worked out much later by Charles Babbage and Ada Lovelace. He anticipated the universal Turing machine. (shrink)

The text, first published here in virue of the survived original typescript, contains an outline of the sersies of lectures delivered by the founder of Lvov-Warsaw School in 1908 at John Casimir University. The notions like „thinking”, „presentation”, „memory”, „association” are objects of his minute inquiry.

During the first semester of the academic year 1930/31 in the John Casimir University in Lvov Kazimierz Ajdukiewicz delivered a series of lectures on logical semantics. In eight of them, now published for the first time, he presents - in the very clear manner - his fractional method of identifying syntactic categories, and he shows how to use this method to eliminate the antynomies of classes, relations and properties. The Ajdukiewiczian method had been appreciated among logicians and it is (...) considered widely one of the starting points of so-called categorial grammars. (shrink)

A simple, journalist scheme indicates that knowledge qualif‌ied to be scientif‌ic directly and fundamentally changes – thanks to its technological applications – the social world. The author presents arguments indicating that things are not that simple for several reasons.Firstly, historians of science argue that many fundamental technologies were created without a clear reference to scientif‌ic knowledge, and the knowledge accumulated by technologists often arises outside the areas of scientific theory. Secondly, we also know that what is technically possible is not (...) necessarily socially possible – not least because of costs, cultural constraints or social practices that we are not willing to give up. Thirdly, it is increasingly clear that the increase in scientif‌ic knowledge is primarily the result of the decision to allocate more and more resources to applied research. This means, however, that the pursuit of knowledge results not so much from the pressure to seek scientif‌ic truth, but from the values that we consider important. Fourthly, this leads to a reorientation in science, which allows contesting the thesis about the objectivity of scientif‌ic cognition in various ways: due to methodological disputes conducted by philosophers of science, the so‑called ‘scientif‌ic method’ does not guarantee the objectivity of scientif‌ic cognition. Consequently, the Enlightenment vision of science, which collapsed under the pressure of post-modernism, ceases to be the basic frame of reference on which we try to improve our collective life. We need this frame only when we cannot imagine this life without appealing to authorities that allow the resolution of essentially undecidable disputes. (shrink)