Paradoksy a Intuicja

Podobne dokumenty
Semiotyka logiczna (3)

Intuicja Matematyczna

Filozofia, ISE, Wykład V - Filozofia Eleatów.

Filozofia przyrody - Filozofia Eleatów i Demokryta

Argumenty z intuicji matematycznej

Semiotyka logiczna (1)

Wstęp do Matematyki (4)

Dlaczego matematyka jest wszędzie?

Piotr Chrząstowski-Wachtel Uniwersytet Warszawski. Czy logika jest logiczna?

Intuicja matematyczna

Paradoksy log o i g czne czn i inne 4 marca 2010

Filozofia, Historia, Wykład IV - Platońska teoria idei

Matematyka II - Organizacja zajęć. Egzamin w sesji letniej

Twierdzenia Gödla. Jerzy Pogonowski. Funkcje rekurencyjne. Zakład Logiki Stosowanej UAM

Logika i teoria mnogości Wykład Sformalizowane teorie matematyczne

Naukoznawstwo (zadania)

Sztuczna inteligencja i logika. Podsumowanie przedsięwzięcia naukowego Kisielewicz Andrzej WNT 20011

Wstęp do Matematyki (2)

Wstęp do Matematyki (1)

Rekurencyjna przeliczalność

Logika Matematyczna (1)

Dlaczego nie wystarczają liczby wymierne

Filozofia przyrody, Wykład V - Filozofia Arystotelesa

EGZAMIN MATURALNY W ROKU SZKOLNYM 2014/2015

Elementy logiki i teorii mnogości

Weronika Łabaj. Geometria Bolyaia-Łobaczewskiego

Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki

Metody dowodzenia twierdzeń i automatyzacja rozumowań Na początek: teoria dowodu, Hilbert, Gödel

INTUICJE. Zespół norm, wzorców, reguł postępowania, które zna każdy naukowiec zajmujący się daną nauką (Bobrowski 1998)

MODELOWANIE RZECZYWISTOŚCI

Filozofia, ISE, Wykład VII - Platońska teoria idei cz. 2.

David Hume ( )

O argumentach sceptyckich w filozofii

Logika dla socjologów Część 2: Przedmiot logiki

Zasady krytycznego myślenia (1)

EGZAMIN MATURALNY 2010 FILOZOFIA

Wstęp do logiki. Semiotyka cd.

Rachunek prawdopodobieństwa- wykład 2

WIEDZA zna na poziomie podstawowym co najmniej jeden pakiet oprogramowania, służący do obliczeń symbolicznych

Filozofia, Germanistyka, Wykład IX - Immanuel Kant

Informacje ogólne. Wstęp do współczesnej semantyki. Lingwistyka komputerowa

INFORMATYKA a FILOZOFIA

Wstęp do logiki. Klasyczny Rachunek Zdań IV

Juwenilia logiczne Romana Suszki

WSTĘP ZAGADNIENIA WSTĘPNE

Wstęp do logiki. Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża,

Semiotyka logiczna. Jerzy Pogonowski. Dodatek 4. Zakład Logiki Stosowanej UAM

Filozofia, Historia, Wykład V - Filozofia Arystotelesa

Rachunek zdao i logika matematyczna

Logika Matematyczna (1)

dr Anna Mazur Wyższa Szkoła Promocji Intuicja a systemy przekonań

Filozofia, Pedagogika, Wykład III - Filozofia archaiczna

OPIS ZAKŁADANYCH EFEKTÓW KSZTAŁCENIA DLA KIERUNKU STUDIÓW. Efekty kształcenia dla kierunku studiów Matematyka

Rodzaje argumentów za istnieniem Boga

Logika Matematyczna 16 17

EGZAMIN MATURALNY 2013 FILOZOFIA

Dydaktyka matematyki III-IV etap edukacyjny (wykłady) Wykład nr 3: Wprowadzanie i definiowanie matematycznych pojęć Semestr zimowy 2018/2019

Definicje nieskończoności

Drzewa Semantyczne w KRZ

KLUCZ ODPOWIEDZI KONKURS POLONISTYCZNY. Zadania zamknięte. Zadania otwarte

O badaniach nad SZTUCZNĄ INTELIGENCJĄ

= A. A - liczba elementów zbioru A. Lucjan Kowalski

