|
W haśle Calculemus! Leibniz zawarł
projekt przyszłej nauki. Konstrukcją zaś swego kalkulatora uczynił
historyczny krok w tym kierunku. Stąd wiodła droga do obmyślonej genialnie
przez Turinga (po prawej) uniwersalnej maszyny do
rozwiązywania problemów. Dziś materializuje się ona w
komputerach cyfrowych. Myśl Leibniza dopełnił Gödel (po lewej) swym
przełomowym odkryciem: jak mają współdziałać maszyny i twórcze umysły, żeby
w tej interakcji wspólnie osiągać coraz większe i większe moce obliczeniowe,
nieodzowne dla rozwoju cywilizacji.
Wokół tych spraw obracają się liczne wątki podejmowane w
serwisie www.calculemus.org -- wspieranym przez Fundację na rzecz Informatyki, Logiki
i Matematyki.
- Strona domowa wydawcy tego serwisu - Witolda Marciszewskiego.
[Witold Marciszewski's (the Editor of this Site) Personal Page.]
- 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.]
- Zespół do Spraw Etyki w Nauce
Zespół przy Ministrze Nauki i Szkolnictwa
wyższego, powołany w lipcu 2009.
- 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.
- Niektóre konferencje organizowane przez wydawcę
tej witryny [Some conferences organized by the Editor of this
Site].
- 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".
|
|
To the top of this page
|
