W obronie zasady domknięcia: polemika z argumentacją Freda Dretskego
|
|
- Janina Anna Przybysz
- 7 lat temu
- Przeglądów:
Transkrypt
1 Przegląd Filozoficzny Nowa Seria R. 21: 2012, Nr 1 (81), ISSN DOI: /v W o j c i e c h R o s t w o r o w s k i W obronie zasady domknięcia: polemika z argumentacją Freda Dretskego Słowa kluczowe: F. Dretske, zasada domknięcia, sceptycyzm, świadectwo, wiedza, wynikanie Wyobraźmy sobie, że stoi przed nami pudełko, w którym znajdują się ciasteczka. Załóżmy, iż wiemy, że w pudełku są ciasteczka, a także zdajemy sobie sprawę z tego, że jeśli w pudełku są ciasteczka, to w pudełku znajduje się co najmniej jeden przedmiot. Wszystko wskazuje na to, iż w opisanych okolicznościach wiemy, że w pudełku znajduje się co najmniej jeden przedmiot. Powyższe rozumowanie jest przykładem zastosowania reguły domknięcia wiedzy na wynikanie. Reguła ta ma kilka różnych sformułowań, pomijając jednak różnice, jej treść można by najogólniej wyrazić następująco: (K) Jeśli S wie, że P, oraz wie, że P Q, to S wie, że Q Powyższa formuła wymaga doprecyzowania i kilku komentarzy. Na razie jednak skoncentrujmy się na samej intuicyjnej treści (K). Mówi ona, że każda uświadomiona implikacja tego, co już wiemy, zyskuje sama status naszej wiedzy. Albo, innymi słowy, poprawna dedukcja nie może nas wyprowadzić poza obręb przekonań stanowiących wiedzę. Powyższą zasadę można również określić jako epistemiczą wersję Modus Ponens (por. Ziemińska 2009). Zasada domknięcia jest intuicyjna i zdecydowana większość filozofów uważa ją za uniwersalnie obowiązującą (przykładowo Klein 1981, Dancy 1985, Hawthorne 2005). Argumentowano, że jej odrzucenie pociąga za sobą wiele nieakceptowalnych konsekwencji. Pomimo tego, pojawiły się w literaturze filozoficznej próby jej podważenia. Spotkała się ona z krytyką, przede wszystkim Freda Dretskego oraz Roberta Nozicka. Obaj filozofowie zaprezentowali takie koncepcje wiedzy, na gruncie których poprawna dedukcja z przesłanek stano-
2 168 Wojciech Rostworowski wiących wiedzę nie zawsze prowadzi do wiedzy. Ponadto zwrócili oni uwagę, że zasada (K) ma również swoje niepożądane konsekwencje, z których jedną jest uprawomocnienie rozumowania sceptyka. Atak Nozicka i Dretskego na regułę (K) spotkał się oczywiście ze sprzeciwem wielu filozofów. Po pierwsze, starano się pokazać, że na gruncie intuicyjnych analiz pojęcia wiedzy zasada domknięcia powinna jednak obowiązywać (np. Luper 1984, Sosa 1999). Po drugie, argumentowano, że istnieją inne sposoby przezwyciężenia wątpliwości sceptyka, niewymagające poświęcenia (K) takim sposobem jest np. podejście kontekstualistyczne w wydaniu DeRose a (1995). Niniejszy artykuł ma stanowić głos w dyskusji nad zasadą domknięcia. Jego celem jest zdecydowana obrona (K) przez wybranymi zarzutami Freda Dretskego. Porządek wywodu jest następujący: w sekcji I omawiam dokładniej regułę domknięcia, w sekcji II prezentuję dwa argumenty Dretskego przeciw tej regule, tj. argument z nieprzechodniości świadectwa oraz argument ze sceptycyzmu; sekcja III poświęcona jest polemice z tymi argumentami, w sekcji IV dokonuję podsumowania wcześniejszych rozważań. I Jak skonstatowałem na wstępie, reguła oznaczona jako (K) wymaga pewnych wyjaśnień. Po pierwsze, określa się ją jako regułę domknięcia wiedzy na wynikanie logiczne. Zastosowana strzałka ma oznaczać zasadniczo relację wynikania logicznego pomiędzy zdaniami P i Q. Używam określenia zasadniczo, gdyż, jak pokazują przykłady analizowane przez różnych filozofów, chodzi tu o relację wynikania rozumianą szerzej (i bardziej swobodnie); interesuje nas nie tylko wynikanie na mocy znaczenia samych stałych logicznych występujących w odnośnych zdaniach, ale również na mocy znaczenia pozostałych wyrażeń. Możemy to wynikanie określić mianem analitycznego. Przykładem zdań będących w relacji takiego wynikania jest następująca para: To jest zebra Nieprawda, że jest to osioł przebrany za zebrę. Mówiąc w dalszej części o wynikaniu, będę mieć właśnie na myśli tego typu relację. Drugie objaśnienie dotyczy operatora jeśli, to użytego w sformułowaniu (K). Interpretuję go jako standardowy funktor prawdziwościowy, tworzący prawdziwy okres warunkowy zawsze wtedy, kiedy następnik tegoż okresu jest prawdziwy, bądź jego poprzednik jest fałszywy. Innymi słowy, regułę (K) rozumiem w ramach moich rozważań jako implikację materialną 1. Po trzecie, pewnego komentarza wymaga stwierdzenie, iż S wie, że P Q. Ponieważ przekonanie będące wiedzą musi być nie tylko prawdziwe, ale 1 Zwracam uwagę na odnośny aspekt, gdyż rozważa się również alternatywne wersje reguły domknięcia, niemające charakteru implikacji materialnych (zob. Luper 2010).
3 W obronie zasady domknięcia: polemika z argumentacją Freda Dretskego 169 również zasadne 2, powyższe stwierdzenie implikuje, iż nie tylko jest tak, że z P wynika Q, ale również, że S potrafi uzasadnić zachodzenie takiego wynikania. Należy zatem oczekiwać, że S jest zdolny do przeprowadzenia jakiegoś rozumowania od P do Q, którego każdy krok byłby poprawny i uzasadniony. Co więcej, S przyjmuje Q właśnie z tego powodu, że wydedukował je z P, o którym wie, że jest prawdą. Wskazane warunki są czasem explicite wyrażone w zasadzie domknięcia (np. w wersji bronionej przez Johna Hawthorne a, w której mówi się, że S w sposób kompetentny wyprowadza Q z P i na tej podstawie nabiera przekonania, że Q 3 ). Tak czy inaczej, należy podkreślić, iż w (K) (przynajmniej w domyśle) zakłada się, że, po pierwsze, S przyjmuje Q właśnie z tego powodu, iż stanowi ono konsekwencję P, i po drugie, S potrafi poprawnie wywnioskować Q z P, wykazując zasadność swojego przekonania, że P Q. Przedstawiwszy trzy komentarze odnośnie do (K), przejdę teraz do rekonstrukcji krytyki tej reguły dokonanej przed Dretskego. O samej regule domknięcia można by z pewnością powiedzieć znacznie więcej, jak również rozważyć różne jej wersje, myślę jednak, że powyższe objaśnienia w zupełności wystarczają z punktu widzenia celów obecnego artykułu. II W swoich tekstach poświęconych krytyce (K) Dretske formułuje wiele różnych spostrzeżeń mniejszej i większej wagi wymierzonych w tę regułę. Ja skoncentruję się jedynie na dwóch zarzutach, które uważam za najpoważniejsze. Będzie to argument z nieprzechodniości świadectwa oraz argument ze sceptycyzmu. Poniżej przedstawiam rekonstrukcję obu tych argumentów. II.1. Argument z nieprzechodniości świadectwa Pierwszy z argumentów, który chciałbym zanalizować, dotyczy związku po - między (K) a pewną pokrewną jej regułą dotyczącą pojęcia świadectwa 4. Reguła ta brzmi następująco: 2 Dla porządku zastrzegam, że używam określenia zasadne (w tym miejscu i w dalszej części artykułu) w sensie jak najbardziej neutralnym, zakładając tylko tyle, iż dane przekonanie nie jest przyjęte bez żadnego powodu. Uwzględniam w ten sposób postulat eksternalistów, w tym samego Dretskego (zob. 2003: ), że przekonanie stanowiące wiedzę nie musi być stricte uzasadnione (justifi ed), ale oparte na jakimś świadectwie zewnętrznym (dosłownie mówiąc, wywołane przez dane świadectwo). 3 Hawthorne 2005: Dretske najczęściej używa słowa reason albo good reason, co należałoby dokładnie tłumaczyć jako powód ( dobry powód ). Ze względów stylistycznych preferuję jednak określenie świadectwo, podstawa.
4 170 Wojciech Rostworowski (T) Jeśli E jest świadectwem S-a dla P i S wie, że P Q, to E jest świadectwem S-a dla Q 5. Nazwijmy powyższy schemat regułą przechodniości świadectwa. Intuicyjnie rzecz biorąc, mówi ona, że moja podstawa dla danego przekonania stanowi jednocześnie podstawę dla wszystkich tych sądów, o których wiemy, że z naszego przekonania wynikają. Przykładowo, jeśli moje doznania wzrokowe uzasadniają sąd, że w pojemniku są ciasteczka, a wiem, że jeśli są tam ciasteczka, to pojemnik nie jest pusty, to zgodnie z powyższą zasadą moje doznania wzrokowe uzasadniają również sąd pojemnik nie jest pusty. Hasłowo rzecz ujmując, reguła powyższa mówi, że świadectwo danego sądu przechodzi na jego konsekwencje logiczne. Sformułowawszy regułę przechodniości, wyjaśnijmy teraz, jaką rolę odgrywa ona w argumentacji Dretskego przeciw (K). Otóż Dretske przeprowadza rozumowanie, które można streścić w następujący sposób: (a) (T) jest regułą fałszywą (to znaczy istnieją sytuacje, w których S wie, że P na podstawie E oraz wie, że P Q, ale E nie stanowi świadectwa dla Q); (b) w niektórych przypadkach, w których (T) zawodzi, S może po prostu wiedzieć, że P na podstawie E (które nie przechodzi na Q); (c) jeśli zgodnie z (K) Q miałoby stanowić wiedzę S-a w takich przypadkach, to S musiałby opierać Q na jakimś innym świadectwie niż E; (d) jednakże w niektórych przypadkach nie istnieje żadne alternatywne świadectwo, na którym S mógłby oprzeć Q; (e) zatem we wskazanych przypadkach (K) zawodzi. Dretske nigdy nie formułuje swojego rozumowania w powyższej postaci, ale jego argumentację można ująć w zaprezentowany sposób. Wszystkie jej etapy (a) (e) wymagają komentarza. Prześledzę je teraz po kolei, przywołując uzasadnienia Dretskego dla poszczególnych kroków. Punktem wyjścia całego rozumowania jest podważenie (T). Dretske wskazuje konkretne przykłady, które, jego zdaniem, w wyraźny sposób falsyfikują odnośną zasadę. Poniżej przedstawiam dwa z kontrprzykładów Dretskego, które w miarę reprezentatywnie ilustrują przypadek problematyczny dla (T): (A) Patrzę na kieliszek wypełniony ciemnoczerwoną substancją. Moje doznanie wzrokowe skłania mnie do przyjęcia sądu, że w kieliszku znajduje się wino. Zdaję sobie również sprawę, że jeśli w kieliszku 5 Por. Dretske 2005: 16.
5 W obronie zasady domknięcia: polemika z argumentacją Freda Dretskego 171 znajduje się wino, to nie jest to woda, a w szczególności nie jest to woda zabarwiona na ciemnoczerwono. Implikacją twierdzenia To jest wino jest więc To nie jest woda zabarwiona na kolor wina. Jednak moje doznania wzrokowe nie mogą być dobrą podstawą dla stwierdzenia To nie jest woda zabarwiona na kolor wina. (B) Jestem w zoo i przyglądam się zwierzęciu posiadającemu czarno-białe pasy. Moje doznania wzrokowe mówią: To jest zebra. Z faktu, że to jest zebra, wynika, że nie jest to osioł, a w szczególności, że nie jest to osioł przebrany za zebrę (ufarbowany itd.). Mogę zatem być przekonany, że zwierzę, które stoi przede mną, nie jest osłem doskonale ucharakteryzowanym na zebrę, jednak przekonanie to nie znajduje dobrej podstawy w samych doznaniach wzrokowych. Uogólniając, Dretske zauważa, że jakieś świadectwo E, intuicyjnie uzasadniające sąd Jest tak, że P, może okazać się intuicyjnie niewystarczające do tego, aby zasadnie twierdzić Nieprawda, że: nie jest tak, że P, a tylko wygląda na to, że P. Mówiąc krócej, wedle intuicji Dretskego tego rodzaju implikacje naszych najbanalniejszych przekonań obowiązuje ostrzejsze kryterium zasadności niż sądy, z których zostały wywnioskowane. Przejdźmy teraz do przesłanki (b). Mówi ona, że pewne sądy oparte na jakimś nieprzechodnim świadectwie E można uznać za wiedzę opartą właśnie na E. Dretske nie poświęca tej przesłance odrębnej uwagi. W jego ujęciu przykłady ilustrujące przesłankę (a) stanowią też ilustrację dla przesłanki (b). Dokładniej rzecz biorąc, zdaniem filozofa, powiemy, że ktoś wie, że w kieliszku jest wino, bo widzi, że tam jest wino, albo ktoś wie, że w klatce jest zebra, bo widzi, że w klatce jest zebra. Innymi słowy, Dretske uważa, że moja obserwacja w obu przykładach (A) i (B) może stanowić jak najbardziej źródło wiedzy, iż wskazane obiekty posiadają takie-to-a-takie własności (jednocześnie, jak wiemy, uważa on, że obserwacja taka nie może być w żadnym sensie świadectwem na rzecz określonych implikacji moich sądów obserwacyjnych). Skoncentrujmy się teraz na kroku (c). Poprzednia przesłanka mówiła, iż może być tak, że S wie, że P na podstawie E, które nie przechodzi na jakąś konsekwencję Q (pomimo tego, iż S może wiedzieć, że P Q). W kroku (c) stwierdzamy, że jeśli (K) miałaby działać w takim przypadku, to S musiałby opierać Q na jakimś innym świadectwie (ewentualnie jakimś dodatkowym świadectwie) w stosunku do E. Krok ten opiera się w gruncie rzeczy na niekontrowersyjnej przesłance, że każda wiedza wymaga jakiejś podstawy; w szczególności musi istnieć jakieś świadectwo, na którym S opiera Q, a skoro nie jest to E, to S musi wskazać jakieś E*, na którym opiera Q.
6 172 Wojciech Rostworowski Ostatnia przesłanka (d) rozumowania Dretskego głosi, że w niektórych przypadkach, w których świadectwo danego sądu nie przechodzi na jakąś jego implikację, S nie posiada alternatywnego świadectwa E* dla tejże implikacji. Posługując się ilustracją, możemy powiedzieć, iż Dretske uważa, że jest jak najbardziej możliwe, iż sąd To nie jest woda zabarwiona na kolor wina pozostaje bezzasadny, chociaż został wywnioskowany z sądu To jest wino stanowiącego wiedzę. Jak takie stanowisko zostaje uargumentowane? Po pierwsze, zdaniem Dretskego należy zwrócić uwagę na charakter implikacji, z jakimi mamy do czynienia. Filozof nazywa je ciężkimi implikacjami (heavyweight implications). Do tego rodzaju sądów zaliczają się wszystkie stwierdzenia o postaci Nieprawda, że: nie jest tak, że P, a tylko wygląda na to, że P, jak również takie twierdzenia, jak świat materialny istnieje, przeszłość jest realna, nie jestem mózgiem w naczyniu itp. (przykładowo sąd, że świat materialny istnieje, jest ciężką implikacją sądu, że ciasteczka znajdują się w pojemniku). Po drugie, należy zauważyć, że nie dysponujemy żadnymi świadectwami, które mogłyby potwierdzić prawdziwość tychże ciężkich implikacji, to znaczy nie ma nic takiego, co by nam wskazywało (jak określa to Dretske), że, przykładowo, istnieje świat materialny. Obserwację tę filozof stara się uzasadnić w odwołaniu do prostego obrazka: wyobraźmy sobie pewne urządzenie, służące do pomiaru stopnia natężenia Q. Urządzenie to może nas poinformować, ile wynosi stopień natężenia Q (wskazać liczbę jednostek), nie może nas natomiast poinformować o swojej wiarygodności nie może wskazać tego, że wynik, który podaje, jest poprawny. Słowami autora: The position of a pointer (pointing at 5 ) on a well functioning meter indicates that the value of Q is 5 units, but it does not thereby indicate that the instrument is not broken, not malfunctioning, not misrepresenting a value of 2 units (say) as 5 units. Even when instruments (and this includes the human senses) are in perfect working order, they do not they cannot carry information that what they are providing is genuine information and not misinformation. That isn t an instrument s job. The job of a Q-meter is to tell us about Q, not about its reliability in providing information about Q (Dretske 2005: 22). Przykład z urządzeniem mierzącym Q ma, w zamierzeniu filozofa, ilustrować fakt, że ludzkie aparaty poznawcze, choć rejestrują różne informacje o świecie, nie są w stanie zarejestrować własnej wiarygodności. Dokładniej rzecz biorąc, możemy zarejestrować, że w pudełku są ciasteczka, ale nie możemy zarejestrować tego, że nasze oczy nas w tej chwili nie oszukują i że nie jest tak, iż ciasteczka są tylko halucynacją, jakiej doznajemy pod wpływem działania złego demona. Dretske uważa, że podany przykład daje się uogólnić i przenieść na wszelkiego rodzaju sądy stanowiące ciężkie implikacje:
7 W obronie zasady domknięcia: polemika z argumentacją Freda Dretskego 173 This is true of all indicators, all sources of information. That is why there is nothing in the world either mental or material that indicates that there is a material world. Nothing in the present that indicates there is a past (tamże). Reasumując, uzasadnienie dla przesłanki (d) mówi, że istnieją takie sądy (tj. ciężkie implikacje), dla których nie mamy żadnych świadectw. W konsekwencji oznacza to, że każda ciężka implikacja danego sądu, który stanowi skądinąd naszą wiedzę, jest bezzasadna. Przesłanka (d) w połączeniu z przesłanką (c) prowadzi zatem do konkluzji (e), że (K) musi być fałszywa: reguła domknięcia nie działa w przypadku ciężkich implikacji. II.2. Argument ze sceptycyzmu Wcześniejszy argument stanowił rozumowanie mające wykazać, że (K) jest fałszywa. Niniejszy argument stanowi rodzaj motywacji (dość silnej, zdaniem autora) do tego, aby nie uznawać zasady domknięcia za uniwersalnie obowiązującą 6. Odwołuje się on również do faktu posiadania przez nasze codzienne sądy swoich ciężkich implikacji i mówi, w najkrótszym sformułowaniu, że unieważnienie zasady domknięcia pozwala uniknąć sceptycyzmu. Zrekonstruujmy dokładnie przebieg tej argumentacji. W pierwszym kroku przypomnijmy typ wnioskowania, które w literaturze jest znane pod nazwą rozumowanie sceptyka. Brzmi ono następująco: (1) Nie wiem, że nie jestem mózgiem w naczyniu; (2) Wiem, że jeśli mam ręce, to nie jestem mózgiem w naczyniu; (3) Zatem, nie wiem, że mam ręce. Zanim wskażemy regułę, na której opiera się przejście od (1) i (2) do (3), odnotujmy, że to sama konkluzja powyższego rozumowania (a nie, przykładowo, przesłanka (1)) stanowi twierdzenie, które jest celem ataku Dretskego jako wyraz sceptycyzmu. Filozofa niepokoi fakt, że formułując analogiczne wnioskowania gromadziliśmy kolejno wnioski typu nie wiem, że nie urodziłem się chwilę temu, nie wiem, że teraz piszę na komputerze itp., i ostatecznie okazałoby się, że nawet najzwyklejsze i najbardziej oczywiste sądy nie stanowią naszej wiedzy. Żeby uniknąć powyższych konkluzji, należy zatem anulować rozumowanie sceptyka. W ujęciu Dretskego jedyną słuszną metodą, aby tego dokonać, 6 Z drugiej strony, przy pewnych założeniach argument ten dowodzi po prostu, że (K) jest fałszywa (por. Luper 2010).
8 174 Wojciech Rostworowski jest unieważnienie reguły, z której korzysta się przy przejściu od (1) i (2) do (3) 7. Reguła ta to właśnie (K). Dokładniej rzecz biorąc, zgodnie z (K) następujące rozumowanie byłoby poprawne: (a) Wiem, że mam ręce; (b) Wiem, że jeśli mam ręce, to nie jestem mózgiem w naczyniu; (c) Zatem wiem, że nie jestem mózgiem w naczyniu. Zauważmy teraz, że implikacja [(a) & (b)] (c) przechodzi przy prostym przekształceniu w implikację [ (c) & (b)] (a), która stanowi właśnie rozumowanie sceptyka. Poprawność przejścia od (a) i (b) do (c) implikuje zatem poprawność przejścia od (1) i (2) do (3). Innymi słowy, (K) sankcjonuje prawomocność rozumowania sceptyka przynajmniej pod względem formalnym. Reasumując, Dretskego argument ze sceptycyzmu mówi, że jeśli chcemy uniknąć konkluzji typu: Nie wiem, że mam ręce, musimy odrzucić (K). Oznacza to w gruncie rzeczy, że ci, którzy czują przywiązanie wobec tej zasady, stoją, zdaniem Dretskego, w obliczu dylematu: albo popadnięcie w sceptycyzm, albo odrzucenie reguły domknięcia. Jak autor podsumowuje, właściwy jest wybór drugiej drogi: For anyone who thinks they know something about the material world, the choice is easy. Closure must be denied. There are some (known) implications of what we know the heavyweight implications that we do not have to know to be true in order to know to be true what implies them (Dretske 2005: 23). III W niniejszej sekcji będę bronić (K) przed dwoma przedstawionymi argumentami Dretskego. Dokładniej rzecz biorąc, wysunę przeciwko nim dwa kontrargumenty, odwołujące się do tych kategorii, na które zwrócił uwagę Dretske (czyli do reguły (T) oraz sceptycyzmu). Będą to kolejno kontrargument z przechodniości świadectwa oraz kontrargument ze sceptycyzmu. 7 Dokładniej rzecz biorąc, filozof akceptuje obie przesłanki rozumowania sceptyka. Druga przesłanka wydaje się dość oczywista (w każdym razie Dretske przyjmuje ją milcząco). Z kolei pierwsza przesłanka, jak można zauważyć, wynika z jego stanowiska mówiącego, że nie możemy być zasadnie przekonani o prawdziwości ciężkich implikacji, o czym była mowa w kontekście omawiania argumentu z nieprzechodniości świadectwa. W ujęciu Dretskego rozumowanie sceptyka jest więc jak najbardziej poprawne pod względem materialnym.
9 W obronie zasady domknięcia: polemika z argumentacją Freda Dretskego 175 III.1. Kontrargument z przechodniości świadectwa Argument z nieprzechodniości świadectwa stanowił rozumowanie wychodzące od przesłanki, że (T) jest fałszywa, a kończące się na wniosku, że (K) również musi być fałszywa. W moim przekonaniu podważenie pierwszej reguły nie jest do końca słuszne, i postaram się w tym rozdziale wyjaśnić, dlaczego. Przypomnijmy treść (T). Głosi ona, że jeśli E jest świadectwem S-a dla P i S wie, że P Q, to E stanowi jednocześnie jego świadectwo dla Q. Kluczowa w ocenie tej reguły wydaje mi się odpowiedź na pytanie, jak należy rozumieć jej następnik. To znaczy, pytanie brzmi: w jakim stopniu E ma być świadectwem dla Q w sytuacji, w której S wie, że P Q, oraz jest przekonany, że P na podstawie E? Innymi słowy, co ma się na myśli, mówiąc, że świadectwo E przechodzi na sąd Q? Moim zdaniem, istnieją dwie sensowne odpowiedzi na to pytanie, z pozoru subtelnie się różniące, jednakże różnica pomiędzy nimi istotnie wpływa na ocenę prawdziwości (T). Po pierwsze, możemy rozumieć następnik tej reguły jako stwierdzenie, że E ma być bezpośrednim świadectwem na rzecz Q. Ilustracją tego, czym jest bezpośrednie świadectwo dla przyjęcia danego sądu, jest sytuacja, w której patrząc na pojemnik z ciasteczkami, stwierdzam po prostu: Pojemnik nie jest pusty. Moje doznania wzrokowe wywołują we mnie określone przekonanie, które skądinąd może stanowić uświadomioną implikację sądu, nabywanego również na podstawie obserwacji (np. sądu, że w pojemniku są ciasteczka). Na gruncie takiej interpretacji, (T) postuluje zatem, że świadectwo, na którym opieram P (np. określone doznania wzrokowe) stanowi zarazem samo w sobie bezpośrednie świadectwo dla przyjęcia Q (gdzie Q jest dowolną konsekwencją P). Jednakże wydaje mi się, iż następnik (T) możemy rozumieć jako twierdzenie, że E jakoś pośrednio uzasadnia Q 8. Ściślej rzecz biorąc, nazwę E pośrednim świadectwem na rzecz prawdziwości Q wtedy, kiedy stanowi ono podstawę dla przesłanki jakiegoś rozumowania, które przeprowadzam i którego wnioskiem jest Q 9. Przykładowo, moje doznanie wzrokowe zwierzęcia w klatce są pośrednim świadectwem dla przyjęcia sądu To nie jest osioł wówczas, gdy przeprowadzam wnioskowanie od przesłanki To jest zebra, opartej bezpośrednio na świadectwie zmysłowym, do wniosku To nie jest osioł. W tymże wnioskowaniu odwołuję się do mojej zoologicznej wiedzy 8 Sam Dretske mówi o różnicy pomiędzy postrzeganiem pośrednim a bezpośrednim (1969: 62 64). Steven Luper (2006: ) wykorzystuje nawet to rozróżnienie, aby bronić przechodniości świadectwa zmysłowego przed atakiem Dretskego. Moja krytyka stanowiska Dretskego przedstawiona w tym rozdziale stanowi w pewnym sensie uogólnienie obiekcji Lupera. 9 Por. pojęcie inferencyjnej wiedzy postrzeżeniowej u Lupera (jw.).
10 176 Wojciech Rostworowski (że zebry i osły to osobne gatunki), jak i pewnie do jakiejś elementarnej logiki (skoro dwie klasy są rozłączne, to jedno zwierzę nie może jednocześnie należeć do jednej i do drugiej itp.). Innymi słowy, dane świadectwo E wywołuje we mnie sąd Q, ale za pośrednictwem procesu rozumowania. W tym sensie określam je jako świadectwo pośrednie na rzecz Q. Kiedy Dretske mówi o regule przechodniości świadectwa, ma zdecydowanie na myśli postulat mówiący, że świadectwo E ma stanowić bezpośrednią podstawę dla implikacji Q. Świadczą o tym jego komentarze odnośnie do analizowanych przez niego przykładów. W żadnym z przypadków filozof nie rozważa możliwości takiej, że sąd Q zostaje nabyty w drodze rozumowania od przesłanki opartej na E. Stwierdza jedynie, że E nie stanowi dobrego powodu dla przyjęcia Q. Przykładowo pisze, że doznania wzrokowe płynące z obserwacji pojemnika nie są dobrym powodem, by uważać, że istnieje świat materialny, i na tej podstawie odrzuca on dalej (T). Dretskemu chodzi tu najwyraźniej o zasadę przechodniości w pierwszym z wyróżnionych tu przeze mnie sposobów rozumienia. W moim przekonaniu Dretske ma rację twierdząc, że (T) jest fałszywa, o ile rozumiemy ją zgodnie z pierwszą interpretacją. To znaczy, nie zawsze świadectwo E dla P stanowi bezpośrednie świadectwo dla implikacji Q, i przykłady Dretskego przekonująco ten fakt ilustrują. Jednakże przykłady te nie obalają zasady przechodniości w drugim jej rozumieniu. Jaki przypadek falsyfikowałby tezę, że sąd Q nie znajduje pośredniego uzasadnienia w świadectwie E? Ponieważ S potrafiłby zawsze sformułować odpowiednie rozumowanie prowadzące od P do Q (wynika to z warunku, iż S wie, że P Q; zob. wyżej sekcja I), wymagany kontrprzykład musiałby spełniać następujące kryteria: (i) S żywi P na podstawie E (oraz, oczywiście, wie, że P Q), (ii) przeprowadza rozumowanie prowadzące od P do Q, ale, pomimo tego, (iii) jego rozumowanie nie jest intuicyjnie wystarczającą podstawą dla Q. Zauważmy jednak, że w przykładach Dretskego osoby formułujące określone przekonanie w ogóle nie odwołują się do rozumowań. Ponadto, jeśli mielibyśmy odmówić przekonaniu Q nabytemu w drodze rozumowania statusu zasadności, to zaakceptowalibyśmy tym samym mało intuicyjny wniosek, że przedstawienie poprawnego rozumowania, opartego na zasadnych przesłankach, nie jest w ogólności dobrym powodem dla przyjęcia tegoż przekonania (byłby to właśnie przypadek Q). Wydaje się zatem, że odrzucenie (T) w drugim sensie implikuje ostatecznie zbyt rygorystyczne pojęcie zasadności. W odniesieniu do całego powyższego wywodu ktoś mógłby wyrazić wątpliwość, czy drugi sposób rozumienia (T) nie jest czasem nadinterpretacją sformułowania, jakie pojawia się u Dretskego. Wydaje mi się jednak, że wskazany przeze mnie sens reguły jest do pogodzenia z ideą, jaka stoi za (T). Otóż idea, jaka zdaje się przemawiać przez postulat przechodniości świadectwa na impli-
11 W obronie zasady domknięcia: polemika z argumentacją Freda Dretskego 177 kację logiczną danego sądu, jest taka, że świadectwo E jest w pewnym sensie wystarczające do tego, aby S mógł zasadnie żywić sąd Q (pod warunkiem, iż wie on, że P Q, oraz E faktycznie uzasadnia P). Jest to jak najbardziej zgodne z rozumieniem E jako świadectwa pośredniego, czyli świadectwa dla przesłanki, z której S dopiero wyprowadza Q. Po drugie, i co ważniejsze, nawet jeśli dojdziemy do wniosku, że mówiąc (T) w drugim rozumieniu mam na myśli jakąś zasadniczo inną regułę niż (T), nie zakłóci to w żaden sposób mojej argumentacji na rzecz obrony (K). Fakt, że (T) pozostaje prawdziwa w drugim rozumieniu, wystarcza do tego, aby zakwestionować argument z nieprzechodniości świadectwa (niezależnie od tego, że wydamy pozytywny werdykt odnośnie do (a), zważywszy na to, iż Dretske mówi w tej przesłance o (T) w pierwszym rozumieniu). Prawdziwość (T) w drugim rozumieniu obala bowiem przesłankę (d). Treść tej przesłanki była (w skrócie) następująca: niektóre implikacje naszej wiedzy nie znajdują żadnego świadectwa (tj. ciężkie implikacje). (T) implikuje jednak, że wszystkie konsekwencje naszej wiedzy są na czymś oparte. Skrótowo rzecz ujmując, zgodnie z (T) świadectwo na rzecz danego sądu P przechodzi pośrednio na wszelkie jego implikacje (to znaczy na te implikacje, które S poprawnie wydedukował z P). Dokładniej rzecz biorąc, jeśli przyjmujemy P w oparciu o E oraz z P wyprowadzamy Q, to Q jest sądem zasadnym opartym pośrednio o E. Odnieśmy jeszcze powyższy wniosek do któregoś z przykładów Dretskego zawierających ciężką implikację. Przypuśćmy przykładowo, iż nabrałem przekonania, że w pojemniku są ciasteczka (na podstawie doznań wzrokowych) i że to przekonanie stanowi moją wiedzę. Powiedzmy, że formułuję następnie rozumowanie w następującym stylu: Wiem, że w pojemniku są ciasteczka, bo widzę, że w pojemniku są ciasteczka. Wiem też, że ciasteczka oraz pojemnik to obiekty materialne, a zatem istnieją przynajmniej dwa przedmioty materialne. Zgodnie z regułą (T), moje doznania wzrokowe stanowią pośrednie świadectwo na rzecz istnienia rzeczywistości materialnej. To znaczy, opieram na nich pewien sąd, z którego następnie poprawnie wyprowadzam tezę, że istnieje świat materialny. Ciężka implikacja okazuje się jednak niebezzasadna. Powyższe wyjaśnienie może trochę razić. Nasuwa się wątpliwość (taką wątpliwość miałby chyba Dretske), czy to możliwe, że moje banalne rozumowanie wykazało słuszność realizmu 10. W tym momencie należy jednak zwrócić uwagę na pewien aspekt zasady domknięcia, którego Dretske zdaje się w toku całego swojego rozumowania nie doceniać. Dotyczy on siły jednego z założeń poprzednika zasady, mianowicie założenia, że S wie, że P. Ponieważ status 10 Ściślej rzecz biorąc, jest to rozumowanie w stylu Moore a, wymierzone, podobnie jak drugi z argumentów Dretskego, przeciwko sceptycyzmowi. Stanowisko wysuwające takie rozumowanie, nazywane dogmatyzmem, budzi jednak oczywiste wątpliwości.
12 178 Wojciech Rostworowski wiedzy przysługuje tylko przekonaniom prawdziwym, wskazane założenie implikuje prawdziwość sądu P. Tak więc założenie, iż wiem, że w pojemniku są ciasteczka, oznacza, iż w pojemniku naprawdę są ciasteczka. Mając tak silną przesłankę, każdy zgodziłby się wówczas na tezę realizmu i nie byłaby ona w żaden sposób rażąca. Reasumując, na problem ciężkich implikacji należałoby odpowiedzieć następująco. Rozważamy przykłady, które mają w zamierzeniu Dretskego falsyfikować (K) a zatem spełniać jej poprzednik, nie spełniając jej następnika. Założenia poprzednika (K) są jednak na tyle silne, że nawet ciężkie implikacje które niezależnie wydają się być sądami wykraczającymi poza obręb naszej wiedzy muszą być uznane w kontekście tych przykładów za sądy zasadne, co więcej, stanowiące wiedzę. Ostateczny wniosek wypływający z mojego rozumowania jest zatem następujący: przesłanka (d) w argumencie z nieprzechodniości świadectwa jest fałszywa. Jest tak, ponieważ świadectwo danego sądu P pośrednio przechodzi na każdą jego implikację Q, którą S poprawnie wydedukował z P w tym nawet ciężką implikację. Na koniec należy odnotować, że Dretske, wymieniając różne źródła naszych przekonań czy sposoby nabywania wiedzy 11, wskazuje percepcję zmysłową, świadectwo innej osoby, pamięć, dowód itd., jednak ignoruje zupełnie dochodzenie do wiedzy poprzez zwykłe rozumowanie. Sąd Q może stać się moją wiedzą nie tylko dzięki, przykładowo, bezpośredniemu świadectwu zmysłów czy czyjejś informacji, ale również dzięki procesowi dedukcji. Innymi słowy, mogę wiedzieć, że P, nie tylko dlatego, że widzę, że P, albo powiedziano mi, że P, ale również dlatego, że, to, że P, wywnioskowałem. III.2. Kontrargument ze sceptycyzmu W przeciwieństwie do poprzedniego kontrargumentu, kontrargument ze sceptycyzmu nie jest krytyką samego rozumowania Dretskego, ale odrębną racją na rzecz tego, że odrzucenie (K) implikuje pewien rodzaj sceptycyzmu, inny niż ten, na który zwraca uwagę Dretske. Jest to zatem argument skierowany ogólnie przeciwko tezie Dretskego, że powinniśmy odrzucić zasadę domknięcia, a nie w szczególności przeciwko jego argumentowi ze sceptycyzmu. Zanim przedstawię swoją kontrargumentację, chciałbym jednak zwrócić uwagę na pewną dziwaczną konsekwencję stanowiska Dretskego, związaną z relacją pomiędzy odrzuceniem (K) a sceptycyzmem. W świetle wcześniejszej analizy jest dość oczywiste, że stanowisko, jakie filozof ten reprezentuje, łączy w sobie trzy następujące tezy: (i) wiem, że mam ręce, (ii) wiem, że jeśli mam 11 Zob. Dretske 2003: i Dretske 2005:
13 W obronie zasady domknięcia: polemika z argumentacją Freda Dretskego 179 ręce, to nie jestem mózgiem w naczyniu, (iii) nie wiem, że nie jestem mózgiem w naczyniu 12. Dzięki unieważnieniu (K) tezy te nie są sprzeczne, jednak na gruncie niekontrowersyjnego stanowiska że jeśli wiem, że P, to P implikują one mało intuicyjną, w moim przekonaniu, konsekwencję. Wprowadźmy następującą regułę: (F) Jeśli wiem, że P, to P 13. Rezultat, jaki otrzymamy przy zastosowaniu (F) do (i) oraz (ii), a następnie reguły Modus Ponens (MP), jest następujący: (NS) Nie jestem mózgiem w naczyniu. Otrzymana teza jest negacją hipotezy sceptyka. Na gruncie stanowiska Dretskego, z użyciem (F), udało nam się zatem obalić wątpliwości sceptyczne. W zestawieniu z tezą (iii) daje to dość osobliwy rezultat: nie wiem, że nie jestem mózgiem w naczyniu, ale nie jestem mózgiem w naczyniu. Inaczej rzecz ujmując doszedłem do wniosku, iż musi być prawdą, że nie jestem mózgiem w naczyniu, ale wciąż nie wiem, że nie jestem mózgiem w naczyniu. Ta konsekwencja wydaje się mocno nieintuicyjna. Sugeruje ona, że, być może, odrzucenie (K) wypacza w pewnym stopniu pojęcie wiedzy. Pozostawmy jednak powyższe zastrzeżenie i powróćmy do głównego celu tej części pracy, czyli prezentacji kontrargumentu ze sceptycyzmu. W skrócie, kontrargument ten przebiega następująco: odrzucenie (K) obniża wartość poznawczą naszych metod dedukcyjnych; dokładniej rzecz biorąc, wszelkie nasze poprawne dedukcje, wychodzące od przesłanek, o których wiemy, że są prawdziwe, prowadzą do wniosków, które eo ipso nie posiadają statusu wiedzy. Wnioski wymagają zatem niezależnego ugruntowania, aby móc o nich orzec, że stanowią wiedzę. Taki postulat ma jednak w gruncie rzeczy charakter sceptyczny, jako że żąda wygórowanych (w stosunku do zdroworozsądkowych) standardów zasadności dla naszej wiedzy. Przedstawię teraz dokładniej kolejne kroki w moim rozumowaniu. Zacznę od wyjaśnienia, dlaczego odrzucenie reguły domknięcia implikuje obniżenie wartości naszych metod dedukcyjnych. Przez metody dedukcyjne rozumiem metody stosowane przez nauki dedukcyjne, czyli, mówiąc najogólniej 12 Jak pamiętamy, w jego ujęciu twierdzenia (i) (iii) mają stanowić kontrprzykład dla (K). Ponadto (iii) to pierwsza przesłanka rozumowania sceptyka, które Dretske akceptuje pod względem materialnym. 13 Reguła ta jest niekontrowersyjna przynajmniej w wersji, gdy za P nie podstawiamy zdań, które same zawierają operator wiedzy.
14 180 Wojciech Rostworowski rozumowania. Zauważmy w pierwszym kroku, że na gruncie stanowiska odrzucającego (K) wnioski wyprowadzone w drodze poprawnych rozumowań opartych na przesłankach stanowiących wiedzę niekoniecznie muszą same stanowić wiedzę. To znaczy, pomimo tego, że wiem, że P, oraz wykazałem że P Q, sformułowany przeze mnie wniosek Q może w świetle nieobowiązywania (K) wykraczać poza obręb mojej wiedzy. Oznacza to, że jeśli chciałbym przyznać Q status wiedzy, musiałbym odwołać się do jakiejś innej przesłanki niż tej, która mówi, że Q zostało poprawnie wywnioskowane na podstawie tego, co już wiem. Innymi słowy, potrzebowałbym jakichś dodatkowych świadectw uprawomocniających tezę, że wiem, że Q. Reasumując, na gruncie stanowiska negującego (K) rozumowania nie przedłużają naszej wiedzy ipso facto. W tym sensie stanowisko takie obniża ich wartość poznawczą. W moim przekonaniu powyższa obserwacja świadczy o tym, że stanowisko odrzucające (K) przejawia pewien rodzaj sceptycyzmu. Zauważmy, że cechą charakterystyczną (przynajmniej dla niektórych odmian sceptycyzmu) jest to, iż stanowiska takie podważają obowiązujące w potocznej świadomości standardy zasadności. Dokładniej rzecz biorąc, podważają te sposoby uzasadnień, które w potocznym przekonaniu czynią z naszych przekonań wiedzę. Przykładowo, klasyczny sceptyk będzie przekonywał, że percepcja zmysłowa jest zawodnym źródłem wiedzy, gdyż nigdy nie mamy pewności, iż w danym przypadku nasze zmysły nas nie zwodzą (nie uzna on m.in. moich doznań wzrokowych związanych ze zwierzęciem w klatce za dobrą podstawę dla wiedzy, że w klatce jest zebra, gdyż nie mogę wykluczyć, iż w danej chwili zmysły mnie nie oszukują). Filozof odrzucający (K) postępuje w gruncie rzeczy analogicznie, jego celem ataku nie jest jednak percepcja zmysłowa, a procesy dedukcyjne. Podważa on status rozumowań jako niezawodnych źródeł wiedzy. Żeby uwypuklić powyższą analogię, posłużę się ilustracją. Przyjmijmy, że wiem, iż każda liczba naturalna posiada swój następnik. Wyobraźmy sobie, że przeprowadzam teraz następujące rozumowanie: skoro każda liczba ma swój następnik, to w szczególności każda liczba parzysta posiada swój następnik. Ponieważ każda liczba parzysta da się przedstawić jako 2n, to jej następnik wynosi 2n + 1. Jej następnik jest zatem nieparzysty. Oznacza to, że każda naturalna liczba parzysta posiada nieparzysty następnik. Sformułowawszy takie rozumowanie, chcę następnie posunąć się o krok dalej i powiedzieć (W): wiem już zatem, że każda liczba parzysta ma nieparzysty następnik. W tym momencie pojawia się jednak filozof odrzucający (K) i mówi: twój wniosek (W) jest nieuprawniony. Nie każda bowiem dedukcja oparta na przesłankach stanowiących wiedzę prowadzi do wiedzy. Może się okazać, że tak naprawdę nie wiesz, że każda liczba parzysta posiada nieparzysty następnik. Taka reakcja jest jednak absurdalna w tym sensie, w jakim absurdalna jest ze zdroworozsądkowego punktu widzenia wątpliwość sceptyka, że pomimo
15 W obronie zasady domknięcia: polemika z argumentacją Freda Dretskego 181 tego, iż widzę, że w pojemniku są ciasteczka, wciąż nie wiem na pewno, czy w pojemniku są ciasteczka. Reasumując, filozof odrzucający regułę domknięcia przyjmuje wyższe niż zdroworozsądkowe standardy wiedzy. W konsekwencji musi on wymagać dla wszystkich przekonań osiągniętych w drodze dedukcji dodatkowych świadectw (innych niż sam fakt, że przekonanie to zostało poprawnie wywnioskowane z naszej wiedzy), aby uznać je za wiedzę. Zauważmy, że w wielu przypadkach nie będziemy w stanie podać takich świadectw, które niezależnie od naszego rozumowania będą wskazywały na prawdziwość danego sądu. Odrzucenie (K) poddaje zatem w wątpliwość ogromny obszar naszej wiedzy dedukcyjnej. Implikuje więc ono jakiś stanowczy sceptycyzm epistemiczny. IV Dokonam teraz podsumowania całości moich rozważań. W artykule próbowałem bronić reguły domknięcia wiedzy na wynikanie przed krytyką ze strony Freda Dretskego. Skoncentrowałem się na dwóch argumentach Dretskego: argumencie z nieprzechodniości świadectwa oraz argumencie ze sceptycyzmu. Pierwszy z nich dowodził, że świadectwo danego sądu nie przechodzi na jego implikacje oraz że w przypadku niektórych takich implikacji ( ciężkich implikacji) nie mamy żadnych alternatywnych świadectw, na których moglibyśmy je oprzeć. Wywnioskowany sąd nie stanowi zatem wiedzy, pomimo tego, że taki status miała przesłanka, z której ów sąd wywnioskowaliśmy. Argument ze sceptycyzmu odwoływał się z kolei do faktu, że rezygnując z (K), unieważniamy tym samym rozumowanie sceptyka, które grozi naszej wiedzy codziennej. Ja w swojej kontrargumentacji starałem się pokazać, że świadectwo na rzecz danego sądu P przechodzi pośrednio na każdą jego implikację. To znaczy, implikacja Q jest uzasadniona na drodze rozumowania wychodzącego od P, które osoba S potrafi poprawnie przeprowadzić (ze względu na to, iż wie, że P Q, co jest założeniem zasady przechodniości). Zakwestionowałem zatem przesłanki, na których opiera się rozumowanie w ramach argumentu z nieprzechodniości świadectwa. Jeśli chodzi o argument ze sceptycyzmu, to starałem się pokazać, że można przeciwko niemu wysunąć pewien argument na rzecz tego, że z kolei odrzucenie (K) implikuje jakiś rodzaj sceptycyzmu. Dokładniej rzecz biorąc, argumentowałem za tym, że na gruncie stanowiska odrzucającego (K) musimy żądać dodatkowych świadectw dla wniosków z naszych dedukcji (aby uznać je za wiedzę) i że to wygórowanie żądanie jest przejawem epistemicznego sceptycyzmu. Ponadto odnotowałem, że stanowisko Dretskego przyjmujące przesłankę rozumowania sceptyka ( Nie wiem, że nie jestem mózgiem w naczyniu) i jednocześnie zdroworoz-
16 182 Wojciech Rostworowski sądkową przesłankę Wiem, że mam ręce implikuje pewną kontrintuicyjną konsekwencję. Reasumując, podobnie jak wielu filozofów, dochodzę do wniosku, że argumenty Freda Dretskego za odrzuceniem (K) są nieprzekonujące. Bibliografi a Dancy, Jonathan (1985), An Introduction to Contemporary Epistemology, Oxford: Blackwell. DeRose, Keith (1995), Solving the Skeptical Problem, Philosophical Review 104, s Dretske, Fred (1969), Seeing and Knowing, Chicago: University of Chicago Press. Dretske, Fred (1970), Epistemic Operators, Journal of Philosophy 67, s Dretske, Fred (2003), Skepticism: What Perception Teaches, w: The Skeptics, red. S. Luper, Hampshire: Ashgate Publishing, s Dretske, Fred (2005), Is Knowledge Closed Under Known Entailment? The Case Against Closure, w: Contemporary Debates in Epistemology, red. E. Sosa, M. Steup, Malden, MA: Blackwell, s Hawthorne, John (2005), The Case For Closure, w: Contemporary Debates in Epistemology, (red.) E. Sosa, M. Steup, Malden, MA: Blackwell, s Klein, Peter (1981), Certainty: A Refutation of Skepticism, Minneapolis: University of Minnesota Press. Luper, Steven (1984), The Epistemic Predicament: Knowledge, Nozickian Tracking, and Skepticism, Australasian Journal of Philosophy 62, s Luper, Steven (2006), Dretske on Knowledge Closure, Australasian Journal of Philosophy 84(3), s Luper, Steven (2010), The Epistemic Closure Principle, w: The Stanford Encyclopedia of Philosophy (edycja: zima 2011), red. Edward N. Zalta, plato.stanford.edu/archives/win2011/ entries/closure-epistemic/ Nozick, Robert (1981), Philosophical Explanations, Cambridge: Cambridge University Press. Sosa, Ernest (1999), How to Defeat Opposition to Moore, Philosophical Perspectives 13, s Steup, Matthias; Sosa, Ernest (red.) (2005), Contemporary Debates in Epistemology, Malden, MA: Blackwell. Ziemińska, Renata (2002), Nozick o wiedzy i sceptycyzmie, Filozofia Nauki 2002, nr 1.
17 W obronie zasady domknięcia: polemika z argumentacją Freda Dretskego 183 Ziemińska, Renata (2009), Współczesne strategie dyskusji ze sceptycyzmem, w: Philosophiae itinera, red. A. Pacewicz, A. Olejarczyk, J. Jaskóła, Wrocław: Instytut Filozofii Uniwersytetu Wrocławskiego, s Streszczenie Celem artykułu jest obrona epistemicznej zasady domknięcia wiedzy na wynikanie (K) przed zarzutami Freda Dretskego. Reguła ta mówi, że jeśli S wie, że P, oraz wie, że z P wynika Q, to S wie, że Q. Analizuję dwa argumenty Dretskego przeciw (K). Pierwszy z nich odwołuje się do tezy, zgodnie z którą świadectwo dla danego sądu P nie zawsze stanowi jednocześnie świadectwo dla wszystkich sądów, które z P wynikają ( argument z nieprzechodniości świadectwa ). Z kolei drugi zarzut Dretskego mówi, że odrzucenie (K) pozwala nam obronić się przed sceptycyzmem ( argument ze sceptycyzmu ). Wskazanym dwóm argumentom przeciwstawiam dwa własne kontrargumenty, mające wykazać słuszność (K). Po pierwsze, argumentuję wbrew Dretskemu, że świadectwo dla danego sądu P przechodzi pośrednio na wszelkie jego implikacje. Po drugie, wskazuję, że odrzucenie (K) również prowadzi do przyjęcia pewnego rodzaju sceptycyzmu.
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
Rozprawka materiały pomocnicze do pisania rozprawki przygotowane przez Katarzynę Buchman. Rozprawka - podstawowe pojęcia
Rozprawka materiały pomocnicze do pisania rozprawki przygotowane przez Katarzynę Buchman Rozprawka - podstawowe pojęcia 1. rozprawka - forma wypowiedzi pisemnej, w której piszący prezentuje własne stanowisko
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ę
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ć.
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
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
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.
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ę
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
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
13. DOWODZENIE IV REGUŁY WPR, ELIM, ~WPR, ~ELIM
13. DOWODZENIE IV REGUŁY WPR, ELIM, ~WPR, ~ELIM Cele Umiejętność stosowania reguł pierwotnych Wpr, Elim, ~Wpr, ~Elim. Umiejętność przeprowadzania prostych dowodów z użyciem tych reguł. 13.1. Reguła Wpr
ARGUMENT WILLIAMSONA PRZECIWKO KK-TEZIE
Diametros 52 (2017): 81 95 doi: 10.13153/diam.52.2017.1060 ARGUMENT WILLIAMSONA PRZECIWKO KK-TEZIE Grzegorz Lisowski Abstrakt. KK-tezę wyrazić można jako następujące twierdzenie: Jeżeli podmiot wie, że
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 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
Logika Matematyczna. Zadania Egzaminacyjne, 2007
Logika Matematyczna Zadania Egzaminacyjne, 2007 I Rok Językoznawstwa i Informacji Naukowej UAM Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl Podajemy rozwiązania zadań egzaminacyjnych.
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)
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
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
EGZAMIN MATURALNY W ROKU SZKOLNYM 2014/2015
EGZAMIN MATURALNY W ROKU SZKOLNYM 204/205 FORMUŁA DO 204 ( STARA MATURA ) FILOZOFIA POZIOM ROZSZERZONY ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ MFI-R MAJ 205 Uwaga: Akceptowane są wszystkie odpowiedzi merytorycznie
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
POSTANOWIENIE. SSN Romualda Spyt
Sygn. akt III UK 95/10 POSTANOWIENIE Sąd Najwyższy w składzie : Dnia 21 września 2010 r. SSN Romualda Spyt w sprawie z odwołania P. W. od decyzji Zakładu Ubezpieczeń Społecznych o odszkodowanie z tytułu
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
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.:
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
Andrzej Wiśniewski Logika II. Wykłady 10b i 11. Semantyka relacyjna dla normalnych modalnych rachunków zdań
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykłady 10b i 11. Semantyka relacyjna dla normalnych modalnych rachunków zdań 1 Struktury modelowe Przedstawimy teraz pewien
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
Darmowy artykuł, opublikowany na: www.fluent.com.pl
Copyright for Polish edition by Bartosz Goździeniak Data: 4.06.2013 Tytuł: Pytanie o czynność wykonywaną w czasie teraźniejszym Autor: Bartosz Goździeniak e-mail: bgozdzieniak@gmail.com Darmowy artykuł,
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
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
POSTANOWIENIE. SSN Jolanta Strusińska-Żukowska
Sygn. akt III UK 123/17 POSTANOWIENIE Sąd Najwyższy w składzie: Dnia 24 kwietnia 2018 r. SSN Jolanta Strusińska-Żukowska w sprawie z odwołania Z. S. od decyzji Zakładu Ubezpieczeń Społecznych Oddziału
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,
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:
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
14. DOWODZENIE V WYNIKANIE LOGICZNE, RÓWNOWAŻNOŚĆ LOGICZNA, DOWODZENIE TAUTOLOGII
14. DOWODZENIE V WYNIKANIE LOGICZNE, RÓWNOWAŻNOŚĆ LOGICZNA, DOWODZENIE TAUTOLOGII Cele Pojęcie wynikania logicznego i równoważności logicznej w systemie SD. Umiejętność wykazywania zachodzenia relacji
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.
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, 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 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
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
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
POSTANOWIENIE. SSN Małgorzata Wrębiakowska-Marzec
Sygn. akt II UK 273/17 POSTANOWIENIE Sąd Najwyższy w składzie: Dnia 11 kwietnia 2018 r. SSN Małgorzata Wrębiakowska-Marzec w sprawie z wniosku T. J. przeciwko Zakładowi Ubezpieczeń Społecznych III Oddział
ROZPRAWKA MATURALNA PORADNIK
ROZPRAWKA MATURALNA PORADNIK CO TRZEBA NAPISAĆ NA MATURZE Na maturze z języka polskiego poziomie podstawowym zdający będą mieli do wyboru dwa tematy wypracowań. Rozwinięcie każdego z nich będzie wymagało
POSTANOWIENIE. SSN Piotr Prusinowski
Sygn. akt I UK 42/18 POSTANOWIENIE Sąd Najwyższy w składzie: Dnia 21 lutego 2019 r. SSN Piotr Prusinowski w sprawie z odwołania A. S.-H. przeciwko Zakładowi Ubezpieczeń Społecznych Oddziałowi w B. o zasiłek
Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań System aksjomatyczny logiki Budując logikę
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ć
Weronika Łabaj. Geometria Bolyaia-Łobaczewskiego
Weronika Łabaj Geometria Bolyaia-Łobaczewskiego Tematem mojej pracy jest geometria hiperboliczna, od nazwisk jej twórców nazywana też geometrią Bolyaia-Łobaczewskiego. Mimo, że odkryto ją dopiero w XIX
PODSTAWY WNIOSKOWANIA STATYSTYCZNEGO czȩść II
PODSTAWY WNIOSKOWANIA STATYSTYCZNEGO czȩść II Szkic wykładu 1 Wprowadzenie 2 3 4 5 Weryfikacja hipotez statystycznych Obok estymacji drugim działem wnioskowania statystycznego jest weryfikacja hipotez
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
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ę
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
Ogólna metodologia nauk
1. Podział logiki: - semiotyka logiczna - logika formalna - ogólna metodologia nauk Ogólna metodologia nauk 2. Ogólna metodologia nauk zajmuje się metodami (sposobami postępowania) stosowanymi w poznawaniu
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ 1 Inferencyjna równoważność formuł Definicja 9.1. Formuła A jest
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ść
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.
Wstęp do logiki. Klasyczny Rachunek Zdań IV
Wstęp do logiki Klasyczny Rachunek Zdań IV KRZ: kontrola poprawności wnioskowań WYPOWIEDŹ ARGUMENTACYJNA (1) Ponieważ PRZESŁANKI, więc WNIOSEK. Np. Ponieważ Zenek bał się przyznać do winy, więc skłamał.
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
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
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
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
EFEKTY KSZTAŁCENIA DLA KIERUNKU STUDIÓW FILOZOFIA. I. Umiejscowienie kierunku w obszarze/obszarach kształcenia wraz z uzasadnieniem:
Załącznik nr 1 do uchwały nr 445/06/2012 Senatu UR z dnia 21 czerwca 2012 roku EFEKTY KSZTAŁCENIA DLA KIERUNKU STUDIÓW FILOZOFIA poziom kształcenia profil kształcenia tytuł zawodowy absolwenta I stopień
POSTANOWIENIE. odmawia przyjęcia kasacji do rozpoznania. UZASADNIENIE
Sygn. akt I PK 135/03 POSTANOWIENIE Sąd Najwyższy w składzie : Dnia 9 kwietnia 2003 r. SSN Andrzej Wróbel w sprawie z powództwa P. G. przeciwko L. Spółce z o.o. o sprostowanie świadectwa pracy i zapłatę,
Józef Iwulski Glosa do uchwały Sądu Najwyższego z dnia 23 kwietnia 1993 r. III CZP 43. Palestra 37/12(432),
Józef Iwulski Glosa do uchwały Sądu Najwyższego z dnia 23 kwietnia 1993 r. III CZP 43 Palestra 37/12(432), 142-146 1993 ORZECZNICTWO Glosa do uchwały Sądu Najwyższego z dnia 23 kwietnia 1993 r. III CZP
Podstawy Sztucznej Inteligencji (PSZT)
Podstawy Sztucznej Inteligencji (PSZT) Paweł Wawrzyński Wnioskowanie logiczne i systemy eksperckie Systemy posługujące się logiką predykatów: część 3/3 Dzisiaj Uogólnienie Poprawność i pełność wnioskowania
tekstu w związku z tekstem literackim zamieszczonym w arkuszu. Uczniowie otrzymają dwa polecenia do wyboru:
II część egzaminu maturalnego z języka polskiego (poziom podstawowy) obejmuje pisanie własnego tekstu w związku z tekstem literackim zamieszczonym w arkuszu. Uczniowie otrzymają dwa polecenia do wyboru:
Filozofia, Historia, Wykład VI - Sceptycyzm
2010-10-01 Plan wykładu 1 Klasyczna koncepcja prawdy 2 3 Klasyczna koncepcja prawdy Prawda = zgodność myśli z rzeczywistością. Klasyczna koncepcja prawdy Prawda = zgodność myśli z rzeczywistością. Sceptycy
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
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ł
Dowody założeniowe w KRZ
Dowody założeniowe w KRZ Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl w styczniu 2007 Jerzy Pogonowski (MEG) Dowody założeniowe w KRZ w styczniu 2007 1 / 10 Dowody
Wstęp do logiki. Pytania i odpowiedzi
Wstęp do logiki Pytania i odpowiedzi 1 Pojęcie pytania i odpowiedzi DEF. 1. Pytanie to wyrażenie, które wskazuje na pewien brak w wiedzy subiektywnej lub obiektywnej i wskazuje na dążenie do uzupełnienia
Imię i nazwisko:... OBROŃCY PRAWDY
Egzamin: Logika Matematyczna, I rok JiNoI, 30 czerwca 2014 Imię i nazwisko:........................................... OBROŃCY PRAWDY Wybierz dokładnie cztery z poniższych pięciu zadań i spróbuj je rozwiazać.
KLUCZ ODPOWIEDZI KONKURS POLONISTYCZNY. Zadania zamknięte. Zadania otwarte
KLUCZ ODPOWIEDZI KONKURS POLONISTYCZNY /etap wojewódzki/ Zadania zamknięte Zad.2. Zad.4. Zad.14. Zad.15. Zad.16. Zad.17. B D A B C A Zadania otwarte Numer zadania Zad.1. Zad. 3. Zad.5. Odpowiedź poprawna/
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.
Metody wnioskowania. Wnioskowanie w przód (ang. forward chaining) Wnioskowanie w tył (ang. Backward chaining) Od przesłanki do konkluzji Np..
Systemy regułowe Metody wnioskowania Wnioskowanie w przód (ang. forward chaining) Od przesłanki do konkluzji Np.. CLIPS Wnioskowanie w tył (ang. Backward chaining) Czyli od konkluzji do przesłanki Np..
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
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
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
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
wypowiedzi inferencyjnych
Wnioskowania Pojęcie wnioskowania Wnioskowanie jest to proces myślowy, w którym na podstawie mniej lub bardziej stanowczego uznania pewnych zdań zwanych przesłankami dochodzimy do uznania innego zdania
Filozofia I stopień. Dokumentacja dotycząca opisu efektów kształcenia dla programu kształcenia dla kierunku Filozofia dla I stopnia studiów
Załącznik nr 1 do Uchwały Nr 49/2015 Senatu UKSW z dnia 23 kwietnia 2015 r. Filozofia I stopień Dokumentacja dotycząca opisu efektów kształcenia dla programu kształcenia dla kierunku Filozofia dla I stopnia
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?
WYNIKI BADANIA ILOŚCIOWEGO DOTYCZĄCEGO DEPRESJI DLA
WYNIKI BADANIA ILOŚCIOWEGO DOTYCZĄCEGO DEPRESJI DLA SPIS TREŚCI 1. Informacje o badaniu 2. Charakterystyka respondentów 3. Doświadczenia z depresją 4. Stopień poinformowania o depresji 5. Wiedza i wyobrażenia
POSTANOWIENIE. SSN Piotr Prusinowski
Sygn. akt I UK 89/18 POSTANOWIENIE Sąd Najwyższy w składzie: Dnia 20 marca 2019 r. SSN Piotr Prusinowski w sprawie z odwołania P. C. przeciwko Zakładowi Ubezpieczeń Społecznych I Oddziałowi w Ł. o ustalenie
PRZEDMIOTOWY SYSTEM OCENIANIA - MATEMATYKA
PRZEDMIOTOWY SYSTEM OCENIANIA - MATEMATYKA Oceny z matematyki będą ustalane za pomocą średniej ważonej. Każdej ocenie cząstkowej zostanie przypisana jej waga według następującego schematu: Kategoria oceny
Ć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
POSTANOWIENIE. SSN Jolanta Strusińska-Żukowska
Sygn. akt III UK 107/18 POSTANOWIENIE Sąd Najwyższy w składzie: Dnia 23 stycznia 2019 r. SSN Jolanta Strusińska-Żukowska w sprawie z odwołania E. B. od decyzji Zakładu Ubezpieczeń Społecznych Oddziału
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
METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ
METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ KONWERSATORIUM 6: REZOLUCJA V rok kognitywistyki UAM 1 Kilka uwag terminologicznych Słuchacze zapewne pamiętają z zajęć dotyczących PROLOGu poniższą
3. Wykład 3: Dowody indukcyjne, strategie dowodowe Dowody indukcyjne. Dotychczas zobaczyliśmy w jaki sposób można specyfikować definicje
3. Wykład 3: Dowody indukcyjne, strategie dowodowe. 3.1. Dowody indukcyjne. Dotychczas zobaczyliśmy w jaki sposób można specyfikować definicje indukcyjne kategorii syntaktycznych lub osądów, czy też w
EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2018/2019
EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2018/2019 CZĘŚĆ 1. JĘZYK POLSKI ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ GH-P2 KWIECIEŃ 2019 Zadanie 1. (0 1) 2) wyszukuje w wypowiedzi potrzebne informacje
Logika stosowana. Ćwiczenia Wnioskowanie przez abdukcję. Marcin Szczuka. Instytut Matematyki, Uniwersytet Warszawski
Logika stosowana Ćwiczenia Wnioskowanie przez abdukcję Marcin Szczuka Instytut Matematyki, Uniwersytet Warszawski Wykład fakultatywny w semestrze zimowym 2013/2014 Marcin Szczuka (MIMUW) Logika stosowana
Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 15. Trójwartościowa logika zdań Łukasiewicza
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 15. Trójwartościowa logika zdań Łukasiewicza 1 Wprowadzenie W logice trójwartościowej, obok tradycyjnych wartości logicznych,
Charakter prawny normy czasu pracy
Charakter prawny normy czasu pracy Opublikowane: 11.09.2008 Autor: Tadeusz M. Nycz W artykule omówiono zagadnienia dotyczące charakteru prawnego normy czasu pracy w odróżnieniu od wymiaru czasu pracy,
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
Wyrok z dnia 26 stycznia 2000 r. I PKN 487/99
Wyrok z dnia 26 stycznia 2000 r. I PKN 487/99 Wypowiedzenie umowy o pracę pracownikowi zatrudnionemu na stanowisku, z którym jako jedynym w zakładzie pracy związane jest wykonywanie określonych funkcji
JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca Imię i Nazwisko:... FIGLARNE POZNANIANKI
JEZYKOZNAWSTWO I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca 2012 Imię i Nazwisko:........................................................... FIGLARNE POZNANIANKI Wybierz
PRZEDMIOTOWY SYSTEM OCENIANIA
PRZEDMIOTOWY SYSTEM OCENIANIA - MATEMATYKA Oceny z matematyki będą ustalane za pomocą średniej ważonej. Każdej ocenie cząstkowej zostanie przypisana jej waga według następującego schematu: Kategoria oceny
PRZEDMIOTOWY SYSTEM OCENIANIA - MATEMATYKA
PRZEDMIOTOWY SYSTEM OCENIANIA - MATEMATYKA Nadrzędnym celem oceniania jest pozyskiwanie przez nauczyciela i ucznia w trakcie nauczania informacji, które pozwolą rozpoznać, jak przebiega proces uczenia
Paradygmaty dowodzenia
Paradygmaty dowodzenia Sprawdzenie, czy dana formuła rachunku zdań jest tautologią polega zwykle na obliczeniu jej wartości dla 2 n różnych wartościowań, gdzie n jest liczbą zmiennych zdaniowych tej formuły.
George Berkeley (1685-1753)
George Berkeley (1685-1753) Biskup Dublina Bezkompromisowy naukowiec i eksperymentator Niekonwencjonalny teoretyk poznania Zwalczał ateizm Propagował idee wyższego szkolnictwa w Ameryce Podstawą badań
1. Liczby naturalne, podzielność, silnie, reszty z dzielenia
1. Liczby naturalne, podzielność, silnie, reszty z dzielenia kwadratów i sześcianów przez małe liczby, cechy podzielności przez 2, 4, 8, 5, 25, 125, 3, 9. 26 września 2009 r. Uwaga: Przyjmujemy, że 0 nie