Wstęp do logiki. Argumentacja

Podobne dokumenty
Kultura logiczna Wnioskowania dedukcyjne

Wstęp do logiki. Klasyczny Rachunek Zdań III

Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I

wypowiedzi inferencyjnych

Wstęp do logiki. Klasyczny Rachunek Zdań IV

Wykład 4 Logika dla prawników. Dyskusja oraz rodzaje argumentów

Logika dla socjologów

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

Standaryzacja i ocena wypowiedzi argumentacyjnych

Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I

Andrzej Wiśniewski Logika II. Wykłady 10b i 11. Semantyka relacyjna dla normalnych modalnych rachunków zdań

Rodzaje argumentów za istnieniem Boga

RACHUNEK ZDAŃ 5. Układ przesłanek jest sprzeczny, gdy ich koniunkcja jest kontrtautologią.

Konspekt do wykładu z Logiki I

Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

Sztuka argumentacji. Ćwiczeń ciąg dalszy

LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki

Ogólna metodologia nauk

LOGIKA Dedukcja Naturalna

Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań

Wstęp do logiki. Semiotyka cd.

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

Ekonomiczny Uniwersytet Dziecięcy

Kultura myślenia i argumentacji 2015/2016. Temat 3: Wypowiedzi argumentacyjne

Dydaktyka matematyki III-IV etap edukacyjny (wykłady)

Rachunek logiczny. 1. Język rachunku logicznego.

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

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

EGZAMIN MATURALNY 2013 FILOZOFIA

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

Metodologia prowadzenia badań naukowych Semiotyka, Argumentacja

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)

Wstęp do logiki. Klasyczny Rachunek Zdań II

Rozdzia l 10. Najważniejsze normalne logiki modalne

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

RACHUNEK ZDAŃ 7. Dla każdej tautologii w formie implikacji, której poprzednik również jest tautologią, następnik także jest tautologią.

Logika Matematyczna. Zadania Egzaminacyjne, 2007

Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne

Logika. Michał Lipnicki. 15 stycznia Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 15 stycznia / 37

LOGIKA I TEORIA ZBIORÓW

Podstawy logiki praktycznej

Wstęp do logiki. Klasyczny Rachunek Predykatów I

Przykładami ciągów, które Czytelnik dobrze zna (a jeśli nie, to niniejszym poznaje), jest ciąg arytmetyczny:

EGZAMIN MATURALNY 2013 FILOZOFIA

Elementy logiki i teorii mnogości

EGZAMIN MATURALNY W ROKU SZKOLNYM 2014/2015

Logika nieformalna. Paweł Łoziński plozinsk. 17 marzec Instytut Informatyki WEiTI PW

Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu

Wstęp do logiki. Semiotyka

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

Erystyka- sztuka prowadzenia sporów; umiejętność takiego argumentowania, by dowieść słuszności głoszonego poglądu, bez względu na rodzaj argumentów.

Logika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

Wstęp do logiki. Pytania i odpowiedzi

FILOZOFIA POZIOM PODSTAWOWY

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

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

Logika Matematyczna (2,3)

WOS - KLASA I. umieć wyrażać (wypowiadać) własne zdanie w prosty sposób oraz je uzasadniać (chociaż dwoma argumentem)

Konspekt do wykładu z Logiki I

Filozofia, ISE, Wykład X - Filozofia średniowieczna.

Poprawność semantyczna

1 Podstawowe oznaczenia

Logika Matematyczna Spójniki logiczne Tautologie Dowodzenie Kwantyfikatory Zagadki. Logika Matematyczna. Marcelina Borcz.

O argumentach sceptyckich w filozofii

ćwiczenia 15 zaliczenie z oceną

Etyka i filozofia współczesna wykład 11. Logiczna kultura argumentacji:

Powtórka 3. Katarzyna Paluszkiewicz Katarzyna Paluszkiewicz Powtórka / 11

Metody dowodzenia twierdzeń i automatyzacja rozumowań Tabele syntetyczne: definicje i twierdzenia

EGZAMIN MATURALNY 2010 FILOZOFIA

Lekcja 3: Elementy logiki - Rachunek zdań

Indukcja matematyczna

Drzewa Semantyczne w KRZ

Logika Matematyczna (10)

