Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I

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

Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I

wypowiedzi inferencyjnych

Kultura logiczna Wnioskowania dedukcyjne

Wstęp do logiki. Klasyczny Rachunek Zdań III

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

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

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

LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ

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

Wprowadzenie do logiki Zdania, cz. II Elementy sylogistyki

Kultura logiczna Elementy sylogistyki

Wprowadzenie do logiki Pojęcie wynikania

Rachunek zdań i predykatów

Logika dla socjologów

Wprowadzenie do logiki Podział logiczny

Elementy logiki i teorii mnogości

Konspekt do wykładu z Logiki I

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

Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I

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

Logika Matematyczna (2,3)

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

Ć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

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

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki

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

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

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

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ

Wprowadzenie do logiki Zdania, cz. I Wprowadzenie do Klasycznego Rachunku Zdań

Rachunek logiczny. 1. Język rachunku logicznego.

Wstęp do logiki. Klasyczny Rachunek Zdań II

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

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

Wstęp do logiki. Klasyczny Rachunek Zdań IV

Nazwy definicje podział logiczny wnioskowania

JÓZEF W. BREMER WPROWADZENIE DO LOGIKI

Wprowadzenie do logiki O czym to będzie?

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

ćwiczenia 15 zaliczenie z oceną

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

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

KLASYCZNE ZDANIA KATEGORYCZNE. ogólne - orzekaj co± o wszystkich desygnatach podmiotu szczegóªowe - orzekaj co± o niektórych desygnatach podmiotu

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

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

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

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)

Algebrę L = (L, Neg, Alt, Kon, Imp) nazywamy algebrą języka logiki zdań. Jest to algebra o typie

Wprowadzenie do logiki Definicje część 1

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ

Podstawowe Pojęcia. Semantyczne KRZ

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

Rachunek zdań. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak

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

Filozofia z elementami logiki O czym to będzie?

Logika Matematyczna (1-3) Zadania

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

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

CZYLI ABC WNIOSKOWAŃ.

Wykład 11b. System aksjomatyczny Klasycznego Rachunku Predykatów. Aksjomaty i reguły inferencyjne

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

Rok akademicki: 2017/2018 Kod: HKL s Punkty ECTS: 4. Poziom studiów: Studia I stopnia Forma i tryb studiów: Stacjonarne

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

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

Podstawy logiki praktycznej

Logika Matematyczna. Zadania Egzaminacyjne, 2007

K A R T A P R Z E D M I O T U

K A R T A P R Z E D M I O T U

Filozofia, Historia, Wykład V - Filozofia Arystotelesa

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

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

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

Klasyfikacja rozumowań

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

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

Definicja: alfabetem. słowem długością słowa

Rodzaje argumentów za istnieniem Boga

Filozofia przyrody, Wykład V - Filozofia Arystotelesa

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

Logika formalna SYLABUS A. Informacje ogólne

Monoidy wolne. alfabetem. słowem długością słowa monoidem wolnym z alfabetem Twierdzenie 1.

Naukoznawstwo (zadania)

WSTĘP ZAGADNIENIA WSTĘPNE

Czyli tautologie, kontrtautologie i wynikanie w KRP.

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

Jarosław Wróblewski Analiza Matematyczna 1A, zima 2012/13

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

Lekcja 3: Elementy logiki - Rachunek zdań

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

Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych

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

Konsekwencja logiczna

LOGIKA I TEORIA ZBIORÓW

Wprowadzenie do logiki epistemicznej. Przekonania i wiedza

Paradygmaty dowodzenia

Ogólna metodologia nauk

Logika intuicjonistyczna

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

Transkrypt:

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 klasyfikacja wnioskowań (krok 1.) wnioskowania dedukcyjne i entymematyczne

pojęcie wnioskowania Wnioskowanie jest to proces myślowy, w którym na podstawie mniej lub bardziej stanowczego uznania pewnych zdań zwanych przesłankami dochodzimy do uznania innego zdania wniosku którego bądź dotychczas nie uznawaliśmy wcale, bądź uznawaliśmy mniej stanowczo; przy czym stopień stanowczości uznania wniosku nie przewyższa stopnia uznania przesłanek. [K. Ajdukiewicz, Logika pragmatyczna]

Wnioskowanie jest to proces myślowy, w którym na podstawie mniej lub bardziej stanowczego uznania pewnych zdań zwanych przesłankami dochodzimy do uznania innego zdania wniosku którego bądź dotychczas nie uznawaliśmy wcale, bądź uznawaliśmy mniej stanowczo; przy czym stopień stanowczości uznania wniosku nie przewyższa stopnia uznania przesłanek. Skoro wnioskowanie jest procesem psychicznym, to oprócz jego własności formalnych moglibyśmy też pytać o to wszystko, co z owej psychiczności się bierze. Zagadnienia te są przedmiotem zainteresowania zarówno pragmatyki, jak i, na przykład, psychologii.

