Formalizacja boolowska i intuicjonistyczna logiki heglowskiej

Abstract

Istnieją, jak wiadomo liczne próby formalizacji logiki Hegla. Jak to jednak pokazuje autor, wiele z nich nie osiąga celu do jakiego zmierza formalizacja. Tym, który w rzeczywistości uwzględnia rzeczywistość tekstu Hegla, jest wedle autora D. Dominique Dubarle. W swej pracy (logique et dialectique, Paris 1972) przyjmuje on, że istnieje odpowiedniość między logiką heglowską i logiką Boel’a. Autor formułuje krytyczny komentarz do tego przedsięwzięcia. Trudności, jakie się pojawiają, skłaniają autora do sformalizowania racjonalnego jądra dialektyk i heglowskiej przy wykorzystaniu logiki intuicjonistycznej.