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

Transkrypt

1 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 testu z filozofii jest zaliczenie testu z logiki i zaliczenie ćwiczeń; gdy ocena z testu z filozofii jest wyższa od oceny z testu z logiki, to wpisuję ocenę z egzaminu z filozofii; w przeciwnym wypadku wpisuję średnią; można uzyskać bonus z ćwiczen, w postaci pół oceny, gdy ocena z całości egzaminu jest pozytywna. 1

2 LOGIKA

3 DZIAŁY LOGIKI semiotyka nauka o znaku

4 DZIAŁY LOGIKI semiotyka nauka o znaku metodologia ogólna teoria czynności takich jak definiowanie, wnioskowanie, klasyfikacja

5 DZIAŁY LOGIKI semiotyka nauka o znaku metodologia ogólna teoria czynności takich jak definiowanie, wnioskowanie, klasyfikacja logika formalna bada schematy rozumowań niezawodnych, czyli takich które od prawdziwych przesłanek prowadzą zawsze do prawdziwych wniosków

6 SEMIOTYKA Semiotyka nauka o znaku znak coś, co wskazuje na coś co jest poza nim samym

7 SEMIOTYKA Semiotyka nauka o znaku znak coś, co wskazuje na coś co jest poza nim samym znaki (konwencjonalne) znak drogowy biała flaga wyrażenia języka

8 SEMIOTYKA Semiotyka nauka o znaku znak coś, co wskazuje na coś co jest poza nim samym znaki (konwencjonalne) znak drogowy oznaki (związek przyczynowo-skutkowy; brak nadawcy) temperatura jako oznaka choroby ślady dzika jako oznaka tego, że dzik tędy przebiegł biała flaga wyrażenia języka

9 trójkąt semiotyczny: SEMIOTYKA

10 SEMIOTYKA trójkąt semiotyczny: nośnik znaku desygnat znaku użytkownik znaku

11 SEMIOTYKA trójkąt semiotyczny: nośnik znaku desygnat znaku użytkownik znaku nośnik znaku przedmiot, który występuje w roli znaku

12 SEMIOTYKA trójkąt semiotyczny: nośnik znaku desygnat znaku użytkownik znaku nośnik znaku przedmiot, który występuje w roli znaku desygnat znaku przedmiot, do którego znak się odnosi

13 SEMIOTYKA trójkąt semiotyczny: nośnik znaku desygnat znaku użytkownik znaku nośnik znaku przedmiot, który występuje w roli znaku desygnat znaku przedmiot, do którego znak się odnosi użytkownik znaku podmiot, dla którego coś jest znakiem czegoś innego; nadawca bądź odbiorca znaku

14 SEMIOTYKA działy semiotyki: syntaktyka, semantyka, pragmatyka

15 SEMIOTYKA działy semiotyki: syntaktyka, semantyka, pragmatyka syntaktyka badanie relacji zachodzących pomiędzy znakami

16 SEMIOTYKA działy semiotyki: syntaktyka, semantyka, pragmatyka syntaktyka badanie relacji zachodzących pomiędzy znakami zagadnienia:

17 SEMIOTYKA działy semiotyki: syntaktyka, semantyka, pragmatyka syntaktyka badanie relacji zachodzących pomiędzy znakami zagadnienia: zasady budowy wyrażeń złożonych z wyrażeń prostych

18 SEMIOTYKA działy semiotyki: syntaktyka, semantyka, pragmatyka syntaktyka badanie relacji zachodzących pomiędzy znakami zagadnienia: zasady budowy wyrażeń złożonych z wyrażeń prostych kategorie syntaktyczne

19 SEMIOTYKA działy semiotyki: syntaktyka, semantyka, pragmatyka syntaktyka badanie relacji zachodzących pomiędzy znakami zagadnienia: zasady budowy wyrażeń złożonych z wyrażeń prostych kategorie syntaktyczne poprawność składniowa

