ŚFiNiA

[rafal3006]

Wersja PDF-C15 z dn. 2014-05-07 (najnowsza):
[link widoczny dla zalogowanych]
[link widoczny dla zalogowanych]

Wreszcie jest!

... a tu jest początek, niesamowitej prawie 8-mio letniej dyskusji na temat zaledwie sześciu, kluczowych zer i jedynek w definicji implikacji....

Fragment ksiazki "Logika dla opornych" Krzysztof A. Wieczorek

[wujzboj]

Rafal, rozmawialismy o tym dosc dlugo na forum Katolika.

Nie jest prawda, ze z falszu nie moze wyniknac prawda. Wynikanie jest poprawne (prawdziwe), jesli nie wprowadza falszywosci (nie prowadzi do utraty prawdziwosci), czyli jesli:

- z prawdy wynika prawda;
- z falszu wynika falsz;
- z falszu wynika prawda.

Wynikanie jest niepoprawne (falszywe), WYLACZNIE, jesli prowadzi do utraty prawdziwosci, czyli jesli:

- z prawdy wynika falsz.

Zgodnie z zasadami logiki, zdanie "jak zdasz egzamin, to dostaniesz komputer" znaczy "nie moze sie zdarzyc, ze zdasz egzamin i nie dostaniesz komputera". Wlasnie to obiecuje ojciec synowi. NIE obiecuje mu, ze "dostaniesz komputer wylacznie wtedy, gdy zdasz egzamin". Mylisz implikacje z tozsamoscia. Twoja konfuzja bierze sie - jak pamietam nasze rozmowy - z tego, ze slow "IF... THEN" sa w jezykach programowania uzywane w sensie TOZSAMOSCI, zas w jezyku potocznym - w sensie implikacji.

Ojciec zapewnia wiec syna, ze jesli zda syn egzamin, to moze byc pewien komputera. Nie zapewnia go jednak, ze gdy egzaminu nie zda, to o komputerze nie ma co marzyc.

[rafal3006]

[Angelus Novus]

[rafal3006]

2008-03-11 ... co by mi tego Angelus nie mógł skasować ;P

[rafal3006]

[Pan Gąsienica]

Rafale, jeśli ojciec kupi synowi komputer pomimo niezdanego egzaminu nie staje się przez to kłamcą - co najwyżej można mu zarzucić stosowanie niecodziennych metod wychowawczych. Ale nie podjął on ŻADNYCH zobowiązań na wypadek sytuacji "niezdania" przez syna egazminu (zobowiązania podjął tylko odnośnie sytuacji "zdania") - ma więc wolną rękę

Stałby się natomiast kłamcą, gdyby zdanie podstawowe brzmiało:

Dostaniesz komputer wtedy i tylko wtedy, gdy zdasz egzamin.

Napisz mi może, czy w ogóle dostrzegasz jakąś różnicę w spójnikach "jeśli... to..." i "...wtedy i tylko wtedy...". Czy Twoim zdaniem mają one takie samo znaczenie?

Nie możesz też pisać, że zgadzasz się z p. Wieczorkiem w 100%, bo On napisał:

[rafal3006]

[rafal3006]

[rafal3006]

Równoważność czy implikacja.

Zdanie analizowane:

Jeśli zdasz egzamin, to dostaniesz komputer

Ojciec wypowiadając powyższe zdanie może mieć na myśli zarówno równoważność jak i implikację.

To zależy tylko i wyłącznie od wypowiadającego powyższe zdanie.

Jeśli ojciec jest twardy, i potraktuje powyższe zdanie jako "wtedy i tylko wtedy" to będzie to równoważność, bo jak słusznie zauważył p. Wieczorek nikt nie używa zwrotu "wtedy i tylko wtedy" w normalnej mowie potocznej.

Nie oznacza to oczywiście, że w przyszłości ojciec zdania nie zmieni i wtedy będzie to implikacja, czyli syn dostanie komputer z jakiegoś INNEGO powodu.

Dopóty jednak ojciec zdania nie zmieni, dopóty będzie to równoważność - ma prawo nie zmienić zdania nawet do śmierci.