Wnioskowanie jest to proces myślowy, w którym na podstawie mniej lub bardziej stanowczego uznania pewnych zdań zwanych przesłankami dochodzimy do uznania innego zdania wniosku którego bądź dotychczas nie uznawaliśmy wcale, bądź uznawaliśmy mniej stanowczo; przy czym stopień stanowczości uznania wniosku nie przewyższa stopnia uznania przesłanek. Uznawanie może oznaczać różne nastawienia sądzeniowe względem zdań. Przyjmiemy, za Ajdukiewiczem, że ktoś uznaje pewne zdanie, gdy za jego pomocą wypowiada swoje przekonanie (w odróżnieniu od sądu tylko pomyślanego); innymi słowy, póki co będziemy traktować pojęcie uznawania jako intuicyjnie zrozumiałe.

Wnioskowanie jest to proces myślowy, w którym na podstawie mniej lub bardziej stanowczego uznania pewnych zdań zwanych przesłankami dochodzimy do uznania innego zdania wniosku którego bądź dotychczas nie uznawaliśmy wcale, bądź uznawaliśmy mniej stanowczo; przy czym stopień stanowczości uznania wniosku nie przewyższa stopnia uznania przesłanek. Rodzaj związku między przesłankami a wnioskiem (nawet jeśli dostrzegany jest on tylko przez podmiot wnioskowania) stanowi jeden z elementów zasady podziału wnioskowań.

Wnioskowanie jest to proces myślowy, w którym na podstawie mniej lub bardziej stanowczego uznania pewnych zdań zwanych przesłankami dochodzimy do uznania innego zdania wniosku którego bądź dotychczas nie uznawaliśmy wcale, bądź uznawaliśmy mniej stanowczo; przy czym stopień stanowczości uznania wniosku nie przewyższa stopnia uznania przesłanek. Uznawanie może oznaczać uznawanie za prawdziwe albo, np., uznawanie za prawdopodobne (z rozmaitym stopniem prawdopodobieństwa). Stopień prawdopodobieństwa z jakim uznajemy wniosek, z uwagi na stopień prawdopodobieństwa uznania przesłanek jest kolejnym składnikiem zasady podziału wnioskowań.

Wnioskowania wypowiadamy za pomocą wypowiedzi inferencyjnych: i reprezentujemy w takich oto obrazkach: ponieważ Z 1,, Z n, zatem Z Z 1,, Z n, zatem Z skoro Z 1,, Z n, to Z Z 1,, Z n, więc Z Z 1 Z n Z Z 1,, Z n Z Z, ponieważ Z 1,, Z n... kreska inferencyjna gdzie Z 1,, Z n symbolizują przesłanki, zaś Z wniosek.

Często jednak (zazwyczaj?) wnioskowania ubieramy w formę wypowiedzi argumentacyjnych wypowiedzi, za pomocą których chcemy nakłonić kogoś do przyjęcia bądź odrzucenia pewnych poglądów. Wypowiedzi argumentacyjne oprócz wnioskowań (składników logicznych) zawierają również składniki retoryczne nieistotne z punktu widzenia logiki, ale istotne jako (pozaracjonalne) środki perswazji.

Rozważmy taką oto wypowiedź argumentacyjną: Tylko ślepy nie widzi, że X to zwykły faszysta. Czy nie faszyści właśnie, jak jeden mąż, jak stado baranów, opowiadają się zawsze za dyktaturą? I otóż nasz X zaleca dyktaturę właśnie jako panaceum na wszelkie trudności, przed którymi stajemy po latach niewoli. Cóż, widocznie ten człowiek nie czuje się dobrze w demokracji. I we własnym kraju. Chce, żebyśmy znów zgodzili się na łańcuchy. Jeżeli to nie faszyzm, to jak to nazwać? W gruncie rzeczy, można ją sprowadzić do wnioskowania następującego: Wszyscy faszyści opowiadają się za dyktaturą. X opowiada się za dyktaturą. X jest faszystą. [za: Teresa Hołówka, Kultura logiczna w przykładach]

Rozważmy następujące wnioskowania: Jeżeli Jaś kocha Małgosię, to nosi jej dużo kwiatów. Jaś kocha Małgosię. Jaś nosi Małgosi dużo kwiatów. Jeżeli Jaś kocha Małgosię, to nosi jej dużo kwiatów. Jaś nosi Małgosi dużo kwiatów. Jaś kocha Małgosię. Załóżmy, że ich przesłanki są prawdziwe. Co możemy wówczas powiedzieć o wartościach logicznych wniosków?

Rozważmy następujące wnioskowania: Jaś albo pojedzie w góry, albo całe wakacje przesiedzi w domu. Ale nie ma mowy, żeby Jaś całe wakacje przesiedział w domu! Jaś pojedzie w góry. Rysio, kolega Jasia z klasy, troszkę się jąkał. Stefanek, też Jasiowy kolega z klasy, również jąkał się nieco. Zdziś, z którym Jaś siedział w jednej ławce, jąkał się bardziej. Wszyscy koledzy z klasy Jasia jąkali się. Załóżmy, że ich przesłanki są prawdziwe. Co możemy wówczas powiedzieć o wartościach logicznych wniosków?

A w takim wnioskowaniu? Dziś jest poniedziałek. W tym budynku jest parzysta liczba okien. Na dodatek temperatura powietrza jest dodatnia. Mama Jasia skończyła 60 lat!

