Zajęcia z krytycznego myślenia Praktyczna logika i krytyczne myślenie
|
|
- Damian Gajewski
- 9 lat temu
- Przeglądów:
Transkrypt
1 Zajęcia z krytycznego myślenia Praktyczna logika i krytyczne myślenie O czym będzie: Logika to nauka o sposobach jasnego i ścisłego formułowania myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń 1) sposoby jasnego i ścisłego formułowania myśli 2) reguły poprawnego rozumowania i wyciągania trafnych wniosków 3) sposoby skutecznego argumentowania i uzasadniania twierdzeń 4) zasady racjonalnej dyskusji nacisk na praktykę, w każdym z tych punktów można dodać przymiotnik praktyczne ; szczególne znaczenie w praktyce demokracji i większości zawodów. W polskiej literaturze: logika praktyczna, logika pragmatyczna W angielskiej: logika nieformalna, krytyczne myślenie (szerzej: postawa racjonalna) akademickie działy: logika, logika nieformalna, teoria argumentacji, retoryka, komunikacja sztuka skutecznej argumentacji (perswazji, przekonywania) to dziedzina znacznie szersza niż sztuka logicznego myślenia Blaise Pascal: argumenty mogą się odwoływać do umysłu i serca w dzisiejszej terminologii do rozumu i emocji. Te odwołujące się do emocji są skuteczniejsze (w skrajnej wersji: demagogia, sofistyka, chwyty erystyczne, propaganda, narracje, populizm) Argumentacja logiczna (odwołująca się do rozumu) vs argumentacja retoryczna (odwołująca się do emocji i przekonań), audiences, opponents Każda ma elementy retoryczne, apelujące do emocji (choćby styl wypowiedzi), ale warto wysublimować argumentację odwołującą się wyłącznie do rozumu (poznanie naukowe, racjonalne działanie), czysto logiczną argumentację, good reasoning I tym przede wszystkim się zajmiemy (sprawy języka, jasne formułowanie myśli później) Terminologia: różna w literaturze angielskiej i polskiej Argument a set of reasons offered to support a claim (zestaw racji mających uzasadnić jakąś tezę), a communication act, a piece of reasoning, fragment rozumowania złożony z twierdzenia (wniosku) oraz racji ( argumentów ) wspierających to twierdzenia (pol. wnioskowanie, argumentacja)
2 Schemat argumentacji: przesłanki, wniosek (lub konkluzja) (premises, conclusion) przesłanki związane (linked) i równoległe (convergent); argumentacja prosta i argumentacja złożona Strong argument: acceptable premises and conclusion follows (follows: różne poglądy! ciągle!): jeden z takich (najbardziej rozpowszechniony): a) Deductively valid (neccessarily follows, logical consequence) b) Inductively valid premises make a conclusion likely! (tu brakuje akceptowalnej teorii, są tylko różne próby stosowania rachunku prawdopodobieństwa, Bayesian reasoning); premises relevant to the conclusion and sufficient, to establish it as probable, enough suport??? Hidden premises, hidden conclusion: rekonstrukcja argumentu, metoda diagramów W podręcznikach angielskich: koncentracja na debacie, odwoływanie się do aktualnych przykładów, good reasoning czyli przede wszystkim apelowanie do rozumu, a więc logika (retoryka o tyle, o ile należy umieć ją wykrywać, i zwalczać, i nie ulegać argumentom skierowanym do emocji). Specyfika: odwoływanie się do bieżących przykładów, debaty publicznej, demokracji W polskich podręcznikach (podejście bardziej sformalizowane (naukowe), oparte na logice formalnej, formalne definicje, sądy, zdania, nazwy, zakres, treść, konotacja, denotacja), obejmujące czynności poznawcze (logika w nauce) Wnioskowanie proces myślowy, na podstawie uznania przesłanek a) Subiektywnie pewne (logiczne, dedukcyjne) schematy wnioskowania b) Subiektywnie niepewne (uznawanie w stopniu p) tutaj: prawdopodobieństwo statystyczne, teoretyczne wzory na prawdopodobieństwo w świetle wiedzy W P(H/W)), Wnioskowanie entymematyczne = hidden premises W obu ujęciach dużą część (duży fragment kursu) poświęca się rozumowaniom (wnioskowaniom, argumentom) dedukcyjnym, a więc: osiągnięcia logiki formalnej, te które wydają się najbardziej praktyczne (sylogizmy, zakresy pojęciowe, schematy wnioskowania, rachunek zdań, ale raczej już bez rachunku predykatów i bez spojrzenia na całość) Wielkim problemem jest fakt, że nikt nie stosuje logiki formalnej w codziennych rozumowaniach, formalne ujęcie kłóci się z praktyką; logika dedukcyjna rzadko występuję w praktyce; Dlatego zaczniemy od prezentacji osiągnięć logiki formalnej.
3 Literatura: K. Ajdukiewicz, Logika pragmatyczna, PWN, Warszawa L.A. Groarke, C.W. Tindale, Good Reasoning Matters! (A constructive approach to critical thinking), (wyd. 5), Oxford University Press, Toronto A. Kisielewicz, Sztuczna inteligencja i logika (Podsumowanie przedsięwzięcia naukowego), (wyd. 2), Warszawa WNT A. Kisielewicz, A new approach to argumentation and reasoning based on mathematical practice, Proc. of the 1st European Conference on Argumentation: Argumentation and Reasoned Action. D.Q. McInerny, Being Logical (A Guide to Good Thinking), Random House Trade Paperbacks, New York W.V.O. Quine, Filozofia Logiki, PWN, Warszawa M. Tokarz, Argumentacja, perswazja, manipulacja (Wykłady z teorii komunikacji), GWP Gdańsk K. Trzęsicki, Logika. Nauka i sztuka., wydanie III elektoniczne ( )
4 PEŁNA FORMALIZACJA LOGIKI projekt matematyczno- filozoficzny 1. Wbrew temu co piszą w podręcznikach i wykładają nieprzydatny w praktyce rozumowania, ale: a. olbrzymi wpływ na rozwój technologii komputerowej; b. trzeba poznać, żeby móc uniknąć błędów związanych z mitem, że formalna logika jest podstawą rozumowań, i żeby umieć odpierać argumenty bazujące na tym micie; c. piękna idea, filozoficzne znaczenie; 2. Za przyczynę kłopotów z poprawnym rozumowaniem (utrzymujące się fałszywe opinie, bezowocne dyskusje) uznano nieścisłość języka naturalnego, brak reguł poprawnego rozumowania; Także w matematyce (kryzys XIX w.) Lekarstwo: A. całkowite uściślenie języka B. odkrycie ścisłych reguł wnioskowania (pełny system) Historycznie z różną motywacją i meandrami; oparte na osiągnięciach logiki starożytnej i późniejszej (sylogizmy, rachunek zdań, A lub nie- A, różne prawa i schematy wnioskowania) (tu szerzej omówić) ja to przedstawię jako końcowy rezultat (po części inspirowane Filozofią logiki Quine a, ale nastawione na praktykę)
5 A. JĘZYK 1. Podstawowe założenie tylko zdania logiczne, prawdziwe lub fałszywe (później rozważymy ewentualne rozluźnienie tego założenia) 2. Znaczenie spójników: i, lub, jeśli to, nieprawda że (spójniki logiczne, historycznie wielka rola, także w definicjach matematycznych) tabelki: i lub jeśli to nieprawda, że p q p q p q p q p q p q p ~p koniunkcja alternatywa implikacja negacja lub w krótszym zapisie ( tabliczek mnożenia ) p ~p PRZYKŁADY: Świeci słońce i pada deszcz Poszedł do kina lub poszedł do teatru Jeśli grzyb ma blaszki, to nie jest borowikiem Jeśli 2+2=3, to ja jestem papieżem Jeśli Mars jest większy od Wenus, to stolicą Manitoby jest Vancouver. ekstensjonalność Najlepsza konwencja przy złożeniu dwuwartościowości i ekstensjonalności (w matematyce: dowodzenie) w praktyce, jeśli to jest intensjonalny (później) zupełność
6 DYGRESAJA: RACHUNEK ZDAŃ: p ~p ( p q ~p ) q p q) ((r q (r q)) metoda zero- jedynkowa (matrycowa) prawa logiki vs reguły wnioskowania p q, p, modus ponens q ((p q) p q) p q, ~p q reguła rezolucji system aksjomatyczny jedna z aksjomatyzacji rachunku zdań: A (B A) (A (A B)) (A B) (A B) ((B C) (A C)) A B A A B B (A B) ((A C) (A B C)) A A B B A B (A B) ((B C) (A B C)) (A B) (~B ~A) (A ~~A) (~~A A)
7 RACHUNEK KWANTYFIKATORÓW (PREDICATE CALCULUS) Do rachunku zdań dodajemy: 1. Wyrażenia zdaniowe (predykaty): 𝑃 𝑥, 𝑅 𝑥, 𝑦, 𝑄(𝑥, 𝑦, 𝑧) zmienne 𝑥, 𝑦, 𝑧, 𝑥!, itd. x jest biały, x jest lekarzem, x jest koloru y, x jest synem ojca y i matki z przykłady z matematyki: 𝑥 𝑦( 𝑥 + 𝑦! = 𝑥! + 2𝑥𝑦 + 𝑦! ) (Quine rozważa różne kategorie gramatyczne, ale nam to niepotrzebne ) 2. stałe nazwy konkretnych obiektów (1, 2, Londyn, Messi, ) zdania 3. kwantyfikatory: 𝑥, 𝑥, formuły zdaniowe, zdania a. (w matematyce: termy, wyrażenia funkcyjne, ale niepotrzebne) 4. Sposoby formalizacji zdań nieścisłych, zaskakująco dużo można wyrazić w takim ścisłym języku (projekt CYC!) Przykład z matematyki: Istnieje nieskończenie wiele par liczb pierwszych bliźniaczych Liczba pierwsza: taka która nie ma właściwych dzielników (innych niż ona sama lub 1), na przykład, 2,3,5,7, (ale nie 4 i nie 6, bo dzielą się przez 2). Liczby pierwsze bliźniacze, to liczby pierwsze różniące się o 2; na przykład: 5 i 7, 11 i 13, itd. Schemat formalnego zapisu: 𝑁 𝑥(𝑥 > 𝑁 𝑃 𝑥 𝑃 𝑥 + 2 ) Zamiast 𝑃 𝑥 𝑑(𝑑 𝑥 (𝑑 = 1) (𝑑 = 𝑥) ) 𝑁 𝑥( 𝑑(𝑑 𝑥 (𝑑 = 1) (𝑑 = 𝑥) ) 𝑃 𝑥 + 2 ) 𝑁 𝑥( 𝑑(𝑑 𝑥 𝑑 = 1 𝑑 = 𝑥 ) 𝑑(𝑑 𝑥 + 2 𝑑 = 1 𝑑 = 𝑥 + 2 )) Przykład z CYC: Każdy człowiek ma dwie nogi 𝑥(𝐻𝑢𝑚𝑎𝑛 𝑥 𝑇𝑤𝑜𝐿𝑒𝑔𝑠 𝑥 ) nieprawdziwe jak wyrazić, że prawie każdy 𝑥(𝑇𝑦𝑝𝑖𝑐𝑎𝑙𝐻𝑢𝑚𝑎𝑛 𝑥 𝑇𝑤𝑜𝐿𝑒𝑔𝑠 𝑥 ) Przykład z sali każde zdanie da się zapisać Prawa rachunku kwantyfikatorów (przykłady): Prawa de Morgana ~ 𝑥𝑃 𝑥 𝑥(~𝑃(𝑥)) ~ 𝑥𝑃 𝑥 𝑥(~𝑃(𝑥)) prawo subalternacji 𝑥𝑃 𝑥 𝑥𝑃(𝑥) przestawienie kwantyfikatorów 𝑥 𝑦𝑃 𝑥, 𝑦 𝑦 𝑥𝑃 𝑥, 𝑦
8 1. Nie ma mechanicznej metody sprawdzania czy dana formuła rachunku zdań jest prawem logicznym (mówi o tym odpowiednie twierdzenie!), ale 2. Istnieje pełna aksjomatyzacja zestaw praw logicznych i reguł wnioskowania, taki, że każde rozumowanie matematyczne (dedukcyjne) da się sprowadzić do wielokrotnego stosowania tych praw i reguł 3. Dokładniej: każde twierdzenie matematyczne, każdy wniosek logiczny da się udowodnić wyłącznie przy pomocy tych praw i reguł (dowód sformalizowany) 4. Twierdzenie Gödla o zupełności: implikacja semantyczna i syntaktyczna Główne osiągniecia logiki (dedukcji), to 1. Metoda matrycowa sprawdzania czy wyrażenie rachunku zdań jest tautologią (prawem logicznym) 2. Odkrycie że prawa logiczne i schematy poprawnego wnioskowania to dwie strony tego samego medalu 3. Pełna aksjomatyzacja logiki klasycznej Są też inne mniejsze techniczne osiągnięcia, wielkie twierdzenia logiki matematycznej, i wielkie zastosowania w technologii komputerowej Podział na wnioskowania dedukcyjne vs indukcyjne różna terminologia, ale: wynikanie w sposób konieczny vs wniosek tylko uprawdopodobniony wniosek zawarty w przesłankach vs wniosek rozszerza wiedzę zawartą w przesłankach, uszczegółowianie vs uogólnianie da się sprowadzić do schematów logiki formalnej vs w grę wchodzi prawdopodobieństwo dla wnioskowań indukcyjnych nie ma żadnej powszechnie akceptowanej teorii, tylko próby i strzępy, w szczególności, nie ma kryteriów stopnia uprawdopodobnienia
9 Logika formalna (schematy wnioskowań dedukcyjnych) nie są stosowane w praktyce Logika formalna to przedsięwzięcie matematyczno- filozoficzne, formalny model matematyki, na bazie którego można udowodnić szereg (zaskakujących) twierdzeń o zasięgu matematycznych rozumowań Jego istotą jest to, że matematyczne rozumowanie da się sprowadzić do ciągu wnioskowań według ustalonych najprostszych schematów (redukcja, zastąpienie, rozmiar redukcji) W praktyce rozumowań matematycy prawie w ogóle nie posługują się formalnymi schematami rozumowania i logiką formalną (a jeśli wyjątkowo posługują się, to w czysto matematycznych kontekstach, dotyczących głównie jasnego wyrażenia skomplikowanych twierdzeń) Porażka logicznego podejścia w sztucznej inteligencji (niedostatecznie jeszcze rozpoznana) Jeśli ktoś nie widzi, że dany wniosek jest logiczny, że nie ma innej możliwości, to nie przekona go, że wnioskowanie podpada pod niezawodny schemat inferencyjny.
10 PRZYKŁAD: Wybory 2015: PO zdobędzie tyle głosów, że uzyska co najmniej jeden mandat w każdym okręgu Pierwszy kandydat na liście dostaje najwięcej głosów na liście Grzegorz Schetyna jest pierwszy na liście PO w okręgu kieleckim ================================================= Grzegorz Schetyna uzyska mandat
11 Centralny problem: jak wyciągać trafne logiczne wnioski? Cała gama różnych problemów: (Jakie czynności umysłowe zdolność, sztuka czy wiedza? Prezentacja mająca na celu przekonanie innych do wniosku jakie powinna mieć cechy? (na piśmie, w mowie)? Jak oceniać prawidłowość wnioskowania? Jak przekonywać? à retoryka. Jaki jest związek z innymi czynnościami poznawczymi? à metodologia nauki. ) Skoncentrujemy się na jednym: Wnioskowanie (argumentacja) zestaw racji mających uzasadnić jakąś tezę, fragment rozumowania złożony z twierdzenia (wniosku) oraz racji ( argumentów ) wspierających to twierdzenia (ang. argument a set of reasons offered to support a claim). Jest to definicja projektująca (umowna, na użytek tych rozważań), ponieważ te słowa w języku naturalnym występują także w innych znaczeniach (czynność, przekonywanie, ang. quarrel, reason, abstract, communication act) inne słowa w tym kontekście: rozumowanie (różne czynności poznawcze: wnioskowanie, uzasadnianie, dowodzenie, wyjaśnianie, sprawdzanie), różne definicje projektujące; Schemat argumentacji: przesłanki, wniosek (konkluzja) (premises, conclusion) przesłanki związane (linked) i równoległe (convergent); argument prosty i argumenty złożone Rozpoznawanie argumentacji, słowa charakterystyczne: więc, a zatem, stąd wynika, ponieważ, jeśli, PRZYKŁADY: DIAGRAMY ARGUMENTACJI PRZYKŁAD 1. Jasne i logiczne myślenie jest ważną umiejętnością, więc wszyscy studenci powinni zaliczać kursy logicznego myślenia. [P: Jasne i logiczne myślenie jest ważną umiejętnością,] więc [C: wszyscy studenci powinni zaliczać kursy logicznego myślenia.] P = Jasne i logiczne myślenie jest ważną umiejętnością, C = wszyscy studenci powinni zaliczać kursy logicznego myślenia. P C
12 PRZYKŁAD 2. Wnioskowanie Sherlocka Holmesa: Zbrodnia została popełniona przez kogoś z domowników. Po pierwsze, okno w salonie jest otwarte, ale nie ma pod nim żadnych śladów, mimo, że ziemia jest miękka po deszczu. Po drugie, zamek w kasecie jest nieuszkodzony. Otworzono ją kluczem, który był schowany za zegarem. I wreszcie, pies był spokojny i nie szczekał. [C: Zbrodnia została popełniona przez kogoś z domowników]. Po pierwsze, [P1: okno w salonie jest otwarte, ale nie ma pod nim żadnych śladów, mimo, że ziemia jest miękka po deszczu.] Po drugie, [P2: zamek w kasecie jest nieuszkodzony. Otworzono ją kluczem, który był schowany za zegarem]. I wreszcie, [P3: pies był spokojny i nie szczekał.] C = Zbrodnia została popełniona przez kogoś z domowników. P1 = okno w salonie jest otwarte, ale nie ma pod nim żadnych śladów, mimo, że ziemia jest miękka po deszczu. P2 = zamek w kasecie jest nieuszkodzony. Otworzono ją kluczem, który był schowany za zegarem. P3 = pies był spokojny i nie szczekał. P1 P2 P3 C Przesłanki równoległe (niezależne) PRZYKŁAD 3. Takiego morderstwa mógł dokonać tylko ktoś bardzo silny. George jest słaby. Więc George odpada. [P1: Takiego morderstwa mógł dokonać tylko ktoś bardzo silny]. [P2: George jest słaby]. Więc [C: to nie George popełnił zbrodnię]. P1 + P2 C Przesłanki związane
13 PRZYKŁAD 4. Wnioskowanie Sherlocka Holmesa: Zbrodnia została popełniona przez kogoś z domowników. Po pierwsze, okno w salonie jest otwarte, ale nie ma pod nim żadnych śladów, mimo, że ziemia jest miękka po deszczu. Po drugie, zamek w kasecie jest nieuszkodzony. Otworzono ją kluczem, który był schowany za zegarem. I wreszcie, pies był spokojny i nie szczekał. ( ) Więc albo był to George albo John. Takiego morderstwa mógł dokonać tylko ktoś bardzo silny. A ponieważ George jest słaby, więc mordercą jest John. [P1: Zbrodnia została popełniona przez kogoś z domowników]. Po pierwsze, [P2: okno w salonie jest otwarte, ale nie ma pod nim żadnych śladów, mimo, że ziemia jest miękka po deszczu.] Po drugie, [P3: zamek w kasecie jest nieuszkodzony. Otworzono ją kluczem, który był schowany za zegarem]. I wreszcie, [P4: pies był spokojny i nie szczekał.] ( ) Więc [P5: albo był to George albo John]. [P6: Takiego morderstwa mógł dokonać tylko ktoś bardzo silny]. A ponieważ [P7: George jest słaby], więc [C: mordercą jest John.]. P2 P3 P4 P1 P6 + P7 P5 + PU PU: George nie popełnił morderstwa Argument złożony z niejawną przesłanką PU C
14 WYNIKANIE (entailment): Zdanie α wynika dedukcyjnie (w sposób konieczny, jest logicznym wnioskiem) ze zdań α1, α2,..., αn wtedy i tylko wtedy, gdy nie jest możliwe, by wszystkie zdania α1, α2,..., αn były prawdziwe, a zdanie α było fałszywe. Zdanie α wynika indukcyjnie (w sposób prawdopodobny, jest indukcyjnym wnioskiem) ze zdań α1, α2,..., αn wtedy i tylko wtedy, gdy prawdziwość zdań α1, α2,..., αn czyni prawdziwość zdania α wysoce prawdopodobną (dostatecznie uprawdopodabnia prawdziwość zdania α). W podręcznikach, słowo wynika bez przydawki stosuje się do wynikania dedukcyjnego. Tymczasem takie wynikanie jest rzadkie w praktycznych rozumowaniach dotyczących świata realnego, więc dalej będziemy używać słowa wynika bez przydawki w sensie słabszym, ogólniejszym mając na myśli wynikanie dedukcyjne lub indukcyjne. Argumentacja (wnioskowanie) są konkluzywne, jeśli wniosek wynika z przesłanek (dedukcyjnie lub indukcyjnie; ang. valid argument) Argumentacja (wnioskowanie) są poprawne, jeśli są konkluzywne i jeśli przesłanki są akceptowalne (ang. strong argument) (??? audytorium) Dwie uwagi: o wnioskowanie może być hipotetyczne, gdy przyjmujemy tylko prowizoryczne założenie, że przesłanki są prawdziwe (wtedy interesuje nas jedynie konkluzywność); tzw. dedukowanie; okres warunkowy o odróżnienie wnioskowania i uzasadniania (w tym drugim rozpoczynamy od wniosku) odróżnienia wnioskowania i wyjaśniania (w tym drugim wniosek jest uznanym faktem, usiłujemy odkryć logiczne powiazania)
15 REKONSTRUKCJA ARGUMENTACJI OCENA POPRAWNOŚCI (akceptowalne przesłanki + konkluzywność) Nie zawsze słowa charakterystyczne dla wnioskowania są obecne; Niejawne (ukryte) przesłanki i niejawne konkluzje (wnioskowanie entymematyczne) Akceptowalność przesłanek: zgadzamy się, że są prawdziwe lub bardzo prawdopodobne, rozsądne jest założyć ich prawdziwość. Konkluzywność: trudno wyobrazić sobie sytuację, że przesłanki są prawdziwe, a wniosek jest fałszywy, jeśli nawet jesteśmy w stanie wyobrazić sobie taką sytuację, to wydaje nam się ona skrajnie lub mało prawdopodobna. o warunek konieczny konkluzywności relewancja (czy przesłanka ma znaczenie dla wniosku?) PRZYKŁAD I: O zapinaniu pasów bezpieczeństwa: Sprawa jest jasna. Bez przerwy zdarzają się wypadki, w których pasy ewidentnie ratują ludziom życie lub chronią przed ciężkimi obrażeniami. Stosunkowo niewiele jest natomiast przykładów, gdzie można powiedzieć, że ktoś uniknął ciężkich obrażeń dzięki temu, że nie miał przypiętych pasów. Niejawna konkluzja: NK = Pasy bezpieczeństwa należy zapinać. O zapinaniu pasów bezpieczeństwa: [NK: Sprawa jest jasna. Pasy bezpieczeństwa należy zapinać.]. [P1: Bez przerwy zdarzają się wypadki, w których pasy ewidentnie ratują ludziom życie lub chronią przed ciężkimi obrażeniami]. [P2: Stosunkowo niewiele jest natomiast przykładów, gdzie można powiedzieć, że ktoś uniknął ciężkich obrażeń dzięki temu, że nie miał przypiętych pasów.] Przesłanki związane??? (P1 wydaje się być niezależna, ale P2 związana z P1.) Przesłanki akceptowalne (wiarygodne). Relewancja: OK Konkluzywność: raczej TAK Ale można wskazać taką możliwość: ludzie nie mający zapiętych pasów nie informują o tym fakcie, albo producenci pasów blokują taką informację UWAGA: Przesłanki akceptujemy, bo wydają się nam wiarygodne, ale gdybyśmy uzyskali nową informację, wskazującą na to, że jedna z przesłanek jest fałszywa, jesteśmy gotowi zmienić zdanie na temat wnioskowania i wniosku.
16 PRZYKŁAD II: Palenie marihuany nie powinno być nielegalne, bo badania pokazują, że jest ona w sumie mniej szkodliwa niż alkohol. Niejawna przesłanka NP [P1: badania pokazują, że marihuana jest w sumie mniej szkodliwa niż alkohol.] [NP: używki, które są mniej szkodliwe niż alkohol powinny być legalne] więc [W: Palenie marihuany powinno być legalne] Przesłanki związane. Przesłanki akceptowalne (wiarygodne). Relewancja: OK Konkluzywność: TAK Można nawet to zrekonstruować jako wnioskowanie dedukcyjne zgodne z regułą odrywania (modus ponens): A, A B ======= B [P1: marihuana jest mniej szkodliwa niż alkohol.] [NP: x(jeśli x jest używką mniej szkodliwą niż alkohol, to x powinna być legalna)] [reguła podstawiania: x = marihuana] [jeśli marihuana jest używką mniej szkodliwą niż alkohol, to powinna być legalna)] więc [W: marihuana powinna być legalna] Ø W tej postaci wniosek jest konieczny, o ile tylko przesłanki są prawdziwe. Jednakże, gdy spojrzeć na oryginalne wnioskowanie z puntu widzenia analizy możliwości (czy jest rozsądna możliwość, że przesłanki (jawne) są prawdziwe, a wniosek fałszywy) = czy możliwe jest, że badania pokazują, że marihuana jest w sumie mniej szkodliwa niż alkohol, ale mimo to powinna być nielegalna Bo, na przykład, uzależnia bardziej, prowadzi do twardszych narkotyków, lub coś w tym stylu ZADANIE DOMOWE: znaleźć w prasie lub w literaturze przykład argumentacji (wnioskowań), wyodrębnić przesłanki i wnioski; naszkicować diagram argumentacji, ocenić poprawność (przykład ma być w elektronicznym pliku tekstowym, z podanym źródłem; diagram może być na kartce)
17 Nonverbal arguments, symbolic references and metaphors (pomijamy) Meaning (znaczenie zdań, jasność wypowiedzi, osobne zagadnienie, później) Bias and Perspective (Brak obiektywizmu, stronniczość, tendencyjność vs zaangażowanie, punkt widzenia ciągłe spektrum od cechy nieakceptowalnej w rzetelnej arumentacji do zrozumiałej i usprawiedliwionej) Vested intrest, conflict of interests (strona w konflikcie, żywotne zainteresowanie, konflikt interesów) (Przykład: dyskusja o trybunale Konstytucyjnym) Detecting illegitimate biases (wykrywanie nieusprawiedliwionej stronniczości, przechyłu ) o Slanting by omission ( wybiórczość faktów, pomijanie niewygodnych, wybijanie na pierwszy plan wygodnych) o Slanting by distortion (zniekształcenie faktów, przesada, podkolorowywanie) (Przykład: Kornel Morawiecki powiedział w Sejmie, że nad prawem jest dobro narodu, a w niektórych mediach referują to, że KM powiedział, że nad prawem jest wola narodu jedno słowo, a całkowicie zmienia sens) Trzystopniowa metoda wykrywania manipulacji: o Czy jest problem możliwego zaangażowania argumentującego po jednej stronie? o Czy możliwa jest stronniczość? Czy można podejrzewać o manipulację? o Jeśli tak, zapoznaj się z argumentami przeciwników (u źródła). Difficult cases Balance your argument
18 PRZYKŁAD: Gdy negocjujesz z człowiekiem, który wziął zakładników, jesteś zobowiązany w negocjacjach iść na ustępstwa. Może to być niewiele, może to być dużo, tak czy owak musi to być coś. Raz dając coś porywaczowi nagradzasz jego działanie. Jaka jest więc jego zwykła i spontaniczna reakcja? Czyni to kolejny raz, sądząc, że w ten sposób osiągnie coś, czego nie mógł dostać zwykłymi sposobami. Oto dlaczego nie wolno negocjować z terrorystą. [KT] Ø Metoda wynajdywania fragmentów tekstu odpowiadających twierdzeniom: najpierw wyodrębnij jasnych stwierdzenia. A. Podzielenie tekstu na bloki stwierdzeń Gdy negocjujesz z człowiekiem, który wziął zakładników, jesteś zobowiązany w negocjacjach iść na ustępstwa. Może to być niewiele, może to być dużo, tak czy owak musi to być coś. Raz dając coś porywaczowi nagradzasz jego działanie. Jaka jest więc jego zwykła i spontaniczna reakcja? Czyni to kolejny raz, sądząc, że w ten sposób osiągnie coś, czego nie mógł dostać zwykłymi sposobami. Oto dlaczego nie wolno negocjować z terrorystą
19 B. Zastąpienie stwierdzeń skróconymi formami: Gdy negocjujesz musisz coś dać Dając nagradzasz To skłania do kolejnego razu Oto dlaczego nie wolno negocjować z terrorystą C. Diagram argumentacji Gdy negocjujesz musisz coś dać + Dając nagradzasz Gdy negocjujesz, nagradzasz + Gdy nagradzasz, skłaniasz do następnego razu Skłanianie do czynów terrorystycznych jest złe + Negocjowanie skłania do ponownego aktu terroru nie wolno negocjować z terrorystą
20 D. Formalizacja argumentacji A B + B C A C + C D Skłanianie do T jest złe + A skłania do T A prowadzi do zła E. Diagram uproszczony (co z czego wynika) P1: Gdy negocjujesz musisz coś dać P2 Dając nagradzasz W1: To skłania do kolejnego razu W: nie wolno negocjować z terrorystą Analiza możliwości: czy możliwe jest że, dwie przesłanki (P1, P2) są prawdziwe, a wniosek W1 fałszywy? Owszem, jeśli na przykład po nagrodzeniu zabijasz terrorystę. Wnioskowanie nie jest więc całkiem przekonujące.
Zajęcia z krytycznego myślenia Praktyczna logika i krytyczne myślenie
Zajęcia z krytycznego myślenia Praktyczna logika i krytyczne myślenie Motto: Trzech logików wchodzi do baru. Barman pyta: Czy wszyscy będziecie pili piwo? Pierwszy odpowiada: Nie wiem. Drugi odpowiada:
CRITICAL THINKING. Argumentacja logiczna
CRITICAL THINKING Argumentacja logiczna Argumentacja prosta zestaw racji mających uzasadnić jakąś tezę, fragment rozumowania złożony z twierdzenia (wniosku) oraz racji ( argumentów ) wspierających to twierdzenia
Zasady krytycznego myślenia (2)
Zasady krytycznego myślenia (2) Andrzej Kisielewicz Wydział Matematyki i Informatyki 2017 Argumentacja Argumentacja czynność uzasadniania jakiegoś twierdzenia, zwanego wnioskiem lub tezą uzasadnianą, przy
Zasady krytycznego myślenia (1)
Zasady krytycznego myślenia (1) Andrzej Kisielewicz Wydział Matematyki i Informatyki 2017 Przedmiot wykładu krytyczne myślenie vs logika praktyczna (vs logika formalna) myślenie jasne, bezstronne, oparte
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.
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)
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
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 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
ć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
Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0
ĆWICZENIE 1 Klasyczny Rachunek Zdań (KRZ): zdania w sensie logicznym, wartości logiczne, spójniki logiczne, zmienne zdaniowe, tabele prawdziwościowe dla spójników logicznych, formuły, wartościowanie zbioru
Wstęp do logiki. Klasyczny Rachunek Zdań 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ę
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
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
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
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
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
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
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ę
Zasady krytycznego myślenia (1)
Zasady krytycznego myślenia (1) Andrzej Kisielewicz Wydział Matematyki i Informatyki 2019 Outline Wprowadzenie O logice rys historyczny Dedukcja-indukcja Argumentacja podejście podręczników krytycznego
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
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ć.
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
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
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
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
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
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
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
Logika formalna SYLABUS A. Informacje ogólne
Logika formalna SYLABUS A. Informacje ogólne studiów Poziom kształcenia Profil studiów Forma studiów Rodzaj przedmiotu Rok studiów /semestr Wymagania wstępne Liczba godzin zajęć Założenia i cele przedmiotu
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
Konsekwencja logiczna
Konsekwencja logiczna Niech Φ 1, Φ 2,..., Φ n będa formułami logicznymi. Formuła Ψ wynika logicznie z Φ 1, Φ 2,..., Φ n jeżeli (Φ 1 Φ 2 Φ n ) Ψ jest tautologia. Formuły Φ 1, Φ 2,..., Φ n nazywamy założeniami
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
Wykład 11b. System aksjomatyczny Klasycznego Rachunku Predykatów. Aksjomaty i reguły inferencyjne
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 11b. System aksjomatyczny Klasycznego Rachunku Predykatów. Aksjomaty i reguły inferencyjne Istnieje wiele systemów aksjomatycznych
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
WSTĘP ZAGADNIENIA WSTĘPNE
27.09.2012 WSTĘP Logos (gr.) słowo, myśl ZAGADNIENIA WSTĘPNE Logika bada proces myślenia; jest to nauka o formach poprawnego myślenia a zarazem o języku (nie mylić z teorią komunikacji czy językoznawstwem).
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...
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ść
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
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
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
ĆWICZENIE 2. DEF. Mówimy, że formuła A wynika logicznie z formuł wartościowanie w, takie że w A. A,, A w KRZ, jeżeli nie istnieje
ĆWICZENIE 2 Klasyczny Rachunek Zdań (KRZ): wynikanie logiczne, wnioskowanie, niezawodny schemat wnioskowania, wnioskowanie dedukcyjne, równoważność logiczna, iniowalność spójników za mocą formuły. DEF.
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
Filozofia z elementami logiki O czym to będzie?
Filozofia z elementami logiki O czym to będzie? Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Filozofia z elementami logiki Dwa fundamentalne pytania: Czym zajmuje się logika? Czym
Ć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
Zasady krytycznego myślenia (1)
Zasady krytycznego myślenia (1) Andrzej Kisielewicz Wydział Matematyki i Informatyki 2018 Przedmiot wykładu Trzech młodych logików wchodzi do baru. Czy wszystkim podać piwo? pyta barman, próbując domyślić
Rok akademicki: 2017/2018 Kod: HKL s Punkty ECTS: 4. Poziom studiów: Studia I stopnia Forma i tryb studiów: Stacjonarne
Nazwa modułu: Logika Rok akademicki: 2017/2018 Kod: HKL-1-221-s Punkty ECTS: 4 Wydział: Humanistyczny Kierunek: Kulturoznawstwo Specjalność: Poziom studiów: Studia I stopnia Forma i tryb studiów: Stacjonarne
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
Wprowadzenie do logiki O czym to będzie?
Wprowadzenie do logiki O czym to będzie? Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Dwa fundamentalne pytania: Czym zajmuje się logika? Czym my się zajmować będziemy? I póki co
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 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:
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
Podstawy logiki praktycznej
Podstawy logiki praktycznej Wykład 4: Podstawy argumentacji Dr Maciej Pichlak Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa maciej.pichlak@uwr.edu.pl Rekonstrukcja argumentu Jako że każdy człowiek
4 Klasyczny rachunek zdań
4 Klasyczny rachunek zdań Elementy Logiki i Teorii Mnogości 2015/2016 Spis najważniejszych tautologii: (a) p p prawo wyłączonego środka (b) ( p) p prawo podwójnej negacji (c) p q q p (d) p q q p prawo
Monoidy wolne. alfabetem. słowem długością słowa monoidem wolnym z alfabetem Twierdzenie 1.
3. Wykłady 3 i 4: Języki i systemy dedukcyjne. Klasyczny rachunek zdań. 3.1. Monoidy wolne. Niech X będzie zbiorem niepustym. Zbiór ten będziemy nazywać alfabetem. Skończony ciąg elementów alfabetu X będziemy
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
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
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
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.
JÓZEF W. BREMER WPROWADZENIE DO LOGIKI
JÓZEF W. BREMER WPROWADZENIE DO LOGIKI Wydawnictwo WAM Kraków 2006 Spis tre ci Przedmowa Jana Wole skiego 9 Wst p 11 1 Logika i jej rozumienie 17 1.1 Teksty wprowadzaj ce...................... 17 1.1.1
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ść
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
Logika Matematyczna Spójniki logiczne Tautologie Dowodzenie Kwantyfikatory Zagadki. Logika Matematyczna. Marcelina Borcz.
5 marca 2009 Spis treści 1 2 3 4 5 6 Logika (z gr. logos - rozum) zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Logika matematyczna,
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 7 i 8. Aksjomatyczne ujęcie Klasycznego Rachunku Zdań
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykłady 7 i 8. Aksjomatyczne ujęcie Klasycznego Rachunku Zdań 1 Istnieje wiele systemów aksjomatycznych Klasycznego Rachunku
TESTY LOGIKA. redakcja naukowa ZBIGNIEW PINKALSKI
TESTY LOGIKA redakcja naukowa ZBIGNIEW PINKALSKI Warszawa 2012 Spis treści Wykaz skrótów i symboli... 7 Wprowadzenie... 9 Rozdział I Nazwy... 11 Rozdział II Kategorie syntaktyczne... 17 Rozdział III Pytania...
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.
Ogólna metodologia nauk
1. Podział logiki: - semiotyka logiczna - logika formalna - ogólna metodologia nauk Ogólna metodologia nauk 2. Ogólna metodologia nauk zajmuje się metodami (sposobami postępowania) stosowanymi w poznawaniu
(g) (p q) [(p q) p]; (h) p [( p q) ( p q)]; (i) [p ( p q)]; (j) p [( q q) r]; (k) [(p q) (q p)] (p q); (l) [(p q) (r s)] [(p s) (q r)];
Logika 1. Czy następujące sformułowania są zdaniami: (a) Wszystkie koty w Polsce są czarne. (b) Jak to udowodnić? (c) x + y = 7. (d) Jeśli x 2 = y 2, to x = y. (e) Jeśli x = y, to x 2 = y 2. (f) 2 n +
LOGIKA Wprowadzenie. Robert Trypuz. Katedra Logiki KUL GG października 2013
LOGIKA Wprowadzenie Robert Trypuz Katedra Logiki KUL GG 43 e-mail: trypuz@kul.pl 2 października 2013 Robert Trypuz (Katedra Logiki) Wprowadzenie 2 października 2013 1 / 14 Plan wykładu 1 Informacje ogólne
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
Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r.
Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r. OPISU MODUŁU KSZTAŁCENIA (SYLABUS) dla przedmiotu Logika prawnicza na kierunku Prawo I. Informacje ogólne 1. Nazwa modułu kształcenia:
1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.
Elementy logiki i teorii zbiorów. 1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych. Pojęcia pierwotne to najprostsze
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.
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
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ć
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ę
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.
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.
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
Sylabus dla przedmiotu Logika i ogólna metodologia nauk
Sylabus dla przedmiotu Logika i ogólna metodologia nauk 1. Definicja pojęcia logika Wprowadzenie w tematykę przedmiotu (szkic czym jest logika, jak należy ją rozumieć, przedmiot logiki, podział logika
Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 15. Trójwartościowa logika zdań Łukasiewicza
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 15. Trójwartościowa logika zdań Łukasiewicza 1 Wprowadzenie W logice trójwartościowej, obok tradycyjnych wartości logicznych,
Lekcja 3: Elementy logiki - Rachunek zdań
Lekcja 3: Elementy logiki - Rachunek zdań S. Hoa Nguyen 1 Materiał a) Zdanie proste, złożone b) Spójniki logiczne (funktory zdaniotwórcze):,,,,, (alternatywa wykluczająca - XOR). c) Tautologia, zdanie
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
Adam Meissner.
Instytut Automatyki i Inżynierii Informatycznej Politechniki Poznańskiej Adam Meissner Adam.Meissner@put.poznan.pl http://www.man.poznan.pl/~ameis SZTUCZNA INTELIGENCJA Podstawy logiki pierwszego rzędu
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
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
EGZAMIN MATURALNY 2013 FILOZOFIA
Centralna Komisja Egzaminacyjna w Warszawie EGZAMIN MATURALNY 2013 FILOZOFIA POZIOM ROZSZERZONY Kryteria oceniania odpowiedzi MAJ 2013 2 Zadanie 1. (0 4) Obszar standardów Opis wymagań Znajomość i rozumienie
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
Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych
Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych Zapoznaj z poniŝszym tekstem reprezentującym wiedzę logiczną o wartościach logicznych będących interpretacjami formuł złoŝonych
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
Drzewa Semantyczne w KRZ
Drzewa Semantyczne w KRZ Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 7 XII 2006, 13:30 15:00 Jerzy Pogonowski (MEG) Drzewa Semantyczne w KRZ 7 XII 2006, 13:30 15:00
Logika 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
Wprowadzenie do logiki Klasyczny Rachunek Zdań część 3
Wprowadzenie do logiki Klasyczny Rachunek Zdań część 3 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan gry: 1 Czym są zdania? 2 Język Klasycznego Rachunku Zdań syntaktyka 3 Język
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
Z-LOG-1003 Logika Logics
KARTA MODUŁU / KARTA PRZEDMIOTU Kod modułu Nazwa modułu Nazwa modułu w języku angielskim Z-LOG-100 Logika Logics Obowiązuje od roku akademickiego 2012/201 A. USYTUOWANIE MODUŁU W SYSTEMIE STUDIÓW Kierunek
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
Podstawy Sztucznej Inteligencji (PSZT)
Podstawy Sztucznej Inteligencji (PSZT) Paweł Wawrzyński Wnioskowanie logiczne i systemy eksperckie Systemy posługujące się logiką predykatów: część 3/3 Dzisiaj Uogólnienie Poprawność i pełność wnioskowania
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,
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.