20 SEMIOTYKA semantyka badanie relacji zachodzących pomiędzy znakami, a tym do czego znaki się odnoszą

21 SEMIOTYKA semantyka badanie relacji zachodzących pomiędzy znakami, a tym do czego znaki się odnoszą zagadnienia:

22 SEMIOTYKA semantyka badanie relacji zachodzących pomiędzy znakami, a tym do czego znaki się odnoszą zagadnienia: znaczenie

23 SEMIOTYKA semantyka badanie relacji zachodzących pomiędzy znakami, a tym do czego znaki się odnoszą zagadnienia: znaczenie oznaczanie (denotowanie, desygnowanie)

24 SEMIOTYKA semantyka badanie relacji zachodzących pomiędzy znakami, a tym do czego znaki się odnoszą zagadnienia: znaczenie oznaczanie (denotowanie, desygnowanie) prawdziwość

25 SEMIOTYKA semantyka badanie relacji zachodzących pomiędzy znakami, a tym do czego znaki się odnoszą zagadnienia: znaczenie oznaczanie (denotowanie, desygnowanie) prawdziwość spełnianie

26 SEMIOTYKA semantyka badanie relacji zachodzących pomiędzy znakami, a tym do czego znaki się odnoszą zagadnienia: znaczenie oznaczanie (denotowanie, desygnowanie) prawdziwość spełnianie zakres nazwy

27 SEMIOTYKA pragmatyka badanie relacji zachodzących pomiędzy znakami, a użytkownikami znaków

28 SEMIOTYKA pragmatyka badanie relacji zachodzących pomiędzy znakami, a użytkownikami znaków zagadnienia:

29 SEMIOTYKA pragmatyka badanie relacji zachodzących pomiędzy znakami, a użytkownikami znaków zagadnienia: kontekst użycia wyrażenia

30 SEMIOTYKA pragmatyka badanie relacji zachodzących pomiędzy znakami, a użytkownikami znaków zagadnienia: kontekst użycia wyrażenia idealny użytkownik znaku

31 podstawowe typy definicji METODOLOGIA OGÓLNA

32 METODOLOGIA OGÓLNA podstawowe typy definicji zasady poprawnego definiowania

33 METODOLOGIA OGÓLNA podstawowe typy definicji zasady poprawnego definiowania najczęściej popełniane błędy w definiowaniu

34 METODOLOGIA OGÓLNA podstawowe typy definicji zasady poprawnego definiowania najczęściej popełniane błędy w definiowaniu podstawowe typy rozumowań

35 METODOLOGIA OGÓLNA podstawowe typy definicji zasady poprawnego definiowania najczęściej popełniane błędy w definiowaniu podstawowe typy rozumowań najczęściej popełniane błędy w rozumowaniach

36 LOGIKA FORMALNA Klasyczny rachunek zdań KRZ

37 LOGIKA FORMALNA Klasyczny rachunek zdań KRZ Klasyczny rachunek predykatów KRP

38 LOGIKA FORMALNA Klasyczny rachunek zdań KRZ Klasyczny rachunek predykatów KRP założenie logiki klasycznej:

39 LOGIKA FORMALNA Klasyczny rachunek zdań KRZ Klasyczny rachunek predykatów KRP założenie logiki klasycznej: zasada biwalencji każde zdanie jest prawdziwe bądź fałszywe

40 LOGIKA FORMALNA Klasyczny rachunek zdań KRZ Klasyczny rachunek predykatów KRP założenie logiki klasycznej: zasada biwalencji każde zdanie jest prawdziwe bądź fałszywe zdaniem w sensie logiki jest stwierdzenie, które może być oceniane w kategorii prawdy i fałszu

41 LOGIKA FORMALNA Klasyczny rachunek zdań KRZ Klasyczny rachunek predykatów KRP założenie logiki klasycznej: zasada biwalencji każde zdanie jest prawdziwe bądź fałszywe zdaniem w sensie logiki jest stwierdzenie, które może być oceniane w kategorii prawdy i fałszu wartość logiczna zdania prawda lub fałsz

