Problem projekcji (indukcji)
|
|
- Łukasz Sawicki
- 6 lat temu
- Przeglądów:
Transkrypt
1 Wykład 14 Problem projekcji (indukcji) Problemem projekcji albo indukcji nazywa się pytanie o prawomocność przenoszenia (czyli rzutowania, projekcji) mniemań na temat przypadków zaobserwowanych na przypadki niezaobserwowane. Na przykład prawomocność naszego mniemania, że dziś nastąpi zachód Słońca, na tej podstawie, że wczoraj, przedwczoraj, i paru innych przypadkach obserwowaliśmy zachód Słońca. Wątpliwości w tym względzie wyraża znane przysłowie: Myślał indyk o niedzieli, a w sobotę mu łeb ścięli. Indyka nakarmiono w poniedziałek, wtorek i środę, więc pomyślał, że w niedzielę go też nakarmią. Zamiast tego w sobotę łeb mu ścięli i upiekli na niedzielny obiad. W sprawie zachodu Słońca możemy być w sytuacji podobnej, co indyk (tyle, że jeszcze nasza sobota nie nadeszła). Inaczej jest z rozumowaniem dedukcyjnym, które jest niezawodne. To znaczy, wniosek wyprowadzony dedukcyjnie z prawdziwych przesłanek musi być prawdziwy. Jednak prawdziwości wszystkich przesłanek nie da się ustalić dedukcyjnie, bo do tego potrzebne byłyby jakieś wcześniejsze przesłanki i powstaje regres w nieskończoność. Zatem rozumowanie dedukcyjne wymaga albo przesłanek uzasadnionych a priori (na przykład za pomocą idei wrodzonych, jak u Kartezjusza) albo uzasadnionych za pomocą innego rodzaju rozumowania. Być może za pomocą rozumowania indukcyjnego, które polega na przenoszeniu mniemań z przypadków zaobserwowanych na niezaobserwowane i uchodzi za podstawową formę poszerzania wiedzy empirycznej. W wykładzie 1 przypomniałem historyczne podejścia do problemu indukcji. Współcześnie wyróżnia się następujące strategie jego rozwiązywania: aprioryzm dedukcja transcendentalna podejście nieepistemiczne probabilizm hipotetyzm Nieepistemiczne rozwiązania problemu indukcji Rozwiązania nieepistemiczne polegają na uzasadnianiu stosowania rozumowania indukcyjnego ze względu na co innego, niż zdolność rozumowań indukcyjnych do przenoszenia prawdy lub prawdopodobieństwa z przesłanek na wnioski. Można wyróżnić dwa typy uzasadnień nieepistemicznych: naturalistyczne i pragmatyczne. Pierwsze odwołuje się do natury ludzkiej, drugie do skuteczności działania. Klasycznym przykładem naturalistycznego rozwiązania problemu indukcji jest stanowisko Davida Hume a. Według niego rozumowanie indukcyjne jest nieprawomocne, niemniej w naturze ludzkiej leży to, żeby pod wpływem przyzwyczajenia do pewnych sekwencji zdarzeń oczekiwać, że będą się one powtarzać w przyszłości, czyli że są przejawem stałej prawidłowości następstwa zdarzeń. A. Grobler, Epistemologia 14. Strona 1 z 6
2 Bardziej współczesnym rozwiązaniem naturalistycznym jest stanowisko późnego Wittgensteina (wydane pośmiertnie Dociekania filozoficzne 1953, O pewności). Zrywając z obrazkową teorią znaczenia z Traktatu, Wittgenstein wprowadził pojęcie gry językowej na oznaczenie form współdziałania między ludźmi z użyciem wypowiedzi językowych. Reguły gry wyznaczają znaczenie wyrażeń w niej użytych. Na przykład w grze językowej majstra z pomocnikiem na budowie, na okrzyk majstra Cegła! prawidłową odpowiedzią pomocnika jest podanie cegły. Dlatego w tej grze okrzyk Cegła! znaczy mniej więcej tyle, co podaj cegłę, zaś w grze językowej między profesorem i studentami nic takiego nie znaczy. Nauka jest jedną z gier językowych, do której reguł należy prowadzenie rozumowań indukcyjnych. Pytanie o prawomocność reguł gry językowej nie powstaje: ewentualna rewizja reguł byłaby zmianą gry na inną. Podobnie pytanie o prawomocność nauki nie powstaje. Nauka jest jedną z praktyk życiowych (forms of life), które same się uzasadniają. Uprawianie nauki, podobnie jak praktyka tańczenia walca albo tanga, nie wymaga żadnego uzasadnienia. W O pewności Wittgenstein krytykuje George a Edwarda Moore a ( ) argument przeciw sceptycyzmowi (Dowód na istnienie zewnętrznego świata, wersja oryginalna, 1939). Sprowadza się on do stwierdzenia wiem, że to jest moja ręka, a zatem wiem, że istnieje przynajmniej jeden przedmiot zewnętrzny, a więc że istnieje świat zewnętrzny. Według Wittgensteina stwierdzenie Moore a narusza zasady gry językowej z użyciem słowa wiem. Mówiąc wiem (coś) daję do zrozumienia, że mógłbym (tego) nie wiedzieć. Normalnie zaś nie mogę nie wiedzieć, że moja ręka jest moją ręką (chyba że w jakiejś szczególnej sytuacji, np. gdy moja ręka leży wśród innych, odrąbanych rąk). Dlatego jest wiele sądów, których jestem pewien, choć nie wchodzą w skład mojej wiedzy. Należą one do tła, na którym odróżniam prawdę od fałszu. Takim sądem jest m.in. sąd o istnieniu świata. Dopiero, gdy go przyjmę, mogę uprawiać naukę (o świecie). Akceptacja takiego sądu nie jest posunięciem w grze naukowej, lecz rozstawieniem planszy, na której tę grę się rozgrywa. Pragmatyczne uzasadnienie metody indukcyjnej powołuje się na jej skuteczność. Dzięki niej uprawiamy naukę, której wyniki wykorzystuje się w praktyce. Skoro metoda indukcyjna działa, to pytanie o jej uprawomocnienie jest zbędne. William James ( , The Will to Believe 1897, polski przekład Wola wiary w: James, Prawo do wiary) twierdzi, że kto w obawie przed błędem stawia zbyt wysokie wymagania co do uzasadnienia, ten ma mniejsze szanse na postęp w poszukiwaniu prawdy. Warto zatem zaryzykować stosowanie wątpliwych metod, bo bez ryzyka nie ma zysku (w tym przypadku zysku poznawczego). Program logiki indukcji Ukute przez Koło Wiedeńskie pojęcie weryfikowalności zostało szybko porzucone, ponieważ zdania uniwersalne a takimi są prawa nauki nie dają się zweryfikować za pomocą skończonej liczby obserwacji. Nawet obserwacyjne zdania szczegółowe, jak zauważył Rudolf Carnap, nie są w pełni weryfikowalne: zawsze można zażądać sprawdzenia wyników obserwacji, sprawdzenia sprawdzianu itd. Dlatego w rozprawie Testability and Meaning ( , polski przekład w zbiorze Filozofia jako analiza języka nauki), czyli już na emigracji w USA, Carnap zastępuje pojęcie weryfikowalności pojęciem potwierdzalności. Potwierdzenie, inaczej niż weryfikacja, jest stopniowalne. A. Grobler, Epistemologia 14. Strona 2 z 6
3 Początkowo Carnap uważał stopień potwierdzenia za wielkość niemierzalną, dopiero w Logical Foundations of Probability (1950) sformułował program logiki indukcji, w którym przyjął, iż stopień potwierdzenia hipotezy przez dane świadectwo jest równy prawdopodobieństwu warunkowemu tej hipotezy ze względu na dane świadectwo. Pomysł ten ma dwa źródła. Pierwszym jest założenie, iż stopień przekonania racjonalnego badacza co do prawdziwości hipotezy powinien odpowiadać stopniu jej potwierdzenia. Z kolei pojęcie stopnia przekonania, jeżeli ma mieć sens empiryczny, powinien być jakoś mierzalny. Powinien zatem przejawiać się jakoś w zachowaniu, na przykład jako dyspozycja do zawierania zakładu o określonym ilorazie. Ilorazem zakładu dla danego gracza nazywa się stosunek s1/s1+s2, gdzie s1 oznacza stawkę tego gracza, zaś s2 stawkę jego przeciwnika w zakładzie. Stopień przekonania gracza o tym, że wygra, jest równy najwyższemu ilorazowi zakładu, który gracz jest skłonny zaakceptować. Drugim źródłem jest analiza warunków racjonalności układu stopni przekonania, przeprowadzona za pomocą tzw. Dutch-book argument. Przypuśćmy, że gracz jest bukmacherem, który zawiera wiele zakładów naraz. Jego system zakładów (book) nazywa się holenderski (Dutch) wtedy i tylko wtedy, gdy możliwe jest rozstrzygnięcie, skutkiem którego osiągnie on ujemny zwrot z zakładów. Na przykład: przypuśćmy, że gracz stawia 2 zł przeciw 10, że Jaś ożeni się z Małgosią oraz 9 zł przeciw 10, że się nie ożeni. Wydaje na zakłady 11 zł, z czego nie zwróci mu się więcej niż 10. Holenderski system zakładów jest zatem nieracjonalny. Jest faktem matematycznym, że system zakładów nie jest holenderski wtedy i tylko wtedy, gdy spełnia aksjomaty rachunku prawdopodobieństwa. Zatem racjonalny układ stopni przekonania musi spełniać aksjomaty rachunku prawdopodobieństwa. 1. P(A) 0 2. P(A B) = P(A) + P(B), A B 3. P(A A) = 1 gdzie A, B są zdaniami (na ogół prawdopodobieństwo określa się na pewnym zbiorze zdarzeń, ale na użytek logiki indukcji wygodniej je określać na zbiorze zdań pewnego języka nauki sprawa nie ma większego znaczenia, ponieważ każde zdarzenie można opisać za pomocą jakiegoś zdania), zaś oznacza kontrtautologię (zdanie wewnętrznie sprzeczne). Z kolei omówię motyw posłużenia się pojęciem prawdopodobieństwa warunkowego (względnego). Prawdopodobieństwo A ze względu na B jest określone wzorem P(A B) = P(A B) / P(B) Np. prawdopodobieństwo, że popełnię błąd, jeżeli jestem pijany, jest równe prawdopodobieństwu, że popełnię błąd i będę (jednocześnie) pijany podzielonemu przez prawdopodobieństwo, że jestem pijany. Carnap zauważył, że prawdopodobieństwo warunkowe prawdziwości hipotezy H pod warunkiem uzyskania świadectwa E, P(H E), można potraktować jako uogólnienie zwykłej implikacji. Mianowicie, P(H E) = 1 wtedy i tylko wtedy, gdy implikacja E H jest prawdziwa. Zatem im większe jest r w równaniu P(H E) = r, tym bardziej relacja między hipotezą H a świadectwem empirycznym E przypomina implikację E H. A. Grobler, Epistemologia 14. Strona 3 z 6
4 Program Carnapa upadł z kilku powodów. Głównym było to, że określenie wyjściowego rozkładu prawdopodobieństwa na zbiorze zdań danego języka nie może się obejść bez arbitralnych założeń (w szczególności założeń o dodatniej zależności statystycznej między zdarzeniami, które skądinąd mogą być niezależne lub zależne ujemnie). Skądinąd logika indukcji, wbrew przypuszczeniom Carnapa, nie jest zwykłym uogólnieniem logiki klasycznej. Świadczy o tym paradoks sylogizmu probabilistycznego. W logice klasycznej prawomocny jest następujący schemat wnioskowania: A B, B C = A C. Osłabiając związek implikacji do jej indukcyjnego uogólnienia, otrzymujemy schemat: P(B A) ~ 1, P(C B) ~ 1 = P(C A) ~ 1. Ten schemat nie jest jednak prawomocny. Weźmy, na przykład, losowanie spośród początkowych liczb naturalnych (przykład pochodzi od Johna Watkinsa). Niech A = wylosowano 2, B = wylosowano liczbę pierwszą, C = wylosowano liczbę nieparzystą. Przy takim podstawieniu przesłanki są prawdziwe, a wniosek fałszywy. Alternatywnym programem logiki indukcji jest bayesianizm (od nazwiska Thomasa Bayesa, angielskiego pastora , odkrywcy jednego z najważniejszych twierdzeń rachunku prawdopodobieństwa). Program ten zakłada, że wybór prawdopodobieństwa wyjściowego nie ma znaczenia, ponieważ racjonalność polega na sposobie modyfikowania prawdopodobieństw w reakcji na nowe świadectwa. Prawdopodobieństwa należy zaś modyfikować zgodnie z regułą warunkowania (conditionalization rule) opartą na twierdzeniu Bayesa: P(H E) = P(E H) P(H)/P(E) gdzie P(E) = P(E H) P(H) + P(E H) P( H). Prawdopodobieństwa liczone przez wielokrotne zastosowanie reguły warunkowania, w miarę nabywania nowych świadectw zmierzają do tej samej granicy bez względu na wybór prawdopodobieństwa wyjściowego. Najmocniejszego, według mnie, argumentu Uwaga na temat przekładu. W wielu polskich tekstach conditionalization rule jest tłumaczone jako reguła kondycjonalizacji, co jest bez sensu, bo nie chodzi w niej o poprawianie kondycji, lecz o warunkowanie dokładnie w tym sensie, jak w przypadku psa Pawłowa, u którego tworzy się reakcja warunkowa (ślinienie się) na dźwięk dzwonka (kojarzonego z podaniem pożywienia). Bayesianizm zakłada teorię uczenia się przez warunkowanie. Reguła warunkowania określa intensywność ślinienia się uczonych na myśl o danej hipotezie, jako odruchu warunkowego wytworzonego przez świadectwa empiryczne. przeciw bayesianizmowi dostarcza paradoks sformułowany w latach przez Tomasza Placka (UJ). Przypuśćmy, że wybieramy się samochodem z Krakowa do Warszawy i jest dla nas istotne, aby dojechać bez tankowania po drodze (w stanie wojennym benzyna była na kartki). Oznaczmy przez W = Dojadę (z Krakowa) do Warszawy bez tankowania, J = Dojadę do Janek bez tankowania (w Jankach była wtedy ostatnia stacja benzynowa przed Warszawą). Załóżmy, że P(W) = 0,7, zaś P(J) = 0,9. Dojechaliśmy do Janek, gdzie powstaje hamletyczne pytanie tankować (bez kartek, dokonując próby przekupstwa), czy nie tankować. Trzeba skalkulować ryzyko. Zgodnie z regułą warunkowania P(W J) = P(J W)/P(J)=0,7/0,9 = 7 9. Prawdopodobieństwo sukcesu wzrosło. Ale co takiego stało się, gdy dotarłem do Janek, że powinienem być mocniej przekonany, iż uda mi się dojechać do Warszawy bez tankowania? A. Grobler, Epistemologia 14. Strona 4 z 6
5 Warunkowanie w następstwie dotarcia do Janek jest słuszne, jeżeli proces jest losowy. Niemniej, zgodnie z naszą wiedzą, proces jest przyczynowy. Szanse dotarcia do celu bez tankowania zależą od zużycia paliwa, ono zaś zależy z kolei od natężenia ruchu drogowego i pogody. Z uwagi na tę wiedzę, Racjonalnie jest warunkować nie ze względu na długość przebytej drogi, lecz ze względu na dotychczasowe i oczekiwane w pozostałej części podróży warunki jazdy. Racjonalne warunkowanie zatem wymaga wcześniejszego założenia pewnych hipotez, które są podstawą oceny istotności świadectwa. Jeżeli te hipotezy przyjąć niezależnie od reguły warunkowania, reguła warunkowania nie jest samodzielnym narzędziem oceny hipotez (taki jest właśnie mój pogląd: regułę warunkowania, według mnie, można stosować do oceny prawdopodobieństwa spełniania się przewidywań, na przykład prognozy pogody, na podstawie założonych hipotez). Jeżeli zaś te hipotezy podlegają również regule warunkowania, powstaje regres w nieskończoność. Podsumowując, hipotezy nie są ani weryfikowalne, ani potwierdzalne. Ta konstatacja prowadzi do odrzucenia indukcjonizmu na rzecz hipotetyzmu. Hipotetyzm Hipotetyzm głosi, że cała wiedza ma charakter hipotetyczny, czyli składa się z przypuszczeń, które nie dają się uzasadnić (ani uprawdopodobnić). Przyjmuje się je zatem prowizorycznie, tymczasowo, aczkolwiek nie bez podstaw natury epistemicznej. Można wyróżnić dwa warianty hipotetyzmu: falsyfikacjonizm i abdukcjonizm. Falsyfikacjonizm został wysunięty przez Karla Poppera ( ), po raz pierwszy w Logik der Forschung (1934), gdzie przeprowadził gruntowną krytykę Koła Wiedeńskiego. Oddziałała ona mocniej dopiero po wydaniu przekładu angielskiego, Logic of Scientific Discovery (1959, polski przekład: Logika odkrycia naukowego). Ten fragment wykładu skracam, ponieważ o filozofii Poppera była mowa na wykładzie z filozofii współczesnej i będzie jeszcze mowa w przyszłym semestrze, na wykładzie z metodologii nauk. Mankamenty falsyfikacjonistycznej wersji hipotetyzmu przyczyniły się do powstania abdukcjonizmu. Kierunek ten nawiązuje do wprowadzonego przez Peirce a rozróżnienia trzech typów rozumowania naukowego: rozumowanie indukcyjne, dedukcyjne i abdukcyjne. (To ostatnie w polskiej literaturze często nazywa się rozumowaniem redukcyjnym). Jest ono niejako odwróceniem rozumowania dedukcyjnego. Polega ono na akceptowaniu przesłanek dedukcji, jeżeli wnioski zostały potwierdzone. Rozumowanie abdukcyjne jest oczywiście zawodne: z fałszywych przesłanek niekiedy wynikają logicznie prawdziwe wnioski. Typowym zastosowaniem w nauce rozumowania abdukcyjnego jest akceptowanie hipotezy na podstawie potwierdzenia wynikających z niej przewidywań. Wbrew powierzchownemu podobieństwu, nie jest to rozumowanie czysto indukcyjne. Te same przewidywania mogą bowiem wynikać logicznie z różnych hipotez. W ujęciu indukcjonizmu wybór między alternatywnymi hipotezami zależy od stopnia ich potwierdzenia albo prawdopodobieństwa ze względu na posiadane świadectwa. Natomiast rozumowanie abdukcyjne jest podporządkowane zasadzie wnioskowania do najlepszego wyjaśnienia (inference to the best explanation). Głosi ona, że spośród alternatywnych hipotez należy przyjąć, jako przypuszczalnie prawdziwą, tę, która dostarcza najlepszego wyjaśnienia rozpatrywanych zdarzeń (lub prawidłowości). A. Grobler, Epistemologia 14. Strona 5 z 6
6 Podstawowe problemy abdukcjonizmu są dwa: (i) wyjaśnienia wymaga samo pojęcie wyjaśnienia, (ii) następnie wyjaśnienia wymaga pojęcie najlepszego wyjaśnienia: trzeba odpowiedzieć na pytanie, co to znaczy, że jakieś wyjaśnienie jest lepsze od jakiegoś innego. Na omówienie tych kwestii zabrakło nam czasu. Wrócimy do nich w przyszłym semestrze, na wykładzie z metodologii nauk. Na razie poprzestanę na informacji, że najbardziej znanym przedstawicielem abdukcjonizmu jest Peter Lipton ( , The Inference to the Best Explanation 1991). Sobie przypisuję zasługę sformułowania precyzyjniejszych od podanych przez niego kryteriów jakości wyjaśnienia (Metodologia nauk, Kraków 2006). A. Grobler, Epistemologia 14. Strona 6 z 6
Filozofia nauki. #3 Probabilizm. Paweł Łupkowski. Instytut Psychologii Zakład Logiki i Kognitywistyki Uniwersytet im. A. Mickiewicza w Poznaniu
Filozofia nauki #3 Probabilizm Paweł Łupkowski Instytut Psychologii Zakład Logiki i Kognitywistyki Uniwersytet im. A. Mickiewicza w Poznaniu Niniejszy dokument stanowi wyłącznie materiały pomocnicze do
Bardziej szczegółowoO argumentach sceptyckich w filozofii
O argumentach sceptyckich w filozofii - Czy cokolwiek można wiedzieć na pewno? - Czy cokolwiek można stwierdzić na pewno? Co myśli i czyni prawdziwy SCEPTYK? poddaje w wątpliwość wszelkie metody zdobywania
Bardziej szczegółowoWstęp do logiki. Klasyczny Rachunek Zdań III
Wstęp do logiki Klasyczny Rachunek Zdań III Przypomnijmy: Logika: = Teoria form (schematów, reguł) poprawnych wnioskowań. Wnioskowaniem nazywamy jakąkolwiek skończoną co najmniej dwuwyrazową sekwencję
Bardziej szczegółowoWykład 3 Hipotezy statystyczne
Wykład 3 Hipotezy statystyczne Hipotezą statystyczną nazywamy każde przypuszczenie dotyczące nieznanego rozkładu obserwowanej zmiennej losowej (cechy populacji generalnej) Hipoteza zerowa (H 0 ) jest hipoteza
Bardziej szczegółowoWeryfikacja hipotez statystycznych. KG (CC) Statystyka 26 V / 1
Weryfikacja hipotez statystycznych KG (CC) Statystyka 26 V 2009 1 / 1 Sformułowanie problemu Weryfikacja hipotez statystycznych jest drugą (po estymacji) metodą uogólniania wyników uzyskanych w próbie
Bardziej szczegółowoMyś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ółowoKultura 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ółowoPodstawy metod probabilistycznych. dr Adam Kiersztyn
Podstawy metod probabilistycznych dr Adam Kiersztyn Przestrzeń zdarzeń elementarnych i zdarzenia losowe. Zjawiskiem lub doświadczeniem losowym nazywamy taki proces, którego przebiegu i ostatecznego wyniku
Bardziej szczegółowoWnioskowanie bayesowskie
Wnioskowanie bayesowskie W podejściu klasycznym wnioskowanie statystyczne oparte jest wyłącznie na podstawie pobranej próby losowej. Możemy np. estymować punktowo lub przedziałowo nieznane parametry rozkładów,
Bardziej szczegółowoMetody 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ółowoLABORATORIUM 8 WERYFIKACJA HIPOTEZ STATYSTYCZNYCH PARAMETRYCZNE TESTY ISTOTNOŚCI
LABORATORIUM 8 WERYFIKACJA HIPOTEZ STATYSTYCZNYCH PARAMETRYCZNE TESTY ISTOTNOŚCI WERYFIKACJA HIPOTEZ Hipoteza statystyczna jakiekolwiek przypuszczenie dotyczące populacji generalnej- jej poszczególnych
Bardziej szczegółowoOgó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ółowoLogika stosowana. Ćwiczenia Wnioskowanie przez abdukcję. Marcin Szczuka. Instytut Matematyki, Uniwersytet Warszawski
Logika stosowana Ćwiczenia Wnioskowanie przez abdukcję Marcin Szczuka Instytut Matematyki, Uniwersytet Warszawski Wykład fakultatywny w semestrze zimowym 2013/2014 Marcin Szczuka (MIMUW) Logika stosowana
Bardziej szczegółowoĆwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki
0 1 Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki 2. W następujących dwóch prawach wyróżnić wyrażenia specyficznie matematyczne i wyrażenia z zakresu logiki (do
Bardziej szczegółowoPrawdopodobieństwo warunkowe Twierdzenie o prawdopodobieństwie całkowitym
Edward Stachowski Prawdopodobieństwo warunkowe Twierdzenie o prawdopodobieństwie całkowitym W podstawie programowej obowiązującej na egzaminie maturalnym od 05r pojawiły się nowe treści programowe Wśród
Bardziej szczegółowoElementy 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ółowoTestowanie hipotez statystycznych. Wnioskowanie statystyczne
Testowanie hipotez statystycznych Wnioskowanie statystyczne Hipoteza statystyczna to dowolne przypuszczenie co do rozkładu populacji generalnej (jego postaci funkcyjnej lub wartości parametrów). Hipotezy
Bardziej szczegółowoSTATYSTYKA MATEMATYCZNA WYKŁAD 4. WERYFIKACJA HIPOTEZ PARAMETRYCZNYCH X - cecha populacji, θ parametr rozkładu cechy X.
STATYSTYKA MATEMATYCZNA WYKŁAD 4 WERYFIKACJA HIPOTEZ PARAMETRYCZNYCH X - cecha populacji, θ parametr rozkładu cechy X. Wysuwamy hipotezy: zerową (podstawową H ( θ = θ i alternatywną H, która ma jedną z
Bardziej szczegółowoRACHUNEK ZDAŃ 5. Układ przesłanek jest sprzeczny, gdy ich koniunkcja jest kontrtautologią.
Błędy popełniane przy wnioskowaniach: 1) Błąd formalny popełniamy twierdząc, że dane wnioskowanie jest dedukcyjne w sytuacji, gdy schemat tego wnioskowania jest zawodny, tj. gdy wniosek nie wynika logicznie
Bardziej szczegółowoWydział Matematyki. Testy zgodności. Wykład 03
Wydział Matematyki Testy zgodności Wykład 03 Testy zgodności W testach zgodności badamy postać rozkładu teoretycznego zmiennej losowej skokowej lub ciągłej. Weryfikują one stawiane przez badaczy hipotezy
Bardziej szczegółowoVI WYKŁAD STATYSTYKA. 9/04/2014 B8 sala 0.10B Godz. 15:15
VI WYKŁAD STATYSTYKA 9/04/2014 B8 sala 0.10B Godz. 15:15 WYKŁAD 6 WERYFIKACJA HIPOTEZ STATYSTYCZNYCH PARAMETRYCZNE TESTY ISTOTNOŚCI Weryfikacja hipotez ( błędy I i II rodzaju, poziom istotności, zasady
Bardziej szczegółowoStatystyka matematyczna. Wykład IV. Weryfikacja hipotez statystycznych
Statystyka matematyczna. Wykład IV. e-mail:e.kozlovski@pollub.pl Spis treści 1 2 3 Definicja 1 Hipoteza statystyczna jest to przypuszczenie dotyczące rozkładu (wielkości parametru lub rodzaju) zmiennej
Bardziej szczegółowoLABORATORIUM 8 WERYFIKACJA HIPOTEZ STATYSTYCZNYCH PARAMETRYCZNE TESTY ISTOTNOŚCI
LABORATORIUM 8 WERYFIKACJA HIPOTEZ STATYSTYCZNYCH PARAMETRYCZNE TESTY ISTOTNOŚCI WERYFIKACJA HIPOTEZ Hipoteza statystyczna jakiekolwiek przypuszczenie dotyczące populacji generalnej- jej poszczególnych
Bardziej szczegółowoADAM GROBLER: METODOLOGIA NAUK WYD. AUREUS, WYD. ZNAK, KRAKÓW 2006, 344 SS.
Polityka i Społeczeństwo 5/2008 RECENZJE Anna Pięta-Szawara ADAM GROBLER: METODOLOGIA NAUK WYD. AUREUS, WYD. ZNAK, KRAKÓW 2006, 344 SS. Rozważania dotyczące sposobów poznawania świata oraz metod i procedur
Bardziej szczegółowo166 Wstęp do statystyki matematycznej
166 Wstęp do statystyki matematycznej Etap trzeci realizacji procesu analizy danych statystycznych w zasadzie powinien rozwiązać nasz zasadniczy problem związany z identyfikacją cechy populacji generalnej
Bardziej szczegółowoWeryfikacja hipotez statystycznych, parametryczne testy istotności w populacji
Weryfikacja hipotez statystycznych, parametryczne testy istotności w populacji Dr Joanna Banaś Zakład Badań Systemowych Instytut Sztucznej Inteligencji i Metod Matematycznych Wydział Informatyki Politechniki
Bardziej szczegółowoStatystyka matematyczna dla leśników
Statystyka matematyczna dla leśników Wydział Leśny Kierunek leśnictwo Studia Stacjonarne I Stopnia Rok akademicki 03/04 Wykład 5 Testy statystyczne Ogólne zasady testowania hipotez statystycznych, rodzaje
Bardziej szczegółowoKRZYSZTOF 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ółowoStatystyka Matematyczna Anna Janicka
Statystyka Matematyczna Anna Janicka wykład IX, 25.04.2016 TESTOWANIE HIPOTEZ STATYSTYCZNYCH Plan na dzisiaj 1. Hipoteza statystyczna 2. Test statystyczny 3. Błędy I-go i II-go rodzaju 4. Poziom istotności,
Bardziej szczegółowoNazwa 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ółowoFilozofia, 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ółowoStatystyka matematyczna Testowanie hipotez i estymacja parametrów. Wrocław, r
Statystyka matematyczna Testowanie hipotez i estymacja parametrów Wrocław, 18.03.2016r Plan wykładu: 1. Testowanie hipotez 2. Etapy testowania hipotez 3. Błędy 4. Testowanie wielokrotne 5. Estymacja parametrów
Bardziej szczegółowoPodstawowe 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ółowoSTUDIA PODYPLOMOWE BEZPIECZEŃSTWO I HIGIENA PRACY
STUDIA PODYPLOMOWE BEZPIECZEŃSTWO I HIGIENA PRACY Ocena ryzyka zawodowego to proste! 17-10-15 Wprowadzenie 1. Ryzyko zawodowe narzędzie do poprawy warunków pracy Kodeks pracy: 1991 r. - art. 215 1996 r.
Bardziej szczegółowoStatystyka matematyczna i ekonometria
Statystyka matematyczna i ekonometria Wykład 5 dr inż. Anna Skowrońska-Szmer zima 2017/2018 Hipotezy 2 Hipoteza zerowa (H 0 )- hipoteza o wartości jednego (lub wielu) parametru populacji. Traktujemy ją
Bardziej szczegółowoTestowanie hipotez statystycznych
Agenda Instytut Matematyki Politechniki Łódzkiej 2 stycznia 2012 Agenda Agenda 1 Wprowadzenie Agenda 2 Hipoteza oraz błędy I i II rodzaju Hipoteza alternatywna Statystyka testowa Zbiór krytyczny Poziom
Bardziej szczegółowoEtapy procesu badawczego. mgr Magdalena Szpunar
Etapy procesu badawczego mgr Magdalena Szpunar Wiedza naukowa oparta jest na wnioskowaniu oparta jest na doświadczeniu (obserwacji) naukowcy stosują kryteria logiczne i empiryczne do weryfikacji twierdzeń
Bardziej szczegółowoINTUICJE. 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ółowoWyniki badań reprezentatywnych są zawsze stwierdzeniami hipotetycznymi, o określonych granicach niepewności
Wyniki badań reprezentatywnych są zawsze stwierdzeniami hipotetycznymi, o określonych granicach niepewności Statystyka indukcyjna pozwala kontrolować i oszacować ryzyko popełnienia błędu statystycznego
Bardziej szczegółowoMetodologia badań psychologicznych
Metodologia badań psychologicznych Lucyna Golińska SPOŁECZNA AKADEMIA NAUK Psychologia jako nauka empiryczna Wprowadzenie pojęć Wykład 5 Cele badań naukowych 1. Opis- (funkcja deskryptywna) procedura definiowania
Bardziej szczegółowoPrzepustowość kanału, odczytywanie wiadomości z kanału, poprawa wydajności kanału.
Przepustowość kanału, odczytywanie wiadomości z kanału, poprawa wydajności kanału Wiktor Miszuris 2 czerwca 2004 Przepustowość kanału Zacznijmy od wprowadzenia równości IA, B HB HB A HA HA B Można ją intuicyjnie
Bardziej szczegółowoUJĘCIE SYSTEMATYCZNE ARGUMENTY PRZECIWKO ISTNIENIU BOGA
UJĘCIE SYSTEMATYCZNE ARGUMENTY PRZECIWKO ISTNIENIU BOGA ARGUMENTY PRZECIW ISTNIENIU BOGA ARGUMENTY ATEISTYCZNE 1 1. Argument z istnienia zła. (Argument ten jest jedynym, który ateiści przedstawiają jako
Bardziej szczegółowoKARTA 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ółowoBłędy przy testowaniu hipotez statystycznych. Decyzja H 0 jest prawdziwa H 0 jest faszywa
Weryfikacja hipotez statystycznych Hipotezą statystyczną nazywamy każde przypuszczenie dotyczące nieznanego rozkładu badanej cechy populacji, o prawdziwości lub fałszywości którego wnioskuje się na podstawie
Bardziej szczegółowoFilozofia z elementami logiki Klasyfikacja wnioskowań II część 1
Filozofia z elementami logiki Klasyfikacja wnioskowań II część 1 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan: wnioskowania uprawdopodabniające indukcja eliminacyjna 2 Plan:
Bardziej szczegółowoRodzaje argumentów za istnieniem Boga
Rodzaje argumentów za istnieniem Boga Podział argumentów argument ontologiczny - w tym argumencie twierdzi się, że z samego pojęcia bytu doskonałego możemy wywnioskować to, że Bóg musi istnieć. argumenty
Bardziej szczegółowoLogika 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ółowoAdam Kirpsza Zastosowanie regresji logistycznej w studiach nad Unią Europejska. Anna Stankiewicz Izabela Słomska
Adam Kirpsza Zastosowanie regresji logistycznej w studiach nad Unią Europejska Anna Stankiewicz Izabela Słomska Wstęp- statystyka w politologii Rzadkie stosowanie narzędzi statystycznych Pisma Karla Poppera
Bardziej szczegółowoWykład Centralne twierdzenie graniczne. Statystyka matematyczna: Estymacja parametrów rozkładu
Wykład 11-12 Centralne twierdzenie graniczne Statystyka matematyczna: Estymacja parametrów rozkładu Centralne twierdzenie graniczne (CTG) (Central Limit Theorem - CLT) Centralne twierdzenie graniczne (Lindenberga-Levy'ego)
Bardziej szczegółowoStatystyka matematyczna i ekonometria
Statystyka matematyczna i ekonometria Wykład 5 Anna Skowrońska-Szmer lato 2016/2017 Hipotezy 2 Hipoteza zerowa (H 0 )- hipoteza o wartości jednego (lub wielu) parametru populacji. Traktujemy ją jako prawdziwą
Bardziej szczegółowoPODSTAWY WNIOSKOWANIA STATYSTYCZNEGO czȩść II
PODSTAWY WNIOSKOWANIA STATYSTYCZNEGO czȩść II Szkic wykładu 1 Wprowadzenie 2 3 4 5 Weryfikacja hipotez statystycznych Obok estymacji drugim działem wnioskowania statystycznego jest weryfikacja hipotez
Bardziej szczegółowoWyniki badań reprezentatywnych są zawsze stwierdzeniami hipotetycznymi, o określonych granicach niepewności
Wyniki badań reprezentatywnych są zawsze stwierdzeniami hipotetycznymi, o określonych granicach niepewności Statystyka indukcyjna pozwala kontrolować i oszacować ryzyko popełnienia błędu statystycznego
Bardziej szczegółowoElementy 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ółowoEFEKTY KSZTAŁCENIA DLA KIERUNKU STUDIÓW FILOZOFIA. I. Umiejscowienie kierunku w obszarze/obszarach kształcenia wraz z uzasadnieniem:
Załącznik nr 1 do uchwały nr 445/06/2012 Senatu UR z dnia 21 czerwca 2012 roku EFEKTY KSZTAŁCENIA DLA KIERUNKU STUDIÓW FILOZOFIA poziom kształcenia profil kształcenia tytuł zawodowy absolwenta I stopień
Bardziej szczegółowoZadania ze statystyki, cz.7 - hipotezy statystyczne, błąd standardowy, testowanie hipotez statystycznych
Zadania ze statystyki, cz.7 - hipotezy statystyczne, błąd standardowy, testowanie hipotez statystycznych Zad. 1 Średnia ocen z semestru letniego w populacji studentów socjologii w roku akademickim 2011/2012
Bardziej szczegółowoO badaniach nad SZTUCZNĄ INTELIGENCJĄ
O badaniach nad SZTUCZNĄ INTELIGENCJĄ Wykład 7. O badaniach nad sztuczną inteligencją Co nazywamy SZTUCZNĄ INTELIGENCJĄ? szczególny rodzaj programów komputerowych, a niekiedy maszyn. SI szczególną własność
Bardziej szczegółowoAndrzej Wiśniewski Logika II. Wykłady 10b i 11. Semantyka relacyjna dla normalnych modalnych rachunków zdań
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykłady 10b i 11. Semantyka relacyjna dla normalnych modalnych rachunków zdań 1 Struktury modelowe Przedstawimy teraz pewien
Bardziej szczegółowo5. Rozważania o pojęciu wiedzy. Andrzej Wiśniewski Wstęp do filozofii Materiały do wykładu 2015/2016
5. Rozważania o pojęciu wiedzy Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl Wstęp do filozofii Materiały do wykładu 2015/2016 Wiedza przez znajomość [by acquaintance] i wiedza przez opis Na początek
Bardziej szczegółowoStatystyka. Rozkład prawdopodobieństwa Testowanie hipotez. Wykład III ( )
Statystyka Rozkład prawdopodobieństwa Testowanie hipotez Wykład III (04.01.2016) Rozkład t-studenta Rozkład T jest rozkładem pomocniczym we wnioskowaniu statystycznym; stosuje się go wyznaczenia przedziału
Bardziej szczegółowoElementy 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ółowoSIGMA KWADRAT. Weryfikacja hipotez statystycznych. Statystyka i demografia CZWARTY LUBELSKI KONKURS STATYSTYCZNO-DEMOGRAFICZNY
SIGMA KWADRAT CZWARTY LUBELSKI KONKURS STATYSTYCZNO-DEMOGRAFICZNY Weryfikacja hipotez statystycznych Statystyka i demografia PROJEKT DOFINANSOWANY ZE ŚRODKÓW NARODOWEGO BANKU POLSKIEGO URZĄD STATYSTYCZNY
Bardziej szczegółowoWYKŁADY ZE STATYSTYKI MATEMATYCZNEJ wykład 9 i 10 - Weryfikacja hipotez statystycznych
WYKŁADY ZE STATYSTYKI MATEMATYCZNEJ wykład 9 i 10 - Weryfikacja hipotez statystycznych Agata Boratyńska Agata Boratyńska Statystyka matematyczna, wykład 9 i 10 1 / 30 TESTOWANIE HIPOTEZ STATYSTYCZNYCH
Bardziej szczegółowoUwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu
Witold Marciszewski: Wykład Logiki, 17 luty 2005, Collegium Civitas, Warszawa Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu 1. Poniższe wyjaśnienie (akapit
Bardziej szczegółowoTautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)
Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne) Definicja 1: Tautologia jest to takie wyrażenie, którego wartość logiczna jest prawdą przy wszystkich możliwych wartościowaniach zmiennych
Bardziej szczegółowoWnioskowanie statystyczne i weryfikacja hipotez statystycznych
Wnioskowanie statystyczne i weryfikacja hipotez statystycznych Wnioskowanie statystyczne Wnioskowanie statystyczne obejmuje następujące czynności: Sformułowanie hipotezy zerowej i hipotezy alternatywnej.
Bardziej szczegółowoLiczba 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ółowoWnioskowanie statystyczne Weryfikacja hipotez. Statystyka
Wnioskowanie statystyczne Weryfikacja hipotez Statystyka Co nazywamy hipotezą Każde stwierdzenie o parametrach rozkładu lub rozkładzie zmiennej losowej w populacji nazywać będziemy hipotezą statystyczną
Bardziej szczegółowoLogika Matematyczna Spójniki logiczne Tautologie Dowodzenie Kwantyfikatory Zagadki. Logika Matematyczna. Marcelina Borcz.
5 marca 2009 Spis treści 1 2 3 4 5 6 Logika (z gr. logos - rozum) zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Logika matematyczna,
Bardziej szczegółowo5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH
5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH Temat, którym mamy się tu zająć, jest nudny i żmudny będziemy się uczyć techniki obliczania wartości logicznej zdań dowolnie złożonych. Po co? możecie zapytać.
Bardziej szczegółowoINFORMATYKA 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ółowoFilozofia, 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ółowoNaukoznawstwo. Michał Lipnicki Zakład Logiki Stosowanej UAM Michał Lipnicki Naukoznawstwo 1
Naukoznawstwo Michał Lipnicki Zakład Logiki Stosowanej UAM michal.lipnicki@amu.edu.pl Michał Lipnicki Naukoznawstwo 1 Metody naukowe Metoda systematycznie stosowany sposób działania w jakiejś dziedzinie.
Bardziej szczegółowoIndukcja matematyczna
Indukcja matematyczna 1 Zasada indukcji Rozpatrzmy najpierw następujący przykład. Przykład 1 Oblicz sumę 1 + + 5 +... + (n 1). Dyskusja. Widzimy że dla n = 1 ostatnim składnikiem powyższej sumy jest n
Bardziej szczegółowoOD PEWNOŚCI DO PRAWDOPODOBIEŃSTWA
RECENZJE ZAGADNIENIA FILOZOFICZNE W NAUCE XVI / 1994, s. 123 127 Zbigniew WOLAK OD PEWNOŚCI DO PRAWDOPODOBIEŃSTWA E. Nekrašas, Wiedza prawdopodobna. Powstanie i rozwój w empiryzmie logicznym programu probabilistycznej
Bardziej szczegółowoO badaniach nad SZTUCZNĄ INTELIGENCJĄ
O badaniach nad SZTUCZNĄ INTELIGENCJĄ Jak określa się inteligencję naturalną? Jak określa się inteligencję naturalną? Inteligencja wg psychologów to: Przyrodzona, choć rozwijana w toku dojrzewania i uczenia
Bardziej szczegółowoReguł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ółowoWstęp do logiki. Klasyczny Rachunek Zdań IV
Wstęp do logiki Klasyczny Rachunek Zdań IV KRZ: kontrola poprawności wnioskowań WYPOWIEDŹ ARGUMENTACYJNA (1) Ponieważ PRZESŁANKI, więc WNIOSEK. Np. Ponieważ Zenek bał się przyznać do winy, więc skłamał.
Bardziej szczegółowoMatematyka dyskretna. Andrzej Łachwa, UJ, /15
Matematyka dyskretna Andrzej Łachwa, UJ, 2015 andrzej.lachwa@uj.edu.pl 3/15 Indukcja matematyczna Poprawność indukcji matematycznej wynika z dobrego uporządkowania liczb naturalnych, czyli z następującej
Bardziej szczegółowo6.4 Podstawowe metody statystyczne
156 Wstęp do statystyki matematycznej 6.4 Podstawowe metody statystyczne Spóbujemy teraz w dopuszczalnym uproszczeniu przedstawić istotę analizy statystycznej. W szczególności udzielimy odpowiedzi na postawione
Bardziej szczegółowoInżynieria wiedzy Wnioskowanie oparte na wiedzy niepewnej Opracowane na podstawie materiałów dra Michała Berety
mgr Adam Marszałek Zakład Inteligencji Obliczeniowej Instytut Informatyki PK Inżynieria wiedzy Wnioskowanie oparte na wiedzy niepewnej Opracowane na podstawie materiałów dra Michała Berety Wstępnie na
Bardziej szczegółowoPlan. Struktura czynności myślenia (materiał, operacje reguły)
Myślenie Pojęcie myślenia Plan Struktura czynności myślenia (materiał, operacje reguły) Funkcje myślenia Rola myślenia w rozwiązywaniu problemów (pojęcie problemu i jego rodzaje, fazy rozwiązywania, przeszkody)
Bardziej szczegółowoSTATYSTYKA wykład 8. Wnioskowanie. Weryfikacja hipotez. Wanda Olech
TATYTYKA wykład 8 Wnioskowanie Weryfikacja hipotez Wanda Olech Co nazywamy hipotezą Każde stwierdzenie o parametrach rozkładu lub rozkładzie zmiennej losowej w populacji nazywać będziemy hipotezą statystyczną
Bardziej szczegółowoGWSP GIGI. Filozofia z aksjologią. dr Mieczysław Juda
GWSP Filozofia z aksjologią dr Mieczysław Juda GIGI Filozofia z aksjologią [5] Systemy nowożytne: empiryzm Locke a i sceptycyzm Hume a Filozofia z aksjologią [5] Systemy nowożytne: empiryzm Locke a i sceptycyzm
Bardziej szczegółowoLogika Matematyczna. Zadania Egzaminacyjne, 2007
Logika Matematyczna Zadania Egzaminacyjne, 2007 I Rok Językoznawstwa i Informacji Naukowej UAM Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl Podajemy rozwiązania zadań egzaminacyjnych.
Bardziej szczegółowoStatystyka. #5 Testowanie hipotez statystycznych. Aneta Dzik-Walczak Małgorzata Kalbarczyk-Stęclik. rok akademicki 2016/ / 28
Statystyka #5 Testowanie hipotez statystycznych Aneta Dzik-Walczak Małgorzata Kalbarczyk-Stęclik rok akademicki 2016/2017 1 / 28 Testowanie hipotez statystycznych 2 / 28 Testowanie hipotez statystycznych
Bardziej szczegółowoTestowanie hipotez. Marcin Zajenkowski. Marcin Zajenkowski () Testowanie hipotez 1 / 25
Testowanie hipotez Marcin Zajenkowski Marcin Zajenkowski () Testowanie hipotez 1 / 25 Testowanie hipotez Aby porównać ze sobą dwie statystyki z próby stosuje się testy istotności. Mówią one o tym czy uzyskane
Bardziej szczegółowoFilozofia 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ółowoWstę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ółowoSTATYSTYKA wykład 1. Wanda Olech. Katedra Genetyki i Ogólnej Hodowli Zwierząt
STTYSTYK wykład 1 Wanda Olech Katedra Genetyki i Ogólnej Hodowli Zwierząt Plan wykładów Data WYKŁDY 1.X rachunek prawdopodobieństwa; 8.X zmienna losowa jednowymiarowa, funkcja rozkładu, dystrybuanta 15.X
Bardziej szczegółowoLogika 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ółowoDlaczego matematyka jest wszędzie?
Festiwal Nauki. Wydział MiNI PW. 27 września 2014 Dlaczego matematyka jest wszędzie? Dlaczego świat jest matematyczny? Autor: Paweł Stacewicz (PW) Czy matematyka jest WSZĘDZIE? w życiu praktycznym nie
Bardziej szczegółowoRachunku prawdopodobieństwa: rys historyczny, aksjomatyka, prawdopodobieństwo warunkowe,
Rachunku prawdopodobieństwa: rys historyczny, aksjomatyka, prawdopodobieństwo warunkowe, niezależność zdarzeń dr Mariusz Grzadziel Katedra Matematyki, Uniwersytet Przyrodniczy we Wrocławiu Semestr letni
Bardziej szczegółowoFilozofia, ISE, Wykład X - Filozofia średniowieczna.
Filozofia, ISE, Wykład X - Filozofia średniowieczna. 2011-10-01 Plan wykładu 1 Filozofia średniowieczna a starożytna 2 3 Ogólna charakterystyka filozofii średniowiecznej Ogólna charakterystyka filozofii
Bardziej szczegółowoDydaktyka matematyki III-IV etap edukacyjny (wykłady)
Dydaktyka matematyki III-IV etap edukacyjny (wykłady) Wykład nr 4 Wprowadzanie i definiowanie matematycznych pojęć (cd.) Matematyczne rozumowania na poziomach SP i licealnym Semestr zimowy 2018/2019 Jakie
Bardziej szczegółowoWykład 2 Hipoteza statystyczna, test statystyczny, poziom istotn. istotności, p-wartość i moc testu
Wykład 2 Hipoteza statystyczna, test statystyczny, poziom istotności, p-wartość i moc testu Wrocław, 01.03.2017r Przykład 2.1 Właściciel firmy produkującej telefony komórkowe twierdzi, że wśród jego produktów
Bardziej szczegółowoUwaga. Decyzje brzmią różnie! Testy parametryczne dotyczące nieznanej wartości
TESTOWANIE HIPOTEZ Przez hipotezę statystyczną rozumiemy, najogólniej mówiąc, pewną wypowiedź na temat rozkładu, z którego pochodzi próbka. Hipotezy dzielimy na parametryczne i nieparametryczne. Parametrycznymi
Bardziej szczegółowoSystemy ekspertowe - wiedza niepewna
Instytut Informatyki Uniwersytetu Śląskiego lab 8 Rozpatrzmy następujący przykład: Miażdżyca powoduje często zwężenie tętnic wieńcowych. Prowadzi to zazwyczaj do zmniejszenia przepływu krwi w tych naczyniach,
Bardziej szczegółowoHipotezy statystyczne
Hipotezą statystyczną nazywamy każde przypuszczenie dotyczące nieznanego rozkładu badanej cechy populacji, o którego prawdziwości lub fałszywości wnioskuje się na podstawie pobranej próbki losowej. Hipotezy
Bardziej szczegółowoPrawdopodobieństwo i statystyka
Wykład XI: Testowanie hipotez statystycznych 12 stycznia 2015 Przykład Motywacja X 1, X 2,..., X N N (µ, σ 2 ), Y 1, Y 2,..., Y M N (ν, δ 2 ). Chcemy sprawdzić, czy µ = ν i σ 2 = δ 2, czyli że w obu populacjach
Bardziej szczegółowo11. Gry Macierzowe - Strategie Czyste i Mieszane
11. Gry Macierzowe - Strategie Czyste i Mieszane W grze z doskonałą informacją, gracz nie powinien wybrać akcję w sposób losowy (o ile wypłaty z różnych decyzji nie są sobie równe). Z drugiej strony, gdy
Bardziej szczegółowo