Forum ŚFiNiA Strona Główna Ś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.
 
 FAQFAQ   SzukajSzukaj   UżytkownicyUżytkownicy   GrupyGrupy   GalerieGalerie   RejestracjaRejestracja 
 ProfilProfil   Zaloguj się, by sprawdzić wiadomościZaloguj się, by sprawdzić wiadomości   ZalogujZaloguj 

Logika człowieka istnieje !

 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25108
Przeczytał: 37 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pon 19: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
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia Wszystkie czasy w strefie EET (Europa)
Strona 1 z 1

 
Skocz do:  
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
Regulamin