METODOLOGIA NAUK HUMANISTYCZNYCH

Wielkość: px
Rozpocząć pokaz od strony:

Download "METODOLOGIA NAUK HUMANISTYCZNYCH"

Transkrypt

1 NAUK HUMANISTYCZNYCH Katedra Logiki i Metodologii Nauk U L Lódź, semestr zimowy 2009/2010 NAUK HUMANISTYCZNYCH

2 Wyjaśnimy sobie kolejno co to jest: NAUK HUMANISTYCZNYCH

3 Wyjaśnimy sobie kolejno co to jest: metoda (naukowa) NAUK HUMANISTYCZNYCH

4 Wyjaśnimy sobie kolejno co to jest: metoda (naukowa) metodologia (nauk) NAUK HUMANISTYCZNYCH

5 Wyjaśnimy sobie kolejno co to jest: metoda (naukowa) metodologia (nauk) nauka NAUK HUMANISTYCZNYCH

6 Wyjaśnimy sobie kolejno co to jest: metoda (naukowa) metodologia (nauk) nauka nauki spo leczne (humanistyczne) NAUK HUMANISTYCZNYCH

7 METODA Metoda to sposób postȩpowania: NAUK HUMANISTYCZNYCH

8 METODA Metoda to sposób postȩpowania: systematyczny NAUK HUMANISTYCZNYCH

9 METODA Metoda to sposób postȩpowania: systematyczny powtarzalny NAUK HUMANISTYCZNYCH

10 METODA Metoda to sposób postȩpowania: systematyczny powtarzalny celowy NAUK HUMANISTYCZNYCH

11 METODA Metoda to sposób postȩpowania: systematyczny powtarzalny celowy racjonalny NAUK HUMANISTYCZNYCH

12 METODA Metoda to sposób postȩpowania: systematyczny powtarzalny celowy racjonalny efektywny NAUK HUMANISTYCZNYCH

13 NAUK Metodologia nauk ujmowana jest rozmaicie, m.in. jako teoria: NAUK HUMANISTYCZNYCH

14 NAUK Metodologia nauk ujmowana jest rozmaicie, m.in. jako teoria: metod naukowych, sposobów realizowania badań (aspekt czynnościowy m. pragmatyczna) NAUK HUMANISTYCZNYCH

15 NAUK Metodologia nauk ujmowana jest rozmaicie, m.in. jako teoria: metod naukowych, sposobów realizowania badań (aspekt czynnościowy m. pragmatyczna) wytworów tych czynności (np. teorii naukowych m. apragmatyczna) NAUK HUMANISTYCZNYCH

16 NAUK Metodologia nauk ujmowana jest rozmaicie, m.in. jako teoria: metod naukowych, sposobów realizowania badań (aspekt czynnościowy m. pragmatyczna) wytworów tych czynności (np. teorii naukowych m. apragmatyczna) ogólnych prawid lowości rozwoju nauki (= filozofia nauki) NAUK HUMANISTYCZNYCH

17 NAUK Metodologia nauk ujmowana jest rozmaicie, m.in. jako teoria: metod naukowych, sposobów realizowania badań (aspekt czynnościowy m. pragmatyczna) wytworów tych czynności (np. teorii naukowych m. apragmatyczna) ogólnych prawid lowości rozwoju nauki (= filozofia nauki) Uwagi na marginesie: NAUK HUMANISTYCZNYCH

18 NAUK Metodologia nauk ujmowana jest rozmaicie, m.in. jako teoria: metod naukowych, sposobów realizowania badań (aspekt czynnościowy m. pragmatyczna) wytworów tych czynności (np. teorii naukowych m. apragmatyczna) ogólnych prawid lowości rozwoju nauki (= filozofia nauki) Uwagi na marginesie: Inne pokrewne terminy: naukoznawstwo (Ossowscy), metanauka (Ajdukiewicz, Kotarbiński), (logiczna) teoria nauki (Wójcicki, Kmita), logika nauki, socjologia nauki itp. NAUK HUMANISTYCZNYCH

19 NAUK Metodologia nauk ujmowana jest rozmaicie, m.in. jako teoria: metod naukowych, sposobów realizowania badań (aspekt czynnościowy m. pragmatyczna) wytworów tych czynności (np. teorii naukowych m. apragmatyczna) ogólnych prawid lowości rozwoju nauki (= filozofia nauki) Uwagi na marginesie: Inne pokrewne terminy: naukoznawstwo (Ossowscy), metanauka (Ajdukiewicz, Kotarbiński), (logiczna) teoria nauki (Wójcicki, Kmita), logika nauki, socjologia nauki itp. Metodyka a metodologia: konkretne zbiory przepisów realizacji badań lub prezentacji wyników, nauczania dyscypliny. NAUK HUMANISTYCZNYCH

20 NAUK Sposoby uprawiania: NAUK HUMANISTYCZNYCH

21 NAUK Sposoby uprawiania: Metodologia nauk może być opisowa (jak jest) lub normatywna (jak być powinno) NAUK HUMANISTYCZNYCH

22 NAUK Sposoby uprawiania: Metodologia nauk może być opisowa (jak jest) lub normatywna (jak być powinno) Różne tradycje: NAUK HUMANISTYCZNYCH

23 NAUK Sposoby uprawiania: Metodologia nauk może być opisowa (jak jest) lub normatywna (jak być powinno) Różne tradycje: Metodologia nauk bywa traktowana m.in. jako dzia l NAUK HUMANISTYCZNYCH

24 NAUK Sposoby uprawiania: Metodologia nauk może być opisowa (jak jest) lub normatywna (jak być powinno) Różne tradycje: Metodologia nauk bywa traktowana m.in. jako dzia l 1 logiki ogólnej NAUK HUMANISTYCZNYCH

25 NAUK Sposoby uprawiania: Metodologia nauk może być opisowa (jak jest) lub normatywna (jak być powinno) Różne tradycje: Metodologia nauk bywa traktowana m.in. jako dzia l 1 logiki ogólnej 2 prakseologii NAUK HUMANISTYCZNYCH

26 NAUK Sposoby uprawiania: Metodologia nauk może być opisowa (jak jest) lub normatywna (jak być powinno) Różne tradycje: Metodologia nauk bywa traktowana m.in. jako dzia l 1 logiki ogólnej 2 prakseologii 3 naukoznawstwa NAUK HUMANISTYCZNYCH

27 NAUK Różne tradycje: NAUK HUMANISTYCZNYCH

28 NAUK Różne tradycje: ad. 2 T. Kotarbiński prakseologia (teoria skutecznego dzia lania) = metodologia ogólna = m. nauk NAUK HUMANISTYCZNYCH

29 NAUK Różne tradycje: ad. 2 T. Kotarbiński prakseologia (teoria skutecznego dzia lania) = metodologia ogólna = m. nauk ad. 3 M. i S. Ossowscy (1935) 5 dzia lów naukoznawstwa: NAUK HUMANISTYCZNYCH

30 NAUK Różne tradycje: ad. 2 T. Kotarbiński prakseologia (teoria skutecznego dzia lania) = metodologia ogólna = m. nauk ad. 3 M. i S. Ossowscy (1935) 5 dzia lów naukoznawstwa: 1 filozofia nauki NAUK HUMANISTYCZNYCH

31 NAUK Różne tradycje: ad. 2 T. Kotarbiński prakseologia (teoria skutecznego dzia lania) = metodologia ogólna = m. nauk ad. 3 M. i S. Ossowscy (1935) 5 dzia lów naukoznawstwa: 1 filozofia nauki 2 psychologia nauki NAUK HUMANISTYCZNYCH

32 NAUK Różne tradycje: ad. 2 T. Kotarbiński prakseologia (teoria skutecznego dzia lania) = metodologia ogólna = m. nauk ad. 3 M. i S. Ossowscy (1935) 5 dzia lów naukoznawstwa: 1 filozofia nauki 2 psychologia nauki 3 socjologia nauki NAUK HUMANISTYCZNYCH

33 NAUK Różne tradycje: ad. 2 T. Kotarbiński prakseologia (teoria skutecznego dzia lania) = metodologia ogólna = m. nauk ad. 3 M. i S. Ossowscy (1935) 5 dzia lów naukoznawstwa: 1 filozofia nauki 2 psychologia nauki 3 socjologia nauki 4 organizacja badań naukowych NAUK HUMANISTYCZNYCH

34 NAUK Różne tradycje: ad. 2 T. Kotarbiński prakseologia (teoria skutecznego dzia lania) = metodologia ogólna = m. nauk ad. 3 M. i S. Ossowscy (1935) 5 dzia lów naukoznawstwa: 1 filozofia nauki 2 psychologia nauki 3 socjologia nauki 4 organizacja badań naukowych 5 historia nauki NAUK HUMANISTYCZNYCH

35 NAUK Różne tradycje: ad. 2 T. Kotarbiński prakseologia (teoria skutecznego dzia lania) = metodologia ogólna = m. nauk ad. 3 M. i S. Ossowscy (1935) 5 dzia lów naukoznawstwa: 1 filozofia nauki 2 psychologia nauki 3 socjologia nauki 4 organizacja badań naukowych 5 historia nauki m. nauk jest w tym ujȩciu traktowana jako sk ladnik filozofii nauki NAUK HUMANISTYCZNYCH

36 NAUK Różne tradycje: NAUK HUMANISTYCZNYCH

37 NAUK Różne tradycje: ad. 1 tradycyjny podzia l logiki ogólnej: NAUK HUMANISTYCZNYCH

38 NAUK Różne tradycje: ad. 1 tradycyjny podzia l logiki ogólnej: semiotyka logiczna ogólna teoria systemów znakowych NAUK HUMANISTYCZNYCH

39 NAUK Różne tradycje: ad. 1 tradycyjny podzia l logiki ogólnej: semiotyka logiczna ogólna teoria systemów znakowych syntaktyka relacje miȩdzy znakami NAUK HUMANISTYCZNYCH

40 NAUK Różne tradycje: ad. 1 tradycyjny podzia l logiki ogólnej: semiotyka logiczna ogólna teoria systemów znakowych syntaktyka relacje miȩdzy znakami semantyka relacje miȩdzy znakami a ich znaczeniem NAUK HUMANISTYCZNYCH

41 NAUK Różne tradycje: ad. 1 tradycyjny podzia l logiki ogólnej: semiotyka logiczna ogólna teoria systemów znakowych syntaktyka relacje miȩdzy znakami semantyka relacje miȩdzy znakami a ich znaczeniem pragmatyka relacje miȩdzy znakami a ich użytkownikami NAUK HUMANISTYCZNYCH

42 NAUK Różne tradycje: ad. 1 tradycyjny podzia l logiki ogólnej: semiotyka logiczna ogólna teoria systemów znakowych syntaktyka relacje miȩdzy znakami semantyka relacje miȩdzy znakami a ich znaczeniem pragmatyka relacje miȩdzy znakami a ich użytkownikami logika formalna NAUK HUMANISTYCZNYCH

43 NAUK Różne tradycje: ad. 1 tradycyjny podzia l logiki ogólnej: semiotyka logiczna ogólna teoria systemów znakowych syntaktyka relacje miȩdzy znakami semantyka relacje miȩdzy znakami a ich znaczeniem pragmatyka relacje miȩdzy znakami a ich użytkownikami logika formalna metodologia nauk NAUK HUMANISTYCZNYCH

44 NAUK Różne tradycje: ad. 1 tradycyjny podzia l logiki ogólnej: semiotyka logiczna ogólna teoria systemów znakowych syntaktyka relacje miȩdzy znakami semantyka relacje miȩdzy znakami a ich znaczeniem pragmatyka relacje miȩdzy znakami a ich użytkownikami logika formalna metodologia nauk m. n. ogólna NAUK HUMANISTYCZNYCH

45 NAUK Różne tradycje: ad. 1 tradycyjny podzia l logiki ogólnej: semiotyka logiczna ogólna teoria systemów znakowych syntaktyka relacje miȩdzy znakami semantyka relacje miȩdzy znakami a ich znaczeniem pragmatyka relacje miȩdzy znakami a ich użytkownikami logika formalna metodologia nauk m. n. ogólna m. nauk szczegó lowych NAUK HUMANISTYCZNYCH

46 LOGIKA FORMALNA logika formalna = logika sensu stricto: NAUK HUMANISTYCZNYCH

47 LOGIKA FORMALNA logika formalna = logika sensu stricto: g lówne zadanie analiza kryteriów poprawności rozumowań i spójności tekstów NAUK HUMANISTYCZNYCH

48 LOGIKA FORMALNA logika formalna = logika sensu stricto: g lówne zadanie analiza kryteriów poprawności rozumowań i spójności tekstów najważniejsze relacje logiczne miȩdzy zdaniami wynikanie i (nie)sprzeczność NAUK HUMANISTYCZNYCH

49 LOGIKA FORMALNA logika formalna = logika sensu stricto: g lówne zadanie analiza kryteriów poprawności rozumowań i spójności tekstów najważniejsze relacje logiczne miȩdzy zdaniami wynikanie i (nie)sprzeczność metoda badania budowa sztucznych jȩzyków, które modeluj a wybrane aspekty jȩzyka naturalnego i konstruowanie w tych jȩzykach teorii wynikania. NAUK HUMANISTYCZNYCH

50 LOGIKA FORMALNA K. Twardowski: rozróżnienie czynność/wytwór. NAUK HUMANISTYCZNYCH

51 LOGIKA FORMALNA K. Twardowski: rozróżnienie czynność/wytwór. Rozumowanie: NAUK HUMANISTYCZNYCH

52 LOGIKA FORMALNA K. Twardowski: rozróżnienie czynność/wytwór. Rozumowanie: w sensie czynności umys lowe przetwarzanie informacji NAUK HUMANISTYCZNYCH

53 LOGIKA FORMALNA K. Twardowski: rozróżnienie czynność/wytwór. Rozumowanie: w sensie czynności umys lowe przetwarzanie informacji w sensie rezultatu tekst, w którym wystȩpuj a przes lanki i wnioski NAUK HUMANISTYCZNYCH

54 LOGIKA FORMALNA Rozumowanie poprawne: NAUK HUMANISTYCZNYCH

55 LOGIKA FORMALNA Rozumowanie poprawne: Rozumowanie jest poprawne (w sensie ścis lym = dedukcyjne) wtw wniosek wynika z przes lanek. NAUK HUMANISTYCZNYCH

