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

Podobne dokumenty
wypowiedzi inferencyjnych

Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. II

Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. II

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

Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I

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

Kognitywistyka: tworzenie pojęć i rozumowanie Studium przypadku: rozumowania abdukcyjne

Metody wnioskowania. Wnioskowanie w przód (ang. forward chaining) Wnioskowanie w tył (ang. Backward chaining) Od przesłanki do konkluzji Np..

Konspekt do wykładu z Logiki I

Klasyfikacja rozumowań

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

WNIOSKOWANIE 1 DEDUKCJA

Wstęp do logiki. Klasyczny Rachunek Zdań III

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

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

Kultura logiczna Wnioskowania dedukcyjne

Wprowadzenie do logiki Podział logiczny

Filozofia z elementami logiki O czym to będzie?

Czyli o wnioskowaniach niededukcyjnych

Wprowadzenie do logiki O czym to będzie?

Ogólna metodologia nauk

Wstęp do logiki. Klasyczny Rachunek Zdań IV

Elementy logiki i teorii mnogości

LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ

Podstawy logiki praktycznej

Wprowadzenie do logiki Pojęcie wynikania

Standaryzacja i ocena wypowiedzi argumentacyjnych

PODSTAWOWE POJĘCIA DOTYCZĄCE RELACJI

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

Logika cz. II wnioskowanie i metodologia nauk. Wykład dr K. A. Wojcieszek Pedagogium WSNS

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

Logika dla socjologów

Statystyki: miary opisujące rozkład! np. : średnia, frakcja (procent), odchylenie standardowe, wariancja, mediana itd.

Wprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów

Wprowadzenie do logiki Klasyczny Rachunek Zdań część 3

Logika stosowana. Ćwiczenia Wnioskowanie przez abdukcję. Marcin Szczuka. Instytut Matematyki, Uniwersytet Warszawski

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)

METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ

ćwiczenia 15 zaliczenie z oceną

Wstęp do logiki. Argumentacja

Konspekt do wykładu z Logiki I

Liczba godzin Punkty ECTS Sposób zaliczenia. konwersatoria 30 zaliczenie z oceną

Wnioskowanie bayesowskie

STUDIA PODYPLOMOWE BEZPIECZEŃSTWO I HIGIENA PRACY

WSTĘP ZAGADNIENIA WSTĘPNE

Wprowadzenie do logiki Definicje część 1

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

Statystyki: miary opisujące rozkład! np. : średnia, frakcja (procent), odchylenie standardowe, wariancja, mediana itd.

Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r.

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

Rozstęp Pozycyjne Odchylenie ćwiartkowe Współczynnik zmienności

Uniwersytet Śląski w Katowicach str. 1 Wydział

Wprowadzenie do logiki Język jako system znaków słownych

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

Zależność cech (wersja 1.01)

Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I

Sztuka argumentacji. Ćwiczeń ciąg dalszy

Jeśli powyższy opis nie jest zrozumiały należy powtórzyć zagadnienie standaryzacji zanim przejdzie się dalej!

Dowody założeniowe w KRZ

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

W rachunku prawdopodobieństwa wyróżniamy dwie zasadnicze grupy rozkładów zmiennych losowych:

NOWE ODKRYCIA W KLASYCZNEJ LOGICE?

5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH

I. Informacje ogólne. II. Informacje szczegółowe OPISU MODUŁU KSZTAŁCENIA (SYLABUS) 1. Nazwa modułu kształcenia: Filozofia z elementami logiki

Testowanie hipotez statystycznych

Nazwy definicje podział logiczny wnioskowania

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

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

Systemy ekspertowe. Krzysztof Patan

Czyli o tautologiach, kontrtautologiach i zbiorach zdań semantycznie niesprzecznych część II.

OPIS MODUŁU ZAJĘĆ/PRZEDMIOTU (SYLABUS) dla przedmiotu Logika prawnicza na kierunku Prawo

0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.

Logika Matematyczna. Zadania Egzaminacyjne, 2007

Kultura logicznego myślenia

Naukoznawstwo. Michał Lipnicki Zakład Logiki Stosowanej UAM Michał Lipnicki Naukoznawstwo 1

LOGIKA Wprowadzenie. Robert Trypuz. Katedra Logiki KUL GG października 2013

Logika intuicjonistyczna

LOGIKA I TEORIA ZBIORÓW

