Antyrealizm a zasada wyłączonego środka
|
|
- Michalina Maciejewska
- 7 lat temu
- Przeglądów:
Transkrypt
1 Patryk Zając Antyrealizm a zasada wyłączonego środka I. Status quaestionis. Antyrealizm to pogląd, którego trzy warianty, najczęściej wyróżniane w typologiach 1, można wyeksponować w następujących zdaniach: (a) istnienie przedmiotów jest zależne od aktów świadomości, (b) przedmiot poznania jest zależny od poznawczej aktywności człowieka, (c) znaczenie zdania równa się warunkom jego użycia lub stwierdzalności. W przypadku (a) mówi się o antyrealizmie ontologicznym, a dalej, odpowiednio, epistemologicznym i semantycznym. Według Renaty Wieczorek, rozpatrywanie każdej z wyróżnionych odmian tego stanowiska wymaga jej krytycznego odniesienia do tez, występującego w analogicznych odmianach, realizmu. Odniesienie takie pozwala zauważyć, że relacje pomiędzy poszczególnymi rodzajami realizmu i antyrealizmu ustala się badając funkcjonowanie tych wersji jako składowych w ramach danego kompleksu teoretycznego. Oznacza to, że odrzucenie realizmu typu (b) nie musi spowodować przyjęcia antyrealizmu typu (a) itd.; zależności okazują się tutaj złożone (por. Wieczorek 2005: 7-8; Woleński 1993: ; Woleński 2003: ; Woleński 2005: ). Współcześnie, w przeciwieństwie do tradycyjnych dyskusji toczonych na płaszczyźnie metafizycznej, rozpatruje się zagadnienie antyrealizmu najczęściej w sformułowaniu semantycznym. Oznacza to, że rozważany jest sposób rozumienia zdań pewnej klasy zdań. Pojawiają się w związku z tym obawy o eliminację problematyki metafizycznej z debaty filozoficznej lub o zredukowanie problemów metafizycznych do semantycznych (por. np. Devitt 1984). 1 W innym ujęciu wyróżnia się antyrealizm eliminacyjny, kreacyjny parcjalny i kreacyjny radykalny oraz antyrealizm agnostyczny. M. Dummett, którego koncepcja będzie rozważana szczegółowo, uznawany jest za przedstawiciela parcjalnego antyrealizmu kreacyjnego (por. Szubka 1998: 5-33). 1
2 Michael Dummett, czołowy przedstawiciel antyrealizmu semantycznego, podkreśla jednak, że jego celem jest wypracowanie na tyle uniwersalnych środków filozoficznej analizy, by były one również stosowalne w rozważaniach przedstawicieli różnych działów filozofii. Nie można tylko niczego na serio rozważać, jeżeli nie wiadomo, jak rozumieć zdania o przedmiotach, które się rozważa (Grobler 2001: ). Metafizycy mogą więc czuć się (nieco) spokojniejsi, a refleksję warto, przynajmniej metodycznie, sprowadzić na płaszczyznę semantyczną. Podjęcie takiej decyzji ma istotne konsekwencje, domagające się poważnych wyjaśnień wobec wytrwałych krytyków referowanego pomysłu. Do wymienianych przez nich, zwykle na pierwszym miejscu, trudności antyrealizmu semantycznego należy to, że prowadzi on do rewizji logiki klasycznej, w szczególności do odrzucenia zasady wyłączonego środka (Grobler 2006: ). W związku z tym w dalszej części proponowanej analizy podjęte zostanie pytanie, dlaczego antyrealizm semantyczny (ARS) prowadzi do odrzucenia zasady wyłączonego środka (exc). Trzeba jednak od razu podkreślić, że odrzucenie zasady wyłączonego środka nie jest warunkiem koniecznym antyrealizmu. Na nurt ten składa się szerokie spektrum stanowisk, wśród których są akceptujące tę zasadę i odrzucające ją (Szubka 2001: 78). Uznawać jednak można, i tak czyni Dummett, że najbardziej interesujące formy antyrealizmu, stanowiące zarazem prawdopodobnie znaczną większość, znamionuje odrzucenie zasady biwalencji (Dummett 1993: 75 i 241). Skupimy się tutaj na analizie odmiany jednego tych najbardziej interesujących stanowiskach. Odtąd skrót ARS należy rozumieć jako odnoszący się do wspomnianej odmiany i odmian, którym można przypisać przynajmniej istotnie zbliżoną charakterystykę. II. Porządek analizy. Na początek zaproponowana zostanie rekonstrukcja teorii znaczenia przyjmowanej w ARS. W tej teorii, jak wspomniano, wyraża się specyfika 2
3 semantycznego ujęcia antyrealizmu (Dummett 1992: 6; Szubka 2001: ). Ponieważ rozważane zagadnienia mają charakter semantyczny, po zrekonstruowaniu teorii znaczenia w ARS wyeksponowany zostanie semantyczny odpowiednik exc, to jest zasada dwuwartościowości. Najważniejszym punktem analizy będzie przedstawienie odniesienia konsekwencji teorii znaczenia w ARS do zasady dwuwartościowości. Problem sprowadza się bowiem do pytania, czy ARS prowadzi do odrzucenia zasady dwuwartościowości. Jeśli tak, to znaczy, że ARS prowadzi do odrzucenia prawa exc, bo zasada biwalencji jest semantycznym odpowiednikiem tego prawa. W kolejnym kroku pozostanie zaproponować krytyczne odczytanie niektórych konsekwencji ARS związanych ze statusem exc na jego gruncie. Pozwoli to sformułować dwie wersje odpowiedzi na przewodnie pytanie tego eseju. Potrzeba jeszcze tylko zastrzeżenia, że ARS bywa też eksplikowany jako dotyczący przede wszystkim pojęcia prawdy (Woleński 2005: 470). Obydwa podejścia wiodą do postawienia problemu exc i przez to są zbieżne. Przyjęta tutaj zostanie, jako prostsza, pierwsza strategia, uznająca za centralny problem znaczenia pewnej klasy zdań. W ten sposób zostanie pośrednio uchwycona relacja ARS do exc, zwłaszcza że, jak to explicite formułuje T. Szubka, przyjęcie lub odrzucenie zasady dwuwartościowości wiąże się ściśle z wyborem teorii znaczenia (Szubka 2001: 151). III. Rekonstrukcja. Oto jak przedstawia się w ARS problem tego, na czym polega wiedza składająca się na rozumienie języka przez jego użytkowników, czyli teoria znaczenia. Niech będzie dane zdanie Z. W perspektywie ARS znaczenie Z identyfikuje się z warunkami jego stwierdzalności. Jeżeli Z spełnia warunki stwierdzalności, to można mu przypisać prawdę albo fałsz, a zatem jest rozstrzygalne. Dummett podkreśla, że przypuszczalnie nie moglibyśmy w ogóle rozumieć, co znaczy, że zdanie jest prawdziwe niezależnie od tego, co nauczyliśmy się traktować jako uzasadnienie 3
4 jego prawdziwości; po prostu nie dałoby się wykazać, że je rozumiemy (Dummett 1963). Prowadziłoby to do przykrej konfrontacji z samymi nierozstrzygalnymi zdaniami. Wówczas żylibyśmy w świecie horroru, w którym żadne zdanie nie jest albo prawdziwe, albo fałszywe, lecz każde zdanie nie jest ani prawdziwe, ani fałszywe. Ponieważ jednak nauczono nas traktować pewne struktury jako uzasadnienia prawdziwości pewnych zdań, zdania nierozstrzygalne generowane są tylko na dwa sposoby. Po pierwsze, na skutek wdrożenia, podczas nabywania mowy, w używanie wśród operatów także kwantyfikatorów przebiegających przez nieskończone lub możliwie nieskończone całości ( ), zwłaszcza przez wszystkie przyszłe momenty czasowe ( będzie zawsze, będzie kiedyś, nie będzie nigdy ) (Żegleń 2006: ). Zdania zawierające te kwantyfikatory odnoszą się zatem do przeszłości oraz do przyszłości. Zdania nierozstrzygalne powstają również, i po drugie, przez użycie kontrfaktycznych okresów warunkowych oraz predykatów, w wyjaśnianiu których takie okresy muszą brać udział. Przykładem użycia rzeczonego okresu jest zdanie: gdybym znalazł się w odpowiednim miejscu i czasie, rozpoznałbym prawdziwość lub fałszywość zdania o R, gdzie R oznacza np. wydarzenie historyczne, o jakim świadczyły źródła dziś bezpowrotnie zaginione. Jak już zauważono, zdania są nierozstrzygalne, bo nie spełniają warunków stwierdzalności. Należy więc dookreślić, w jaki sposób rozumie się na gruncie tej teorii znaczenia kluczowe dla niej pojęcie stwierdzalności. By to ustalić, antyrealiści odwołują się do dziedzin formalnych, traktując je jako dysponujące narzędziami gwarantującymi najwyższą możliwą pewność. Wzorcem jest zatem stwierdzalność na podstawie dowodu matematycznego, dalej uogólnienia w kierunku stwierdzalności wedle kryteriów weryfikacji (Woleński 2005: ). Stwierdzalność na mocy dowodu matematycznego (formalnego) prowadzi do wygenerowania relatywnie nielicznego zbioru zdań z dziedzin formalnych. Tego typu zdania można na mocy dowodu rozstrzygać konkluzywnie jako prawdziwe lub fałszywe, traktując jako przypadki wzorcowe. Powstaje pytanie o możliwość posze- 4
5 rzenia takiego zbioru o zdania niekonkluzywnie rozstrzygalne. Jawi się ona jako następstwo tego, co Woleński nazywa uogólnieniem. Teza o stwierdzalności zdań na mocy uogólnionych kryteriów prowadzi jednak do istotnych wątpliwości. Twierdzenie matematyczne może być traktowane jako przykład zdania matematycznego. Wydaje się akceptowalne, że warunkiem koniecznym (dyskusyjne, czy koniecznym i wystarczającym) znajomości znaczenia takiego zdania jest umiejętność podania dowodu, a zatem określenia, czy jest ono prawdziwe albo fałszywe. Jednak w miarę uogólniania (w sensie Woleńskiego) sytuacja staje się niejednoznaczna. Podstawowa wątpliwość dotyczy tego, czy ARS zawiera naiwne przekonanie, iż dla dowolnego zdania, jeśli uchwyciliśmy jego znaczenie, to ex definitione potrafimy powiedzieć, czy jest on prawdziwe albo fałszywe (por. Szubka 2001: 150). Dummett zastrzega wobec takiej wątpliwości (dość ogólnie zresztą) pisząc o uchwyceniu znaczenia Z, to znaczy o zrozumieniu tego zdania że rozpoznanie prawdziwości / fałszywości Z wymaga znajdowania się względem niego w odpowiednim położeniu ( ) nawet jeśli nie ma efektywnej metody prowadzącej do tego położenia (Dummett 1998: 19). Cytowane zastrzeżenie dotyczy zarówno zdań rozstrzygalnych, jak i nierozstrzygalnych, by móc uznać je za nierozstrzygalne. Zasadnicze znaczenie dla rozpoznania prawdziwości/fałszywości zdania ma kwestia interpretacji sformułowania jeżeli znajdujemy się w odpowiednim położeniu. W ujęciu Dummetta sprowadza się ono do stwierdzenia, że na gruncie teorii znaczenia dla ARS nie trzeba umieć choćby pomyśleć, co ustala prawdziwość rozważanego zdania. Pozytywnie stwierdza ono tylko tyle, że znajdować się w odpowiednim położeniu względem zdania to mieć zdolność rozpoznania, że to, co zostało nam przedstawione, ustala prawdziwość (jest konkluzywne w kwestii prawdziwości) rozważanego właśnie zdania. W przypadku zdań, do których nie stosuje się jednoznacznie pojęcie dowodu, wystarczy rozpoznać, że to, co zostało nam przedstawione, stanowi świadectwo (justification) przemawiające na rzecz rozważanego zdania mocniej niż prze- 5
6 mawiające przeciw temu zdaniu. Stąd teorię znaczenia przyjmowaną na gruncie ARS nazywa się justyfikacyjną (Żegleń 2006: 141). Do istotnych następstw przedstawionej interpretacji sformułowania jeżeli znajdujemy się w odpowiednim położeniu należy, w ramach semantyki utożsamiającej warunki prawdziwości z warunkami stwierdzalności, status pewnej klasy rozstrzygalnych zdań. Semantyka ta, dostarczająca schematu, struktury, dla justyfikacyjnej teorii znaczenia, musi dopuścić, by prawdziwość przysługiwała sądom logicznym tej klasy. Na status zdarzeń rzeczywistych, nierzeczywistych lub nieokreślonych, jakich dotyczą te zdania, nie ma bowiem wpływu relacja lokalizacji zdarzenia, o jakim mówi zdanie, do lokalizacji nas samych, więc czynniki czasoprzestrzenne. Klasę charakteryzowanych zdań tworzą więc te, co do których nie mamy już możliwości znalezienia się w położeniu czasoprzestrzennym umożliwiającym przeprowadzenie procedury rozstrzygania, choć wiadomo, w jaki sposób ich wartość logiczna mogłaby być rozstrzygnięta. Zdania należące do rozważanej klasy traktować należy jak przypadki graniczne. Znaczy to, że możliwie najsłabiej spełniają one kryteria weryfikacji, do jakich na gruncie ARS uogólnia się modelowa stwierdzalność na podstawie dowodu matematycznego. W następnym kroku należałoby już ogólnie uznać, że warunki prawdziwości transcendują warunki stwierdzalności, co jest sprzeczne z definicją znaczenia w ARS. Skądinąd, do interesujących filozoficznie konsekwencji twierdzenia Goedla należy teza o takiej właśnie, kwestionowanej przez antyrealistów, relacji warunków prawdziwości do warunków stwierdzalności. Ważkim następstwem jest tutaj konieczność przyjęcia, w interpretacji antyrealistów osobliwego, przekonania o istnieniu zdań niestwierdzalnie prawdziwych, ale prawdziwych oraz niestwierdzanie fałszywych, ale fałszywych. Sprowadzałoby się to do uznania, że zdanie o postaci p lub non-p jest za każdym razem prawdziwe. Formuła postaci p lub non-p wyraża prawo exc. Jego semantycznym odpowiednikiem jest semantyczna zasada wyłączonego środka. Ustala się ją na mocy 6
7 dwóch równoważności: (p wtw., gdy p jest prawdziwe) oraz (non-p wtw., gdy p jest fałszywe). Wprowadza się dalej semantyczne prawo sprzeczności, zwane też zasadą wykluczania: żadne zdanie nie jest zarazem prawdziwe i fałszywe. W ten sposób powstaje: każde zdanie jest albo prawdziwe albo fałszywe. A to sformułowanie nazywa się zasadą dwuwartościowości, na której oparta jest semantyka realistyczna (por. Woleński 2005: 472; Szubka 2001: 71; Dummett 1978: 19). Choć wydaje się ona powszechnie akceptowana, to, wedle S. Blackburna, zarówno status, jak i prawdziwość tej zasady to rzecz wysoce kontrowersyjna, ponieważ przekreśla ona problematykę nieostrości, wydaje się nieuzgadnialna z konstruktywizmem oraz ignoruje trudności, jakich przysparzają paradoksy semantyczne (Blackburn 2004: 94). W perspektywie justyfikacyjnej teorii znaczenia dość łatwo podać przykład takiej kontrowersji. Niech będzie dane zdanie p. Niech p przyjmie status zdania nierozstrzygalnego. Wówczas również jego negacja nie będzie zdaniem rozstrzygalnym. Konsekwentnie: alternatywa p i jego negacji będzie nierozstrzygalna. Jak pokazano wyżej, alternatywa ta wyraża prawo wyłączonego środka, czyli exc zostanie w takim przypadku odrzucone. Jeżeli z kolei p ma status zdania rozstrzygalnego (to znaczy: można podać świadectwo za p albo przeciw niemu), to alternatywa, której człony to p oraz jego negacja, jest prawdziwa. Dla zdań rozstrzygalnych zasada wyłączonego środka zostaje więc zachowana. Na tym przykładzie widać, że status zasady exc w dwóch różnych odniesieniach, ale na gruncie tej samej koncepcji znaczenia nie jest jedno-jednoznaczy. Nie jest oczywiste, czy należy to kwalifikować jako związane z osobliwością rozważanej koncepcji znaczenia, czy też, sugerując się stanowiskiem Blackburna, jako egzemplifikację kontrowersyjności zasady exc. 7
8 IV. Uwagi dyskusja. Niemniej dwa elementy przedstawionej charakterystyki zasady exc i dwuwartościowości wydają się szczególnie istotne w eksplikacji stanowiska antyrealistycznego. Pierwszym jest konstatacja, że od semantycznej zasady wyłączonego środka do zasady dwuwartościowości przechodzi się na mocy tylko na mocy semantycznego prawa sprzeczności. Dla antyrealistów, takich jak Dummett, okaże się ona problematyczna. Kwestionuje on taką interpretację rzeczonego przejścia ponieważ dostrzega, że jego następstwa jawią się jako dużo poważniejsze niż uznanie, że każdemu zdaniu przysługuje jedna z dwóch wartości logicznych, to jest albo prawda, albo fałsz. Taka sytuacja nie byłaby problematyczna. Kluczowe znaczenie ma kwalifikacja, jaką zasada dwuwartościowości nadaje zdaniu. Funkcjonuje ona tak, że w jej perspektywie zdanie jest zdeterminowanie albo prawdziwe, albo fałszywe. Przysłówek zdeterminowanie kontroluje znaczenie funktora alternatywy albo w zasadzie dwuwartościowości w sposób, który ilustruje rozważenie zdania o przyszłym stanie rzeczy. Jeżeli zdanie jest albo prawdziwe, albo fałszywe, to znaczy, że w jednym przyszłym biegu rzeczy będzie prawdziwe, a w drugim fałszywe. Jeżeli z kolei zdanie jest zdeterminowanie albo prawdziwe, albo fałszywe, to dla każdego z biegów rzeczy będzie albo prawdziwe, albo fałszywe. W kontekście justyfikacyjnej teorii można więc przyjąć tylko tezę, że zdanie jest prawdziwe albo fałszywe, gdy albo wskazuje na dwa odmienne stany rzeczy, w jakich rozważamy dane zdanie, a nie na jeden. Drugi istotny element analizowanej charakterystyki to problem relacji zasady biwalencji do konstruktywizmu. Ustalono, że na gruncie ARS przypisuje się zdaniu prawdę, jeżeli można podać świadectwo za jego prawdziwością. Skoro tak, to można przyjąć, że rozważana teoria ma charakter konstruktywistyczny, bo dla zakwalifikowania zdania jako prawdziwego wymaga się na jej gruncie co najmniej rozpozna- 8
9 nia, że to, co jest przedstawiane, jest świadectwem prawdziwości danego zdania. Wydaje się to analogiczne do wymogu, definiującego dowód konstruktywny w konstruktywizmie matematycznym, podania przykładu albo przynajmniej zasady konstruowania przykładu przedmiotu o danej własności. Prowadzi ono do wykluczenia podejście niekonstruktywistyczne, które egzemplifikuje się z kolei w określeniu funkcji o wartości 1, o ile każda liczba parzysta jest sumą dwu liczb pierwszych, i o wartości 0, o ile jest przeciwnie. Jest to przykład definicji, na mocy której wolno przyjąć, iż istnieje liczba będąca wartością tej funkcji, choć nie można powiedzieć, jaka to liczba (por. Blackburn 2004: 197). Sugerowana analogia staje się wyraźna, jeśli wskaże się odpowiedniości zachodzące między założeniami ARS, a konkretnym przypadkiem teorii konstruktywistycznej, jakim jest intuicjonizm w matematyce. Jeśli nie jesteśmy w stanie skonstruować przedmiotu, którego istnienie stwierdza pewnej klasy zdanie egzystencjalne w matematyce (np. zdanie: istnieje element v należący do zbioru nieskończonego X taki, że v nie posiada własności x ), ani z założenia istnienia tego przedmiotu nie wynika sprzeczność wówczas ani rozpatrywane zdanie, ani jego negacja nie są według intuicjonistów prawdziwe. Antyrealistyczna koncepcja Michaela Dummetta i związana z nią zasada słusznej stwierdzalności jest zbliżona w założeniach i konsekwencjach do stanowiska intuicjonistycznego w filozofii matematyki ( ). Na przykład, konsekwencje operowania na nieskończoności w intuicjonizmie matematycznym i na gruncie ARS jawią się więc jako istotnie podobne. Pamiętając, że do jednej z dwu grup zdań nierozstrzygalnych należą te zawierające kwantyfikatory przebiegające przez nieskończone, lub możliwie nieskończone, całości wskazać można analogię ze zbiorem, którego dotyczy egzystencjalne zdanie o elemencie v nie posiadającym własności x (sformułowane wyżej). Jest to również zbiór nieskończony. Inne podobieństwo dotyczy ograniczonej obowiązywalności zasady dwuwartościowości i prawa wyłączonego środka. Wedle intuicjonizmu, jeżeli korzystając z 9
10 uznawanych na gruncie rachunku intuicjonistycznego środków nie można zdaniu przypisać wartości logicznej, to należy uznać, że zasada ta przestaje wobec takich zdań obowiązywać. [P]odobnie antyrealizm odmawia przypisania wartości logicznych tym zdaniom, na uznanie których nie mamy świadectwa, a tym samym stwierdza, że zasada wyłączonego środka nie obowiązuje uniwersalnie (Wieczorek 2005: 31). Z uwagi na wyróżnione, użyteczne dla ARS, cechy intuicjonizmu dumettowscy antyrealiści opowiadają się za rewizją logiki klasycznej i zastąpieniem jej jakąś formą logiki intuicjonistycznej lub do niej zbliżonej (Szubka 2001: 153). Ponieważ jest to postulat bardzo mocny, należy zanalizować argumenty za zachowaniem logiki klasycznej odnosząc się do motywów, na które powołują się rewizjonistyczni zwolennicy ARS. Przykładem zdania nierozstrzygalnego rozważanego przez Dummetta jest Jones był odważny lub nie był odważny. Jednak wiódł on życie spokojne i nie miał okazji zademonstrować swej odwagi, a teraz niepodobna poddać go próbie, bo zmarł. Wobec tego nie zachodzą warunki słusznej stwierdzalności dla żadnego z członów tej alternatywy, czyli nie jest ona słusznie stwierdzalna. Jednak samo pojęcie próby wydaje się zakładać, że jej wynik wskazuje na to, iż zachodzi lub nie zachodzi określony stan rzeczy, który nie zależy przyczynowo od tego, czy próba została przeprowadzona. Zachodzi więc domniemanie, że każdy człowiek ma jakiś charakter i w skład charakteru każdego człowieka, w szczególności Jonesa, wchodzi odwaga lub jej brak, niezależnie do tego, czy można wykonać odpowiednie próby ( ) (Grobler 2001: 125; por. Dummett 1992: 7). Domniemanie, o jakim mowa, jest realistyczne i, zdaniem Dummetta, łudzące. Argumentuje on, że uczymy się rozumieć zdania języka ojczystego kojarząc je z warunkami, w których są one akceptowane lub odrzucane przez kompetentnych użytkowników języka. Istnieje jednak twórczość językowa, a zatem trzeba przyjąć, że uczymy się rozumieć całe klasy zdań. Jeżeli zatem rozumiemy zdanie Zawisza był odważny tzn. wiemy, co jest świadectwem odwagi z jego strony i ze strony innych 10
11 wzorców osobowych, to rozumiemy każde zdanie postaci X jest odważny. Twórczość językowa musi bowiem pozwalać na uogólnienia i analogie jako narzędzia rozumienia zdań. A uogólnienie przypadku potwierdzonego świadectwem na przypadki, w których z przygodnych względów świadectwo nie jest dostępne prowadzi do prawdy transcendującej warunki słusznej stwierdzalności (por. Grobler 2001: 126). Kolejna uwaga do postulatów dummettowskich antyrealistów sprowadza się do wątpliwości, czy formułowane na gruncie ARS zastrzeżenia, dotyczące stwierdzalności na podstawie teraz rozpoznawalnego świadectwa, nie zakładają milcząco zasady biwalencji oraz exc. Jeśli o zdaniu w czasie teraźniejszym powiada się, że nie można rozpoznać świadectwa na rzecz jego prawdziwości/fałszywości to czy nie zakłada się tym samym, że w skutek nieszczęśliwego zbiegu okoliczności świadectwo takie nie jest nam dostępne? Teoretycznie więc byłoby ono dostępne, bo możemy pomyśleć, że mogłyby zajść odpowiednie po temu okoliczności i wiadomo, że nie zachodzą. Zatem, po prostu, milcząco zakłada się tutaj zasadę dwuwartościowości i exc. Wiadomo następnie, że odrzucenie tej zasad dotyczy zwłaszcza zdań o przeszłości i przyszłości. Zarazem jednak, na gruncie ARS, zdaniom nie przysługują niezmienne w czasie wartości logiczne. Skoro tak, to możliwe, że zdanie obecnie spełniające warunki prawdziwości nakładane przez ARS stanie się w przyszłości nierozstrzygalne. Konsekwentnie, zdania nie posiadające wartości logicznej mogą jej nabrać. Tymczasowy brak świadectwa nie wyklucza zaś obowiązywania zasad exc i biwalencji. Dummettowski antyrealista ma jednak nadal prawo wymagać, by wobec skonstatowania takich następstw jego tezy o zmienności przypisania zdaniu prawdy/fałszu, wskazać teraz te warunki, które uczynią zdanie o przyszłości rozstrzygalnym w przyszłości. Graniczy to jednak z wróżbiarstwem. W odniesieniu zaś do zdań o przeszłości, gdyby udało się opracować warunki, pod którymi obecnie nierozstrzygalne zdanie o przeszłości mogłoby w przyszłości stać się rozstrzygalne, nasze rozwiązanie doty- 11
12 czyłoby zdania w czasie teraźniejszym, nie przyszłym ani przeszłym, a zatem powrócilibyśmy do punktu wyjścia (por. Wieczorek 2005: 32). Analizując w szerszym kontekście zagadnienie warunków stwierdzalności nie spełnionych teraz nie można wykluczyć, że zajdą okoliczności pozwalające na przypisanie danemu zdaniu prawdy/fałszu. Zatem, jeśli znajdziemy się w takiej sytuacji, to zasada biwalencji oraz exc będzie obowiązywać. Dummett uznaje, że jest to wiarygodne przypuszczenie w odniesieniu do niektórych zdań matematycznych czy empirycznych. Pozostaje jednak niewiarygodne w odniesieniu do wielu innych z uwagi na brak pełnego zdeterminowania rzeczywistości. Nie są to tylko zdania z dziedzin formalnych, ale także takie, które odnoszą się do najprostszych faktów, jak liczna żołędzi na dębie w danym momencie czasu(por. Dummett 1998: 26). V. Podsumowanie. Po tych uwagach krytycznych można zaryzykować sformułowanie ścisłej odpowiedzi na pytanie, dlaczego ARS prowadzi do odrzucenia exc. Jest to konsekwencja specyficznych założeń, w tym argumentu z nabywania języka oraz twierdzenia, że rozumienie języka jest równoznaczne z jego użyciem i z definicji nie wykracza poza nie (Wieczorek 2005: 32). Jeśli zaś za specyfikującą ARS uznać teorię znaczenia, to powiedzieć należy, że ARS opiera się na justyfikacyjnej teorii znaczenia, która, kwestionując zasadę dwuwartościowości, prowadzi do odrzucenia prawa wyłączonego środka (por. Szubka 2001: 151). 12
13 Bibliografia: 1. Blackburn S., 2004: Oksfordzki słownik filozoficzny, Książka i Wiedza, Warszawa. 2. Dummett M., 1963: Realizm, przeł. T. Placek i P. Turnau, Principia 6(1992). 3. Dummett M., 1992: Realizm i antyrealizm, przeł. T. Szubka, w: Gutowski P. Szubka T. (red.), 1998: Filozofia brytyjska XX wieku, TN KUL. 4. Dummett M., 1993: The Seas of Language, Oxford: Clarendon Press. 5. Dummett M., 1998: Is the Concept of Truth Need for Semantics?, w: Martinez, Rivas, Villegas-Forero (eds.), 1998: Truth in Pespective, Aldershot: Ashgate. 6. Grobler A., 2001: Pomysły na temat prawdy i sposobu uprawiania filozofii w ogóle, Aureus, Kraków. 7. Grobler A., 2006: Metodologia nauk, Aureus-Znak, Kraków. 8. Szubka T., 2001: Antyrealizm semantyczny. Studium analityczne, RW KUL, Lublin. 9. Wieczorek R., 2005: Antyrealizm. Wybrane odmiany i ich konsekwencje epistemologiczne, WFiS UW, Warszawa. 10. Woleński J., 2005: Epistemologia poznanie, prawda, wiedza, PWN, Warszawa. 11. Żegleń U.M. (red.), 2006: Teoria znaczenia Michaela Dummetta i jej konsekwencje metafizyczne, DUET, Toruń. 13
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
PRAWDA W ANTYREALIZMIE MICHAELA DUMMETTA
EDUKACJA FILOZOFICZNA Vol. 61 2015 REKONSTRUKCJE, INTERPRETACJE, PRZEGLĄDY TOMASZ PAWLIK Uniwersytet Śląski w Katowicach PRAWDA W ANTYREALIZMIE MICHAELA DUMMETTA Antyrealizm semantyczny Dummetta. Antyrealizm
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
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
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
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ć
Filozofia, ISE, Wykład III - Klasyfikacja dyscyplin filozoficznych
Filozofia, ISE, Wykład III - Klasyfikacja dyscyplin filozoficznych 2011-10-01 Plan wykładu 1 Klasyczny podział dyscyplin filozoficznych 2 Podział dyscyplin filozoficznych Klasyczny podział dyscyplin filozoficznych:
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)
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.:
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
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
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
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.
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
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
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
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
ćwiczenia 15 zaliczenie z oceną
Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Prawo Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): Jednolite magisterskie Tryb
Elementy filozofii i metodologii INFORMATYKI
Elementy filozofii i metodologii INFORMATYKI Filozofia INFORMATYKA Metodologia Wykład 1. Wprowadzenie. Filozofia, metodologia, informatyka Czym jest FILOZOFIA? (objaśnienie ogólne) Filozofią nazywa się
Liczba godzin Punkty ECTS Sposób zaliczenia. ćwiczenia 15 zaliczenie z oceną
Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Prawo Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): Jednolite magisterskie Tryb
Lista 1 (elementy logiki)
Podstawy nauczania matematyki 1. Zdanie Lista 1 (elementy logiki) EE I rok W logice zdaniem logicznym nazywamy wyrażenie oznajmujące o którym można powiedzieć że jest prawdziwe lub fałszywe. Zdania z reguły
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
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
Logika i teoria mnogości Wykład 14 1. Sformalizowane teorie matematyczne
Logika i teoria mnogości Wykład 14 1 Sformalizowane teorie matematyczne W początkowym okresie rozwoju teoria mnogości budowana była w oparciu na intuicyjnym pojęciu zbioru. Operowano swobodnie pojęciem
Badania naukowe. Tomasz Poskrobko. Metodyka badań naukowych
Badania naukowe Tomasz Poskrobko Metodyka badań naukowych Badania naukowe w szerokim ujęciu etapowy proces twórczych czynności, przebiegający od ustalenia i powzięcia decyzji o rozwiązaniu problemu badawczego,
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
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
KRZYSZTOF WÓJTOWICZ Instytut Filozofii Uniwersytetu Warszawskiego
KRZYSZTOF WÓJTOWICZ Instytut Filozofii Uniwersytetu Warszawskiego wojtow@uw.edu.pl 1 2 1. SFORMUŁOWANIE PROBLEMU Czy są empiryczne aspekty dowodów matematycznych? Jeśli tak to jakie stanowisko filozoficzne
O ISTOTNYCH OGRANICZENIACH METODY
O ISTOTNYCH OGRANICZENIACH METODY ALGORYTMICZNEJ Dwa pojęcia algorytmu (w informatyce) W sensie wąskim Algorytmem nazywa się każdy ogólny schemat procedury możliwej do wykonania przez uniwersalną maszynę
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
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
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
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
Ć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 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 Klasyczny Rachunek Zdań
LOGIKA Klasyczny Rachunek Zdań Robert Trypuz trypuz@kul.pl 5 listopada 2013 Robert Trypuz (trypuz@kul.pl) Klasyczny Rachunek Zdań 5 listopada 2013 1 / 24 PLAN WYKŁADU 1 Alfabet i formuła KRZ 2 Zrozumieć
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
Semiotyka logiczna. Jerzy Pogonowski. Dodatek 4. Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl
Semiotyka logiczna Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Dodatek 4 Jerzy Pogonowski (MEG) Semiotyka logiczna Dodatek 4 1 / 17 Wprowadzenie Plan na dziś Plan
EGZAMIN MATURALNY 2010 FILOZOFIA
Centralna Komisja Egzaminacyjna w Warszawie EGZAMIN MATURALNY 2010 FILOZOFIA POZIOM ROZSZERZONY Klucz punktowania odpowiedzi MAJ 2010 2 Zadanie 1. (0 2) problemów i tez z zakresu ontologii, epistemologii,
0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.
Wykłady z Analizy rzeczywistej i zespolonej w Matematyce stosowanej Wykład ELEMENTY LOGIKI ALGEBRA BOOLE A Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek
Wstęp do logiki. Semiotyka cd.
Wstęp do logiki Semiotyka cd. Semiotyka: język Ujęcia języka proponowane przez językoznawców i logików różnią się istotnie w wielu punktach. Z punktu widzenia logiki każdy język można scharakteryzować
Filozofia, Pedagogika, Wykład III - Filozofia archaiczna
Filozofia, Pedagogika, Wykład III - Filozofia archaiczna 2009-09-04 Plan wykładu 1 Jońska filozofia przyrody - wprowadzenie 2 3 Jońska filozofia przyrody - problematyka Centralna problematyka filozofii
Kierunkowe efekty kształcenia. dla kierunku KULTUROZNAWSTWO. Studia pierwszego stopnia
Załącznik nr 1 do Uchwały nr 41/2014/2015 Senatu Akademickiego Akademii Ignatianum w Krakowie z dnia 26 maja 2015 r. Kierunkowe efekty kształcenia dla kierunku KULTUROZNAWSTWO Studia pierwszego stopnia
Matematyka ETId Elementy logiki
Matematyka ETId Izolda Gorgol pokój 131A e-mail: I.Gorgol@pollub.pl tel. 081 5384 563 http://antenor.pol.lublin.pl/users/gorgol Zdania w sensie logicznym DEFINICJA Zdanie w sensie logicznym - zdanie oznajmujace,
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
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
Wstęp do logiki. Klasyczny Rachunek Zdań II
Wstęp do logiki Klasyczny Rachunek Zdań II DEF. 1 (Słownik). Następujące znaki tworzą słownik języka KRZ: p 1, p 2, p 3, (zmienne zdaniowe) ~,,,, (spójniki) ), ( (nawiasy). DEF. 2 (Wyrażenie). Wyrażeniem
Filozofia, 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
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
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
Referat: Krytyczne czytanie w polonistycznej edukacji wczesnoszkolnej
Propozycje zintegrowanych programów edukacji zatwierdzone przez Ministra Edukacji Narodowej do użytku szkolnego odpowiadają założeniom uprzednio opracowanej przez MEN Podstawie programowej kształcenia
Kultura logiczna Klasyczny rachunek zdań 2/2
Kultura logiczna Klasyczny rachunek zdań 2/2 Bartosz Gostkowski bgostkowski@gmail.com Kraków 29 III 2 Plan wykładu: Wartościowanie w KRZ Tautologie KRZ Wartościowanie v, to funkcja, która posyła zbiór
Wstęp Komentarze jako metoda wyjaśniania oraz interpretacji w średniowieczu Komentarz Akwinaty do Etyki nikomachejskiej krótka prezentacja Próba
Izabella Andrzejuk Wstęp Komentarze jako metoda wyjaśniania oraz interpretacji w średniowieczu Komentarz Akwinaty do Etyki nikomachejskiej krótka prezentacja Próba analizy fragmentu Komentarza według reguł
Epistemologia. Organizacyjnie. Paweł Łupkowski Instytut Psychologii UAM 1 / 19
1 / 19 Epistemologia Organizacyjnie Paweł Łupkowski Instytut Psychologii UAM 22.02.2018 2 / 19 Epistemologia https://plupkowski.wordpress.com/dydaktyka/ pawel.lupkowski@gmail.com (mówiacy tytuł wiadomości!)
Elementy logiki matematycznej
Elementy logiki matematycznej Przedmiotem logiki matematycznej jest badanie tzw. wyrażeń logicznych oraz metod rozumowania i sposobów dowodzenia używanych w matematyce, a także w innych dziedzinach, w
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
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
Spór o znaczenie wyrażeń
Wykład 12 Spór o znaczenie wyrażeń Naturalizm Quine a Willard Van Orman Quine (1908-2000) wsławił się m.in. krytyką rozróżnienia zdań na analityczne i syntetyczne w Two Dogmas of Empiricism (1951, polski
Schematy Piramid Logicznych
Schematy Piramid Logicznych geometryczna interpretacja niektórych formuł Paweł Jasionowski Politechnika Śląska w Gliwicach Wydział Matematyczno-Fizyczny Streszczenie Referat zajmuje się następującym zagadnieniem:
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
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
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
M T E O T D O ZI Z E E A LG L O G R O Y R TM
O ALGORYTMACH I METODZIE ALGORYTMICZNEJ Czym jest algorytm? Czym jest algorytm? przepis schemat zestaw reguł [ ] program ALGORYTM (objaśnienie ogólne) Algorytm Pojęcie o rodowodzie matematycznym, oznaczające
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
Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:
1 Elementy logiki W logice zdaniem nazywamy wypowiedź oznajmującą, która (w ramach danej nauki) jest albo prawdziwa, albo fałszywa. Tak więc zdanie może mieć jedną z dwóch wartości logicznych. Prawdziwość
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
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
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ń
JAKIEGO RODZAJU NAUKĄ JEST
JAKIEGO RODZAJU NAUKĄ JEST INFORMATYKA? Computer Science czy Informatyka? Computer Science czy Informatyka? RACZEJ COMPUTER SCIENCE bo: dziedzina ta zaistniała na dobre wraz z wynalezieniem komputerów
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ć.
11. Zagadnienia granic poznania II
11. Zagadnienia granic poznania II Realizm epistemologiczny, antyrealizm i relatywizm poznawczy Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl Wstęp do filozofii Materiały do wykładu 2015/2016 Nieco
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
Recenzja rozprawy doktorskiej mgr Bartosza Rymkiewicza pt. Społeczna odpowiedzialność biznesu a dokonania przedsiębiorstwa
Prof. dr hab. Edward Nowak Uniwersytet Ekonomiczny we Wrocławiu Katedra Rachunku Kosztów, Rachunkowości Zarządczej i Controllingu Recenzja rozprawy doktorskiej mgr Bartosza Rymkiewicza pt. Społeczna odpowiedzialność
Filozofia, Germanistyka, Wykład I - Wprowadzenie.
2010-10-01 Plan wykładu 1 Czym jest filozofia Klasyczna definicja filozofii Inne próby zdefiniowania filozofii 2 Filozoficzna geneza nauk szczegółowych - przykłady 3 Metafizyka Ontologia Epistemologia
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
K o n cep cje filo zo fii przyrody
K o n cep cje filo zo fii przyrody Podręczniki filozofii przyrody rozpoczynają się zwykle rozdziałem, w którym uzasadnia się - odwołując się zazwyczaj do historii nauki - że coś takiego jak filozofia przyrody
Uniwersytet Śląski w Katowicach str. 1 Wydział
Uniwersytet Śląski w Katowicach str. 1 Kierunek i poziom studiów: teologia, jednolite magisterskie Specjalność: teologia nauczycielska i ogólna Sylabus modułu: Filozofia logika i epistemologia (11-TS-12-FLEa)
166 Wstęp do statystyki matematycznej
166 Wstęp do statystyki matematycznej Etap trzeci realizacji procesu analizy danych statystycznych w zasadzie powinien rozwiązać nasz zasadniczy problem związany z identyfikacją cechy populacji generalnej
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ść
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
http://www-users.mat.umk.pl/~pjedrzej/wstep.html 1 Opis przedmiotu Celem przedmiotu jest wykształcenie u studentów podstaw języka matematycznego, wypracowanie podstawowych umiejętności przeprowadzania
Semiotyka logiczna (1)
Semiotyka logiczna (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Wprowadzenie Jerzy Pogonowski (MEG) Semiotyka logiczna (1) Wprowadzenie 1 / 14 Plan wykładu: semestr
Weryfikacja hipotez statystycznych. KG (CC) Statystyka 26 V / 1
Weryfikacja hipotez statystycznych KG (CC) Statystyka 26 V 2009 1 / 1 Sformułowanie problemu Weryfikacja hipotez statystycznych jest drugą (po estymacji) metodą uogólniania wyników uzyskanych w próbie
Spis treści. Definicje prawdopodobieństwa. Częstościowa definicja prawdopodobieństwa. Wnioskowanie_Statystyczne_-_wykład
Wnioskowanie_Statystyczne_-_wykład Spis treści 1 Definicje prawdopodobieństwa 1.1 Częstościowa definicja prawdopodobieństwa 1.1.1 Przykład 1.1.2 Rozwiązanie: 1.1.3 Inne rozwiązanie: 1.1.4 Jeszcze inne
Indukcja matematyczna. Zasada minimum. Zastosowania.
Indukcja matematyczna. Zasada minimum. Zastosowania. Arkadiusz Męcel Uwagi początkowe W trakcie zajęć przyjęte zostaną następujące oznaczenia: 1. Zbiory liczb: R - zbiór liczb rzeczywistych; Q - zbiór
Znaleźć wzór ogólny i zbadać istnienie granicy ciągu określonego rekurencyjnie:
Ciągi rekurencyjne Zadanie 1 Znaleźć wzór ogólny i zbadać istnienie granicy ciągu określonego rekurencyjnie: w dwóch przypadkach: dla i, oraz dla i. Wskazówka Należy poszukiwać rozwiązania w postaci, gdzie
Przedmiotowy System Oceniania z matematyki. Sporządzony przez Komisję przedmiotów matematycznych
Przedmiotowy System Oceniania z matematyki Sporządzony przez Komisję przedmiotów matematycznych Przedmiotowy System Oceniania z matematyki I. Ocenie podlegają osiągnięcia ucznia w zakresie: 1. Jego matematycznych
Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I
Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl OSTRZEŻENIE Niniejszy plik nie zawiera wykładu z Metod dowodzenia...
WARSZTATY METODYCZNE (dla nauczycieli matematyki szkół ponadgimnazjalnych)
WARSZTATY METODYCZNE (dla nauczycieli matematyki szkół ponadgimnazjalnych) Aktywizujące metody nauczania na przykładzie tematu: Dyskusja nad liczbą rozwiązań równania liniowego z wartością bezwzględną
STRESZCZENIE. rozprawy doktorskiej pt. Zmienne jakościowe w procesie wyceny wartości rynkowej nieruchomości. Ujęcie statystyczne.
STRESZCZENIE rozprawy doktorskiej pt. Zmienne jakościowe w procesie wyceny wartości rynkowej nieruchomości. Ujęcie statystyczne. Zasadniczym czynnikiem stanowiącym motywację dla podjętych w pracy rozważań
Zastosowanie logiki matematycznej w procesie weryfikacji wymagań oprogramowania
Zastosowanie logiki matematycznej w procesie weryfikacji wymagań oprogramowania Testerzy oprogramowania lub osoby odpowiedzialne za zapewnienie jakości oprogramowania oprócz wykonywania testów mogą zostać
Wstęp do prawoznawstwa. Metody wykładni
Wstęp do prawoznawstwa Metody wykładni 1 Wykładnia prawa W polskiej nauce prawa przyjęło się określać normę prawną mianem wyrażenia językowego; Wysłowienie NP następuje w AN za pomocą języka, który ze
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
Etyka Tożsamość i definicja. Ks. dr Artur Aleksiejuk
Etyka Tożsamość i definicja Ks. dr Artur Aleksiejuk 1. ETYKA A FILOZOFIA PYTANIA PROBLEMOWE: Czy etyka musi być dyscypliną filozoficzną? Czy etyka może być wolna od filozoficznych założeń? Czy i jak dalece
ANDRZEJ L. ZACHARIASZ TEORIA POZNANIA JAKO RELATYSTYCZNA KONCEPCJA PRAWDY TEORETYCZNEJ
ANDRZEJ L. ZACHARIASZ TEORIA POZNANIA JAKO RELATYSTYCZNA KONCEPCJA PRAWDY TEORETYCZNEJ WYDAWNICTWO UNIWERSYTETU RZESZOWSKIEGO RZESZÓW 2011 Recenzował prof. dr hab. TADEUSZ BUKSIŃSKI Opracowanie redakcyjne
Trzy razy o indukcji
Trzy razy o indukcji Antoni Kościelski 18 października 01 1 Co to są liczby naturalne? Indukcja matematyczna wiąże się bardzo z pojęciem liczby naturalnej. W szkole zwykle najpierw uczymy się posługiwać
Andrzej Wiśniewski Logika II. Wykład 6. Wprowadzenie do semantyki teoriomodelowej cz.6. Modele i pełność
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 6. Wprowadzenie do semantyki teoriomodelowej cz.6. Modele i pełność 1 Modele Jak zwykle zakładam, że pojęcia wprowadzone
http://www-users.mat.umk.pl/~pjedrzej/wstep.html 1 Opis przedmiotu Celem przedmiotu jest wykształcenie u studentów podstaw języka matematycznego, wypracowanie podstawowych umiejętności przeprowadzania
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.
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ł