Wstęp. Historia Fizyki. dr Ewa Pawelec

Zagadnienia na egzamin dyplomowy Matematyka

Logika Matematyczna (1-3) Zadania

Pseudaria. Autor: Laura Robińska

FRAKTALE I SAMOPODOBIEŃSTWO

Rzut oka na współczesną matematykę (spotkanie nr 1)

Matematyczna wieża Babel. 6. Nieskończoność i myślaki materiały do ćwiczeń

WIEDZA. X1A_W04 X1A_W05 zna podstawowe modele zjawisk przyrodniczych opisywanych przez równania różniczkowe

Główne problemy kognitywistyki: Reprezentacja

Spis treści. Wstęp Wybrane zagadnienia z teorii i metodologii filozofii przyrody... 17

AE i modele zamierzone

5. Rozważania o pojęciu wiedzy. Andrzej Wiśniewski Wstęp do filozofii Materiały do wykładu 2015/2016

Paradoxes. Filozoficzne zagadnienie paradoksów wiąże się z poznaniem.

Filozofia, Pedagogika, Wykład I - Miejsce filozofii wśród innych nauk

Indukcja. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak

Imię i nazwisko:... OBROŃCY PRAWDY

Twierdzenie Banacha-Tarskiego z punktu widzenia algebraika

George Berkeley ( )

IMMANUEL KANT ETYKA DEONTOLOGICZNA

ZALICZENIE WYKŁADU: 30.I.2019

7Toruński Festiwal. Paradoks prawdziwości oczywistej nieprawdy, czyli kiedy zawodzi. Nauki i Sztuki. Magdalena Dąbkowska Agnieszka Perduta

TAJEMNICE NIESKOŃCZONOŚCI

Maria Romanowska UDOWODNIJ, ŻE... PRZYKŁADOWE ZADANIA MATURALNE Z MATEMATYKI

Spis treści: 3. Geometrii innych niż euklidesowa.

Bóg a prawda... ustanawiana czy odkrywana?

Logika Matematyczna (2,3)

LOGIA WIARY I LOGIKA WIERZENIA. ks. Adam Olszewski UPJP2, Copernicus Center

Logika I. Wykład 1. Wprowadzenie do rachunku zbiorów

Dowody założeniowe w KRZ

KARTA PRZEDMIOTU. 1. NAZWA PRZEDMIOTU: Statystyka matematyczna (STA230) 2. KIERUNEK: MATEMATYKA. 3. POZIOM STUDIÓW: I stopnia

Filozofia z elementami logiki Klasyfikacja wnioskowań I część 1

O AKSJOMATYCZNYCH OPISACH JEZYKA NATURALNEGO 1

JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca Imię i Nazwisko:... FIGLARNE POZNANIANKI

Modelowanie wybranych pojęć matematycznych. semestr letni, 2016/2017 Wykład 8 Funkcje w matematyce szkolnej

Wiesław M. Macek. Teologia nauki. według. księdza Michała Hellera. Wydawnictwo Uniwersytetu Kardynała Stefana Wyszyńskiego

Elementy statystyki opisowej, teoria prawdopodobieństwa i kombinatoryka

Rachunek prawdopodobieństwa Rozdział 4. Zmienne losowe

KARTA KURSU. Kod Punktacja ECTS* 7

Transkrypt:

Paradoksy a Intuicja Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 7 IV 2008 Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 1 / 30

Plan na dziś Co myślisz, jako Intuicyjny Hydraulik? Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 2 / 30

Plan na dziś Plan na dziś Nie będzie to uczony wykład, a raczej garść ciekawostek, połączona z propozycją refleksji. Paradoksy: definicja encyklopedyczna. Intuicja: definicja encyklopedyczna. Krótki przegląd paradoksów: percepcyjnych, matematycznych, fizycznych, socjologicznych, filozoficznych. Refleksja: paradoksy jako kolizja przekonań. Wykorzystamy materiały z wykładów Semiotyki Logicznej. Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 3 / 30

Definicje Antynomia Paradoks Sofizmat Antynomia. To sprzeczność logiczna. Paradoks. W uproszczeniu, jest to coś (np. stwierdzenie), co ma pozory fałszu, choć (po stosownej analizie) okazuje się prawdą (w odpowiednio zmodyfikowanym języku). Sofizmat. To rozumowanie, które ma pozory poprawności, ale (po stosownej analizie) okazuje się niepoprawne. Uwaga. W terminologii anglosaskiej używa się terminu paradox zarówno dla antynomii, jak i dla paradoksów. Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 4 / 30