42 LOGIKA FORMALNA Klasyczny rachunek zdań KRZ Klasyczny rachunek predykatów KRP założenie logiki klasycznej: zasada biwalencji każde zdanie jest prawdziwe bądź fałszywe zdaniem w sensie logiki jest stwierdzenie, które może być oceniane w kategorii prawdy i fałszu wartość logiczna zdania prawda lub fałsz 1 lub 0

43 KLASYCZNY RACHUNEK ZDAŃ zdania proste i zdania złożone zdanie jest złożone w sensie logiki, gdy jego częścią właściwą jest inne zdanie oraz gdy występuje w nim funktor zdaniotwórczy od argumentów zdaniowych Nieprawda, że pada deszcz.

44 KLASYCZNY RACHUNEK ZDAŃ zdania proste i zdania złożone zdania jest złożone w sensie logiki, gdy jego częścią właściwą jest inne zdanie oraz gdy występuje w nim funktor zdaniotwórczy od argumentów zdaniowych Nieprawda, że pada deszcz.

45 KLASYCZNY RACHUNEK ZDAŃ zdania proste i zdania złożone zdania jest złożone w sensie logiki, gdy jego częścią właściwą jest inne zdanie oraz gdy występuje w nim funktor zdaniotwórczy od argumentów zdaniowych Nieprawda, że pada deszcz. Możliwe, że Adam Małysz zdobędzie złoty medal na następnej olimpiadzie.

46 KLASYCZNY RACHUNEK ZDAŃ zdania proste i zdania złożone zdania jest złożone w sensie logiki, gdy jego częścią właściwą jest inne zdanie oraz gdy występuje w nim funktor zdaniotwórczy od argumentów zdaniowych Nieprawda, że pada deszcz. Możliwe, że Adam Małysz zdobędzie złoty medal na następnej olimpiadzie.

47 KLASYCZNY RACHUNEK ZDAŃ zdania proste i zdania złożone zdania jest złożone w sensie logiki, gdy jego częścią właściwą jest inne zdanie oraz gdy występuje w nim funktor zdaniotwórczy od argumentów zdaniowych Nieprawda, że pada deszcz. Możliwe, że Adam Małysz zdobędzie złoty medal na następnej olimpiadzie. Widzę i opisuję.

48 KLASYCZNY RACHUNEK ZDAŃ zdania proste i zdania złożone zdania jest złożone w sensie logiki, gdy jego częścią właściwą jest inne zdanie oraz gdy występuje w nim funktor zdaniotwórczy od argumentów zdaniowych Nieprawda, że pada deszcz. Możliwe, że Adam Małysz zdobędzie złoty medal na następnej olimpiadzie. Widzę i opisuję.

49 KLASYCZNY RACHUNEK ZDAŃ zdania proste i zdania złożone zdania jest złożone w sensie logiki, gdy jego częścią właściwą jest inne zdanie oraz gdy występuje w nim funktor zdaniotwórczy od argumentów zdaniowych Nieprawda, że pada deszcz. Możliwe, że Adam Małysz zdobędzie złoty medal na następnej olimpiadzie. Widzę i opisuję.

50 KLASYCZNY RACHUNEK ZDAŃ zdania proste i zdania złożone zdania jest złożone w sensie logiki, gdy jego częścią właściwą jest inne zdanie oraz gdy występuje w nim funktor zdaniotwórczy od argumentów zdaniowych Nieprawda, że pada deszcz. Możliwe, że Adam Małysz zdobędzie złoty medal na następnej olimpiadzie. Widzę i opisuję.

51 wybrane spójniki: KLASYCZNY RACHUNEK ZDAŃ

52 KLASYCZNY RACHUNEK ZDAŃ wybrane spójniki: nieprawda, że negacja

