Czterowartościowa logika

[Filippiarz]

Ma może ktoś namiary na opracowania formalne logiki obecnej w suttach?
Tak bardziej na sposób matematyczno-logiczny opracowane, a nie filozoficznie.

[Moktak]

http://wazniak.mimuw.edu.pl/index.php?t ... tyk%C3%B3w

O takie coś chodzi?

[Filippiarz]

Może nie aż tak ekstremalnie, ale w kierunku.

[moi]

Może nie aż tak ekstremalnie, ale w kierunku.

Rachunek zdań?

[Filippiarz]

Cokolwiek o niej by się przydało - nie znam po prostu żadnego opisu jej działania.

[moi]

Cokolwiek o niej by się przydało - nie znam po prostu żadnego opisu jej działania.

Rachunek zdań masz w każdym podręczniku logiki. Teraz trzeba tylko wykonać tę pionierską pracę, podstawiając w przykładach zdania z sutt
Nie pytaj mnie jak, bo ja poza podział logiczny i fizyczny nie wyszłam ("czy podział roweru na siodełko, łańcuch i kola to podział...", itd). Ogarniam jeszcze jako tako paradoks Eubulidesa i to wszystko

Pozdrawiam.m.

[GreenTea]

W logice czterowartościowej (logika Dunna i Belnapa) występują cztery wartości:

N – brak informacji (None),
F – fałsz (False),
T – prawda (True),
B – informacje sprzeczne (Both).

Wartości tych nie da się przedstawić w postaci liczb, choć można je uporządkować: F jest wartością niższą niż N, ale także niższą niż B, wartość T jest natomiast wyższa niż N i B. Nie da się natomiast uporządkować względem siebie N i B. Spośród relacji logicznych definiuje się negację, koniunkcję i alternatywę. Negacja zmienia prawdę i fałsz, ale pozostawia N i B. Wartości logiczne koniunkcji i alternatywy oblicza się jak w logice tradycyjnej – koniunkcja przybiera wartość niższą, natomiast alternatywa wyższą z wartości obu argumentów. Przy zbiegu N i B koniunkcja ma wartość F, natomiast alternatywa – T.
Zobacz tabelki dla koniunkcji, negacji i alternatywy tutaj

Ale nie wiem, czy sutty taką właśnie logiką się posługują

Pozdrawiam, gt

[amogh]

Ma może ktoś namiary na opracowania formalne logiki obecnej w suttach?

Jeżeli chodzi o czterowartościową to wychodzi na to, że wprowadził ją Nagardżuna, także w suttach chyba o niej nie piszą, a przynajmniej nie językiem matematyki

[Filippiarz]

Ok, chyba faktycznie pomyliłem dział
Niemniej, jakby ktoś znał szczegółowsze opracowanie to niech rzuci linkiem lub wydawnictwem.
Pozdrawiam

[piotr]

Cześć Filippiarzu,

Czterowartościowa logika w Indiach pojawiła się wraz z jednym hymnem z Ṛgwedy (RV 10.129), w którym zawarte są ontologiczne spekulacje (stworzenie wszechświata). W podobnym kontekście pojawia się ona w suttach, zwykle – jeśli nie jedynie – w pytaniach brahminów i ascetów, którzy zainteresowani byli spekulacjami podobnymi do tych ze wspomnianego przeze mnie hymnu. Całkiem możliwe, że był on im znany, albo powstał później w wyniku rozwoju metafizyki – nie jest do końca jasne z jakiego okresu pochodzi ten utwór.

Według sutt, Buddha nie widział w ontologicznych spekulacjach opartych na takiej logice żadnego pożytku, który przyczyniałby się do zakończenia bolesności, zatem nie podchwycił też tej logiki. Nie obiecywał też nikomu, że gdy kierując się jego nauką i regułą, odnajdzie odpowiedzi na ontologiczne pytania. Zamiast tego zalecał skupić się na czym innym – kwestii radości i bólu i ich długotrwałych przyczyn.

[Filippiarz]

Wiem, wiem...
Znajomego ciekawi ta logika, wiec zapytałem.