CZYLI ABC WNIOSKOWAŃ.

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

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

MATEMATYKA DLA CIEKAWSKICH

Inżynieria wiedzy Wnioskowanie oparte na wiedzy niepewnej Opracowane na podstawie materiałów dra Michała Berety

Statystyka. #5 Testowanie hipotez statystycznych. Aneta Dzik-Walczak Małgorzata Kalbarczyk-Stęclik. rok akademicki 2016/ / 28

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

Konsekwencja logiczna

Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I

Filozofia z elementami logiki Język jako system znaków słownych część 2

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

Naukoznawstwo (Etnolingwistyka V)

Naukoznawstwo (zadania)

Systemy ekspertowe. Wnioskowanie w systemach regułowych. Część piąta. Autor Roman Simiński.

Podstawowe Pojęcia. Semantyczne KRZ

Logika Matematyczna (2,3)

Filozofia przyrody, Wykład V - Filozofia Arystotelesa

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

Katedra Teorii i Filozofii Prawa Poznań, dnia 12 lutego 2013 r. OPISU MODUŁU KSZTAŁCENIA (SYLABUS)

Rachunek zdań i predykatów

Wprowadzenie do logiki Pytania i odpowiedzi. Wnioskowania erotetyczne*

Transkrypt:

Filozofia z elementami logiki Klasyfikacja wnioskowań II część 1 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl

Plan: wnioskowania uprawdopodabniające indukcja eliminacyjna 2

Plan: wnioskowania uprawdopodabniające indukcja eliminacyjna 3

wnioskowania niezawodne uprawdopodabniające wnioskowania, w których mamy prawo uznać wniosek, jednak z mniejszym stopniem pewności, niż przesłanki logicznie bezwartościowe 4

( ) wnioskowania uprawdopodabniające to takie, w których wychodząc od prawdziwych przesłanek możemy dojść do fałszywego wniosku (nie jest to wykluczone), lecz spodziewamy się w sposób racjonalny, że wniosek będzie prawdziwy. [Zygmunt Ziembiński, Logika praktyczna] Zajmiemy się trzema rodzajami wnioskowań uprawdopodabniających: wnioskowaniami redukcyjnymi wnioskowaniami przez analogię wnioskowaniami statystycznymi 5

We wnioskowaniu REDUKCYJNYM wniosek nie wynika logicznie z przesłanek, natomiast: albo: (I) przesłanki wynikają logicznie z samego tylko wniosku, albo: (II) z wniosku i niektórych przesłanek wynikają logicznie przesłanki pozostałe. 6

(I) przesłanki wynikają logicznie z samego tylko wniosku Przykładem przypadku (I) jest tzw. wnioskowanie przez indukcję enumeracyjną niezupełną: Mój kot miauczy żałośliwie, gdy jest głodny. Kot sąsiada miauczy żałośliwie, gdy jest głodny. Kot Justyny też miauczy żałośliwie gdy jest głodny. Wszystkie głodne koty miauczą żałośliwie. We wnioskowaniu takim z przesłanek jednostkowych, stwierdzających, że pewne konkretne przedmioty określonego rodzaju (np. koty mój, sąsiada i Justyny) mają pewną cechę (miauczą żałośliwie, gdy są głodne), wyprowadza się wniosek ogólny że wszystkie przedmioty owego rodzaju (np. wszystkie koty) mają ową cechę. 7

Schemat wnioskowania przez indukcję enumeracyjną niezupełną wygląda więc następująco: S 1 jest P S 2 jest P S 3 jest P S n jest P Każde S jest P Łatwo zauważyć, że ze zdania ogólnego Każde S jest P przesłanki szczegółowe wynikają logicznie (czyli że takim wnioskowaniu wniosek jest racją, a przesłanki są następstwem). 8

Jednakże, nawet jeśli wszystkie przesłanki takiego wnioskowania są prawdziwe, to nie mamy gwarancji, że wniosek również jest prawdziwy: przesłanki uprawdopodabniają wniosek, ale nic poza tym. Im więcej przebadamy przedmiotów rodzaju, o którym chcemy wnioskować (np. kotów) czyli im większą liczbą przesłanek jednostkowych będziemy dysponować tym wniosek będzie lepiej uprawdopodobniony. Im bardziej różnorodne będą nasze jednostkowe przesłanki (np. zróżnicowane pod względem pochodzenia albo rasy kotów) tym wniosek będzie lepiej uprawdopodobniony. 9