53 KLASYCZNY RACHUNEK ZDAŃ wybrane spójniki: nieprawda, że negacja Nieprawda, że pada deszcz.

54 KLASYCZNY RACHUNEK ZDAŃ wybrane spójniki: nieprawda, że negacja Nieprawda, że pada deszcz. i koniunkcja

55 KLASYCZNY RACHUNEK ZDAŃ wybrane spójniki: nieprawda, że negacja Nieprawda, że pada deszcz. i koniunkcja Widzę i opisuję.

56 KLASYCZNY RACHUNEK ZDAŃ wybrane spójniki: nieprawda, że negacja Nieprawda, że pada deszcz. i koniunkcja Widzę i opisuję. lub alternatywa

57 KLASYCZNY RACHUNEK ZDAŃ wybrane spójniki: nieprawda, że negacja Nieprawda, że pada deszcz. i koniunkcja Widzę i opisuję. lub alternatywa Napiszę lub zatelefonuję.

58 KLASYCZNY RACHUNEK ZDAŃ wybrane spójniki: nieprawda, że negacja Nieprawda, że pada deszcz. i koniunkcja Widzę i opisuję. lub alternatywa Napiszę lub zatelefonuję. jeżeli, to implikacja

59 KLASYCZNY RACHUNEK ZDAŃ wybrane spójniki: nieprawda, że negacja Nieprawda, że pada deszcz. i koniunkcja Widzę i opisuję. lub alternatywa Napiszę lub zatelefonuję. jeżeli, to implikacja Jeżeli dziś jest poniedziałek, to mogę pospać dłużej.

60 KLASYCZNY RACHUNEK ZDAŃ wybrane spójniki: nieprawda, że negacja Nieprawda, że pada deszcz. i koniunkcja Widzę i opisuję. lub alternatywa Napiszę lub zatelefonuję. jeżeli, to implikacja Jeżeli dziś jest poniedziałek, to mogę pospać dłużej. wtedy i tylko wtedy, gdy równoważność

61 KLASYCZNY RACHUNEK ZDAŃ wybrane spójniki: nieprawda, że negacja Nieprawda, że pada deszcz. i koniunkcja Widzę i opisuję. lub alternatywa Napiszę lub zatelefonuję. jeżeli, to implikacja Jeżeli dziś jest poniedziałek, to mogę pospać dłużej. wtedy i tylko wtedy, gdy równoważność Golił sam siebie wtedy i tylko wtedy, gdy nie golił innych.

62 SPÓJNIKI EKSTENSJONALNE I INTENSJONALNE spójniki ekstensjonalne wartość logiczna zdania złożonego przy ich pomocy zależy wyłącznie od wartości logicznej zdań złożonych Nieprawda, że Kraków leży nad Wisłą.

63 SPÓJNIKI EKSTENSJONALNE I INTENSJONALNE spójniki ekstensjonalne wartość logiczna zdania złożonego przy ich pomocy zależy wyłącznie od wartości logicznej zdań złożonych Nieprawda, że Kraków leży nad Wisłą.

64 SPÓJNIKI EKSTENSJONALNE I INTENSJONALNE spójniki ekstensjonalne wartość logiczna zdania złożonego przy ich pomocy zależy wyłącznie od wartości logicznej zdań złożonych Nieprawda, że

65 SPÓJNIKI EKSTENSJONALNE I INTENSJONALNE spójniki ekstensjonalne wartość logiczna zdania złożonego przy ich pomocy zależy wyłącznie od wartości logicznej zdań składowych Nieprawda, że = 7.

66 SPÓJNIKI EKSTENSJONALNE I INTENSJONALNE spójniki ekstensjonalne wartość logiczna zdania złożonego przy ich pomocy zależy wyłącznie od wartości logicznej zdań składowych Nieprawda, że

