Michał Lipnicki () Logika 20 listopada / 32

Podobne dokumenty
Logika. Michał Lipnicki. 20 listopada Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 20 listopada / 32

Logika Matematyczna (1-3) Zadania

Naukoznawstwo. Michał Lipnicki. 26 listopada Zakład Logiki Stosowanej UAM. Michał Lipnicki () Naukoznawstwo 26 listopada / 1

LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ

wypowiedzi inferencyjnych

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

Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I

Wstęp do logiki. Klasyczny Rachunek Zdań III

CZYLI ABC WNIOSKOWAŃ.

Naukoznawstwo (zadania)

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

Kultura logiczna Wnioskowania dedukcyjne

Rachunek zdań i predykatów

Sztuka argumentacji. Ćwiczeń ciąg dalszy

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

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

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

Wstęp do logiki. Klasyczny Rachunek Zdań IV

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

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

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

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

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

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

Konspekt do wykładu z Logiki I

Logika intuicjonistyczna

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

Czyli mała gra detektywistyczna.

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

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

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

Wstęp do logiki. Argumentacja

Zdanie analityczne (prawda analityczna) to zdanie, które jest zawsze prawdziwe (na mocy znaczeń użytych w nim wyrażeń).

ćwiczenia 15 zaliczenie z oceną

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

Ogólna metodologia nauk

Elementy logiki i teorii mnogości

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)

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

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

Rodzaje argumentów za istnieniem Boga

UJĘCIE SYSTEMATYCZNE ARGUMENTY PRZECIWKO ISTNIENIU BOGA

Logika dla socjologów

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

Logika formalna SYLABUS A. Informacje ogólne

WNIOSKOWANIE 1 DEDUKCJA

Drzewa Semantyczne w KRZ

Logika Radosna 1. Jerzy Pogonowski. Semantyka KRZ. Zakład Logiki Stosowanej UAM

Lekcja 3: Elementy logiki - Rachunek zdań

Wstęp do logiki. Klasyczny Rachunek Zdań II

Logika. Michał Lipnicki. 18 listopada Zakład Logiki Stosowanej UAM. Michał Lipnicki Logika 18 listopada / 1

Zdanie analityczne (prawda analityczna) to zdanie, które jest zawsze prawdziwe (na mocy znaczeń użytych w nim wyrażeń).

Logika Matematyczna. Zadania Egzaminacyjne, 2007

Wstęp do logiki. Pytania i odpowiedzi

Czyli o wnioskowaniach niededukcyjnych

Standaryzacja i ocena wypowiedzi argumentacyjnych

Podstawowe Pojęcia. Semantyczne KRZ

Podstawy logiki praktycznej

Indukcja matematyczna

Jesper Juul. Zamiast wychowania O sile relacji z dzieckiem

SKALA ZDOLNOŚCI SPECJALNYCH W WERSJI DLA GIMNAZJUM (SZS-G) SZS-G Edyta Charzyńska, Ewa Wysocka, 2015

NOWE ODKRYCIA W KLASYCZNEJ LOGICE?

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

Lista 1 (elementy logiki)

O argumentach sceptyckich w filozofii

PODSTAWOWE POJĘCIA DOTYCZĄCE RELACJI

EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2018/2019

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

Ankieta. Instrukcja i Pytania Ankiety dla młodzieży.

Elementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń

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

Logika Matematyczna (2,3)

Czym jest religia i czy filozofia może ją badać. Problem wiary, rozumu i logiki Definicja religii

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

1 Podstawowe oznaczenia

Michał Lipnicki (UAM) Logika 11 stycznia / 20

TEMAT PRACY SOKRATEJSKA IDEA NIEWIEDZY JAKO ŹRÓDŁA ZŁA MORALNEGO A ETYKA ŚW. TOMASZA Z AKWINU ANALIZA PORÓWNAWCZA ETYKA SOKRATESA ETYKA ŚW.

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

Dowody założeniowe w KRZ

to jest właśnie to, co nazywamy procesem życia, doświadczenie, mądrość, wyciąganie konsekwencji, wyciąganie wniosków.

Oskar i pani Róża Karta pracy

Klasyfikacja rozumowań

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

EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2016/2017

WSTĘP ZAGADNIENIA WSTĘPNE

Kazanie na uroczystość ustanowienia nowych animatorów. i przyjęcia kandydatów do tej posługi.

METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ

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

Semiotyka logiczna (1)

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

Wprowadzenie do logiki Pojęcie wynikania

Logika dla socjologów Część 2: Przedmiot logiki

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

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

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

