Scientific knowledge is acquired according to some paradigm. Galileo wrote that the “book of nature” was written in mathematical language and could not be understood unless one first understood the language and recognized the characters with which it was written. It is argued that Turing planted the seeds of a new paradigm. According to the Turing Paradigm, the “book of nature” is written in algorithmic language, and science aims to learn how the algorithms change the physical, social, and human universe. (...) Some sources of the Turing Paradigm are pointed out, and a few examples of the application of the Turing Paradigm are discussed. (shrink)

Concepts of infinity have been subjects of dispute since antiquity. The main problems of this paper are: is the mind able to acquire a concept of infinity? and: how are concepts of infinity acquired? The aim of this paper is neither to say what the meanings of the word “infinity” are nor what infinity is and whether it exists. However, those questions will be mentioned, but only in necessary extent.

Artificial Intelligence, both as a hope of making substantial progress, and a fear of the unknown and unimaginable, has its roots in human dreams. These dreams are materialized by means of rational intellectual efforts. We see the beginnings of such a process in Lullus’s fancies. Many scholars and enthusiasts participated in the development of Lullus’s art, ars combinatoria. Amongst them, Athanasius Kircher distinguished himself. Gottfried Leibniz ended the period in which the idea of artificial intelligence was shaped, and started the (...) new period, in which artificial intelligence could be considered part of science, by today’s standards. (shrink)

Infinity and negation are in various relations and interdependencies one to another. The analysis of negation and infinity aims to better understanding them. Semantical, syntactical, and pragmatic issues will be considered.

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)

We ask which ideas of cognitive science have their roots in traditional logic, grammar and rhetoric.We also emphasize the presence of cognitive science in the pages of Studies in Logic, Grammar and Rhetoric since its very beginning.

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 well known Master Argument of ancient Stoic logician Diodorus Cronus is an argument in favour of the philosophical doctrine of fatalism. Perhaps in antiquity this argument was a subject of the most celebrated controversy about temporal truth and modality. This argument is a subject of logical analysis, especially in connection with temporal logic, also today. 1 The most elegant tense-logical formulation of the Master Argument has been given by A. N. Prior. Discreteness and irreflexivity of time are semantical assumptions (...) of Prior’s formulation of the argument. The assumption of discreness is troublesome. 2 The problem of this assumption is a subject of M. J. White’s paper “The Necessity of the Past and ModalTense Logic Incompleteness”. 3. (shrink)

Leibniz zamierzał stworzyć lingua characteristica universalis – język, w którym dałaby się zapisać wszelka wiedza, oraz calculus ratiocinator – metodę umożliwiającą rachunkowe określenie prawdziwości dowolnego zdania tego języka. Taka idea leży u podstaw współczesnej logiki. Taka idea w odniesieniu do poprawności sprzętu i programów leży u podstaw metod logicznych weryfikacji systemów informatycznych.Dziś widzimy, że dalszy rozwój informatyki zależy istotnie od postępu badań logicznych, a logika – ta starożytna dyscyplina – znalazła nowe bogate pole dociekań, zyskała nowe perspektywy badań. Jej zastosowania (...) mogą mieć tak znaczący wymiar praktyczny, o jakim nie śniło się filozofom. (shrink)

In the introduction to the volume on negation, first the source ways of understanding it from antiquity to modern times are presented, as well as the basic points of contention connected with it. Subsequently, the works contained in this volume are briefly presented in the order in which they appeared.

Examples of possible theological influences upon the development of mathematics are indicated. The best known connection can be found in the realm of infinite sets treated by us as known or graspable, which constitutes a divine-like approach. Also the move to treat infinite processes as if they were one finished object that can be identified with its limits is routine in mathematicians, but refers to seemingly super-human power. For centuries this was seen as wrong and even today some philosophers, for (...) example Brian Rotman, talk critically about “theological mathematics”. Theological metaphors, like “God’s view”, are used even by contemporary mathematicians. While rarely appearing in official texts they are rather easily invoked in “the kitchen of mathematics”. There exist theories developing without the assumption of actual infinity the tools of classical mathematics needed for applications. Conclusion: mathematics could have developed in another way. Finally, several specific examples of historical situations are mentioned where, according to some authors, direct theological input into mathematics appeared: the possibility of the ritual genesis of arithmetic and geometry, the importance of the Indian religious background for the emergence of zero, the genesis of the theories of Cantor and Brouwer, the role of Name-worshipping for the research of the Moscow school of topology. Neither these examples nor the previous illustrations of theological metaphors provide a certain proof that religion or theology was directly influencing the development of mathematical ideas. They do suggest, however, common points and connections that merit further exploration. (shrink)

