LOGIKA WSPÓŁCZESNA CALCULEMUS

ZASTOSOWANIA Klasycznego Rachunku Zdań

ten wynalazek starożytnych Greków służy zarówno nauce jak i demokracji, a więc podstawom tej cywilizacji, która staje się dziś globalną. (zob. W.Marciszewskiego Sztuka dyskutowania, 1996, odcinek 3).

Teoria logiczna, nim osiągnęła obecną dojrzałość przechodziła przez fazy burzliwych dyskusji (antynomie, program Hilberta etc). Obecnie daje nam ona pewność wyników, a więc intelektualne bezpieczeństwo, i tym sensie jest już bezdyskusyjna. Jej zastosowania natomiast są wciąż jeszcze terenem pionierskim i spornym. Postępy zależą tu od wiedzy, doświadczenia i wyobraźni które są różne u różnych ludzi. Będą więc rzeczą naturalną konfrontacje i żywe dyskusje, gdy staje się przed przypadkami konkretnych zastosowań.

• 1. Algorytm kontroli wnioskowań
  na przykładzie pewnej akcji sowieckiego wywiadu wojskowego.

• 2. O tym, że nie należy mylić implikacji z równoważnością
  na przykładzie (negatywnym) pewnego orzeczenia sądowego.

• 3. Jak formułować klauzule warunkowe
  uwzględniając rodzaje zdań warunkowych, porównane z implikacją klasyczną.