Wiara nadawanie dużego prawdopodobieństwa prawdziwości twierdzenia w warunkach braku wystarczającej wiedzy.

Sytuacja zawodowa pracujących osób niepełnosprawnych

LOGIKA Dedukcja Naturalna

Chcę poznać Boga i duszę. Filozofowie o Absolucie

Transkrypt:

Logika Michał Lipnicki Zakład Logiki Stosowanej UAM 20 listopada 2013 Michał Lipnicki () Logika 20 listopada 2013 1 / 32

Wnioskowanie Wnioskowanie to proces myślowy, w którym na podstawie zdań już uznanych za prawdziwe (przesłanek) dochodzi się się do nowego dotąd nie uznanego zdania (wniosku), bądź wzmacnia się pewność innego zdania w jakimś stopniu już uznanego. Pojęcie wnioskowania wiąże się z pojęciem wynikania logicznego, nie są one jednak tożsame. Nie wszystkie typy wnioskowań opierają się na wynikaniu logicznym. Wynikanie logiczne jest związkiem o charakterze obiektywnym, natomiast wnioskowanie ma charakter subiektywny. Michał Lipnicki () Logika 20 listopada 2013 2 / 32

Wnioskowanie Wnioskowania dzielimy na dedukcyjne oraz niededukcyjne. Wnioskowanie jest dedukcyjne, gdy wniosek wynika logicznie z przesłanek. Jeżeli między przesłankami a wnioskiem nie zachodzi stosunek wynikania logicznego, to wnioskowanie ma charakter niededukcyjny. Wśród wnioskowań niededukcyjnych wyróżnia się: indukcję (enumeracyjną zupełną i niezupełną, eliminacyjną) wnioskowanie przez analogię abdukcję wnioskowanie statystyczne Michał Lipnicki () Logika 20 listopada 2013 3 / 32

Wnioskowanie indukcyjne Wnioskowanie niededukcyjna dygresja Indukcja enumeracyjna Indukcja enumeracyjna jest to wnioskowanie przebiegające wg schematu: Przedmiot x należący do pewnej klasy X posiada pewną cechę A; przedmiot x 1 należący do tej samej klasy X również posiada cechę A;...; przedmiot x n należący do klasy X posiada cechę A; nie stwierdzono istnienia przedmiotu y, należącego do X, który nie posiadałby cechy A. Tym samym wszystkie przedmioty należące do klasy X posiadają cechę A. Indukcja enumeracyjna jest zupełna, jeżeli mamy dostęp do wszystkich przedmiotów należących do X, w przeciwnym razie indukcja enumeracyjna jest niezupełna. Indukcję zalicza się do wnioskowań niemonotonicznych, w których zwiększając zbiór przesłanek pomniejszamy zbiór wniosków. Michał Lipnicki () Logika 20 listopada 2013 4 / 32

Wnioskowanie indukcyjne Wnioskowanie niededukcyjna dygresja Indukcja eliminacyjna We wnioskowaniu tym na podstawie jednostkowych obserwacji dochodzimy do wniosków stwierdzających związki przyczynowe. Przykładem indukcji eliminacyjnej są tzw. kanony Milla: kanon jednej zgodności, kanon jednej różnicy, kanon zmian współtowarzyszących, kanon połączonych metod zgodności i różnicy, kanon różnic. Michał Lipnicki () Logika 20 listopada 2013 5 / 32

Kanon jednej zgodności Wnioskowanie Wnioskowanie niededukcyjna dygresja Jeżeli jakaś okoliczność stale towarzyszy występowaniu jakiegoś zjawiska, podczas gdy inne ulegają zmianie, to okoliczność ta jest skutkiem bądź przyczyną tego zjawiska. A 1, A 2, A 3 B A 1, A 2, A 3 B A 1, A 2, A 3 B A 1, A 2, A 3 B A 1 jest przyczyną B Czy zgodnie z powyższą zasadą poniższe wnioskowanie jest poprawne? Wczoraj wypiłem pół litra wódki, popiłem wodą sodową, a dzisiaj? kac. Przedwczoraj tylko trzy szklanki koniaku, trochę wody sodowej, a wczoraj kac gigant. Trzy dni temu zaraz, co to było? aha, urodziny szefa? no więc whisky i ciepła (brr) woda sodowa, a przedwczoraj? kac. Wniosek? woda sodowa mi szkodzi. (Pogonowski 2007) Michał Lipnicki () Logika 20 listopada 2013 6 / 32