56 LOGIKA FORMALNA Rozumowanie poprawne: Rozumowanie jest poprawne (w sensie ścis lym = dedukcyjne) wtw wniosek wynika z przes lanek. P 1,..., P n = W NAUK HUMANISTYCZNYCH

57 LOGIKA FORMALNA Rozumowanie poprawne: Rozumowanie jest poprawne (w sensie ścis lym = dedukcyjne) wtw wniosek wynika z przes lanek. P 1,..., P n = W Wniosek wynika z przes lanek wtw nie jest możliwe, żeby przes lanki by ly prawdziwe a wniosek fa lszywy. NAUK HUMANISTYCZNYCH

58 LOGIKA FORMALNA Rozumowanie poprawne uwagi: NAUK HUMANISTYCZNYCH

59 LOGIKA FORMALNA Rozumowanie poprawne uwagi: Relacja wynikania ( =) jest formalna w tym sensie, że zależy tylko od struktury zdań i znaczenia wybranych wyrażeń (sta lych logicznych); nie zależy od faktycznej wartości logicznej (tj. prawdy lub fa lszu) użytych zdań. NAUK HUMANISTYCZNYCH

60 LOGIKA FORMALNA Rozumowanie poprawne uwagi: Relacja wynikania ( =) jest formalna w tym sensie, że zależy tylko od struktury zdań i znaczenia wybranych wyrażeń (sta lych logicznych); nie zależy od faktycznej wartości logicznej (tj. prawdy lub fa lszu) użytych zdań. Za poprawne w sensie szerszym uważa siȩ również niededukcyjne rozumowania uprawdopodobniaj ace (np. indukcja, analogia, wnioskowania statystyczne) NAUK HUMANISTYCZNYCH

61 LOGIKA FORMALNA Rozumowanie poprawne uwagi: Relacja wynikania ( =) jest formalna w tym sensie, że zależy tylko od struktury zdań i znaczenia wybranych wyrażeń (sta lych logicznych); nie zależy od faktycznej wartości logicznej (tj. prawdy lub fa lszu) użytych zdań. Za poprawne w sensie szerszym uważa siȩ również niededukcyjne rozumowania uprawdopodobniaj ace (np. indukcja, analogia, wnioskowania statystyczne) Poprawności logicznej nie należy mylić z innymi rzeczami, np. si l a przekonywania. NAUK HUMANISTYCZNYCH

62 LOGIKA FORMALNA Sta le logiczne: NAUK HUMANISTYCZNYCH

63 LOGIKA FORMALNA Sta le logiczne: Na gruncie logiki klasycznej (KRK klasyczny rachunek kwantyfikatorów) wyróżnia siȩ nastȩpuj ace sta le: NAUK HUMANISTYCZNYCH

64 LOGIKA FORMALNA Sta le logiczne: Na gruncie logiki klasycznej (KRK klasyczny rachunek kwantyfikatorów) wyróżnia siȩ nastȩpuj ace sta le: nazwa symbol sposób czytania negacja nieprawda, że koniunkcja i alternatywa lub implikacja jeżeli... to równoważność wtw kwantyfikator ogólny x dla dowolnego x kwantyfikator szczegó lowy x dla pewnego x identyczność = jest (identyczny z) NAUK HUMANISTYCZNYCH

65 LOGIKA FORMALNA Jȩzyk KRK: NAUK HUMANISTYCZNYCH

66 LOGIKA FORMALNA Jȩzyk KRK: zmienne nazwowe ZN: x, y, z,... NAUK HUMANISTYCZNYCH

67 LOGIKA FORMALNA Jȩzyk KRK: zmienne nazwowe ZN: x, y, z,... symbole nazwowe SN: a, b, c,... NAUK HUMANISTYCZNYCH

68 LOGIKA FORMALNA Jȩzyk KRK: zmienne nazwowe ZN: x, y, z,... symbole nazwowe SN: a, b, c,... symbole predykatów SP: A Z NAUK HUMANISTYCZNYCH

69 LOGIKA FORMALNA Jȩzyk KRK: zmienne nazwowe ZN: x, y, z,... symbole nazwowe SN: a, b, c,... symbole predykatów SP: A Z symbole pomocnicze (interpunkcyjne): (, ), [, ] NAUK HUMANISTYCZNYCH

70 LOGIKA FORMALNA Jȩzyk KRK: zmienne nazwowe ZN: x, y, z,... symbole nazwowe SN: a, b, c,... symbole predykatów SP: A Z symbole pomocnicze (interpunkcyjne): (, ), [, ] Uwagi: NAUK HUMANISTYCZNYCH

71 LOGIKA FORMALNA Jȩzyk KRK: Uwagi: zmienne nazwowe ZN: x, y, z,... symbole nazwowe SN: a, b, c,... symbole predykatów SP: A Z symbole pomocnicze (interpunkcyjne): (, ), [, ] ZN i SN reprezentuj a jedynie nazwy indywidualne (imiona w lasne, zaimki, ew. deskrypcje określone). NAUK HUMANISTYCZNYCH

72 LOGIKA FORMALNA Jȩzyk KRK: Uwagi: zmienne nazwowe ZN: x, y, z,... symbole nazwowe SN: a, b, c,... symbole predykatów SP: A Z symbole pomocnicze (interpunkcyjne): (, ), [, ] ZN i SN reprezentuj a jedynie nazwy indywidualne (imiona w lasne, zaimki, ew. deskrypcje określone). SP reprezentuj a cechy (predykaty jednoargumentowe) i relacje (predykaty wieloargumentowe). Argumentami predykatów s a elementy ZN lub SN. NAUK HUMANISTYCZNYCH

73 LOGIKA FORMALNA Jȩzyk KRK zdania: NAUK HUMANISTYCZNYCH

74 LOGIKA FORMALNA Jȩzyk KRK zdania: Ania wzdycha Wa NAUK HUMANISTYCZNYCH

75 LOGIKA FORMALNA Jȩzyk KRK zdania: Ania wzdycha Wa Bolek jest przystojny Pb NAUK HUMANISTYCZNYCH

76 LOGIKA FORMALNA Jȩzyk KRK zdania: Ania wzdycha Wa Bolek jest przystojny Pb Ania kocha Bolka Kab NAUK HUMANISTYCZNYCH

77 LOGIKA FORMALNA Jȩzyk KRK zdania: Ania wzdycha Wa Bolek jest przystojny Pb Ania kocha Bolka Kab Bolek nie kocha Ani Kba NAUK HUMANISTYCZNYCH

78 LOGIKA FORMALNA Jȩzyk KRK zdania: Ania wzdycha Wa Bolek jest przystojny Pb Ania kocha Bolka Kab Bolek nie kocha Ani Kba Bolek kocha Cecyliȩ lub Dorotȩ Kbc Kbd NAUK HUMANISTYCZNYCH

79 LOGIKA FORMALNA Jȩzyk KRK zdania: Ania wzdycha Wa Bolek jest przystojny Pb Ania kocha Bolka Kab Bolek nie kocha Ani Kba Bolek kocha Cecyliȩ lub Dorotȩ Kbc Kbd Jeżeli Anie nie poślubi Bolka, to rzuci studia i zostanie zakonnic a Pab (Ra Za) NAUK HUMANISTYCZNYCH

80 LOGIKA FORMALNA Jȩzyk KRK zdania: Ania wzdycha Wa Bolek jest przystojny Pb Ania kocha Bolka Kab Bolek nie kocha Ani Kba Bolek kocha Cecyliȩ lub Dorotȩ Kbc Kbd Jeżeli Anie nie poślubi Bolka, to rzuci studia i zostanie zakonnic a Pab (Ra Za) Każda doktorantka kocha Bolka x(dx Kxb) NAUK HUMANISTYCZNYCH

81 LOGIKA FORMALNA Jȩzyk KRK zdania: Ania wzdycha Wa Bolek jest przystojny Pb Ania kocha Bolka Kab Bolek nie kocha Ani Kba Bolek kocha Cecyliȩ lub Dorotȩ Kbc Kbd Jeżeli Anie nie poślubi Bolka, to rzuci studia i zostanie zakonnic a Pab (Ra Za) Każda doktorantka kocha Bolka x(dx Kxb) Niektórzy studenci nie lubi a logiki x(sx Lx) NAUK HUMANISTYCZNYCH

82 LOGIKA FORMALNA Jȩzyk KRK zdania: Ania wzdycha Wa Bolek jest przystojny Pb Ania kocha Bolka Kab Bolek nie kocha Ani Kba Bolek kocha Cecyliȩ lub Dorotȩ Kbc Kbd Jeżeli Anie nie poślubi Bolka, to rzuci studia i zostanie zakonnic a Pab (Ra Za) Każda doktorantka kocha Bolka x(dx Kxb) Niektórzy studenci nie lubi a logiki x(sx Lx) Każdy mȩżczyzna kocha jak aś kobietȩ x(mx y(ky Lxy)). NAUK HUMANISTYCZNYCH

83 LOGIKA FORMALNA Wartości logiczne: NAUK HUMANISTYCZNYCH

84 LOGIKA FORMALNA Wartości logiczne: Na gruncie logiki klasycznej (KRK) uznaje siȩ tylko dwie wartości logiczne: NAUK HUMANISTYCZNYCH

85 LOGIKA FORMALNA Wartości logiczne: Na gruncie logiki klasycznej (KRK) uznaje siȩ tylko dwie wartości logiczne: prawda 1 NAUK HUMANISTYCZNYCH

86 LOGIKA FORMALNA Wartości logiczne: Na gruncie logiki klasycznej (KRK) uznaje siȩ tylko dwie wartości logiczne: prawda 1 fa lsz 0 NAUK HUMANISTYCZNYCH

87 LOGIKA FORMALNA Wartości logiczne: Na gruncie logiki klasycznej (KRK) uznaje siȩ tylko dwie wartości logiczne: prawda 1 fa lsz 0 i zasadȩ dwuwartościowości, zgodnie z któr a każde zdanie (oznajmuj ace) ma dok ladnie jedn a z nich. NAUK HUMANISTYCZNYCH

88 PRAWDA Teorie prawdy: NAUK HUMANISTYCZNYCH

89 PRAWDA Teorie prawdy: Klasyczna (korespondencyjna) pochodzi od Arystotelesa i sprowadza prawdziwość zdań do ich zgodności z rzeczywistości a, co zgrabnie wyraża scholastyczna formu lka: NAUK HUMANISTYCZNYCH

90 PRAWDA Teorie prawdy: Klasyczna (korespondencyjna) pochodzi od Arystotelesa i sprowadza prawdziwość zdań do ich zgodności z rzeczywistości a, co zgrabnie wyraża scholastyczna formu lka: Veritas est adequatio rei et intellectus NAUK HUMANISTYCZNYCH

91 PRAWDA Teorie prawdy: Klasyczna (korespondencyjna) pochodzi od Arystotelesa i sprowadza prawdziwość zdań do ich zgodności z rzeczywistości a, co zgrabnie wyraża scholastyczna formu lka: Ale co to w laściwie znaczy? Veritas est adequatio rei et intellectus NAUK HUMANISTYCZNYCH

92 PRAWDA Teorie prawdy: NAUK HUMANISTYCZNYCH

93 PRAWDA Teorie prawdy: Ważniejsi konkurenci: NAUK HUMANISTYCZNYCH

94 PRAWDA Teorie prawdy: Ważniejsi konkurenci: koherencyjna teoria prawdy (G. Leibniz) zgodność zdania z innymi zdaniami już uznanymi NAUK HUMANISTYCZNYCH

95 PRAWDA Teorie prawdy: Ważniejsi konkurenci: koherencyjna teoria prawdy (G. Leibniz) zgodność zdania z innymi zdaniami już uznanymi pragmatyczna teoria prawdy (W. James) utożsamianie prawdziwości zdania z jego użyteczności a NAUK HUMANISTYCZNYCH

96 PRAWDA Teorie prawdy: Ważniejsi konkurenci: koherencyjna teoria prawdy (G. Leibniz) zgodność zdania z innymi zdaniami już uznanymi pragmatyczna teoria prawdy (W. James) utożsamianie prawdziwości zdania z jego użyteczności a A. Tarski definicja prawdy dla jȩzyków teorii formalnych. NAUK HUMANISTYCZNYCH

97 PRAWDA Rodzaje prawd (fa lszów): NAUK HUMANISTYCZNYCH

98 PRAWDA Rodzaje prawd (fa lszów): Wg. kryterium jȩzykowego: NAUK HUMANISTYCZNYCH

99 PRAWDA Rodzaje prawd (fa lszów): Wg. kryterium jȩzykowego: analityczne prawdziwe (resp. fa lszywe) ze wzglȩdu na znaczenie wyrazów i strukturȩ zdania NAUK HUMANISTYCZNYCH

100 PRAWDA Rodzaje prawd (fa lszów): Wg. kryterium jȩzykowego: analityczne prawdziwe (resp. fa lszywe) ze wzglȩdu na znaczenie wyrazów i strukturȩ zdania syntetyczne prawdziwe (resp. fa lszywe) ze wzglȩdu na czynniki pozajȩzykowe NAUK HUMANISTYCZNYCH

101 PRAWDA Rodzaje prawd (fa lszów): Wg. kryterium jȩzykowego: analityczne prawdziwe (resp. fa lszywe) ze wzglȩdu na znaczenie wyrazów i strukturȩ zdania syntetyczne prawdziwe (resp. fa lszywe) ze wzglȩdu na czynniki pozajȩzykowe Przyk lady: NAUK HUMANISTYCZNYCH

102 PRAWDA Rodzaje prawd (fa lszów): Wg. kryterium jȩzykowego: analityczne prawdziwe (resp. fa lszywe) ze wzglȩdu na znaczenie wyrazów i strukturȩ zdania syntetyczne prawdziwe (resp. fa lszywe) ze wzglȩdu na czynniki pozajȩzykowe Przyk lady: Każdy kawaler jest nieżonatym mȩżczyzn a zd. analitycznie prawdziwe NAUK HUMANISTYCZNYCH

103 PRAWDA Rodzaje prawd (fa lszów): Wg. kryterium jȩzykowego: analityczne prawdziwe (resp. fa lszywe) ze wzglȩdu na znaczenie wyrazów i strukturȩ zdania syntetyczne prawdziwe (resp. fa lszywe) ze wzglȩdu na czynniki pozajȩzykowe Przyk lady: Każdy kawaler jest nieżonatym mȩżczyzn a zd. analitycznie prawdziwe Ten trójk at ma 4 boki zd. analitycznie fa lszywe. NAUK HUMANISTYCZNYCH

