Autor Wiadomość
barycki/konto usunięte
PostWysłany: Pią 17:45, 01 Sty 2010    Temat postu:

rafal3006:
Cytat:
EOT


A cóż to za kaprysy, naukowcowi coś takiego nie przystoi. Nie będziesz mi tu wyskakiwał z EOTami łobuzie, ja potrzebuję zrozumieć naukę, która pozwala udowodnić, że biskup z założenia nie może być kanalią. Natychmiast brać mi się leniu za wyjaśnianie, a EOT wybić sobie z głowy.

Adam Barycki
rafal3006
PostWysłany: Pią 11:04, 01 Sty 2010    Temat postu:

Kompendium algebry Kubusia to tylko kilka stron w podpisie, tak więc o lasy możesz być spokojny.

Te kilka stron to wywrócenie całej dzisiejszej logiki w zakresie implikacji do góry nogami, aby świat był normalny.

Aktualne, znane człowiekowi definicje implikacji mają zero wspólnego z implikacją występującą w naturalnym języku mówionym człowieka.
A.
Implikacja materialna:
http://www.zgapa.pl/zgapedia/Implikacja.html
Implikacja (inaczej wynikanie) to spójnik łączący dwa zdania P (poprzednik implikacji) i Q (następnik implikacji) mówiący, że "z P wynika Q". Jest to najbardziej kontrowersyjny ze spójników logicznych. W logice klasycznej przyjmuje się implikację materialną: „z P wynika Q” jest prawdziwe, jeśli Q jest prawdziwe lub P jest fałszywe. Jest to interpretacja wygodna ale całkowicie niezgodna z intuicyjnym rozumieniem "wynikania". W szczególności całkowicie nie do zaakceptowania dla intuicjonistów jest twierdzenie logiki klasycznej, które orzeka, że "z fałszu wynika cokolwiek".
B.
Implikacja ścisła:
http://pl.wikipedia.org/wiki/Logika_modalna
Intencją Lewisa było stworzenie takiej logiki, która lepiej niż implikacja materialna w klasycznym rachunku zdań oddawałaby implikację występującą w języku naturalnym. Lewis nie uświadamiał sobie jeszcze w pełni różnicy między wynikaniem a implikacją ścisłą, współcześnie jednak logiki Lewisa interpretuje się powszechnie jako logiki zdań modalnych, na których gruncie właśnie implikację ścisłą zdefiniować można następująco …

Implikacja występująca w naturalnym języku mówionym to absolutny banał po przyjęciu prawidłowych definicji implikacji prostej => i odwrotnej ~> plus praw Kubusia

EOT
barycki/konto usunięte
PostWysłany: Czw 13:21, 31 Gru 2009    Temat postu:

idiota:
Cytat:
rafał ma co robić.


A ile roboty przed nim, wklejony tysiące razy dowód matematycznej wolnej woli jest archiwizowany i po kolejnych tysięcznych wklejeniach, wszystkie wklejanki zebrane razem, będą wydane w czterdziestu ośmiu tomach wielkiego dzieła matematycznego, a każdy tom po tysiąc osiemset stron. Na papier do całego wydania pójdzie z osiemset hektarów lasu dwustuletniego z Puszczy Białowieskiej, żeby dzieło uszlachetnić.

Adam Barycki
idiota
PostWysłany: Czw 4:38, 31 Gru 2009    Temat postu: Czemu Rafał3006 przedstawia swoje dowody



rafał ma co robić.

Powered by phpBB © 2001, 2005 phpBB Group