Znaki logiczne w logice oraz w sformalizowanych wersjach języka naturalnego

Abstract

Motywem napisania tej rozprawy była chęć zdefiniowania pojęcia stałej logicznej, nazywanej przez autora konsekwentnie znakiem logicznym bądź symbolem logicznym. Pojęcie to nigdy nie było rozumiane w sposób jednoznaczny, zarówno co do treści, jak i co do zakresu. Na sposób jego formułowania wpływało bowiem różne, u poszczególnych autorów, rozumienie terminu logika. W historii rozwoju nauki zwanej logiką powstała bardzo duża liczba mniej lub bardziej sformalizowanych teorii, które pretendowały do tej nazwy. Nie było jednak i nadal nie ma zgody co do zawartości logiki, mimo że za uznaniem pewnej teorii za logikę, a co za tym idzie, pewnych jej symboli za znaki logiczne, przemawia dość wyraźna intuicja. Intuicja ta nazywana przez autora logicznością bywa określana najczęściej za pomocą terminów: bezkontekstowość, niezależność tematyczna, uniwersalność bądź ogólność. Niestety, jest ona na tyle wieloznaczna i niejasna, że chociaż była niemal powszechnie akceptowana, rozumiano ją często w różny sposób. Formułowane przez badaczy kryteria logiczności będę traktował jako rezultaty eksplikacji wymienionych intuicji.