|
Ś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: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Sob 20:58, 10 Lut 2018 Temat postu: Prawda subiektywna, definiująca, absolutna |
|
|
Zakładam te temat bo interesuje mnie czy ktoś spoza dyskusji na forum Kubusia cokolwiek z tego zrozumie.
Wystarczy mi odpowiedź np.
TAK - rozumiem wszystko
TAK - rozumiem częściowo
NIE - nic z tego nie rozumiem
Kubuś
http://www.sfinia.fora.pl/forum-kubusia,12/p-1-i-q-1-ale-p-q-0,10575-275.html#362841
Prawda!
http://www.sfinia.fora.pl/forum-kubusia,12/p-1-i-q-1-ale-p-q-0,10575-250.html#362747
fiklit napisał: | "ZW=1 - znam (=1) definicję pojęcia „zwierzę” (ZW) "
Noo, to znaczenie "=1" się nam poszerza.
Czy jeżeli cos jest ładne, albo to lubię to mogę napisać =1.
"sanki są fajne" = "sanki=1" |
Dokładnie,
Znaczenie prawda/fałsz jest identyczne jak w blokach decyzyjnych w algorytmie dowolnego programu komputerowego, gdzie zadajemy pytania binarne i otrzymujemy binarne odpowiedzi:
TAK=prawda
NIE=fałsz
Prawdę dzielimy na:
I. Prawdę subiektywną związaną z wolną wolą człowieka
II. Prawdę obiektywną niezależną od wolnej woli człowieka
I.
Prawda subiektywna:
Prawda subiektywna to prawda lokalna związana z wolną wolą człowieka
Rodzaje prawd subiektywnych:
1.
Prawda subiektywna związana z konkretnym człowiekiem
a)
Sanki są fajne
Dla kogoś kto wypowiada to zdanie:
TAK(prawda) - rzeczywiście sanki są fajne.
b)
To jest ładne
Dla kogoś kto wypowiada to zdanie:
TAK(prawda) - to rzeczywiście jest ładne
Tego typu przekonań nie muszą podzielać inni ludzie
2.
Prawda subiektywna związana z pewnym podzbiorem ludzkości
Bóg istnieje
TAK(prawa) - wierzę że Bóg istnieje
to też jest prawda subiektywna związana ze znaczącą częścią ludzkości
II
Prawda obiektywna:
Prawda obiektywna to prawda niezależna od wolnej woli człowieka
Rodzaje prawd obiektywnych:
1.
Prawda definiująca:
Prawda definiująca to prawda definiująca wszelkie pojęcia z obszaru Uniwersum człowieka.
Uniwersum człowieka to wszelkie pojęcia zrozumiałe dla człowieka
Prawo rozpoznawalności pojęcia p:
Znam definicję pojęcia p wtedy i tylko wtedy gdy znam definicję jego zaprzeczenia ~p
p<=>~p = (p=>~p)*(~p=>p)
Dowód abstrakcyjny:
Wyobraźmy sobie że żyjemy we Wszechświecie o idealnej temperaturze (obojętnie jakiej):
t=constans
W takim wszechświecie pojęcia ciepło i zimno (= nie ciepło) nie istnieją bo nie możemy zmierzyć choćby najmniejszej różnicy temperatur.
Z prawa rozpoznawalności pojęcia p wynika, że jeśli znam definicję pojęcia p to na 100% znam definicję zaprzeczenia tego pojęcia ~p - inaczej pojęcie p jest nierozpoznawalne
Z prawa rozpoznawalności pojęcia p wynika, że cechą charakterystyczną prawdy definiującej jest możliwość ustawienia jedynki (prawdy) zarówno dla p=1 jak i ~p=1
Przykłady:
ZW=1 - znam (=1) definicję pojęcia zwierzę (ZW)
~ZW=1 - znam (=1) definicję pojęcia nie zwierzę (~ZW)
S=1 - znam (=1) definicję pojęcia sanki (S)
~S=1 - znam (=1) definicję pojęcia nie sanki (~S)
Zauważmy, że nawet jak konkretny człowiek nie zna pojęcia X, to po zapoznaniu się z definicją pojęcia X bez problemu dołączy to pojęcie do swojego Uniwersum.
2.
Prawda absolutna:
Prawda absolutna to twarda prawda w zaprzeczeniu której nie da się ustawić logicznej jedynki
Prawdą absolutną są wszelkie zdania twierdzące prawdziwe.
W szczególności prawdą absolutną są wszelkie zaistniałe zdarzenia przeszłe bo nie da się cofnąć czasu i spowodować aby zdarzenie X nie miało miejsca.
Przykłady:
A.
Mickiewicz był Polakiem
A1: Y = MP
co matematycznie oznacza:
A2: Y=1 <=> MP=1
MP=1
Prawdą jest (=1), że Mickiewicz był Polakiem
Zdanie twierdzące prawdziwe
Negujemy zdanie A stronami:
B.
B1: ~Y = ~MP
co matematycznie oznacza:
B2: ~Y=1<=> ~MP=1
Prawą stronę czytamy:
~MP=1
Prawdą jest (=1) że Mickiewicz nie był Polakiem
Ostatnie zdanie to twardy fałsz bo w rzeczywistości jest:
~MP=0
Fałszem jest (=0) że Mickiewicz nie był Polakiem
Wynika z tego, że zapis B2 musimy skorygować:
B2’: ~Y=1 <=> ~MP=0
Sprzeczność czysto matematyczna:
1<=>0
jest tu pozorna bo prawo Prosiaczka:
(~Y=1)=(Y=0)
Stąd końcowy zapis zdania B2’ to:
B2’’: Y=0 <=> ~MP=0
Doskonale widać, że matematycznie jest tu wszystko w porządku, nie ma mowy o jakiejkolwiek sprzeczności czysto matematycznej.
3.
Prawda w zdaniach warunkowych „Jeśli p to q”:
W analizie zdania warunkowego przez wszystkie możliwe przeczenia p i q możemy mieć do czynienia z:
AB: Prawdą twardą i fałszem twardym
CD: Prawdą miękką i fałszem miękkim
Najlepiej wyjaśnić to na przykładzie rodem z przedszkola:
Pani:
Jeśli jutro będzie padało to na pewno => będzie pochmurno
P=>CH
Analiza matematyczna tego zdania przez wszystkie możliwe przeczenia p i q wygląda następująco:
A.
Jeśli jutro będzie padało to na pewno => będzie pochmurno
P=>CH
Definicja warunku wystarczającego => spełniona (=1) bo zawsze gdy pada (P=1), są chmury (CH=1)
B.
Jeśli jutro będzie padało to może ~~> nie być pochmurno
P~~>~CH = P*~CH = 1*1 =0
Definicja kwantyfikatora małego ~~> nie jest spełniona (=0) bo zdarzenia pada (P=1) i niema chmur (~CH=1) to zdarzenia rozłączne.
Definicja kontrprzykładu:
Kontrprzykładem dla warunku wystarczającego p=>q nazywamy to samo zdanie z zanegowanym następnikiem kodowane kwantyfikatorem małym p~~>~q = p*~q
Rozstrzygnięcia:
Fałszywość kontrprzykładu p~~>~q=p*~q =0 wymusza prawdziwość warunku wystarczającego p=>q=1 (i odwrotnie)
Prawdziwość kontrprzykładu p~~>~q = p*~q =1 wymusza fałszywość warunku wystarczającego p=>q =0 (i odwrotnie)
Uwagi do analizy A i B:
Warunek wystarczający:
A: P=>CH =1
to twarda prawda, zachodząca zawsze, bez wyjątków
Prawdziwy warunek wystarczający:
A: P=>CH =1
generuje twardy fałsz wyrażony zdaniem B, zachodzi zawsze, bez wyjątków:
B: P~~>~CH = P*~CH =1*1 =0
Rozważmy dalszą część analizy zdania A przez wszystkie możliwe przeczenia p i q.
C.
Jeśli jutro nie będzie padało to może ~> nie być pochmurno
~P~>~CH =1
Brak opadów jest warunkiem koniecznym ~> aby jutro nie było pochmurno bo jak pada to na 100% => jest pochmurno
Prawo Kubusia wiążące warunek wystarczający => z warunkiem koniecznym ~> bez zamiany p i q samo nam tu wyskoczyło.
Prawo Kubusia:
p=>q = ~p~>~q
Nasz przykład:
C: ~P~>~CH = A: P=>CH =1
Znaczenie dowolnego prawa logicznego:
Prawdziwość dowolnej strony tożsamości logicznej „=” wymusza prawdziwość drugiej strony
Fałszywość dowolnej strony tożsamości logicznej „=” wymusza fałszywość drugiej strony
LUB
D.
Jeśli jutro nie będzie padało to może ~~> być pochmurno
~P~~>CH = ~P*CH = 1*1 =1
Możliwa jest (=1) sytuacja nie pada (~P=1) i są chmury (CH=1)
Warunek konieczny ~> w zdaniu D nie zachodzi bo prawo Kubusia:
D: ~P~>CH = B: P=>~CH
Zdanie B jest twardym fałszem, zatem w zdaniu D nie zachodzi warunek konieczny ~>
cnd
Uwagi do analizy C i D:
1.
Zauważmy że:
Jeśli jutro nie będzie padało i nie będzie pochmuro
to:
Prawdziwe będzie zdanie C:
C: ~P~>~CH =1
i fałszywe zdanie D:
D: ~P~~>CH = ~P*CH =1*1 =0
i odwrotnie.
2.
Jeśli jutro nie będzie padało i będzie pochmurno
to:
Prawdziwe będzie zdanie D:
D: ~P~~>CH = ~P*CH =1*1 =1
i fałszywe zdanie C:
C: ~P~>~CH = 1*1 =0
Podsumowanie:
Zauważmy że:
W dniu jutrzejszym zdanie C może być zarówno prawdą (1) jak i fałszem (2)
Podobnie:
W dniu jutrzejszym zdanie D może być zarówno prawdą (2) jak i fałszem (1)
Stąd możemy powiedzieć że w zdaniach C i D mamy do czynienie z:
miękką prawdą - może zajść, ale nie musi
oraz z:
miękkim fałszem - może zajść, ale nie musi
Czy ktoś ma jakieś uwagi (sugestie)?
|
|
Powrót do góry |
|
|
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Ircia
Dołączył: 04 Lut 2018
Posty: 1031
Przeczytał: 0 tematów
Skąd: z wyśnionej krainy abstrakcji Płeć: Kobieta
|
Wysłany: Sob 22:06, 10 Lut 2018 Temat postu: |
|
|
Na szybko powiem: tak - rozumiem częściowo ( znaczy się wydaje mi się że rozumiem, choć zapewne gdybym miała zrobić na podstawie zdobytej wiedzy jakieś zadanie to zapewne okaże się ile nie łapię, więc jak chcesz się przekonać czy to da się załapać to dorzuć kilka zadań)
Ogólnie ten jasny i czytelny podział prawd sporo mi rozjaśnił w głowie.
Trochę kłopotu z tymi śmiesznymi znaczkami, fragmentami totalny mętlik, ale z logiką matematyczną mam tyle wspólnego co z pierwszym faraonem , wręcz zdziwiło mnie że to da się załapać...
Przydałyby się się konkretne definicje prawa Kubusia i Prosiaczka, oczywiście z przykładami rodem z przedszkola.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15381
Przeczytał: 29 tematów
|
Wysłany: Nie 11:02, 11 Lut 2018 Temat postu: |
|
|
Wrzuć jeszcze swoje ostatnie odkrycie, że wg ciebie NIE jest prawdą, iż Mickiewicz był Polakiem i pies ma 4 łapy.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 15:37, 11 Lut 2018 Temat postu: |
|
|
Irbisolu, nie o tym jest ten wątek.
Dyskusja na temat AK jest na forum Kubusia.
Zapraszam Ciebie i innych - jest super ciekawie, wali się totalnie świat współczesnej logiki "matematycznej".
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 2:03, 12 Lut 2018 Temat postu: |
|
|
Irbisol napisał: | Wrzuć jeszcze swoje ostatnie odkrycie, że wg ciebie NIE jest prawdą, iż Mickiewicz był Polakiem i pies ma 4 łapy. |
http://www.sfinia.fora.pl/forum-kubusia,12/jaki-jest-wynik-dzialania-1-1-w-algebrze-boole-a,10591.html#363111
Czy wszyscy zrozumieli ten kluczowy dla sprawy post?
Jeśli tak to proszę nigdy więcej nie wściekać się na poprawny matematycznie zapis!
B.
Jeśli człowiek jest kobietą (K=1) to może ~~> być mężczyzną (M=1)
Y = K~~>M = K*M = (K=1)*(M=1) = 1*1 =0
Oczywiście gówno prawdą jest, jak chce tego ostatnio Irbisol, że powyższy zapis oznacza iż istnieje zbiór kobiet (K=1) i istnieje zbiór mężczyzn (M=1), czyli ze wedle Irbisola poprawnie (w wariatkowie oczywiście) jest tak:
Y = K~~>M = K*M = (K=1)*(M=1) = 1*1 =1 - to jest matematyczna GŁUPOTA (czytaj Irbisolowe wariatkowo)
Ciekawe, ile wody w Wiśle upłynie zanim ziemscy matematycy zrozumieją banały matematyczne dosłownie na poziomie 5-cio latka, bo ostatni przykład o kinie i teatrze to dokładnie ten poziom.
1. Y = K<=>~T = K*~T + ~K*T
2. ~Y = ~(K<=>~T) = K*T = ~K*~T
To jest przykład rodem z przedszkola doskonale rozumiany przez panią przedszkolankę i wszystkie 5-cio latki, po prostym wyjaśnieniu im o co tu chodzi.
Pokazuję i objaśniam:
Pani dotrzyma słowa (Y):
Y = K<=>~T = K*~T + ~K*T
To wie każdy 5-cio latek.
.. a kiedy pani skłamie (~Y)?
W pozostałych możliwych przypadkach pani skłamie!
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rabbit-raubritter
Mediator
Dołączył: 19 Mar 2007
Posty: 135
Przeczytał: 0 tematów
|
Wysłany: Pon 9:26, 12 Lut 2018 Temat postu: |
|
|
Rafale, masz własne miejsce, gdzie możesz głosić swoje rewelacje wedle uznania. Dlatego nie rozkręcaj się za mocno w innych działach.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
lucek
Dołączył: 18 Lut 2011
Posty: 8769
Przeczytał: 0 tematów
|
Wysłany: Pon 12:49, 12 Lut 2018 Temat postu: |
|
|
Cytat: | Prawda subiektywna:
Prawda subiektywna to prawda lokalna związana z wolną wolą człowieka
Rodzaje prawd subiektywnych:
1.
Prawda subiektywna związana z konkretnym człowiekiem
a)
Sanki są fajne
Dla kogoś kto wypowiada to zdanie:
TAK(prawda) - rzeczywiście sanki są fajne.
b)
To jest ładne
Dla kogoś kto wypowiada to zdanie:
TAK(prawda) - to rzeczywiście jest ładne
Tego typu przekonań nie muszą podzielać inni ludzie
2.
Prawda subiektywna związana z pewnym podzbiorem ludzkości
Bóg istnieje
TAK(prawa) - wierzę że Bóg istnieje
to też jest prawda subiektywna związana ze znaczącą częścią ludzkości |
1.
Dla Jasia sanki są fajne.
Dla mnie łyżwy są fajne.
Chcę kupić Jasiowi prezent.
Czy powinienem kierować się prawdą subiektywną i kupić Jasiowi łyżwy?
2.
AK jest sensowna, tak wierzę (załóżmy) choć nie rozumiem.
Czy to prawda subiektywna związana z nieznaczną częścią ludzkości ?
|
|
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
|