67 SPÓJNIKI EKSTENSJONALNE I INTENSJONALNE spójniki ekstensjonalne wartość logiczna zdania złożonego przy ich pomocy zależy wyłącznie od wartości logicznej zdań złożonych Nieprawda, że Ziemia jest kulista.

68 SPÓJNIKI EKSTENSJONALNE I INTENSJONALNE spójniki ekstensjonalne wartość logiczna zdania złożonego przy ich pomocy zależy wyłącznie od wartości logicznej zdań złożonych Nieprawda, że

69 SPÓJNIKI EKSTENSJONALNE I INTENSJONALNE spójniki ekstensjonalne wartość logiczna zdania złożonego przy ich pomocy zależy wyłącznie od wartości logicznej zdań złożonych Nieprawda, że Ziemia jest płaska. p Nieprawda, że p

70 SPÓJNIKI EKSTENSJONALNE I INTENSJONALNE Konieczne, że.

71 SPÓJNIKI EKSTENSJONALNE I INTENSJONALNE Konieczne, że. Konieczne, że = 4.

72 SPÓJNIKI EKSTENSJONALNE I INTENSJONALNE Konieczne, że. Konieczne, że = 4. Konieczne, że jeśli dziś jest środa, to jutro jest czwartek.

73 SPÓJNIKI EKSTENSJONALNE I INTENSJONALNE Konieczne, że. Konieczne, że = 4. Konieczne, że jeśli dziś jest środa, to jutro jest czwartek. Konieczne, że Wisła jest zanieczyszczona.

74 SPÓJNIKI EKSTENSJONALNE I INTENSJONALNE Konieczne, że. Konieczne, że = 4. Konieczne, że jeśli dziś jest środa, to jutro jest czwartek. Konieczne, że Wisła jest zanieczyszczona. Konieczne, że urząd premiera III RP sprawuje przedstawiciel największego klubu poselskiego.

75 SPÓJNIKI EKSTENSJONALNE I INTENSJONALNE Konieczne, że. Konieczne, że = 4. Konieczne, że jeśli dziś jest środa, to jutro jest czwartek. Konieczne, że Wisła jest zanieczyszczona. Konieczne, że urząd premiera III RP sprawuje przedstawiciel największego klubu poselskiego. spójniki intensjonalne

76 SPÓJNIKI EKSTENSJONALNE I INTENSJONALNE Konieczne, że. Konieczne, że = 4. Konieczne, że jeśli dziś jest środa, to jutro jest czwartek. Konieczne, że Wisła jest zanieczyszczona. Konieczne, że urząd premiera III RP sprawuje przedstawiciel największego klubu poselskiego. spójniki intensjonalne wartość logiczna zdania złożonego przy ich pomocy zależy nie tylko od wartości logicznej zdań składowych, ale także od ich treści

77 SPÓJNIKI EKSTENSJONALNE I INTENSJONALNE nieprawda, że; i; lub; jeżeli, to; wtedy i tylko wtedy, gdy -- to spójniki ekstensjonalne treść jest balastem w badaniu poprawności wnioskowań wyrażonych w języku ze spójnikami ekstensjonalnymi jedynie.

78 Alfabet KRZ: JĘZYK KRZ

79 JĘZYK KRZ Alfabet KRZ: 1. nieskończony zbiór zmiennych zdaniowych:

80 JĘZYK KRZ Alfabet KRZ: 1. nieskończony zbiór zmiennych zdaniowych: p, q, r,, p 1, p 2,, q 1, q 2,

81 JĘZYK KRZ Alfabet KRZ: 1. nieskończony zbiór zmiennych zdaniowych: p, q, r,, p 1, p 2,, q 1, q 2, 2. zbiór stałych logicznych (funktorów zdaniotwórczych):

82 JĘZYK KRZ Alfabet KRZ: 1. nieskończony zbiór zmiennych zdaniowych: p, q, r,, p 1, p 2,, q 1, q 2, 2. zbiór stałych logicznych (funktorów zdaniotwórczych): ~ negacja nieprawda, że

