Wita nas wizerunek Alana Turinga, mistrza problematyki obliczalności, oraz Adama Smitha, który pierwszy dostrzegł moc obliczeniową Niewidzialnej Ręki.

We are greeted with the pictures of Alan Turing, a great master of the issues of computability, and Adam Smith who was the first to realize the computational power of Invisible Hand.

• Strona osobista Witolda Marciszewskiego - wydawcy witryny "calculemus.org". [Witold Marciszewski's (the Editor of this Site) Personal Page.]

  

• Remedia Ignorantiae Forum edukacyjne myśli liberalnej.
  [Educational Forum of Liberal Thought]

• 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.]

• 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 Web version.]

• Konferencje organizowane lub współorganizowane przez wydawcę tej witryny [Conferences organized or co-organized by the Editor of this Site].
  • 2008: VIII Polski Zjazd Filozoficzny, Warszawa, 15-20 września 2008 roku

  • 2007: Europejski duch przedsiębiorczości [The European Spirit of Business] Sesja Towarzystwa Naukowego Warszawskiego w ramach II Warsztatów Filozofii Politycznej im. Stanisława Staszica (Białystok, siedziba WSAP im.St.Staszica, 9-10.XI.2007).

  • 2006: Wolność i Tolerancja. [Freedom and Tolerance]. I Warsztaty Filozofii Politycznej im. Stanisława Staszica. Pod auspicjami Grupy Europejskiej Partii Ludowej i Europejskich Demokratów Parlamentu Europejskiego. Białystok, 9-10 listopada 2006, Wyższa Szkoła Administracji Publicznej im. Stanisława Staszica.

  • 2004: Nowoczesny racjonalizm i jego adwersarze. Panel na VII Polskim Zjeździe Filozoficznym, Szczecin 14-18.09.2004. [Modern Rationalism and Its Adversaries. A panel at VII Polish Philosophical Congress.]

  • 2003: Moc obliczeniowa dla badań społecznych. Idee von Neumanna. [In John von Neumann's Birth Centenary - Computational Power for Social Research. Von Neumann's Hints. ]

  • 2002: Wolny Rynek jako System Przetwarzania Informacji. Z problematyki algorytmizacji w badaniach społecznych. [In F.Hayek's 10th Death Anniversary - Free Market as Information-Processing System. On the Problem of Algorithmization in Social Research]. Plik zawiera odsyłacze do wcześniejszych Warszatów Logiki etc.
    • w stulecie urodzin Emila Posta, 1997
    • w pół wieku po raporcie Turinga "Intelligent Machinery", 1998
    • W wigilię stulecia odczytu Davida Hilberta "Mathematische Probleme", 1999
    • W stulecie Drugiego Problemu Hilberta, 2000.

• Mathesis Universalis. On Logic, Mind and Complex Systems: Web Guide and Dialog Forum. Appeared in 1996-2002; since 2002 not continued. LogBank. An archive of items related to logic up to 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.

  
  

  

  

  

  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".