Zawsze jednak może się zdarzyć, że trafimy na kota upośledzonego albo na twardego kota ekstremistę, albo na łagodnego kota-taoistę takiego, który nie będzie miauczał. Nb. ewentualne kontrprzykłady (a dokładniej: stopień ich nieprawdopodobieństwa), jakie potrafimy wymyślić dla naszego ogólnego wniosku, nie pozostają bez wpływu na jego uprawdopodobnienie. Ale o tym opowiemy przy następnej okazji. 10

(II) z wniosku i niektórych przesłanek wynikają logicznie przesłanki pozostałe. Przykładem takiego rozumowania jest tzw. wnioskowanie z uznanego następnika: p q q p wniosek nie wynika tu logicznie z przesłanek, ale z wniosku postaci p i przesłanki postaci p q wynika logicznie przesłanka q. 11

C. S. Peirce wnioskowania tego typu nazwał abdukcyjnymi: Obserwujemy zaskakujące zjawisko C. Gdyby A było prawdziwe, zachodzenie C byłoby oczywiste. Zatem, mamy podstawy, by podejrzewać, że A jest prawdziwe. Siedzę przy stole zajęty bardzo ciekawą lekturą i nie zważam na to, co dzieje się dokoła mnie. W pewnym momencie [...] spostrzegam, że niebo jest pochmure, a ulica jest mokra, lecz deszcz nie pada. Spostrzeżenie to prowadzi mnie do wniosku, że widocznie, w czasie gdy czytałem książkę, padał deszcz. 12

W tym wnioskowaniu przesłanką było zdanie Ulica jest mokra, wnioskiem zdanie Padał deszcz. [...] Jasną jest rzeczą, że wniosek wysnuty z tej przesłanki nie wynika z niej wcale; może przecież ulica być mokra, choć deszcz nie padał, gdy np. ulica została skropiona przez beczkowóz. Zachodzi natomiast stosunek odwrotny [...] Wynikanie, jakie zachodzi między wnioskiem tego wnioskowania a przesłanką, jest mianowicie wynikaniem entymematycznym ze względu na [...] zdanie [...] Jeżeli padał deszcz, to ulica jest mokra. Znaczy to, że z samego wniosku Padał deszcz nie wynika jeszcze logicznie przesłanka Ulica jest mokra, ale z tego wniosku i ze zdania Jeżeli padał deszcz, to ulica jest mokra wynika już logicznie przesłanka tego rozumowania. [Kazimierz Ajdukiewicz, Logika pragmatyczna] 13

To jest interesujące? Naprawdę? machine scientific discovery programy diagno- i prognostyczne programy planistyczne rozumienie wypowiedzi językowych empatia eksploracja nieznanego środowiska 14

A kłopotliwe? Niby dlaczego? 1. Produkt czy proces? a. Model produktu, model procesu; b. Hipoteza abdukcyjna a rozumowanie abdukcyjne; c. Magiczne pudełko. 2. Start i cel. a. Niespodzianka jako wyzwalacz : metafora? b. Hipotezy: zdania, reguły, teorie, reprezentacje niewerbalne? 3. Generowanie a ocena. a. Jedno czy oba? b. Razem czy osobno? 15

We wnioskowaniu PRZEZ ANALOGIĘ z faktu, że jakieś przedmioty są do siebie podobne pod pewnym względem wnioskujemy, że są do siebie podobne również pod innym: Mój kot miauczy żałośliwie, gdy jest głodny. Kot sąsiada miauczy żałośliwie, gdy jest głodny. Kot Justyny też miauczy żałośliwie gdy jest głodny. Kot Beaty zapewne również miauczy, gdy jest głodny. 16

Schemat wnioskowania przez analogię wygląda następująco: S 1 jest P S 2 jest P S 3 jest P S n jest P S n+1 jest P Od schematu indukcji enumeracyjnej niezupełnej różni się więc tym, że wniosek nie jest tu zdaniem ogólnym, mówiącym o wszystkich przedmiotach badanego rodzaju, ale zdaniem szczegółowym, mówiącym o następnym przedmiocie badanego rodzaju. 17

