[Filozofia nauki] Aleksandra Derra Deflacyjna teoria prawdy Paula Horwicha i jej trudności
|
|
- Magda Wróblewska
- 6 lat temu
- Przeglądów:
Transkrypt
1 [Filozofia nauki] Aleksandra Derra Deflacyjna teoria prawdy Paula Horwicha i jej trudności Filozofowie poszukujący natury prawdy muszą być sfrustrowani (...), poszukują bowiem czegoś, czego nie ma. (Daniel Stoljar, Stanford Encyclopedia of Philosophy, hasło: The Deflationary Theory of Truth ) W artykule charakteryzuję zasadnicze poglądy Paula Horwicha na temat prawdy sformułowane w ramach jego deflacyjnej (minimalistycznej) teorii. Jednej z wielu teorii filozoficznych wywołującej kontrowersje, ale jednocześnie mało znanej. Dodatkowo przedstawiam także wybrane trudności, jakie wiążą się z przyjęciem jej podstawowych sformułowań. Z trudnościami, o których mowa wiążą się bowiem filozoficzne implikacje istotne dla rozumienia takich podstawowych kategorii filozofii języka jak prawda, akceptacja, rozumienie czy własność. Omawiając powyższą teorię mam nadzieję wywołać merytoryczną, otwartą filozoficzną dyskusję nad konkretnymi tezami jednej z minimalistycznych teorii prawdy. Swoje poglądy na temat prawdy Paul Horwich wyraził w przejrzyście napisanej, skonstruowanej w formie pytań i udzielonych nań odpowiedzi, książce zatytułowanej Truth, po raz pierwszy wydanej w 1990 roku. Zawarł w niej wszystkie główne tezy dotyczące problematyki prawdy, tak jak ją rozumie, a w drugim wydaniu z 1998 roku uzupełnił je Postscriptem, w którym odniósł się do krytyk, jakie pod adresem jego teorii zostały wysunięte. Teoria Horwicha wpisuje się w historyczny ciąg filozoficznych teorii prawdy, jakie mamy do dyspozycji: od Fregego, Wittgensteina poprzez Ramseya, Ayera, Strawsona aż po Quine a. Horwich stawia sobie jednak ambitne zadanie zbudowania najlepszej teorii, która zostanie poważnie potraktowana i która nie będzie narażona na zarzuty stawiane jej poprzedniczkom. Do poważnych błędów tych ostatnich należało przede wszystkim nieprecyzyjne oddzielanie tego, czy teoria dotyczy natury samej prawdy, czy też jedynie znaczenia słowa prawda ; obstawanie przy jawnie niewiarygodnej tezie, że prawda nie jest żadnego rodzaju własnością, czy też nieumiejętność pokazania, że nie trzeba powiedzieć, czym jest prawda, by objaśnić filozoficzną i nie tylko atrakcyjność prawdy. Horwich 1
2 przekonuje w swojej książce (szczególnie w rozdziale trzecim), że istnienie rozmaitych naukowych wyjaśniających uogólnień, które posługują się kategorią prawdy nie pociąga za sobą konieczności przeprowadzenia głębszej analizy prawdy, ponieważ prawa nauki na przykład mogą być w pełni zrozumiałe przy zastosowaniu metodologicznego postulatu minimalizmu (Horwich 1990, s. 15). W ujęciu deflacyjnym (minimalistycznym) Horwicha, które opisuję nośnikami prawdy są sądy logiczne rozumiane jako treść takich stanów jak przekonanie, stwierdzanie, przypuszczanie itp.. 1 Należy w tym miejscu dodać, że zakłada się tutaj, iż pojęcie sądu logicznego jest niezależne od pojęcia prawdy; przy czym konceptualna pierwotność należy się temu pierwszemu. 2 Jak można zdefiniować pojęcie sądu logicznego niezależnie od pojęcia prawdy? Centralnym składnikiem takiego objaśnienia będzie określenie warunków tożsamości dla sądów logicznych, warunków, które muszą spełniać dwa wyrażenia, by być tym samym sądem logicznym. Do wyjaśnienia takiej tożsamości służy nam pojęcie przekładu: Trafny przekład słów jednego języka na drugi jest odwzorowaniem, które zachowuje podstawowe wzorce użycia gdzie użycie scharakteryzowane jest niesemantycznie (...). (Horwich 1990, s. 93) Pojęcie przekładu tak, jak się je w minimalizmie rozumie i przyjmuje, jest pojęciem całkowicie niezależnym od pojęć powiązanych z pojęciem prawdy; jego wyjaśnienie całkowicie zostaje wyczerpane w pojęciu tożsamości użycia. Kategorię użycia, sposób jej zastosowania w rozwiązaniu wielu problemów filozofii języka, dokładnie omawia Horwich w książce Meaning, w której rozwija swoją teorię semantycznego deflacjonizmu (Horwich 1998). Jakie są racje Horwicha za tym, by za nośniki prawdy przyjąć sądy logiczne? Nasze przekonania, różne myśli oceniamy jako prawdziwe, a ponieważ ujmujemy je w formie sądów, stąd też one nadają się na nośniki prawdy. W naszym codziennym posługiwaniu się 1 Aby dodatkowo nie komplikować problemów pojęciowych związanych z użyciem terminów def lacyjny czy minimalistyczny, podobnie jak Horwich, w artykule tym posługuję się nimi zamiennie. 2 Michael Dummett krytykuje wszelkie teorie minimalistyczne, ponieważ odrzuca się w nich wyjaśnienie sądu logicznego za pomocą pojęcia prawdy i traktuje pojęcie sądu logicznego jako niezależne. Krytyka ta ma dotyczyć także teorii Horwicha przy szczególnym rozumieniu sądu logicznego. Dummett przyjmuje w swojej argumentacji, że sąd logiczny jest znaczeniem zdania. Wydaje się, że zarówno Horwich, jak i wielu innych współczesnych twórców koncepcji prawdy nie przyjmuje tej przesłanki. Zob. Dummett 1959 oraz Künne 2003, rozdział VI. 2
3 językiem ustosunkowujemy się do sądów, które wygłaszamy, tzn. kiedy wierzymy w coś, mamy na coś nadzieję, pragniemy czegoś ; owo coś jest tym, z czym wchodzimy w relację w danym stanie mentalnym. Owo coś jest bytem szczególnego rodzaju, któremu nadaliśmy nazwę sąd logiczny. Krótko mówiąc, nasza praktyka przypisywania przekonań (praktyka będzie przez Horwicha często przywoływana jako element rozstrzygający) pokazuje, że przekonania należy analizować jako relację pomiędzy osobami żywiącymi dane przekonania a sądami logicznymi. Pozostając wiernymi obserwatorami języka potocznego, możemy powiedzieć jeszcze więcej: jeśli prawda jest własnością sądów logicznych, to wypowiedzi, stwierdzenia, przekonania dziedziczą niejako swój charakter prawdziwościowy ze swojego koniecznego związku z sądami logicznymi. Widać wyraźnie, że powyższe objaśnienie nie jest w pełni zadowalające, ale tym czego według Horwicha tutaj potrzebujemy nie jest wyjaśnienie, ale teoria dotycząca prawdy, która dla każdego rodzaju bytu byłaby równie minimalistyczna (Horwich 1990, s. 102). W minimalizmie Horwicha przyjmuje się słuszność Tezy Deflacyjnej (TD): Nie istnieje prawda rozumiana jako coś posiadającego rzeczywistą (substantial), metafizyczną naturę, która leży u jej podstaw. Oznacza to, że predykatowi jest prawdą nie przysługuje jakaś szczególnego charakteru złożoność. Stąd celem teorii prawdy nie jest sformułowanie ogólnych warunków zastosowania interesującego nas predykatu. (Horwich 1990, s. 120). Horwich wielokrotnie w swoich książkach podkreśla, że prawda jest własnością, która nie posiada u swoich podstaw ukrytej, tajemniczej natury. Nie wyjaśnia on jednak szczegółowo co dokładnie przez to rozumie. Wskazuje jedynie, że prawda nie jest złożoną własnością, ani własnością naturalistyczną, a raczej należałoby ją określić za Fieldem, mianem własności logicznej (Horwich 1990, s. 11, 37, 38; Field 1992). Własność bycia prawdziwym miałaby ukrytą naturę wtedy, gdy za pomocą pojęć jakiejś teorii naukowej dałoby się ją sprowadzić do jakiejś bardziej podstawowej własności, która by ją w pełni charakteryzowała (Horwich 1990, s. 145). W omawianym ujęciu predykat jest prawdziwy zastosowany do zdań czy przekonań nie przypisuje im własności w zwykłym sensie, tak jak inne predykaty (jak jest biały chociażby), w przypadku których da się określić na czym polega owo bycie jakimś (jak bycie białym polega na określonej właściwości kwarków, związanej z oddziaływaniami między nimi) (Horwich 1990, s. 2). Doszukiwanie się istoty (natury) prawdy polega więc na językowym nieporozumieniu traktowania prawdziwych bytów tak jakby posiadały jakąś wspólną właściwość, na wzór wszystkich białych rzeczy, które posiadają pewną właściwość kwarków. Konsekwencją tego nieporozumienia jest analizowanie pojęcia prawdy w taki sposób, aby wyznaczyć konieczne i wystarczające warunki, które muszą być spełnione, żeby 3
4 coś było prawdziwe (Horwich 1990, s. 120; Horwich 1998, s. 29). Według Horwicha potrzebujemy dużo skromniejszej teorii prawdy, niż teorie tradycyjne; wszystko, czego będziemy potrzebowali to schematu równoważnościowego (Horwich 1998, s. 42). Przejdźmy do jego omówienia. Chociaż podstawą wyjaśnienia, czym jest prawda będzie ów prosty schemat, o którym mowa, nie wynika stąd, że predykat prawdy jest redundantny. Wręcz przeciwnie. Jest on niezbędny ze względu na pewne potrzeby logiki. Pozwala na przykład sformułować schemat dla nieskończonej koniunkcji i alternatywy, pod który można podstawić wszystkie ich przypadki, a także dokonywać generalizacji. 3 Ta użyteczność predykatu prawdy wyjaśnia w pewnym sensie jego niezmienną obecność w naszym posługiwaniu się językiem i pozwala nam ostatecznie sformułować schemat równoważnościowy. Prześledźmy kroki, jakie doprowadziły Horwicha do sformułowania go w takiej, a nie innej postaci posługując się analogicznymi przykładami. Łatwo wyobrazić sobie następujące wnioskowanie: Jeśli Ania napisała, że jej kot jest chory, to jej kot jest chory i jeśli napisała, że jezioro jest piękne, to jezioro jest piękne, i jeśli napisała, że jej mąż jest zmęczony, to jej mąż jest zmęczony... itd. Wykorzystując siłę predykatu prawdy otrzymujemy: Co Ania napisała jest prawdą. Często formułujemy w języku proste podstawienia nieskończonej koniunkcji alternatyw: Wszystko jest albo białe albo niebiałe i szczęśliwe albo nieszczęśliwe i bogate albo niebogate... itd., co możemy sprowadzić do wyrażenia postaci: Każdy sąd logiczny postaci <wszystko jest B lub nie B> jest prawdą. Możemy powyższe przykłady uogólnić, formułując tezę, że dla każdego zdania oznajmującego p możemy dostarczyć zdanie równoważne postaci sąd logiczny, że p jest prawdą. Posłużmy się raz jeszcze przykładem: 3 Pod wpływem krytyki Anila Gupty (Gupta 2000) Horwich osłabił to twierdzenie w Postscripcie dołączonym do drugiego wydania Truth. Zob. Horwich 1990, s
5 Sąd logiczny, że Ziemia jest okrągła jest prawdziwy wtedy i tylko wtedy, gdy Ziemia jest okrągła; sąd logiczny, że niebo jest niebieskie jest prawdziwy wtedy i tylko wtedy, gdy niebo jest niebieskie; sąd logiczny, że ludzie są dobrzy jest prawdziwy wtedy i tylko wtedy, gdy ludzie są dobrzy... itd. Podkreśla się tutaj fakt, że niezależnie od tego, jaką teorię prawdy przyjmiemy jako filozofowie, gotowi jesteśmy z przekonania, że śnieg jest biały wywnioskować wyrażenie Śnieg jest biały jest prawdziwe, a następnie wyrażenie postaci Śnieg jest biały jest prawdziwe wtedy i tylko wtedy, gdy śnieg jest biały. To prowadzi nas wprost do schematu równoważnościowego (SchR) będącego kluczem koncepcji minimalistycznej. Uogólniając, otrzymujemy schemat równoważnościowy, jakim posługuje się Horwich, zgodnie z którym dla wszystkich sądów logicznych (SchR) p jest prawdą wtedy i tylko wtedy, gdy p. Efektem zastosowania (SchR) do, na przykład, sądu logicznego Niebo jest niebieskie będzie Niebo jest niebieskie jest prawdą wtedy i tylko wtedy, gdy niebo jest niebieskie. Wprowadzając schemat równoważnościowy Horwich z całą pewnością nie udziela określonej odpowiedzi na pytanie Czym jest prawda?, ponieważ nie ma tutaj miejsca (por. (SchR)) na inflacjonistyczne formuły postaci x jest prawdą wtedy i tylko wtedy, gdy x jest F. W związku z tym nie definiuje się predykatu prawdy, przywołując jakieś inne wyrażenia o tym samym znaczeniu (F). Dodajmy jednak, że nie zaprzecza on twierdzeniu, że zdanie jest prawdziwe wtedy, kiedy (w jakimś sensie) koresponduje z rzeczywistością (czy to złożoną z faktów, czy też rozumianą w jakiś inny sposób). Ujmijmy to następująco: kiedy jakiś sąd logiczny bądź wypowiedź są prawdziwe, to jest tak ze względu na to, że w świecie coś jest takie a nie inne; jest tak ze względu na coś, co jest zewnętrzne wobec owego sądu logicznego czy wypowiedzi. Intuicja korespondencji, którą wszyscy użytkownicy języka potocznego podzielają, jest doskonale spójna z minimalizmem, jak twierdzi Horwich. Co w takim razie odróżnia tę koncepcję od rozpowszechnionego w filozofii korespondencyjnego ujęcia prawdy? Jeśli przyjąć, że na korespondencyjną koncepcję prawdy składają się dwa założenia: (1) że zdanie jest prawdziwe wtedy, kiedy koresponduje z rzeczywistością; oraz (2) że korespondencja stanowi istotę prawdy. W minimalizm Horwicha akceptuje się (1), odrzucając jednocześnie (2) (Horwich 1990, s ). Podsumujmy, minimalizm Horwicha jest stanowiskiem, w którym twierdzi się, że nie jest możliwa pojęciowa analiza prawdy. Przyjmuje się w nim także nieco silniejszą tezę, o 5
6 tym, że nie można przeprowadzić tutaj żadnego rodzaju redukcji, ponieważ prawda jest pojęciem najbardziej podstawowym, a użyteczność tego pojęcia jest niedeskryptywna. 4 Użyteczność tę da się wyjaśnić za pomocą akceptacji schematu (SchR), zaś akceptacja owa wyznacza nasze uchwycenie kategorii prawdy. Tak opisana własność prawdy nie jest podatna na redukcyjną analizę. W tego rodzaju deflacjonizmie jest się minimalistą nie tylko w kwestii prawdy, ale także w kwestii wszystkich powiązanych z nią pojęć. Czy predykat prawdy jest jedynie narzędziem generalizacji? Czy deflacjonizm jest faktycznie deflacyjny? Minimaliści twierdzą, że prawda nie posiada żadnej tajemniczej, ukrytej natury, która miałaby zostać odkryta w filozoficznym badaniu. Jak rozumieć owo pozbawione istotnych treści pojęcie prawdy? Horwich odpowiada, że w przeciwieństwie do wielu innych predykatów, w przypadku predykatu jest prawdą nie powinno się poszukiwać odpowiedzi na pytanie, do czego (metafizycznego, treściwego, tajemniczego ) predykat ów się odnosi. W związku z tym nie należy także spodziewać się, że będziemy mogli wyszczególnić ogólne warunki stosowania tego predykatu, które dadzą się zastosować do każdego poszczególnego przypadku (Horwich 1990, s. 2). 5 Można stąd wywnioskować, że traktowanie pojęcia prawdy jako pozbawionego złożonej treści polega na odrzuceniu tezy, że prawda może być traktowana metafizycznie, jako jakiś byt, posiadający określoną charakterystykę, która może zostać odkryta w stosownym badaniu. Prawda, jak głosi się w minimalizmie nie posiada takiej ukrytej natury. Horwich wyjaśnia: Biorąc pod uwagę funkcję prawdy, możemy wywnioskować, że ogólne fakty, które pojęcie prawdy ma wyrazić, nie są faktycznie o prawdzie; dlatego też opis ukrytej natury prawdy nie ułatwi ich wyjaśnienia. Jest raczej tak, że fakty na temat prawdy, które zostaną włączone w wyjaśnienie tych generalizacji będą podstawieniami schematu równoważnościowego. Podstawienia te są podstawowe w wyjaśnianiu i są one a priori; stąd prawdopodobnie nie są podatne na redukcyjne wyjaśnienie. Sensowną jest więc konkluzja, że prawda nie jest konstytuowana przez jakąś bardziej fundamentalną własność. (Horwich 1990, s. 145, podkreślenie P. Horwicha) Znajomość pojęcia prawdy (rozumienie predykatu prawdy) przez użytkownika języka polega jedynie na skłonności do akceptowania bez żadnego dodatkowego uzasadnienia 4 Ze względu na to ostatnie twierdzenie Horwich uważa, że mianem minimalistyczna nie można opatrzyć koncepcji Donalda Davidsona. Zob. Horwich 1990, s Biorąc pod uwagę przypisywanie (bądź nie) pojęciu prawdy treści, można p owiedzieć, że koncepcja Willarda van Ormana Quine a nie jest deflacyjna, bowiem prawda odgrywa istotną rolę w jego filozofii logiki jako pojęcie bogate treściowo. Zob. Gupta 2000, s. 285, przypis 8. 6
7 każdego podstawienia schematu równoważnościowego (Horwich 1990, s. 35; Horwich 1998, s. 45, 104). Jak rozumieć owo akceptowanie w tym miejscu? Wyjściowo wydaje się, że zgodnie ze wskazówkami Horwicha, można to rozumieć na dwa przynajmniej sposoby. Po pierwsze, jako wypowiedzenie z asercją danego zdania, które jest owym podstawieniem, dokonanie określonego aktu mowy. Horwich opisuje je jako prywatne zaakceptowanie zdania, czyli wypowiedzenie go z asercją do samego siebie. Po drugie, jako uznanie prawdziwości zdania, mające swój wyraz w określonego rodzaju nastawieniu zdaniowym, któremu towarzyszy określony stan psychologiczny (Horwich 1998, s ). Horwich przyjmuje, że pojęcie akceptowalności musi być pojęciem niesemantycznym, ponadto nie może ono zakładać z góry pojęcia prawdy. Jeśli przyjąć, że tak jest, a dodatkowo traktować pojęcie akceptacji jako uznanie prawdziwości zdania, to nie spełnia ono wymogu bycia niesemantycznym (o ile nie rozumie się go wyłącznie na modłę pragmatyczną); trudno zrozumieć więc dlaczego w ogóle Horwich przywołuje je budując swoją minimalistyczną koncepcję (Horwich 1998, s. 95, przypis 29). O kategorię akceptowalności można zasadnie pytać także w kontekście rozumienia zdań. Wyobraźmy sobie, że wybieram jakieś dowolne, wybrane na chybił trafił, zdanie z książki filozoficznej; zdanie, którego nie rozumiem. Przyjmując, że zdanie to głosi coś, co może być zrozumiałe, mogę uznać prawdziwość i wypowiedzieć z asercją obustronny okres warunkowy, który to zdanie zawiera: (Sąd logiczny), że struktura syntaktyczna sposobu reprezentacji jest wiarygodnym nośnikiem informacji o jego historii przyczynowej jest prawdziwy wtedy i tylko wtedy, gdy struktura syntaktyczna sposobu reprezentacji jest wiarygodnym nośnikiem informacji o jego historii przyczynowej. 6 Jestem przekonana, że powyższy okres warunkowy wyraża prawdę, ale z całą pewnością nie wiem, prawdę o czym wyraża. Czy można powiedzieć, że akceptuję podstawienie zdania Struktura syntaktyczna sposobu reprezentacji jest wiarygodnym nośnikiem informacji o jego historii przyczynowej pod równoważnościowy schemat? Wydaje się, że odpowiedź powinna być twierdząca, a także, że rozumienie (bądź nie) zdania, o którym tutaj mowa, nie zmienia funkcjonowania wyjściowego schematu. Czasem Horwich wskazuje jednak, że mówiąc o skłonności do akceptowania schematu ma na myśli przypadki takich podstawień, które są dla nas zrozumiałe (Horwich 2001, s. 567). Poza wskazaniem na kłopotliwe i nie do końca jasne pojęcie akceptowalności, które wymagane jest dla zrozumienia funkcjonowania schematu równoważnościowego w 6 Zdanie to na chybił trafił zostało wybrane z książki Fodora, Zob. Fodor 2001: s
8 minimalizmie Horwicha; można zadać w tym miejscu pytania ogólniejszego charakteru. Czy faktycznie, kiedy minimalista twierdzi, że funkcjonowanie predykatu prawdy daje się całkowicie opisać za pomocą schematu (SchR): (P) jest prawdą wtedy i tylko wtedy, gdy P, nie twierdzi czegoś o naturze prawdy? Czy z powyższego stwierdzenia Horwicha nie da się wyprowadzić dużo słabszej tezy, że nie tyle prawda nie posiada metafizycznej natury i że nie może być opisywana jako pojęcie treściwe (substantial), ale że nie da się jej wyjaśnić za pomocą czegoś bardziej podstawowego, że jest niedefiniowalna? Z tezy o niedefiniowa lności nie wynika jednak wprost, że prawda takiej natury nie posiada. Kłopot z ubogim treściowo pojęciem prawdy polega na trudności w określeniu jasnego kryterium odróżnienia o ile da się takowe wyznaczyć stanowisk deflacyjnych w odniesieniu do prawdy od stanowisk inflacyjnych. Odnalezienie takiego kryterium wydaje się o tyle zasadne, że część filozofów uważa nawet, że opowiedzenie się pod jednej z powyższych stron jest najważniejszą decyzją, jaką teoretycy prawdy muszą podjąć (Boghossian 1990, s ). 7 Sprawa wydaje się nieco skomplikowana, biorąc pod uwagę fakt, że konsekwencje, jakie pociąga za sobą koncepcja minimalistyczna, zupełnie nie wydają się deflacyjne. Jedną z takich konsekwencji jest wynikające ze schematu prawdziwościowego powiązanie pomiędzy prawdziwością zdania a jego właściwym użyciem, kiedy stwierdzone zostaje ono z asercją. 8 Zapytajmy bowiem, czy istnieje zasadnicza różnica pomiędzy teorią, w której twierdzi się, że prawda posiada określoną naturę, ale nie da się jej odkryć i niczego o niej powiedzieć, a teorią, w której prawdzie nie przypisuje się żadnej natury? Pierwszą wszak określilibyśmy mianem inflacyjnej, drugą zaś deflacyjnej. Wydaje się jednak, że konsekwencje płynące z obu są bardzo podobne rozważania (Cartwright 1987). Innymi słowy, można wyrazić wątpliwość, na czym owo ubóstwo czy nawet brak treści miałoby polegać. Czym dokładnie jest nieprzypisywanie prawdzie jakiejś natury czy treści. Podobnie jak wydaje się, że dokładniejszego objaśnienia wymaga twierdzenie niektórych podejść deflacyjnych, w których o prawdzie twierdzi się, że nie jest ona realną (real) własnością. Co to znaczy? Horwich powtarza: prawda nie jest zwyczajną własnością, nie może być więc opisywana jak większość innych predykatów w ramach teorii, która przyniosłaby odpowiedź na pytanie, do czego jest prawdą się odnosi. Jedynym co można 7 Kwestia popadania teorii deflacyjnych w jakąś formę inflacjonizmu może być rozważana na różnych poziomach. Field twierdzi na przykład, że przypadkiem koncepcji granicznej pomiędzy deflacjonizmem a inflacjonizmem byłaby teoria, w której zredukowano by pojęcie warunków prawdziwości do jakiegoś pojęcia fizykalistycznego. Zob. Field 1994, s Wskazuje na to między innymi Crispin Wright. Zob. Wright 1992, s
9 zrobić to dać odpowiedź na pytanie, co słowo prawda znaczy (Horwich 1990: 2). W minimalizmie Horwicha jednak prawda jest uznawana za własność, choć w specyficznym sensie. Pokazuje się w nim tylko, że nie jest ona realną własnością, czyli jak to rozumie Wright własnością, która posiadałaby faktualną treść (Wright 1992). Horwich rozwija swoje rozważania na ten temat w polemice z Wrightem. Przyjrzyjmy się jej nieco bliżej (Horwich 1990, s. 144). Można jak Wright postulować takie rozumienie realnej własności, zgodnie z którym coś może być realną własnością nawet wtedy, gdy nie jesteśmy w stanie dokładnie przedstawić jej natury. Jeśli jednak mamy do czynienia z takim przypadkiem, nie da się ustalić kryterium odróżnienia realnej własności od jakiejkolwiek innej. Co w takim razie ma nas przekonać do wyjściowej tezy, że prawda jest właśnie tego rodzaju własnością? Ponadto równie dobrze można przedstawiać argumenty na rzecz intuicji, które prowadzą do przeciwstawnej konkluzji, że taką własnością prawda nie jest. Można wiarygodnie pokazywać, że tym, co sprawia, że sąd Trawa jest zielona jest prawdziwy, jest to, że trawa jest zielona; a tym, co sprawia, że sąd Pogoda jest piękna jest prawdziwy, jest to, że pogoda jest piękna; i tak dalej. Innymi słowy, nie ma czegoś takiego, co konstytuuje prawdę w ogóle, chociaż w konkretnych wypadkach, w odniesieniu do poszczególnych sądów, można pokazać co dokładnie konstytuuje ich prawdziwość. Teorie deflacyjne ilustrują to schematem równoważnościowym. Czy jednak powyższe analizy wystarczą, by przekonać nas, że rzeczywiście nie jest możliwe sformułowanie teorii, w której odpowiadalibyśmy na pytanie Czym jest prawda?, a nie tylko na pytanie Co znaczy słowo prawda? (Alston 1996, s. 51). Trudno oprzeć się wrażeniu, że w ostateczności sympatia (lub jej brak) wobec stanowisk deflacyjnych, wynika z wcześniej przyjętych założeń metafizycznych. Zwolennicy deflacjonizmu tacy jak Horwich przyjmują, że prawda jest ważnym predykatem, który spełnia określone, istotne funkcje w języku i logice. Przeciwnicy tego rodzaju stanowisk podkreślają, że prawdy nie wolno nam rozważać tylko na poziomie predykatu, ale że należy się odwołać do jej rozumienia metafizycznego. Zarówno po to, aby zrozumieć i zasadnie opisać kategorię normatywności w odniesieniu do przekonań i naszych wypowiedzi, jak i po to, by zachować sensowność wymogów, by wiedza była prawdziwa, a nauka dążyła do prawdy. Trudno w takiej sytuacji jednoznacznie określić, po której stronie leżą rozstrzygające racje. Trudność ta nie wynika, jak sądzę, z braku argumentów zarówno po jednej (deflacyjnej), jak i po drugiej (anty-deflacyjnej) stronie. Wynika ona raczej z przyjętych po obu stronach założeń, które nie dają się uzgodnić. Upraszczając, można powiedzieć, że deflacjoniści radykalnie twierdząc, że prawda nie posiada metafizycznej 9
10 natury wychodzą z dokładnie przeciwnego założenia niż ich oponenci twierdzący, że prawda, aby spełniać swoje funkcje, musi być rozumiana metafizycznie. Horwich z całą stanowczością stwierdza: (...) pojęcie prawdy jest metafizycznie trywialne nie jest niczym więcej niż narzędziem generalizacji. (Horwich 2000, s. 263) Problematyczność tak sformułowanego stanowiska polega na tym, iż twierdząc, że prawda nie posiada metafizycznej natury i nie jest pojęciem treściwym, głosi się silnie metafizyczną tezę. Wydaje się, że można by uniknąć powyższej niekonsekwencji, przyjmując osłabioną wersję teorii deflacyjnej, w której głosiłoby się, nie tyle, że prawda nie posiada takiej natury, ale że nic o takiej naturze jako filozofowie nie wiemy. W rezultacie winniśmy powstrzymać się od stawiania sądów w kwestii metafizycznej natury prawdy i badać predykat prawdy w jego normalnym i powszednim funkcjonowaniu w języku naturalnym. 9 Biliografia Alston, W. (1996), A Realist Conception of Truth, Ithaca & London, Cornell University Press. Blackburn, S., Simmons, K. red. (2000), Truth, Oxford, Oxford University Press. Boghossian, P. (1990), The Status of Content, Philosophical Review, nr 99, s Cartwright, R. (1987), A Neglected Theory of Truth, [w:] Philosophical Essays, Cambridge, Mass., MIT Press. Dummett, M. (1959), Truth, Proceedings of Aristotelian Society, nr 59, s Field, H. (1992), Critical Note: Paul Horwich s Truth, Philosophy of Science nr 59, s Field, H. (1994), Deflationist Views of Meaning and Content, Mind, nr 103, s Fodor, J. (2001), Eksperci od wiązów. Język myśleński i jego semantyka, przeł. M. Gokieli, Warszawa, Aletheia. Grover, D. (1992), Truth and Language-World Connections, The Journal of Philosophy, nr 87, s Na podobną niekonsekwencję wskazuje Grover analizując teorię Fielda. Z jednej strony bowiem chce Field przypisać prawdzie naturę korespondencyjną; zgodnie z którą prawdziwe zdania są połączone z rzeczywistością jakiegoś rodzaju związkami przyczynowymi. Z drugiej strony zastanawia się on czy winniśmy włączyć w teorię prawdy kategorię powiązań przyczynowych pomiędzy światem a językiem; jeśli prawda ma być rozumiana tak jak w teoriach minimalistycznych. Grover dowodzi, że nie da się uspójnić tych dwóch ujęć, i, że powinniśmy przyjąć, że prawda nie odgrywa roli wyjaśniającej. Zob. Grover 1992, s
11 Gupta, A. (2000), A Critique of Deflationism, [w:] Truth, red. Blackburn S., Simmons P., Oxford, Oxford University Press, s Horwich, P. (1990), Truth, Oxford, Oxford University Press. Horwich, P. red. (1994), Theories of Truth, Aldershot-Sydney, Dartmouth. Horwich, P. (1998), Meaning, Oxford, Oxford Clarendon Press. Horwich P. (2000), The Minimalist Conception of Truth, [w:] Truth, red. Blackburn S., Simmons P., Oxford, Oxford University Press, s Horwich, P. (2001), A Defense of Minimalism, [w:] The Nature of Truth, red. Lynch M. Cambridge, Mass., MIT Press, s Künne, W. (2003), Conceptions of Truth, Oxford, Clarendon Press. Wright, C. (1992), Truth and Objectivity, London, Harvard University Press. 11
Deflacyjna teoria prawdy Paula Horwicha i jej trudności
Filozofia Nauki Rok XIV, 2006, Nr 2(54) Deflacyjna teoria prawdy Paula Horwicha i jej trudności Filozofowie poszukujący natury prawdy muszą być sfrustrowani [ ], poszukują bowiem czegoś, czego nie ma.
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
Główne problemy kognitywistyki: Reprezentacja
Główne problemy kognitywistyki: Reprezentacja Wykład dziesiąty Hipoteza języka myśli (LOT): źródła i założenia Andrzej Klawiter http://www.amu.edu.pl/~klawiter klawiter@amu.edu.pl Filozoficzne źródła:
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.
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
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ł
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
Ć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
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
Język myśli. ang. Language of Thought, Mentalese. Dr hab. Maciej Witek Zakład Filozofii Nauki, Wydział Humanistyczny Uniwersytet Szczeciński
Dr hab. Maciej Witek Zakład Filozofii Nauki, Wydział Humanistyczny Uniwersytet Szczeciński http://mwitek.univ.szczecin.pl Język myśli ang. Language of Thought, Mentalese PLAN: I. krótko o języku myśli
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
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
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ć.
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
Kto to zrobi? Co jest do tego potrzebne?
USTALANIE ZASAD PRACY W ZESPOLE 1. Kto będzie naszym liderem/przewodniczącym zespołu?... 2. Jak podzielimy odpowiedzialność za realizację zadań?... 3. jak będziemy podejmować decyzje?... 4. W jaki sposób
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)
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
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
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
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,
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
Opis wymaganych umiejętności na poszczególnych poziomach egzaminów DELF & DALF
Opis wymaganych umiejętności na poszczególnych poziomach egzaminów DELF & DALF Poziom Rozumienie ze słuchu Rozumienie tekstu pisanego Wypowiedź pisemna Wypowiedź ustna A1 Rozumiem proste słowa i potoczne
Metodologia badań naukowych
Metodologia badań naukowych Cele zajęć: Nabycie umiejętności określania problemu badawczego i planowania badania Przyswojenie umiejętności z zakresu przygotowania i przeprowadzenia badania empirycznego
Filozofia, Historia, Wykład V - Filozofia Arystotelesa
Filozofia, Historia, Wykład V - Filozofia Arystotelesa 2010-10-01 Tematyka wykładu 1 Arystoteles - filozof systematyczny 2 3 4 Podział nauk Arystoteles podzielił wszystkie dyscypliny wiedzy na trzy grupy:
Nazwa metodologia nauki etymologicznie i dosłownie znaczy tyle, co nauka o metodach badań.
Nazwa metodologia nauki etymologicznie i dosłownie znaczy tyle, co nauka o metodach badań. Metoda dedukcji i indukcji w naukach społecznych: Metoda dedukcji: 1. Hipoteza 2. Obserwacja 3. Przyjęcie lub
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
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:
Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do
Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do testu z filozofii jest zaliczenie testu z logiki i zaliczenie
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
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ć
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
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
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
MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI
MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI Program wykładów: dr inż. Barbara GŁUT Wstęp do logiki klasycznej: rachunek zdań, rachunek predykatów. Elementy semantyki. Podstawy teorii mnogości
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
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
Wstęp do logiki. Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża,
Prof. UAM, dr hab. Zbigniew Tworak Zakład Logiki i Metodologii Nauk Instytut Filozofii Wstęp do logiki Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża, kto poprawnie wnioskuje i uzasadnia
4. Zagadnienie prawdy. Andrzej Wiśniewski Wstęp do filozofii Materiały do wykładu 2015/2016
4. Zagadnienie prawdy Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl Wstęp do filozofii Materiały do wykładu 2015/2016 Metafizyczne i epistemologiczne pojęcia prawdziwości (1) Euzebiusz jest prawdziwym
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
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
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
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.:
Kłamstwo a implikatura konwersacyjna Szkic streszczenia referatu;)
Tomasz Puczyłowski Kłamstwo a implikatura konwersacyjna Szkic streszczenia referatu;) 1. W referacie zaproponuję definicję kłamstwa skorzystam z aparatury formalnej, zaprojektowanej przez G. Gazdara i
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
Europejski system opisu kształcenia językowego
Europejski system opisu kształcenia językowego Opis poziomów Poziom językowy A1 - Poziom początkowy Potrafię zrozumieć znane mi słowa i bardzo podstawowe wyrażenia dotyczące mnie osobiście, mojej rodziny
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
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.
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
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ł.
1. Dyscypliny filozoficzne. Andrzej Wiśniewski Wstęp do filozofii Materiały do wykładu 2015/2016
1. Dyscypliny filozoficzne Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl Wstęp do filozofii Materiały do wykładu 2015/2016 Pochodzenie nazwy filozofia Wyraz filozofia pochodzi od dwóch greckich słów:
Aleksandra Derra Pojęcie użycia punkt wyjścia w badaniach nad językiem (streszczenie wystąpienia)
Aleksandra Derra Pojęcie użycia punkt wyjścia w badaniach nad językiem (streszczenie wystąpienia) Punktem wyjścia mojego referatu będzie teza, głosząca, że użycie winno być potraktowane jako wyjściowa
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,
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
Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I
Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan: definicja pojęcia wnioskowania wypowiedzi inferencyjne i wypowiedzi argumentacyjne
Podstawowe Pojęcia. Semantyczne KRZ
Logika Matematyczna: Podstawowe Pojęcia Semantyczne KRZ I rok Językoznawstwa i Informacji Naukowej UAM 2006-2007 Jerzy Pogonowski Zakład Logiki Stosowanej UAM http://www.logic.amu.edu.pl Dodatek: ściąga
ARGUMENTY KOSMOLOGICZNE. Sformułowane na gruncie nauk przyrodniczych
ARGUMENTY KOSMOLOGICZNE Sformułowane na gruncie nauk przyrodniczych O CO CHODZI W TYM ARGUMENCIE Argument ten ma pokazać, że istnieje zewnętrzna przyczyna wszechświata o naturze wyższej niż wszystko, co
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
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.
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
Filozofia przyrody - Filozofia Eleatów i Demokryta
5 lutego 2012 Plan wykładu 1 Filozofia Parmenidesa z Elei Ontologia Parmenidesa Epistemologiczny aspekt Parmenidejskiej filozofii 2 3 4 Materializm Ontologia Parmenidesa Epistemologiczny aspekt Parmenidejskiej
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
Narzędzia myślenia Słowa - wyobrażenia - pojęcia Wiesław Gdowicz
Narzędzia myślenia Słowa - wyobrażenia - pojęcia Wiesław Gdowicz Einstein nie prowadził eksperymentów. Był fizykiem teoretycznym. Zestawiał znane fakty i szczegółowe zasady i budował z nich teorie, które
WYMAGANIA EDUKACYJNE Z JĘZYKA POLSKIEGO - OCENIANIE BIEŻĄCE, SEMESTRALNE I ROCZNE (2015/2016)
WYMAGANIA EDUKACYJNE Z JĘZYKA POLSKIEGO - OCENIANIE BIEŻĄCE, SEMESTRALNE I ROCZNE (2015/2016) Ocena dopuszczająca: Ocenę dopuszczającą otrzymuje uczeń, który opanował wiadomości i umiejętności określone
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 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
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
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
Filozofia analityczna szkoła analityczna a neopozytywizm
Filozofia analityczna szkoła analityczna a neopozytywizm odmiany f. analitycznej: filozofia języka idealnego filozofia języka potocznego George E. Moore (1873 1958) analiza pojęciowa a filozoficzna synteza
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
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
Rachunek logiczny. 1. Język rachunku logicznego.
Rachunek logiczny. Podstawową własnością rozumowania poprawnego jest zachowanie prawdy: rozumowanie poprawne musi się kończyć prawdziwą konkluzją, o ile wszystkie przesłanki leżące u jego podstaw były
Logika dla prawników
Logika dla prawników Wykład I: Pytania o logikę Dr Maciej Pichlak Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa mpichlak@prawo.uni.wroc.pl Tak na logikę Kodeks karny: Art. 226 1. Kto znieważa
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
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
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. 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
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ść
1. Definicja zamówienia tego samego rodzaju na gruncie prawa zamówień publicznych
II. Zamówienia tego samego rodzaju 1. Definicja zamówienia tego samego rodzaju na gruncie prawa zamówień publicznych Jak już wspomniano, w oparciu o art. 32 ust. 1 Ustawy podstawą ustalenia wartości zamówienia
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ść
INFORMATYKA a FILOZOFIA
INFORMATYKA a FILOZOFIA (Pytania i odpowiedzi) Pytanie 1: Czy potrafisz wymienić pięciu filozofów, którzy zajmowali się także matematyką, logiką lub informatyką? Ewentualnie na odwrót: Matematyków, logików
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 12 i 13. Dowód i dowodzenie w KRP. Tezy KRP
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykłady 12 i 13. Dowód i dowodzenie w KRP. Tezy KRP 1 Pojęcie dowodu w KRP Pojęcia: formuły zdaniowej języka Klasycznego Rachunku
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
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
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
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:
Łukasz Hardt, 2013, Studia z realistycznej filozofii ekonomii, Warszawa: Wydawnictwo C.H. Beck, ss. 177.
74 przegląd piśmiennictwa Łukasz Hardt, 2013, Studia z realistycznej filozofii ekonomii, Warszawa: Wydawnictwo C.H. Beck, ss. 177. Różne odmiany stanowiska realizmu krytycznego w naukach społecznych zainicjowane
Problem prawdy w działalności informacyjnej. Zarys problematyki.
Problem prawdy w działalności informacyjnej. Zarys problematyki. Sabina Cisek Instytut Informacji Naukowej i Bibliotekoznawstwa Uniwersytet Jagielloński Konferencja Bibliotekarz w świecie wartości, Wrocław,
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ń
O badaniach nad SZTUCZNĄ INTELIGENCJĄ
O badaniach nad SZTUCZNĄ INTELIGENCJĄ Jak określa się inteligencję naturalną? Jak określa się inteligencję naturalną? Inteligencja wg psychologów to: Przyrodzona, choć rozwijana w toku dojrzewania i uczenia
Metodologia prowadzenia badań naukowych Semiotyka, Argumentacja
Semiotyka, Argumentacja Grupa L3 3 grudnia 2009 Zarys Semiotyka Zarys Semiotyka SEMIOTYKA Semiotyka charakterystyka i działy Semiotyka charakterystyka i działy 1. Semiotyka Semiotyka charakterystyka i
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
POKAŻ REZULTATY SWOICH DZIAŁAŃ. POKAŻ, CO POTRAFISZ. ALE NAJPIERW TO ZBADAJ! V KONGRES BIBLIOTEK PUBLICZNYCH WARSZAWA PAŹDZIERNIKA 2014 ROKU
POKAŻ REZULTATY SWOICH DZIAŁAŃ. POKAŻ, CO POTRAFISZ. ALE NAJPIERW TO ZBADAJ! V KONGRES BIBLIOTEK PUBLICZNYCH WARSZAWA 20-21 PAŹDZIERNIKA 2014 ROKU TROCHĘ TEORII Rezultat bezpośredni, natychmiastowy efekt
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.
1. WPROWADZENIE. Metody myślenia ta części logiki, która dotyczy zastosowania. praw logicznych do praktyki myślenia.
1. WPROWADZENIE Metody myślenia ta części logiki, która dotyczy zastosowania praw logicznych do praktyki myślenia. Zreferowane będą poglądy metodologów, nie zaś samych naukowców. Na początek potrzebna
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
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
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.
SZTUCZNA INTELIGENCJA
SZTUCZNA INTELIGENCJA WYKŁAD 10. WNIOSKOWANIE W LOGICE ROZMYTEJ Częstochowa 2014 Dr hab. inż. Grzegorz Dudek Wydział Elektryczny Politechnika Częstochowska WNIOSKOWANIE W LOGICE DWUWARTOŚCIOWEJ W logice