Gottfried Wilhelm Leibniz (1646-1716), wynalazca kalkulatora na cztery działania i arytmetyki binarnej, wierzył niezachwianie, że dzięki postępom techniki obliczeniowej i logiki każdy problem naukowy będzie rozwiązywalny rachunkowo.

Stąd, jego hasło CALCULEMUS przyjęto za nazwę tej domeny, prowadzonej przez Witolda Marciszewskiego Znaczne jej partie poświęca się mechanicznej rozwiązywalności problemów, rozważanej w przeciwstawieniu do rozwiązań osiąganych za sprawą intuicji i pomysłowości. Niezrównani w tym przewodnicy to Kurt Gödel (z lewej) i Alan Turing (z prawej).

Cafe Aleph, oraz blog akademicki Polemiki i Rozmówki. Są to zintegrowane witryny, które stanowią łącznie forum dyskusyjne dla tematów na przecięciu filozofii z informatyką i logiką oraz zorientowanej informatycznie filozofii z problematyką polityczną i gospodarczą.

Cafe Aleph - Nowa wersja, będąca aktualnie (marzec 2013) w przygotowaniu, pod kątem ściślejszego zintegrowania z blogiem "Polemiki i Rozmówki".

"Our Pub" Library and the academic blog "Our Pub". Jointly, they form integrated sites providing a forum for questions belonging to the intersection of philosophy with logic and compuer science, and the intersection of computationally oriented philosophy with political and economic issues, esp. those concerning Europe.

Lectorium Warsztat dydaktyczny (sylabusy, wykłady, zadania, odesłania do literatury), głównie z zakresu logiki i metodologii nauk społecznych. [Topics in logic, methodology of social sciences, political philosophy etc: syllabuses, lectures, exercises, links and references; partly in English.]

Alfred Tarski, "Wprowadzenie do logiki i do metodologii nauk dedukcyjnych", Warszawa 1994. Klasyczna pozycja podręcznikowej literatury logicznej w przekładzie z angielskiego oryginału z roku 1994. Aktualnie upowszechniana w formacie elektronicznym wraz z aneksem od redaktora wydania polskiego poświęconym logice predykatów (dział nie uwzględniony w oryginale).
[A classical textbook on logic, now in electronic format, translated into Polish (1994) from the original "Introduction to Logic and to the Methodology of the Deductive Sciences", 1994; with the Anex, concerning predicate logic, by the Editor of Polish version.]



STRONY ARCHIWALNE [ARCHIVE PAGES]

  • Wybrane publikacje Witolda Marciszewskiego w formacie elektronicznym.

  • Mathesis Universalis. On Logic, Mind and Complex Systems: Web Guide and Dialog Forum. Appeared in 1996-2002.

  • Serwis Edytorski czasopisma Studies in Logic, Grammar and Rhetoric ukazującego się pod auspicjami Polskiego Towarzystwa Logiki i Filozofii Nauki. [Editorial messages concerning the mentioned journal which appears under the auspices of Polish Association for Logic and Philosophy of Science. Free access to the Studies on line.

  • Konferencje (wybór najważniejszych) od roku 2002 organizowane lub współorganizowane przez właściciela tej domeny. [Conferences organized with a considerable contribution of this domain's owner].

  • 2012: IX Polski Zjazd Filozoficzny. Strona sieciowa Zjazdu.

  • LogBank. Some facts concerning logic collected in the period 1995-1998.

  • Witold Marciszewski: "Szkice do współczesnej metodologii nauk społecznych". Książka internetowa. Wyd. Fundacja na rzecz Informatyki, Logiki i Matematyki, Warszawa 2002. [Essays in the Modern Methodology of the Social Sciences].

  • Forum Logiki, Informatyki i Filozofii Nauki. [Forum for Logic, Informatics and Philosophy of Science].

  • Komitet Nauk Filozoficznych PAN (kadencja 2000-2003). [Philosophical Committee, Polish Academy of Sciences]. Zawiera odsyłacze do serwisów dotyczących filozofii w Polsce.

  • Fundacja na rzecz Informatyki, Logiki i Matematyki.


    The call CALCULEMUS (let's compute) sums up Gottfried Wilhelm Leibniz's (1646-1716) approach to arguments. It encourages those engaged in a dispute to turn arguments into computing. In this enterprise, they may enjoy assistance of a reasoning machine. Leibniz believed that such a machine can be constructed on the basis of a calculating machine, because - anticipating modern logic - he identified reasoning with computing.

      The picture above presents Leibniz's mechanical calculator which was capable (unlike the earlier machines of Schickard and of Pascal) also of multiplying and dividing; nowadays it is kept in Leibniz's House in Hannover. Leibniz was very proud of his invention, and once he thought of commemorating it with a medal bearing the motto Superior to Man. Though much exaggerated, such a motto might have expressed the idea that, when starting from such a simple prototype, one could gradually attain the level of most advanced reasonings to be carried out by machines (as presently hoped by strong AI). It was also Leibniz who invented binary arithmetic, and so much praised that achievement that designed a medal with the following inscriptions: the model of creation discovered by G.W.L, and one is enough for deriving everything from nothing.

    By choosing this picture as the logo and calculemus as the motto of this domain, one endorses Leibniz's insight as to the power of computing.

    Within this domain there is also a store of documents (English, German, Polish) Aera Informatica concerning information society. This section contains the journal (Polish) Kurier Polityczny which appeared in 1996-1997 to support the ideas of the party "Unia Wolnosci".


    To the top of this page