83 JĘZYK KRZ Alfabet KRZ: 1. nieskończony zbiór zmiennych zdaniowych: p, q, r,, p 1, p 2,, q 1, q 2, 2. zbiór stałych logicznych (funktorów zdaniotwórczych): ~ negacja nieprawda, że koniunkcja i

84 JĘZYK KRZ Alfabet KRZ: 1. nieskończony zbiór zmiennych zdaniowych: p, q, r,, p 1, p 2,, q 1, q 2, 2. zbiór stałych logicznych (funktorów zdaniotwórczych): ~ negacja nieprawda, że koniunkcja i alternatywa lub

85 JĘZYK KRZ Alfabet KRZ: 1. nieskończony zbiór zmiennych zdaniowych: p, q, r,, p 1, p 2,, q 1, q 2, 2. zbiór stałych logicznych (funktorów zdaniotwórczych): ~ negacja nieprawda, że koniunkcja i alternatywa lub implikacja jeżeli, to

86 JĘZYK KRZ Alfabet KRZ: 1. nieskończony zbiór zmiennych zdaniowych: p, q, r,, p 1, p 2,, q 1, q 2, 2. zbiór stałych logicznych (funktorów zdaniotwórczych): ~ negacja nieprawda, że koniunkcja i alternatywa lub implikacja jeżeli, to równoważność wtedy i tylko wtedy, gdy

87 JĘZYK KRZ Alfabet KRZ: 1. nieskończony zbiór zmiennych zdaniowych: p, q, r,, p 1, p 2,, q 1, q 2, 2. zbiór stałych logicznych (funktorów zdaniotwórczych): ~ negacja nieprawda, że koniunkcja i alternatywa lub implikacja jeżeli, to równoważność wtedy i tylko wtedy, gdy 3. nawiasy: (,).

88 JĘZYK KRZ DEFINICJA: wyrażenie KRZ Wyrażeniem języka KRZ jest każdy skończony ciąg symboli alfabetu KRZ.

89 JĘZYK KRZ DEFINICJA: wyrażenie KRZ Wyrażeniem języka KRZ jest każdy skończony ciąg symboli alfabetu KRZ. DEFINICJA: formuła KRZ

90 JĘZYK KRZ DEFINICJA: wyrażenie KRZ Wyrażeniem języka KRZ jest każdy skończony ciąg symboli alfabetu KRZ. DEFINICJA: formuła KRZ Formułą języka KRZ (wyrażeniem sensownym KRZ) jest każde i tylko takie wyrażenie, które spełnia następujące warunki:

91 JĘZYK KRZ DEFINICJA: wyrażenie KRZ Wyrażeniem języka KRZ jest każdy skończony ciąg symboli alfabetu KRZ. DEFINICJA: formuła KRZ Formułą języka KRZ (wyrażeniem sensownym KRZ) jest każde i tylko takie wyrażenie, które spełnia następujące warunki: Każda zmienna zdaniowa jest formułą KRZ.

92 JĘZYK KRZ DEFINICJA: wyrażenie KRZ Wyrażeniem języka KRZ jest każdy skończony ciąg symboli alfabetu KRZ. DEFINICJA: formuła KRZ Formułą języka KRZ (wyrażeniem sensownym KRZ) jest każde i tylko takie wyrażenie, które spełnia następujące warunki: Każda zmienna zdaniowa jest formułą KRZ. Jeżeli α i β są formułami KRZ, to (α β), (α β), (α β), (α β) i ~(α) też są formułami KRZ.

93 Co trzeba koniecznie wiedzieć lub znać z tego wykładu? definicję wyrażenia i formuły KRZ rozróżnienie: spójniki ekstensjonalne a intensjonalne co to jest zasada dwuwartościowości? co to jest zdanie w sensie logicznym? 29