Klasyfikacja rozumowań

Podobne dokumenty
Kultura logiczna Wnioskowania dedukcyjne

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

wypowiedzi inferencyjnych

Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I

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

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

Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. II

Wstęp do logiki. Klasyczny Rachunek Zdań III

WNIOSKOWANIE 1 DEDUKCJA

Ogólna metodologia nauk

Imię i nazwisko:... OBROŃCY PRAWDY

Kultura logiczna Elementy sylogistyki

Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. II

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

LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ

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

Logika Matematyczna (2,3)

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

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)

STUDIA PODYPLOMOWE BEZPIECZEŃSTWO I HIGIENA PRACY

Logika dla socjologów

Rachunek zdań i predykatów

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

ćwiczenia 15 zaliczenie z oceną

1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.

Wstęp do logiki. Argumentacja

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

Klasyczny rachunek zdań 1/2

Rachunek logiczny. 1. Język rachunku logicznego.

Wstęp do logiki. Klasyczny Rachunek Zdań IV

Konspekt do wykładu z Logiki I

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

Kultura logiczna Klasyczny rachunek zdań 1/2

Zagadnienia do próbnych matur z poziomu podstawowego.

Metoda Tablic Semantycznych

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

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

Nazwa metodologia nauki etymologicznie i dosłownie znaczy tyle, co nauka o metodach badań.

LOGIKA I TEORIA ZBIORÓW

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

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

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

Weryfikacja hipotez statystycznych. KG (CC) Statystyka 26 V / 1

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

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

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

Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0

Logika pragmatyczna. Logika pragmatyczna. Kontakt: Zaliczenie:

Logika pragmatyczna dla inżynierów

JÓZEF W. BREMER WPROWADZENIE DO LOGIKI

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

Statystyka Matematyczna Anna Janicka

Zajęcia dla I roku studiów niestacjonarnych I stopnia na kierunku Ekonomia

Michał Lipnicki (UAM) Logika 11 stycznia / 20

Adam Meissner.

Podstawowe Pojęcia. Semantyczne KRZ

ciężkości. Długości celowych d są wtedy jednakowe. Do wstępnych i przybliżonych analiz dokładności można wykorzystywać wzór: m P [cm] = ± 0,14 m α

Rodzaje argumentów za istnieniem Boga

