wyklad z logiki 13
Transkrypt
wyklad z logiki 13
Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 13 metodologia nauk 1 Piotr Łukowski, Wykład dla studentów prawa Uwaga organizacyjna (oczywista): Na egzamin przychodzimy z indeksem. Warunkiem przystąpienia do egzaminu jest wpis zaliczający ćwiczenia. Osoba nie mająca przy sobie indeksu lub mająca indeks bez wpisu zaliczającego ćwiczenia nie zostanie dopuszczona do egzaminu. 2 Piotr Łukowski, Wykład dla studentów prawa Uwaga organizacyjna (mniej oczywista): ♠ Termin egzaminu (ustnego) w terminie „zerowym”: 23 stycznia 2009 (piątek) od godziny 10.00 do skutku (z przerwą obiadową) sala 4.66 (Zakład Prawa Kanonicznego) ♠ Termin egzaminu (pisemnego): 3 lutego 2009 (wtorek) od godziny 12.00 do skutku (w granicach rozsądku) aula 0.13 (nasza, fioletowa) 3 Piotr Łukowski, Wykład dla studentów prawa [email protected] Katedra Logiki i Metodologii Nauk Instytut Filozofii Uniwersytet Łódzki ul. Kopcińskiego 16/18, I piętro, pok.13 tel. 635-61-34 dyŜur: poniedziałki, godz. 1200-1300 4 Piotr Łukowski, Wykład dla studentów prawa Kazimierz Ajdukiewicz, Metodologiczne typy nauk, [w:] Język i poznanie, tom 1, PWN, Warszawa 1985. 5 Piotr Łukowski, Wykład dla studentów prawa Podstawą przeprowadzonego przez Ajdukiewicza podziału nauk są tzw. ostateczne przesłanki. Ostateczne przesłanki, to te twierdzenia, które się przyjmuje mimo, iŜ nie są wyprowadzone z innych twierdzeń. Ostatecznymi przesłankami są: - twierdzenia bezpośrednio aprioryczne - twierdzenia bezpośrednio oparte na doświadczeniu - twierdzenia bezpośrednio oparte na rozumieniu pewnych wypowiedzi 6 Piotr Łukowski, Wykład dla studentów prawa Twierdzenia bezpośrednio aprioryczne WyróŜniamy dwa rodzaje twierdzeń bezpośrednio apriorycznych: 1. Pewniki to zdania, którym nikt kto je właściwie rozumie nie moŜe zaprzeczyć. Przykład „KaŜda kula jest okrągła” „Jeśli a jest równe b, to b jest równe a” „Jeśli a jest ojcem b, to b jest synem a” 2. Postulaty to zdania, które konstytuują znaczenie terminu/ów w nim występujących. NaleŜy terminy te tak rozumieć, aby zdania te były prawdziwe. Przykład 1) x + y = 10 2) 7x + 22y = 71 patrz takŜe wykład poświęcony definiowaniu (definiowanie przez postulaty) 7 Piotr Łukowski, Wykład dla studentów prawa Twierdzenia bezpośrednio oparte na doświadczeniu WyobraŜenia spostrzegawcze, to te wyobraŜenia, które odznaczają się taką Ŝywością i wyrazistością, Ŝe doznając ich, niepodobna uchronić się od wiary w obecność przedmiotu tych wyobraŜeń. Twierdzenia bezpośrednio oparte na doświadczeniu to te twierdzenia, do uznania których zmuszają nas wyobraŜenia spostrzegawcze. Sad wyraŜony przez t.b.o.n.d. nazywamy sądem spostrzegawczym. Uwaga: Istnienie złudzeń zmysłowych dowodzi tego, Ŝe twierdzenia bezpośrednio oparte na doświadczeniu nie muszą być prawdziwe - mogą okazać się fałszywymi. WyróŜniamy dwa rodzaje twierdzeń bezpośrednio opartych na doświadczeniu: 1. t.b.o.n.d. wewnętrznym (oparte na introspekcji) to te, dotyczące własnych stanów psychicznych i doznań je wygłaszającego. Przykład (Ajdukiewicza): „Piszący te słowa spostrzega coś białego” - dotyczy kartki leŜącej na stole 2. t.b.o.n.d. zewnętrznym (oparte na ekstraspekcji) to te, dotyczące przedmiotów świata zewnetrznego. Przykład (Ajdukiewicza): „Piszący te słowa spostrzega przed sobą białą kartkę papieru”. 8 Piotr Łukowski, Wykład dla studentów prawa Twierdzenia bezpośrednio oparte na rozumieniu pewnych wypowiedzi Wypowiedź, na której rozumieniu jest bezpośrednio oparte twierdzenie nie musi być sformułowana w słowach, lecz moŜe być wypowiedzią mimiczną lub inną. MoŜe to być wypowiedź własna lub cudza. 9 Piotr Łukowski, Wykład dla studentów prawa Podział nauk ze względu na ich ostateczne przesłanki Kazimierz Ajdukiewicz (1890-1963) [Wilhelm Windelband (1848-1915)] I. Nauki aprioryczne to te nauki, których ostatecznymi przesłankami są jedynie twierdzenia bezpośrednio aprioryczne. Są nimi nauki matematyczne i logika formalna II. Nauki empiryczne to te nauki, których ostatecznymi przesłankami są jedynie twierdzenia (niekoniecznie bezpośrednio) aprioryczne oraz twierdzenia bezpośrednio oparte na doświadczeniu. Są nimi nauki przyrodnicze. III. Nauki humanistyczne to te nauki, których ostatecznymi przesłankami są jedynie twierdzenia (niekoniecznie bezpośrednio) aprioryczne, twierdzenia (niekoniecznie bezpośrednio) oparte na doświadczeniu oraz twierdzenia bezpośrednio oparte na rozumieniu pewnych wypowiedzi. Są nimi psychologia, pedagogika, prawo, historia. Nauki aprioryczne mają najwyŜszy stopień pewności. Nauki empiryczne mają stopień pewności niŜszy niŜ nauki aprioryczne ale wyŜszy niŜ humanistyczne. Zatem, nauki humanistyczne mają najniŜszy stopień pewności. Siła wyrazu nauk jest odwrotnie proporcjonalna do ich stopnia pewności - im większy rygor logiczny, tym mniej moŜna powiedzieć. NieprawdaŜ? ☺ 10 Piotr Łukowski, Wykład dla studentów prawa I. Nauki aprioryczne Nauka aprioryczna ma zawsze postać systemu dedukcyjnego, którego aksjomatami mogą być jedynie pewniki i postulaty. Aksjomaty, to zdania przyjęte bez wyprowadzenia z innych zdań. System dedukcyjny względem zdań zbioru A jest to uporządkowany zbiór zdań Z, w skład którego oprócz zdań A wchodzą tylko zdania T, wyprowadzone dedukcyjnie ze zdań wcześniej w tym zbiorze Z figurujących oraz zdania D będące definicjami. Niech A = {a1, a2, a3}. Zdania zbioru A nazywamy aksjomatami. MoŜliwy rozwój systemu dedukcyjnego względem zbioru A przedstawia schemat: a1 a2 a3 t1 t2 t3 t4 d1 t5 d2 t6 t7 [Przykładowe wyjaśnienie: twierdzenie piąte, czyli t5 wynika logicznie z koniunkcji t3 i t4 a występujący w nim termin jest zdefiniowany w d1.] Strzałki wyraŜają wynikanie logiczne. Naturalnie, strzałka prowadząca do definicji oznacza, Ŝe ta definicja wprowadza do systemu nazwę dla obiektu występującego w twierdzeniu, z którego wychodzi strzałka. 11 Piotr Łukowski, Wykład dla studentów prawa System dedukcyjny moŜe mieć postać przedaksjomatyczną lub zaksjomatyzowaną. System przedaksjomatyczny, to taki system dedukcyjny, w którym lista aksjomatów nie jest zamknięta na Ŝadnym etapie rozwoju systemu. System zaksjomatyzowany, to taki system dedukcyjny, w którym lista aksjomatów jest ustalona i zamknięta juŜ na samym początku rozwoju systemu. Warunek niesprzeczności aksjomatów: Istnieje taka interpretacja (czyli rozumienie) terminów występujących w aksjomatach, przy której aksjomaty nie są zbiorem zdań sprzecznych Naturalnie, aksjomaty systemu dedukcyjnego winny spełniać warunek niesprzeczności. Warunek zupełności aksjomatów [przy ustalonej interpretacji wszystkich terminów występujących w aksjomatach]: KaŜde zdanie, dające się w terminach tego systemu zbudować, daje się na drodze dedukcji udowodnić lub obalić. Obalić zdanie A = znaleźć kontrprzykład dla A lub udowodnić zdanie ¬A. ♦ Obalimy twierdzenie „KaŜdy trapez jest wpisywalny w okrąg”, gdy skonstruujemy trapez, który nie da się wpisać w Ŝaden okrąg. ♦ Obalimy twierdzenie „Istnieje kwadrat, który nie jest wpisywalny w okrąg”, gdy udowodnimy twierdzenie będące jego negacją, czyli „KaŜdy kwadrat jest wpisywalny w okrąg”. 12 Piotr Łukowski, Wykład dla studentów prawa II. Nauki empiryczne Do twierdzeń bezpośrednio opartych na doświadczeniu dochodzimy przeprowadzając obserwację, eksperyment, pomiar. Obserwacja jest to dochodzenie do sądów spostrzeŜeniowych, mających być odpowiedzią na pewne aktualnie przeŜywane pytanie. Spostrzegawczość to zdolność do wydawania sądów spostrzeŜeniowych, które nie są kierowane uprzednio stawianymi pytaniami. Obserwacyjność to zdolność do zorganizowania i przeprowadzenia obserwacji, czyli zdolność ułoŜenia odpowiedniego dla danego problemu planu pytań oraz znalezienie dla tych pytań odpowiedzi. Eksperymant jest to obserwacja czynna, czyli taka, w której obserwowany obiekt lub zjawisko zostały stworzone (wywołane, wytworzone) przez prowadzącego obserwację. W obserwacji biernej aktywność obserwatora ogranicza się jedynie do rejestracji sądów spostrzeŜeniowych. Pomiar jest to eksperyment ilościowy. 13 Piotr Łukowski, Wykład dla studentów prawa Prawo rejestrujące jest to twierdzenie ogólne lub w przybliŜeniu ogólne, wywiedzione z przesłanek, będących szczególnymi przypadkami tych praw, a opartych bezpośrednio na doświadczeniu. Przykłady praw rejestrujących: - Człowiek na ogół posiada 32 zęby. - KaŜdy gaz jest lŜejszy gatunkowo od wody. Prawa rejestrujące mogą być jakościowe i ilościowe. Przykłady praw rejestrujących: - KaŜdy promień światła zmienia swój kierunek przy przejściu z powietrza do wody (prawo rejestrujące jakościowe) - Prawo Snelliusa (prawo rejestrujące ilościowe) Niech α będzie kątem padania, zaś β katem załamania, przy przejściu promienia światła z powietrza do wody. Wówczas: sin α = 1,31 sin β 14 Piotr Łukowski, Wykład dla studentów prawa Hipoteza na gruncie przyjętych juŜ twierdzeń P jest to pewne twierdzenie H, które ani nie jest bezpośrednio oparte na doświadczeniu, ani nie rejestruje wyników dotychczasowych obserwacji, ale zostało przyjęte na tej podstawie, Ŝe przy pomocy twierdzenia H oraz twierdzeń P moŜna wyjaśnić pewne fakty stwierdzone w doświadczeniu lub pewne prawa rejestrujące, których przy pomocy samych twierdzeń P a bez przyjęcia H wyjaśnić nie moŜna. Hipoteza moŜe być twierdzeniem ogólnym a moŜe teŜ być twierdzeniem jednostkowym. Przykłady hipotez szczegółowych: - Oś Ziemi opisuje pobocznicę stoŜka. - Prędkość światła jest największą prędkością w świecie. - Przestrzeń wypełnia eter. ogólnych: - Drobiny kaŜdego elektrolitu w roztworach rozpadają się na jony. - KaŜde ciało poruszające się w przestrzeni jest (nie jest) przyczyną zagęszczenia eteru. - Przesunięcie widma gwiazd jest skutkiem zjawiska spowolnienia protonów, wywołanego przejściem światła przez atmosferę Ziemi. 15 Piotr Łukowski, Wykład dla studentów prawa Uwaga: Prawa rejestrujące i hipotezy mogą być przez doświadczenie obalone. Ta moŜność musi być nawet konieczna! Zdanie, które jest nieobalalne, nie moŜe być hipotezą. Co więcej, zdanie, które jest nieobalalne, nie moŜe być twierdzeniem naukowym z jednym wyjątkiem, zasady. Zasada to twierdzenie, które zawiera termin specyficzny dla danej nauki empirycznej i ma charakter postulatu, ustalającego znaczenie tego terminu. Wniosek: Zasada jest więc twierdzeniem apriorycznym, które ani nie jest oparte na doświadczeniu, ani przez doświadczenie nie moŜe zostać obalone. Przykłady zasad: - Woda wrze pod normalnym ciśnieniem w temperaturze 100 stopni Celsjusza. - Drogi przebywane w równych czasach przez ciała nie poddane działaniu Ŝadnych sił są równe (zasada bezwładności). 16 Piotr Łukowski, Wykład dla studentów prawa Teoria nauki empirycznej to niesprzeczny zbiór zdań zawierający: - zdania bezpośrednio oparte na doświadczeniu (zdania jednostkowe o faktach); - prawa rejestrujące będące uogólnieniami zdań bezpośrednio opartych na doświadczeniu; - hipotezy, których zadaniem jest uzupełnić istniejące luki; - zasady będące podstawą teoretyczno-terminologiczną formułowania wszystkich powyŜszych zdań. Uwaga: KaŜdą teorię nauki empirycznej czeka obalenie. 17 Piotr Łukowski, Wykład dla studentów prawa III. Nauki humanistyczne ♣ Typ wyjaśniający (nomotetyczny, nomos = prawo) Podobny do nauk empirycznych, a więc zbierający fakty, formułujący prawa rejestrujące, przyjmujący hipotezy i zasady. Przykład: psychologia, pedagogika, socjologia. ♣ Typ sprawozdawczy (idiograficzny, idios = jednostkowy, swoisty) Poznawanie faktów jednostkowych dla nich samych. Rejestracja tych faktów jest celem nauki, ie zaś poszukiwanie ogólnych praw, którym te fakty podlegają. Przykład: historia. ♣ Typ wartościujący (aksjologiczny, aksios = odpowiedni, wart, cenny) Przykład: etyka. 18 Piotr Łukowski, Wykład dla studentów prawa Dziękuję Państwu za miłe spędzenie czasu. ☺ Wszystkim moim studentkom i studentom Ŝyczę zdania egzaminu na satysfakcjonującą ocenę oraz wielu dalszych sukcesów naukowych i wszelkich innych. 19