104 PRAWDA Rodzaje prawd (fa lszów): Wg. kryterium jȩzykowego: analityczne prawdziwe (resp. fa lszywe) ze wzglȩdu na znaczenie wyrazów i strukturȩ zdania syntetyczne prawdziwe (resp. fa lszywe) ze wzglȩdu na czynniki pozajȩzykowe Przyk lady: Każdy kawaler jest nieżonatym mȩżczyzn a zd. analitycznie prawdziwe Ten trójk at ma 4 boki zd. analitycznie fa lszywe. Uwagi: NAUK HUMANISTYCZNYCH

105 PRAWDA Rodzaje prawd (fa lszów): Wg. kryterium jȩzykowego: analityczne prawdziwe (resp. fa lszywe) ze wzglȩdu na znaczenie wyrazów i strukturȩ zdania syntetyczne prawdziwe (resp. fa lszywe) ze wzglȩdu na czynniki pozajȩzykowe Przyk lady: Każdy kawaler jest nieżonatym mȩżczyzn a zd. analitycznie prawdziwe Ten trójk at ma 4 boki zd. analitycznie fa lszywe. Uwagi: Zdania analityczne s a koniecznie prawdziwe (resp. fa lszywe); zdania syntetyczne mog a mieć różn a wartość. NAUK HUMANISTYCZNYCH

106 PRAWDA Rodzaje prawd (fa lszów): Wg. kryterium jȩzykowego: analityczne prawdziwe (resp. fa lszywe) ze wzglȩdu na znaczenie wyrazów i strukturȩ zdania syntetyczne prawdziwe (resp. fa lszywe) ze wzglȩdu na czynniki pozajȩzykowe Przyk lady: Każdy kawaler jest nieżonatym mȩżczyzn a zd. analitycznie prawdziwe Ten trójk at ma 4 boki zd. analitycznie fa lszywe. Uwagi: Zdania analityczne s a koniecznie prawdziwe (resp. fa lszywe); zdania syntetyczne mog a mieć różn a wartość. Zasadność tego podzia lu można podważać Quine. NAUK HUMANISTYCZNYCH

107 PRAWDA Rodzaje prawd (fa lszów): NAUK HUMANISTYCZNYCH

108 PRAWDA Rodzaje prawd (fa lszów): Szczególny przypadek analityczności zależność wartości logicznej tylko od znaczenia sta lych logicznych: NAUK HUMANISTYCZNYCH

109 PRAWDA Rodzaje prawd (fa lszów): Szczególny przypadek analityczności zależność wartości logicznej tylko od znaczenia sta lych logicznych: tautologie (zawsze prawdziwe) np. Pada lub nie pada NAUK HUMANISTYCZNYCH

110 PRAWDA Rodzaje prawd (fa lszów): Szczególny przypadek analityczności zależność wartości logicznej tylko od znaczenia sta lych logicznych: tautologie (zawsze prawdziwe) np. Pada lub nie pada kontrtautologie lub zd. kontradyktoryczne (zawsze fa lszywe), np. Pada i nie pada NAUK HUMANISTYCZNYCH

111 PRAWDA Rodzaje prawd (fa lszów): Szczególny przypadek analityczności zależność wartości logicznej tylko od znaczenia sta lych logicznych: tautologie (zawsze prawdziwe) np. Pada lub nie pada kontrtautologie lub zd. kontradyktoryczne (zawsze fa lszywe), np. Pada i nie pada Pozosta le zdania s a kontyngentne (syntetyczne lub analityczne nietautologiczne i niekontradyktoryczne). NAUK HUMANISTYCZNYCH

112 PRAWDA Rodzaje prawd (fa lszów): NAUK HUMANISTYCZNYCH

113 PRAWDA Rodzaje prawd (fa lszów): Wg. kryterium epistemicznego: NAUK HUMANISTYCZNYCH

114 PRAWDA Rodzaje prawd (fa lszów): Wg. kryterium epistemicznego: aprioryczne prawdziwe (resp. fa lszywe) niezależnie od doświadczenia NAUK HUMANISTYCZNYCH

115 PRAWDA Rodzaje prawd (fa lszów): Wg. kryterium epistemicznego: aprioryczne prawdziwe (resp. fa lszywe) niezależnie od doświadczenia aposterioryczne (empiryczne) prawdziwe (resp. fa lszywe) na podstawie doświadczenia NAUK HUMANISTYCZNYCH

116 PRAWDA Relacje miȩdzy zdaniami analit/syntet. a a priori/a posteriori stanowisko Hume a: NAUK HUMANISTYCZNYCH

117 PRAWDA Relacje miȩdzy zdaniami analit/syntet. a a priori/a posteriori stanowisko Hume a: analityczne syntetyczne a priori + - (twierdzenia matematyki) a posteriori - + (tw. przyrodoznawstwa) NAUK HUMANISTYCZNYCH

118 PRAWDA Relacje miȩdzy zdaniami analit/syntet. a a priori/a posteriori stanowisko Hume a: analityczne syntetyczne a priori + - (twierdzenia matematyki) a posteriori - + (tw. przyrodoznawstwa) Problem: Jak uzasadnić stosowalność matematyki w przyrodoznawstwie i pewność jej wyników naukowych? NAUK HUMANISTYCZNYCH

119 PRAWDA Relacje miȩdzy zdaniami analit/syntet. a a priori/a posteriori stanowisko Kanta: NAUK HUMANISTYCZNYCH

120 PRAWDA Relacje miȩdzy zdaniami analit/syntet. a a priori/a posteriori stanowisko Kanta: analityczne syntetyczne a priori + + (twierdzenia matematyki i przyrodoznawstwa) a posteriori - + NAUK HUMANISTYCZNYCH

121 PRAWDA Rodzaje prawd (fa lszów): NAUK HUMANISTYCZNYCH

122 PRAWDA Rodzaje prawd (fa lszów): Wg. kryterium ilościowego: NAUK HUMANISTYCZNYCH

123 PRAWDA Rodzaje prawd (fa lszów): Wg. kryterium ilościowego: jednostkowe typu Pa, Rab, Pa Qa NAUK HUMANISTYCZNYCH

124 PRAWDA Rodzaje prawd (fa lszów): Wg. kryterium ilościowego: jednostkowe typu Pa, Rab, Pa Qa ogólne typu x(ax Bx) NAUK HUMANISTYCZNYCH

125 PRAWDA Rodzaje prawd (fa lszów): Wg. kryterium ilościowego: jednostkowe typu Pa, Rab, Pa Qa ogólne typu x(ax Bx) szczegó lowe (egzystencjalne) typu xax, x(ax Bx) NAUK HUMANISTYCZNYCH

126 PRAWDA Empiryczne ustalanie wartości zdań: NAUK HUMANISTYCZNYCH

127 PRAWDA Empiryczne ustalanie wartości zdań: jednostkowe szczegó lowe ogólne weryfikacja falsyfikacja konfirmacja dyskonfirmacja NAUK HUMANISTYCZNYCH

128 NAUK Historia dyscypliny: NAUK HUMANISTYCZNYCH

129 NAUK Historia dyscypliny: Metodologia wyróżniana jako oddzielny dzia l logiki dopiero w czasach nowożytnych (np. logika Arnaulda/Nicole a, Gassendiego) w wyniku sporu o w laściw a metodȩ nauki. NAUK HUMANISTYCZNYCH

130 NAUK Historia dyscypliny: Metodologia wyróżniana jako oddzielny dzia l logiki dopiero w czasach nowożytnych (np. logika Arnaulda/Nicole a, Gassendiego) w wyniku sporu o w laściw a metodȩ nauki. Zakres refleksji metodologicznej dość skromy, zasadniczo wyróżniano i przeciwstawiano sobie metody: NAUK HUMANISTYCZNYCH

131 NAUK Historia dyscypliny: Metodologia wyróżniana jako oddzielny dzia l logiki dopiero w czasach nowożytnych (np. logika Arnaulda/Nicole a, Gassendiego) w wyniku sporu o w laściw a metodȩ nauki. Zakres refleksji metodologicznej dość skromy, zasadniczo wyróżniano i przeciwstawiano sobie metody: 1 dedukcji/indukcji NAUK HUMANISTYCZNYCH

132 NAUK Historia dyscypliny: Metodologia wyróżniana jako oddzielny dzia l logiki dopiero w czasach nowożytnych (np. logika Arnaulda/Nicole a, Gassendiego) w wyniku sporu o w laściw a metodȩ nauki. Zakres refleksji metodologicznej dość skromy, zasadniczo wyróżniano i przeciwstawiano sobie metody: 1 dedukcji/indukcji 2 analizy/syntezy NAUK HUMANISTYCZNYCH

133 NAUK Dedukcja a indukcja: NAUK HUMANISTYCZNYCH

134 NAUK Dedukcja a indukcja: rozróżnienie dwóch podstawowych rodzajów rozumowania pochodz ace od Arystotelesa ( p.n.e.) NAUK HUMANISTYCZNYCH

135 NAUK Dedukcja a indukcja: rozróżnienie dwóch podstawowych rodzajów rozumowania pochodz ace od Arystotelesa ( p.n.e.) dedukcja rozumowanie, w którym od przes lanek ogólnych przechodzimy do wniosków szczegó lowych NAUK HUMANISTYCZNYCH

136 NAUK Dedukcja a indukcja: rozróżnienie dwóch podstawowych rodzajów rozumowania pochodz ace od Arystotelesa ( p.n.e.) dedukcja rozumowanie, w którym od przes lanek ogólnych przechodzimy do wniosków szczegó lowych indukcja (enumeracyjna) rozumowanie, w którym od przes lanek szczegó lowych przechodzimy do wniosków ogólnych NAUK HUMANISTYCZNYCH

137 NAUK Dedukcja a indukcja: rozróżnienie dwóch podstawowych rodzajów rozumowania pochodz ace od Arystotelesa ( p.n.e.) dedukcja rozumowanie, w którym od przes lanek ogólnych przechodzimy do wniosków szczegó lowych indukcja (enumeracyjna) rozumowanie, w którym od przes lanek szczegó lowych przechodzimy do wniosków ogólnych Uwaga! wspó lczesne rozumienie dedukcji jest szersze: jest to wszelkie rozumowanie niezawodne, w tym sensie, że od prawdziwych przes lanek prowadzi tylko do prawdziwych wniosków (inaczej: wniosek wynika z przes lanek). NAUK HUMANISTYCZNYCH

138 NAUK Dwa konteksty: Analizuj ac rozumowania można wyróżnić: NAUK HUMANISTYCZNYCH

139 NAUK Dwa konteksty: Analizuj ac rozumowania można wyróżnić: kontekst uzasadniania kierunek od wniosku do przes lanek NAUK HUMANISTYCZNYCH

140 NAUK Dwa konteksty: Analizuj ac rozumowania można wyróżnić: kontekst uzasadniania kierunek od wniosku do przes lanek kontekst odkrycia kierunek od przes lanek do wniosku (wnioskowanie) NAUK HUMANISTYCZNYCH

141 NAUK Dwa konteksty: Analizuj ac rozumowania można wyróżnić: kontekst uzasadniania kierunek od wniosku do przes lanek kontekst odkrycia kierunek od przes lanek do wniosku (wnioskowanie) Średniowieczna logika tradycyjna (jak i wspó lczesna) koncentrowa la siȩ na kontekście uzasadniania. NAUK HUMANISTYCZNYCH

142 NAUK Dwa konteksty: Analizuj ac rozumowania można wyróżnić: kontekst uzasadniania kierunek od wniosku do przes lanek kontekst odkrycia kierunek od przes lanek do wniosku (wnioskowanie) Średniowieczna logika tradycyjna (jak i wspó lczesna) koncentrowa la siȩ na kontekście uzasadniania. Rozwój nauki nowożytnej wi aza l siȩ z naciskiem na kontekst odkrycia i prowadzi l do zlekceważenia logiki tradycyjnej, prób budowy nowej logiki oraz sporu o w laściw a metodȩ naukow a. NAUK HUMANISTYCZNYCH

143 NAUK Kontekst odkrycia: NAUK HUMANISTYCZNYCH

144 NAUK Kontekst odkrycia: Dwa klasyczne stanowiska zwi azane z faworyzowaniem jednego ze źróde l wiedzy: NAUK HUMANISTYCZNYCH

145 NAUK Kontekst odkrycia: Dwa klasyczne stanowiska zwi azane z faworyzowaniem jednego ze źróde l wiedzy: Kartezjusz (R. Descartes ) aprioryzm (natywizm), racjonalizm NAUK HUMANISTYCZNYCH

146 NAUK Kontekst odkrycia: Dwa klasyczne stanowiska zwi azane z faworyzowaniem jednego ze źróde l wiedzy: Kartezjusz (R. Descartes ) aprioryzm (natywizm), racjonalizm = dedukcja NAUK HUMANISTYCZNYCH

147 NAUK Kontekst odkrycia: Dwa klasyczne stanowiska zwi azane z faworyzowaniem jednego ze źróde l wiedzy: Kartezjusz (R. Descartes ) aprioryzm (natywizm), racjonalizm = dedukcja F. Bacon ( ) aposterioryzm, empiryzm NAUK HUMANISTYCZNYCH

148 NAUK Kontekst odkrycia: Dwa klasyczne stanowiska zwi azane z faworyzowaniem jednego ze źróde l wiedzy: Kartezjusz (R. Descartes ) aprioryzm (natywizm), racjonalizm = dedukcja F. Bacon ( ) aposterioryzm, empiryzm = indukcja (ale eliminacyjna!) NAUK HUMANISTYCZNYCH

149 Ogólne pojȩcie nauki: NAUK HUMANISTYCZNYCH

150 Ogólne pojȩcie nauki: termin nauka wieloznaczny, oznacza m.in.: NAUK HUMANISTYCZNYCH

151 Ogólne pojȩcie nauki: termin nauka wieloznaczny, oznacza m.in.: rodzaj wiedzy NAUK HUMANISTYCZNYCH

152 Ogólne pojȩcie nauki: termin nauka wieloznaczny, oznacza m.in.: rodzaj wiedzy czynność poznawania NAUK HUMANISTYCZNYCH