Building on our diverse research traditions in the study of reasoning, language and communication, the Polish School of Argumentation integrates various disciplines and institutions across Poland in which scholars are dedicated to understanding the phenomenon of the force of argument. Our primary goal is to craft a methodological programme and establish organisational infrastructure: this is the first key step in facilitating and fostering our research movement, which joins people with a common research focus, complementary skills and an enthusiasm to work (...) together. This statement—the Manifesto—lays the foundations for the research programme of the Polish School of Argumentation. (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 ...

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.

The article reviews the book Einführung in die Erkenntnistheorie [Introduction to Theory of Knowledge], by Gerhard Ernst.

In this paper I seek to analyse the following question: how is it that I am able, today, to succeed in fulfilling my goals? My analysis will, I hope, demonstrate that virtues are important because they facilitate this sort of fulfilment. An examination of the classical notion of virtue is thus called for, and this in turn suggests that, at least in certain cases, virtue is connected with luck—that these two belong together. This points towards a new form of contemporary (...) virtue ethics, whose distinctive character will be reflected in the particular significance it invests in the concepts of “qualification” and “competence.” Finally, we are led to Wittgenstein's assertion that “The world of the happy person is other than the world of the hapless person.”. (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)

Ziel des vorliegenden Aufsatzes ist es, die Existenz von eventuellen Berührungspunkten zwischen Wittgenstein und Ingarden nachzuweisen. Nach einer kurzen Einführung wird anfangs der Hintergrund der Analyse des Problems formuliert. Darauf hin werden die Positionen Wittgensteins Ontologie mit wenigen Begriffen und Ingardens dreistufige Ontologie jeweils skizzenhaft dargestellt und kritisch auf das Vorhandensein von gemeinsamen Grundlinien geprüft. Als Gesichtspunkte gelten dabei folgende Begriffe: Ontologie, Welt und Mensch, Sprache und Ästhetik. Abschließend werden die charakteristischen Merkmale von Berührungspunkten genannt.

Ziel des Aufsatzes ist es, einige relevante Sachverhalte aus der Philosophie Descartes' hervorzuheben, welche die Entwicklung der Leib-Seele-Problem-Debatte maßgeblich geprägt haben. Aus der Sicht gegenwärtiger philosophischer Debatte wird die Fundierung des ontologischen Dualismus Descartes' aufgewiesen, um schließlich diesen Standpunkt einer kritischen Würdigung zu unterziehen—mit dem Blick auf eine Zukunftsperspektive. Das methodische Verfahren nimmt Rücksicht sowohl auf den Bereich a priori als auch den a posteriori.

Artykuł jest próbą wyodrębnienia i ogólnego opisu aspektów filozoficznych, zawartych w teorii duchowości ekologicznej papieża Franciszka oraz porównania ich z myślą tomistyczną, rozwijaną przez jej polskich przedstawicieli w czasach współczesnych. Aspekty te dostrzeżono na gruncie wielu dyscyplin filozoficznych, ponieważ w tego typu duchowości chodzi o stosunek człowieka do najogólniej pojętej rzeczywistości realnej, czyli do samego siebie, przyrody, kultury i religii. W toku analizy obu stanowisk zauważono liczne analogie, a także pewne rozbieżności w sposobie widzenia przyrody, osoby ludzkiej, kultury oraz religii, (...) które przynajmniej częściowo można tłumaczyć niejednoznacznością niektórych sformułowań papieskich. -------------- Zgłoszono: 19/08/2020. Zrecenzowano: 26/09/2020. Zaakceptowano do publikacji: 18/10/2020. (shrink)

W artykule poruszono problem perspektyw rozwoju, a tym samym przyszłości filozofii tomistycznej na podstawie sytuacji w Polsce. Otóż taką szansę widzi się dla tej filozofii w badaniach bardziej partykularnych, znajdujących się poza głównym obiektem zainteresowań metafizyki ogólnej. Każdorazowo przybierają one postać metafizyk szczegółowych i stosowanych. Pierwsza z nazw nawiązuje do zawężonego pola badań, druga natomiast jest uzasadniona korzystaniem z dorobku innych nauk filozoficznych, bardziej podstawowych, włącznie z metafizyką ogólną. Metafizyki tego rodzaju stanowią szeroko pojęte studium tego, co jest najbardziej fundamentalne (...) nie dla bytu jako takiego, ale dla wszelkich podstawowych typów przedmiotów w sferze natury i kultury. Nie stanowią one jednak alternatywy dla metafizyki ogólnej, która bada rzeczywistość w wymiarze transcendentalnym, ponieważ korzystając z jej dorobku, zachowują z nią łączność oraz stanowią jej konieczne dopełnienie. Jako zaś typowe dyscypliny filozoficzne, dające możliwość rozwijania owych metafizyk, podano w artykule filozofię przyrody, antropologię filozoficzną oraz dwie formy filozofii ludzkiego działania, czyli religię i moralność. W ich przypadku wskazywano zarówno na tematy już podjęte przez wielu przedstawicieli myśli tomistycznej w Polsce oraz na te, jakie są możliwe do podjęcia. Realizacja tych form metafizyki odpowiada nie tylko strukturze rzeczywistości pluralistycznej i jednocześnie powiązanej ze sobą szeregiem zależności, ale też problemom aktualnym, nowym, wymagającym ujęcia gruntownego i całościowego, jakie stwarza dopiero perspektywa metafizyczna, rozpatrywana z pozycji filozofii tomistycznej. (shrink)