Załużmy, że ojciec tak czy owak chce kupić synowi komputer i jego plan na trzy kroki do przodu (i tu już jest oczywista implikacjia) jest następujący:

Jeśli A=zdasz egzamin OR B=podskoczysz OR C=będziesz miał urodziny, to dostaniesz komputer.

Plan mógłby być nawet na nieskończoną ilość kroków do przodu, ale to bez sensu.

Gdyby ojciec wyjawił plan synowi, to ten nic by nie robił czekając na punkt C w którym MUSI dostać komputer.

Powyższe zdanie złożone możemy rozpisać na trzy zdania proste.

A. Jeśli zdasz egzamin, to dostaniesz komputer
B. Jeśli podskoczysz, to dostaniesz komputer
C. Jeśli będziesz miał urodziny, to dostaniesz komputer

Zauważmy, że tylko i wyłacznie jedno zdanie A lub B lub C ma szansę stać się prawdziwym - pozostałe będą fałszywe.

[rafal3006]

[wujzboj]

Rafale, nie rozumiem, czemu ciagle dokladasz do wypowiedzi "jesli zdasz egzamin, to dostaniesz komputer" tresci nieobecne w tym zdaniu. Mowiac to zdanie, ojciec nie mowi NIC na temat tego, co zdarzy sie, jesli syn nie zda egzaminu. Ojciec mowi wylacznie o tym, co zdarzy sie, jesli syn zda egzamin! Jesli syn nie zda egzaminu, jego sytuacja jest niejasna: moze nie odstac komputera, moze komputer dostac. Jesli jednak zda, to jego sytuacja jest jednoznaczna: komputer dostanie.

Obietnica ojca WYKLUCZA sytuacje, w ktorej syn zda egzamin i nie dostanie komputera. I tylko tyle.

[mirecque]

Ja myślę, że Panu Jezusowi chodziło o to, że kto pomimo poznania Go i Jego wspaniałej miłości odrzuci Go, ten będzie potępiony.

Czyli skazuje się na potępienie ten, kto odrzuca prawdziwą miłości i jej Dawcę.


No bo jak można kogoś poznać i w niego nie uwierzyć? Sprzeczność sama w sobie.

Chodziło raczej o nie uwierzenie (zaufanie) Jemu niż w to, że istnieje.

I chyba na tym polega wiara. To, że Bóg istnieje uznają nawet złe duchy i drżą. Ale kto wierzy Bogu?




A teraz nawiązuję do implikacji.

To, że z fałszu wynika fałsz to prawda,
to, że z prawdy wynika prawda, to prawda,
to, że z prawdy wynika fałsz to nieprawda.

Omówienia wymaga przypadek pt.:"z fałszu wynika prawda"

Otóż prawdziwym jest zdanie: " Jeśli jakakolwiek liczba dzieli się przez cztery, to ta liczba dzieli się przez dwa."

Jeśli ta liczba jest jakakolwiek, to jak podstawię sześć to całe zdanie będzie prawdziwe:

Jeśli sześć dzieli się przez cztery, to sześć dzieli się przez dwa.

Całę zdanie jest prawdziwe, a przy okazji sześć dzieli się przez dwa, więc poprzednik jest fałszywy, a następnik prawdziwy.

Czyli w implikacji z fałszu może wynikać prawda lub fałsz, ale z prawdy tylko prawda.

Natomiast w rónoważności (wtedy i tylko wtedy) nie ma takiej opcji. Fałsz jest równoważny fałszowi, a prawda prawdzie.

[mirecque]

Poza tym Rafale mylisz fakty. Jeśli już syn nie zda egzaminu, to zdanie "nie zdasz egzaminu" nie jest fałszywe, tylko prawdziwe.
A Ty w pierwszym poście popełniasz tą właśnie niekonsekwencję.

[wujzboj]

[rafal3006]

[rafal3006]

[rafal3006]

[wujzboj]

[rafal3006]

[Angelus Novus]

[Michał Dyszyński]

[rafal3006]

[wujzboj]

[wujzboj]