153 Ogólne pojȩcie nauki: termin nauka wieloznaczny, oznacza m.in.: rodzaj wiedzy czynność poznawania wytwór (efekt) poznania NAUK HUMANISTYCZNYCH

154 Ogólne pojȩcie nauki: termin nauka wieloznaczny, oznacza m.in.: rodzaj wiedzy czynność poznawania wytwór (efekt) poznania dziedzina kultury NAUK HUMANISTYCZNYCH

155 Ogólne pojȩcie nauki: termin nauka wieloznaczny, oznacza m.in.: rodzaj wiedzy czynność poznawania wytwór (efekt) poznania dziedzina kultury instytucja NAUK HUMANISTYCZNYCH

156 Ogólne pojȩcie nauki: termin nauka wieloznaczny, oznacza m.in.: rodzaj wiedzy czynność poznawania wytwór (efekt) poznania dziedzina kultury instytucja Poza tym: czy istnieje coś takiego jak nauka w ogólnym tego s lowa znaczeniu? NAUK HUMANISTYCZNYCH

157 Różne rodzaje wiedzy: NAUK HUMANISTYCZNYCH

158 Różne rodzaje wiedzy: nauka jest rodzajem wiedzy; ale jakiej? NAUK HUMANISTYCZNYCH

159 Różne rodzaje wiedzy: nauka jest rodzajem wiedzy; ale jakiej? 2 problemy: NAUK HUMANISTYCZNYCH

160 Różne rodzaje wiedzy: nauka jest rodzajem wiedzy; ale jakiej? 2 problemy: 1 oddzielenie od innych rodzajów wiedzy (problem demarkacji); NAUK HUMANISTYCZNYCH

161 Różne rodzaje wiedzy: nauka jest rodzajem wiedzy; ale jakiej? 2 problemy: 1 oddzielenie od innych rodzajów wiedzy (problem demarkacji); 2 wewnȩtrzne podzia ly nauki (klasyfikacja nauk); NAUK HUMANISTYCZNYCH

162 Problem demarkacji ujȩcie normatywne NAUK HUMANISTYCZNYCH

163 Problem demarkacji ujȩcie normatywne Rodzaje wiedzy podstawowy podzia l: NAUK HUMANISTYCZNYCH

164 Problem demarkacji ujȩcie normatywne Rodzaje wiedzy podstawowy podzia l: racjonalna NAUK HUMANISTYCZNYCH

165 Problem demarkacji ujȩcie normatywne Rodzaje wiedzy podstawowy podzia l: racjonalna potoczna NAUK HUMANISTYCZNYCH

166 Problem demarkacji ujȩcie normatywne Rodzaje wiedzy podstawowy podzia l: racjonalna potoczna naukowa NAUK HUMANISTYCZNYCH

167 Problem demarkacji ujȩcie normatywne Rodzaje wiedzy podstawowy podzia l: racjonalna potoczna naukowa spekulatywna NAUK HUMANISTYCZNYCH

168 Problem demarkacji ujȩcie normatywne Rodzaje wiedzy podstawowy podzia l: racjonalna potoczna naukowa spekulatywna artystyczno-literacka NAUK HUMANISTYCZNYCH

169 Problem demarkacji ujȩcie normatywne Rodzaje wiedzy podstawowy podzia l: racjonalna potoczna naukowa spekulatywna artystyczno-literacka paranauka NAUK HUMANISTYCZNYCH

170 Problem demarkacji ujȩcie normatywne Rodzaje wiedzy podstawowy podzia l: racjonalna potoczna naukowa spekulatywna artystyczno-literacka paranauka irracjonalna NAUK HUMANISTYCZNYCH

171 Problem demarkacji ujȩcie normatywne Rodzaje wiedzy podstawowy podzia l: racjonalna potoczna naukowa spekulatywna artystyczno-literacka paranauka irracjonalna mistyka NAUK HUMANISTYCZNYCH

172 Problem demarkacji ujȩcie normatywne Rodzaje wiedzy podstawowy podzia l: racjonalna potoczna naukowa spekulatywna artystyczno-literacka paranauka irracjonalna mistyka czȩść filozofii NAUK HUMANISTYCZNYCH

173 Problem demarkacji ujȩcie normatywne Rodzaje wiedzy podstawowy podzia l: racjonalna potoczna naukowa spekulatywna artystyczno-literacka paranauka irracjonalna mistyka czȩść filozofii pseudonauka NAUK HUMANISTYCZNYCH

174 Wiedza racjonalna: NAUK HUMANISTYCZNYCH

175 Wiedza racjonalna: Wiedza racjonalna spe lnia (s lab a) zasadȩ racjonalności (intersubiektywności), tzn. jest: NAUK HUMANISTYCZNYCH

176 Wiedza racjonalna: Wiedza racjonalna spe lnia (s lab a) zasadȩ racjonalności (intersubiektywności), tzn. jest: intersubiektywnie komunikowalna NAUK HUMANISTYCZNYCH

177 Wiedza racjonalna: Wiedza racjonalna spe lnia (s lab a) zasadȩ racjonalności (intersubiektywności), tzn. jest: intersubiektywnie komunikowalna intersubiektywnie sprawdzalna NAUK HUMANISTYCZNYCH

178 Wiedza racjonalna nauka: NAUK HUMANISTYCZNYCH

179 Wiedza racjonalna nauka: Nauka spe lnia mocn a zasadȩ racjonalności (Ajdukiewicz zasada racjonalnego uznawania przekonań): NAUK HUMANISTYCZNYCH

180 Wiedza racjonalna nauka: Nauka spe lnia mocn a zasadȩ racjonalności (Ajdukiewicz zasada racjonalnego uznawania przekonań): Stopień przekonania, z jakim uznajemy dane twierdzenie powinien odpowiadać stopniowi jego uzasadnienia. NAUK HUMANISTYCZNYCH

181 Wiedza racjonalna nauka: Nauka spe lnia mocn a zasadȩ racjonalności (Ajdukiewicz zasada racjonalnego uznawania przekonań): Stopień przekonania, z jakim uznajemy dane twierdzenie powinien odpowiadać stopniowi jego uzasadnienia. Zachwianie równowagi prowadzi do dogmatyzmu lub przesadnego sceptycyzmu. NAUK HUMANISTYCZNYCH

182 Wiedza racjonalna nauka: Nauka spe lnia mocn a zasadȩ racjonalności (Ajdukiewicz zasada racjonalnego uznawania przekonań): Stopień przekonania, z jakim uznajemy dane twierdzenie powinien odpowiadać stopniowi jego uzasadnienia. Zachwianie równowagi prowadzi do dogmatyzmu lub przesadnego sceptycyzmu. Uwaga: Kmita dodaje warunek zachodzenia relacji wynikania miȩdzy twierdzeniami danej nauki uzyskiwanymi na drodze dowodu (n. formalne) lub wyjaśniania (n. empiryczne). NAUK HUMANISTYCZNYCH

183 Problem demarkacji ujȩcie deskryptywno-historyczne: NAUK HUMANISTYCZNYCH

184 Problem demarkacji ujȩcie deskryptywno-historyczne: Platon, Arystoteles tylko wiedza racjonalna, dwa naturalne pnie poznania: NAUK HUMANISTYCZNYCH

185 Problem demarkacji ujȩcie deskryptywno-historyczne: Platon, Arystoteles tylko wiedza racjonalna, dwa naturalne pnie poznania: episteme (wiedza) zdania pewne, ogólne, koniecznie prawdziwe (a priori) NAUK HUMANISTYCZNYCH

186 Problem demarkacji ujȩcie deskryptywno-historyczne: Platon, Arystoteles tylko wiedza racjonalna, dwa naturalne pnie poznania: episteme (wiedza) zdania pewne, ogólne, koniecznie prawdziwe (a priori) doksa (mniemanie) zdania niepewne, szczegó lowe, możliwe (a posteriori) NAUK HUMANISTYCZNYCH

187 Problem demarkacji ujȩcie deskryptywno-historyczne: Platon, Arystoteles tylko wiedza racjonalna, dwa naturalne pnie poznania: episteme (wiedza) zdania pewne, ogólne, koniecznie prawdziwe (a priori) doksa (mniemanie) zdania niepewne, szczegó lowe, możliwe (a posteriori) Pojȩciu wiedzy irracjonalnej zdaje siȩ odpowiadać dopiero późniejsze pojȩcie gnosis (wiedza ponadnaturalna). NAUK HUMANISTYCZNYCH

188 Problem demarkacji ujȩcie deskryptywno-historyczne: NAUK HUMANISTYCZNYCH

189 Problem demarkacji ujȩcie deskryptywno-historyczne: Kryteria racjonalności s a zmienne historycznie (S. Kuhn, P. Feyerabend), m.in.: NAUK HUMANISTYCZNYCH

190 Problem demarkacji ujȩcie deskryptywno-historyczne: Kryteria racjonalności s a zmienne historycznie (S. Kuhn, P. Feyerabend), m.in.: 1 Średniowiecze zaliczanie teologii do nauki NAUK HUMANISTYCZNYCH

191 Problem demarkacji ujȩcie deskryptywno-historyczne: Kryteria racjonalności s a zmienne historycznie (S. Kuhn, P. Feyerabend), m.in.: 1 Średniowiecze zaliczanie teologii do nauki 2 Kartezjusz, Spinoza mieszanie nauki z metafizyk a NAUK HUMANISTYCZNYCH

192 Problem demarkacji ujȩcie deskryptywno-historyczne: Kryteria racjonalności s a zmienne historycznie (S. Kuhn, P. Feyerabend), m.in.: 1 Średniowiecze zaliczanie teologii do nauki 2 Kartezjusz, Spinoza mieszanie nauki z metafizyk a 3 Neopozytywizm kryterium weryfikowalności, a potem konfirmacji NAUK HUMANISTYCZNYCH

193 Problem demarkacji ujȩcie deskryptywno-historyczne: Kryteria racjonalności s a zmienne historycznie (S. Kuhn, P. Feyerabend), m.in.: 1 Średniowiecze zaliczanie teologii do nauki 2 Kartezjusz, Spinoza mieszanie nauki z metafizyk a 3 Neopozytywizm kryterium weryfikowalności, a potem konfirmacji 4 Fallibilizm (Ch. Peirce) = falsyfikacjonizm (K. Popper) NAUK HUMANISTYCZNYCH

194 Klasyfikacja nauk: NAUK HUMANISTYCZNYCH

195 Klasyfikacja nauk: Klasyfikacja nauk wielość propozycji wynikaj aca m.in. z: NAUK HUMANISTYCZNYCH

196 Klasyfikacja nauk: Klasyfikacja nauk wielość propozycji wynikaj aca m.in. z: 1 rozmaitości kryteriów podzia lu (zależnych od celów merytorycznych, organizacyjnych itp.) NAUK HUMANISTYCZNYCH

197 Klasyfikacja nauk: Klasyfikacja nauk wielość propozycji wynikaj aca m.in. z: 1 rozmaitości kryteriów podzia lu (zależnych od celów merytorycznych, organizacyjnych itp.) 2 dialektyki procesów autonomizacji i scalania (interdyscyplinarność) NAUK HUMANISTYCZNYCH

198 Klasyfikacja nauk: NAUK HUMANISTYCZNYCH

199 Klasyfikacja nauk: Najważniejsze kryteria podzia lu: NAUK HUMANISTYCZNYCH

200 Klasyfikacja nauk: Najważniejsze kryteria podzia lu: przedmiot badań NAUK HUMANISTYCZNYCH

201 Klasyfikacja nauk: Najważniejsze kryteria podzia lu: przedmiot badań metoda NAUK HUMANISTYCZNYCH

202 Klasyfikacja nauk: Najważniejsze kryteria podzia lu: przedmiot badań metoda charakter twierdzeń NAUK HUMANISTYCZNYCH

203 Klasyfikacja nauk: Najważniejsze kryteria podzia lu: przedmiot badań metoda charakter twierdzeń sposób ich uzasadniania NAUK HUMANISTYCZNYCH

204 Klasyfikacja nauk: Najważniejsze kryteria podzia lu: przedmiot badań metoda charakter twierdzeń sposób ich uzasadniania stopień ogólności (Arystoteles) NAUK HUMANISTYCZNYCH

205 Klasyfikacja nauk: Najważniejsze kryteria podzia lu: przedmiot badań metoda charakter twierdzeń sposób ich uzasadniania stopień ogólności (Arystoteles) ostateczne za lożenia (Ajdukiewicz) NAUK HUMANISTYCZNYCH

206 Klasyfikacja nauk najważniejsze propozycje: NAUK HUMANISTYCZNYCH

207 Klasyfikacja nauk najważniejsze propozycje: Arystoteles dzieli l nauki na: NAUK HUMANISTYCZNYCH

208 Klasyfikacja nauk najważniejsze propozycje: Arystoteles dzieli l nauki na: teoretyczne czyste poznanie np. matematyka, filozofia NAUK HUMANISTYCZNYCH

209 Klasyfikacja nauk najważniejsze propozycje: Arystoteles dzieli l nauki na: teoretyczne czyste poznanie np. matematyka, filozofia praktyczne regu ly postȩpowania np. polityka, medycyna NAUK HUMANISTYCZNYCH

210 Klasyfikacja nauk najważniejsze propozycje: Arystoteles dzieli l nauki na: teoretyczne czyste poznanie np. matematyka, filozofia praktyczne regu ly postȩpowania np. polityka, medycyna wytwórcze regu ly tworzenia np. poetyka NAUK HUMANISTYCZNYCH

211 Klasyfikacja nauk Średniowiecze sztuki wyzwolone: NAUK HUMANISTYCZNYCH

212 Klasyfikacja nauk Średniowiecze sztuki wyzwolone: trivium: NAUK HUMANISTYCZNYCH

213 Klasyfikacja nauk Średniowiecze sztuki wyzwolone: trivium: gramatyka NAUK HUMANISTYCZNYCH

214 Klasyfikacja nauk Średniowiecze sztuki wyzwolone: trivium: gramatyka retoryka NAUK HUMANISTYCZNYCH

215 Klasyfikacja nauk Średniowiecze sztuki wyzwolone: trivium: gramatyka retoryka dialektyka (=logika) NAUK HUMANISTYCZNYCH

