METODOLOGIA NAUK HUMANISTYCZNYCH
|
|
- Adam Wierzbicki
- 6 lat temu
- Przeglądów:
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 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
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
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
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
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
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
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
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:
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
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
ć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
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ł
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...
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.
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
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
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
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).
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
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
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:
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
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
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
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
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
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
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
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:
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
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
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)
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
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
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,
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
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
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:
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
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:
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
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
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.
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:
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
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
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
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
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
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
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,
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
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
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:
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..
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
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ę
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.
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ć
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
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
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,
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
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
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
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ść
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,
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
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
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
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
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
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
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
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
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],
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
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
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,
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
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
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)
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ł
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
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ć
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
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
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
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
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
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
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
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
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.
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;
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
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
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ść
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
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