Definicje Intuicja Będziemy odnosić termin intuicja do pewnego rodzaju wiedzy, a więc do zespołu przekonań. W najszerszym sensie, intuicja oznacza bezpośrednie uchwycenie (umysłem) (immediate apprehension). Owo uchwytywanie może dotyczyć wrażeń zmysłowych, przekonań i wiedzy, a nawet doświadczeń o charakterze mistycznym. Natomiast bezpośredniość może oznaczać brak: wnioskowania, związku przyczynowego, uzasadniania, reprezentacji symbolicznej, a nawet myśli. Intuicja matematyczna jest czymś innym niż intuicja zdroworozsądkowa. Ta pierwsza jest zmienna, druga jest bardziej odporna na zmiany. Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 5 / 30

Definicje Paradoksy Wedle przyjętego tu określenia paradoksu, mamy z nim do czynienia, gdy następuje kolizja zastanych intuicji (a więc pewnych przekonań) z jakimś zjawiskiem, obserwacją, przekonaniem. Dla rozwiązania paradoksu (jego wytłumaczenia, usunięcia) potrzebne jest zatem wyraźne określenie owych intuicji. Nie ma zatem paradoksów w sensie absolutnym: są one zrelatywizowane do pewnego zespołu przekonań (m.in. charakteryzujących odnośne intuicje). Zauważmy, że formalizm zawsze zwycięża (Roman Suszko): matematyka nigdy nas nie zdradziła. Zrozumienie istoty poszczególnych paradoksów pozwala określić wyraźnie granice stosowalności naszych intuicji. Czasem też intuicje te wręcz modyfikuje. Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 6 / 30

Definicje Antynomie Znalezienie w jakiejś koncepcji teoretycznej antynomii dyskwalifikuje tę koncepcję jako wartościową teorię. Wiadomo, że sprzeczność implikuje logicznie wszystko. Zalecana jest zatem eliminacja antynomii. Częstym źródłem powstawania antynomii jest nieodróżnianie języka przedmiotowego od metajęzyka. Innym powodem pojawiania się antynomii bywają nietrafnie czynione założenia. Także takie zjawiska semantyczne (zwane, na przekór Faktom, anomaliami), jak np. wieloznaczność, intensjonalność, nieostrość mogą być odpowiedzialne za powstawanie antynomii. Antynomie należy zatem usuwać. A co robimy z paradoksami? Paradoksy modyfikują nasze intuicje. Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 7 / 30

Paradoksy percepcji Paradoksy percepcji Zauważenie, że zmysły nas oszukują było, przypuszczalnie, jedną z ważnych inspiracji do rozwoju nauk empirycznych. Oto kilka paradoksów percepcji: Wzrok każe uznać, że szyny kolejowe gdzieś tam daleko się przetną. Czy miałeś ostatnie słowo w rozmowie z echem? Czy znasz dworzec PKP w Opolu? Wiesz, co można usłyszeć w sali, w której sprzedaje się bilety? Jakie są podstawy podziału zapachów na przyjemne oraz wstrętne? Uwarunkowane ewolucyjnie czy społecznie? Podobne pytania dla zmysłu smaku, dotyku, równowagi. Dysonansy percepcyjne (niespójne informacje różnych zmysłów). Pewne substancje wpływają na percepcję. Ale: w stanie deprywacji sensorycznej również możemy mieć pewne doznania zmysłowe. Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 8 / 30

Paradoksy percepcji Paradoksy percepcji Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 9 / 30

Paradoksy percepcji Paradoksy percepcji Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 10 / 30

Paradoksy percepcji Paradoksy percepcji Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 11 / 30

Paradoksy percepcji Paradoksy percepcji Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 12 / 30

Paradoksy percepcji Paradoksy percepcji Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 13 / 30

