ŚFiNiA

fiklit

Ale ja się nie pytam o żadne algebry, matematyki itp. Pytam się do czego służy język, do czego służą zdania? Czy do przekazania odbiorcy nieznanej mu informacji, czy nie nadają się do tego?

rafal3006

fiklit

Ok. Załóżmy że X i Y znają i rozumieją AK.
X wie coś o A i B, Y nie wie nic.
X mówi do Y: "Jeśli A to może B".
Czego dowiedział się Y?
Czy dowiedział się że:
1: A~>B
2: A~~>B
3:ale jeśli napotkamy zdanie "jeśli A to może B" to należy przez to rozumieć "Istnieje związek przyczynowy między A a B lub nie istnieje związek przyczynowy między A a B. "
4: jeszcze coś innego? co?

rafal3006

fiklit

Jestem zagubiony w tej rozmowie. Poczekam na twoją jasną odpowiedź.

rafal3006

fiklit

Dalej nie rozumiem. To jest odpowidź na moje pytanie?
Ok. Załóżmy że X i Y znają i rozumieją AK.
X wie coś o A i B, Y nie wie nic.
X mówi do Y: "Jeśli A to może B".
Czego dowiedział się Y?
Czy dowiedział się że:
1: A~>B
2: A~~>B
3:Istnieje związek przyczynowy między A a B lub nie istnieje związek przyczynowy między A a B.
4: jeszcze coś innego? co?

Y słyszy od X "jeśli A to może B". Wierzy mu, czyli zakłada, że usłyszane zdanie jest prawdziwe. I co z tego wie o A i B?

To jest super proste pytanie. Naprawdę nie potrafisz na nie odpowiedzieć? Sytuacja nie jest jakoś szczególnie skomplikowana. Ludzie ze sobą rozmawiają, używając zdań, i przekazują sobie tymi zdaniami informacje. Tak jest. Chcicałbym wiedzieć jaka informacja wg AK jest zawarta w zdaniu "jeśli A to może B".

rafal3006

fiklit

Nie kumam to może taki przykład gry:
dwóch graczy X i Y. Ustalają na jakiej dziedzinie grają.
Następnie X wyznacza w myślach dwa zbiory z tej dziedziny A i B. Ustala również w myślach, relację między nimi, np. |=>, <=> itp. Zadaniem Y jest odgadnięcie tej relacji. Ale:
Y może poprosić X o podpowiedź - kosztuje go to 1pkt.
Y może zgadywać ostateczny wynik ale jeśli nie zgadnie to kosztuje go to 25pkt i gra toczy się dalej.
X na prośbę musi udzielić podpowiedzi, ale jeśli udzieli podpowiedzi "niefajnej" dostaje 100pkt.
Za udzielenie kłamliwej podpowiedzi 1000pkt kary.
Chodzi o to aby zdobyć jak najmniej punktów.
Przez popdowiedź niefajną rozumiemy podpowiedź dwuznaczną - czyli taką z której można wyciągnąć różne wnioski. Oraz podpowiedź pustą - czyli taką która nic nie wnosi do wiedzy uzyskanej z poprzednich podpowiedzi, czyli która nie ułatwia Y zadania.
Gramy wg logiki AK.

Przykład: ustalona dziedzina[1,2,3,4], X wybrał zbiory A=[1,2], B=[1].
Start.
Y prosi o podpowiedź;
X mówi "A i B mają część wspólną lub nie mają. - otrzymuje 100pkt kary.
Y prosi o podpowiedź;
X: B jest podzbiorem A. 1pkt dla Y.
Y prosi o podpowiedź;
X: A i B mają wspólny element. 100pkt. kary bo to już wiadomo z "B jest podzbiorem A".
Y prosi o podpowiedź;
X: jeśli A to może B.
I co teraz?
1) 100pkt kary bo to oznacza że A~~>B czyli podpowiedź pusta
2) 1pkt dla Y bo to oznacza A~>B
3) 100pkt kary bo nie wiadomo co oznacza "jeśli A to może B", bo może oznaczać A~~>B oraz A~~>B oraz A jest w związku B lub A nie jest w związku z B.
Rozsądź.

rafal3006

fiklit

Ok. Czyli "jeśli A to może B" nie zawiera żadnych informacji o związku A z B. Ale A~~>B zawiera i A~>B też zawiera. Zatem nie może być tak, że którekolwiek z nich czyta się "jeśli A to może B.

rafal3006

fiklit

A jakim zdaniem po polsku przekażesz informację że A~>B=1?

rafal3006

fiklit

Halo??? Jakie dowodzenie??? Pytam o przekzanie informacji.

rafal3006

fiklit

Ale po co w ogóle są zdania A i B w wersji niewytłuszczonej, skoro nie wiadomo co znaczą?

idiota

Żeby rafał miał co wyjaśniać Ludzkości.
;)

rafal3006

Fundament logiki matematycznej 5-cio latka dla zdań warunkowych „Jeśli p to q”
1.
Definicja kwantyfikatora małego ~~>:
Jeśli zajdzie p to może ~~> zajść q
p~~>q = p*q
Możliwe jest jednoczesne zajście p i q
2.
Definicja warunku wystarczającego =>:
Jeśli zajdzie p to na pewno => zajdzie q
p=>q
Zajście p jest warunkiem wystarczającym => dla zajścia q
Wymuszam dowolne p i musi pojawić się q
3.
Definicja warunku koniecznego ~>:
Jeśli zajdzie p to może ~> zajść q
p~>q
Zajście p jest warunkiem koniecznym ~> dla zajścia q
Zabieram wszystkie p i musi zniknąć q
4.
Dziedzina dla p i q musi być wspólna
5.
5-cio latki nie wymawiają zdań fałszywych logicznie np.
Jeśli jutro będzie padało to może ~~> nie być pochmurno
P~~>~CH = P*~CH =0 - zdarzenie niemożliwe
... bo nie chcą być pośmiewiskiem kolegów.
Oczywistym jest, że doskonale rozumieją fałszywość zdania 5.

Fundament logiki 5-cio latków:
W logice matematycznej zakładamy, że wszyscy ludzie mówią prawdę, czyli wypowiadają wyłącznie zdania prawdziwe. Tylko i wyłącznie dzięki temu możemy wykryć wszelkie kłamstwa.
Oczywistym jest, że jak mamy jakiekolwiek podejrzenie że ktoś kłamie to możemy sprawdzić.
Człowiek który sprawdza prawdziwość/fałszywość wszelkich zdań które do niego docierają to człowiek chory psychicznie - powinien się leczyć.

KONIEC!
To jest cała genialna logika matematyczna 5-cio latków.

fiklit

Język w wielu naukach musi być precyzyjny. Rozwiązanie z ciągnięciem za język dyskwalifikuje AK z naukowych zastosowań. To nie jest matematyka.

Z innej beczki: czy w AK jest jakaś 100% pewna metoda aby uprościć wyrażenie ~(p=>q)?

rafal3006

fiklit

rafal3006

fiklit

Miesza ci się to co wiesz z tym co mówisz. Odczytujesz ze zdań więcej treści niż tam jest, tylko dlatego, że o niej wiesz. Jeśli A to może B - wyraża możliwość współzajścia A i B, ale nie wyraża konieczności A dla B.
Jeśli będzie pochmurno to może padać. W tym zdaniu nie ma informacji, że chmury są konieczne dla deszczu. O tym wiesz i wydaje ci się to oczywiste, ale tego nie ma w "jeśli CH to może P".