Renata Ziemińska Nozick o wiedzy i sceptycyzmie. Filozofia Nauki 10/1,
|
|
- Grzegorz Majewski
- 6 lat temu
- Przeglądów:
Transkrypt
1 Renata Ziemińska Nozick o wiedzy i sceptycyzmie Filozofia Nauki 10/1,
2 Filozofia Nauki RokX, 2002, Nr 1(37) Renata Ziemińska Nozick o wiedzy i sceptycyzmie1 Robert Nozick (profesor filozofii w Uniwersytecie Harvarda), znany jest w Polsce przede wszystkim jako filozof polityki, autor książki Anarchia, państwo, utopia. Sam jednak nie uważa się za filozofa polityki, ponieważ więcej tekstów i więcej uwagi poświęca innym kwestiom filozoficznym ([Nozick 1997], s. 1). Są nimi zagadnienia wolnej woli, jaźni, pytanie, dlaczego jest raczej coś niż nic, oraz problem wiedzy. Temu ostatniemu poświęcony jest obszerny rozdział Philosophical Explanations [Nozick 1981], który wywołał ogromne zainteresowanie u epistemologów, przynosząc ciekawą definicję wiedzy, oryginalne podejście do sceptycyzmu oraz, co było najbardziej bulwersujące, odrzucenie epistemicznej interpretacji modus ponens. 1. KONDYCJONALNA DEFIN ICJA W IEDZY Nozick, nawiązując do problemu Gettiera,2 twierdzi, że kauzalne teorie wiedzy stały na słusznym stanowisku, że tym, co odróżnia wiedzę od prawdziwego przeko- 1 Artykuł zawiera fragmenty przygotowywanej do druku książki pt. Eksternalizm we współczesnej epistemologii. Kondycjonalna teoria wiedzy Nozicka jest jednym z ważniejszych stanowisk ekstemalistycznych we współczesnej epistemologii (teorii wiedzy i uzasadnienia). Dana teoria uzasadnienia (lub innej własności, która czyni prawdziwe przekonanie wiedzą) jest ekstemalistyczna, gdy pozwala, aby czynniki uzasadniające przekonanie (lub ich odpowiednik) nie były introspekcyjnie dostępne podmiotowi tego przekonania. Intemalizm zaś, którego negacją jest eksternalizm, zakłada, że funkcję uzasadniającą mogą pełnić wyłącznie czynniki, do których podmiot ma introspek- cyjny dostęp (por. R. Ziemińska, What Is Epistemic Extemalism?, Reports on Philosophy 18 (1998), s. 67). Nozick w miejsce uzasadnienia proponuje dwa warunki w postaci okresów warunkowych; zachodzenie tych warunków nie jest introspekcyjnie dostępne. 2 Gettier w pracy z 1963 podał kontrprzykłady do tradycyjnej definicji wiedzy jako prawdzi
3 140 Renata Ziemińska nania jest odpowiedni związek miedzy przekonaniem ( 1) i faktem, którego to przekonanie dotyczy (2). Nie należy zatem w definicji wiedzy poszukiwać dodatkowych poza nimi czynników, lecz odpowiednio ustalić związek między (1) i (2). Jeśli jednak określimy ten związek jako po prostu związek przyczynowy, to powstaną problemy z wiedzą matematyczną czy etyczną. Próby słabszego ujęcia związku przyczynowego (np. kauzalna definicja wiedzy Goldmana, por. [Goldman 1967]) są według Nozicka problematyczne i nie potrafią poradzić sobie z hipotezą mózgu w pojemniku: Jeśli u kogoś znajdującego się w pojemniku, nieświadomego swojej sytuacji, wywołuje się (przez bezpośrednią elektryczną i chemiczną stymulację mózgu) przekonanie, że jest on w pojemniku, a jego mózg jest stymulowany, to nawet jeśli ten fakt jest częściową przyczyną tego przekonania, osoba ta nie wie, że tak jest ([Nozick 1981], s. 172). Nozick proponuje inne ujęcie związku między przekonaniem a jego przedmiotem, a mianowicie definicję kondycjonalną, zawierającą dwa okresy warunkowe (subjunctive conditionals). Kondycjonalna definicja ma być zgodna z potoczną wiedzą oraz wyrafinowanymi przykładami z literatury filozoficznej. Zawiera następujące warunki (traktowane jako konieczne i łącznie wystarczające) dla wiedzy: S wie, ż ep =df (\)p jest prawdziwe; (2) S ma przekonanie, że p\ (3) Gdyby p nie było prawdziwe, S nie miałby przekonania, że p\ (4) Gdyby p było prawdziwe, 5 miałby przekonanie, że p ([Nozick 1981], s ). Przy użyciu operatora wiedzy (K) i przekonania (B), (s pozostaje symbolem podmiotu), definicja ta wygląda następująco: K sp = d f(l)p (2) Bsp (3) ~p -> -B sp (4 )p ^> B sp Symbol» odpowiada potocznemu spójnikowi gdyby...to. Nozick zaznacza, że nie chodzi tu o relację ścisłej implikacji. Okres warunkowy gdyby p było prawwego uzasadnionego przekonania. Jeden z nich jest następujący: Człowiek o nazwisku Smith ma mocne podstawy do sądzenia, że jego sąsiad Jones posiada samochód marki ford, ponieważ na ile Smith sięga pamięcią, Jones zawsze miał forda, ostatnio podwiózł go fordem i trzyma forda w garażu. Smith ma także innego znajomego, Browna, o którego aktualnym miejscu pobytu nic nie wie. Znając jednak logiczne własności spójnika alternatywy, Smith stwierdza z przekonaniem, że Jones posiada forda lub Brown jest w Barcelonie. Zdarza się jednak tak, że Jones nie posiada aktualnie forda i jeździ fordem wypożyczonym, a Brown jest akurat w Barcelonie. W tym wypadku Smith ma prawdziwe uzasadnione przekonanie, a jednak nie posiada wiedzy. W odpowiedzi na ten kontrprzy- kład epistemologowie próbowali znaleźć dodatkową własność, która dodana do prawdziwego uzasadnionego przekonania usuwałaby kontrprzykłady Gettiera (lub eliminując uzasadnienie sama czyniłaby prawdziwe przekonanie wiedzą).
4 Nozick o wiedzy i sceptycyzmie 141 dziwę, q byłoby prawdziwe, p >q, nie stwierdza, że p pociąga (entails) q lub że jest logicznie niemożliwe, ż e p choć nie-# ([Nozick 1981], s. 173). W powyższej definicji warunki (3) i (4) nie odnoszą się zatem do logicznej niemożliwości. Nie chodzi w nich o to, że ilekroć dany sąd jest fałszywy, to z konieczności dany podmiot nie uznaje go (nie ma odpowiedniego przekonania), a ilekroć sąd ten jest prawdziwy, to podmiot go uznaje. Nozick wyjaśnia sens warunków (3) i (4) za pomocą teorii możliwych światów. (Przyjmijmy za Chisholmem, że możliwy świat to sposób, w jaki świat może być.) Okres warunkowy p *ą jest prawdziwy, kiedy w tych wszystkich światach, w którychp jest prawdziwe, a które są najbliższe naszemu światu, q również jest prawdziwe. Natomiast światy bardziej oddalone od naszego (także te spośród nich, które są /э-światami czyli światami, w których p jest prawdziwe) są nierelewantne dla prawdziwości tego okresu warunkowego. Światy bliskie to takie, które prawdopodobnie mogłyby się zdarzyć. Tylko te światy są relewantne dla naszej wiedzy. Warunek (3) jest spełniony, jeśli S ma przekonanie, że p we wszystkich tych możliwych światach, w których p jest prawdziwe i które są najbliższe świata faktycznego. Warunek (4) jest spełniony, jeśli S nie ma przekonania, że p we wszystkich tych światach możliwych, w których ~p jest prawdziwe i które są najbliższe światu faktycznemu. Definicja podana przez Nozicka eliminuje kontrprzykłady Gettiera, ponieważ w ich przypadku nie jest spełniony warunek (3). Gdyby nie było prawdą, że Brown jest w Barcelonie (a w związku z tym, gdyby nie było prawdziwe zdanie alternatywne: Jones posiada forda lub Brown jest w Barcelonie), Smith nadal miałby przekonanie, że Jones posiada forda lub Brown jest w Barcelonie. Warunek (3) jest też skuteczny wobec trudności teorii relewantnych alternatyw ( wiedzieć znaczy tyle, co umieć wyeliminować relewantne alternatywy ) z wyznaczeniem zakresu relewancji. Nozick powołuje się tu na Goldmanowski ([Goldman 1976], s ) przykład Henryka jadącego przez wieś i widzącego stodołę. Przy dobrej widoczności zwykle powiemy, że Henryk wie, że to jest stodoła. Wyobraźmy sobie jednak, że bez wiedzy Henryka w tej okolicy postawiono wiele makiet stodół (bez wnętrz i tylnych ścian). W tym wypadku, jeśli Henryk nie ma danych przeciwko temu, że to nie jest makieta, powiemy, że nie wie, że dany obiekt jest stodołą. Nie jest bowiem spełniony warunek (3) definicji. Gdyby zdarzyło się tak, że oglądany przez Henryka obiekt nie byłby stodołą tylko makietą, Henryk najprawdopodobniej nadal uważałby, że to jest stodoła ([Nozick 1981], s ). Warunek (3) jest precyzacją (nie wiadomo tylko czy trafną) dość mglistego warunku nieobecności relewantnych alternatyw, który jest u Dretske go [Dretske 1981] i Goldmana [Goldman 1976], a także warunku zdolności do wyróżniania występującego u Goldmana (op. cit.) i McGinna [McGinn 1984]. Wszystkie te warunki mają na celu zagwarantowanie wiedzy nieprzypadkowości (czyli wyeliminowanie przypadków Gettiera), a jednocześnie wybranie z zakresu kontrfaktycznych sytuacji logicznie możliwych tych, które są
5 142 Renata Ziemińska w danym przypadku relewantne ponieważ wiadomo, że nie da się wyeliminować wszystkich. Warunek (3) definicji sam nie wystarcza jednak do tego aby można było uporać się z przypadkiem osoby w pojemniku, u której poprzez elektryczną i chemiczną stymulację jej mózgu spowodowano przekonanie, że ona jest w pojemniku i że spowodowano u niej to przekonanie. Warunek (3) jest spełniony: gdyby ta osoba nie była w pojemniku, nie miałaby przekonania, że jest w pojemniku. Ze względu na ten przypadek Nozick dodaje do swej definicji warunek (4): gdyby p było prawdziwe (w zmienionych okolicznościach), S (nadal) miałby przekonanie, że p..jeśli p, to S ma przekonanie, że p" jest okresem warunkowym i dla jego prawdziwości nie wystarczy prawdziwość jego poprzednika i następnika. Zdanie (4) jest prawdziwe, gdy podmiot nie tylko ma prawdziwe przekonanie, że p, ale ponadto, gdy w bliskich światach, w których p jest prawdziwe, podmiot ten ma nadal takie przekonanie. Osoba w pojemniku nie wie, że tam jest, ponieważ jej przekonanie nie jest wrażliwe na prawdę. Choć przekonanie to zostało spowodowane przez fakt, który jest jego treścią, nie jest na ten fakt wrażliwe. Gdyby operatorzy tego pojemnika spowodowali dowolne inne, także fałszywe, przekonanie, osoba w pojemniku żywiłaby to przekonanie. Osoba w pojemniku nie spełnia więc warunku (4). Gdyby była w pojemniku w innych bliskich faktycznej sytuacjach (np. kiedy jest w pojemniku, a nie wywołują w niej przekonania, że tam jest), to nie miałaby przekonania, że jest w pojemniku ([Nozick 1981], s ). Warunek (4) odpiera też słynny przykład podany przez Harmana ([Harman 1973], s. 142). Zabito dyktatora w pewnym kraju. Gazety w pierwszym wydaniu drukują historię, ale potem wszystkie krajowe gazety i inne media fałszywie to dementują. Wszyscy, którzy usłyszeli dementi albo wierzą mu, albo zawieszają sąd. Tylko jedna osoba w tym kraju nie usłyszała dementi i ma prawdziwe przekonanie. Osoba ta spełnia warunki ( 1) (3) oraz warunek kauzalny, nie powiemy jednak, że zna prawdę. Powód jest taki, że gdyby usłyszała dementi, to wierzyłaby mu lub zawiesiła sąd jak inni. Jej przekonanie, pisze Nozick, nie jest czułe na prawdę i nie spełnia warunku (4) ([Nozick 1981], s. 177). Wiedzieć, że p, to znaczy być kimś, kto miałby takie przekonanie, gdyby było ono prawdziwe i kto nie miałby takiego przekonania, gdyby było ono fałszywe (ibidem, s. 178). Ten związek w trybie przypuszczającym (subjunctive) pomiędzy przekonaniem a faktem wyraża śledzenie (tracking) prawdy. Wiedzieć to mieć przekonanie, które śledzi prawdę, które jest na nią wrażliwe. Wiedza jest szczególnym sposobem związania ze światem, posiadania specyficznego realnego i faktualnego związku ze światem, mianowicie śledzenia go (ibidem, s. 178). Nozick dodatkowo uzupełnia swoją definicję ze względu na następujący kontrprzykład: Babcia widzi, że jej wnuczek jest zdrowy, kiedy ją odwiedza; gdyby jednak był chory lub zmarł, inni powiedzieliby jej, że jest zdrowy, aby oszczędzić jej zmartwień. Nie znaczy to jednak, że kiedy babcia widzi wnuczka, to nie wie, że jest zdro
6 Nozick o wiedzy i sceptycyzmie 143 wy, lub przynajmniej jest «na chodzie». Warunki wiedzy uzupełnione odniesieniem do metody, czy sposobu dojścia do danego przekonania są następujące: S wie, za pomocą metody M, że p =df ( 1 ) p jest prawdziwe; (2) S ma przekonanie, że p i doszedł do niego za pomocą metody M\ (3) Gdyby p nie było prawdziwe, a S posługiwałby się metodą M, to 5 nie doszedłby do przekonania, że p za pomocą metody Л/; (4) Gdyby p było prawdziwe, a 5 posługiwałby się metodą M, to S doszedłby do przekonania, że p za pomocą metody M (ibidem, s. 179). W ten sposób pojawia się dodatkowy warunek, aby przekonania w kontrfaktycznych sytuacjach były uzyskane tą samą metodą, co przekonanie w sytuacji faktycznej. Pozwala to na uniknięcie kontrprzykładów powyższego typu. Nozick rozpatruje jeszcze sytuację, gdy wiele metod doprowadziło do jednego przekonania, przytaczając przykład omawiany przez Armstronga: ojciec wierzy, że jego syn nie popełnił przestępstwa, ponieważ wierzy w niego i dodatkowo (obecnie) dlatego, że był właśnie świadkiem uniewinnienia go przed sądem. Jego przekonanie uzyskane metodą procesu sądowego spełnia warunki definicji wiedzy (1) (4). Jednak to samo przekonanie oparte na wierze w niewinność syna, warunków tych nie spełnia: gdyby bowiem syn był winny, ojciec nadal wierzyłby w jego niewinność. W tej sytuacji Nozick wprowadza pojęcie m e to d y przeważającej i ostatecznie warunki wiedzy proponuje następujące: S wie, że p zawsze i tylko wtedy gdy: jest taka metoda M, że (a) 5 wie, że p za pomocą metody M; jego przekonanie spełnia warunki (1) (4) i (b) wszystkie inne metody M\, za których pomocą dochodzi do przekonania, że p, a które nie spełniają warunków (1) (4), mają mniejszą wagę niż M (ibidem, s. 182). Przy dalszych rozważaniach Nozick pomija jednak odniesienie do metod, wracając do wcześniejszych prostszych warunków (3) i (4). Dodaje jeszcze, że w wypadku twierdzeń matematyki (zakładając, że jeśli są prawdziwe, to są koniecznie prawdziwe) warunek (3) nie wchodzi w grę: w wypadku bowiem sądów koniecznie prawdziwych, poprzednik warunku (3) jest koniecznie fałszywy. Wiele jednak twierdzeń matematycznych aprobujemy nie na podstawie dowodu lecz autorytetu, a ponadto choć dowód gwarantuje prawdę poprzez relacje formalne, możemy pomylić się w jego przeprowadzaniu. Dlatego warunek (4) nie zawsze jest spełniony, gdy jego poprzednik jest prawdziwy. Tu jest miejsce na nasze błędy w przekonaniach dotyczących przedmiotów matematycznych. 2. SCEPTYCYZM I ODRZUCENIE ZASADY DOMKNIĘCIA СPRINCIPLE OF CLOSURE) Przez przyjęcie podanej wyżej definicji wiedzy Nozick ustępuje częściowo na rzecz sceptycyzmu. Stwierdza bowiem, że nie wiemy (w myśl owej definicji), czy nie
7 144 Renata Ziemińska zachodzi sytuacja sceptyczna, np. że śnimy lub że jesteśmy osobami w pojemniku. Równocześnie z Nozickiem tę ostatnią hipotezę przedstawił Putnam [Putnam 1981], który zaznacza jednak, że hipoteza ta powstała w czasie jego rozmowy z Nozickiem: Wyobraźmy sobie, że pewien człowiek (Czytelnik może wyobrazić sobie siebie w tej roli) poddał się operacji wykonanej przez niegodziwego uczonego. Jego (twój) mózg został usunięty z ciała i umieszczony w naczyniu wypełnionym pożywką, która podtrzymuje mózg przy życiu. Zakończenia nerwowe zostały podłączone do superkomputera, który powoduje, że osoba, której mózg wyjęto, doświadcza iluzji, iż wszystko jest w najlepszym porządku. Ma ona złudzenie istnienia osób, przedmiotów, nieboskłonu itd.; natomiast w rzeczywistości wszystko, czego ów człowiek doznaje (ty doznajesz), jest następstwem impulsów elektronicznych płynących od komputera do zakończeń nerwowych ([Putnam 1998], s. 302). Nozick wbrew Putnamowi uznaje hipotezę sceptyczną za spójną, nie widzi w niej nic niemożliwego, żadnej wewnętrznej sprzeczności.3 Gdyby ktoś z nas, pisze Nozick, był faktycznie takim mózgiem w pojemniku (np. na Alfa Centauri), miałby dalej przekonanie, że posiada ciało i chodzi po Ziemi. Nie nastąpiłaby przecież żadna zmiana w jego doświadczeniu. Jeśli tak, to nie jest spełniony warunek (3): gdybyśmy nie byli na Ziemi tylko na Alfa Centauri w pojemniku, nadal mielibyśmy przekonanie, że chodzimy po Ziemi. W myśl kondycjonalnej definicji wiedzy, nie wiemy zatem, czy nie zachodzi sytuacja sceptyczna (SK). 4 Nie wiemy, czy nie jesteśmy ofiarami złośliwego demona, nie wiemy, czy nie jesteśmy w takim pojemniku i nie wiemy, czy nie śnimy (Nozick, op. cit., s. 201). Nozick zgadza się w tym punkcie ze sceptykami. Nie ma sposobu na to, by wiedzieć, że coś takiego się nie dzieje, ponieważ nie ma sposobu na rozpoznanie tego, gdyby się zdarzyło (ibidem). Gdyby nawet coś takiego się zdarzyło, wszystko wydawałoby się nam takie same.5 Okazuje się jednak, że takie ustępstwo na rzecz sceptycyzmu pociąga za sobą całą «lawinę niewiedzy», np. odnośnie tego jak się nazywam, kim byli moi rodzice czy skąd pochodzę. Jeśli wiem, że stąd iż siedzę przy biurku wynika, że nie jestem na Alfa Centauri w pojemniku z odżywkami i wiem, że siedzę przy biurku, to wiem, że nie jestem na Alfa Centauri. Bycie na Alfa Centauri implikuje niebycie na Ziemi i odwrotnie. Jeśli nie wiem, że nie jestem na Alfa Centauri, to nie wiem, że jestem 3 Putnam formułuje transcendentalny argument odwołujący się do teorii referencji przeciw możliwości hipotezy sceptycznej: jeżeli możemy skutecznie opisać sceptyczną możliwość, używając słów, które mają desygnaty, to sytuacja sceptyczna jest niemożliwa ([Putnam 1998], s. 306). 4 Odegard ([Odegard 1986], s. 212) słusznie zauważa, że świat demona nie jest bliski naszemu światu faktycznemu i że Nozick wydaje się być w tym punkcie niekonsekwentny. Według Odegarda zdanie Nie ma żadnego demona spełnia warunki kondycjonalnej definicji wiedzy. Pojęcie bliskich światów jest niejasne: nie wiadomo, czy chodzi o światy bliskie naszego wyobrażenia o świecie faktycznym, czy światy bliskie z perspektywy świata demona. 5 Nozick nie zgadza się z Kartezjańskim odparciem hipotezy złośliwego demona i hipotezy snu, nie tylko ze względu na niekonkluzywność dowodu na istnienie Boga, który Kartezjusz podaje, ale również dlatego, ze Bóg mógłby mieć swoje powody, aby nas zwodzić (Nozick, op. cit.. s ).
8 Nozick o wiedzy i sceptycyzmie 145 tutaj na Ziemi, że siedzę przy biurku i piszę. Nie wiem również wszystkich innych banalnych rzeczy, o których na co dzień sądzę, że je wiem..jeśli nie wiemy, że nie śnimy, że nie jesteśmy zwodzeni przez złośliwego demona i nie pływamy w pojemniku, to jak ja mogę wiedzieć np. że siedzę przed kartką i piszę piórem i jak ty możesz wiedzieć, że czytasz stronice jakiejś książki? (ibidem, s. 203). Rozumowaniem, które stanowi podstawę tego wniosku jest pewna epistemiczna wersja modus ponens o schemacie: jeśli wiem, że p )q i wiem, że p, to wiem, że q. Nozick (ibidem, s. 204) nazywa ten schemat zasadą domknięcia (PC): (PC) [K (p ^q ) л Kp] -> Kq Wedle tej zasady: jeżeli wiem, że jeśli siedzę i czytam na Ziemi, to nie jestem mózgiem w pojemniku na Alfa Centauri i wiem, że siedzę i czytam na Ziemi, to wiem, że nie jestem mózgiem w pojemniku na Alfa Centauri. U Nozicka jest jednak inaczej: (1) wiem, że jeśli siedzę i czytam na Ziemi, to nie jestem mózgiem w pojemniku na Alfa Centauri, (2) wiem też, że siedzę i czytam na Ziemi, ale (3) nie wiem, że nie jestem mózgiem w pojemniku na Alfa Centauri. Pierwsza teza jest analityczna (jej prawdziwość opiera się na rozumieniu pojęć bycia na Ziemi i bycia na Alfa Centauri), druga jest daną preanalityczną (zdroworozsądkowy fakt dany do wyjaśnienia przez epistemologa), a trzecia opiera się na Nozickowskiej definicji wiedzy. Nozick nie kwestionuje żadnej z tych trzech tez, tylko zasadę domknięcia. Jeszcze inaczej rzecz przedstawiając: podstawmy za p Siedzę i piszę, a za q Nie jestem mózgiem w pojemniku. Jeśli wiem, że stąd iż siedzę i piszę wynika, że nie jestem mózgiem w pojemniku i wiem, że siedzę i piszę, to stąd wynika, że wiem iż nie jestem mózgiem w pojemniku. Nozick jednak zgodził się wcześniej ze sceptykami, że nie wiemy czy nie zachodzi sytuacja sceptyczna, a zatem czy nie jesteśmy mózgami w pojemniku. Nie wiem więc, czy nie jestem mózgiem w pojemniku. Jeśli zatem wiem, że stąd iż siedzę i piszę wynika, że nie jestem mózgiem w pojemniku, oraz nie wiem, że nie jestem mózgiem w pojemniku, to stąd wynika, że nie wiem, że siedzę i piszę. Jest to epistemiczna interpretacja modus tollens: [K(p-*q) л ~Kq] - 4 ~Kp Nozick nie zgadza się z wnioskiem, że nie wie, czy teraz siedzi i pisze (przykład wiedzy banalnej), ponieważ posiadanie wiedzy banalnej przez ludzi jest dla niego faktem. Wyjaśnienie tego faktu skłania go do zakwestionowania zasady domknięcia (PC). Tym sposobem Nozick zgadza się ze sceptykami, że nie wiemy, czy nie jesteśmy mózgami w pojemniku, ale nie zgadza się z nimi, że z tego powodu nigdy nie wiemy np., że siedzimy przy stole i czytamy książkę. Sceptyk po prostu nie ma prawa opierać się na zasadzie domknięcia (zwrócenie uwagi na ten słaby punkt może być sposobem obrony naszej codziennej wiedzy w polemice ze sceptykiem). Nozick uznaje prawa logiczne modus ponens i modus tollens, ale odrzuca ich epistemiczne interpretacje (PC). Wiedza, jego zdaniem, nie jest domknięta przez relację implikacji.
9 146 Renata Ziemińska,JS wie, że p, kiedy S ma prawdziwe przekonanie, że p i S nie miałby fałszywego przekonania, że p (warunek (3)) i S miałby prawdziwe przekonanie, że p (warunek (4)). Żaden z tych dwu ostatnich warunków nie jest domknięty przez logiczną implikację w jakimkolwiek sensie (Nozick, op. cit., s. 206). W wypadku warunku (3) (gdyby p było fałszywe, S nie miałby przekonania, że p) nie można założyć, że najbliższe światy, gdzie p nie jest prawdziwe, i najbliższe światy, gdzie q nie jest prawdziwe, są przekonaniowo identyczne, tj. że nawet jeśli p implikuje q, to nasze przekonania w jednym z tych światów będą podzbiorem właściwym naszych przekonań w drugim. To że urodziłeś się w jakimś mieście implikuje że urodziłeś się na Ziemi, ale rozważanie co byłoby, gdybyś nie urodził się w tym mieście, jest zupełnie różne od rozważania tego, co byłoby gdybyś nie urodził się na Ziemi. Podobnie weźmy dwa zdania: p =.Jestem przytomny i siedzę na krześle w Jerozolimie ; q = Nie pływam w pojemniku na Alfa Centauri elektrochemicznie stymulowany by mieć przekonanie, że p". Pierwsze zdanie implikuje drugie i wiem, że p implikuje q i wiem, że p. Gdyby p było fałszywe stałbym lub leżał w tym mieście, a może spał, tutaj lub w jakimś sąsiednim mieście. Gdyby q było fałszywe pływałbym w pojemniku na Alfa Centauri. Są to oczywiście bardzo różne sytuacje i prowadzą do wielkich różnic w przekonaniach. Gdyby p było fałszywe, gdybym nie był przytomny i nie siedział na krześle w Jerozolimie, nie miałbym przekonania, że p. Jednak gdyby q było fałszywe, gdybym pływał w pojemniku na Alfa Centauri, miałbym przekonanie, że q, tj. że nie jestem w pojemniku, a faktycznie, w tym wypadku, miałbym przekonanie, że p" (Nozick, op. cit., s. 207). Według Nozicka nie obowiązuje zatem zasada domknięcia wiedzy przez relację implikacji: można wiedzieć, że jeśli p, to q, wiedzieć, że p, a mimo to nie wiedzieć, że q. Jest to związane z tym, że warunek (3) definicji wiedzy nie jest domknięty przez relację implikacji. Gdyby wiedza była po prostu prawdziwym przekonaniem, to byłaby domknięta implikacją. Ponieważ jest czymś więcej niż prawdziwym przekonaniem, jest otwarta względem implikacji logicznej (ibidem, s. 208). Wiedza, że p zmienia się (varies) w ślad za prawdą, że p. Warunki (3) (4) w Nozickowskiej definicji próbują wyrazić warunki tej zmienności. Tak jak zmienność przekonań stosownie do prawdy nie jest domknięta pojęciem logicznej implikacji, tak samo zmienność wiedzy (w relacji do prawdy), nie jest implikacyjnie domknięta. Sceptyk zakłada tę zmienność jako warunek wiedzy, kiedy mówi: Gdybyś pływał w pojemniku, nadal miałbyś przekonanie, że tam nie jesteś, a zatem nie wiesz, że tam nie jesteś. Jednak sceptyk z drugiej strony zakłada implikacyjne domknięcie wiedzy, co, jak wyżej pokazano, jest nie do pogodzenia z warunkiem zmienności i prowadzi do negacji naszej codziennej wiedzy. Sceptyk nie może mieć racji w obu sprawach, albo słuszna jest zasada implikacyjnego domknięcia wiedzy, albo warunek zmienności. Nozick wybiera warunek zmienności: zgadza się ze sceptykiem, że nie wiemy, czy nie zachodzą sceptyczne hipotezy ale ratuje naszą wiedzę codzienną. Wiedza jest realną i faktualną relacją, którą można wyrazić za pomocą okresów warun
10 Nozick o wiedzy i sceptycyzmie 147 kowych, i której struktura pozwala na to, aby znajdując się w tej relacji do p, będąc wrażliwym nap, nie znajdować się w takiej relacji do q, o którym wiemy, że jest przez p implikowane (ibidem, s. 209). Jak mówi Williams ([Williams 1991], s. 336) wiedza według Nozicka całkowicie zależy od pozostawania w pewnej kondycjonalnej relacji do prawdy; zupełnie zaś nie zależy od świadomości czy wiedzy, że tak-a-tak jest. Choć sceptyk ma rację, że nie wiemy, czy sceptyczne hipotezy SK nie mają miejsca, nie dowodzi, że nie wiemy wszystkich tych rzeczy, które są przez te hipotezy implikowane (cała nasza wiedza codzienna). Wiedza nie jest implikacyjnie domknięta, a poza tym nasze codzienne przekonania są wrażliwe na prawdę (fakty), a zatem spełniają warunki proponowanej przez Nozicka definicji wiedzy. Warunek (3) Nozick nazywa warunkiem zmienności (variation condition), zaś warunek (4) warunkiem zgodności (adherence condition). Warunek (3) określa, jak przekonanie powinno zmieniać się stosownie do prawdy, zaś warunek (4) określa, jak przekonanie nie powinno zmieniać się, kiedy prawda pozostaje taka sama (Nozick, op. cit., s. 211). Analogicznie do powyższych rozważań na temat sceptycyzmu globalnego, Nozick przedstawia sceptycyzmy lokalne tj. sceptycyzm co do innych umysłów, co do zewnętrznego świata i co do indukcji. Nie wiem, czy inni ludzie nie są pozbawionymi uczuć robotami, zręcznie skonstruowanymi przez istoty z innej planety, a ja uczestnikiem ich psychologicznego eksperymentu. Nie wiem, czy nie zachodzi taka sytuacja sceptyczna, w której moje dzieci są automatami, a ja nie zdaję sobie z tego sprawy. Wiem jednak, że moje dzieci są zadowolone, znam ich uczucia, a zatem wiem, że nie są robotami. Najbliższy świat, w którym miałbym takie dzieci, to świat w którym np. dobrowolnie zaadoptowałem robota lub uczestniczyłem w eksperymencie inżynierii genetycznej, w którym ryzykowałem taką możliwość, wiem jednak, że nic takiego nie miało miejsca (ibidem, s. 219). Nie wiem zatem, czy nie zachodzi sytuacja sceptyczna, w której moje dzieci są automatami, ale wiem, że moje dzieci nie są automatami. Pogodzenie tych dwu tez jest, zdaniem Nozicka, możliwe dzięki odrzuceniu zasady domknięcia. Trudno się jednak dziwić krytycznym uwagom ([BonJour 1987], s. 311; [Swinburne 1983], s. 306) podkreślającym nieintuicyjność tego elementu stanowiska Nozicka. Jak można wiedzieć, że dzieci nie są automatami, nie wiedząc, że nie zachodzi sytuacja sceptyczna, w której są automatami? Podobnie, nie wiem, czy nie zachodzi taka sceptyczna hipoteza, że zewnętrzne rzeczy istnieją tylko wtedy, gdy są spostrzegane. Wiem jednak, że moje biurko istnieje nawet wtedy, gdy na nie nie patrzę. Jest logicznie możliwe (i stanowi sceptyczną hipotezę przeciw prawomocności indukcji), że słońce zatrzyma się na niebie. Nie wiemy, czy tak nie będzie, ale mimo to wiemy, że jutro słońce wzejdzie (Nozick, op. cit., s. 223). Nozick podaje jako kolejny przypadek otwartość (brak domknięcia) wiedzy względem tautologii rachunku kwantyfikatorów dictum de omni \/x [P(jc)» P(a)], która pozwala wnioskować od zdania Dla każdego x, x jest P do zdania a jest P. Według Nozicka ktoś może wiedzieć, że wszystko jest P, nie wiedząc, że dana konkretna rzecz jest P, nawet jeśli zdaje sobie sprawę, że P(a) wynika logicznie z Vx P(x).
11 148 Renata Ziemińska Podobnie, ktoś może posiadać wiedzę w postaci koniunkcji sądów, nie posiadając wiedzy o każdym z członów tej koniunkcji (ibidem, s. 228). Są to szczegółowe przypadki dedukcyjnego niedomknięcia wiedzy. 3. W OBRONIE ZASADY DOMKNIĘCIA Odrzucenie zasady domknięcia wywołało zdecydowany protest, szczególnie u intemalistów. BonJour twierdzi [BonJour 1987], że odrzucenie zasady domknięcia jest zbyt wysoką ceną za tak słabą odpowiedź na sceptycyzm, jaką daje Nozick, i że odrzucenie zasady domknięcia sprzeciwia się naszym intuicjom. Nozick wie, że jego dzieci są zadowolone lub innym razem smutne czy przestraszone, ale nie wie, że nie są zręcznie skonstruowanymi automatami nie posiadającymi żadnych uczuć. Jaką możliwą treść czy znaczenie może mieć sąd, że dane dziecko jest w danym czasie zadowolone, jeśli nawet nie wyklucza, że jest ono automatem? (ibidem, s. 311). Tę trudność można według BonJoura uważać za reductio ad absurdum całej Nozickowskiej teorii wiedzy. Również Swinburne [Swinburne 1983] i Dancy [Dancy 1985] uważają odrzucenie zasady domknięcia za przeciwne naszym intuicjom. Według Swinbume a jeśli naprawdę wiem, że czytam książkę, to wiem, że nie jestem mózgiem w pojemniku, u którego wytworzono fałszywe przekonanie, że czyta książkę (op. cit., s. 306). Dancy zauważa, że u Nozicka jest paradoksalna konsekwencja, że wiem, co wczoraj robiłem, ale nie wiem, czy wczoraj w ogóle było, bo nie wiem czy świat nie został stworzony pięć minut temu (słynna hipoteza Russella) wyposażony w różnorodne ślady przeszłości (Dancy, op. cit., s. 45). Fumerton z kolei [Fumerton 1987] oponuje wobec odrzucenia zasady domknięcia twierdząc, że jej odrzucenie sprzeciwia się naszym intuicjom równie mocno jak sceptycyzm i że wobec tego nie warto płacić takiej ceny (jak odrzucenie zasady domknięcia) aby oddalić sceptycyzm w odniesieniu do codziennej wiedzy (ibidem, s. 172). Poza tym, jeśli mamy codzienną wiedzę, jak Nozick przyznaje, to stąd wynika fałszywość sceptycznych hipotez (ibidem, s. 173). Odrzucenie zasady domknięcia jest aprobowane przez większość ekstemalistów, zwłaszcza Dretske go, który jeszcze przed Nozickiem je zaproponował ([Dretske 1970], s ), a także McGinna ([McGinn 1984], s. 542) i Goldmana ([Goldman 1986], s. 57). Sam Nozick utożsamia ekstemalizm właśnie z odrzuceniem zasady domknięcia (op. cit., s. 281). Williams [Williams 1991] jednakże opowiada się za ekstemalizmem ale nie zgadza się z odrzuceniem implikacyjnego domknięcia wiedzy. Według Williamsa odrzucenie tej zasady u Nozicka, podobnie jak u Dretske go, polega na pomieszaniu założeń p z założeniami czyjejś wiedzy, że p. Inaczej mówiąc, polega na pomieszaniu założeń tego, co wiemy, czyli założeń treści naszej wiedzy, z założeniami naszej wiedzy o tym, czyli całej sytuacji poznawczej. Tymczasem jest różnica między tym, co implikuje treść, a co implikuje sytuacja poznawcza. Nozick mianowicie zakłada, że zakres możliwości, które muszą zmieniać się wraz z prawdą,
12 Nozick o wiedzy i sceptycyzmie 149 jest zdeterminowany wyłącznie przez treść akceptowanego sądu. Natomiast kontekst poznawczy czyli konkretne ograniczenia, wyjątkowość sytuacji, zależność od zainteresowań, to wszystko, co jest podkreślane przez reprezentowany przez Williamsa kontekstualizm, jest u Nozicka pominięte i potraktowane jako nieistotne dla wiedzy. Według Williamsa to pominięcie byłoby uzasadnione tylko wtedy, gdyby założyć intemalistyczną zasadę, że wiedza implikuje wiedzę o wiedzy; od tego jednak Nozick się odcina. Status epistemologiczny przekonania według Nozicka jest zatem wyznaczony wyłącznie przez jego treść. Treść uznawanego sądu determinuje ja k daleko od naszego świata faktycznego mamy szukać, aby ocenić relewantne okresy warunkowe (Nozick, op. cit., s. 339). Z tego względu, jak się zdaje, Goldman nazywał kontrfaktyczne podejście Nozicka rozważaniem sytuacji czysto kondycjonalnych, odróżniając to stanowisko od własnego kontrfaktycznego podejścia, zawierającego tylko ogólny warunek braku relewantnych alternatyw, który można zinterpretować zarówno czysto treściowo, jak i kontekstualnie. Podobną myśl można znaleźć u Dancy ego (op. cit., s. 43), który proponuje formułę mogącą zastąpić zasadę domknięcia, taką żeby dała się pogodzić z Nozickowską definicją wiedzy. Nozick, przypomnijmy, odrzuca zasadę domknięcia w następującej postaci: (PCI) [Кар л Ka (p -> q)] -> Kaq Dancy proponuje następującą wersję modus ponens, którą wbrew niemu potraktujmy jako wersję zasady domknięcia: (PC2) [Кар л (Kap -> Kaq)] -> Kaą (PC2) wymaga w nawiasie zwykłym, aby wiedza podmiotu a, że q, wynikała z je go wiedzy, że p, nie zaś tylko, aby a wiedział, że p -^q. Na tę osłabioną wersję można łatwo się zgodzić, jednakże: ( 1) relacja wynikania tradycyjnie zachodzi pomiędzy określonymi treściami, nie zaś pomiędzy skomplikowanymi sytuacjami poznawczymi, przede wszystkim zaś (2 ) to nie wedle tej (chyba nie do spełnienia) zasady rozumuje sceptyk. Williams sądzi, że (PC I) powinna być zaakceptowana, niezależnie od jej sceptycznych konsekwencji. Jego zdaniem nie można się obronić przed sceptycyzmem w odniesieniu do wiedzy jako pojęcia filozoficznego i choć wiedza w życiu codziennym jest faktem, nie da się filozoficznie wyjaśnić, jak jest możliwa ([Williams 1991], s. xii). Ekstemalizm dla Williamsa oznacza pogląd, że dopuszcza się istnienie wiedzy pomimo braku jej wyjaśnienia tj. pomimo braku wiedzy o wiedzy. Nie potrzeba negować zasady domknięcia, żeby być ekstemalistą, wystarczy zanegować zasadę, że wiedzy zawsze towarzyszy wiedza na temat tej wiedzy (ibidem, s. 347). Zasadę tę Williamson z kolei [Williamson 1995] nazywa zasadą transparencji wiedzy i też ją jako ekstemalista odrzuca. Garrett [Garrett 1992] odróżnia z kolei dwie następujące wersje zasady domknięcia: (PC s): [Kp л K(p->q)i -> Kq
13 150 Renata Ziemińska (PC к): Vs, r{[ks л K(s^>r)] -» Kr) (PC к) jest ogólną zasadą logiki epistemicznej a (PC s) wynika z niej jako jej szczególny przypadek. Nozick podał kontrprzykłady do (PC k), ale stąd nie wynika fałszywość (PC s). (PC k) implikuje (PC s) ale z fałszywości (PC k) nie wynika fałszywość (PC s). Tymczasem właśnie (PC s) jest zakładana przez sceptyków. Nozick nie ma po prostu możliwości, aby dowieść fałszywości (PC s), nie przesądzając sprawy względem sceptycyzmu (Garrett 1992, s. 92). Nozick uważa za fakt istnienie wiedzy, ale jest to niezgodne z jego tezą, że nie wiemy, czy hipotezy sceptyczne nie mają miejsca. Według Garretta Nozick mimo to przyczynił się do jakiegoś postępu, ponieważ tradycyjne niekontrfaktyczne teorie wiedzy nie miały nawet możliwości, aby zakwestionować sceptyczne założenie (PC s). Zdaniem Williamsa odrzucenie zasady domknięcia u Nozicka motywowane jest pozostałościami intemalistycznej koncepcji wiedzy. Zwłaszcza jego koncepcja metody jest wyłomem w ekstemalizmie. Nozick patrzy mianowicie na metodę intemalistycznie tj. od strony wewnętrznego jej odbioru. Z punktu widzenia ekstemalizmu tymczasem, metoda formowania przekonania p u osoby w naszym świecie i metoda formowania tego samego przekonania przez mózg zanurzony w pojemniku z odżywkami, jest radykalnie różna, nawet jeśli przeżywają ją tak samo ([Williams 1991], s. 341). Nozick faktycznie ma kłopoty z indywidualizacją metod; z jednej strony mówi, że osoba może posługiwać się metodą [...] nie wiedząc, ani nie mając świadomości, jakiej metody używa, z drugiej zaś mówi, że każda metoda tak samo doświadczana, taka sama od wewnątrz będzie liczyć się jako ta sama metoda ([Nozick 1981], s. 184). Nozick pisze, że nie chce przesadzić w ekstemalności swojego stanowiska; podkreśla, że to właśnie przekonanie jako stan wewnętrzny (intemalny) ma być związane z faktami relacją śledzenia; co więcej, śledzenie za pomocą metod zależy od tego, co zdarzyłoby się w innych sytuacjach identycznych pod względem wewnętrznego przebiegu (ibidem, s. 281). Pomimo tych elementów intemalnych Nozick uważa relację śledzenia za pomocą okresów warunkowych, a w konsekwencji wiedzę, za niezależną od świadomości podmiotu, czyli ekstemalną. 4. EKSTERNALIZM I SCEPTYCYZM Nozick zakłada, że ludzie posiadają wiedzę, co można wytłumaczyć tradycją analityczną od Moore a, i wydaje się, że tak jak u Moore a czy Chisholma, takie założenie z góry przesądza sprawę sceptycyzmu na jego niekorzyść. Jeśli Nozick na tym nie poprzestaje, to najprawdopodobniej dlatego, że założenie to nie wydaje się mu do końca przekonujące. Williams wskazuje na cały nurt New Scepticism w filozofii analitycznej, który jest w opozycji do tego założenia (op. cit., s. xiv). Nozick, jego zdaniem, niesłusznie zakłada istnienie wiedzy i niesłusznie odrzuca zasadę domknięcia. Wystarczy twierdzić, że wiedza nie musi pociągać za sobą wiedzy o wie
14 Nozick o wiedzy i sceptycyzmie 151 dzy. Jeśli bowiem wiedza jest czymś ekstemalnym, nie musi być w pełni uświadomiona. Wiedza może istnieć nawet bez przekonania, jak pokazuje Williamson (op. cit., s. 563). A jeśli wiedza ma przysługiwać również zwierzętom, jak chce Dretske, to nasza ludzka wiedza może też istnieć bez przekonań i bez wiedzy drugiego rzędu. Porównując stanowiska Nozicka i Williamsa można powiedzieć tak: Williams aprobując zasadę domknięcia, nie widzi sposobu na obalenie filozoficznego sceptycyzmu, zakłada jednak, że w praktyce codziennej wiedzę posiadamy. Podobnie jest z Nozickiem: ustępuje sceptykom w kwestii zachodzenia sytuacji sceptycznej, a przyjmuje jako fakt istnienie wiedzy banalnej. Nozick próbuje dodatkowo obalić rozumowanie sceptyka na podstawie odrzucenia zasady domknięcia. Obaj, jako nieliczni w tradycji analitycznej, próbują przełamać schemat ustalony przez Moore a, że wiedza jest faktem, a sceptycyzmu nie traktuje się zbyt poważnie. Można dodać, że ekstemalistyczna koncepcja wiedzy bez zasady transparencji jawi się jako nowy sposób na odparcie sceptycyzmu. Według ekstemalistów bowiem (a wbrew intemalistom) wiedza nie pociąga za sobą wiedzy o wiedzy. Sceptycyzm jest stanowiskiem w ramach intemalizmu, ponieważ jest tezą, że nie wiemy czy wiemy. Jeśli odrzucamy intemalizm, nie ma powodu przejmować się sceptycyzmem. Pomimo braku wiedzy o wiedzy, zostaje teoretycznie ugruntowana nadzieja, że wiedzę jednak posiadamy. Sceptyk mógłby dalej twierdzić, że choć ekstemaliści pokazują możliwość wiedzy bez wiedzy, nadal nie wiemy, czy jakikolwiek faktyczny przypadek wiedzy ma miejsce. Nie posiadamy bowiem wystarczających racji dla przekonania, że wiemy. Jak pisze Johnsen ([Johnsen 1987], s. 654) w odniesieniu do definicji wiedzy Nozicka, nie mamy pojęcia jaki jest ten świat i światy mu najbliższe, a zatem nie mamy pojęcia, czy okresy warunkowe sformułowane przez Nozicka są spełnione. Podobnie nie wiemy, czy zachodzą inne ekstemalne warunki wiedzy. Ekstemalista odpowiedziałby, że w tej ripoście zakłada się dającą się zakwestionować intuicję intemalistyczną, że wiedza to świadomy stan racjonalnego podmiotu. Są tymczasem przypadki wiedzy, które nie mieszczą się w tym zawężonym pojęciu wiedzy: wiedza milcząca (tacit knowledge), wiedza dzieci, zwierząt czy inteligentnych maszyn, czy wreszcie częsta u normalnych dorosłych ludzi utrwalona wiedza, której racje zostały całkowicie przez podmiot zapomniane. Wydaje się, że ekstemalizm, przy pomocy tak uogólnionego pojęcia wiedzy, może skutecznie usunąć problem sceptycyzmu, ale pozostaje otwarte pytanie, czy nie jest to nieusprawiedliwione porzucenie idei racjonalności podmiotu ludzkiego. PODSUMOWANIE Nozick przedstawia analizę wiedzy, w której tradycyjne pojęcie uzasadnienia sprowadzone jest do dwu okresów warunkowych. Warunki te wymagają, aby podmiot wiedzy był czuły na prawdziwość uznawanego przezeń sądu i odporny na zmianę
15 152 Renata Ziemińska okoliczności. Podmiot wiedzy, że p, musi mieć prawdziwe przekonanie, że p, a ponadto w tych światach możliwych, które są najbliższe faktycznego, musi uznawać p ilekroć p jest prawdziwe i nie uznawać p, ilekroć p jest fałszywe. W oparciu o tę analizę wiedzy, Nozick ustępuje częściowo na rzecz sceptycyzmu, przyznając, że choć istnieje wiedza banalna, nie wiemy czy nie zachodzi globalna sytuacja sceptyczna. Jedynym sposobem na uzgodnienie tych dwu tez jest odrzucenie zasady implikacyjnego domknięcia wiedzy. Komentatorzy słusznie podkreślają, że ustępstwo na rzecz sceptycyzmu jest niekonsekwentne, ponieważ z jednej strony, świat demona nie jest chyba bliski światu faktycznemu, a z drugiej, istnienie wiedzy banalnej implikuje fałszywość hipotezy sceptycznej. Zasady domknięcia bronią nie tylko intemaliści (twierdząc, że należy ona do fundamentalnych oczywistości), ale zdarza się to nawet ekstemalistom (według Williamsa ekstemalizm wymaga jedynie odrzucenia zasady transparency wiedzy). Kondycjonalna definicja wiedzy i Nozicka stanowisko w kwestii sceptycyzmu, choć znalazły swoich krytyków, opierają się na oryginalnym zestawieniu powszechnych chyba intuicji, że z jednej strony znamy sprawy banalne, a z drugiej odczuwamy niepewność w sprawach tak dalekich, jak hipotezy sceptyczne, choćby ich fałszywość była implikowana przez wiedzę banalną. Nozick próbując zdać sprawę z tej sytuacji odważnie kwestionuje zgodność naszego pojęcia wiedzy z prawami klasycznej logiki. W rezultacie jest w stanie przyznać rację silnym argumentom sceptycznym, a jednocześnie obronić naszą wiedzę codzienną. Stanowisko Nozicka to rezultat błyskotliwej refleksji nad pojęciem wiedzy i ważny punkt w rozwoju ekste mai izmu epistemicznego. LITERATURA Bonjour, L. (1987), Nozick, External ism and Skepticism, [w:] Luper-Foy, S. (1987), s Dancy, J. (1985), An Introduction to Contemporary Epistemology, Blackwell, Oxford, New York. Dretske, F. 1. ( 1970), Epistemic Operators, Journal o f Philosophy 67, s Dretske, F. 1. (1981), Knowledge and the Flow o f Information, MIT Press, Bradford Books; Cambridge MA. Fumerton, R. (1987), Nozick s Epistemology [w:] Luper-Foy, S. (1987), s Garrett, B. (1992), Keeping Track o f Nozick s Trackers, Ratio (New Series) 1, s Gettier, E. (1963), Is Justified True Belief Knowledge?, Analysis 23, s Goldman, A. (1967), A Causal Theory o f Knowing, The Journal o f Philosophy 64, s Goldman, A. (1976), Discrimination and Perceptual Knowledge, The Journal o f Philosophy 73, s Goldman, A. (1986), Epistemology and Cognition, Harvard University Press, Cambridge MA. Harman, G. (1973), Thought, Princeton University Press, Princeton. Johnsen, В. (1987), Relevant Alternatives and Demon Skepticism", The Journal o f Philosophy 84, s Luper-Foy, S. (red.) (1987), The Possibility o f Knowledge. Nozick and His Critics, Rowman and Littlefield Publishers, Totowa NJ. McGinn, C. (1984), The Concept o f Knowledge, Midwest Studies in Philosophy 9, s
16 Nozick o wiedzy i sceptycyzmie 153 Nozick, R. (1981), Philosophical Explanations, Clarendon Press, Oxford, s Nozick R. (1997), Socratic Puzzles, Harvard University Press, Cambridge MA. Nozick, R. (1999), Anarchia, państwo, utopia, przeł. P. Maciejko, M. Szczubiałka, Fundacja ALETHE1A, Warszawa. Odegard, D. (1986), Demon Scepticism, American Philosophical Quarterly 23, s Putnam, H. (1981), Reasons, Truth and History, Cambridge University Press, Cambridge. Putnam, H. (1998), Wiele twarzy realizmu i inne eseje, przeł. A. Grobler, Wydawnictwo Naukowe PWN, Warszawa. Swinburne, R. (1983), Review o f R.Nozick s Philosophical Explanations, Australasian Journal o f Philosophy 61, s Williams, M. (1991), Unnatural Doubts. Epistemologica! Realism and the Basis o f Skepticism, Blackwell, Oxford. Williamson, T. (1995), Is Knowing a State o f Mind, M ind 104, s
O argumentach sceptyckich w filozofii
O argumentach sceptyckich w filozofii - Czy cokolwiek można wiedzieć na pewno? - Czy cokolwiek można stwierdzić na pewno? Co myśli i czyni prawdziwy SCEPTYK? poddaje w wątpliwość wszelkie metody zdobywania
5. Rozważania o pojęciu wiedzy. Andrzej Wiśniewski Wstęp do filozofii Materiały do wykładu 2015/2016
5. Rozważania o pojęciu wiedzy Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl Wstęp do filozofii Materiały do wykładu 2015/2016 Wiedza przez znajomość [by acquaintance] i wiedza przez opis Na początek
Współczesne strategie dyskusji ze sceptycyzmem
PHILOSOPHIAE ITINERA (red.) J. Jaskóła, A. Olejarczyk, A. Pacewicz Wrocław 2009 RENATA ZIEMIŃSKA Uniwersytet Szczeciński Współczesne strategie dyskusji ze sceptycyzmem Współczesny sceptycyzm filozoficzny
Rachunek zdań i predykatów
Rachunek zdań i predykatów Agnieszka Nowak 14 czerwca 2008 1 Rachunek zdań Do nauczenia :! 1. ((p q) p) q - reguła odrywania RO 2. reguła modus tollens MT: ((p q) q) p ((p q) q) p (( p q) q) p (( p q)
Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:
1 Elementy logiki W logice zdaniem nazywamy wypowiedź oznajmującą, która (w ramach danej nauki) jest albo prawdziwa, albo fałszywa. Tak więc zdanie może mieć jedną z dwóch wartości logicznych. Prawdziwość
UJĘCIE SYSTEMATYCZNE ARGUMENTY PRZECIWKO ISTNIENIU BOGA
UJĘCIE SYSTEMATYCZNE ARGUMENTY PRZECIWKO ISTNIENIU BOGA ARGUMENTY PRZECIW ISTNIENIU BOGA ARGUMENTY ATEISTYCZNE 1 1. Argument z istnienia zła. (Argument ten jest jedynym, który ateiści przedstawiają jako
Rodzaje argumentów za istnieniem Boga
Rodzaje argumentów za istnieniem Boga Podział argumentów argument ontologiczny - w tym argumencie twierdzi się, że z samego pojęcia bytu doskonałego możemy wywnioskować to, że Bóg musi istnieć. argumenty
LOGIKA I TEORIA ZBIORÓW
LOGIKA I TEORIA ZBIORÓW Logika Logika jest nauką zajmującą się zdaniami Z punktu widzenia logiki istotne jest, czy dane zdanie jest prawdziwe, czy nie Nie jest natomiast istotne o czym to zdanie mówi Definicja
NOWE ODKRYCIA W KLASYCZNEJ LOGICE?
S ł u p s k i e S t u d i a F i l o z o f i c z n e n r 5 * 2 0 0 5 Jan Przybyłowski, Logika z ogólną metodologią nauk. Podręcznik dla humanistów, Wydawnictwo Uniwersytetu Gdańskiego, Gdańsk 2003 NOWE
Rachunek zdao i logika matematyczna
Rachunek zdao i logika matematyczna Pojęcia Logika - Zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Rachunek zdao - dział logiki
5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH
5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH Temat, którym mamy się tu zająć, jest nudny i żmudny będziemy się uczyć techniki obliczania wartości logicznej zdań dowolnie złożonych. Po co? możecie zapytać.
Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne
Literatura: podstawowa: C. Radhakrishna Rao, Statystyka i prawda, 1994. G. Wieczorkowska-Wierzbińska, J. Wierzbiński, Statystyka. Od teorii do praktyki, 2013. A. Aczel, Statystyka w zarządzaniu, 2002.
Filozofia, Historia, Wykład IX - Filozofia Kartezjusza
Filozofia, Historia, Wykład IX - Filozofia Kartezjusza 2010-10-01 Plan wykładu 1 Krytyka nauk w Rozprawie o metodzie 2 Zasady metody Kryteria prawdziwości 3 Rola argumentów sceptycznych Argumenty sceptyczne
Filozofia, Germanistyka, Wykład IX - Immanuel Kant
Filozofia, Germanistyka, Wykład IX - Immanuel Kant 2011-10-01 Plan wykładu 1 Immanuel Kant - uwagi biograficzne 2 3 4 5 6 7 Immanuel Kant (1724-1804) Rysunek: Immanuel Kant - niemiecki filozof, całe życie
Logika intuicjonistyczna
Logika intuicjonistyczna Logika klasyczna oparta jest na pojęciu wartości logicznej zdania. Poprawnie zbudowane i jednoznaczne stwierdzenie jest w tej logice klasyfikowane jako prawdziwe lub fałszywe.
Logika formalna wprowadzenie. Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie.
Logika formalna wprowadzenie Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie. 1. Zdanie logicznie prawdziwe (Prawda logiczna) Zdanie, którego analityczność
Dalszy ciąg rachunku zdań
Dalszy ciąg rachunku zdań Wszystkie możliwe funktory jednoargumentowe p f 1 f 2 f 3 f 4 0 0 0 1 1 1 0 1 0 1 Wszystkie możliwe funktory dwuargumentowe p q f 1 f 2 f 3 f 4 f 5 f 6 f 7 f 8 f 9 f 10 f 11 f
Elementy logiki i teorii mnogości
Elementy logiki i teorii mnogości Zdanie logiczne Zdanie logiczne jest to zdanie oznajmujące, któremu można przypisać określoną wartość logiczną. W logice klasycznej zdania dzielimy na: prawdziwe (przypisujemy
Główne problemy kognitywistyki: Reprezentacja
Główne problemy kognitywistyki: Reprezentacja Wykład 4 Reprezentacja a koncepcje rozszerzonego umysłu i rozszerzonego narzędzia Andrzej Klawiter http://www.amu.edu.pl/~klawiter klawiter@amu.edu.pl Rozszerzone
Elementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń
Elementy logiki Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń 1 Klasyczny Rachunek Zdań 1.1 Spójniki logiczne Zdaniem w sensie logicznym nazywamy wyrażenie, które jest
Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki
0 1 Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki 2. W następujących dwóch prawach wyróżnić wyrażenia specyficznie matematyczne i wyrażenia z zakresu logiki (do
dr Anna Mazur Wyższa Szkoła Promocji Intuicja a systemy przekonań
dr Anna Mazur Wyższa Szkoła Promocji Intuicja a systemy przekonań Systemy przekonań Dlaczego mądrzy ludzie podejmują głupie decyzje? Odpowiedzialne są nasze przekonania. Przekonania, które składają się
MIND-BODY PROBLEM. i nowe nadzieje dla chrześcijańskiej antropologii
MIND-BODY PROBLEM i nowe nadzieje dla chrześcijańskiej antropologii CZŁOWIEK JEST MASZYNĄ (THOMAS HOBBES) Rozumienie człowieka znacząco zmienia się wraz z nastaniem epoki nowożytnej. Starożytne i średniowieczne
1 Podstawowe oznaczenia
Poniżej mogą Państwo znaleźć skondensowane wiadomości z wykładu. Należy je traktować jako przegląd pojęć, które pojawiły się na wykładzie. Materiały te nie są w pełni tożsame z tym co pojawia się na wykładzie.
LOGIKA Dedukcja Naturalna
LOGIKA Dedukcja Naturalna Robert Trypuz Katedra Logiki KUL 7 stycznia 2014 Robert Trypuz (Katedra Logiki) Założeniowy system klasycznego rachunku zdań 7 stycznia 2014 1 / 42 PLAN WYKŁADU 1 Przykład dowodów
domykanie relacji, relacja równoważności, rozkłady zbiorów
1 of 8 2012-03-28 17:45 Logika i teoria mnogości/wykład 5: Para uporządkowana iloczyn kartezjański relacje domykanie relacji relacja równoważności rozkłady zbiorów From Studia Informatyczne < Logika i
http://www-users.mat.umk.pl/~pjedrzej/wstep.html 1 Opis przedmiotu Celem przedmiotu jest wykształcenie u studentów podstaw języka matematycznego, wypracowanie podstawowych umiejętności przeprowadzania
Wstęp do logiki. Klasyczny Rachunek Zdań II
Wstęp do logiki Klasyczny Rachunek Zdań II DEF. 1 (Słownik). Następujące znaki tworzą słownik języka KRZ: p 1, p 2, p 3, (zmienne zdaniowe) ~,,,, (spójniki) ), ( (nawiasy). DEF. 2 (Wyrażenie). Wyrażeniem
Filozofia, Germanistyka, Wykład VIII - Kartezjusz
2013-10-01 Plan wykładu 1 Krytyka nauk w Rozprawie o metodzie 2 Idea uniwersalnej metody Prawidła metody 3 4 5 6 Krytyka Kartezjusza Podstawą wiedzy jest doświadczenie Krytyka nauk Kartezjusz - krytyka
Filozofia, ISE, Wykład X - Filozofia średniowieczna.
Filozofia, ISE, Wykład X - Filozofia średniowieczna. 2011-10-01 Plan wykładu 1 Filozofia średniowieczna a starożytna 2 3 Ogólna charakterystyka filozofii średniowiecznej Ogólna charakterystyka filozofii
Wstęp do logiki. Klasyczny Rachunek Zdań III
Wstęp do logiki Klasyczny Rachunek Zdań III Przypomnijmy: Logika: = Teoria form (schematów, reguł) poprawnych wnioskowań. Wnioskowaniem nazywamy jakąkolwiek skończoną co najmniej dwuwyrazową sekwencję
ZAŁOŻENIA FILOZOFICZNE
ZAŁOŻENIA FILOZOFICZNE Koło Wiedeńskie Karl Popper Thomas Kuhn FILOZOFIA A NAUKA ZAŁOŻENIA W TEORIACH NAUKOWYCH ZAŁOŻENIA ONTOLOGICZNE Jaki jest charakter rzeczywistości językowej? ZAŁOŻENIA EPISTEMOLOGICZNE
KRZYSZTOF WÓJTOWICZ Instytut Filozofii Uniwersytetu Warszawskiego
KRZYSZTOF WÓJTOWICZ Instytut Filozofii Uniwersytetu Warszawskiego wojtow@uw.edu.pl 1 2 1. SFORMUŁOWANIE PROBLEMU Czy są empiryczne aspekty dowodów matematycznych? Jeśli tak to jakie stanowisko filozoficzne
Logika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 2 - Logika modalna Część 2 Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 27 Plan wykładu
http://www-users.mat.umk.pl/~pjedrzej/wstep.html 1 Opis przedmiotu Celem przedmiotu jest wykształcenie u studentów podstaw języka matematycznego, wypracowanie podstawowych umiejętności przeprowadzania
Zatem może wyjaśnijmy sobie na czym polega różnica między człowiekiem świadomym, a Świadomym.
KOSMICZNA ŚWIADOMOŚĆ Kiedy mowa jest o braku świadomi, przeciętny człowiek najczęściej myśli sobie: O czym oni do licha mówią? Czy ja nie jesteś świadomy? Przecież widzę, słyszę i myślę. Tak mniej więcej
Przykłady zdań w matematyce. Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości a, b, c jest prostokątny (a, b, c oznaczają dane liczby dodatnie),
Elementy logiki 1 Przykłady zdań w matematyce Zdania prawdziwe: 1 3 + 1 6 = 1 2, 3 6, 2 Q, Jeśli x = 1, to x 2 = 1 (x oznacza daną liczbę rzeczywistą), Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości
I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych.
I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych. 1. Elementy logiki matematycznej. 1.1. Rachunek zdań. Definicja 1.1. Zdaniem logicznym nazywamy zdanie gramatyczne
Wprowadzenie do logiki Pojęcie wynikania
Wprowadzenie do logiki Pojęcie wynikania Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Gry plan: jak używamy terminu wynikanie w potocznych kontekstach? racja, następstwo i związki
Dzięki ćwiczeniom z panią Suzuki w szkole Hagukumi oraz z moją mamą nauczyłem się komunikować za pomocą pisma. Teraz umiem nawet pisać na komputerze.
Przedmowa Kiedy byłem mały, nawet nie wiedziałem, że jestem dzieckiem specjalnej troski. Jak się o tym dowiedziałem? Ludzie powiedzieli mi, że jestem inny niż wszyscy i że to jest problem. To była prawda.
Matematyka ETId Elementy logiki
Matematyka ETId Izolda Gorgol pokój 131A e-mail: I.Gorgol@pollub.pl tel. 081 5384 563 http://antenor.pol.lublin.pl/users/gorgol Zdania w sensie logicznym DEFINICJA Zdanie w sensie logicznym - zdanie oznajmujace,
Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność?
Semina Nr 3 Scientiarum 2004 Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność? W tym krótkim opracowaniu chciałbym przedstawić dowody obu twierdzeń Gödla wykorzystujące
Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 1 - Logika zdaniowa Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 30 Plan wykładu 1 Język
Filozofia przyrody, Wykład V - Filozofia Arystotelesa
Filozofia przyrody, Wykład V - Filozofia Arystotelesa 2011-10-01 Tematyka wykładu 1 Arystoteles - filozof systematyczny 2 3 4 Różnice w metodzie uprawiania nauki Krytyka platońskiej teorii idei Podział
RACHUNEK ZDAŃ 7. Dla każdej tautologii w formie implikacji, której poprzednik również jest tautologią, następnik także jest tautologią.
Semantyczne twierdzenie o podstawianiu Jeżeli dana formuła rachunku zdań jest tautologią i wszystkie wystąpienia pewnej zmiennej zdaniowej w tej tautologii zastąpimy pewną ustaloną formułą, to otrzymana
Konspekt do wykładu z Logiki I
Andrzej Pietruszczak Konspekt do wykładu z Logiki I (z dnia 24.11.2006) Poprawność rozumowania. Wynikanie Na wykładzie, na którym omawialiśmy przedmiot logiki, powiedzieliśmy, że pojęcie logiki wiąże się
1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.
Elementy logiki i teorii zbiorów. 1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych. Pojęcia pierwotne to najprostsze
David Hume ( )
David Hume (1711-1776) Chciał być Newtonem nauk o człowieku. Uważał, że wszystkie nauki (oprócz matematyki i logiki), również filozofia, powinny kierować się metodą eksperymentalną, opartą na doświadczeniu.
166 Wstęp do statystyki matematycznej
166 Wstęp do statystyki matematycznej Etap trzeci realizacji procesu analizy danych statystycznych w zasadzie powinien rozwiązać nasz zasadniczy problem związany z identyfikacją cechy populacji generalnej
EGZAMIN MATURALNY 2013 FILOZOFIA
Centralna Komisja Egzaminacyjna w Warszawie EGZAMIN MATURALNY 2013 FILOZOFIA POZIOM ROZSZERZONY Kryteria oceniania odpowiedzi MAJ 2013 2 Zadanie 1. (0 4) Obszar standardów Opis wymagań Znajomość i rozumienie
Ankieta. Instrukcja i Pytania Ankiety dla młodzieży.
Ankieta Instrukcja i Pytania Ankiety dla młodzieży www.fundamentywiary.pl Pytania ankiety i instrukcje Informacje wstępne Wybierz datę przeprowadzenia ankiety w czasie typowego spotkania grupy młodzieżowej.
Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)
Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne) Definicja 1: Tautologia jest to takie wyrażenie, którego wartość logiczna jest prawdą przy wszystkich możliwych wartościowaniach zmiennych
Kultura logiczna Wnioskowania dedukcyjne
Kultura logiczna Wnioskowania dedukcyjne Bartosz Gostkowski bgostkowski@gmail.com Kraków 25 IV 2010 Plan wykładu: Intuicje dotyczące poprawności wnioskowania Wnioskowanie dedukcyjne Reguły niezawodne a
Drzewa Semantyczne w KRZ
Drzewa Semantyczne w KRZ Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 7 XII 2006, 13:30 15:00 Jerzy Pogonowski (MEG) Drzewa Semantyczne w KRZ 7 XII 2006, 13:30 15:00
Przykładami ciągów, które Czytelnik dobrze zna (a jeśli nie, to niniejszym poznaje), jest ciąg arytmetyczny:
Podstawowe definicje Definicja ciągu Ciągiem nazywamy funkcję na zbiorze liczb naturalnych, tzn. przyporządkowanie każdej liczbie naturalnej jakiejś liczby rzeczywistej. (Mówimy wtedy o ciągu o wyrazach
Czy i/lub w jakim sensie można uważać, że świat jest matematyczny? Wprowadzenie do dyskusji J. Lubacz, luty 2018
Czy i/lub w jakim sensie można uważać, że świat jest matematyczny? Wprowadzenie do dyskusji J. Lubacz, luty 2018 Do czego odnoszą się poniższe stwierdzenia? Do tego, czym jest matematyka dla świata, w
Indukcja matematyczna
Indukcja matematyczna 1 Zasada indukcji Rozpatrzmy najpierw następujący przykład. Przykład 1 Oblicz sumę 1 + + 5 +... + (n 1). Dyskusja. Widzimy że dla n = 1 ostatnim składnikiem powyższej sumy jest n
Logika Stosowana. Wykład 7 - Zbiory i logiki rozmyte Część 3 Prawdziwościowa logika rozmyta. Marcin Szczuka. Instytut Informatyki UW
Logika Stosowana Wykład 7 - Zbiory i logiki rozmyte Część 3 Prawdziwościowa logika rozmyta Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika
INTUICJE. Zespół norm, wzorców, reguł postępowania, które zna każdy naukowiec zajmujący się daną nauką (Bobrowski 1998)
PARADYGMAT INTUICJE Zespół norm, wzorców, reguł postępowania, które zna każdy naukowiec zajmujący się daną nauką (Bobrowski 1998) PIERWSZE UŻYCIA językoznawstwo: Zespół form deklinacyjnych lub koniugacyjnych
Znaleźć wzór ogólny i zbadać istnienie granicy ciągu określonego rekurencyjnie:
Ciągi rekurencyjne Zadanie 1 Znaleźć wzór ogólny i zbadać istnienie granicy ciągu określonego rekurencyjnie: w dwóch przypadkach: dla i, oraz dla i. Wskazówka Należy poszukiwać rozwiązania w postaci, gdzie
Spór o poznawalność świata
ROMAN ROŻDŻEŃSKI FILOZOFIA A RZECZYWISTOŚĆ Spór o poznawalność świata Wydawnictwo WAM Kraków 2012 Spis treści Przedmowa 11 Rozdział I Myślenie filozoficzne w cieniu zwątpienia 15 1. Wprowadzenie 15 2.
Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 14. Wprowadzenie do logiki intuicjonistycznej
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 14. Wprowadzenie do logiki intuicjonistycznej 1 Przedstawione na poprzednich wykładach logiki modalne możemy uznać
Indukcja. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak
Indukcja Materiały pomocnicze do wykładu wykładowca: dr Magdalena Kacprzak Charakteryzacja zbioru liczb naturalnych Arytmetyka liczb naturalnych Jedną z najważniejszych teorii matematycznych jest arytmetyka
Katarzyna Wojewoda-Buraczyńska Koncepcja multicentryczności prawa a derywacyjne argumenty systemowe. Studenckie Zeszyty Naukowe 9/13, 84-87
Katarzyna Wojewoda-Buraczyńska Koncepcja multicentryczności prawa a derywacyjne argumenty systemowe Studenckie Zeszyty Naukowe 9/13, 84-87 2006 Katarzyna Wojewoda-Buraczyńska Koncepcja multicentryczności
Filozofia umysłu. Eliminatywizm. Wykład VIII: w filozofii umysłu
Filozofia umysłu Wykład VIII: Eliminatywizm w filozofii umysłu Materializm Funkcjonalizm daje się uzgodnić z materializmem, nie implikuje go jednak Eliminatywizm to stanowisko konsekwentnie materialistyczne:
Egzamin z logiki i teorii mnogości, rozwiązania zadań
Egzamin z logiki i teorii mnogości, 08.02.2016 - rozwiązania zadań 1. Niech φ oraz ψ będą formami zdaniowymi. Czy formuła [( x : φ(x)) ( x : ψ(x))] [ x : (φ(x) ψ(x))] jest prawem rachunku kwantyfikatorów?
Liczba godzin Punkty ECTS Sposób zaliczenia. ćwiczenia 15 zaliczenie z oceną
Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Prawo Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): Jednolite magisterskie Tryb
Elementy logiki matematycznej
Elementy logiki matematycznej Przedmiotem logiki matematycznej jest badanie tzw. wyrażeń logicznych oraz metod rozumowania i sposobów dowodzenia używanych w matematyce, a także w innych dziedzinach, w
(g) (p q) [(p q) p]; (h) p [( p q) ( p q)]; (i) [p ( p q)]; (j) p [( q q) r]; (k) [(p q) (q p)] (p q); (l) [(p q) (r s)] [(p s) (q r)];
Logika 1. Czy następujące sformułowania są zdaniami: (a) Wszystkie koty w Polsce są czarne. (b) Jak to udowodnić? (c) x + y = 7. (d) Jeśli x 2 = y 2, to x = y. (e) Jeśli x = y, to x 2 = y 2. (f) 2 n +
Klasyfikacja światopoglądów
Bóg Wszechświat Klasyfikacja światopoglądów Zebranie obrazków i przemyśleń Jesień 2018 wojtek@pp.org.pl http://wojtek.pp.org.pl Klasyfikacja światopoglądów Od pewnego czasu przekonany jestem, że istnieją
Trzy razy o indukcji
Trzy razy o indukcji Antoni Kościelski 18 października 01 1 Co to są liczby naturalne? Indukcja matematyczna wiąże się bardzo z pojęciem liczby naturalnej. W szkole zwykle najpierw uczymy się posługiwać
Zmiana przekonań ograniczających. Opracowała Grażyna Gregorczyk
Zmiana przekonań ograniczających Opracowała Grażyna Gregorczyk Główny wpływ na nasze emocje mają nasze przekonania na temat zaistniałych faktów (np. przekonania na temat uprzedzenia do swojej osoby ze
EGZAMIN MATURALNY 2010 FILOZOFIA
Centralna Komisja Egzaminacyjna w Warszawie EGZAMIN MATURALNY 2010 FILOZOFIA POZIOM ROZSZERZONY Klucz punktowania odpowiedzi MAJ 2010 2 Zadanie 1. (0 2) problemów i tez z zakresu ontologii, epistemologii,
0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.
Wykłady z Analizy rzeczywistej i zespolonej w Matematyce stosowanej Wykład ELEMENTY LOGIKI ALGEBRA BOOLE A Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek
Logika dla socjologów Część 2: Przedmiot logiki
Logika dla socjologów Część 2: Przedmiot logiki Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Działy logiki 2 Własności semantyczne i syntaktyczne 3 Błędy logiczne
Klasyczny rachunek zdań 1/2
Klasyczny rachunek zdań /2 Elementy logiki i metodologii nauk spotkanie VI Bartosz Gostkowski Poznań, 7 XI 9 Plan wykładu: Zdanie w sensie logicznym Klasyczny rachunek zdań reguły słownikowe reguły składniowe
Elementy filozofii i metodologii INFORMATYKI
Elementy filozofii i metodologii INFORMATYKI Filozofia INFORMATYKA Metodologia Wykład 1. Wprowadzenie. Filozofia, metodologia, informatyka Czym jest FILOZOFIA? (objaśnienie ogólne) Filozofią nazywa się
Pochodna funkcji odwrotnej
Pochodna funkcji odwrotnej Niech będzie dana w przedziale funkcja różniczkowalna i różnowartościowa. Wiadomo, że istnieje wówczas funkcja odwrotna (którą oznaczymy tu : ), ciągła w przedziale (lub zależnie
Filozofia, ISE, Wykład V - Filozofia Eleatów.
2011-10-01 Plan wykładu 1 Filozofia Parmenidesa z Elei Ontologia Parmenidesa Epistemologiczny aspekt Parmenidejskiej filozofii 2 3 Ontologia Parmenidesa Epistemologiczny aspekt Parmenidejskiej filozofii
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ 1 Tezy KRZ Pewien system aksjomatyczny KRZ został przedstawiony
O badaniach nad SZTUCZNĄ INTELIGENCJĄ
O badaniach nad SZTUCZNĄ INTELIGENCJĄ Wykład 7. O badaniach nad sztuczną inteligencją Co nazywamy SZTUCZNĄ INTELIGENCJĄ? szczególny rodzaj programów komputerowych, a niekiedy maszyn. SI szczególną własność
Ekonomiczny Uniwersytet Dziecięcy
Ekonomiczny Uniwersytet Dziecięcy Jak przekonywać innych do swoich racji? Dr Witold Szumowski Uniwersytet Ekonomiczny we Wrocławiu 3 listopada 2014r. Plan dzisiejszych zajęć Istota przekonywania Wywieranie
Logika Matematyczna (10)
Logika Matematyczna (10) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Rezolucja w KRZ Jerzy Pogonowski (MEG) Logika Matematyczna (10) Rezolucja w KRZ 1 / 39 Plan
Logika. Michał Lipnicki. 15 stycznia Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 15 stycznia / 37
Logika Michał Lipnicki Zakład Logiki Stosowanej UAM 15 stycznia 2011 Michał Lipnicki () Logika 15 stycznia 2011 1 / 37 Wstęp Materiały na dzisiejsze zajęcia zostały opracowane na podstawie pomocy naukowych
Filozofia, ISE, Wykład III - Klasyfikacja dyscyplin filozoficznych
Filozofia, ISE, Wykład III - Klasyfikacja dyscyplin filozoficznych 2011-10-01 Plan wykładu 1 Klasyczny podział dyscyplin filozoficznych 2 Podział dyscyplin filozoficznych Klasyczny podział dyscyplin filozoficznych:
Paradoks wszechwiedzy logicznej (logical omniscience paradox) i wybrane metody jego unikania
Logika w zastosowaniach kognitywistycznych Paradoks wszechwiedzy logicznej (logical omniscience paradox) i wybrane metody jego unikania (notatki do wykładów) Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl
Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 5. Wprowadzenie do semantyki teoriomodelowej cz.5. Wynikanie logiczne 1 Na poprzednim wykładzie udowodniliśmy m.in.:
Wprowadzenie do logiki epistemicznej. Przekonania i wiedza
Logika w zastosowaniach kognitywistycznych Wprowadzenie do logiki epistemicznej. Przekonania i wiedza (notatki do wykładów) Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl wersja beta 1.1 (na podstawie:
IMMANUEL KANT ETYKA DEONTOLOGICZNA
IMMANUEL KANT ETYKA DEONTOLOGICZNA PROJEKT ETYKI KANTA W POSZUKIWANIU OBIEKTYWNYCH PODSTAW ETYKI Wobec krytyki Huma Immanuel Kant stara się znaleść jakąś obiektywną podstawę dla etyki, czyli wykazać, że
Wymagania do przedmiotu Etyka w gimnazjum, zgodne z nową podstawą programową.
Wymagania do przedmiotu Etyka w gimnazjum, zgodne z nową podstawą programową. STANDARDY OSIĄGNIĘĆ: Rozwój osobowy i intelektualny uczniów wynikający z ich uczestnictwa w zajęciach etyki podążając za przyjętymi
Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu
Witold Marciszewski: Wykład Logiki, 17 luty 2005, Collegium Civitas, Warszawa Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu 1. Poniższe wyjaśnienie (akapit
Kultura logiczna Klasyczny rachunek zdań 1/2
Kultura logiczna Klasyczny rachunek zdań /2 Bartosz Gostkowski bgostkowski@gmail.com Kraków 22 III 2 Plan wykładu: Zdanie w sensie logicznym Klasyczny rachunek zdań reguły słownikowe reguły składniowe
Podmioty na prawach strony w postępowaniu administracyjnym.
Podmioty na prawach strony w postępowaniu administracyjnym. Strona jest obligatoryjnym uczestnikiem postępowania administracyjnego, jest podmiotem stosunku procesowego, bez strony postępowanie toczyć się
ćwiczenia 15 zaliczenie z oceną
Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Prawo Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): Jednolite magisterskie Tryb
POSTANOWIENIE. SSN Bogusław Cudowski (przewodniczący) SSN Maciej Pacuda (sprawozdawca) SSN Krzysztof Staryk
Sygn. akt III PZ 5/14 POSTANOWIENIE Sąd Najwyższy w składzie: Dnia 3 czerwca 2014 r. SSN Bogusław Cudowski (przewodniczący) SSN Maciej Pacuda (sprawozdawca) SSN Krzysztof Staryk w sprawie z powództwa P.
Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0
ĆWICZENIE 1 Klasyczny Rachunek Zdań (KRZ): zdania w sensie logicznym, wartości logiczne, spójniki logiczne, zmienne zdaniowe, tabele prawdziwościowe dla spójników logicznych, formuły, wartościowanie zbioru
EGZAMIN MATURALNY W ROKU SZKOLNYM 2018/2019 FILOZOFIA
EGZAMIN MATURALNY W ROKU SZKOLNYM 2018/2019 FILOZOFIA POZIOM ROZSZERZONY FORMUŁA OD 2015 ( NOWA MATURA ) ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ MFI-R1 MAJ 2019 Uwaga: akceptowane są wszystkie odpowiedzi
Wybierz cztery z poniższych pięciu zadań. Poprawne rozwiazanie dwóch zadań oznacza zdany egzamin.
Logika, II rok Etnolingwistyki UAM, 20 VI 2008. Imię i Nazwisko:.............................. GRUPA: I Wybierz cztery z poniższych pięciu zadań. Poprawne rozwiazanie dwóch zadań oznacza zdany egzamin.
TEORETYCZNE PODSTAWY INFORMATYKI
1 TEORETYCZNE PODSTAWY INFORMATYKI WFAiS UJ, Informatyka Stosowana I rok studiów, I stopień Wykład 14c 2 Definicje indukcyjne Twierdzenia dowodzone przez indukcje Definicje indukcyjne Definicja drzewa