Paradoksy matematyczne Paradoksy matematyczne Paradoksy matematyczne, o których chyba wszyscy coś słyszeli: Banach-Tarski. Kulę można podzielić np. na 5 części i złożyć z nich dwie kule, każda o objętości takiej, jak kula wyjściowa. Paradoks Skolema. Istnieje przeliczalny model teorii mnogości, w którym prawdziwe jest zdanie stwierdzające istnienie zbiorów nieprzeliczalnych. Geometria i topologia. Wstęga Möbiusa, flaszka Kleina, itp. http://www.youtube.com/watch?v=d1vjsm9pqlc http://www.youtube.com/watch?v=e8rifklq5hc Paradoksy nieskończoności. Paradoks Galileusza, Hotel Hilberta, itp. Fraktale. Obiekty o ułamkowym wymiarze. Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 14 / 30

Paradoksy matematyczne Krzywa Hilberta Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 15 / 30

Paradoksy matematyczne Intuicja a topologia Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 16 / 30

Paradoksy matematyczne Paradoksy matematyczne Jak postępujemy, gdy jakieś zdanie okazuje się niezależne od aksjomatów danej teorii matematycznej? Por. np.: V aksjomat Euklidesa aksjomat wyboru hipoteza kontinuum aksjomaty istnienia dużych liczb nieskończonych. Zauważenie (dowód), że V aksjomat Euklidesa jest niezależny od pozostałych prowadzi do konstrukcji geometrii nieeuklidesowych. Obala też przekonanie, że jedynie geometria Euklidesa stanowi trafną geometrię Świata. Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 17 / 30

Paradoksy matematyczne Geometria Riemanna Geometria Riemanna: przez punkt nie leżący na danej prostej nie przechodzi żadna prosta równoległa do danej. Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 18 / 30

Paradoksy matematyczne Geometria Łobaczewskiego Geometria Łobaczewskiego: przez punkt nie leżący na danej prostej przechodzi więcej niż jedna prosta równoległa do danej. Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 19 / 30

Paradoksy matematyczne Geometria Łobaczewskiego Geometria Łobaczewskiego zilustrowana jest na grafice Eschera: Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 20 / 30

Paradoksy fizyczne Paradoksy fizyczne Fizyczny obraz świata, proponowany przez teoretyków, dawno już wyprzedził obraz zdroworozsądkowy. Niektóre znane paradoksy: Perpetuum mobile. Różne urządzenia, rzekomo będące perpetuum mobile. Smutna spuścizna Arystotelesa. Bałamutne (dziś!) prawa ruchu. Schrödinger. Czy możemy określić, czy kot jest żywy przed otworzeniem pudełka? Olbers. Dlaczego nocnego nieba nie wypełnia całkowicie blask gwiazd? Paradoks dziadka. Podróżujesz w czasie i zabijasz swojego dziadka, zanim spłodzeni zostali twoi rodzice. Zwróćmy uwagę, że np. zjawiska kwantowe, uważane za paradoksalne, gdy opisywać je w językach etnicznych, są spójnie opisywane językiem matematyki. Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 21 / 30

Paradoksy fizyczne Paradoksy fizyczne Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 22 / 30

Paradoksy fizyczne Paradoksy fizyczne Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 23 / 30

Paradoksy w naukach społecznych Paradoksy statystyczne Statystyka przestępstw. W miastach o większej liczbie kościołów, większa jest także liczba popełnianych przestępstw. Loteria. Można wierzyć, że prawdopodobieństwo, że każdy konkretny los jest wygrany, jest znikome. Nie można wierzyć, że prawdopodobieństwo, że wszystkie losy są przegrane, jest bliskie zeru. Monty Hall Problem. Gra o dwóch ruchach. Mamy trzy pudełka, dokładnie jedno zawiera nagrodę, dwa pozostałe są puste. Ja wiem, w którym pudełku jest nagroda, ty nie wiesz. Chcesz wygrać nagrodę. W pierwszym ruchu wybierasz pudełko. Wtedy ja pokazuję, że jedno z pozostałych pudełek jest puste. W drugim ruchu masz dwie możliwości: (a) pozostać przy pierwszym wyborze (b) zmienić wybór na pozostałe pudełko, którego nie odkryłem. Pytanie. Co jest bardziej opłacalne (dla uzyskania nagrody): pozostać przy pierwszym wyborze zmienić wybór na pozostałe pudełko, którego nie odkryłem (a) i (b) są równie prawdopodobne. Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 24 / 30

