Logos (gr. Słowo, myśl) Nauka o poprawności rozumowań

Transkrypt

1

2 Logos (gr. Słowo, myśl) Nauka o poprawności rozumowań

3 Semiotyka Semantyka Syntaktyka Logika formalna Ogólna metodologia nauk

4 Wprowadził logikę do kanonu nauk Logika klasyczna opierająca się na dwóch wartościach: prawdy lub fałszu Logika zdań kategorycznych

5 Logika zdań hipotetycznych, Logika rozumowań

6 Modalne Konieczność, możliwość Deontyczne Powinność, norma Erotetyczne Pytania Epistemiczne Sposoby wyrażania wiedzy i przekonań Temproalne Czas

7 Klasa przedmiotów o tym samym sposobie istnienia Słonik, pióro, nocnik Czerwony, śmierdzący Palenie, paskudzenie

8 Substancja Jakość Ilość Miejsce Czas Relacja Położenie Posiadanie Działanie Doznawanie

9 Rzeczy Ilości Jakości Relacje Modalność

10 Pojęcia zastępowalne bez szkodliwości dla konstrukcji wypowiedzi (poziom syntaktyczny a nie semantyczny)

11 Nazwy Zdania

12 ĆWICZENIE

13 Tup! Nie! Klask!

14

15 Układ rzeczy lub zjawisko wywołany świadomie i mający na celu wywołanie określonych myśli. Sam układ rzeczy jest jedynie materialnym substratem znaku. Oznaka wszystko co towarzysząc danemu zjawisku powoduje skierowanie myśli na konkretny cel (kaszel oznaką choroby) Znak jest wprowadzany intencjonalnie, oznaka nie.

16 System znaków mających znaczenie symboliczne i powiązanych wieloma regułami

17 Semantyczne (znaczeniowe) Co do zasobu słów Składniowe

18 Naturalny Sztuczny

19 Język I rzędu Metajęzyk

20 Opisowa Jasio ma jasne włosy Ekspresywna Jasio jest głupi jak but Sugestywna A wal Jasia! Performatywna Już nie będę Jasiowi dokuczał!

21 Zrozumienie Treści intencjonalne i odebrane są takie same (informacja = przekonanie) Nieporozumienie Treści odebrane są różne od intencjonalnych (informacja przekonanie) Niezrozumienie Treści intencjonalne są, ale nie zostają odebrane.

22 Wieloznaczność. Przyjdź z laską! Prowadzi do logomachii Wieloznaczność okazjonalna: On jej tam to powiedział.

23 Ekwiwokacja. Często człowiek ma w środku robaka co go gryzie, więc powinien wówczas łykać środki owadobójcze. Myślenie figuralne On ma tęgi łeb.

24

25 Sposoby uzasadniania twierdzeń Konstruowanie systemów naukowych Ogólne pojęcia metodologiczne Wnioskowanie Indukcja Dedukcja Klasyfikacja Metody stosowane w nauce

26 Wielość definicji, w zależności od aspektu (pragmatyczny, teoretyczny, etc.) System wiedzy przedstawiający obiektywną rzeczywistość.

27 Żródło: Apanowicz J. (2002), Ogólna metodologia nauk

28 Teoretyczne Praktyczne Ale również z uwagi na funkcje: Idiograficzne Nomotetyczne Eksplanacyjne Pragmatyczne Prognostyczne

29 Teoretyczne Praktyczne Metodologiczne

30 Jakie jest? Kryteria

31 Dialektyka (Platon) Systematyka (Arystoteles) Paradygmat (S. Kuhn) Falsyfikacjonizm (K. Popper)

32 P -> Tp -> Eb -> Tw Eb -> P2

33 Empiryczne Racjonalne

34 Analiza Synteza

35 Sprawdzanie Dowodzenie Wyjaśnianie

36 Wprost Nie-wprost

37 Genetyczne (z uwzględnieniem przemian) Funkcjonalne (uwzględniające wpływ na coś) Teleologiczne (z uwzględnieniem celu) Logiczne

38 Przesłanki Wniosek

