Aristoteles celou svou IV. knihu Metafyziky (s výjimkou dvou kapitol) věnuje obhajobě objektivní platnosti principu sporu jakožto metafyzickému principu, který označuje za nejjistější ze všech principů (Aristoteles, 2008). Přesvědčení o jeho jistotě však nesdílí australský filosof a logik Graham Priest se svou teorií parakonzistentního dialetheismu, v níž odmítá princip exploze jako nutný závěr kontradiktorních premis, a naopak přijímá pravdivost některých kontradikcí (Priest, 2006). Vytvoření nového logického systému není nikterak kontroverzním podnikem, neboť dokládá trend logického pluralismus, který spolu s pluralismem ontologickým, není obecně vyloučeným fenoménem. Předmětná oblast (doména) totiž determinuje sémantiku příslušné logiky (Dvořák, 2016), a proto je produkce nových logik patřičnou reakcí na problémy vzniklé na určité doméně. Na místě je ale otázka, zda k jejich řešení nepostačí syntaktická či sémantická modifikace klasických logických systémů.

Cílem mého příspěvku je snaha podat odpověď na tuto otázku v rámci domény neurčitosti, v jejíž konfrontaci budu uvažovat nutnost principu sporu. Konkrétně půjde o neurčitost výroků o budoucnosti a o predikáty s nepřesně stanoveným rozsahem. V obou případech předložím řešení založené na sémantickém rozšíření klasické výrokové, resp. predikátové logiky o další pravdivostní hodnoty. Zatímco při aplikaci tohoto rozšíření na výroky o budoucnosti vyjdou najevo některé negativní důsledky jako jsou porušení zákona o vyplývání, ztráta pravdivostní funkčnosti apod., v oboru vypovídání vágních predikátů nebivalentní logický aparát ukáže, že je způsobilý lépe zachytit intuici neostré skutečnosti.

Klíčová slova: princip sporu, parakonzistentní dialetheismus, neurčitost, vícehodnotové logiky

Reference:

Bělohlávek, R. (2019). Fuzzy logika. Matematika–Fyzika–Informatika, 28(2), 127–149.

Dvořák, P. (2016). Logika onticky neurčitých domén: Jsou logické pravdy nahodilé? Togga.

Fraassen, B. van (1966). Singular Terms, Truth-Value Gaps, and Free Logic. The Journal of Philosophy, 63(17), s. 481-495.

Łukasiewicz, J., Borkowski, L. (ed.) (1970). Selected works. North-Holland Publishing Company.

Priest, G. (2006). In Contradiction: A Study of the Transconsistent. Oxford University Press.