13. DOWODZENIE IV REGUŁY WPR, ELIM, ~WPR, ~ELIM

Podstawy logiki praktycznej

EGZAMIN MATURALNY 2011 FILOZOFIA

Semiotyka logiczna (6)

POSTANOWIENIE. odmawia przyjęcia kasacji do rozpoznania. UZASADNIENIE

Rozprawka materiały pomocnicze do pisania rozprawki przygotowane przez Katarzynę Buchman. Rozprawka - podstawowe pojęcia

Matematyka Dyskretna 2/2008 rozwiązania. x 2 = 5x 6 (1) s 1 = Aα 1 + Bβ 1. A + B = c 2 A + 3 B = d

Logika formalna wprowadzenie. Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie.

Liczba godzin Punkty ECTS Sposób zaliczenia. ćwiczenia 15 zaliczenie z oceną

Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:

Podstawowe Pojęcia. Semantyczne KRZ

WNIOSKOWANIE 1 DEDUKCJA

Logika I. Wykład 4. Semantyka Klasycznego Rachunku Zdań

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

Algebrę L = (L, Neg, Alt, Kon, Imp) nazywamy algebrą języka logiki zdań. Jest to algebra o typie

Metoda tabel semantycznych. Dedukcja drogi Watsonie, dedukcja... Definicja logicznej konsekwencji. Logika obliczeniowa.

Podstawy logiki praktycznej

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 14. Wprowadzenie do logiki intuicjonistycznej

Trzy razy o indukcji

Wybierz cztery z poniższych pięciu zadań. Poprawne rozwiazanie dwóch zadań oznacza zdany egzamin.

Klasyczny rachunek zdań 1/2

Kultura logiczna Klasyczny rachunek zdań 1/2

POSTANOWIENIE. SSN Jolanta Strusińska-Żukowska

Klasyfikacja rozumowań

Rachunek zdań i predykatów

POSTANOWIENIE. SSN Piotr Prusinowski

Transkrypt:

Wstęp do logiki Argumentacja 1

Argumentacja: definicja Mówiąc o argumentacji, mamy zwykle na myśli pewien rodzaj komunikacji dyskursywnej, w trakcie której jedna osoba stara się w zaplanowany sposób wpłynąć na przekonania drugiej osoby lub grupy osób, przedstawiając odpowiednio dobraną wypowiedź. W argumentacji mamy więc pewien proces komunikacyjny, któremu towarzyszy moment przekonywania. W procesie tym nadawca wypowiedzi jest stroną przekonującą (tzw. proponent), odbiorca owej wypowiedzi jest stroną przekonywaną (tzw. audytorium), zaś sama wypowiedź to argument. Argument ów jest zwykle pewnym ciągiem zdań, w którym wyróżnić można: tezę argumentacji lub konkluzję (T), komunikującą jakiś proponowany do akceptacji pogląd, oraz racje lub przesłanki (P), które zdaniem nadawcy uzasadniają tezę argumentacji. Konstrukcję jego można wyrazić najprościej za pomocą schematu: T, gdyż P albo P, a zatem T. 2

Argumentacja: definicja Plan nadawcy takiego argumentu-komunikatu zasadza się na tym, że odbiorca po zapoznaniu się z przedłożonym mu argumentem uzna jego tezę bądź przynajmniej przypisze jej większą wiarygodność. Odbiorca zapoznając się z argumentem dokonuje jego oceny poprzez rozważenie racji uzasadniających przedłożoną mu tezę (np. ze względu na ich wiarygodność, jasność, itd.) oraz związku łączącego racje z tezą. Generalnie, argumentowanie zawsze wiąże się z uzasadnianiem: argument powstaje tylko wówczas, gdy jakiś pogląd z założenia kontrowersyjny jest uzasadniany jakimiś twierdzeniami z założenia niewątpliwymi. Ogólnie: Zdania α 1,, α n uzasadniają zdanie β wtw czynią one zdanie β bardziej wiarygodnym (lub prawdopodobnym) niż było wcześniej; alternatywnie: zdania α 1,, α n uzasadniają zdanie β wtw uznanie zdań α 1,, α n jest warunkiem wystarczającym uznania zdania β. uzasadnienie Argument: przesłanki konkluzja-teza 3