216 Klasyfikacja nauk Średniowiecze sztuki wyzwolone: trivium: gramatyka retoryka dialektyka (=logika) quadrivium: NAUK HUMANISTYCZNYCH

217 Klasyfikacja nauk Średniowiecze sztuki wyzwolone: trivium: gramatyka retoryka dialektyka (=logika) quadrivium: arytmetyka NAUK HUMANISTYCZNYCH

218 Klasyfikacja nauk Średniowiecze sztuki wyzwolone: trivium: gramatyka retoryka dialektyka (=logika) quadrivium: arytmetyka geometria NAUK HUMANISTYCZNYCH

219 Klasyfikacja nauk Średniowiecze sztuki wyzwolone: trivium: gramatyka retoryka dialektyka (=logika) quadrivium: arytmetyka geometria astronomia NAUK HUMANISTYCZNYCH

220 Klasyfikacja nauk Średniowiecze sztuki wyzwolone: trivium: gramatyka retoryka dialektyka (=logika) quadrivium: arytmetyka geometria astronomia muzyka NAUK HUMANISTYCZNYCH

221 Klasyfikacja nauk Średniowiecze sztuki wyzwolone: trivium: gramatyka retoryka dialektyka (=logika) quadrivium: arytmetyka geometria astronomia muzyka Do tego dochodzi ly 3 filozofie: fizyka, metafizyka, teologia NAUK HUMANISTYCZNYCH

222 Klasyfikacja nauk Czasy nowożytne: NAUK HUMANISTYCZNYCH

223 Klasyfikacja nauk Czasy nowożytne: T. Hobbes przezwyciȩża jednostronność Kartezjusza i wprowadza rozróżnienie miȩdzy naukami formalnymi (oparte na rozumie i dedukcji) i empirycznymi (oparte na doświadczeniu i indukcji). NAUK HUMANISTYCZNYCH

224 Klasyfikacja nauk Czasy nowożytne: T. Hobbes przezwyciȩża jednostronność Kartezjusza i wprowadza rozróżnienie miȩdzy naukami formalnymi (oparte na rozumie i dedukcji) i empirycznymi (oparte na doświadczeniu i indukcji). D. Hume jako osobne grupy w obrȩbie nauk empirycznych wyróżnia filozofiȩ naturaln a (=przyrodoznawstwo) i moraln a (=humanistyka). NAUK HUMANISTYCZNYCH

225 Klasyfikacja nauk Czasy nowożytne: T. Hobbes przezwyciȩża jednostronność Kartezjusza i wprowadza rozróżnienie miȩdzy naukami formalnymi (oparte na rozumie i dedukcji) i empirycznymi (oparte na doświadczeniu i indukcji). D. Hume jako osobne grupy w obrȩbie nauk empirycznych wyróżnia filozofiȩ naturaln a (=przyrodoznawstwo) i moraln a (=humanistyka). Prowadzi to do 3-podzia lu powszechnie wystȩpuj acego wspó lcześnie. NAUK HUMANISTYCZNYCH

226 Klasyfikacja nauk dzisiaj: NAUK HUMANISTYCZNYCH

227 Klasyfikacja nauk dzisiaj: n. formalne NAUK HUMANISTYCZNYCH

228 Klasyfikacja nauk dzisiaj: n. formalne n. empiryczne (przyrodoznawstwo) NAUK HUMANISTYCZNYCH

229 Klasyfikacja nauk dzisiaj: n. formalne n. empiryczne (przyrodoznawstwo) n. spo leczne NAUK HUMANISTYCZNYCH

230 Klasyfikacja nauk dzisiaj: n. formalne n. empiryczne (przyrodoznawstwo) n. spo leczne U Ajdukiewicza kryterium tego podzia lu jest charakter przyjmowanych ostatecznych za lożeń: zd. aprioryczne, zd. aposterioryczne oparte na doświadczeniu, zd. oparte na rozumieniu wypowiedzi. NAUK HUMANISTYCZNYCH

231 Nauki formalne (logika, matematyka, fizyka teoretyczna): NAUK HUMANISTYCZNYCH

232 Nauki formalne (logika, matematyka, fizyka teoretyczna): Wysokie wymogi ścis lości (sposób ujȩcia) i pewności (sposób uzasadniania): NAUK HUMANISTYCZNYCH

233 Nauki formalne (logika, matematyka, fizyka teoretyczna): Wysokie wymogi ścis lości (sposób ujȩcia) i pewności (sposób uzasadniania): sposób ujȩcia teorie formalne (aksjomatyczne) NAUK HUMANISTYCZNYCH

234 Nauki formalne (logika, matematyka, fizyka teoretyczna): Wysokie wymogi ścis lości (sposób ujȩcia) i pewności (sposób uzasadniania): sposób ujȩcia teorie formalne (aksjomatyczne) sposób uzasadniania dowodzenie NAUK HUMANISTYCZNYCH

235 Nauki formalne (logika, matematyka, fizyka teoretyczna): Wysokie wymogi ścis lości (sposób ujȩcia) i pewności (sposób uzasadniania): sposób ujȩcia teorie formalne (aksjomatyczne) sposób uzasadniania dowodzenie Uwaga: Nie każda prawda matematyczna da siȩ udowodnić! Twiedzenie Gödla o niezupe lności arytmetyki. NAUK HUMANISTYCZNYCH

236 Nauki empiryczne (np. fizyka, biologia, chemia): NAUK HUMANISTYCZNYCH

237 Nauki empiryczne (np. fizyka, biologia, chemia): Teorie nie musz a być sformalizowane i dedukcyjnie zamkniȩte. NAUK HUMANISTYCZNYCH

238 Nauki empiryczne (np. fizyka, biologia, chemia): Teorie nie musz a być sformalizowane i dedukcyjnie zamkniȩte. W sposobie uzasadniania dochodzi obserwacja, eksperyment, pomiar. NAUK HUMANISTYCZNYCH

239 Nauki empiryczne (np. fizyka, biologia, chemia): Teorie nie musz a być sformalizowane i dedukcyjnie zamkniȩte. W sposobie uzasadniania dochodzi obserwacja, eksperyment, pomiar. Problem metody indukcjonizm a hipotetyzm: NAUK HUMANISTYCZNYCH

240 Nauki empiryczne (np. fizyka, biologia, chemia): Teorie nie musz a być sformalizowane i dedukcyjnie zamkniȩte. W sposobie uzasadniania dochodzi obserwacja, eksperyment, pomiar. Problem metody indukcjonizm a hipotetyzm: Wg. indukcjonizmu n. empiryczne oprócz metod dedukcyjnych musz a wykorzystywać rozumowania indukcyjne w tworzeniu praw naukowych schemat: jednostkowe fakty teoria (prawa przyrody otrzymane przez indukcyjne uogólnianie). NAUK HUMANISTYCZNYCH

241 Nauki empiryczne (np. fizyka, biologia, chemia): Teorie nie musz a być sformalizowane i dedukcyjnie zamkniȩte. W sposobie uzasadniania dochodzi obserwacja, eksperyment, pomiar. Problem metody indukcjonizm a hipotetyzm: Wg. indukcjonizmu n. empiryczne oprócz metod dedukcyjnych musz a wykorzystywać rozumowania indukcyjne w tworzeniu praw naukowych schemat: jednostkowe fakty teoria (prawa przyrody otrzymane przez indukcyjne uogólnianie). Wg. hipotetyzmu (K. Popper) teoria zawsze poprzedza obserwcjȩ; prawa naukowe pozyskujemy z hipotez w procesie ich nieudanej falsyfikacji. NAUK HUMANISTYCZNYCH

242 Problem nauk humanistycznych 3 zagadnienia: NAUK HUMANISTYCZNYCH

243 Problem nauk humanistycznych 3 zagadnienia: 1 kiedy konkretne dyscypliny humanistyczne (np. historiȩ) zaczȩto zaliczać do nauki? NAUK HUMANISTYCZNYCH

244 Problem nauk humanistycznych 3 zagadnienia: 1 kiedy konkretne dyscypliny humanistyczne (np. historiȩ) zaczȩto zaliczać do nauki? 2 kiedy humanistykȩ zaczȩto wyróżniać jako osobn a grupȩ nauk? NAUK HUMANISTYCZNYCH

245 Problem nauk humanistycznych 3 zagadnienia: 1 kiedy konkretne dyscypliny humanistyczne (np. historiȩ) zaczȩto zaliczać do nauki? 2 kiedy humanistykȩ zaczȩto wyróżniać jako osobn a grupȩ nauk? 3 w czym upatrywano specyfiki nauk humanistycznych? NAUK HUMANISTYCZNYCH

246 Problem nauk humanistycznych 3 zagadnienia: 1 kiedy konkretne dyscypliny humanistyczne (np. historiȩ) zaczȩto zaliczać do nauki? 2 kiedy humanistykȩ zaczȩto wyróżniać jako osobn a grupȩ nauk? 3 w czym upatrywano specyfiki nauk humanistycznych? ad 1 i 2: Dwa porz adki: faktyczna historia nauki a jej odzwierciedlenie w świadomości teoretycznej (proponowane klasyfikacje nauk). NAUK HUMANISTYCZNYCH

247 Problem nauk humanistycznych 3 zagadnienia: 1 kiedy konkretne dyscypliny humanistyczne (np. historiȩ) zaczȩto zaliczać do nauki? 2 kiedy humanistykȩ zaczȩto wyróżniać jako osobn a grupȩ nauk? 3 w czym upatrywano specyfiki nauk humanistycznych? ad 1 i 2: Dwa porz adki: faktyczna historia nauki a jej odzwierciedlenie w świadomości teoretycznej (proponowane klasyfikacje nauk). W przypadku humanistyki wiele dyscyplin obecnych już w starożytności (np. historia, filologia) ale nie identyfikowanych jako nauki. NAUK HUMANISTYCZNYCH

248 Specyfika nauk humanistycznych: NAUK HUMANISTYCZNYCH

249 Specyfika nauk humanistycznych: Przekonanie o swoistym charakterze humanistyki a nawet jej odrȩbności od nauki sensu stricto do tej pory widoczne w praktyce jȩzykowej, administracyjnej itp. np. w j. ang. science/humanities, w j. franc. sciences/lettres. NAUK HUMANISTYCZNYCH

250 Specyfika nauk humanistycznych: Przekonanie o swoistym charakterze humanistyki a nawet jej odrȩbności od nauki sensu stricto do tej pory widoczne w praktyce jȩzykowej, administracyjnej itp. np. w j. ang. science/humanities, w j. franc. sciences/lettres. Nieostrość kategorii nauka humanistyczna szerokie i w askie rozumienie; humanistyka w ujȩciu szerokim obejmuje: NAUK HUMANISTYCZNYCH

251 Specyfika nauk humanistycznych: Przekonanie o swoistym charakterze humanistyki a nawet jej odrȩbności od nauki sensu stricto do tej pory widoczne w praktyce jȩzykowej, administracyjnej itp. np. w j. ang. science/humanities, w j. franc. sciences/lettres. Nieostrość kategorii nauka humanistyczna szerokie i w askie rozumienie; humanistyka w ujȩciu szerokim obejmuje: nauki spo leczne (np. socjologia, ekonomia) NAUK HUMANISTYCZNYCH

252 Specyfika nauk humanistycznych: Przekonanie o swoistym charakterze humanistyki a nawet jej odrȩbności od nauki sensu stricto do tej pory widoczne w praktyce jȩzykowej, administracyjnej itp. np. w j. ang. science/humanities, w j. franc. sciences/lettres. Nieostrość kategorii nauka humanistyczna szerokie i w askie rozumienie; humanistyka w ujȩciu szerokim obejmuje: nauki spo leczne (np. socjologia, ekonomia) nauki historyczne (np. historia, literaturoznawstwo) NAUK HUMANISTYCZNYCH

253 Specyfika nauk humanistycznych: Przekonanie o swoistym charakterze humanistyki a nawet jej odrȩbności od nauki sensu stricto do tej pory widoczne w praktyce jȩzykowej, administracyjnej itp. np. w j. ang. science/humanities, w j. franc. sciences/lettres. Nieostrość kategorii nauka humanistyczna szerokie i w askie rozumienie; humanistyka w ujȩciu szerokim obejmuje: Uwagi: nauki spo leczne (np. socjologia, ekonomia) nauki historyczne (np. historia, literaturoznawstwo) NAUK HUMANISTYCZNYCH

254 Specyfika nauk humanistycznych: Przekonanie o swoistym charakterze humanistyki a nawet jej odrȩbności od nauki sensu stricto do tej pory widoczne w praktyce jȩzykowej, administracyjnej itp. np. w j. ang. science/humanities, w j. franc. sciences/lettres. Nieostrość kategorii nauka humanistyczna szerokie i w askie rozumienie; humanistyka w ujȩciu szerokim obejmuje: nauki spo leczne (np. socjologia, ekonomia) nauki historyczne (np. historia, literaturoznawstwo) Uwagi: - termin historia np. w kontekstach takich jak historia naturalna, h. matematyki NAUK HUMANISTYCZNYCH

255 Specyfika nauk humanistycznych: Przekonanie o swoistym charakterze humanistyki a nawet jej odrȩbności od nauki sensu stricto do tej pory widoczne w praktyce jȩzykowej, administracyjnej itp. np. w j. ang. science/humanities, w j. franc. sciences/lettres. Nieostrość kategorii nauka humanistyczna szerokie i w askie rozumienie; humanistyka w ujȩciu szerokim obejmuje: nauki spo leczne (np. socjologia, ekonomia) nauki historyczne (np. historia, literaturoznawstwo) Uwagi: - termin historia np. w kontekstach takich jak historia naturalna, h. matematyki - problem psychologii, logiki, kognitywistyki itp. NAUK HUMANISTYCZNYCH

JÓZEF W. BREMER WPROWADZENIE DO LOGIKI

JÓZEF W. BREMER WPROWADZENIE DO LOGIKI JÓZEF W. BREMER WPROWADZENIE DO LOGIKI Wydawnictwo WAM Kraków 2006 Spis tre ci Przedmowa Jana Wole skiego 9 Wst p 11 1 Logika i jej rozumienie 17 1.1 Teksty wprowadzaj ce...................... 17 1.1.1

Bardziej szczegółowo

Ogólna metodologia nauk

Ogólna metodologia nauk 1. Podział logiki: - semiotyka logiczna - logika formalna - ogólna metodologia nauk Ogólna metodologia nauk 2. Ogólna metodologia nauk zajmuje się metodami (sposobami postępowania) stosowanymi w poznawaniu