Wnioskowanie przez analogię Wnioskowanie niededukcyjna dygresja Przez określenie wnioskowanie przez analogię rozumie się rozumowanie, w którym na podstawie przesłanek stwierdzających, że przedmiot X jest pod względem pewnych cech podobny do przedmiotu Y, dochodzi się do wniosku stwierdzającego, że przedmiot X jest podobny do przedmiotu Y pod względem jeszcze jednej cechy. Prawdopodobieństwo wniosku zależy od tego, czy pomiędzy rozważanymi cechami porównywanych przedmiotów zachodzi wewnętrzny związek, czy tylko powierzchowny. Michał Lipnicki () Logika 20 listopada 2013 7 / 32

Wnioskowanie statystyczne Wnioskowanie niededukcyjna dygresja Zagadka W pewnym ogródku kwiatowym każdy kwiat był albo czerwony, albo żółty, albo niebieski i były tam kwiaty wszystkich tych trzech kolorów. Do ogródka zajrzał kiedyś statystyk i zauważył, że jakkolwiek wybrać trzy kwiaty, to co najmniej jeden z nich będzie czerwony. Inny statystyk odwiedzający ogródek stwierdził, że jakkolwiek wybrać trzy kwiaty, to co najmniej jeden z nich będzie żółty. Dwie studentki logiki usłyszawszy o tym, wdały się w spór. Pierwsza powiedziała: Wynika z tego, że jakkolwiek wybierzesz trzy kwiaty, to co najmniej jeden z nich będzie niebieski, nieprawdaż? Na co druga odrzekła: Oczywiście, że nie! Która z nich miała rację i dlaczego? (Zagadka pochodzi z: Smullyan, R., Przedrzeźniać przedrzeźniacza, Warszawa, 2007.) Michał Lipnicki () Logika 20 listopada 2013 8 / 32

Wnioskowanie statystyczne Wnioskowanie niededukcyjna dygresja Zdania statystyczne odnoszą się do cech rozmaitych zbiorowości traktowanych jako całość. Dane ujmowane takimi zdaniami odzwierciedlają szereg prawidłowości dotyczących otaczającej nas rzeczywistości. Ponadto pozwalają na odkrywanie i wyjaśnianie takich prawidłowości. Niepożądaną cechą zdań statystycznych jest to, że często są mylnie rozumiane, a zawarte w nich informacje błędnie interpretowane. Dlatego zdania statystyczne są chętnie wykorzystywane w celach manipulacyjnych. Wnioskowania statystyczne można traktować jako odmianę indukcji enumeracyjnej niezupełnej o charakterze probabilistycznym. Michał Lipnicki () Logika 20 listopada 2013 9 / 32

Wnioskowanie statystyczne Wnioskowanie niededukcyjna dygresja Przykłady wnioskowań statystycznych: 1 Osoby cierpiące na alergię na ogół są zdrowsze i żyją dłużej niż osoby nie mające alergii. Zatem dobrą stroną alergii jest to, że pozwala ona uniknąć gorszych nieszczęść. 2 Wegetarianizm wcale nie jest zdrowy - aż 40% wegetarian w wieku 50 lat choruje na przewlekłe choroby. 3 Badania wykazały statystyczny związek pomiędzy długowiecznością a rzadkim korzystaniem z porad lekarza: osoby rzadko chodzące do lekarza żyją dłużej od reszty ludzi. Wniosek: kto nie chodzi do lekarza, zwiększa szanse dożycia sędziwego wieku. Przykłady pochodzą z podęcznika: Szymanek, K., Wieczorek, K., Wójcik, S., Sztuka argumentacji. Ćwiczenia w badaniu argumentów Michał Lipnicki () Logika 20 listopada 2013 10 / 32

Wnioskowanie dedukcyjne Wnioskowanie dedukcyjne Wnioskowania dedukcyjne są niezawodne przy prawdziwych przesłankach gwarantują prawdziwość wniosku. Niezawodność jest zagwarantowana zachodzeniem stosunku wynikania logicznego między przesłankami a wnioskiem. W przypadku wnioskowań dedukcyjnych ich budowa składniowa przesądza o tym, że jeśli przesłanki są prawdziwe, to i wniosek musi być prawdziwy. Michał Lipnicki () Logika 20 listopada 2013 11 / 32