(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. Michał Lipnicki. 20 listopada Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 20 listopada / 32

LOGIKA Klasyczny Rachunek Zdań

Ekonomiczny Uniwersytet Dziecięcy

Kultura logiczna Klasyczny rachunek zdań 2/2

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

Testowanie hipotez. Hipoteza prosta zawiera jeden element, np. H 0 : θ = 2, hipoteza złożona zawiera więcej niż jeden element, np. H 0 : θ > 4.

Uwaga 1. Zbiory skończone są równoliczne wtedy i tylko wtedy, gdy mają tyle samo elementów.

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

Kongruencje pierwsze kroki

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

Logika intuicjonistyczna

Ć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

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

Poprawność semantyczna

Statystyka matematyczna dla leśników

Wstęp do logiki. Klasyczny Rachunek Zdań II

Równoliczność zbiorów

1 Podstawowe oznaczenia

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

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

Logika Stosowana. Wykład 8 - Wnioskowanie indukcyjne Część 1 Problem indukcji. Marcin Szczuka. Instytut Informatyki UW

WYKŁADY ZE STATYSTYKI MATEMATYCZNEJ wykład 9 i 10 - Weryfikacja hipotez statystycznych

WSTĘP ZAGADNIENIA WSTĘPNE

Statystyka Matematyczna Anna Janicka

10/4/2015 CELE ZAJĘĆ PLAN ZAJĘĆ METODY BADAŃ SPOŁECZNYCH WYKŁAD 1: ZAJĘCIA WPROWADZAJĄCE

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

Struktury formalne, czyli elementy Teorii Modeli

Wprowadzenie do logiki Zdania, cz. II Elementy sylogistyki

SPIS TREŚCI. Przedmowa... Wykaz skrótów... Wykaz ważniejszej literatury...

Statystyka w pracy badawczej nauczyciela

Elementy logiki i teorii mnogości

Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki

Klasyczny rachunek predykatów

Spis treści. Wykaz skrótów... Wykaz literatury... Przedmowa... XXIII

Wstęp do Matematyki (4)

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

Systemy ekspertowe. Krzysztof Patan

Wykład 2 Hipoteza statystyczna, test statystyczny, poziom istotn. istotności, p-wartość i moc testu

Afiniczne krzywe algebraiczne

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

Transkrypt:

Klasyfikacja rozumowań Elementy logiki i metodologii nauk spotkanie IX Bartosz Gostkowski Poznań, 15 XII 09

WNIOSKOWANIA NIEZAWODNE vs WNIOSKOWANIA UPRAWDOPODOBNIAJĄCE WNIOSKOWANIA NIEZAWODNE Formalnie poprawne, wniosek wynika logicznie z przesłanek. ZAWODNE Formalnie niepoprawne, wniosek nie wynika logicznie z przesłanek BEZWARTOŚCIOWE UPRAWDOPODOBNIAJĄCE Prawdziwość przesłanek uprawdopodabnia prawdziwość wniosku, jednak nie w stopniu, który gwarantowałby jego pewność.

WNIOSKOWANIA NIEZAWODNE vs WNIOSKOWANIA UPRAWDOPODOBNIAJĄCE WNIOSKOWANIA NIEZAWODNE Formalnie poprawne, wniosek wynika logicznie z przesłanek. ZAWODNE Formalnie niepoprawne, wniosek nie wynika logicznie z przesłanek BEZWARTOŚCIOWE UPRAWDOPODOBNIAJĄCE Prawdziwość przesłanek uprawdopodabnia prawdziwość wniosku, jednak nie w stopniu, który gwarantowałby jego pewność.

RODZAJE ROZUMOWAŃ UPRAWDOPODABNIAJĄCYCH WNIOSKOWANIA UPRAWDOPODOBNIAJĄCE redukcyjne między wnioskiem a przesłankami zachodzi wynikanie logiczne indukcja enumeracyja niezupełna wynikanie logiczne zachodzi między wnioskiem oraz pewnymi przesłankami a pozostałymi przesłankami przez analogię

ROZUMOWANIA DEDUKCYJNE W przypadku wnioskowań dedukcyjnych, między przesłankami a wnioskiem zachodzi relacja wynikania logicznego. α β α β Kiedy dzieci są brudne, to są szczęśliwe. Dzieci są brudne. Dzieci są szczęśliwe.

ROZUMOWANIA REDUKCYJNE W przypadku wnioskowań dedukcyjnych, między przesłankami a wnioskiem zachodzi relacja wynikania logicznego. α β α β Kiedy dzieci są brudne, to są szczęśliwe. Dzieci są brudne. Dzieci są szczęśliwe. W przypadku wnioskowań redukcyjnych, wynikania logiczne również zachodzi, ale tym razem to przesłanki wnioskowania wynikają ze zdania, które występuje w konkluzji wnioskowania. Wynikanie we wnioskowaniu redukcyjnym może zachodzić na jeden z dwu sposobów: (i) (ii) wniosek stanowi wystarczającą rację dla wszystkich przesłanek, z wniosku oraz niektórych przesłanek wynikają pozostałe przesłanki.

ROZUMOWANIA REDUKCYJNE: INDUKCJA Wszystkie przesłanki wynikają logicznie z wniosku: S 1 ip S 2 ip S 3 ip SaP Pierwszy pociąg przyjechał spóźniony. Drugi pociąg przyjechał spóźniony. Trzeci pociąg przyjechał spóźniony. Wszystkie pociągi przyjechały spóźnione.

ROZUMOWANIA REDUKCYJNE: INDUKCJA Wszystkie przesłanki wynikają logicznie z wniosku: S 1 ip S 2 ip S 3 ip SaP Pierwszy pociąg przyjechał spóźniony. Drugi pociąg przyjechał spóźniony. Trzeci pociąg przyjechał spóźniony. Wszystkie pociągi przyjechały spóźnione. Tego typu rozumowania noszą miano INDUKCJI ENUMERACYJNEJ. Def.1. Indukcja enumeracyjna, to wnioskowanie, którego: (i) przesłanki są zdaniami szczegółowymi, wniosek zaś zdaniem ogólnym; (ii) każda z przesłanek wynika logicznie z wniosku.

ROZUMOWANIA REDUKCYJNE: INDUKCJA Dzięki INDUKCJI ENUMERACYJNEJ, na podstawie ograniczonej liczby szczegółowych obserwacji sformułować można prawo ogólne. Jeśli szczegółowe obserwacje wyczerpują dziedzinę, którą opisywać ma ogólne prawo formułowane na podstawie wnioskowania INDUKCYJNEGO, to wnioskowanie takie zyskuje walor pewności i niezawodności. S 1 ip S 2 ip S 3 ip. S 11 ip Pierwszy piłkarz ManU wbiegł w pole karne. Drugi piłkarz ManU wbiegł w pole karne. Trzeci piłkarz ManU wbiegł w pole karne.. Jedenasty piłkarz ManU wbiegł w pole karne. SaP Wszyscy piłkarze ManU wbiegli w pole karne.

ROZUMOWANIA REDUKCYJNE: INDUKCJA Dzięki INDUKCJI ENUMERACYJNEJ, na podstawie ograniczonej liczby szczegółowych obserwacji sformułować można prawo ogólne. Def. 2. Indukcja enumeracyjna zupełna: wnioskowanie indukcyjne, którego przesłanki wyczerpują całe uniwersum przedmiotów, do których odnosi się wyrażane we wniosku rozumowania ogólne prawo. (i) przesłanki są zdaniami szczegółowymi, wniosek zaś zdaniem ogólnym; (ii) każda z przesłanek wynika logicznie z wniosku. (iii) wniosek wynika logicznie z koniunkcji przesłanek. Indukcję, w której sąd ogólny wyporowadzany jest ze wszystkich szczegółów Arystoteles nazywał apodyktyczną, bo w tym przypadku możemy być pewni, że znamy wszystkie fakty istotne dla wyprowadzanego uogólnienia i każdy z nich potwierdza ogólną zasadę.

ROZUMOWANIA REDUKCYJNE: INDUKCJA Dzięki INDUKCJI ENUMERACYJNEJ, na podstawie ograniczonej liczby szczegółowych obserwacji sformułować można prawo ogólne. Indukcja enumeracyjna niezupełna: wnioskowanie indukcyjne, którego przesłanki nie wyczerpują całego uniwersum przedmiotów, do których odnosi się wyrażane we wniosku rozumowania ogólne prawo. (i) przesłanki są zdaniami szczegółowymi, wniosek zaś zdaniem ogólnym; (ii) każda z przesłanek wynika logicznie z wniosku. Indukcję, w której z ograniczonej liczby szczegółów wyprowadza się ogólną regułę, Arystoteles nazywał dialektyczną. Twierdził, że jest ona prawomocna jedynie tak długo, jak długo dyskutanci nie natrafią na przypadek, który zaprzecza wnioskowi. Znalezienie takiego kontrprzykładu było równoznaczne z obaleniem wnioskowania tego typu.

Wnioskowania zawodne Wnioskowania niezawodne Wnioskowania redukcyjne Indukcja enumeracyjna niezupełna indukcja enumeracyjna zupełna

ROZUMOWANIA REDUKCYJNE: INDUKCJA Wnioskowania zawodne Wnioskowania niezawodne Wnioskowania redukcyjne Indukcja enumeracyjna niezupełna indukcja enumeracyjna zupełna

ROZUMOWANIA REDUKCYJNE: INDUKCJA Pytanie: Od czego zależy wartość indukcji enumeracyjnej niezupełnej? - kiedy warto uznawać jej wyniki, a kiedy zachować rezerwę? Jak w przypadku każdego wnioskowania, jego wartość materialna zależy od prawdziwości przesłanek.

ROZUMOWANIA REDUKCYJNE: INDUKCJA Pytanie: Od czego zależy wartość indukcji enumeracyjnej niezupełnej? - kiedy warto uznawać jej wyniki, a kiedy zachować rezerwę? Jak w przypadku każdego wnioskowania, jego wartość materialna zależy od prawdziwości przesłanek. Poza tym, wniosek indukcji enumeracyjnej niezupełnej jest tym bardziej prawdopodobny: (i) im więcej przebadamy przedmiotów rodzaju o którym chcemy wnioskować, to jest, im większą liczbą przesłanek jednostkowych będziemy dysponować (dużo trudniej jest w uniwersach nieskończonych).

ROZUMOWANIA REDUKCYJNE: INDUKCJA Pytanie: Od czego zależy wartość indukcji enumeracyjnej niezupełnej? - kiedy warto uznawać jej wyniki, a kiedy zachować rezerwę? Wniosek indukcji enumeracyjnej niezupełnej jest tym bardziej prawdopodobny: (i) im więcej przebadamy przedmiotów rodzaju o którym chcemy wnioskować, to jest, im większą liczbą przesłanek jednostkowych będziemy dysponować (dużo trudniej jest w uniwersach nieskończonych). α β Pierwszy napotkany na sawannie słoń miał wielkie uszy. Wszystkie słonie na sawannie mają wielkie uszy. Pierwszy napotkany na sawannie słoń miał wielkie uszy. Drugi napotkany na sawannie słoń miał wielkie uszy. Trzeci napotkany na sawannie słoń miał wielkie uszy.. Sto trzeci napotkany na sawannie słoń miał wielkie uszy Wszystkie słonie na sawannie mają wielkie uszy. β jest zatem bardziej wartościowym wnioskowaniem indukcyjnym niż α.

ROZUMOWANIA REDUKCYJNE: INDUKCJA Pytanie: Od czego zależy wartość indukcji enumeracyjnej niezupełnej? - kiedy warto uznawać jej wyniki, a kiedy zachować rezerwę? α β Pierwszy napotkany na sawannie słoń miał wielkie uszy. Wszystkie słonie na sawannie mają wielkie uszy. Pierwszy napotkany na sawannie słoń miał wielkie uszy. Drugi napotkany na sawannie słoń miał wielkie uszy. Trzeci napotkany na sawannie słoń miał wielkie uszy.. Sto trzeci napotkany na sawannie słoń miał wielkie uszy Wszystkie słonie na sawannie mają wielkie uszy. β jest zatem bardziej wartościowym wnioskowaniem indukcyjnym niż α. Mimo to, nawet jeśli dysponujemy świadectwem równie bogatym jak we wnioskowaniu β, nadal nie ma gwarancji, że wniosek jest zdaniem prawdziwym. Wystarczy, że podczas badań terenowych na sawannie przeoczono jednego słonia o nienaturalnie małych uszach.

ROZUMOWANIA REDUKCYJNE: INDUKCJA Pytanie: Od czego zależy wartość indukcji enumeracyjnej niezupełnej? - kiedy warto uznawać jej wyniki, a kiedy zachować rezerwę? Wniosek indukcji enumeracyjnej niezupełnej jest tym bardziej prawdopodobny: (i) im więcej przebadamy przedmiotów rodzaju o którym chcemy wnioskować, to jest im większą liczbą przesłanek jednostkowych będziemy dysponować (dużo trudniej jest w uniwersach nieskończonych). (ii) im bardziej zróżnicowane będą szczegółowe obserwacje, które służą za podstawę dla szczegółowych przesłanek. β Pierwszy napotkany na sawannie słoń miał wielkie uszy.. Sto trzeci napotkany na sawannie słoń miał wielkie uszy Wszystkie słonie na sawannie mają wielkie uszy. GDZIE PROWADZONO OBSERWACJE?

ROZUMOWANIA REDUKCYJNE: INDUKCJA Pytanie: Od czego zależy wartość indukcji enumeracyjnej niezupełnej? - kiedy warto uznawać jej wyniki, a kiedy zachować rezerwę? Wniosek indukcji enumeracyjnej niezupełnej jest tym bardziej prawdopodobny: (i) im więcej przebadamy przedmiotów rodzaju o którym chcemy wnioskować, to jest im większą liczbą przesłanek jednostkowych będziemy dysponować (dużo trudniej jest w uniwersach nieskończonych). (ii) im bardziej zróżnicowane będą szczegółowe obserwacje, które służą za podstawę dla szczegółowych przesłanek. β Pierwszy napotkany na sawannie słoń miał wielkie uszy.. Sto trzeci napotkany na sawannie słoń miał wielkie uszy Wszystkie słonie na sawannie mają wielkie uszy. GDZIE PROWADZONO OBSERWACJE? 1. Na środku sawanny postawiono wieżę i badacze spędzali na niej cały dzień obeserwując okolicę 2. Badacze podzielili sawannę na 1001 kwadratów o boku 1 km i każdego dnia prowadzili obserwację w którymś z losowo wybranych kwadratów.

Wnioskowania zawodne Wnioskowania niezawodne Wnioskowania redukcyjne Indukcja enumeracyjna niezupełna indukcja enumeracyjna zupełna indukcja eliminacyjna

Wnioskowania zawodne Wnioskowania niezawodne Wnioskowania redukcyjne Indukcja enumeracyjna niezupełna indukcja enumeracyjna zupełna indukcja eliminacyjna

INDUKCJA ELIMINACYJNA Maksyma S. Holmesa: Jeśli rozważymy wszystkie hipotezy i odrzucimy to, co niemożliwe, to co pozostanie, jakkolwiek nieprawdopodobne, musi być prawdą.

INDUKCJA ELIMINACYJNA Def.3. Indukcja eliminacyjna, jest to wnioskowanie niezawodne, które przebiega według następującego schematu: α 1 (α 2 (α 3 (α n β) )) α 1 α 2 α 3. α n β Maksyma S. Holmesa: Jeśli rozważymy wszystkie hipotezy i odrzucimy to, co niemożliwe, to co pozostanie, jakkolwiek nieprawdopodobne, musi być prawdą.

INDUKCJA ELIMINACYJNA Def.2. Indukcja eliminacyjna, jest to wnioskowanie niezawodne, które przebiega według następującego schematu: α 1 (α 2 (α 3 (α n β) )) α 1 α 2 α 3. α n β Lady Marię zabił książę Eddy, lord Falseworthy, albo kamerdyner George. Eddy nie zabił lady Marii. [bo spał] Falseworth nie zabił Marii. [bo już wtedy nie żył] Lady Marię zabił kamerdyner George. Maksyma S. Holmesa: Jeśli rozważymy wszystkie hipotezy i odrzucimy to, co niemożliwe, to co pozostanie, jakkolwiek nieprawdopodobne, musi być prawdą.

ROZUMOWANIA REDUKCYJNE NIE INDUKCYJNE W przypadku pewnego typu wnioskowań redukcyjnych, ze zbioru zdań do którego wchodzą wniosek i niektóre z przesłanek, wynikają zdania, które pełnią funkcję innych przesłanek tego rozumowania. p q q p Jeśli biegną słonie, to słychać tupot. Słychać tupot. Biegną słonie!.

ROZUMOWANIA REDUKCYJNE NIE INDUKCYJNE W przypadku pewnego typu wnioskowań redukcyjnych, ze zbioru zdań do którego wchodzą wniosek i niektóre z przesłanek, wynikają zdania, które pełnią funkcję innych przesłanek tego rozumowania. p q q p Jeśli biegną słonie, to słychać tupot. Słychać tupot. Biegną słonie!. p q p q Jeśli biegną słonie, to słychać tupot. Biegną słonie. Słychać tupot.

wnioskowanie z analogii Wnioskowania zawodne Wnioskowania niezawodne Wnioskowania redukcyjne Indukcja enumeracyjna niezupełna indukcja enumeracyjna zupełna indukcja eliminacyjna

wnioskowanie z analogii Wnioskowania zawodne Wnioskowania niezawodne Wnioskowania redukcyjne Indukcja enumeracyjna niezupełna indukcja enumeracyjna zupełna indukcja eliminacyjna

WNIOSKOWANIE Z ANALOGII INTUICJA: wiedząc, że pomiędzy dwoma typami obiektów zachodzi podobieństwo pod względem cech φ 1, φ 2,, φ n zakładamy, że podobieństwo zachodzi również pod względem innej cechy ψ. Batman przebiera się w dziwaczny kostium, gdy zamierza walczyć ze zbrodnią. Superman przebiera się w dziwaczny kostium, gdy zamierza walczyć ze zbrodnią. Wilq przebiera się w dziwaczny kostium, gdy zamierza walczyć ze zbrodnią. Gdy sąsiad z naprzeciwka przebiera się w dziwaczny kostium, to zamierza walczyć ze zbrodnią. Mój sąsiad, podobnie jak Clark Kent, Bruce Wayne i cywilne alter ego Wilq, wiodą żywot nie wyróżniających się i raczej nudnych panów, powszechnie uważanych za tchórzy.

WNIOSKOWANIE Z ANALOGII- sylogizmy INTUICJA: wiedząc, że pomiędzy dwoma typami obiektów zachodzi podobieństwo pod względem cech φ 1, φ 2,, φ n zakładamy, że podobieństwo zachodzi również pod względem innej cechy ψ. S 1 ip S 2 ip S 3 ip S 4 ip S 5 ip Pierwszy słoń był mściwy. Drugi słoń był mściwy. Trzeci słoń był mściwy. Czwarty słoń był mściwy. Piąty słoń także będzie mściwy.

WNIOSKOWANIE Z ANALOGII- sylogizmy INTUICJA: wiedząc, że pomiędzy dwoma typami obiektów zachodzi podobieństwo pod względem cech φ 1, φ 2,, φ n zakładamy, że podobieństwo zachodzi również pod względem innej cechy ψ. S 1 ip S 2 ip S 3 ip S 4 ip S 5 ip Nie jest to indukcja enumeracyjna niezupełna, bo wniosek nie jest zdaniem ogólnym, lecz szczegółowym. Wnioskowanie przez analogię jest tym bardziej uprawdopodobnione: (i) im silniejsze podobieństwo między obiektami, które stanowią zakres nazwy S 1, S 2, S 3, S 4, a obiektem nazwanym za pomocą S 5. (ii) Im większa próba (im większa liczba przesłanek).

WNIOSKOWANIE Z ANALOGII INTUICJA: wiedząc, że pomiędzy dwoma typami obiektów zachodzi podobieństwo pod względem cech φ 1, φ 2,, φ n zakładamy, że podobieństwo zachodzi również pod względem innej cechy ψ. Wnioskowanie przez analogię może mieć także inną postać, którą trudno ująć za pomocą formalizacji, którą oferują sylogizmy. Obiekt A ma własności P 1, P 2, P 3, P 4. Obiekt B ma własności P 1, P 2, P 3. Należy wnosić, że obiekt B posiada także własność P 4. Własności, które stanowią podstawę dla określenia podobieństwa między obiektami w tego typu argumentach rzadko są wymieniane explicite.

WNIOSKOWANIE Z ANALOGII INTUICJA: wiedząc, że pomiędzy dwoma typami obiektów zachodzi podobieństwo pod względem cech φ 1, φ 2,, φ n zakładamy, że podobieństwo zachodzi również pod względem innej cechy ψ. Wnioskowanie przez analogię może mieć także inną postać, którą trudno ująć za pomocą formalizacji, którą oferują sylogizmy. Skoro mogłeś napisać część doktoratu w pociągu, to dasz radę napisać kolejną w samolotach.

WNIOSKOWANIE Z ANALOGII INTUICJA: wiedząc, że pomiędzy dwoma typami obiektów zachodzi podobieństwo pod względem cech φ 1, φ 2,, φ n zakładamy, że podobieństwo zachodzi również pod względem innej cechy ψ. Wnioskowanie przez analogię może mieć także inną postać, którą trudno ująć za pomocą formalizacji, którą oferują sylogizmy. Skoro mogłeś napisać część doktoratu w pociągu, to dasz radę napisać kolejną w samolotach. Pociąg służy podróżowaniu, ma miejsca siedzące i łazienkę, daje się też w nim pracować nad doktoratem. Samolot służy podróżowaniu, ma miejsca siedzące i łazienkę też ma. W samolocie da się pracować nad doktoratem.

KANONY IN DUKCJI ELIMINACYJNEJ J. S. MILLA John Steward Mill zaproponował serię reguł (kanonów), których zastosowanie do indukcji enumeracyjnej (niezupełnej) zagwarantować miało poprawność rozumowania. Kanony są to schematy rozumowań, które służyć mają interpretacji wyników przeprowadzanych eksperymentów, umożliwiając odkrywanie ogólnych związków przyczynowych między typami zjawisk, których konkretne realizacje sąsiadują ze sobą w czasie. Kanony dotyczą zatem zawsze dwóch typów zjawisk: POPRZEDNIKI CZASOWE NASTĘPNIKI CZASOWE A, B, C, α, β, γ,

KANONY IN DUKCJI ELIMINACYJNEJ J. S. MILLA 1. KANON JEDYNEJ RÓŻNICY Gdy przypadek, w którym badane zjawisko zachodzi i, przypadek, w którym ono nie zachodzi, mają wszystkie okoliczności wspólne z wyjątkiem jednej, obecnej tylko w pierwszym przypadku, w takim razie okoliczność, którą się różnią oba te przypadki, jest skutkiem lub przyczyną lub niezbędną częścią przyczyny owego zjawiska. A, B, C α, β, γ A, C α, γ B jest przyczyną β.

KANONY IN DUKCJI ELIMINACYJNEJ J. S. MILLA 1. KANON JEDYNEJ RÓŻNICY Gdy przypadek, w którym badane zjawisko zachodzi i, przypadek, w którym ono nie zachodzi, mają wszystkie okoliczności wspólne z wyjątkiem jednej, obecnej tylko w pierwszym przypadku, w takim razie okoliczność, którą się różnią oba te przypadki, jest skutkiem lub przyczyną lub niezbędną częścią przyczyny owego zjawiska. A, B, C α, β, γ A, C α, γ B jest przyczyną β. (i) Piję kawę, uderzam pięścią w czoło, czytam książkę. (ii)piję kawę, czytam książkę. Czuję zmęczenie, ból głowy, chęć panowania nad światem Czuję zmęczenie, chęć panowania nad światem. Uderzanie pięścią w czoło jest przyczyną mojego bólu głowy

KANONY IN DUKCJI ELIMINACYJNEJ J. S. MILLA 2. KANON JEDYNEJ ZGODNOŚCI Gdy dwa lub więcej przypadków badanego zjawiska mają wspólną tylko jedną okoliczność, to okoliczność, w której jedynie zgadzają się wszystkie przypadki jest skutkiem lub przyczyną, lub niezbędna częścią przyczyny owego zjawiska. A, B, C α, β, γ A, D, E α, δ, ε A, F, G α, λ, κ A jest przyczyną α.

KANONY IN DUKCJI ELIMINACYJNEJ J. S. MILLA 2. KANON JEDYNEJ ZGODNOŚCI Gdy dwa lub więcej przypadków badanego zjawiska mają wspólną tylko jedną okoliczność, to okoliczność, w której jedynie zgadzają się wszystkie przypadki jest skutkiem lub przyczyną, lub niezbędna częścią przyczyny owego zjawiska. Cierpiącemu na psychozę pacjentowi przedstawiono serię obrazków, na których widniały podobizny różnych osób, zwierząt i obiektów. Stan nadmiernego pobudzenia utrzymywał się niezależnie od rodzaju eksponowanego bodźca. Stan psychotyczny pacjenta powodował widok psychiatry.

KANONY IN DUKCJI ELIMINACYJNEJ J. S. MILLA 3. POŁĄCZONY KANON JEDYNEJ ZGODNOŚCI I RÓŻNICY Gdy dwa lub więcej przypadki, w których występuje dane zjawisko mają tylko jedną okoliczność wspólną, gdy dwa lub więcej przypadki, w których ona nie występuje, nie mają nic wspólnego prócz nieobecności tej okoliczności, w takim razie ta okoliczność, którą wyłącznie różnią się oba szeregi przypadków, jest skutkiem, lub przyczyną lub niezbędną częścią przyczyny owego zjawiska. A, B, C α, β, γ B, C β, γ A, B, C α, β, γ A, D, E α, δ, ε A, F, G α, λ, κ A jest przyczyną α.

KANONY IN DUKCJI ELIMINACYJNEJ J. S. MILLA 4. KANON RESZT Odejmijmy od danego zjawiska tę jego część, którą znamy dzięki wcześniejszym indukcjom jako skutek określonych poprzedników, a reszta zjawiska będzie to skutek pozostałych poprzedników. A, B jest przyczyną αβ B jest przyczyną β A jest przyczyną α

KANONY IN DUKCJI ELIMINACYJNEJ J. S. MILLA 4. KANON RESZT Odejmijmy od danego zjawiska tę jego część, którą znamy dzięki wcześniejszym indukcjom jako skutek określonych poprzedników, a reszta zjawiska będzie to skutek pozostałych poprzedników. Spotkanie z Jokerem oraz widok truskawek wywoływały w Batmanie chęć mordu oraz apetyt na lody. Widok truskawek zawsze wywoływał w Batmanie apetyt na lody. Spotkanie z Jokerem wywołało w Batmanie chęć mordu.

KANONY INDUKCJI ELIMINACYJNEJ J. S. MILLA 5. KANON ZMIAN TOWARZYSZĄCYCH Każde zjawisko, zmieniające się w jakiś sposób ilekroć inne zjawisko zmienia się w sposób określony, jest skutkiem lub przyczyną lub niezbędną częścią przyczyny owego zjawiska. A 1, B, C A 2, C A jest przyczyną α. α 1, β, γ α 2, γ

KANONY INDUKCJI ELIMINACYJNEJ J. S. MILLA: trudności Koncepcja kanonów indukcji Milla napotyka na poważne trudności (mnóstwo konsekwencji, których niesposób uzgodnić z naszymi intuicjami na temat związku przyczynowego między typami zjawisk). Większość trudności, to konsekwencje przyjmowanego pojęcia przyczynowości: (i) Zasada powszechnej przyczynowości (która każe szukać związków przyczynowych między wszystkimi typami zdarzeń, jeśli tylko następują one po sobie. (ii) Zasada jedyności przyczyny (zakładająca, że w każdym przypadku związków przyczynowych między zjawiskami istnieje wyłącznie jedna, wyróżniona przyczyna). Kolejna grupa problemów, to konsekwencje zasady ceteris paribus, które poważnie ograniczają możliwość zastosowań koncepcji w praktyce naukowej.