39 Indukcja Dedukcja Analogia Dialektyka

40 Enumeracyjna Eliminacyjna

41 Prosta Zupełna Niezupełna

42 F. Bacon, J. S. Mill Polega na weryfikacji zgodnie z kanonami: Jedynej zgodności Jedynej różnicy Zmian towarzyszących

43 Rozumowanie od prawa do wyjaśnienia przypadku.

44 Teza+Antyteza=SYNTEZA

45

46 Nazwa to wyraz lub wyrażenie nadające się na podmiot lub orzecznik orzeczenia imiennego w zdaniu Nazwa posiada desygnat Zakres (denotacja) to zbiór desygnatów

47 Proste i złożone Abstrakcyjne i konkretne Indywidualne i generalne Jednostkowe, ogólne, puste. Kolektywne

48 Prosta Formalna Materialna

49 S P M Q

50 Zakres to zbiór możliwych desygnatów Zakres może być: OSTRY NIEOSTRY Brak elementu w zbiorze nie oznacza niemożności formułowania nazwy (nazwa pusta)

51 Dwa, lub więcej zakresów nazw (najczęściej generalnych) może pozostawać względem siebie w relacji zwanej stosunkiem między zakresami nazw lub stosunkiem zakresowym.

52 Zamienności Podrzędności/Nadrzędności Krzyżowania Wykluczania

53 S P

54 ZAMIENNOŚĆ S P

55 PODRZĘDNOŚĆ S P

56 NADRZEDNOŚĆ S P

57 KRZYŻOWANIE S P

58 WYKLUCZANIE S P

59 A- Kot B - Ssak A B

60 A Student B Mechanik

61 A licealista B 21 latek C - Student

62 A - tektura B pudełko C - opakowanie

63 A student B student SAN C student bezpieczeństwa narodowego

64

65 Ich zadaniem jest określenie znaczenia danej nazwy. Definiowanie ma znaczenie nie tylko dla zrozumienia pojęcia ale również (a z punktu widzenia logiki przede wszystkim) dla poprawnego określania zakresów. Definiowanie jest podstawą działań metodologicznych

66 Konstrukcja: DEFINIENDUM - ŁĄCZNIK - DEFINIENS Pralka automatyczna jest to międlobębnik obrotny z wsadownikiem górnym lub bocznym.

67 Konstrukcja: DEFINIENDUM - ŁĄCZNIK - DEFINIENS Pralka automatyczna jest to międlobębnik obrotny z wsadownikiem górnym lub bocznym.

68 Najstarsza definicja pochodzi od Arystotelesa. Jest to klasyczny schemat definicyjny: PER GENUS ET DIFFERENTIAM SPECIFICAM Człowiek jest to zwierzę rozumne, dwunogie, bezpióre.

69 REALNE: Opisują obiekt, najczęściej wyodrębniając jego cechy: Pies spacerowy jest to zestaw składający się z właściciela prowadzącego, smyczy wodzącej, obroży okalającej i psa właściwego. NOMINALNE: Opisują samo pojęcie, podając złożony odpowiednik: Młotek jest to impulsywnik kinetyczny z naprowadzaczem trzonkowym.

70 Sprawozdawcze Projektujące Regulujące

71 Poprawna definicja: Jest zrozumiała Jest prosta Zakresy definiendum i definiensa pozostają w stosunku zamienności (adekwatność) Definiendum i definiens są z tej samej kategorii ontologicznej.

72 Substancja Jakość Ilość Miejsce Czas Relacja Położenie Posiadanie Działanie Doznawanie

73 Definicja za wąska: Definiendum jest szersze od definiensa. Ołówek to drewniany, zielony przyrząd do pisania złożony z grafitu w drewnianej oprawie Definicja za szeroka: Definiendum jest węższe od definiensa. Tygrys jest to kot drapieżny

74 IDEM PER IDEM (To samo przez to samo) Uczciwe postępowanie jest to postępowanie zgodnie z zasadami uczciwości. IGNOTUM PER IGNOTUM Aspirnya jest to kwas acetylosalicylowy.

