Wartość logiczna – podstawowa cecha zdania określająca jego stosunek do faktów.
W logice klasycznej każde zdanie może przyjąć tylko jedną z dwóch wartości logicznych[1]:
- prawda – czyli zgodność zdania ze zbiorem faktów, oznaczana tradycyjnie znakiem „1”,
- fałsz – czyli niezgodność zdania ze zbiorem faktów, oznaczana tradycyjnie znakiem „0”.
Jednak w rozmaitych systemach logiki nieklasycznej pojawią się też inne wartości.
W logice rozmytej (Fuzzy Logic) będącej próbą sformalizowania matematycznego rozumowania indukcyjnego zamiast prostego „prawda i fałsz” występuje następujący zbiór wartości zdań określających stosunek podmiotu zdania do zbioru faktów:
- zdanie nie odnosi się do posiadanych faktów (brak danych o podmiocie zdania) (oznaczany przez znak zbioru pustego ),
- podmiot zdania odnosi się do posiadanych faktów, ale nie można określić czy jest z nimi zgodny (zdanie niekonkluzywne) (oznaczany przez ),
- zdanie jest zgodne ze zbiorem faktów (tradycyjna prawda) (oznaczana przez ),
- zdanie nie jest zgodne ze zbiorem faktów (tradycyjny fałsz) (oznaczane przez ),
- zdanie nie jest do końca prawdziwe.
W rozmaitych innych wielowartościowych systemach logicznych przyjmuje się zwykle szereg wartości pośrednich między fałszem i prawdą będących symbolicznym oznaczeniem rozmaitych stopni niepewności. Logiki wielowartościowe oparte na zbiorach takich wartości nie różnią się jednak istotnie od logiki klasycznej (oprócz stopnia ich skomplikowania).
Najbardziej złożone podejście do wartości logicznej prezentuje logika modalna, w której wartość logiczna zdania nie jest wartością stałą, lecz zmienia się w zależności od tego, jaki jest stosunek podmiotu zdania do zbioru faktów.
Przypisy
[edytuj | edytuj kod]- ↑ wartość logiczna, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2024-11-29] .
Linki zewnętrzne
[edytuj | edytuj kod]- Yaroslav Shramko , Heinrich Wansing , Truth values, [w:] Stanford Encyclopedia of Philosophy, CSLI, Stanford University, 27 marca 2017, ISSN 1095-5054 [dostęp 2018-08-07] (ang.). (Wartości logiczne)