Wnioskowanie dedukcyjne Wnioskowanie dedukcyjne Na przykład wyrażenie: Jeżeli cokolwiek posiadasz, to nie jesteś wolny Posiadasz cokolwiek Nie jesteś wolny jest przykładem realizacji niezawodnego schematu formalnego opierającego się na prawie modus ponens (p q) p q (którego tautologiczność możemy łatwo sprawdzić), gdzie przesłankami są elementy składowe poprzednika implikacji, a następnik jest wnioskiem. jeżeli p, to q p A więc q Michał Lipnicki () Logika 20 listopada 2013 12 / 32

Wnioskowanie dedukcyjne Wnioskowanie dedukcyjne Jeżeli wiesz, że umarłeś, to umarłeś. Jeżeli wiesz, że umarłeś, to nie umarłeś. Zatem nie wiesz, że umarłeś. Powyższa wypowiedź może zostać ujęta w postaci następującego schematu; Jeżeli p, to q Jeśli p to q zatem p Powyższy schemat jest niezawodny - opiera się na II prawie redukcji do absurdu postaci (p q) (p q) p. Michał Lipnicki () Logika 20 listopada 2013 13 / 32

Wnioskowanie dedukcyjne Wnioskowanie dedukcyjne Zbadaj poprawność wnioskowania: Jeżeli raz jeszcze podam się do dymisji, będzie to zdaniem samego króla próba pozbawienia państwa pierwszego uczciwego ministra, a próba taka jest właściwie zdradą, ba, zdradą stanu. Jeżeli jednak nie podam się do dymisji, (mimo iż wiem, że na to stanowisko się nie nadaję), to - niech mnie diabli wezmą - czyż to nie będzie zdrada stanu! Wszystko jedno co zrobię, zawsze będzie to zdrada? To po prostu rozpacz! [z: Hašek, J., Bajka o tragicznym końcu pewnego uczciwego ministra, [w]: Hašek, J., Tasiemiec Księżnej Pani, Kraków 2009] Michał Lipnicki () Logika 20 listopada 2013 14 / 32

Wnioskowanie entymematyczne Wnioskowanie dedukcyjne Wnioskowanie, w którym jakaś przesłanka została przemilczana, często ze względu na jej oczywistość, nazywa się wnioskowaniem entymematycznym (lub krócej entymematem). Przykład: Każdy człowiek jest odpowiedzialny za swoje czyny, zatem Jan jest odpowiedzialny za swoje czyny. Przesłanką entymematyczną jest tu zdanie: Jan jest człowiekiem Uwaga! Przesłanka entymematyczna może być zdaniem fałszywym lub bezpodstawnie przyjętym. Ujawnienie przesłanek entymematycznych jest jednym ze sposobów wykrywania błędów logicznych. Michał Lipnicki () Logika 20 listopada 2013 15 / 32

Wnioskowanie entymematyczne Wnioskowanie dedukcyjne Proszę dobrać odpowiednie przesłanki entymematyczne, tak, aby wykazać, że wniosek wynika w sposób dedukcyjny z przesłanek. Niektórzy chrześcijanie w czasach cesarza Trajana zajmowali w Rzymie wyższe urzędy, a więc musieli być obywatelami rzymskimi. Michał Lipnicki () Logika 20 listopada 2013 16 / 32

Błędy formalne Wnioskowanie Błędy wnioskowania Z błędem formalnym mamy do czynienia w przypadku, kiedy wniosek nie wynika w sposób logiczny z przesłanek, a przypisuje się mu pewność równą przesłankom. Błąd wnioskowania z prawdziwośći następnika implikacji: jeśli p, to q q zatem: p Na przykład: Jeżeli mam rację, to zmienisz swoje zdanie. Zmieniłeś swoje zdanie, zatem miałem rację. Michał Lipnicki () Logika 20 listopada 2013 17 / 32

Błędy formalne Wnioskowanie Błędy wnioskowania Błąd wnioskowania z negacji poprzednika implikacji: jeśli p to q nie-p zatem: nie-q Przykład: Jeśli czytałeś ostatni numer Faktu, to wiesz, że Edyta Górniak przytyła. Nie czytałeś ostatniego numeru Faktu, zatem nie wiesz, że Edyta Górniak przytyła. Michał Lipnicki () Logika 20 listopada 2013 18 / 32

Błędne koło w rozumowaniu Błędy wnioskowania Jeżeli we wnioskowaniu przy wyprowadzaniu jakiegoś wniosku W oparto się na przesłankach P 1, P 2,..., P n, a następnie przy uzasadnianiu przesłanki powołano się na zdanie W, w takiej sytuacja mamy do czynienia z błędnym kołem rozumowania Księżniczka Iwona jest taka chorowita, bo na spacery nie chodzi. A czemu na spacery nie chodzi? A bo taka chorowita. Michał Lipnicki () Logika 20 listopada 2013 19 / 32