75 Błąd przesunięcia kategorialnego Czas jest to mierzenie zmian.

76 KRZ

77 W sensie językowym: Wypowiedzenie złożone zawierające określoną treść. W sensie gramatycznym: Wypowiedzenie zawierające orzeczenie.

78 W sensie logicznym wypowiedź możliwa do oceny z punktu widzenia prawdy lub fałszu. Karol ma dwie nogi. PRAWDA i FAŁSZ to wartości logiczne. Zdanie to wypowiedź posiadająca wartość logiczną.

79 Jasio jest Polakiem. Jasio będzie jadł jutro kaszankę. Jasio jadł wczoraj kaszankę. Jasio jest brzydki jak noc listopadowa. Czy państwo są już bardzo znudzeni?

80 A teraz urośnie mi nos.

81 Twierdzenie logiczne z pozoru prawidłowe, lecz prowadzące do sprzecznych wniosków. Paradoks kłamcy: Eubulides Kreteńczyk mawiał, że wszyscy Kreteńczycy kłamią.

82 Fryzjer, w pewnym mieście goli tych i tylko tych jego mieszkańców, którzy sami się nie golą. Czy fryzjer goli się sam?

83 Formalne Semantyczne

84 Rajcy nie dali młodym pozwolenia na zgromadzenie, ponieważ byli skinheadami. W sklepie Anastazji zrobiło się duszno. Moi przyjaciele poszli do kina.

85 Pojedyncze: p, q, r Krowa ma zeza. Złożone Krowa ma zeza a Józio grypę.

86 Zdanie proste (względem logiki zdań) jest to zdanie, które nie zawiera żadnego spójnika zdaniowego. Zdanie złożone (względem logiki zdań) jest to zdanie powstałe z innego zdania (lub z innych zdań) za pomocą jednego ze spójników zdaniowych.

87 Negacja Koniunkcja Alternatywa Implikacja Równoważność Alternatywa rozłączna

88 Prawda = 1 Fałsz = 0

89 Analityczne ich prawdziwość nie budzi wątpliwości. Krowa jest większa od królika, zatem królik jest mniejszy od krowy. Syntetyczne jego prawdziwość zależy od faktów pozajęzykowych nie można stwierdzić prawdziwości na podstawie samego zdania. Staszek ma więcej pryszczy niż Czesio

90 p ~p

91 p q p ^ q p v q p q p q

92 Jeśli p, q są formułami, to: ~p jest formułą p ^ q, p v q, p q, p q są formułami KRZ

93 Sprawdzanie wartości: ~(p q) (p ~q) p=1 (1 0 ) (1 ~0) q=0 0 (1 1) 1 1 1

94 [(p q) ^ p] q p q Φ 1 1? 1 0? 0 1? 0 0?

95 Tautologie, to zdania zawsze prawdziwe bez względu na wartość logiczną formuł w nim zawartych

96 ~(p ^~p) Niesprzeczność p v ~p Tertium non datur (wyłączony środek) [(p q) ^ p] q Modus ponendo ponens [(p q) ^ ~q] ~p Modus tollendo tollens ~(p ^ q) (~p v ~q) ~(p v q) (~p ^ ~q) Prawa de Morgana p p Prawo tożsamości

97 To zdanie, które jest fałszywe niezależnie od wartości logicznej formuł, które się nań składają

98 Metoda tabelkowa Metoda skrócona

99 [(p q) ^ (p ~q)] ~p ~(p q) (p q)

100 Zdanie, którego schemat jest tautologią

101 Jeżeli Zenon zostanie prezesem wtedy i tylko wtedy, gdy nie będzie uczciwy, to nie jest prawdą, że zarazem Zenon będzie uczciwy i zostanie prezesem. Jeżeli Zenon zostanie prezesem wtedy i tylko wtedy, gdy nie będzie uczciwy, to albo Zenon będzie uczciwy albo zostanie prezesem Jeżeli Zenon będzie prezesem wtedy i tylko wtedy, gdy zwolni Jerzego lub Mietka to jeśli Zenon nie zwolni Jerzego to nie zostanie prezesem.