Paradoksy w naukach społecznych Paradoksy decyzyjne Paradoks Condorceta polega na tym, że globalne preferencje wyborców mogą być cykliczne czyli że relacja większość preferuje X nad Y nie jest przechodnia, nawet jeśli dla każdego wyborcy z osobna jego preferencje (dany wyborca preferuje X nad Y ) są przechodnie. Preferencje wyborców dla kandydatów A, B, C: Wyborca 1 A B C Wyborca 2 B C A Wyborca 3 C A B Wtedy 2 3 wyborców uważa że A jest lepszy niż B, 2 3 uważa że B jest lepszy niż C, i 2 3 uważa że C jest lepszy niż A. Nie ma zwycięskiej koalicji większościowej. Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 25 / 30

Paradoksy filozoficzne Paradoksy filozoficzne Tu paradoksów jest równie wiele, jak nierozstrzygalnych pytań. Nihilizm. Jeśli prawda nie istnieje, to stwierdzenie Prawda nie istnieje jest prawdą. Quine. Jeśli to zdanie jest prawdziwe, to Pingwiny rządzą światem. Forrester. Jeśli zamierzamy kogoś zabić, to powinniśmy uczynić to w sposób humanitarny. Jeśli zabijamy w sposób humanitarny, to zabijamy. Jeśli zatem zamierzamy kogoś zabić, to powinniśmy to zrobić. Hempel. Obserwowanie żółtych liści dostarcza konfirmacji, że wszystkie kruki są czarne. Hegel. Człowiek uczy się z historii, że człowiek niczego nie uczy się z historii. Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 26 / 30

Paradoksy filozoficzne Paradoksy filozoficzne Kamień. Istota wszechmogąca może stworzyć kamień, którego nie może podnieść. Teodycea. Istnienie zła na świecie jest w zgodzie z miłosierdziem bożym. Epimenides. Kreteńczyk mówi: Wszyscy Kreteńczycy kłamią. Grelling. Przymiotnik jest autologiczny, gdy ma własność, o której mówi. Przymiotnik jest heterologiczny, gdy nie ma własności, o której mówi. Jaki jest przymiotnik heterologiczny? Berry. Najmniejsza liczba naturalna niedefiniowalna przez mniej niż 30 słów jest definiowalna przez mniej niż 30 słów. Achilles. Jeśli Żółw znajduje się w odległości np. 1m od Achillesa, to Achilles nigdy go nie dogoni. Stos. Jedno ziarno nie tworzy stosu. Dwa ziarna nie tworzą stosu. Trzy ziarna nie tworzą stosu.... Milion ziaren tworzy stos. Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 27 / 30

Paradoksy filozoficzne Paradoksy filozoficzne Moment śmierci. Jeśli żyjemy, to śmierci nie ma. Jeśli nie żyjemy, to nie ma życia. Moment śmierci nie może należeć ani do życia, ani do śmierci. Moore. Byłem wczoraj w kościele, ale w to nie wierzę. Protagoras i Euatlos. Euatlos pobierał nauki (bez opłat) u Protagorasa. Miał zapłacić za naukę, gdy wygra swój pierwszy proces. Po zakończeniu nauki, nie podejmował się pracy sądowniczej. Protagoras wytoczył mu proces. Przedstaw: argumentację Protagorasa, że Euatlos powinien zapłacić za naukę; argumentację Euatlosa, że nie powinien płacić za naukę. Wszechmoc. Co się stanie, gdy pocisk, który przebija wszystko trafi w tarczę, której nic nie może przebić? Diamenty i woda. Dlaczego diamenty są droższe od wody, skoro woda jest niezbędna do życia, a diamenty nie są? Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 28 / 30

Paradoksy filozoficzne Paradoksy filozoficzne Achilles daleko w tyle... Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 29 / 30

Koniec Refleksje na koniec Refleksje na koniec: Paradoksy są zatem, w najogólniejszym ujęciu, kolizjami przekonań. Paradoksy są zrelatywizowane do języka. Paradoksy są modyfikatorami intuicji. To, co przestaje być paradoksalne, zaczyna funkcjonować jako wiedza zdroworozsądkowa, potoczna. Na początku Filozofowania jest Zdziwienie, czasem wywołane paradoksami. Paradoksy pełnią funkcję twórczą w nauce. Jerzy Pogonowski (MEG) Paradoksy a Intuicja 7 IV 2008 30 / 30