 |
ŚFiNiA
ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum - bez cenzury, regulamin promuje racjonalną i rzeczową dyskusję i ułatwia ucinanie demagogii. Forum założone przez Wuja Zbója.
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35963
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
 Wysłany: Pon 18:55, 17 Mar 2008 Temat postu: Logika człowieka istnieje ! |
|
|
Herezja jest matką postępu
Logika człowieka istnieje !
Autor: Kubuś
Kubuś – wirtualny, Internetowy Miś
1.0 Dwie szkoły logiki klasycznej
2.0 Matematyczny fundament nowej szkoły logiki klasycznej
2.1 Notacja
2.2 Definicja implikacji prostej
2.3 Definicja implikacji odwrotnej
2.4 Prawa Kubusia
3.0 Dwie szkoły logiki klasycznej w praktyce
OD AUTORA
Niekwestionowany autorytet w Klasycznym Rachunku Zdań, dr. filozofii Zbanowany Uczy napisał w dyskusji z Kubusiem prawie dwa lata temu:
| Zbanowany Uczy napisał: | | Nie ma logiki ludzkiej.... PYTAM SIĘ KTO z profesorów (nie daj Boże) wtłoczył Ci do głowy tak idiotyczny pogląd ??? Jesteś pierwszym, którego znam, a który go głosi!!! |
| Zbanowany Uczy napisał: | Od siebie dodam tylko: Próby wydzielenia tzw. naturalnej, ludzkiej, nieformalnej czy tym podobnej logiki z języka potocznego ODBYWAŁY SIĘ OD POCZĄTKU JEJ POWSTANIA, owszem, ostatnio proces ten wzmógł się na sile.
|
Myślę, że Kubusiowi z grupą przyjaciół na forum www.sfinia.fora.pl (metodologia) po dwóch latach walki z implikacją udało się to o czym pisze Zbanowany, odnaleźliśmy matematyczną LOGIKĘ CZŁOWIEKA.
Jest niesamowicie prosta, bo posługują się nią wszystkie dzieci w przedszkolu. Fundament logiki człowieka, to zaledwie sześć kluczowych zer i jedynek w matematycznej definicji implikacji. To jest coś tak absolutnie zaskakującego i prostego, że niektórzy pewnie w to nie uwierzą.
Logika człowieka to algebra Boole'a. Rozwiązanie problemu wszelkich obietnic i gróźb, czyli opisanie ich przy pomocy algebry Boole’a, ma fundamentalne znaczenie, bo wiąże swobodny język mówiony z tą algebrą.
1.0 Dwie szkoły logiki klasycznej
Definicja:
Logika klasyczna - to logika zbudowana na fundamencie algebry Boole’a.
Stara szkoła logiki klasycznej (implikacja materialna):
Logika człowieka nie istnieje
Nowa szkoła logiki klasycznej:
Logika człowieka istnieje, to algebra Boole’a !
W starej szkole logiki klasycznej (implikacja materialna) jest tak:
Jeśli p to q
Wypowiadający implikację powiedział tylko, że jeśli zajdzie p to zajdzie q. Nie mówił nic co będzie jeśli nie zajdzie p. Jeśli zatem nie zajdzie p to może zajść q lub ~q.
To jest 100% chciejstwo człowieka, mające zero wspólnego z algebrą Boole’a, co widać w poniższych przykładach.
Algebra Boole’a nie może zależeć od jakiegokolwiek języka mówionego, nie może zależeć od chciejstwa człowieka.
Ten warunek w nowej szkole logiki klasycznej jest spełniony w 100% !
Nowa szkoła logiki klasycznej działa poprawnie w całej algebrze Boole’a, niezależnie czy są to groźby i obietnice, przyroda martwa i żywa czy też matematyka, co widać w poniższych przykładach.
Zachęcam szczególnie młodych ludzi którzy nie wiedzą co to jest algebra Boole’a do zapoznania się z nową teorią. Starsze pokolenie jest moim zdaniem stracone. Nie powinno to zająć więcej niż kilka godzin logicznej uczty.
Nowa szkoła logiki klasycznej to koniec z analizowaniem śmieci w stylu:
Jeśli księżyc jest z sera to pies ma 8 łap
... to już historia, czyli stara szkoła logiki klasycznej.
Poniżej na czterech konkretnych przykładach pokazałem fundamentalne różnice między starą szkołą logiki klasycznej a nową szkołą logiki klasycznej. Oczywiście tylko jedna z nich może być prawdziwa, bo algebra Boole’a jest jedna – wybór należy do czytelnika.
2.0 Matematyczny fundament nowej szkoły logiki klasycznej
Fragment II części „Teorii implikacji prostej i odwrotnej” (podpis)
2.1 Notacja
* - symbol iloczynu logicznego (AND), w mowie potocznej spójnik 'i'
+ - symbol sumy logicznej (OR), w mowie potocznej spójnik "lub"
~ - przeczenie, negacja (NOT), w mowie potocznej przeczenie "nie"
~(...) - w mowie potocznej "nie może się zdarzyć że ...", "nie prawdą jest że ..."
2.2 Definicja implikacji prostej
| Kod: | Jeśli liczba jest podzielna przez 4 to jest podzielna przez 2
p=P4 q=P2 p=>q = P4=>P2 |
Jeśli zajdzie p to musi zajść q (z p wynika q)
p=>q = ~p + q = ~(p*~q) - prawo de'Morgana
=> - symbol implikacji prostej, spójnik „musi” między p i q w naturalnej logice człowieka
Definicja zero-jedynkowa implikacji prostej:
| Kod: | p q p=>q
1 1 1
1 0 0
0 0 1
0 1 1 |
W implikacji prostej wartość funkcji p=>q jest równa zeru wtedy i tylko wtedy, gdy następuje zmiana z p=1 na q=0.
2.3 Definicja implikacji odwrotnej
| Kod: | Jeśli liczba jest podzielna przez 2 to jest podzielna przez 4
p=P2 q=P4 p~>q = P2~>P4 |
Jeśli zajdzie p to może zajść q (z p może wynikać q)
p~>q = p + ~q = ~(~p*q) - prawo de'Morgana
~> - symbol implikacji odwrotnej, spójnik „może” między p i q w naturalnej logice człowieka
Definicja implikacji odwrotnej w wersji zero-jedynkowej:
| Kod: | p q p~>q
1 1 1
1 0 1
0 0 1
0 1 0 |
W implikacji odwrotnej wartość funkcji p~>q jest równa zeru wtedy i tylko wtedy gdy następuje zmiana z p=0 na q=1.
2.4 Prawa Kubusia
p=>q = ~p ~> ~q - prawo zamiany implikacji prostej na implikację odwrotną
p~>q = ~p => ~q - prawo zamiany implikacji odwrotnej na implikację prostą
W prawach Kubusia negujemy zmienne p i q oraz odwracamy operator implikacji na przeciwny.
Dowód praw Kubusia.
p=>q = ~p ~> ~q - prawo zamiany implikacji prostej na implikację odwrotną
| Kod: | p q p=>q ~p ~q ~p~>~q
0 0 1 1 1 1
0 1 1 1 0 1
1 0 0 0 1 0
1 1 1 0 0 1 |
Równość kolumn p=>q i ~p ~> ~q jest dowodem poprawności prawa Kubusia.
p~>q = ~p => ~q - prawo zamiany implikacji odwrotnej na implikację prostą
| Kod: | p q p~>q ~p ~q ~p=>~q
0 0 1 1 1 1
0 1 0 1 0 0
1 0 1 0 1 1
1 1 1 0 0 1 |
Równość kolumn p~>q i ~p => ~q jest dowodem poprawności prawa Kubusia.
3.0 Dwie szkoły logiki klasycznej w praktyce
Przykład 1.
Nowa szkoła logiki klasycznej:
Jeśli ubrudzisz spodnie dostaniesz lanie
B~>L
Implikacja odwrotna bo jeśli przyjdę w brudnych spodniach to „mogę” dostać lanie.
Definicja implikacji odwrotnej:
p~>q = p + ~q = ~(~p*q)
p = ubrudzę spodnie
q = dostanę lanie
~(~p*q)
Nie może się zdarzyć ~(...), że nie ubrudzę spodni (~p) i dostanę lanie (q)
To samo co wyżej otrzymujemy na mocy prawa Kubusia.
B~>L = ~B => ~L – prawo zamiany implikacji odwrotnej ~> na implikacje prostą =>.
Jeśli czyste spodnie (~B – nie brudne) to zakaz lania (~L) !!!
Proszę zauważyć coś fantastycznego.
Teoria implikacji prostej i odwrotnej doskonale radzi sobie z taką implikacją.
Jeśli ubrudzisz spodnie to chyba dostaniesz lanie
Ważne jest, aby jednoznaczny był warunek p, warunek q może być dowolny np.
Jeśli ubrudzisz spodnie to na X% dostaniesz lanie
X = 0% do 100% czyli wszystko w rękach nadawcy.
To dalej jest implikacja, nigdy równoważność nawet przy 100% bo przyszłości nikt nie zna. Nadawca może sobie mówić co mu się podoba a i tak ma prawo do darowania dowolnej kary w dowolnym momencie nawet przed zaistnieniem warunku p i w teorii implikacji prostej i odwrotnej nie jest kłamcą.
Matematyka nie może zależeć od chciejstwa człowieka.
W przypadku brudnych spodni nadawca może robić co mu się podoba ale nie może jednego:
B~>L = ~B => ~L – prawo zamiany implikacji odwrotnej ~> na implikacje prostą =>.
Jeśli czyste spodnie (~B – nie brudne) to zakaz lania (~L) !!!
Stara szkoła logiki klasycznej:
... czyli „matematyczne” obalenie powyższej matematyki.
Jeśli czyste spodnie to możesz dostać lanie bo np. stłukłeś wazon.
Przykład 2
Nowa szkoła logiki klasycznej:
Jeśli będzie pochmurno to będzie padało
CH~>P – implikacja odwrotna bo „może” padać
p~>q = ~(~p*q) – definicja implikacji odwrotnej
CH~>P = ~(~CH*P) – zapis symboliczny
~(~CH*P)
Nie może się zdarzyć ~(...), że nie będzie chmur (~CH) i będzie padało (P).
Stara szkoła logiki klasycznej:
Jeśli nie ma chmur to może padać bo strażacy sikawkami mogą zrobić sztuczny deszcz.
Przykład 3.
Jeśli zwierzę ma cztery łapy to jest psem
4L~>P – implikacja odwrotna bo „może” być psem
p~>q = ~(~p*q) – definicja implikacji odwrotnej
4L~>P = ~(~4L*P)
~(~4L*P)
Nie może się zdarzyć, że zwierzę nie ma czterech łap (~4L) i jest psem (P).
Prawo Kubusia:
4L~>P = ~4L => ~P – zamiana implikacji odwrotnej na implikację prostą.
Jeśli zwierzę nie ma czterech łap to „na pewno” nie jest psem
~4L => ~P – implikacja prosta bo „na pewno”
Stara szkoła logiki klasycznej:
Ta implikacja nie jest jedynie słuszną implikacją materialną =>, zatem jest totalnie niestrawna w starej szkole logiki klasycznej ale ....
Z przymrużeniem oka:
Jeśli zwierzę nie ma czterech łap to może być psem bo jedną łapę pies mógł stracić w walce z niedźwiedziem.
Przykład 4.
Jeśli liczba jest podzielna przez 2 to jest podzielna przez 4
P2~>P4 – implikacja odwrotna bo „może”
Oczywiście może być podzielna bo:
=1 dla 4,8,12...
=0 dla 6,10,14...
p~>q = ~(~p*q) – definicja implikacji odwrotnej
Na podstawie powyższego:
~(~P2*P4)
Nie może się zdarzyć ~(...), że liczba nie jest podzielna przez 2 i jest podzielna przez 4
Prawo Kubusia:
P2~>P4 = ~P2 => ~P4 – prawo zamiany implikacji odwrotnej na prostą
Jeśli liczba nie jest podzielna przez 2 to nie jest podzielna przez 4.
~P2 => ~P4 – implikacja prosta, matematyczna oczywistość
Stara szkoła logiki klasycznej:
Tej implikacji stara szkoła logiki klasycznej nie ugryzie, ale ...
Z przymrużeniem oka:
Jeśli liczba nie jest podzielna przez 2 to może być podzielna przez 4 bo ... ???!!!
|
|
| Powrót do góry |
|
 |
|
|
|
|
|
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach
|
fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
|
FAQ
Szukaj
Użytkownicy
Grupy
Galerie
Rejestracja
Zaloguj się, by sprawdzić wiadomości
Zaloguj