Argumentacja praktycznie poprawna DEF. Wypowiedzią argumentacyjną nazywamy wypowiedź, w której za pomocą jednych zdań (tzw. przesłanek) proponent uzasadnia jakieś inne, z założenia kontrowersyjne, zdanie (tzw. tezę lub konkluzję). Wyodrębniony z wypowiedzi argumentacyjnej układ zdań złożony z przesłanek i konkluzji nazywamy argumentem. Przykłady. 1. Kartezjusz: Jeśli myślę, to jestem. Myślę chociaż być może tego nie widać. A zatem, jestem (tu i teraz). 2. Platon (Fedon): Tak samo trzeba powiedzieć i o tym, co nieśmiertelne. Jeśli to, co nieśmiertelne, jest i niezniszczalne, to niepodobna, żeby dusza, kiedy śmierć do niej przyjdzie, ginąć miała. Bo wedle tego, cośmy powiedzieli przedtem, ona śmierci nie ulegnie i nie będzie umarła; tak samo jak mówiliśmy, że trójka nie będzie czymś parzystym, podobnie jak i nieparzystość sama, a ogień nie będzie chłodny, ani gorącość, która jest w nim. 4

Argumentacja praktycznie poprawna Argumentacje są oceniane z różnych punktów widzenia, m.in. poprawności, godziwości, skuteczności. Mówiąc intuicyjnie i niezbyt ściśle, argumentacja jest praktycznie poprawna, gdy użyte w niej przesłanki są akceptowalne oraz w dostatecznym stopniu uzasadniają tezę. 5

Argumenty proste i złożone ARGUMENTY proste złożone. Argument jest złożony, jeżeli zawiera inne, pomocnicze argumenty mające służyć uzasadnieniu pewnych mniej oczywistych przesłanek (tzw. podargumenty); schematycznie: P 1 P 2 P 5 P 3 P 4 P 6 T Teza (konkluzja) główna T jest bezpośrednio wspierana tylko przez P 3, P 4 i P 6, z których P 3 i P 4 są tezami (konkluzjami) pewnych podargumentów (argumentów pomocniczych): P 1 P 2 P 5 P 3 P 4 Argument jest prosty (lub bezpośredni) jeżeli nie zawiera żadnych podargumentów. 6

Argumenty proste i złożone Przykład. W kosmologicznym argumencie na rzecz istnienia Boga najpierw argumentuje się na rzecz istnienia jakiegoś bytu koniecznego (tj. bytu niezależnego, który nie może nie istnieć), następnie argumentuje się na rzecz tezy, że owym bytem koniecznym jest Bóg. Argumentacji pierwszej można nadać następującą postać: P 1. Każdy byt jest zależny bądź niezależny (mocna wersja Zasady Racji Dostatecznej). A zatem: P 2. Albo istnieje jakiś byt niezależny, albo wszystkie byty są zależne. P 3. Wszakże, nie wszystkie byty są zależne. A zatem: P 4. Istnieje byt niezależny. A zatem: T. Istnieje byt konieczny. Argument ten zawiera dwa podargumenty: P 1 P 2 P 3 P 4 T 7

Struktura argumentów prostych Argument o kilku przesłankach może być: równoległy, gdy każda z przesłanek z osobna w jakimś stopniu sama uzasadnia tezę; schematycznie: P 1 P 2 P 3 T szeregowy, gdy wszystkie przesłanki razem wzięte uzasadniają w jakimś stopniu tezę, lecz żadna z nich wzięta osobno nie uzasadnia tezy; schematycznie: P 1 & P 2 T mieszany, gdy niektóre z jego przesłanek, razem wzięte, uzasadniają tezę szeregowo, pozostałe zaś, każda z osobna, uzasadniają ją równolegle; schematycznie: P 1 & P 2 P 3 T 8