102 Zdanie, którego schemat jest kontrtautologią

103 Przygodnie prawdziwe: Wykład z logiki jest w niedzielę Przygodnie fałszywe: Zwalniam wszystkich z egzaminu z logiki

104 Z prawdy nie może wynikać fałsz

105 Gospodarka rozwija się dobrze gdy podatki nie są zbyt wysokie. Jeżeli podatki są za wysokie to gospodarka nie rozwija się dobrze. p gospodarka rozwija się dobrze q podatki są za wysokie p ~q q ~p

106 p ~q q ~p 0

107 Jeśli na imprezie jest Krzysiek lub Kuba to impreza się nie udaje. Jeśli impreza się nie udała, to był na niej Krzysiek lub Kuba.

108 Jeśli Wacek dostał wypłatę, to jest w Barze lub u Zenka. Wacka nie ma w barze. Wacek nie dostał wypłaty.

109

110 Stanowiły początek logiki Wprowadzone przez Arystotelesa Są podstawą sylogistyki

111 Ogólnotwierdzące Każde S jest P SaP Ogólnoprzeczące Żadne S nie jest P SeP Szczegółowotwierdzące Niektóre S są P SiP Szczegółowoprzeczące Niektóre S nie są P SoP

112 SaP Przeciwieństwo SeP Podporządkowanie Podporządkowanie SPRZECZNOŚĆ SiP Podprzeciwieństwo SoP

113 SaP Przeciwieństwo SeP Podporządkowanie Podporządkowanie SPRZECZNOŚĆ Podprzeciwieństwo SiP SoP Przeciwieństwo: [(SaP) ~(SeP)] ^ [(SeP) ~(SaP)] Nie mogą być prawdziwe Podprzeciwieństwo: [~(SiP) (SoP)] ^ [~(SoP) (SiP)] Nie mogą być fałszywe

114 SaP Przeciwieństwo SeP Podporządkowanie Podporządkowanie SPRZECZNOŚĆ Podprzeciwieństwo SiP SoP Podporządkowanie: (SaP) (SiP) (SeP) (SoP)

115 SaP Przeciwieństwo SeP Podporządkowanie Podporządkowanie SPRZECZNOŚĆ Sprzeczność: (SaP) ~ (SoP) ~ (SaP) (SoP) (SoP) ~ (SaP) ~ (SoP) (SaP) (SeP) ~ (SiP) ~ (SeP) (SiP) (SiP) ~ (SeP) ~ (SiP) (SeP) SiP Podprzeciwieństwo SoP Nie mogą być razem ani prawdziwe ani fałszywe

116 SaP - S P

117 SeP - S P

118 SiP + S P

119 SoP + S P

120 Każdy poeta jest artystą Każdy artysta jest człowiekiem Każdy poeta jest człowiekiem S poeta M artysta P człowiek SaM MaP SaP

121 S M P

122 SaM S M P

123 SaM S M - P

124 SaM MaP S - - M P

125 SaM MaP S??? - - M SaP P

126 Niektórzy politycy są nacjonalistami. Każdy nacjonalista jest ograniczony. Zatem niektórzy politycy są ograniczeni.

127 Niektórzy wykładowcy są dobrymi fachowcami. Każdy dobry fachowiec dużo zarabia. Zatem każdy wykładowca dużo zarabia.

128 Niektóre biedronki są blisko Każda biedronka jest tania Niektóre tanie sklepy są blisko

129 Każdy pies jest ssakiem. Niektóre ssaki mają czarną sierść. Zatem niektóre psy mają czarną sierść.

130 Żaden artysta nie jest abstynentem Niektórzy logicy są artystami Niektórzy logicy nie są abstynentami

131

132 Relacja to związek łączący dwa obiekty Z punktu widzenia wypowiedzi relacja łączy dwie nazwy

133 Jednoczłonowe (własności) Dwuczłonowe (mniejszy, większy, grubszy, etc.) Wieloczłonowe (granie w Scrabble)

134 x, y człony relacji R relacja xry Lub R(x,y)