Błąd materialny Wnioskowanie Błędy wnioskowania Jeżeli przynajmniej jedna z przesłanek użytych we wnioskowaniu jest zdaniem fałszywym, to mówimy o błędzie materialnym we wnioskowaniu. Takie wnioskowanie może (ale nie musi) prowadzić do fałszywego wniosku. Przykład Nikt rozmyślnie nie szkodzi sam sobie, tak więc kto potrafi odróżnić dobro od zła, ten wybierze zawsze dobro, gdyby bowiem wybrał zło, szkodziłby sam sobie. Nieprawdziwa wydaje się być przesłanka mówiąca, że gdy ktoś wybiera zło, szkodzi sam sobie. Michał Lipnicki () Logika 20 listopada 2013 20 / 32

Błąd materialny Wnioskowanie Błędy wnioskowania Ćwiczenie Proszę zbadać poprawność materialną argumentów: Czymś o wiele cięższym niż fałszowanie pieniędzy, z których jest korzyść w życiu doczesnym, jest fałszowanie wiary, od której zależy życie duszy. Stąd też, skoro fałszerzy pieniędzy, czy innych przestępców władcy świeccy słusznie skazują na śmierć, o ileż słuszniej jest nie tylko ekskomunikować, ale tracić heretyków, skoro tylko dowiedzie się im herezji. [św. Tomasz z Akwinu] Michał Lipnicki () Logika 20 listopada 2013 21 / 32

Ćwiczenia W poniższych rozumowaniach wyodrębnij przesłanki i wniosek, zastanów się nad materialną poprawność przesłanek. 1 To jasne jak słońce, że każda osoba religijna wierzy w Boga. A czyż buddyści w Niego wierzą? W takim razie nie są ludźmi religijnymi. I żadnym pokrętnym gadaniem tego się nie zmieni. 2 Nie ma powodu, by twierdzić i to stanowczo że zwierzęta w ogóle nie myślą ani nie czują. Albowiem, na jakiej właściwie podstawie utrzymujemy, że myślą i czują ludzie? Wyłącznie na podstawie obserwacji ich zachowań. A u wielu zwierząt mam tu na uwadze głównie ssaki da się spostrzec zachowanie inteligentne i nacechowane wrażliwością. 3 W gruncie rzeczy żaden pedofil nie odpowiada za to, co czyni. W końcu pedofilia to po prostu choroba psychiczna. A nie odpowiadamy za to, co robimy, jeżeli pcha nas do tego jakieś schorzenie. Michał Lipnicki () Logika 20 listopada 2013 22 / 32

Ćwiczenia W poniższych rozumowaniach odtwórz przyjęte milcząco przesłanki i rozważ, czy nie wzbudzają one wątpliwości. 1 Niektóre wykroczenia popełniamy nieumyślnie. Nie ma więc potrzeby, bym dalej dowodził, że nie wszystkie wykroczenia zasługują na karę. 2 Jako że firmy prywatne są najskuteczniejszym instrumentem przemian ekonomicznych, rząd musi wspierać ich rozwój. 3 W żadnym wypadku nie powinno się zezwalać na środki antykoncepcyjne, sztuczne poronienia, zapłodnienie in vitro, banki spermy i inne nowoczesne dobrodziejstwa. Wszystko to rozrywa naturalny związek między seksualizmem a rozrodczością. 4 Perski to język indoeuropejski, natomiast estoński nie. Wolno więc z dużym prawdopodobieństwem oczekiwać, że przeciętny Polak będzie mieć mniej trudności z opanowaniem perskiego niż estońskiego. Michał Lipnicki () Logika 20 listopada 2013 23 / 32

Ćwiczenia Wnioskowania dedukcyjne Zbadaj skróconą metodą zero-jedynkową, które z podanych niżej wnioskowań są dedukcyjne. Jeśli nie umiesz rozwiązywać zadań, to nie zdasz egzaminu z logiki. Nie umiesz rozwiązywać zadań, a zatem nie zdasz:( Jeśli nie umiesz rozwiązywać zadań, to nie zdasz egzaminu z logiki. Umiesz rozwiązywać zadania, zatem zdasz:) Los obdarza cię co najwyżej jednym: albo dostatkiem, albo miłością. Przypadł ci znaczny majątek. Zatem na miłość nie możesz liczyć. [za: Hołówka, 2005] Jeśli Nowak nie poprze prezydenta, to straci stanowisko, a jeśli straci stanowisko, to straci też służbową Lancię. Jeśli jednak Nowak poprze prezydenta, to straci autorytet. Zatem Nowak straci albo Lancię, albo autorytet. [za: Tokarz, 1998] Jeżeli Jan uczy się pilnie, to otrzymuje dobre stopnie a jeśli nie otrzymuje dobrych stopni, to traci humor; lecz Jan nie traci humoru; zatem Jan uczy się pilnie. [za B. Stanosz] Michał Lipnicki () Logika 20 listopada 2013 24 / 32

