ŚFiNiA :: Przegląd tematu - Chrzest bojowy Nowej Teorii Implikacji na matematyce.pl

zbigniewmiller · Wysłany: Pon 18:43, 23 Sie 2010 Temat postu:

cała logika to teoria implikacji,w którą coraz więcej wybitnych logików wątpi..

zbigniewmiller · Wysłany: Pon 18:40, 23 Sie 2010 Temat postu:

pokaż głupku czy wiesz co to jest symboliczna algebra Boola,odróżnij strukturę od rachunku,cóż to takiego Logika człowieka ,a ja ci wydrukuje milion zdań jezyka potocznego z odpowiednimi parafrazami stałych logicznych (w różnych jezykach etnicznych)gdzie używa sie praw de Morgana;
są jak najbardziej potocznie używane! że coś takiego chodzi po świecie?

rafal3006 · Wysłany: Pią 14:08, 22 Sty 2010 Temat postu:

Niestety powyższy post wylądował w koszu z powodu wstawek offtopic które usunąłem.

Usunięte wstawki:

Wstawka 1.
Podaję drugi sposób dojścia do powyższego równania, bo to jest niezwyle ciekawe.

Logika człowieka = symboliczna algebra Boole’a (algebra Kubusia)

Jeśli zatem człowiek będzie myślał logicznie w sposób naturalny (żadne tam logiki formalne typu KRZ) to jego myślenie na pewno będzie zgodne z symboliczną algebrą Boole’a (algebrą Kubusia).
....

Wstawka 2

Podsumowanie:

Najśmieszniejszy w całej tej historii jest fakt, że człowiek nie musi się uczyć Nowej Teorii Implikacji wyłożonej w podpisie. To po prostu naturalna logika człowieka, wyssana z mlekiem matki, doskonale znana wszystkim dzieciom w przedszkolu.

Do poprawnej komunikacji człowieka z człowiekiem konieczne i wystarczające są operatory logiczne:
AND, OR, operator implikacji prostej, operator implikacji odwrotnej plus prawa Kubusia mówiące o możliwości zamiany implikacji prostej na odwrotną i odwrotnie.

Całkowicie zbędne w logice człowieka są operatory:
NOR i NAND

Prawa Kubusia to odpowiednik praw de’Morgana z operatorów AND i OR z tym, że w naturalnym języku mówionym człowiek praktycznie nigdy nie korzysta z praw de’Morgana, natomiast każdy 5-cio latek korzysta z praw Kubusia milion razy na dobę.

Koniec wstawek

Aktualna odpowiedź w tym temacie wygląda tak:
http://matematyka.pl/post637438.htm#p637438

Superstar · Wysłany: Czw 20:41, 21 Sty 2010 Temat postu:

super

rafal3006

Czyli przykład nieprawdopodobnej prostoty i siły nowej teorii ...

http://matematyka.pl/post636600.htm#p636600