135 Dziedzina zbiór obiektów, które pozostają w relacji z jakimiś innymi obiektami [zbiór x, które są w relacji do jakiegoś y] Przeciwdziedzina zbiór obiektów, do których jakieś inne pozostają w relacji. [zbiór y, w relacji do których są jakieś x]

136 Relacja bycia niższym Relacja bycia żoną Relacja bycia dwukrotnością liczby

137 W celu określenia dziedziny tworzymy pary pozostające w relacji: R= {<2,1>, <4,2>, <6,3> } Wówczas widać, że dziedzina to zbiór liczb parzystych, a przeciwdzedzina nieparzystych

138 Pole relacji = dziedzina + przeciwdziedzina

139 Inaczej po prostu: pary Ważna jest kolejność elementów: (a,b) (b,a) Zapis najczęstszy: <a,b>

140 Iloczynem kartezjańskim zbiorów A i B nazywamy zbiór par uporządkowanych <a n,b n > takich, że a A i b B A x B Kwadrat kartezjański to iloczyn kartezjański zbioru ze sobą samym. Relacje to podzbiory kwadratu uniwersum.

141 1. {<a,a>, <a,b>, <a, c>, <b, d>} 2. x okradł y 3. x jest mniejszy od y 4. Relacja posiadania tego samego nazwiska

142 Zwrotność Relacja jest zwrotna gdy każdy element uniwersum jest w relacji do samego siebie. (bycie Gogaczem) Przeciwzwrotność Relacja jest przeciwzwrotna, gdy żaden element uniwersum nie jest w relacji z sobą samym (bycie matką) Relacja może być nie zwrotna i nie przeciwzwrotna (kochanie)

143 Symetryczność Relacja jest symetryczna gdy zachodzi pomiędzy oboma elementami w obie strony (jeśli w jedną to i w drugą) (bycie rodzeństwem) Asymetryczność Relacja jest asymetryczna gdy zachodzi tylko w jedną stronę (bycie ojcem) Niesymetryczność Relacja jest niesymetryczna, gdy bywa symetryczna, lecz nie zawsze. (nienawidzenie)

144 Przechodniość Relacja jest przechodnia gdy: (xry) ^ (yrz) (xrz) (bycie starszym) Nieprzechodniość (bycie znajomym) Spójność Relacja jest spójna gdy w polu relacji zachodzi ona między dwoma dowolnymi elementami (bycie mniejszym lub równym) Niespójność Relacja jest niespójna, gdy w polu relacji są elementy, które nie wchodzą w relację. (bycie siostrą)

145

146 Wykorzystywany w takich wnioskowaniach, w których niemożliwe jest ustalenie wniosku ani na podstawie KRZ ani KRN Opiera się na własnościach (predykatach)

147 Predykat własność P Np. Uczeń, śmierdzący, piękna, pielęgniarka Zmienna to (obiekt), co posiada własność x Stała określony obiekt posiadający własność a Funktory ^, v,, ~,

148 Uczeń: P- bycie uczniem x ktoś P(x) uczeń (ktoś, kto jest uczniem) a Jaś P (a) Jaś jest uczniem

149 To prawie to samo, bo: Możliwe są predykaty dwuelementowe: P Niższy P(x, y) P(x) to też relacja, ale jednoelementowa Choć

150 Są integralną częścią rachunku, zwanego też rachunkiem kwantyfikatorów. KRK różni się od relacji zmiennymi i tym, że mogą (i najczęściej są) określone pod względem ich zakresu.

151 Ogólny: Lub ^ x x Dla każdego x

152 Szczegółowy: lub v x x Istnieje takie x, że

153 W KRK jeśli zmienna jest określona kwantyfikatorem, jest zmienną związaną. W przeciwnym przypadku jest wolna.

154 Wszyscy jesteśmy ludźmi. Niektórzy są filozofami

155 Niektórzy politycy to złodzieje Każdy rasista jest graniczony Nie każdy logik jest abstynentem Niektórzy studenci nie uważają na zajęciach Nie każdy muzyk jest artystą