Ćwiczenia Wnioskowania dedukcyjne Jeśli nauka logiki przychodzi Janowi zbyt łatwo lub sprawia zbyt wiele trudności, to Jan uważa logikę za nieciekawą; zatem jeśli nauka logiki przychodzi Janowi zbyt łatwo, to Jan uważa logikę za nieciekawą. [za B. Stanosz] Jeżeli istnieje poznawalny absolut a wszelkie poznanie jest zapośredniczone poprzez zmysły, to przy pomocy zmysłów można doświadczyć absolutu; lecz nie sposób doświadczyć absolutu zmysłowo, a wszelkie poznanie jest zapośredniczone przez zmysły; zatem nie istnieje poznawalny absolut. Liczna x jest parzysta wtedy i tylko wtedy, gdy jest podzielna przez 2. Liczba x jest podzielna przez 2 lub przez 3, lecz nie jest podzielna przez 6. Liczba x jest podzielna przez 6 wtedy i tylko wtedy, gdy jest podzielna zarówno przez dwa, jak przez 3. Liczba x nie jest parzysta. Zatem liczba x jest podzielna przez 3. [za: Tokarz, 1998] Jestem, o ile myślę. No i przecież myślę. Wynika stad, że jestem. [za: Pogonowski, 2007] Michał Lipnicki () Logika 20 listopada 2013 25 / 32

Ćwiczenia Wnioskowania dedukcyjne Jeśli masz 1 dolara, to możesz sobie kupić lody. Ciasteczko możesz sobie kupić, jeśli masz 1 dolara. Tak więc, drogie dziecko, jeśli masz 1 dolara, to możesz sobie kupić i lody i ciasteczko. Masz tu 1 dolara i wypad! [za: Pogonowski, 2007] Jeśli wycofamy naukę religii ze szkół, to nie jest prawda, że jednocześnie: Polska będzie normalnym krajem oraz Episkopat będzie zachwycony. Panie kochany, mówię Panu: normalnym krajem to ta nasza Polska w końcu będzie. No to sam Pan widzi, ze Episkopat nie będzie, delikatnie rzecz ujmując, zachwycony, jeśli naukę religii wycofamy ze szkół. [za: Pogonowski, 2007] Mówię wam, jeśli Ala wyjdzie za mąż, to będzie awantura na weselu. Nie wierzycie? Wystarczy sie tylko zastanowic: jesli Ala wyjdzie za mąż, to na pewno i Kasia i Dorota będą druhnami. A przecież jest jasne, że dojdzie do awantury, gdy co najmniej jedna z nich będzie druhną, znamy je nie od dziś. [za: Pogonowski, 2007] Michał Lipnicki () Logika 20 listopada 2013 26 / 32

Ćwiczenia Wnioskowania dedukcyjne Rozpoczął się nieodwracalny rozpad szpiku kostnego, jeśli pacjentka wymiotuje krwią i ma zaburzenia widzenia. W Pani przypadku nie ma jednak żadnych powodów do obaw! Przecież z tego, co właśnie powiedziałem wynika, że nie ma rozpadu szpiku kostnego o ile pacjentka nie wymiotuje krwią lub nie ma zaburzeń widzenia. [za: Pogonowski, 2006] Język baskijski jest językiem nominatywnym lub eregatywnym. Jeżeli baskijski jest językiem nominatywnym, to agens zdań przechodnich w stronie czynnej wyrażony jest przez taki sam przypadek jak podmiot zdań nieprzechodnich. Natomiast jeśli baskijski jest językiem eregatywnym, to podmiot zdań nieprzechodnich ma formę identyczną z pacjensem zdań przechodnich. Otóż jest tak, że w baskijskim podmiot zdań nieprzechodnich ma formę identyczną z pacjensem zdań przechodnich. Wynika z tego, że baskijski jest językiem eregatywnym. Michał Lipnicki () Logika 20 listopada 2013 27 / 32