Bardziej szczegółowo

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

Wstęp do logiki. Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża, Prof. UAM, dr hab. Zbigniew Tworak Zakład Logiki i Metodologii Nauk Instytut Filozofii Wstęp do logiki Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża, kto poprawnie wnioskuje i uzasadnia

Bardziej szczegółowo

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

LOGIKA Wprowadzenie. Robert Trypuz. Katedra Logiki KUL GG października 2013 LOGIKA Wprowadzenie Robert Trypuz Katedra Logiki KUL GG 43 e-mail: trypuz@kul.pl 2 października 2013 Robert Trypuz (Katedra Logiki) Wprowadzenie 2 października 2013 1 / 14 Plan wykładu 1 Informacje ogólne

Bardziej szczegółowo

Akademia Wychowania Fizycznego i Sportu w Gdańsku SYLABUS NA CYKL KSZTAŁCENIA 2014-2016

Akademia Wychowania Fizycznego i Sportu w Gdańsku SYLABUS NA CYKL KSZTAŁCENIA 2014-2016 Załącznik Nr 1 do Uchwały Senatu AWFiS w Gdańsku Nr 16 z dnia 27 kwietnia 2012 roku Akademia Wychowania Fizycznego i Sportu w Gdańsku SYLABUS NA CYKL KSZTAŁCENIA 2014-2016 Jednostka Organizacyjna: Rodzaj

Bardziej szczegółowo

Naukoznawstwo (Etnolingwistyka V)

Naukoznawstwo (Etnolingwistyka V) Naukoznawstwo (Etnolingwistyka V) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 20 X 2007 Jerzy Pogonowski (MEG) Naukoznawstwo (Etnolingwistyka V) 20 X 2007 1 / 49

Bardziej szczegółowo

Sylabus dla przedmiotu Logika i ogólna metodologia nauk

Sylabus dla przedmiotu Logika i ogólna metodologia nauk Sylabus dla przedmiotu Logika i ogólna metodologia nauk 1. Definicja pojęcia logika Wprowadzenie w tematykę przedmiotu (szkic czym jest logika, jak należy ją rozumieć, przedmiot logiki, podział logika

Bardziej szczegółowo

Filozofia, Historia, Wykład V - Filozofia Arystotelesa

Filozofia, Historia, Wykład V - Filozofia Arystotelesa Filozofia, Historia, Wykład V - Filozofia Arystotelesa 2010-10-01 Tematyka wykładu 1 Arystoteles - filozof systematyczny 2 3 4 Podział nauk Arystoteles podzielił wszystkie dyscypliny wiedzy na trzy grupy:

Bardziej szczegółowo

Elementy logiki i teorii mnogości Wyk lad 1: Rachunek zdań

Elementy logiki i teorii mnogości Wyk lad 1: Rachunek zdań Elementy logiki i teorii mnogości Wyk lad 1: Rachunek zdań Micha l Ziembowski m.ziembowski@mini.pw.edu.pl www.mini.pw.edu.pl/ ziembowskim/ October 2, 2016 M. Ziembowski (WUoT) Elementy logiki i teorii

Bardziej szczegółowo

KARTA KURSU. Odnowa Biologiczna

KARTA KURSU. Odnowa Biologiczna KARTA KURSU Odnowa Biologiczna Nazwa Nazwa w j. ang. Metodologia nauk przyrodniczych Methodology of the natural science Kod Punktacja ECTS* 2.0 Koordynator Dr hab. Alicja Walosik Zespół dydaktyczny Dr

Bardziej szczegółowo

ćwiczenia 15 zaliczenie z oceną

ćwiczenia 15 zaliczenie z oceną Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Prawo Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): Jednolite magisterskie Tryb

Bardziej szczegółowo

Filozofia przyrody, Wykład V - Filozofia Arystotelesa

Filozofia przyrody, Wykład V - Filozofia Arystotelesa Filozofia przyrody, Wykład V - Filozofia Arystotelesa 2011-10-01 Tematyka wykładu 1 Arystoteles - filozof systematyczny 2 3 4 Różnice w metodzie uprawiania nauki Krytyka platońskiej teorii idei Podział

Bardziej szczegółowo

SPIS TREŚCI I. WPROWADZENIE - FILOZOFIA JAKO TYP POZNANIA. 1. Człowiek poznający Poznanie naukowe... 16

SPIS TREŚCI I. WPROWADZENIE - FILOZOFIA JAKO TYP POZNANIA. 1. Człowiek poznający Poznanie naukowe... 16 SPIS TREŚCI P r z e d m o w a... 5 P r z e d m o w a do d r u g i e g o w y d a n i a... 7 P r z e d m o w a do t r z e c i e g o w y d a n i a... 9 P r z e d m o w a do c z w a r t e g o w y d a n i a...

Bardziej szczegółowo

Logika matematyczna i teoria mnogości (I) J. de Lucas

Logika matematyczna i teoria mnogości (I) J. de Lucas Logika matematyczna i teoria mnogości (I) J. de Lucas Ćwiczenie 1. (Zad. L. Newelskiego) Niech p oznacza zdanie Ala je, zaś q zdanie As wyje. Zapisz jako formu ly rachunku zdań nastȩpuj ace zdania: 1.1.

Bardziej szczegółowo

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

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

Bardziej szczegółowo

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

Liczba godzin Punkty ECTS Sposób zaliczenia. ćwiczenia 15 zaliczenie z oceną Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Prawo Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): Jednolite magisterskie Tryb

Bardziej szczegółowo

Czym jest nauka? Tomasz Poskrobko. Metodyka pracy naukowej

Czym jest nauka? Tomasz Poskrobko. Metodyka pracy naukowej Czym jest nauka? Tomasz Poskrobko Metodyka pracy naukowej Nauka Kultura Poznanie naukowe Czynności wykonywane przez naukowców Zbiór czynności które należy przyswoić Nauka Kultura Poznanie naukowe Czynności

Bardziej szczegółowo

WSTĘP ZAGADNIENIA WSTĘPNE

WSTĘP ZAGADNIENIA WSTĘPNE 27.09.2012 WSTĘP Logos (gr.) słowo, myśl ZAGADNIENIA WSTĘPNE Logika bada proces myślenia; jest to nauka o formach poprawnego myślenia a zarazem o języku (nie mylić z teorią komunikacji czy językoznawstwem).

Bardziej szczegółowo

Ogólna metodologia nauk SYLABUS A. Informacje ogólne. Semiotyka kognitywna, Konceptualizacja i definiowanie

Ogólna metodologia nauk SYLABUS A. Informacje ogólne. Semiotyka kognitywna, Konceptualizacja i definiowanie Ogólna metodologia nauk SYLABUS A. Informacje ogólne Nazwa jednostki prowadzącej kierunek Nazwa kierunku studiów Poziom kształcenia Profil studiów Forma studiów Kod przedmiotu Język przedmiotu Rodzaj przedmiotu

Bardziej szczegółowo

Logika formalna SYLABUS A. Informacje ogólne

Logika formalna SYLABUS A. Informacje ogólne Logika formalna SYLABUS A. Informacje ogólne studiów Poziom kształcenia Profil studiów Forma studiów Rodzaj przedmiotu Rok studiów /semestr Wymagania wstępne Liczba godzin zajęć Założenia i cele przedmiotu

Bardziej szczegółowo

Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r.

Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r. Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r. OPISU MODUŁU KSZTAŁCENIA (SYLABUS) dla przedmiotu Logika prawnicza na kierunku Prawo I. Informacje ogólne 1. Nazwa modułu kształcenia:

Bardziej szczegółowo

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

Logika dla socjologów Część 2: Przedmiot logiki Logika dla socjologów Część 2: Przedmiot logiki Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Działy logiki 2 Własności semantyczne i syntaktyczne 3 Błędy logiczne

Bardziej szczegółowo

Filozofia, Germanistyka, Wykład IX - Immanuel Kant

Filozofia, Germanistyka, Wykład IX - Immanuel Kant Filozofia, Germanistyka, Wykład IX - Immanuel Kant 2011-10-01 Plan wykładu 1 Immanuel Kant - uwagi biograficzne 2 3 4 5 6 7 Immanuel Kant (1724-1804) Rysunek: Immanuel Kant - niemiecki filozof, całe życie

Bardziej szczegółowo

Metodologia prowadzenia badań naukowych Semiotyka, Argumentacja

Metodologia prowadzenia badań naukowych Semiotyka, Argumentacja Semiotyka, Argumentacja Grupa L3 3 grudnia 2009 Zarys Semiotyka Zarys Semiotyka SEMIOTYKA Semiotyka charakterystyka i działy Semiotyka charakterystyka i działy 1. Semiotyka Semiotyka charakterystyka i

Bardziej szczegółowo

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

Rok akademicki: 2017/2018 Kod: HKL s Punkty ECTS: 4. Poziom studiów: Studia I stopnia Forma i tryb studiów: Stacjonarne Nazwa modułu: Logika Rok akademicki: 2017/2018 Kod: HKL-1-221-s Punkty ECTS: 4 Wydział: Humanistyczny Kierunek: Kulturoznawstwo Specjalność: Poziom studiów: Studia I stopnia Forma i tryb studiów: Stacjonarne

Bardziej szczegółowo

Rachunek zdań - semantyka. Wartościowanie. ezyków formalnych. Semantyka j. Logika obliczeniowa. Joanna Józefowska. Poznań, rok akademicki 2009/2010

Rachunek zdań - semantyka. Wartościowanie. ezyków formalnych. Semantyka j. Logika obliczeniowa. Joanna Józefowska. Poznań, rok akademicki 2009/2010 Logika obliczeniowa Instytut Informatyki Poznań, rok akademicki 2009/2010 1 formu l rachunku zdań Wartościowanie i sta le logiczne Logiczna równoważność 2 Model formu ly Formu la spe lniona Formu la spe

Bardziej szczegółowo

Zasady krytycznego myślenia (1)

Zasady krytycznego myślenia (1) Zasady krytycznego myślenia (1) Andrzej Kisielewicz Wydział Matematyki i Informatyki 2017 Przedmiot wykładu krytyczne myślenie vs logika praktyczna (vs logika formalna) myślenie jasne, bezstronne, oparte

Bardziej szczegółowo

Rozdzia l 10. Najważniejsze normalne logiki modalne

Rozdzia l 10. Najważniejsze normalne logiki modalne Rozdzia l 10. Najważniejsze normalne logiki modalne 1. Logiki modalne normalne Definicja. Inwariantny zbiór formu l X jȩzyka modalnego L = (L,,,,, ) nazywamy logik a modaln a zbazowan a na logice klasycznej

Bardziej szczegółowo

Filozofia, ISE, Wykład III - Klasyfikacja dyscyplin filozoficznych

Filozofia, ISE, Wykład III - Klasyfikacja dyscyplin filozoficznych Filozofia, ISE, Wykład III - Klasyfikacja dyscyplin filozoficznych 2011-10-01 Plan wykładu 1 Klasyczny podział dyscyplin filozoficznych 2 Podział dyscyplin filozoficznych Klasyczny podział dyscyplin filozoficznych:

Bardziej szczegółowo

Katedra Teorii i Filozofii Prawa Poznań, dnia 12 lutego 2013 r. OPISU MODUŁU KSZTAŁCENIA (SYLABUS)

Katedra Teorii i Filozofii Prawa Poznań, dnia 12 lutego 2013 r. OPISU MODUŁU KSZTAŁCENIA (SYLABUS) Katedra Teorii i Filozofii Prawa Poznań, dnia 12 lutego 2013 r. Zespół wykładowców: prof. UAM dr hab. Jarosław Mikołajewicz dr Marzena Kordela Zespół prowadzących ćwiczenia: prof. UAM dr hab. Jarosław

Bardziej szczegółowo

Z-ZIP Logika. Stacjonarne Wszystkie Katedra Matematyki Dr Beata Maciejewska. Podstawowy Nieobowiązkowy Polski Semestr trzeci

Z-ZIP Logika. Stacjonarne Wszystkie Katedra Matematyki Dr Beata Maciejewska. Podstawowy Nieobowiązkowy Polski Semestr trzeci KARTA MODUŁU / KARTA PRZEDMIOTU Z-ZIP-1003 Kod modułu Nazwa modułu Logika Nazwa modułu w języku angielskim Logic Obowiązuje od roku akademickiego 2012/2013 A. USYTUOWANIE MODUŁU W SYSTEMIE STUDIÓW Kierunek

Bardziej szczegółowo

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

Uniwersytet Śląski w Katowicach str. 1 Wydział Uniwersytet Śląski w Katowicach str. 1 Kierunek i poziom studiów: teologia, jednolite magisterskie Specjalność: teologia nauczycielska i ogólna Sylabus modułu: Filozofia logika i epistemologia (11-TS-12-FLEa)

Bardziej szczegółowo

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI Program wykładów: dr inż. Barbara GŁUT Wstęp do logiki klasycznej: rachunek zdań, rachunek predykatów. Elementy semantyki. Podstawy teorii mnogości

Bardziej szczegółowo

Rozdział VII. Znaczenie logiki dla prawa i pracy prawnika Zadania i odpowiedzi 20

Rozdział VII. Znaczenie logiki dla prawa i pracy prawnika Zadania i odpowiedzi 20 Przedmowa Wykaz skrótów XIII XV Część A. Wprowadzenie Rozdział I. Rys historyczny 1 1. Początki logiki jako nauki 1 2. Średniowiecze 2 3. Czasy nowożytne i współczesne 4 Rozdział II. Podstawowe prawa myślenia

Bardziej szczegółowo

Elementy filozofii i metodologii INFORMATYKI

Elementy filozofii i metodologii INFORMATYKI Elementy filozofii i metodologii INFORMATYKI Filozofia INFORMATYKA Metodologia Czym jest FILOZOFIA? (objaśnienie ogólne) Filozofią nazywa się Ogół rozmyślań, nie zawsze naukowych, nad naturą człowieka,

Bardziej szczegółowo

EPI 17/18 Podsumowanie. Paweł Łupkowski

EPI 17/18 Podsumowanie. Paweł Łupkowski EPI 17/18 Podsumowanie Paweł Łupkowski 1 / 17 Dziś i dalej Wykłady 12 kwietnia (dzisiaj) ostatnie dwa wykłady. 19 kwietnia, 11:30-13:00 (A) Test końcowy Ok. 60 minut 10 pytań testowych. 3 pytania otwarte