Wnioskowanie przez analogię może mieć również nieco inną strukturę: Przedmiot X ma własności A, B, C i D. Przedmiot Y ma własności A, B, C. Przedmiot Y ma własność D. Np.: Zenkowi, Jurkowi i Włodkowi nie udało się naprawić tej pralki. Zdzisiowi też się to nie uda. Nb: własności, z uwagi na które stwierdza się podobieństwo rozważanych obiektów, nie zawsze są określone explicite, jak choćby w powyższym przykładzie: co takiego może łączyć czterech panów, że fakt, iż trzech z nich nie dało rady pralce, uprawdopodabniałby wniosek, że czwartemu też się nie uda? 18

Wiarygodność wnioskowanie przez analogię zależy od tego, czy podobieństwo między rozpatrywanymi przedmiotami jest konsekwencją związku wewnętrznego między ich cechami, czy też jest czysto przypadkowe, jedynie zewnętrzne. [Krzysztof Szymanek, Sztuka argumentacji. Słownik terminologiczny] Stąd też wnioskowanie następujące specjalnie wiarygodne nie jest: Pierwszy świadek ma na imię Jan, jest łysy, garbaty i kłamie, a drugi również Jan też jest łysy i garbaty, więc pewnie ten drugi również kłamie. 19

We wnioskowaniu statystycznym na podstawie stwierdzonych cech niektórych elementów pewnego zbioru Z przedmiotów wnioskuje się o statystycznych własnościach całego zbioru Z. Zbiór Z nazywany jest populacją (wzgl. zbiorowością ogólną), natomiast zespół elementów o własnościach znanych nazywa się próbą (próbą losową). Wnioskowania statystyczne nie są wnioskowaniami niezawodnymi. Z reguły wynikiem takiego wnioskowania jest stwierdzenie, że populacja ma z określonym prawdopodobieństwem własność, będącą przedmiotem wnioskowania. [Krzysztof Szymanek, Sztuka argumentacji. Słownik terminologiczny] 20

Wróćmy do wnioskowania o kotach: Mój kot miauczy żałośliwie, gdy jest głodny. Kot sąsiada miauczy żałośliwie, gdy jest głodny. Kot Justyny też miauczy żałośliwie gdy jest głodny. Wszystkie głodne koty miauczą żałośliwie. Nawet jeśli przesłanki owego wnioskowania są prawdziwe, to nie mamy gwarancji, że wśród nieuwzględnionych przez nas przypadków kotów, których nie znamy nie ma takiego przypadku, który wnioskowi ogólnemu by przeczył; wniosek nie wynika tu więc logicznie z przesłanek. A gdybyśmy mieli taką gwarancję? 21

Rozważmy następujące wnioskowanie przez indukcję enumeracyjną niezupełną: Zuzia, córka Anny, jest brunetką. Kazia, kolejna córka Anny, też jest brunetką. Stasia, która również jest córką Anny, także jest brunetką. Wszystkie córki Anny są brunetkami. 22

A gdybyśmy wiedzieli coś jeszcze? Zuzia, córka Anny, jest brunetką. Kazia, kolejna córka Anny, też jest brunetką. Stasia, która również jest córką Anny, także jest brunetką. Zuzia, Kazia i Stasia to wszystkie córki Anny. Wszystkie córki Anny są brunetkami. 23

Schemat indukcji enumeracyjnej zupełnej wygląda więc następująco: S 1 jest P S 2 jest P S 3 jest P S n jest P Nie ma innych przedmiotów rodzaju S poza S 1, S 2, S 3,, S n. Każde S jest P Takie rozumowanie jest wnioskowaniem dedukcyjnym: z przesłanek jednostkowych i przesłanki gwarantującej kompletność listy badanych przedmiotów wniosek ogólny wynika logicznie. 24

indukcja enumeracyjna niezupełna Indukcję, w której z kilku pojedynczych szczegółów wyprowadza się regułę ogólną Arystoteles nazywał dialektyczną i twierdził, że jej prawomocność jest ważna tak długo, jak długo nasz przeciwnik w dyskusji nie znajdzie faktu, który by tej regułę zaprzeczył, co byłoby równoznaczne z jej obaleniem. Jej wniosek jest więc tylko prawdopodobny. zupełna Indukcję, w której sąd ogólny wyprowadza się ze wszystkich szczegółów, Arystoteles nazywał apodyktyczną. W tym przypadku jesteśmy pewni, że przypadku przeciwnego nie ma i być nie może, gdyż znamy wszystkie fakty podległe regule ogólnej. Wniosek uzyskany na tej drodze jest więc niezawodny. 25