Operacje na argumentacjach. Operations on arguments
|
|
- Edyta Grabowska
- 7 lat temu
- Przeglądów:
Transkrypt
1 INVESTIGATIONES LINGUISTICAE VOL. XXIV, 2011 c INSTITUTE OF LINGUISTICS ADAM MICKIEWICZ UNIVERSITY AL. NIEPODLEGŁOŚCI 4, POZNAŃ POLAND Operacje na argumentacjach Operations on arguments Jerzy Pogonowski INSTYTUT JEZYKOZNAWSTWA, UNIWERSYTET IM. ADAMA MICKIEWICZA AL. NIEPODLEGŁOŚCI 4, POZNAŃ pogon@amu.edu.pl Abstract This short note contains a few proposals concerning diagrams of argumentation and algebraic operations on them. We provide some examples illustrating the introduced concepts in action. 1 Wstęp Zakładamy, że ewentualny czytelnik tego tekstu zna podstawowe pojęcia teorii argumentacji, objaśnione np. w: (Szymanek, Wieczorek, Wójcik 2003), (Tokarz 2006a) lub (Tokarz 2006b). Zakładamy też, że czytelnikowi znane są podstawowe pojęcia dotyczące drzew (w sensie teorii grafów): korzeń, liść, gałąź, wierzchołek drzewa. Niniejsza notatka nie zawiera żadnych głębokich ustaleń dotyczących teorii argumentacji. Chcemy jedynie pokazać, że kilka pojęć tej teorii głównie tych związanych z diagramami argumentacji można ściśle zdefiniować. Dodajemy parę przykładów, ilustrujących wprowadzone pojęcia matematyczne. Być może, pojęcia tu wprowadzone okażą się przydatne w dydaktyce. Dla kompletności wykładu przypominamy więc najpierw kilka podstawowych pojęć teorii argumentacji.
2 Jerzy Pogonowski: Operacje na argumentacjach 1.1 Kilka pojęć teorii argumentacji Zakładamy następującą definicję (Tokarz 2006b: 94): Przez argumentację (często nazywaną krótko argumentem) rozumiemy czynności werbalne i mentalne zmierzające do wykazania prawdziwości pewnej tezy (zwanej też wnioskiem albo konkluzja) za pomocą serii sądów (wypowiedzi), zwanych przesłankami, które zdaniem nadawcy do owej konkluzji w jakiś sposób prowadzą. Argumentacja jest praktycznie poprawna, gdy użyte w niej przesłanki: 1. są akceptowalne oraz 2. w dostatecznym stopniu uzasadniają tezę. Oto kilka niezbyt skomplikowanych przykładów argumentacji: 1. Wedle Kartezjusza, jeśli myślę, to jestem. No i przecież myślę, chociaż być może tego nie widać. Nie ma zatem ucieczki: jestem, tu i teraz. 2. Woda sodowa mi szkodzi. Wczoraj wypiłem pół litra wódki, popiłem wodą sodową, a dzisiaj kac. Przedwczoraj tylko trzy szklanki koniaku, trochę wody sodowej, a wczoraj kac gigant. Trzy dni temu, zaraz, co to było aha, urodziny szefa no więc whisky i ciepła (brr) woda sodowa, a przedwczoraj kac. 3. Wiadomo ci także, co mi uczynił Joab, syn Serui, co uczynił dwom wodzom zastępów izraelskich, Abnerowi, synowi Nera, i Amasie, synowi Jetera, których zamordował i za krew przelana na wojnie dokonał pomsty w czasie pokoju, i krwia niewinna splamił swój pas, który nosił na swoich biodrach, i sandały, które miał na swoich nogach. Postapisz, jak ci madrość twoja podyktuje, lecz nie dopuść, aby jego siwizna w pokoju zeszła do grobu. (I Kr, ) 4. Jest też u ciebie Szymei, syn Gery, Beniaminita z Bachurim; on złorzeczył mi dotkliwie w dniu, gdy uchodziłem do Manachaim. Wprawdzie wyszedł mi na spotkanie nad Jordan i ja przysiagłem na Pana: Nie każę cię ściać mieczem. Lecz teraz, ty nie daruj mu tego, skoroś maż madry i zapewne będziesz wiedział, co masz z nim zrobić, aby jego siwizna zbroczona krwia zstapiła do grobu. (I Kr, ) 2
3 Investigationes Linguisticae, vol. XXIV 5. Juwenilizm jest zdrową, przyszłościową postawą. Wspomagany realistycznymi, pragmatycznymi ustaleniami dotyczącymi profilu wiekowego społeczeństwa i twardymi, obiektywnymi prawami teorii ekonomicznych pozwoli zastąpić ckliwą gerontofilię dobrze uzasadnioną, beznamiętną gerontofobią. Wkrótce doprowadzi to do powszechnej akceptacji dopuszczalności eutanazji. Wspomagając się naukowymi ustaleniami eugeniki, będziemy wtedy mogli racjonalnie uzasadnić konieczność rozszerzenia tej formy inżynierii społecznej na wyselekcjonowane, wskazane przez kompetentnych fachowców grupy społeczne, mniejszości etniczne, itd. W efekcie, okaże się, iż eksterminacja poszczególnych narodów to całkiem rozsądny pomysł. A zatem: Król Maciuś I z jego pajdokracją odpowiedzialny jest za ludobójstwo. Argument jest prosty, gdy jest w nim tylko jedna przesłanka. Argument o kilku przesłankach jest: 1. równoległy, gdy każda z tych przesłanek z osobna w jakimś stopniu sama uzasadnia tezę, 2. szeregowy, gdy wszystkie przesłanki razem wzięte uzasadniają w jakimś stopniu tezę, lecz żadna z nich wzięta osobno tezy nie uzasadnia, 3. 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. Stosuje się różnego rodzaje notacje dla reprezentowania argumentów, np. takie (tu T oznacza tezę, strzałki reprezentują przejścia inferencyjne, przesłanki pisane są nad kreską, od której wychodzi strzałka): Argument prosty: P T Argument równoległy: P 1 P 2 T Argument szeregowy: P 1 &P 2 T 3
4 Jerzy Pogonowski: Operacje na argumentacjach Argument mieszany: P 1 &P 2 P 3 T 1. Argument prosty. Panie profesorze, ja muszę zdać ten egzamin! Jeśli nie zdam, to przepadnie moje stypendium. 2. Argument szeregowy. Gdyby oskarżony był na miejscu zbrodni, to ukryta kamera powinna zarejestrować, jak wchodzi on do willi na Klonowej. Jednak kamera nie zarejestrowała, aby krytycznego dnia ktokolwiek wchodził do willi. Tak więc, wysoki sądzie, mój klient jest z pewnością niewinny. 3. Argument równoległy. Adam nie słucha Radia Maryja. Nie przyjmuje księdza po kolędzie. W kościele też go nigdy nie widziałam. To niechybnie jakiś Żyd i mason. 4. Argument mieszany. Kto pije, ten kradnie. A Jan pije tęgo. Poza tym, nigdzie nie pracuje. To z pewnością złodziej. W takich argumentacjach, jak np. mowa prokuratora lub adwokata, dobrze przygotowana kłótnia małżeńska, wykład akademicki, itd. używamy wielce złożonych argumentów. Argumentacja złożona to taka, w której przynajmniej jedna przesłanka stanowi tezę dodatkowej, tzw. wewnętrznej argumentacji. Rekonstrukcja argumentacji złożonej polega na: 1. wskazaniu tezy oraz wszystkich przesłanek, 2. sporządzeniu diagramu odzwierciedlającego wiernie przejścia od przesłanek głównych (tych bezpośrednio wspierających tezę) do tezy głównej oraz od przesłanek pomocniczych (wewnętrznych) do przesłanek głównych. Czytelnicy zechcą, dla relaksu, wskazać tezę, przesłanki główne i przesłanki pomocnicze w następujących argumentacjach: 1. Kasia coraz więcej czasu poświęcała nauce. Wiedziała więc coraz więcej. Zapominała zatem coraz więcej, bo przecież rozumne jest założenie, że ilość zapominanych wiadomości jest proporcjonalna do ilości posiadanej wiedzy. Tak więc, w rezultacie Kasia wiedziała wiedziała coraz mniej. 4
5 Investigationes Linguisticae, vol. XXIV 2. Jeśli zaśpisz w dniu egzaminu, to nie zdasz. Pójdziesz do wojska, jeśli nie zdasz. Jeśli nie będziesz się uczył, to nie zdasz. Jeżeli w przeddzień egzaminu będzie impreza, to niechybnie zaśpisz. Egzamin jest wiosną, a wiosna wiadomo najlepszy czas na zakochanie się. Zakochanym nauka nie w głowie, a ty jesteś wyjątkowo kochliwy. Jeśli zakochasz się na imprezie w przeddzień egzaminu, to nie zdasz. To byłby naprawdę cud, gdybyś zdał ten egzamin. Czeka cię kariera w armii. Akceptowalność jest stopniowalna. Wybiera się skalę i określa na niej próg, powyżej którego oceniane zdania są akceptowalne. Uzasadnianie także jest stopniowalne. Wybiera się skalę i określa na niej próg, powyżej którego oceniane przejścia inferencyjne są akceptowalne. Tak więc, prawdziwość i fałszywość są szczególnymi przypadkami akceptowalności oraz, odpowiednio, nieakceptowalności. Podobnie, wynikanie logiczne jest szczególnym przypadkiem (dostatecznego) uzasadniania tezy przez przesłanki. Wreszcie, praktyczna poprawność argumentu obejmuje, jako przypadek szczególny dowód tezy z przesłanek. Skale akceptowalności (poszczególnych zdań oraz siły przejść inferencyjnych) mogą być dyskretne (skończone lub nieskończone), albo ciągłe (nieskończone). Przypomnijmy, dla ilustracji, skale używane w (Tokarz 2006a) oraz (Tokarz 2006b). Analizując poprawność argumentacji odbiorca dokonuje oceny stopnia akceptowalności wszystkich przesłanek podanych bez dowodu. Ocena odbywa się w skali pięciostopniowej, według następującego klucza (P oznacza dowolny sąd, Acc(P ) zaś oznacza stopień akceptowalności sądu P ): 1. jeśli nie jest możliwe, żeby sąd P był prawdziwy, to: Acc(P ) = 1; 2. jeśli jest bardzo prawdopodobne, że sąd P jest fałszywy, to: Acc(P ) = 2; 3. jeśli wartości logicznej sądu P nie można ustalić, to: Acc(P ) = 3; 4. jeśli jest bardzo prawdopodobne, że sąd P jest prawdziwy, to: Acc(P ) = 4; 5. jeśli jest pewne, że sąd P jest prawdziwy, to: Acc(P ) = 5. Sąd uznajemy za akceptowalny, czyli możliwy do przyjęcia bez dalszej dyskusji, jeżeli według nas jego stopień akceptowalności wynosi 4 lub 5. Czytelnicy zechcą, dla relaksu, podać wartość Acc(P ) dla następujących stwierdzeń (oraz uzasadnić swoje oceny): 1. Ludzie otyli (rudzi, chudzi, łysi, włochaci,... ) wyglądają nieestetycznie. 2. Używanie wulgarnego języka jest oznaką zdenerwowania. 3. Najlepszym afrodyzjakiem jest Mercedes. 5
6 Jerzy Pogonowski: Operacje na argumentacjach 4. Wynik bitwy pod Grunwaldem był ukartowany. 5. Czosnek jest zdrowy. 6. Bóg jest wszechmogący i miłosierny. 7. Istnieje bozon Higgsa. 8. Każdy skutek ma przyczynę. 9. Każde zdarzenie ma przyczynę. W ocenie siły przejścia od przesłanki P do wniosku T kierujemy się następującymi wytycznymi: 1. jeśli T nie ma związku logicznego z P, to: siła przejścia od P do T wynosi 1; 2. jeśli taka sytuacja, w której P jest prawdą a T fałszem, jest bardzo prawdopodobna, to: siła przejścia od P do T wynosi 2; 3. jeśli nie da się stwierdzić, czy P uzasadnia T mocno, czy słabo, to: siła przejścia od P do T wynosi 3; 4. jeśli taka sytuacja, w której P jest prawdą a T fałszem, jest mało prawdopodobna, to: siła przejścia od P do T wynosi 4; 5. jeśli przejście od P do T jest pewne, tj. jeśli T wynika dedukcyjnie z P, to: siła przejścia od P do T wynosi 5. Czytelnicy zechcą, dla relaksu, podać wartość Inf(P, T ) dla następujących par stwierdzeń (oraz uzasadnić swoje oceny; P jest tu przesłanką, a T wnioskiem): 1. P : Biblia mówi prawdę. T : Bóg istnieje. 2. P : Bóg istnieje. T : Biblia mówi prawdę. 3. P : Myślę. T : Istnieję. 4. P : Kobiety żyją dłużej niż mężczyźni (zwłaszcza wdowy). T : Kobiety powinny otrzymywać niższe emerytury. 5. P : Mówisz w sposób niechlujny. T : Myślisz w sposób niechlujny. 6. P : Słońce wschodziło dotąd każdego dnia. T : Jutro wzejdzie Słońce. 6
7 Investigationes Linguisticae, vol. XXIV 7. P : Komputer X przeszedł zwycięsko test Turinga. T : Komputer X myśli. Stopień siły przejścia między P oraz T oznaczmy przez Inf(P, T ). Podajmy teraz propozycję obliczania stopnia akceptowalności tezy całej argumentacji. W argumentacji prostej z przesłanką P o stopniu akceptowalności Acc(P ), w której siła przejścia od P do tezy T oceniona została na Inf(P, T ), obliczony stopień akceptowalności sądu T, czyli Acc(T ) to mniejsza z tych dwóch wielkości: Acc(P ) i Inf(P, T ). Aby obliczyć Acc(T ) w argumentacji równoległej o przesłankach P 1 i P 2 rozkładamy tę argumentację na dwa argumenty proste: od P 1 do T i od P 2 do T. Dla każdego z tych argumentów składowych obliczamy pomocniczy stopień akceptowalności: Acc(P 1, T ) i Acc(P 2, T ), według zasady obowiązującej dla argumentu prostego. Ostatecznym stopniem akceptowalności Acc(T ) jest większa z obu wielkości: Acc(P 1, T ) i Acc(P 2, T ). Identycznie postępujemy, gdy w argumentacji równoległej jest więcej przesłanek, na przykład cztery: P 1, P 2, P 3 i P 4, z tym, że wtedy otrzymujemy cztery stopnie pomocnicze: Acc(P 1, T ), Acc(P 2, T ), Acc(P 3, T ) i Acc(P 4, T ), a ostatecznym stopniem akceptowalności Acc(T ) jest największy z nich. W argumentacji szeregowej przesłanki traktujemy tak, jakby stanowiły ono jedno zdanie o ogólnym stopniu akceptowalności równym stopniowi akceptowalności najsłabszej z przesłanek i obliczamy stopień akceptowalności tezy tak, jakbyśmy mieli do czynienia z argumentem prostym. A więc stopień akceptowalności tezy w argumencie szeregowym mającym na przykład trzy przesłanki to najmniejsza z czterech wielkości: trzech stopni akceptowalności poszczególnych przesłanek oraz siły przejścia inferencyjnego od przesłanek do wniosku. Mówimy, że teza jest akceptowalna w ramach danej argumentacji, albo krótko że argumentacja jest akceptowalna, jeżeli w wyniku obliczeń otrzymujemy ostatecznie Acc(T ) = 4 lub Acc(T ) = 5. Argumentacja jest nieakceptowana gdy Acc(T ) < 4. Pojęcie akceptowalności nie jest absolutne: jest zrelatywizowane do przyjętej skali oceniania oraz do wybranej wartości progowej. Z formalną rekonstrukcją argumentacji wiąże się jeszcze pojęcie entymematu, a także rola elementów pleonastycznych argumentacyjnie. Argumentując, nie zawsze podajemy wyraźnie wszystkie przesłanki (czasami nawet teza nie jest explicite formułowana), pozostawiając je domyślności słuchacza. Zakładamy, że słuchacz (oponent, audytorium) dzieli z nami pewną wiedzę o świecie, skodyfikowaną bądź w naukach szczegółowych, bądź w regułach tzw. doświadczenia potocznego. W rekonstrukcji formalnej struktury argumentacji należy brać pod uwagę zarówno przesłanki jawnie wyrażone, jak też te celowo pominięte przez nadawcę, zwane przesłankami ukrytymi (niejawnymi). Argumentację posiadającą przesłanki ukryte nazywamy entymematem. Znalezienie ukrytych przesłanek bywa 7
8 Jerzy Pogonowski: Operacje na argumentacjach najtrudniejszym zadaniem w rekonstrukcji argumentacji. Twierdzi się, że w rekonstrukcji argumentu nie uwzględniamy elementów pełniących funkcje ekspresywne, lecz nie mających wpływu na poprawność rozumowania, a więc na przykład: dygresji, ozdobników, powtórzeń, konwencjonalnych dodatków grzecznościowych itp. To trafne twierdzenie, należy jednak również pamiętać o tym, że chwyty retoryczne mają istotny wpływ na ocenę akceptowalności przejść inferencyjnych. Czytelnicy zechcą, dla relaksu, wskazać przemilczane przesłanki w poniższych argumentacjach: 1. Skoro Roman jest najmłodszym synem Beaty, to wynika stąd, że Beata ma co najmniej trójkę dzieci. 2. Jan ma 80 lat, a jego żona 22 lata. Zatem Jan jest bardzo bogaty. 3. Papież jest omylny, bo jest człowiekiem. 4. Po defenestracji z Pawła będzie mokra plama. 5. Nietoperze są ssakami, bo nie mają piór. 6. Wieloryb jest ssakiem, bo nie jest rybą. 7. Dzieci nie powinny pracować. Zatem nikt nie powinien pracować. 8. Jan śpi snem sprawiedliwego. A zatem Jan nie grzeszy. Standaryzacja argumentu polega na: odtworzeniu wszystkich sądów wchodzących w skład danej argumentacji, a więc tezy i przesłanek, zarówno tych wypowiedzianych jawnie, jak i ukrytych. Należy pamiętać, że: 1. w standaryzacji należy uwzględnić wszystko, co naszym zdaniem jest istotne dla przeprowadzanej argumentacji (w szczególności, przesłanki niejawne!); 2. w standaryzacji należy opuścić wszystko, co naszym zdaniem nie jest istotne dla przeprowadzanej argumentacji (w szczególności np. te elementy ekspresywne, które nie mają wpływu na ocenę argumentacji). Diagram argumentu odzwierciedla jego strukturę. Zaznaczamy w nim: 1. poszczególne przesłanki; 2. konkluzję; 8
9 Investigationes Linguisticae, vol. XXIV 3. sposób, w jaki grupy sądów uzasadniają inne (szeregowy, równoległy, mieszany); 4. (potem dodajemy) stopnie akceptowalności poszczególnych stwierdzeń; 5. (potem dodajemy) stopnie siły przejść inferencyjnych. Argumentację poddaną standaryzacji można już oceniać, obliczając stopień akceptowalności tezy, wedle podanych wyżej reguł. Podręczniki teorii argumentacji zwykle w tym miejscu się zatrzymują po podaniu powyższych definicji oraz okraszeniu ich analizą wymyślnych przykładów. Poniżej postaramy się dodać jeszcze do tego analizę pewnych operacji, których dokonujemy na całych argumentacjach. 2 Propozycja notacji algebraicznej Operacje na argumentach będą odwoływały się do ich formalnej struktury. Przypominamy mianowicie, że dla każdej argumentacji można sporządzić jej diagram. Jest to graf, którego wierzchołki odpowiadają przesłankom i tezie (konkluzji) argumentacji, a którego krawędzie łączą wierzchołki między którymi zachodzą zależności inferencyjne. Dość powszechnie uważa się przy tym, że graf taki ma ściśle określoną postać, a mianowicie jest drzewem. Można jednak także rozważać argumentacje, które z ustalonej przesłanki (lub przesłanek) wyprowadzają całą gamę wniosków. Omawiane niżej operacje mogą zostać chyba bez trudu uogólnione także na ten przypadek. Tu zostanie on pominięty. Używanie diagramów argumentów przedstawianych rysunkami ma swoje zalety (przejrzystość struktury argumentu), ale także pewne wady (natury np. edytorskiej). Zaproponujemy pewną algebraiczną notację dla argumentacji oraz przeprowadzanych na nich operacji. Podamy także propozycję precyzyjnej definicji diagramu argumentacyjnego. Czytelnicy bez specjalnego przygotowania matematycznego ale zaznajomieni z diagramami argumentów mogą odwoływać się do swoich intuicji w trakcie lektury tej notki. To powinno wystarczyć. Używane tu pojęcia matematyczne są zresztą banalnie proste. Niech P 1 P 2 oznacza równoległe połączenie przesłanek P 1 oraz P 2, a P 1 P 2 szeregowe połączenie przesłanek P 1 oraz P 2. Przyjmiemy, że dla operacji oraz zachodzą warunki łaczności: P 1 (P 2 P 3 ) = (P 1 P 2 ) P 3 P 1 (P 2 P 3 ) = (P 1 P 2 ) P 3. Prawa łączności mają gwarantować, że kolejność przesłanek nie jest istotna. Jednak w praktyce argumentowania może być też inaczej: zasady retoryki mogą na 9
10 Jerzy Pogonowski: Operacje na argumentacjach przykład zalecać podawanie najważniejszej przesłanki (w połączeniu równoległym) na początku lub na końcu. Nie ma przeszkód, aby uwzględnić takie zasady w niniejszej formalnej rekonstrukcji. Wystarczy wtedy zrezygnować z praw łączności i rozpatrywać uporzadkowane zbiory przesłanek. Każdy układ o postaci P 1 P 2... P n T nazwiemy -sekwentem elementarnym (o przesłankach P 1, P 2,..., P n oraz wniosku T ). Każdy układ o postaci P 1 P 2... P n T nazwiemy -sekwentem elementarnym (o przesłankach P 1, P 2,..., P n oraz wniosku T ). Sekwenty elementarne to -sekwenty elementarne oraz -sekwenty elementarne. Wniosek segmentu elementarnego S oznaczymy przez W S, a zbiór przesłanek S przez Π S. Powiemy, że: sekwent elementarny S 1 o zbiorze przesłanek P 1 1, P 1 2,..., P 1 n oraz wniosku T 1 jest przedłużeniem sekwentu elementarnego S 2 o zbiorze przesłanek P 2 1, P 2 2,..., P 2 m oraz wniosku T 2, jeśli wniosek T 1 jest identyczny z jedną z przesłanek P 2 1, P 2 2,..., P 2 m. Tak więc, sekwent elementarny S 1 jest przedłużeniem sekwentu elementarnego S 2, gdy wniosek sekwentu S 1 jest wśród przesłanek sekwentu S 2. Można oczywiście iterować tę operację, z czego użytek czyni następna definicja. Niech S = (S 1, S 2,..., S n ) będzie ciągiem sekwentów elementarnych takich, że W Si Π Si+1 dla 1 i < n. Każdy ciąg (P, W S1,..., W Sn ), gdzie P Π S1 nazwiemy S-łańcuchem. UWAGA. S-łańcuchy mają strukturę liniową, są ciągami zdań. Jeśli natomiast sekwent elementarny S 1 jest przedłużeniem sekwentu elementarnego S 2 i któryś z tych segmentów (lub oba) jest -sekwentem elementarnym, to całość złożona z S 1 i S 2 nie ma struktury liniowej. Mówimy, że: układ D = ({P 1, P 2,..., P n }, {W 1, W 2,..., W m }, T ) jest diagramem argumentacyjnym o tezie T, pierwszych przesłankach P 1, P 2,..., P n i wnioskach pośrednich W 1, W 2,..., W m, gdy: 1. dla każdego 1 i n istnieje dokładnie jeden ciąg sekwentów elementarnych S = (S 1, S 2,..., S ki ) taki, że (P i, W S1,..., W Ski ) jest S-łańcuchem oraz W Ski jest identyczny z T 10
11 Investigationes Linguisticae, vol. XXIV 2. dla każdego 1 i m istnieje zbiór Y ({P 1, P 2,..., P n } {W 1, W 2,..., W m }) {W i } taki, że Y W i jest sekwentem elementarnym 3. dla każdych 1 i, j m zachodzi: Π Wi Π Wj =. To tylko wstępna propozycja określenia pojęcia diagramu argumentacyjnego. Być może, powyższe warunki są zbyt rygorystyczne i wykluczają w ten sposób niektóre używane w praktyce argumentacje. Intuicyjnie, diagramy argumentacyjne to drzewa o wierzchołkach znakowanych zdaniami (formułami, reprezentacjami sądów, itp.). Dla przykładu, argumentacja podana w zadaniu w (Szymanek, Wieczorek, Wójcik 2003) (strona 32; jest to wersja paradoksu Achillesa i żółwia) ma, wedle autorów, diagram, który nie ma postaci drzewa: pewna przesłanka uzasadnia dwie inne (co prawda w tym przypadku ujęte szeregowo). Autorzy uważają, że trzeba zatem zastąpić pomysł traktowania diagramu argumentu jako drzewa propozycją innego rodzaju grafu. Nie zgadzamy się z tą sugestią. Przy rozważaniu drzew znakowanych możemy diagramy argumentów zawsze przedstawić w postaci drzewa. Inaczej mówiąc, każdą przesłankę można indeksować, przypisując ją do odpowiedniego wierzchołka diagramu. Jeśli przesłanka P pojawia się zarówno wśród uzasadnień wniosku W 1 jak i wniosku W 2, to zostanie ona opatrzona w każdym z tych przypadków stosownym indeksem i formalnie traktowana jako dwie różne przesłanki. 3 Operacje na argumentacjach Rozważane operacje na argumentacjach będą odpowiadały sytuacjom, gdy: 1. łączymy w jedną całość różne argumentacje o tej samej tezie; 2. dołączamy dodatkową argumentację na rzecz którejś z przesłanek; 3. łączymy argumentacje, tworząc argumentacje złożone; 4. itp. Trzeba podać formalne definicje operacji reprezentujących te sytuacje. Niech grafy G 1 i G 2 mają rozłączne zbiory wierzchołków. Wtedy przez ich sumę rozumiemy graf G, którego zbiór wierzchołków jest sumą zbiorów wierzchołków grafów G 1 i G 2, a którego zbiór krawędzi jest sumą zbiorów krawędzi grafów G 1 oraz G 2. Mówimy, że: 11
12 Jerzy Pogonowski: Operacje na argumentacjach diagram D = ({P 1, P 2,..., P n }, {W 1, W 2,..., W m }, T ) jest złożeniem współkońcowym diagramów D 1 = ({P 1 1, P 1 2,..., P 1 n 1 }, {W 1 1, W 1 2,..., W 1 m 1 }, T 1 ) oraz D 2 = ({P 2 1, P 2 2,..., P 2 n 2 }, {W 2 1, W 2 2,..., W 2 m 2 }, T 2 ), gdy graf o wierzchołkach {P 1, P 2,..., P n } {W 1, W 2,..., W m } jest sumą grafów o wierzchołkach oraz {P 1 1, P 1 2,..., P 1 n 1 } {W 1 1, W 1 2,..., W 1 m 1 } {P 2 1, P 2 2,..., P 2 n 2 } {W 2 1, W 2 2,..., W 2 m 2 } (zakładamy zatem implicite, że oba wspomniane zbiory są rozłączne), a ponadto zachodzi jeden z następujących trzech przypadków: 1. T jest identyczna z T 1 oraz z T 2 (i wtedy zbiór przesłanek głównych dla T jest sumą zbiorów: przesłanek głównych dla T 1 oraz przesłanek głównych dla T 2 ); 2. nie zachodzi (1), a T 1 T 2 T jest sekwentem elementarnym; 3. nie zachodzi (1), a T 1 T 2 T jest sekwentem elementarnym. Złożenie współkońcowe diagramów D 1 oraz D 2 oznaczamy przez D 1 D 2. Jeśli P 1 P 2... P n T jest -sekwentem elementarnym, to P 1 P 2... P n T = (P 1 T ) (P 2 T )... (P n T ). Dla przykładu, argumentacja (mieszana) o diagramie klasycznie oznaczanym w taki oto sposób (połączenie szeregowe przesłanek P 1 oraz P 2 oraz dołączenie do tego kompleksu równoległej przesłanki P 3, dla otrzymania tezy T ): P 1 &P 2 P 3 T ma następującą (może prostszą edytorsko) reprezentację algebraiczną: (P 1 P 2 T ) (P 3 T ). Podane wyżej reguły ustalania stopni akceptowalności zapisać można zwięźle następująco: Acc(P 1 P 2, T ) = max{acc(p 1, T ), Acc(P 2, T )} 12
13 Investigationes Linguisticae, vol. XXIV Acc(P 1 P 2, T ) = min{acc(p 1, T ), Acc(P 2, T )} Acc(T ) = min{acc(p ), Inf(P, T )}. Obliczenia te zachowują ważność dla złożeń współkońcowych diagramów argumentacji, ponieważ złożenia takie prowadzą od (pary) diagramów argumentacji do diagramu argumentacji. Podobnie dla dalszych operacji na diagramach argumentacji, przedstawionych poniżej. Można rozwijać ten wątek algebraiczny, uzupełniając go o dalsze operacje na argumentach oraz ich częściach składowych. Wydaje się to szczególnie użyteczne, gdy zajmujemy się np. formalną analizą dyskusji (oraz sporów), gdzie obok argumentów występują również kontrargumenty. Mówimy, że: diagram D 1 = ({P 1 1, P 1 2,..., P 1 n 1 }, {W 1 1, W 1 2,..., W 1 m 1 }, T 1 ) jest przedłużeniem diagramu D 2 = ({P 2 1, P 2 2,..., P 2 n 2 }, {W 2 1, W 2 2,..., W 2 m 2 }, T 2 ), gdy T 1 jest identyczna z P 2 j dla pewnego 1 j n 2 2. Mówimy, że: diagram D = ({P 1, P 2,..., P n }, {W 1, W 2,..., W m }, T ) jest kompozycja diagramów D 1 = ({P 1 1, P 1 2,..., P 1 n 1 }, {W 1 1, W 1 2,..., W 1 m 1 }, T 1 ) oraz D 2 = ({P 2 1, P 2 2,..., P 2 n 2 }, {W 2 1, W 2 2,..., W 2 m 2 }, T 2 ), gdy D 1 jest przedłużeniem D 2. Kompozycję diagramów D 1 oraz D 2 oznaczymy przez D 1 D 1 (można też symbol operacji zaopatrzyć stosownym indeksem ze zbioru {1, 2,..., n 2 2}). Zauważmy, że tak określona operacja nie jest przemienna. W podobny sposób można określić inne rodzaje kompozycji, na przykład taką, gdy nie liść jednego diagramu zastępujemy całym innym diagramem (którego korzeń jest jednak identyczny z tym liściem), ale zastępujemy jakiś wierzchołek x nie będący liściem jednego diagramu przez cały inny diagram (którego korzeń jest jednak identyczny z x). Tego typu operacje kompozycji są zatem odpowiednikami dodawania dodatkowych uzasadnień dla wybranych przesłanek pierwszych lub wniosków pośrednich. Operacje kompozycji oraz złożenia współkońcowego pozwalają budować diagramy argumentacyjne z innych takich diagramów. Można rozważać też dalsze typy złożeń, np. zdefiniowane niżej wklejenie. 13
14 Jerzy Pogonowski: Operacje na argumentacjach Jeśli D = ({P 1, P 2,..., P n }, {W 1, W 2,..., W m }, T ) jest diagramem argumentacyjnym, to oznaczmy: Π D = {P 1, P 2,..., P n }, T D = T Ψ D = {W 1, W 2,..., W m }. Mówimy, że: diagram D = ({P 1, P 2,..., P n }, {W 1, W 2,..., W m }, T ) powstaje przez wklejenie diagramu D 1 = ({P 1 1, P 1 2,..., P 1 n 1 }, {W 1 1, W 1 2,..., W 1 m 1 }, T 1 ) w diagram D 2 = ({P 2 1, P 2 2,..., P 2 n 2 }, {W 2 1, W 2 2,..., W 2 m 2 }, T 2 ), gdy: T D = T D 2, Π D = Π D 1 Π D 2 oraz T D 1 Π Wj dla pewnego 1 j m (czyli istnieje W j Ψ D taki, że T D 1 Π Wj ). Wklejenie tym się różni od kompozycji, że w przypadku kompozycji zastępujemy jeden z wierzchołków x danego diagramu całym drugim diagramem o korzeniu x, natomiast przy wklejaniu (pierwszego diagramu w drugi) dodajemy do drugiego diagramu korzeń diagramu pierwszego jako wierzchołek (wraz z całym jego uzasadnieniem). 4 Przykłady Zilustrujmy kilkoma prostymi przykładami wprowadzone w poprzednim punkcie pojęcia. Interesują nas przy tym jedynie operacje na argumentacjach nie rozwodzimy się natomiast nad akceptowalnością rozważanych argumentacji. 4.1 Złożenie współkońcowe Intuicyjnie mówiąc, przy złożeniu współkońcowym sklejamy dwa drzewa w jedno drzewo, przy czym zajść może jeden z trzech przypadków: 1. korzenie obu drzew są identyczne; wtedy korzeń otrzymanego drzewa złożonego jest także z nimi identyczny; 2. korzenie obu drzew nie są identyczne, a korzeń otrzymanego drzewa złożonego jest wnioskiem z korzeni drzew składowych połączonych szeregowo; 14
15 Investigationes Linguisticae, vol. XXIV 3. korzenie obu drzew nie są identyczne, a korzeń otrzymanego drzewa złożonego jest wnioskiem z korzeni drzew składowych połączonych równolegle. Powinno być widoczne, że złożenie współkońcowe to połączenie w jedną argumentację bądź dwóch argumentacji o tej samej tezie, bądź takich, których tezy są przesłankami głównymi (połączonymi szeregowo lub równolegle) dla tezy owego złożenia współkońcowego. PRZYKŁAD. Możemy spokojnie przyjać, że nasza polityka zagraniczna nie jest planowana wedle wskazań tarota. Przecież tylko naukowo uzasadnione przepowiednie sa godne zaufania, a nie słyszałam, żeby ktokolwiek pokazał, iż przepowiednie tarota były godne zaufania. Papież nigdy nie polega na tarocie. Dokonajmy standaryzacji tej argumentacji. Tezą jest tu: Nasza polityka zagraniczna nie jest planowana wedle wskazań tarota. Przesłanki jawnie wyrażone w tekście argumentacji to: P 1 P 2 P 3 Tylko naukowo uzasadnione przepowiednie sa godne zaufania. Przepowiednie tarota nie sa godne zaufania. Papież nie polega na tarocie. Dokładniej rzecz biorąc, powyższy tekst jest oczywiście wnioskowaniem entymematycznym. Brakującymi przesłankami są: E 1 E 2 E 3 Nasza polityka zagraniczna planowana jest tylko wedle naukowo uzasadnionych przepowiedni. Skoro nie słyszałam, że A, to A nie miało miejsca. Tutaj w miejsce A wstawiamy oczywiście: Pokazano, że przepowiednie tarota sa godne zaufania. Nie pokazano, że przepowiednie tarota sa godne zaufania. W istocie, E 3 jest wnioskiem pośrednim (z E 2 ), a nie pierwsza przesłanką. Widać teraz, że P 2 nie jest pierwszą przesłanką, ale wnioskiem pośrednim tej argumentacji. Ewentualne dalsze przesłanki entymematyczne poddane zostaną pod rozwagę za chwilę. Przesłanki P 1 oraz E 1 mają postać generalnie skwantyfikowanych implikacji. Rozważana argumentacja jest współkońcowym złożeniem następujących dwóch argumentacji. PIERWSZA ARGUMENTACJA. Wyróżnimy następujące predykaty oraz term: 15
16 Jerzy Pogonowski: Operacje na argumentacjach N(x): x jest naukowo uzasadniony; G(x): x jest godny zaufania; Z(x): nasza polityka zagraniczna jest planowana wedle x; t: wskazanie tarota. Mamy wtedy, w powyżej przyjętych oznaczeniach: P 1 to zdanie x (N(x) G(x)) P 2 to zdanie G(t) E 1 to zdanie x (Z(x) N(x)). Przejścia inferencyjne wewnątrz tej argumentacji są następujące: 1. E 2 uzasadnia E 3. Nie ma tu wynikania logicznego, gdyż skoro nie widziałam A, to A nie istnieje nie jest oczywiście oparte na wynikaniu logicznym. 2. E 3 uzasadnia P 2, czyli G(t). Tu również nie ma wynikania logicznego, gdyż nie pokazano, że A, a zatem nieprawda, że A również nie jest oparte na wynikaniu logicznym. 3. P 1 P 2 uzasadnia N(t); tu mamy wynikanie logiczne, a mianowicie zastosowanie reguły modus tollens. 4. E 1 oraz N(t) uzasadniają (również na mocy reguły modus tollens) Z(t), czyli zdanie: Nasza polityka zagraniczna nie jest planowana wedle wskazań tarota, będące tezą rozważanej na początku argumentacji. DRUGA ARGUMENTACJA. To, co zostało powiedziane wyraźnie, to przesłanka Papież nie polega na tarocie. Ma ona bezpośrednio uzasadniać tezę: Nasza polityka zagraniczna nie jest planowana wedle wskazań tarota. W takim ujęciu jest to argument prosty, a przesłanka jest połączona równolegle z wnioskiem pośrednim E 1 N(t) z argumentacji rozważanej przed chwilą. Obie argumentacje tworzą zatem złożenie współkońcowe, którym jest oryginalna argumentacja rozważana na początku tego przykładu. Czytelnik bystry i nieufny zapyta w tym miejscu: A cóż, u licha, ma papież do planowania naszej polityki zagranicznej? Istotnie, można podejrzewać, że nie wykryliśmy jeszcze wszystkich przesłanek entymematycznych w przedstawionym rozumowaniu. Rozważmy zatem jeszcze dwa predykaty: 16
17 Investigationes Linguisticae, vol. XXIV K(x): x jest konsultowany z Watykanem (dokładniej: wskazówka x z Watykanu zostaje przyjęta do akceptującej wiadomości); P (x): papież polega na x. Można teraz domyślać się, że rozważane rozumowanie należałoby uzupełnić o następujące przesłanki niejawne: E 4 E 5 Cokolwiek planujemy w polityce zagranicznej, konsultujemy to z Watykanem. Dokładniej: Każde planowane posunięcie naszej polityki zagranicznej jest wskazówka pochodzac a z Watykanu. Wszystkie wskazówki z Watykanu opracowane sa na podstawie tego, na czym polega papież. Obie te przesłanki to oczywiście generalnie skwantyfikowane implikacje: E 4 : x (Z(x) K(x)) E 5 : x (K(x) P (x)). Teraz tajemnicza z początku przesłanka P 3 oraz jej związek z planami naszego Ministerstwa Spraw Zagranicznych jawią się w nieco innym świetle: 1. Z E 4 oraz E 5 otrzymujemy wniosek pośredni W o postaci x (Z(x) P (x)), na mocy prawa przechodniości dla implikacji. 2. Tezę Z(t) otrzymujemy z W oraz przesłanki P 3 (czyli zdania P (t)) na mocy reguły modus tollens (oraz praw kwantyfikacji). Także przy takiej analizie rozważana na początku argumentacja jest złożeniem współkońcowym dwóch opisanych wyżej argumentacji. Pozostałe dwa przypadki tworzenia złożeń współkońcowych także są chyba zrozumiałe. Przypuśćmy, że tezą jednej argumentacji jest implikacja α β, zaś tezą drugiej argumentacji jest α. Wtedy złożenie współkońcowe tych argumentacji jest drzewem o korzeniu β (teza), gdzie przesłankami głównymi dla β są α β oraz α, będące z kolei tezami obu branych pod uwagę argumentacji. Podobnie dla przypadku równoległego połączenia przesłanek głównych. Przypuśćmy, dla przykładu, że tezą natrętnie forsowaną przez dziewczynę jest mówienie chłopakowi: Musisz się ze mna ożenić. Przesłankami głównymi niech będą: 17
18 Jerzy Pogonowski: Operacje na argumentacjach 1. Ludzie o nas gadaja. Na prośbę chłopaka o wyjaśnienia, uzasadnienia, itd. dziewczyna może przytoczyć dowolnie zawiłe wytłumaczenia, budując całą skomplikowaną argumentację przemawiającą za koniecznością uznania tego zdania. Bo wtedy na dyskotece Kinga i Dorota pokazywały nas palcem i chichotały. A Beata to zapytała, co u ciebie słychać. Matka przestała pytać, skad wracam. Itd., itp. 2. Jestem w ciaży. To przesłanka o wadze ciężkiej, ale oczywiście można pytać o jej uzasadnienie: Śniło mi się, że ksiadz na mnie krzyczał. Przytyłam. Zrobiłam test. Itd., itp. Mamy tu więc dwie argumentacje, których tezy są przesłankami głównymi dla (będącej złożeniem współkońcowym tych argumentacji) groźnej argumentacji o konieczności ożenku. 4.2 Kompozycja Kompozycja drzew D 1 i D 2 to operacja, której wynikiem jest drzewo D 1 D 2, przy czym korzeń drzewa D 1 jest jednym z liści drzewa D 2. Jest to zatem operacja, która dostarcza dodatkowej argumentacji dla którejś z pierwszych przesłanek innej argumentacji. PRZYKŁAD. Rozważmy następującą argumentację. Przesłanki: 1. Jeśli nie udowodniono podejrzanemu popełnienia morderstwa, to: stwierdzono samobójstwo denata lub wykonano sentencję wyroku, o ile udało się zatrzymać podejrzanego. 2. Podejrzanemu nie udowodniono popełnienia morderstwa. 3. Nie stwierdzono samobójstwa denata. 4. Udało się zatrzymać podejrzanego. Konkluzja: Wykonano sentencję wyroku. Jej formalna rekonstrukcja nie jest trudna. Zdania proste w tym tekście: α: Udowodniono podejrzanemu popełnienie morderstwa. β: Stwierdzono samobójstwo denata. 18
19 Investigationes Linguisticae, vol. XXIV γ: Udało się zatrzymać podejrzanego. δ: Wykonano sentencję wyroku. Struktury składniowe przesłanek: α (β (γ δ)) α β γ Drzewo dowodu wygląda następująco: γ δ β γ δ α α (β (γ δ)) β (γ δ) W tej argumentacji posłużono się kolejno regułami: 1. modus ponens (reguła odrywania) 2. opuszczania alternatywy 3. modus ponens. Argumentacja jest poprawna z logicznego punktu widzenia. Konkluzja wynika logicznie z przesłanek. Przypuśćmy jednak, że komuś bardzo zależy na ustaleniu, czy naprawdę nie stwierdzono samobójstwa denata. Bada się wiarygodność lekarza stwierdzającego zgon, szuka się dokumentów, itp. Krótko mówiąc, szuka się dodatkowego uzasadnienia dla β. Powiedzmy, że wygląda ono następująco: 1. Jeśli lekarz dyżurny nie był pijany, to: gdzieś tu jest jego orzeczenie, o ile stwierdzono samobójstwo denata. 2. Lekarz dyżurny nie był pijany. 3. Nie ma tu jego orzeczenia. 4. A zatem: Nie stwierdzono samobójstwa denata. Zdania proste w tej argumentacji: 19
20 Jerzy Pogonowski: Operacje na argumentacjach κ: Lekarz dyżurny był pijany. λ: Tu jest jego orzeczenie. β: Stwierdzono samobójstwo denata. Struktury składniowe przesłanek: κ (β λ) κ λ. Drzewo argumentacji (dowodu): λ β κ (β λ) κ β λ W tej argumentacji posłużono się kolejno regułami: 1. modus ponens 2. modus tollens. Tak więc, także w tej argumentacji wniosek wynika logicznie z przesłanek. Można oczywiście pytać dalej: o trzeźwość lekarza dyżurnego, o bałagan w dokumentacji, itp. Inaczej mówiąc, można pytać o dodatkowe uzasadnienie dla przesłanek κ oraz λ. Jest jasne, jak wygląda kompozycja obu rozważanych diagramów: w miejsce β w pierwszym z nich wpisujemy cały drugi diagram. 4.3 Wklejenie Wklejenie jest operacją, która zastępuje jeden z wierzchołków danego drzewa (nie będący jego korzeniem) przez inne drzewo. Z wklejeniem mamy do czynienia na przykład wtedy, gdy uzupełniamy daną argumentację o jej przesłanki entymematyczne (wraz z ich uzasadnieniami). PRZYKŁAD. Najprostszym chyba przykładem wklejenia jest przypadek, gdy w jakimś miejscu diagramu argumentacyjnego mamy wniosek pośredni uzasadniany przez swoje przesłanki połączone równolegle i dodajemy do tego zestawu przesłanek kolejną nową przesłankę, wraz z jej uzasadnieniem. Dla przykładu, powiedzmy, że mamy do czynienia z wzorcowo rozwijającą się kłótnią małżeńską, gdzie tezą jednej ze stron jest: Ty już mnie nie kochasz. Niech przesłankami głównymi dla tej tezy będą, połączone równolegle: 20
21 Investigationes Linguisticae, vol. XXIV P 1 P 2 Śmieci nie wyniosłeś. Dajesz mi na prowadzenie gospodarstwa tylko PLN miesięcznie. Każde z tych zdań jest w gruncie rzeczy wnioskiem pośrednim, mającym wykrzyczane bądź entymematyczne przesłanki uzasadniające, np.: 1. Dla P 1. Kto kocha, ten dba o czystość w domu. Gdy śmieci nie sa wyniesione, w domu nie jest czysto. Itd. 2. Dla P 2. Wiem, ile zarabiasz. I liczyć też umiem, taka głupia nie jestem. Gdybyś mnie kochał, oddawałbyś wszystko. Itd. Gdy tych (oraz licznych dalszych) przesłanek za mało, można dołożyć, wraz ze stosownym materiałem dowodowym (zeznania świadków, życzliwe telefony, świadectwo intuicji, itd.): Byłeś w delegacji w Krakowie z ta zdzira. Nie trzeba chyba dodawać, że wklejenie czegoś takiego może mieć moc porażającą, o ile poparte jest przekonującymi dowodami. 5 Zakończenie W niniejszej notatce podaliśmy jedynie pewne propozycje definicyjne. O tym czy jest to propozycja sensowna i użyteczna będzie się można przekonać, jeśli ktokolwiek zechce ją wykorzystać w analizie argumentacji oraz operacji na argumentacjach. Dodajmy jeszcze, że samo formalizowanie nie ma większego sensu, o ile nie ułatwia ono: otrzymania jednoznacznej charakterystyki pojęć używanych w sposób nieformalny, mętny, nieostry, itd.; możliwości wykonywania stosownych obliczeń; otrzymania ciekawych twierdzeń o rozważanych pojęciach. Autor uprzejmie dziękuje za uwagi krytyczne dotyczące tej notatki Panu Profesorowi Krzysztofowi Szymankowi (Zakład Logiki i Metodologii, Uniwersytet Śląski) oraz Panu Doktorowi Marcinowi Selingerowi (Katedra Logiki i Metodologii Nauk, Uniwersytet Wrocławski). Za wszelkie ewentualne lapsusy w powyższych elukubracjach odpowiedzialność ponosi wyłącznie autor. 21
22 Jerzy Pogonowski: Operacje na argumentacjach Bibliografia Szymanek, K., Wieczorek, K.A., Wójcik, A Sztuka argumentacji. Ćwiczenia w badaniu argumentów. Warszawa: Wydawnictwo Naukowe PWN. Tokarz, M. 2006a. Argumentacja. Perswazja. Manipulacja. Wykłady z teorii komunikacji. Gdańsk: Gdańskie Wydawnictwo Psychologiczne. Tokarz, M. 2006b. Ćwiczenia z wnioskowania i argumentacji. Tychy: Śląskie Wydawnictwa Naukowe Wyższej Szkoły Zarządzania i Nauk Społecznych w Tychach. 22
OPERACJE NA ARGUMENTACH
WERSJA WSTEPNA, NIE DO DRUKU OPERACJE NA ARGUMENTACH JERZY POGONOWSKI Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl ABSTRAKT. Podajemy propozycję definicji diagramu argumentacji. Rozważamy
Naukoznawstwo (zadania)
Naukoznawstwo (zadania) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 3 XI 2007 Jerzy Pogonowski (MEG) Naukoznawstwo (zadania) 3 XI 2007 1 / 11 Zadania: 3 listopada
METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ
METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ KONWERSATORIUM 6: REZOLUCJA V rok kognitywistyki UAM 1 Kilka uwag terminologicznych Słuchacze zapewne pamiętają z zajęć dotyczących PROLOGu poniższą
LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ
LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ Robert Trypuz Katedra Logiki KUL 18 grudnia 2013 Robert Trypuz (Katedra Logiki) Wnioskowanie 18 grudnia 2013 1 / 12 Zarys 1 Wnioskowanie Definicja Schemat wnioskowania
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
Semiotyka logiczna (4)
Semiotyka logiczna (4) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Argumentacja Jerzy Pogonowski (MEG) Semiotyka logiczna (4) Argumentacja 1 / 49 Plan na dziś Plan
JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca Imię i Nazwisko:... FIGLARNE POZNANIANKI
JEZYKOZNAWSTWO I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca 2012 Imię i Nazwisko:........................................................... FIGLARNE POZNANIANKI Wybierz
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
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.
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
Dalszy ciąg rachunku zdań
Dalszy ciąg rachunku zdań Wszystkie możliwe funktory jednoargumentowe p f 1 f 2 f 3 f 4 0 0 0 1 1 1 0 1 0 1 Wszystkie możliwe funktory dwuargumentowe p q f 1 f 2 f 3 f 4 f 5 f 6 f 7 f 8 f 9 f 10 f 11 f
Elementy logiki i teorii mnogości
Elementy logiki i teorii mnogości Zdanie logiczne Zdanie logiczne jest to zdanie oznajmujące, któremu można przypisać określoną wartość logiczną. W logice klasycznej zdania dzielimy na: prawdziwe (przypisujemy
Logika Matematyczna (2,3)
Logika Matematyczna (2,3) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 11, 18 X 2007 Jerzy Pogonowski (MEG) Logika Matematyczna (2,3) 11, 18 X 2007 1 / 34 Język KRZ
Logika Matematyczna (10)
Logika Matematyczna (10) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Rezolucja w KRZ Jerzy Pogonowski (MEG) Logika Matematyczna (10) Rezolucja w KRZ 1 / 39 Plan
Wykład 4 Logika dla prawników. Dyskusja oraz rodzaje argumentów
Wykład 4 Logika dla prawników Dyskusja oraz rodzaje argumentów 1 * Wykład opracowany w oparciu o podręczniki: T. Hołówka, Kultura logiczna w przykładach, Warszawa 2006. K. Szymanek, K. A. Wieczorek, A.
JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 18 czerwca Imię i Nazwisko:... I
JEZYKOZNAWSTWO I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 18 czerwca 2013 Imię i Nazwisko:.................................................................................. I Wybierz
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
Logika Matematyczna (1)
Logika Matematyczna (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 4 X 2007 Jerzy Pogonowski (MEG) Logika Matematyczna (1) 4 X 2007 1 / 18 Plan konwersatorium Dzisiaj:
Imię i nazwisko:... OBROŃCY PRAWDY
Egzamin: Logika Matematyczna, I rok JiNoI, 30 czerwca 2014 Imię i nazwisko:........................................... OBROŃCY PRAWDY Wybierz dokładnie cztery z poniższych pięciu zadań i spróbuj je rozwiazać.
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.
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.
Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 1 - Logika zdaniowa Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 30 Plan wykładu 1 Język
Logika Matematyczna (1)
Logika Matematyczna (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Wprowadzenie Jerzy Pogonowski (MEG) Logika Matematyczna (1) Wprowadzenie 1 / 20 Plan konwersatorium
ZALICZENIE WYKŁADU: 30.I.2019
MATEMATYCZNE PODSTAWY KOGNITYWISTYKI ZALICZENIE WYKŁADU: 30.I.2019 KOGNITYWISTYKA UAM, 2018 2019 Imię i nazwisko:.......... POGROMCY PTAKÓW STYMFALIJSKICH 1. [2 punkty] Podaj definicję warunku łączności
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
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ć.
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
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.:
Wybierz cztery z poniższych pięciu zadań. Poprawne rozwiazanie dwóch zadań oznacza zdany egzamin.
Logika, II rok Etnolingwistyki UAM, 20 VI 2008. Imię i Nazwisko:.............................. GRUPA: I Wybierz cztery z poniższych pięciu zadań. Poprawne rozwiazanie dwóch zadań oznacza zdany egzamin.
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.
Filozofia z elementami logiki Klasyfikacja wnioskowań I część 1
Filozofia z elementami logiki Klasyfikacja wnioskowań I część 1 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan: definicja pojęcia wnioskowania wypowiedzi inferencyjne i wypowiedzi
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
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
Logika Radosna 6. Jerzy Pogonowski. Argumentacja. Zakład Logiki Stosowanej UAM
Logika Radosna 6 Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Argumentacja Jerzy Pogonowski (MEG) Logika Radosna 6 Argumentacja 1 / 105 Plan na dziś Plan na dziś
Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań System aksjomatyczny logiki Budując logikę
Logika dla socjologów
Logika dla socjologów Część 6: Modele rozumowań. Pojęcie wynikania Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Modele rozumowań 2 Wynikanie 3 Rozumowania poprawne
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
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
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)
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
Logika pragmatyczna dla inżynierów
Logika pragmatyczna Logika pragmatyczna dla inżynierów Kontakt: dr hab. inż. Adam Kasperski pokój 509 B4 adam.kasperski@pwr.edu.pl materiały + literatura + informacje na stronie www. Zaliczenie: Test pisemny
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
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ 1 Inferencyjna równoważność formuł Definicja 9.1. Formuła A jest
Logika. Michał Lipnicki. 15 stycznia Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 15 stycznia / 37
Logika Michał Lipnicki Zakład Logiki Stosowanej UAM 15 stycznia 2011 Michał Lipnicki () Logika 15 stycznia 2011 1 / 37 Wstęp Materiały na dzisiejsze zajęcia zostały opracowane na podstawie pomocy naukowych
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
Wstęp do logiki. Klasyczny Rachunek Zdań III
Wstęp do logiki Klasyczny Rachunek Zdań III Przypomnijmy: Logika: = Teoria form (schematów, reguł) poprawnych wnioskowań. Wnioskowaniem nazywamy jakąkolwiek skończoną co najmniej dwuwyrazową sekwencję
Logika pragmatyczna. Logika pragmatyczna. Kontakt: Zaliczenie:
Logika pragmatyczna Logika pragmatyczna Kontakt: dr hab. inż. Adam Kasperski pokój 509 B4 adam.kasperski@pwr.wroc.pl materiały + literatura + informacje na stronie www. Zaliczenie: Kolokwium pisemne na
III rok kognitywistyki UAM,
METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ WYKŁAD 6A: REZOLUCJA III rok kognitywistyki UAM, 2016 2017 1 Rezolucja w KRZ Dowody rezolucyjne w KRZ są równie proste, jak dowody tablicowe Metoda
Funkcje wymierne. Jerzy Rutkowski. Działania dodawania i mnożenia funkcji wymiernych określa się wzorami: g h + k l g h k.
Funkcje wymierne Jerzy Rutkowski Teoria Przypomnijmy, że przez R[x] oznaczamy zbiór wszystkich wielomianów zmiennej x i o współczynnikach rzeczywistych Definicja Funkcją wymierną jednej zmiennej nazywamy
TEORETYCZNE PODSTAWY INFORMATYKI
1 TEORETYCZNE PODSTAWY INFORMATYKI WFAiS UJ, Informatyka Stosowana I rok studiów, I stopień Wykład 14c 2 Definicje indukcyjne Twierdzenia dowodzone przez indukcje Definicje indukcyjne Definicja drzewa
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ł.
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
Egzamin z logiki i teorii mnogości, rozwiązania zadań
Egzamin z logiki i teorii mnogości, 08.02.2016 - rozwiązania zadań 1. Niech φ oraz ψ będą formami zdaniowymi. Czy formuła [( x : φ(x)) ( x : ψ(x))] [ x : (φ(x) ψ(x))] jest prawem rachunku kwantyfikatorów?
Wstęp do logiki. Argumentacja
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ąć
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
Metoda Tablic Semantycznych
Procedura Plan Reguły Algorytm Logika obliczeniowa Instytut Informatyki Plan Procedura Reguły 1 Procedura decyzyjna Logiczna równoważność formuł Logiczna konsekwencja Procedura decyzyjna 2 Reguły α, β,
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 Matematyczna (1-3) Zadania
Logika Matematyczna (1-3) Zadania Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 24 X 2007 Jerzy Pogonowski (MEG) Logika Matematyczna (1-3) Zadania 24 X 2007 1 / 14
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...
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
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
Zbiory, relacje i funkcje
Zbiory, relacje i funkcje Zbiory będziemy zazwyczaj oznaczać dużymi literami A, B, C, X, Y, Z, natomiast elementy zbiorów zazwyczaj małymi. Podstawą zależność między elementem zbioru a zbiorem, czyli relację
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
W. Guzicki Zadanie 41 z Informatora Maturalnego poziom podstawowy 1
W. Guzicki Zadanie 41 z Informatora Maturalnego poziom podstawowy 1 W tym tekście zobaczymy rozwiązanie zadania 41 z Informatora o egzaminie maturalnym z matematyki od roku szkolnego 014/015 oraz rozwiązania
Konspekt do wykładu z Logiki I
Andrzej Pietruszczak Konspekt do wykładu z Logiki I (z dnia 24.11.2006) Poprawność rozumowania. Wynikanie Na wykładzie, na którym omawialiśmy przedmiot logiki, powiedzieliśmy, że pojęcie logiki wiąże się
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 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
Wykład 4. Określimy teraz pewną ważną klasę pierścieni.
Wykład 4 Określimy teraz pewną ważną klasę pierścieni. Twierdzenie 1 Niech m, n Z. Jeśli n > 0 to istnieje dokładnie jedna para licz q, r, że: m = qn + r, 0 r < n. Liczbę r nazywamy resztą z dzielenia
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
0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.
Wykłady z Analizy rzeczywistej i zespolonej w Matematyce stosowanej Wykład ELEMENTY LOGIKI ALGEBRA BOOLE A Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek
Logika. Michał Lipnicki. 18 listopada Zakład Logiki Stosowanej UAM. Michał Lipnicki Logika 18 listopada / 1
Logika Michał Lipnicki Zakład Logiki Stosowanej UAM 18 listopada 2012 Michał Lipnicki Logika 18 listopada 2012 1 / 1 Wstęp Materiały na dzisiejsze zajęcia zostały opracowane na podstawie pomocy naukowych
Wstęp do logiki. Semiotyka cd.
Wstęp do logiki Semiotyka cd. Gramatyka kategorialna jest teorią formy logicznej wyrażeń. Wyznacza ją zadanie sporządzenia teoretycznego opisu związków logicznych takich jak wynikanie, równoważność, wzajemna
JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 29 czerwca Imię i Nazwisko:...
JEZYKOZNAWSTWO I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 29 czerwca 2015 Imię i Nazwisko:............................................................... DZIARSKIE SKRZATY Wybierz
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
WYKŁAD 3: METODA AKSJOMATYCZNA
METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ WYKŁAD 3: METODA AKSJOMATYCZNA III rok kognitywistyki UAM, 2016 2017 Plan na dziś: 1. Przypomnimy, na czym polega aksjomatyczna metoda dowodzenia twierdzeń.
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.
Wstęp do Matematyki (4)
Wstęp do Matematyki (4) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Liczby kardynalne Jerzy Pogonowski (MEG) Wstęp do Matematyki (4) Liczby kardynalne 1 / 33 Wprowadzenie
Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu.
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu. 1 Logika Klasyczna obejmuje dwie teorie:
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
Podstawy logiki praktycznej
Podstawy logiki praktycznej Wykład 3: Implikowanie konwersacyjne Podstawy argumentacji Dr Maciej Pichlak Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa maciej.pichlak@uwr.edu.pl Wynikanie pragmatyczne
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
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
Przykładowe zadania z teorii liczb
Przykładowe zadania z teorii liczb I. Podzielność liczb całkowitych. Liczba a = 346 przy dzieleniu przez pewną liczbę dodatnią całkowitą b daje iloraz k = 85 i resztę r. Znaleźć dzielnik b oraz resztę
Przestrzenie wektorowe
Rozdział 4 Przestrzenie wektorowe Rozważania dotyczące przestrzeni wektorowych rozpoczniemy od kilku prostych przykładów. Przykład 4.1. W przestrzeni R 3 = {(x, y, z) : x, y, z R} wprowadzamy dwa działania:
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ć
Problemy Decyzyjne dla Systemów Nieskończonych
Problemy Decyzyjne dla Systemów Nieskończonych Ćwiczenia 1 17 lutego 2012 Na tych ćwiczeniach zajmiemy się pojęciem well quasi-ordering (WQO) bardzo przydatnym do analizy nieskończonych ciągów. Definicja
dr inż. Ryszard Rębowski 1 WPROWADZENIE
dr inż. Ryszard Rębowski 1 WPROWADZENIE Zarządzanie i Inżynieria Produkcji studia stacjonarne Konspekt do wykładu z Matematyki 1 1 Postać trygonometryczna liczby zespolonej zastosowania i przykłady 1 Wprowadzenie
składa się z m + 1 uporządkowanych niemalejąco liczb nieujemnych. Pomiędzy p, n i m zachodzi następująca zależność:
TEMATYKA: Krzywe typu Splajn (Krzywe B sklejane) Ćwiczenia nr 8 Krzywe Bezier a mają istotne ograniczenie. Aby uzyskać kształt zawierający wiele punktów przegięcia niezbędna jest krzywa wysokiego stopnia.
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
13. Równania różniczkowe - portrety fazowe
13. Równania różniczkowe - portrety fazowe Grzegorz Kosiorowski Uniwersytet Ekonomiczny w Krakowie rzegorz Kosiorowski (Uniwersytet Ekonomiczny 13. wrównania Krakowie) różniczkowe - portrety fazowe 1 /
Uzupełnienia dotyczące zbiorów uporządkowanych (3 lutego 2011).
Uzupełnienia dotyczące zbiorów uporządkowanych (3 lutego 2011). Poprzedniczka tej notatki zawierała błędy! Ta pewnie zresztą też ; ). Ćwiczenie 3 zostało zmienione, bo żądałem, byście dowodzili czegoś,
Maria Romanowska UDOWODNIJ, ŻE... PRZYKŁADOWE ZADANIA MATURALNE Z MATEMATYKI
Maria Romanowska UDOWODNIJ, ŻE... PRZYKŁADOWE ZADANIA MATURALNE Z MATEMATYKI Matematyka dla liceum ogólnokształcącego i technikum w zakresie podstawowym i rozszerzonym Z E S Z Y T M E T O D Y C Z N Y Miejski
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ć
III rok kognitywistyki UAM,
METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ WYKŁAD 14: POWTÓRKA III rok kognitywistyki UAM, 2016 2017 Dzisiejszy wykład w całości poświęcony będzie omówieniu przykładowych zadań, podobnych do
1. Liczby naturalne, podzielność, silnie, reszty z dzielenia
1. Liczby naturalne, podzielność, silnie, reszty z dzielenia kwadratów i sześcianów przez małe liczby, cechy podzielności przez 2, 4, 8, 5, 25, 125, 3, 9. 26 września 2009 r. Uwaga: Przyjmujemy, że 0 nie
Dwa równania kwadratowe z częścią całkowitą
Dwa równania kwadratowe z częścią całkowitą Andrzej Nowicki Wydział Matematyki i Informatyki Uniwersytet M. Kopernika w Toruniu anow @ mat.uni.torun.pl 4 sierpnia 00 Jeśli r jest liczbą rzeczywistą, to
Uwaga 1.2. Niech (G, ) będzie grupą, H 1, H 2 < G. Następujące warunki są równoważne:
1. Wykład 1: Produkty grup. Produkty i koprodukty grup abelowych. Przypomnijmy konstrukcje słabych iloczynów (sum) prostych i iloczynów (sum) prostych grup znane z kursowego wykładu algebry. Ze względu
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
Wstęp do logiki. Klasyczny Rachunek Predykatów I
Wstęp do logiki Klasyczny Rachunek Predykatów I KRZ jest teorią stanowiącą wstępną część logiki formalnej, część zakładaną przez inne teorie. Przypomnijmy, jest on teorią związków logicznych między zdaniami
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