Autor |
Wiadomość |
barycki/konto usunięte |
Wysłany: Pią 17:45, 01 Sty 2010 Temat postu: |
|
rafal3006:
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 |
Wysł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 |
Wysł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 |
Wysłany: Czw 4:38, 31 Gru 2009 Temat postu: Czemu Rafał3006 przedstawia swoje dowody |
|
rafał ma co robić. |
|
|