Standaryzacja argumentu Argumentując, często nie wypowiadamy wszystkich przesłanek (niekiedy nie wypowiadamy nawet tezy!), pozostawiając je domyślności słuchacza. Zakładamy, że słuchacz ma podobną do naszej wiedzę o świecie. Rekonstrukcja struktury argumentu powinna zawierać zarówno przesłanki jawnie wyrażone, jak też te celowo pominięte przez proponenta. DEF. Argumentację, w której występuje przesłanka entymematyczna, tj. przesłanka nie wymieniona w argumencie z powodu uznania jej za oczywistą, nazywamy entymematem. Dygresja. Nazwa pochodzi z greki: έν (en) znaczy: w, zaś υνµοξ (thymos) znaczy: duch, myśl. Często znalezienie ukrytych przesłanek jest najtrudniejszym zadaniem w rekonstrukcji argumentu. Standaryzacja argumentu polega na wyodrębnieniu z wypowiedzi argumentacyjnej tezy i przesłanek zarówno tych wypowiedzianych jawnie, jak i ukrytych oraz na zwięzłym, jasnym a także emocjonalnie neutralnym przedstawieniu ich w postaci zdań. 9

Argumenty dedukcyjne Część argumentów to tzw. dedukcje. Relacja uzasadniania redukuje się wówczas do relacji wynikania logicznego: z danych przesłanek wynika logicznie teza argumentacji. W sposób nieścisły relację wynikania logicznego można określić następująco: Ze zdań α 1,..., α n wynika logicznie zdanie β wtw nie jest możliwe, by wszystkie zdania α 1,..., α n były prawdziwe, a zdanie β było fałszywe. Zdania α 1,..., α n nazywamy racjami (logicznymi), a zdanie β następstwem (logicznym). Zauważmy, że: prawdziwość racji przesądza prawdziwość następstwa oraz fałszywość następstwa przesądza fałszywość racji. Ujmuje to następujący diagram: Racja Następstwo 1 1 0 0 10

Argumenty dedukcyjne Możemy więc uzasadnić jakieś zdanie bądź wprost poprzez wyprowadzenie go z jakichś zdań wcześniej uznanych za prawdziwe: P T; bądź nie wprost poprzez obalenie jego zaprzeczenia, tj. poprzez wykazanie, że z jego zaprzeczenia wynika logicznie jakiś fałsz (np. sprzeczność); metoda ta nosi nazwę reductio ad absurdum lub reductio ad falsum: (non-t 0) T. Przykłady. 1. Epikur (w: Diogenes Leartios Żywoty i poglądy słynnych filozofów ): Śmierć jest niczym dla nas, bo to, co się rozpadło, nie ma czucia, a to, co nie ma czucia, jest dla nas niczym. 11

Argumenty dedukcyjne 2. W Menonie Platona znajdujemy taką oto argumentację na rzecz tezy, że cnoty nie można się nauczyć: Gdyby cnoty można się było nauczyć, to Temistoles, Arystydes i Perykles ludzie dobrzy nauczyliby jej swoich synów. Tymczasem wiadomo, że ich synowie nie są ludźmi dobrymi. 3. Przez reductio ad absurdum można uzasadnić twierdzenie, że niektóre poglądy są prawdziwe, obalając twierdzenie, że (S) Żaden pogląd nie jest prawdziwy. Załóżmy, że pogląd (S) jest prawdziwy. Wtedy zgodnie z tym, co głosi ów pogląd żaden pogląd nie jest prawdziwy. W szczególności więc nie jest prawdziwy pogląd (S), wbrew temu, co założyliśmy. 12

Argumenty dedukcyjne Argumenty dedukcyjne przyjmują często postać dowodu. Pojęcie dowodu zostało ściśle określone na terenie metamatematyki. W metamatematycznym czy też formalnym pojęciu dowodu abstrahuje się od jego elementów retoryczno-perswazyjnych. W sposób swobodny pojęcie dowodu można określić następująco: Dowodem zdania β na gruncie założeń X nazywamy taki skończony ciąg zdań α 1,, α n, że spełnione są następujące warunki: ostatni element tego ciągu jest identyczny z dowodzona tezą β, tj. α n = β, każdy element α k (1 k n) tego ciągu jest prawem logiki bądź jest elementem zbioru X, bądź został wydedukowany z wcześniejszych jego elementów przy pomocy przyjętych reguł inferencyjnych (reguł wynikania logicznego). 13

