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

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

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

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

8 Tup! Nie! Klask!

9

10 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.

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

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

13 Naturalny Sztuczny

14 Język I rzędu Metajęzyk

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

16 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.

17 Przesłanki Wniosek

18 Indukcja Dedukcja Dialektyka

19 Zdania Nazwy

20 KRZ

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

22 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ą.

23 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?

24 A teraz urośnie mi nos.

25 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ą.

26 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?

27 Formalne Semantyczne

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

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

30 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.

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

32 Prawda = 1 Fałsz = 0

33 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

34 p ~p

35 p q p ^ q p v q p q p q

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

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

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

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

40 ~(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

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

42 Metoda tabelkowa Metoda skrócona

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

44 Zdanie, którego schemat jest tautologią

45 Zdanie, którego schemat jest kontrtautologią

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

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

48 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

49 p ~q q ~p 0

50 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.

51

52 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

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

54 Prosta Formalna Materialna

55 S P M Q

56 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)

57 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.

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

59 S P

60 ZAMIENNOŚĆ S P

61 PODRZĘDNOŚĆ S P

62 NADRZEDNOŚĆ S P

63 KRZYŻOWANIE S P

64 WYKLUCZANIE S P

65 A- Kot B - Ssak A B

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

67 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

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

69 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

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

71 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

72 SaP - S P

73 SeP - S P

74 SiP + S P

75 SoP + S P

76 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

77 S M P

78 SaM S M P

79 SaM S M - P

80 SaM MaP S - - M P

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

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

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

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

85

86 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

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

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

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

90 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.

91 Sprawozdawcze Projektujące Regulujące

92 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.

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

94 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

95 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.

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

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

98 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.