Bardziej szczegółowo

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

Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017 Logika Stosowana Wykład 1 - Logika zdaniowa Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 30 Plan wykładu 1 Język

Bardziej szczegółowo

Przedmiot, źródła i drogi poznania

Przedmiot, źródła i drogi poznania Wieloznaczność pojęcia poznanie Czynność (uświadomiona) Rezultat czynności Pozostałe czynności, mające na celu uzyskanie informacji 1.Relacja poznawcza. Przedmiot Podmiot Akty poznawcze 1.1 Przedmiot poznania:

Bardziej szczegółowo

Karta Opisu Przedmiotu

Karta Opisu Przedmiotu Politechnika Opolska Wydział Elektrotechniki, Automatyki i Informatyki Kierunek studiów Profil kształcenia Poziom studiów Specjalność Forma studiów Semestr studiów Karta Opisu Przedmiotu ELEKTRONIKA I

Bardziej szczegółowo

Logika Matematyczna (1)

Logika Matematyczna (1) Logika Matematyczna (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 4 X 2007 Jerzy Pogonowski (MEG) Logika Matematyczna (1) 4 X 2007 1 / 18 Plan konwersatorium Dzisiaj:

Bardziej szczegółowo

Z-ID-203. Logika. Podstawowy Obowiązkowy Polski Semestr II. Semestr zimowy Wiedza i umiejętności z matematyki w zakresie szkoły średniej NIE

Z-ID-203. Logika. Podstawowy Obowiązkowy Polski Semestr II. Semestr zimowy Wiedza i umiejętności z matematyki w zakresie szkoły średniej NIE KARTA MODUŁU / KARTA PRZEDMIOTU Z-ID-203 Kod modułu Nazwa modułu Logika Nazwa modułu w języku angielskim Logic Obowiązuje od roku akademickiego 201/2016 A. USYTUOWANIE MODUŁU W SYSTEMIE STUDIÓW Kierunek

Bardziej szczegółowo

Kultura logiczna Wnioskowania dedukcyjne

Kultura logiczna Wnioskowania dedukcyjne Kultura logiczna Wnioskowania dedukcyjne Bartosz Gostkowski bgostkowski@gmail.com Kraków 25 IV 2010 Plan wykładu: Intuicje dotyczące poprawności wnioskowania Wnioskowanie dedukcyjne Reguły niezawodne a

Bardziej szczegółowo

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

Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne Literatura: podstawowa: C. Radhakrishna Rao, Statystyka i prawda, 1994. G. Wieczorkowska-Wierzbińska, J. Wierzbiński, Statystyka. Od teorii do praktyki, 2013. A. Aczel, Statystyka w zarządzaniu, 2002.

Bardziej szczegółowo

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

Liczba godzin Punkty ECTS Sposób zaliczenia. ćwiczenia 30 zaliczenie z oceną Wydział: Psychologia Nazwa kierunku kształcenia: Psychologia Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Ryszard Stachowski Poziom studiów (I lub II stopnia): Jednolite magisterskie Tryb studiów:

Bardziej szczegółowo

INFORMATYKA a FILOZOFIA

INFORMATYKA a FILOZOFIA INFORMATYKA a FILOZOFIA (Pytania i odpowiedzi) Pytanie 1: Czy potrafisz wymienić pięciu filozofów, którzy zajmowali się także matematyką, logiką lub informatyką? Ewentualnie na odwrót: Matematyków, logików

Bardziej szczegółowo

Michał Lipnicki (UAM) Logika 11 stycznia / 20

Michał Lipnicki (UAM) Logika 11 stycznia / 20 Logika Michał Lipnicki Zakład Logiki Stosowanej UAM 11 stycznia 2013 Michał Lipnicki (UAM) Logika 11 stycznia 2013 1 / 20 KRP wstęp Wstęp Rozważmy wnioskowanie: Każdy człowiek jest śmiertelny. Sokrates

Bardziej szczegółowo

Karta przedmiotu. obowiązuje studentów rozpoczynających studia w roku akademickim 2012/2013. Forma studiów: Stacjonarne Kod kierunku: 11.

Karta przedmiotu. obowiązuje studentów rozpoczynających studia w roku akademickim 2012/2013. Forma studiów: Stacjonarne Kod kierunku: 11. Państwowa Wyższa Szko la Zawodowa w Nowym Sa czu Karta przedmiotu Instytut Techniczny obowiązuje studentów rozpoczynających studia w roku akademickim 01/013 Kierunek studiów: Informatyka Profil: Ogólnoakademicki

Bardziej szczegółowo

Nazwa metodologia nauki etymologicznie i dosłownie znaczy tyle, co nauka o metodach badań.

Nazwa metodologia nauki etymologicznie i dosłownie znaczy tyle, co nauka o metodach badań. Nazwa metodologia nauki etymologicznie i dosłownie znaczy tyle, co nauka o metodach badań. Metoda dedukcji i indukcji w naukach społecznych: Metoda dedukcji: 1. Hipoteza 2. Obserwacja 3. Przyjęcie lub

Bardziej szczegółowo

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

Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0 ĆWICZENIE 1 Klasyczny Rachunek Zdań (KRZ): zdania w sensie logicznym, wartości logiczne, spójniki logiczne, zmienne zdaniowe, tabele prawdziwościowe dla spójników logicznych, formuły, wartościowanie zbioru

Bardziej szczegółowo

Z-LOG-1003 Logika Logics

Z-LOG-1003 Logika Logics KARTA MODUŁU / KARTA PRZEDMIOTU Kod modułu Nazwa modułu Nazwa modułu w języku angielskim Z-LOG-100 Logika Logics Obowiązuje od roku akademickiego 2012/201 A. USYTUOWANIE MODUŁU W SYSTEMIE STUDIÓW Kierunek

Bardziej szczegółowo

Marian Przełęcki. Prawda 1

Marian Przełęcki. Prawda 1 Marian Przełęcki Prawda 1 1. Pojęcie prawdy należy do podstawowych kategorii filozoficznych, a zagadnienie istoty prawdy stanowi jeden z naczelnych problemów filozoficznej teorii poznania. Wyrażenia prawda,

Bardziej szczegółowo

Nazwa. Wstęp do filozofii. Typ przedmiotu. Jednostka prowadząca Jednostka dla której przedmiot jest oferowany

Nazwa. Wstęp do filozofii. Typ przedmiotu. Jednostka prowadząca Jednostka dla której przedmiot jest oferowany Nazwa Kierunek Poz. kształcenia Jednostka prowadząca Jednostka dla której przedmiot jest oferowany Typ Opis Wstęp do filozofii kognitywistyka studia st. stacjonarne Wydział Filozofii i Socjologii, nstytut

Bardziej szczegółowo

KRZYSZTOF WÓJTOWICZ Instytut Filozofii Uniwersytetu Warszawskiego

KRZYSZTOF WÓJTOWICZ Instytut Filozofii Uniwersytetu Warszawskiego KRZYSZTOF WÓJTOWICZ Instytut Filozofii Uniwersytetu Warszawskiego wojtow@uw.edu.pl 1 2 1. SFORMUŁOWANIE PROBLEMU Czy są empiryczne aspekty dowodów matematycznych? Jeśli tak to jakie stanowisko filozoficzne

Bardziej szczegółowo

SYLABUS PRZEDMIOTU W SZKOLE DOKTORSKIEJ

SYLABUS PRZEDMIOTU W SZKOLE DOKTORSKIEJ SYLABUS PRZEDMIOTU W SZKOLE DOKTORSKIEJ Tytuł Tytuł w jęz. ang. Filozofia nauki Philosophy of Science Status przedmiotu obowiązkowy dla: ogólny SzD do wyboru dla: Autor/autorzy sylabusa: Zespół : koordynator:

Bardziej szczegółowo

Metody wnioskowania. Wnioskowanie w przód (ang. forward chaining) Wnioskowanie w tył (ang. Backward chaining) Od przesłanki do konkluzji Np..

Metody wnioskowania. Wnioskowanie w przód (ang. forward chaining) Wnioskowanie w tył (ang. Backward chaining) Od przesłanki do konkluzji Np.. Systemy regułowe Metody wnioskowania Wnioskowanie w przód (ang. forward chaining) Od przesłanki do konkluzji Np.. CLIPS Wnioskowanie w tył (ang. Backward chaining) Czyli od konkluzji do przesłanki Np..

Bardziej szczegółowo

ZAŁOŻENIA FILOZOFICZNE

ZAŁOŻENIA FILOZOFICZNE ZAŁOŻENIA FILOZOFICZNE Koło Wiedeńskie Karl Popper Thomas Kuhn FILOZOFIA A NAUKA ZAŁOŻENIA W TEORIACH NAUKOWYCH ZAŁOŻENIA ONTOLOGICZNE Jaki jest charakter rzeczywistości językowej? ZAŁOŻENIA EPISTEMOLOGICZNE

Bardziej szczegółowo

Elementy filozofii i metodologii INFORMATYKI

Elementy filozofii i metodologii INFORMATYKI Elementy filozofii i metodologii INFORMATYKI Filozofia INFORMATYKA Metodologia Wykład 1. Wprowadzenie. Filozofia, metodologia, informatyka Czym jest FILOZOFIA? (objaśnienie ogólne) Filozofią nazywa się

Bardziej szczegółowo

Naukoznawstwo. Michał Lipnicki Zakład Logiki Stosowanej UAM michal.lipnicki@amu.edu.pl. Michał Lipnicki Naukoznawstwo 1

Naukoznawstwo. Michał Lipnicki Zakład Logiki Stosowanej UAM michal.lipnicki@amu.edu.pl. Michał Lipnicki Naukoznawstwo 1 Naukoznawstwo Michał Lipnicki Zakład Logiki Stosowanej UAM michal.lipnicki@amu.edu.pl Michał Lipnicki Naukoznawstwo 1 Plan na dziś Dzisiaj powiemy sobie co nieco o tym, czym zajmuje się naukoznawstwo.

Bardziej szczegółowo

LOGIKA Klasyczny Rachunek Zdań

LOGIKA Klasyczny Rachunek Zdań LOGIKA Klasyczny Rachunek Zdań Robert Trypuz trypuz@kul.pl 5 listopada 2013 Robert Trypuz (trypuz@kul.pl) Klasyczny Rachunek Zdań 5 listopada 2013 1 / 24 PLAN WYKŁADU 1 Alfabet i formuła KRZ 2 Zrozumieć

Bardziej szczegółowo

Karta przedmiotu. obowiązuje studentów rozpoczynających studia w roku akademickim 2015/2016. Forma studiów: Stacjonarne Kod kierunku: 06.

Karta przedmiotu. obowiązuje studentów rozpoczynających studia w roku akademickim 2015/2016. Forma studiów: Stacjonarne Kod kierunku: 06. Państwowa Wyższa Szko la Zawodowa w Nowym Sa czu Instytut Techniczny Karta przedmiotu obowiązuje studentów rozpoczynających studia w roku akademickim 201/2016 Kierunek studiów: Zarządzanie i inżynieria

Bardziej szczegółowo

INTUICJE. Zespół norm, wzorców, reguł postępowania, które zna każdy naukowiec zajmujący się daną nauką (Bobrowski 1998)

INTUICJE. Zespół norm, wzorców, reguł postępowania, które zna każdy naukowiec zajmujący się daną nauką (Bobrowski 1998) PARADYGMAT INTUICJE Zespół norm, wzorców, reguł postępowania, które zna każdy naukowiec zajmujący się daną nauką (Bobrowski 1998) PIERWSZE UŻYCIA językoznawstwo: Zespół form deklinacyjnych lub koniugacyjnych

Bardziej szczegółowo

INDEKS RZECZOWY. analogia, 209, 242, 247, 250, 251, 262 argument a contrario, 224, 225 argument a fortiori, 241 argument a pari, 224, 225

INDEKS RZECZOWY. analogia, 209, 242, 247, 250, 251, 262 argument a contrario, 224, 225 argument a fortiori, 241 argument a pari, 224, 225 INDEKS RZECZOWY A Absolutyzm, 9,11, 34, 43, 80, 83, 84, 105, 106, 107, 113, 120, 159, 165, 167, 169, 171, 177, 178, 189, 194, 195, 259, 260, 261, 264, 271 274, 277 absolutyzm aksjologiczny, 83, 84, 106,

Bardziej szczegółowo

Rachunek logiczny. 1. Język rachunku logicznego.

Rachunek logiczny. 1. Język rachunku logicznego. Rachunek logiczny. Podstawową własnością rozumowania poprawnego jest zachowanie prawdy: rozumowanie poprawne musi się kończyć prawdziwą konkluzją, o ile wszystkie przesłanki leżące u jego podstaw były

Bardziej szczegółowo

RACJONALIZM. w szerokim znaczeniu czyli

RACJONALIZM. w szerokim znaczeniu czyli RACJONALIZM w szerokim znaczeniu czyli ANTYIRRACJONALIZM Racjonalista potocznie uporządkowany logiczny ważący różne racje rozsądny krytyczny znający i wykorzystujący wyniki różnych nauk mało uczuciowy

Bardziej szczegółowo

Logika dla prawników

Logika dla prawników Logika dla prawników Wykład I: Pytania o logikę Dr Maciej Pichlak Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa mpichlak@prawo.uni.wroc.pl Tak na logikę Kodeks karny: Art. 226 1. Kto znieważa

Bardziej szczegółowo

Logika formalna wprowadzenie. Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie.

Logika formalna wprowadzenie. Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie. Logika formalna wprowadzenie Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie. 1. Zdanie logicznie prawdziwe (Prawda logiczna) Zdanie, którego analityczność

Bardziej szczegółowo

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

OPIS MODUŁU ZAJĘĆ/PRZEDMIOTU (SYLABUS) dla przedmiotu Logika prawnicza na kierunku Prawo OPIS MODUŁU ZAJĘĆ/PRZEDMIOTU (SYLABUS) dla przedmiotu Logika prawnicza na kierunku Prawo I. Informacje ogólne 1. Nazwa modułu zajęć/przedmiotu logika prawnicza 2. Kod modułu zajęć/przedmiotu 10-LP-pj-s,

Bardziej szczegółowo

ROZUMOWANIE, ARGUMENTACJA, DOWÓD

ROZUMOWANIE, ARGUMENTACJA, DOWÓD Katedra Logiki i Metodologii Nauk U L Lódź, semestr letni 2008/2009 O czym bȩdzie ten wyk lad? O czym bȩdzie ten wyk lad? pojȩcie rozumowania i jego rodzaje O czym bȩdzie ten wyk lad? pojȩcie rozumowania

Bardziej szczegółowo

Podstawowe Pojęcia. Semantyczne KRZ

Podstawowe Pojęcia. Semantyczne KRZ Logika Matematyczna: Podstawowe Pojęcia Semantyczne KRZ I rok Językoznawstwa i Informacji Naukowej UAM 2006-2007 Jerzy Pogonowski Zakład Logiki Stosowanej UAM http://www.logic.amu.edu.pl Dodatek: ściąga

Bardziej szczegółowo

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

Wprowadzenie do logiki Klasyczny Rachunek Zdań część 3 Wprowadzenie do logiki Klasyczny Rachunek Zdań część 3 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan gry: 1 Czym są zdania? 2 Język Klasycznego Rachunku Zdań syntaktyka 3 Język

Bardziej szczegółowo

Adam Meissner.

Adam Meissner. Instytut Automatyki i Inżynierii Informatycznej Politechniki Poznańskiej Adam Meissner Adam.Meissner@put.poznan.pl http://www.man.poznan.pl/~ameis SZTUCZNA INTELIGENCJA Podstawy logiki pierwszego rzędu

Bardziej szczegółowo

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

RACHUNEK ZDAŃ 7. Dla każdej tautologii w formie implikacji, której poprzednik również jest tautologią, następnik także jest tautologią. Semantyczne twierdzenie o podstawianiu Jeżeli dana formuła rachunku zdań jest tautologią i wszystkie wystąpienia pewnej zmiennej zdaniowej w tej tautologii zastąpimy pewną ustaloną formułą, to otrzymana

Bardziej szczegółowo

Nazwa kierunku studiów i kod programu według USOS Filologia WH-F-FW-1 WH-F-FK-1. Poziom kształcenia. Studia pierwszego stopnia. Profil kształcenia

Nazwa kierunku studiów i kod programu według USOS Filologia WH-F-FW-1 WH-F-FK-1. Poziom kształcenia. Studia pierwszego stopnia. Profil kształcenia Efekty kształcenia dla kierunku studiów Filologia studia pierwszego stopnia profil ogólnoakademicki WNH UKSW (zatwierdzone przez Radę Wydziału WNH 13.04.2015) Załącznik Nr 5 do Uchwały Nr 66/2015 Senatu

Bardziej szczegółowo

PRZEWODNIK PO PRZEDMIOCIE

PRZEWODNIK PO PRZEDMIOCIE Nazwa przedmiotu: Kierunek: Informatyka Rodzaj przedmiotu: obowiązkowy w ramach treści wspólnych z kierunkiem Matematyka, moduł kierunku obowiązkowy Rodzaj zajęć: wykład, ćwiczenia I KARTA PRZEDMIOTU CEL

Bardziej szczegółowo

Wstęp do logiki. Semiotyka cd.

Wstęp do logiki. Semiotyka cd. Wstęp do logiki Semiotyka cd. Gramatyka kategorialna jest teorią formy logicznej wyrażeń. Wyznacza ją zadanie sporządzenia teoretycznego opisu związków logicznych takich jak wynikanie, równoważność, wzajemna

Bardziej szczegółowo

SYSTEM DIAGNOSTYCZNY OPARTY NA LOGICE DOMNIEMAŃ. Ewa Madalińska. na podstawie prac:

SYSTEM DIAGNOSTYCZNY OPARTY NA LOGICE DOMNIEMAŃ. Ewa Madalińska. na podstawie prac: SYSTEM DIAGNOSTYCZNY OPARTY NA LOGICE DOMNIEMAŃ Ewa Madalińska na podstawie prac: [1] Lukaszewicz,W. (1988) Considerations on Default Logic: An Alternative Approach. Computational Intelligence, 44[1],

Bardziej szczegółowo

Piotr Chrząstowski-Wachtel Warsaw University, SWPS. Dlaczego informatycy tak lubią logikę?

Piotr Chrząstowski-Wachtel Warsaw University, SWPS. Dlaczego informatycy tak lubią logikę? Piotr Chrząstowski-Wachtel Warsaw University, SWPS Dlaczego informatycy tak lubią logikę? Logika Jedna z najstarszych dyscyplin naukowych Zajmuje się wnioskowaniem odkrywaniem nowych faktów na podstawie

Bardziej szczegółowo

SPIS TREŚCI. Wprowadzenie... 11

SPIS TREŚCI. Wprowadzenie... 11 SPIS TREŚCI Wprowadzenie... 11 1. CHARAKTERYSTYCZNE CECHY NAUKI... 13 1.1. Pojęcie nauki...13 1.2. Zasady poznawania naukowego...15 1.3. Cele nauki...15 1.4. Funkcje nauki...16 1.5. Zadania nauki...17

Bardziej szczegółowo

ROZWAŻANIA O JEZYKU NAUKOWYM I RELIGIJNYM

ROZWAŻANIA O JEZYKU NAUKOWYM I RELIGIJNYM ROZWAŻANIA O JEZYKU NAUKOWYM I RELIGIJNYM Wiesław M. Macek Wydział Matematyczno-Przyrodniczy, Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Dewajtis 5, 01-815 Warszawa; Centrum Badań Kosmicznych,

Bardziej szczegółowo

LOGIKA ALGORYTMICZNA

LOGIKA ALGORYTMICZNA LOGIKA ALGORYTMICZNA 0.0. Relacje. Iloczyn kartezjański: A B := (a, b) : a A i b B} (zak ladamy, że (x, y) i (u, v) s a równe wtedy i tylko wtedy gdy x = u i y = v); A n := (x 1,..., x n ) : x i A}; R