Argumenty dedukcyjne Własności argumentów dedukcyjnych: Informacja niesiona przez konkluzję (tezę argumentacji) zawiera się w łącznej informacji ujętej w przesłankach. Zapewniają one najwyższy możliwy stopień uzasadniania: prawdziwość przesłanek przesądza o prawdziwości konkluzji. Istnieje możliwość kontrolowania ich poprawności za pomocą metod logiki formalnej. 14

Argumenty nidedukcyjne Olbrzymia większość argumentów to argumenty niededukcyjne: konkluzja (teza argumentacji) nie wynika logicznie z przesłanek. Prawdziwość przesłanek nie gwarantuje prawdziwości uzasadnianej tezy, czyli nie jest wykluczona jej fałszywość mimo prawdziwych przesłanek. Przykład. Mąż Ziuty urodził się w Szwecji, zatem zapewne zna język szwedzki. Ograniczę się tutaj do wymienienia argumentów, w których przesłanki uprawdopodabniają tezę. Najbardziej znanymi tego typu argumentami są: indukcja enumeracyjna, argument z podobieństwa (analogii), indukcja eliminacyjna (kanony Milla). 15

Argumenty nidedukcyjne W indukcji enumeracyjnej od pewnego skończonego zbioru przesłanek: a 1 jest P,. a n jest P dochodzi się do konkluzji ogólnej: Dla każdego x, x jest P. Przesłanki są zatem zdaniami o konkretnych przedmiotach, reprezentantach jakiegoś zbioru przedmiotów X, i posiadaniu przez nie pewnej własności; natomiast konkluzja przypisuje ową cechę wszystkim elementom zbioru X. Jeśli zakres warunku x jest P przekracza zakres wszystkich przesłanek razem wziętych, to prawdziwość przesłanek nie gwarantuje prawdziwości wniosku. 16

Argumenty nidedukcyjne Argument z podobieństwa odwołuje się do rozumowania wyrażonego przez formułę: Ze względu na podobieństwo między przedmiotami a i b, dane twierdzenie słuszne w odniesieniu do a jest też słuszne w odniesieniu do b. Schematycznie: a oraz b są podobne do siebie pod względami W 1, W n. a jest W n + 1. Zatem: b jest W n + 1. Przykład. Język polski i czeski są do siebie podobne pod względem leksyki, morfologii i składni. Skoro język polski wywodzi się z prasłowiańskiego, więc i czeski również. 17

Indukcja eliminacyjna: kanon różnicy Kanony indukcji eliminacyjnej Milla mają na celu wykrycie zależności przyczynowych między zjawiskami różnych rodzajów. Na przykład, kanon różnicy jest wnioskowaniem według następującego wzoru: Jeżeli zjawisko Z stale zachodziło w towarzystwie zjawisk X 1,, X n, a w pewnym wypadku nie wystąpiło, gdy zabrakło jedynie zjawiska X i (dla 1 i n), to prawdopodobnie zjawisko X i ma istotny związek ze zjawiskiem Z. 1. Zjawisko Z zachodzi, gdy występują zjawiska X 1, X 2, X 3, X 4 i X 5. 2. Zjawisko Z nie zachodzi, gdy występują zjawiska X 1, X 3, X 4 i X 5, lecz brak zjawiska X 2. Wniosek: Zjawisko X 2 jest (prawdopodobną) przyczyną zjawiska Z. Przykład: W kawiarni były dwie osoby, których jedna ma dolegliwość żołądkową. Okazuje się, że ta która ma ową dolegliwość piła kawę i wino oraz jadła lody. Natomiast osoba bez owych dolegliwości piła kawę i wino, lecz nie jadła lodów. Na podstawie tych spostrzeżeń wnosimy, ze konsumpcja lodów jest przyczyną dolegliwości żołądkowych. 18

Sofizmaty, paralogizmy Paralogizm jest to argument niepoprawny, w którym błąd popełniono nieświadomie albo bez zamiaru wprowadzenia kogoś w błąd (np. dla żartu). Za paralogizmem można uznać następujący żart: Wszystko, co mówisz przechodzi przez twoje usta. Mówisz: Wóz. A zatem, wóz przechodzi przez twoje usta. Arystoteles paralogizmy odróżnia od sofizmatów. Sofizmat jest to argument na pozór prawidłowy, skonstruowany w celu wprowadzenia kogoś w błąd. 19