Klasyfikacji krok I wnioskowania niezawodne uprawdopodabniające logicznie bezwartościowe

wnioskowania niezawodne wnioskowania, w których mamy prawo uznać wniosek z takim samym stopniem pewności, z jakim uznajemy przesłanki uprawdopodabniające logicznie bezwartościowe

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

wnioskowania niezawodne uprawdopodabniające logicznie bezwartościowe wiadomo

wnioskowania niezawodne wnioskowania dedukcyjne... uprawdopodabniające wnioskowania redukcyjne wnioskowanie przez analogię... logicznie bezwartościowe wnioskowania indukcyjne

Wnioskowania dedukcyjne Wnioskowanie dedukcyjne to takie wnioskowanie, w którym wniosek wynika logicznie z koniunkcji przesłanek. Czy wnioskowanie: Jeżeli Jaś kocha Małgosię, to nosi jej dużo kwiatów. Jaś kocha Małgosię. Jaś nosi Małgosi dużo kwiatów. jest dedukcyjne?

Czy wnioskowanie: Jeżeli Jaś kocha Małgosię, to nosi jej dużo kwiatów. Jaś kocha Małgosię. Jaś nosi Małgosi dużo kwiatów. jest dedukcyjne? Czy ze zdania: Jeżeli Jaś kocha Małgosię, to nosi jej dużo kwiatów i Jaś kocha Małgosię wynika logicznie zdanie Jaś nosi Małgosi dużo kwiatów? Czy formuła ((p q) p) q jest tautologią?

Wnioskowanie postaci: Z 1,, Z n jest dedukcyjne wtedy i tylko wtedy, gdy formuła: jest tautologią Z (A 1 A n ) B (gdzie formuły A 1,, A n są schematami kolejnych przesłanek Z 1,, Z n, zaś formuła B jest schematem wniosku Z).

Jeśli wnioskowanie postaci: jest dedukcyjne, to jego schemat Z 1,, Z n Z A 1,, A n nazywamy niezawodnym schematem wnioskowania B (gdzie formuły A 1,, A n są schematami kolejnych przesłanek Z 1,, Z n, zaś formuła B jest schematem wniosku Z).

Nb. porównajmy definicję wnioskowania dedukcyjnego: Wnioskowanie dedukcyjne to takie wnioskowanie, w którym wniosek wynika logicznie z koniunkcji przesłanek. (wnioskowanie, w którym, jeśli prawdziwe są przesłanki, to wniosek też musi być prawdziwy) z Arystotelesową definicją (poprawnego) sylogizmu: Sylogizm jest to rozumowanie, w którym, gdy się coś założy, coś innego niż się założyło wynika, dlatego że się założyło, na mocy konieczności. (Arystoteles, Analityki Pierwsze, 24b)

Czy wnioskowanie: Każdy kot jest ssakiem. Każdy ssak jest kręgowcem. Każdy kot jest kręgowcem. jest dedukcyjne? Formalizacja i badanie tautologiczności w rachunku zdań nie będą tu specjalnie pomocne. Ale wiemy, że sylogizm postaci: SaM MaP SaP jest poprawny. I cóż stąd?

No i wystarczy. Poprawność sylogizmów oznacza właśnie tyle, że są one schematami wnioskowań dedukcyjnych. Rzecz jasna, definicja pojęcia tautologii na gruncie sylogistyki (i, tym bardziej, KRP) jest inna niż w przypadku KRZ, ale idea jest ta sama: tautologia to taka formuła, która jest schematem wyłącznie prawdziwych zdań. Tautologiczność formuły (SaM MaP) SaP moglibyśmy sprawdzić korzystając, np., z diagramów Venna. W przypadku sylogistyki dla badania poprawności dedukcyjności wnioskowań mamy jednak narzędzie prostsze pięć warunków poprawności.

A czy wnioskowanie Każdy pies jest ssakiem. Każdy pies jest kręgowcem. jest dedukcyjne?

Przypomnijmy, ze zdania Każdy pies jest ssakiem zdanie Każdy pies jest kręgowcem wynika entymematycznie, z uwagi na zdanie Każdy ssak jest kręgowcem. Podobnie wnioskowanie Każdy pies jest ssakiem. Każdy pies jest kręgowcem. jest wnioskowaniem entymematycznym (dla każdego, kto oprócz przesłanki wygłoszonej explicite, tj. zdania Każdy pies jest ssakiem, uznaje również przesłankę entymematyczną zdanie Każdy ssak jest kręgowcem).

Pouczająca, jak zwykle, historia, tym razem o pożytkach z wnioskowań dedukcyjnych, czyli o tym, co stosowanie takich narzędzi gwarantuje, a czego nie.

Klasyfikacja wnioskowań, cz. I pojęcie wnioskowania Pozostanie: wnioskowania a wypowiedzi argumentacyjne wnioskowania: - niezawodne - uprawdopodabniające wnioskowania dedukcyjne - co to? - jak badać dedukcyjność wnioskowań? wnioskowania entymematyczne