Bardziej szczegółowo

Marian Przełęcki Prawda. Filozofia Nauki 1/2/3,

Marian Przełęcki Prawda. Filozofia Nauki 1/2/3, Marian Przełęcki Prawda Filozofia Nauki 1/2/3, 389-399 1993 Filozofia Nauki Rok I, 1993, Nr 2-3 Prawda 1. Pojęcie prawdy należy do podstawowych kategorii filozoficznych, a zagadnienie istoty prawdy stanowi

Bardziej szczegółowo

Rachunek zdań i predykatów

Rachunek zdań i predykatów Rachunek zdań i predykatów Agnieszka Nowak 14 czerwca 2008 1 Rachunek zdań Do nauczenia :! 1. ((p q) p) q - reguła odrywania RO 2. reguła modus tollens MT: ((p q) q) p ((p q) q) p (( p q) q) p (( p q)

Bardziej szczegółowo

Podstawy logiki i analizy ilościowej Kod przedmiotu

Podstawy logiki i analizy ilościowej Kod przedmiotu Podstawy logiki i analizy ilościowej - opis przedmiotu Informacje ogólne Nazwa przedmiotu Podstawy logiki i analizy ilościowej Kod przedmiotu 11.1-WK-IDP-PLAI-W-S14_pNadGenC99R6 Wydział Kierunek Wydział

Bardziej szczegółowo

Wprowadzenie do logiki O czym to będzie?

Wprowadzenie do logiki O czym to będzie? Wprowadzenie do logiki O czym to będzie? Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Dwa fundamentalne pytania: Czym zajmuje się logika? Czym my się zajmować będziemy? I póki co

Bardziej szczegółowo

Wstęp do logiki. Semiotyka cd.

Wstęp do logiki. Semiotyka cd. Wstęp do logiki Semiotyka cd. Semiotyka: język Ujęcia języka proponowane przez językoznawców i logików różnią się istotnie w wielu punktach. Z punktu widzenia logiki każdy język można scharakteryzować

Bardziej szczegółowo

PROGRAM NAUCZANIA PRZEDMIOTU FAKULTATYWNEGO NA WYDZIALE LEKARSKIM I ROK AKADEMICKI 2014/2015 PRZEWODNIK DYDAKTYCZNY

PROGRAM NAUCZANIA PRZEDMIOTU FAKULTATYWNEGO NA WYDZIALE LEKARSKIM I ROK AKADEMICKI 2014/2015 PRZEWODNIK DYDAKTYCZNY PROGRAM NAUCZANIA PRZEDMIOTU FAKULTATYWNEGO NA WYDZIALE LEKARSKIM I ROK AKADEMICKI 2014/2015 PRZEWODNIK DYDAKTYCZNY 1. NAZWA PRZEDMIOTU : Historia filozofii 2. NAZWA JEDNOSTKI (jednostek ) realizującej

Bardziej szczegółowo

ZAKŁADANE EFEKTY KSZTAŁCENIA. 1. Odniesienie efektów obszarowych do efektów kierunkowych

ZAKŁADANE EFEKTY KSZTAŁCENIA. 1. Odniesienie efektów obszarowych do efektów kierunkowych Załącznik do uchwały nr 404 Senatu Uniwersytetu Zielonogórskiego z dnia 28 stycznia 2015 r. ZAKŁADANE EFEKTY KSZTAŁCENIA 1. Odniesienie efektów obszarowych do efektów kierunkowych Objaśnienie: symbole

Bardziej szczegółowo

WIEDZA zna na poziomie podstawowym co najmniej jeden pakiet oprogramowania, służący do obliczeń symbolicznych

WIEDZA zna na poziomie podstawowym co najmniej jeden pakiet oprogramowania, służący do obliczeń symbolicznych Przedmiot: Narzędzia i metody technologii informacyjnej Rok/Semestr: 1/1 Liczba godzin zajęć: 30 LA ECTS: 3 Forma zaliczenia: ZO Liczba stron dokumentu: 1 K_W09 zna na poziomie podstawowym co najmniej

Bardziej szczegółowo

Logika Matematyczna (1)

Logika Matematyczna (1) Logika Matematyczna (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Wprowadzenie Jerzy Pogonowski (MEG) Logika Matematyczna (1) Wprowadzenie 1 / 20 Plan konwersatorium

Bardziej szczegółowo

Filozofia, ISE, Wykład V - Filozofia Eleatów.

Filozofia, ISE, Wykład V - Filozofia Eleatów. 2011-10-01 Plan wykładu 1 Filozofia Parmenidesa z Elei Ontologia Parmenidesa Epistemologiczny aspekt Parmenidejskiej filozofii 2 3 Ontologia Parmenidesa Epistemologiczny aspekt Parmenidejskiej filozofii

Bardziej szczegółowo

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

Elementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń Elementy logiki Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń 1 Klasyczny Rachunek Zdań 1.1 Spójniki logiczne Zdaniem w sensie logicznym nazywamy wyrażenie, które jest

Bardziej szczegółowo

Zestawienie tekstów/zagadnień obowiązujących na egzamin z Ogólnej Metodologii Nauk semestr II

Zestawienie tekstów/zagadnień obowiązujących na egzamin z Ogólnej Metodologii Nauk semestr II Zestawienie tekstów/zagadnień obowiązujących na egzamin z Ogólnej Metodologii Nauk semestr II 1. S. Kamiński, Nauka i filozofia a mądrość, w: P. Kawalec, S. Majdański, Skrypt dla uczestników studiów podyplomowych

Bardziej szczegółowo

Klasyczny rachunek zdań 1/2

Klasyczny rachunek zdań 1/2 Klasyczny rachunek zdań /2 Elementy logiki i metodologii nauk spotkanie VI Bartosz Gostkowski Poznań, 7 XI 9 Plan wykładu: Zdanie w sensie logicznym Klasyczny rachunek zdań reguły słownikowe reguły składniowe

Bardziej szczegółowo

Rozdzia l 7. Liczby naturalne

Rozdzia l 7. Liczby naturalne Rozdzia l 7. Liczby naturalne 1. Arytmetyka elementarna Arytmetyka elementarna jest najprostsz a z teorii liczb naturalnych. Ujmuje ona liczby naturalne bez uwzglȩdnienia dzia lań dodawania i mnożenia.

Bardziej szczegółowo

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

Wprowadzenie do logiki Język jako system znaków słownych Wprowadzenie do logiki Język jako system znaków słownych Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl język system znaków słownych skoro system, to musi być w tym jakiś porządek;

Bardziej szczegółowo

Proces badawczy schemat i zasady realizacji

Proces badawczy schemat i zasady realizacji Proces badawczy schemat i zasady realizacji Agata Górny Zaoczne Studia Doktoranckie z Ekonomii Warszawa, 14 grudnia 2014 Metodologia i metoda badawcza Metodologia Zadania metodologii Metodologia nauka

Bardziej szczegółowo

Elementy logiki matematycznej

Elementy logiki matematycznej Elementy logiki matematycznej Przedmiotem logiki matematycznej jest badanie tzw. wyrażeń logicznych oraz metod rozumowania i sposobów dowodzenia używanych w matematyce, a także w innych dziedzinach, w

Bardziej szczegółowo

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

Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi: 1 Elementy logiki W logice zdaniem nazywamy wypowiedź oznajmującą, która (w ramach danej nauki) jest albo prawdziwa, albo fałszywa. Tak więc zdanie może mieć jedną z dwóch wartości logicznych. Prawdziwość

Bardziej szczegółowo

Krakowska Akademia im. Andrzeja Frycza Modrzewskiego. Karta przedmiotu. obowiązuje studentów, którzy rozpoczęli studia w roku akademickim 2012/2013

Krakowska Akademia im. Andrzeja Frycza Modrzewskiego. Karta przedmiotu. obowiązuje studentów, którzy rozpoczęli studia w roku akademickim 2012/2013 Krakowska Akademia im. Andrzeja Frycza Modrzewskiego Karta przedmiotu obowiązuje studentów, którzy rozpoczęli studia w roku akademickim 01/013 WydziałPrawa, Administracji i Stosunków Miedzynarodowych Kierunek

Bardziej szczegółowo

Logika i teoria mnogości Wykład 14 1. Sformalizowane teorie matematyczne

Logika i teoria mnogości Wykład 14 1. Sformalizowane teorie matematyczne Logika i teoria mnogości Wykład 14 1 Sformalizowane teorie matematyczne W początkowym okresie rozwoju teoria mnogości budowana była w oparciu na intuicyjnym pojęciu zbioru. Operowano swobodnie pojęciem

Bardziej szczegółowo