Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 13. metodologia nauk
|
|
- Iwona Wróblewska
- 5 lat temu
- Przeglądów:
Transkrypt
1 WYKŁAD 13 metodologia nauk 1
2 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
3 Uwaga organizacyjna (mniej oczywista): Termin egzaminu (ustnego) w terminie zerowym : 23 stycznia 2009 (piątek) od godziny do skutku (z przerwą obiadową) sala 4.66 (Zakład Prawa Kanonicznego) Termin egzaminu (pisemnego): 3 lutego 2009 (wtorek) od godziny do skutku (w granicach rozsądku) aula 0.13 (nasza, fioletowa) 3
4 Katedra Logiki i Metodologii Nauk Instytut Filozofii Uniwersytet Łódzki ul. Kopcińskiego 16/18, I piętro, pok.13 tel dyŝur: poniedziałki, godz
5 Kazimierz Ajdukiewicz, Metodologiczne typy nauk, [w:] Język i poznanie, tom 1, PWN, Warszawa
6 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
7 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
8 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
9 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
10 Podział nauk ze względu na ich ostateczne przesłanki Kazimierz Ajdukiewicz ( ) [Wilhelm Windelband ( )] 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
11 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 = {a 1, a 2, a 3 }. Zdania zbioru A nazywamy aksjomatami. MoŜliwy rozwój systemu dedukcyjnego względem zbioru A przedstawia schemat: a 1 a 2 a 3 t 1 t 2 t 3 t 4 d 1 t 5 d 2 t 6 t 7 [Przykładowe wyjaśnienie: twierdzenie piąte, czyli t 5 wynika logicznie z koniunkcji t 3 i t 4 a występujący w nim termin jest zdefiniowany w d 1.] 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
12 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
13 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
14 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
15 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
16 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
17 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
18 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
19 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
Metodologia 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ółowoBadania w naukach społecznych
Badania w naukach społecznych Twierdzenia nauk społecznych Pojęcia języka nauk społecznych słuŝą do formułowania twierdzeń Twierdzenie zdanie orzekające coś o przedmiocie, którego dotyczy Jednostkowe Analityczne
Bardziej szczegółowoLOGIKA Wprowadzenie. Robert Trypuz. Katedra Logiki KUL GG października 2013
LOGIKA Wprowadzenie Robert Trypuz Katedra Logiki KUL GG 43 e-mail: trypuz@kul.pl 2 października 2013 Robert Trypuz (Katedra Logiki) Wprowadzenie 2 października 2013 1 / 14 Plan wykładu 1 Informacje ogólne
Bardziej szczegółowo1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.
Elementy logiki i teorii zbiorów. 1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych. Pojęcia pierwotne to najprostsze
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ółowoMetodologia badań psychologicznych. Psychologia jako nauka empiryczna (1)
Metodologia badań psychologicznych Lucyna Golińska SPOŁECZNA AKADEMIA NAUK Psychologia jako nauka empiryczna (1) Literatura J. Brzeziński (2011) Metodologia badań psychologicznych. PWN J. Shaughnessy ;
Bardziej szczegółowoFilozofia, Historia, Wykład V - Filozofia Arystotelesa
Filozofia, Historia, Wykład V - Filozofia Arystotelesa 2010-10-01 Tematyka wykładu 1 Arystoteles - filozof systematyczny 2 3 4 Podział nauk Arystoteles podzielił wszystkie dyscypliny wiedzy na trzy grupy:
Bardziej szczegół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ółowoUwaga 1. Zbiory skończone są równoliczne wtedy i tylko wtedy, gdy mają tyle samo elementów.
Logika i teoria mnogości Wykład 11 i 12 1 Moce zbiorów Równoliczność zbiorów Def. 1. Zbiory X i Y są równoliczne (X ~ Y), jeśli istnieje bijekcja f : X Y. O funkcji f mówimy wtedy, że ustala równoliczność
Bardziej szczegółowoMetoda tabel semantycznych. Dedukcja drogi Watsonie, dedukcja... Definicja logicznej konsekwencji. Logika obliczeniowa.
Plan Procedura decyzyjna Reguły α i β - algorytm Plan Procedura decyzyjna Reguły α i β - algorytm Logika obliczeniowa Instytut Informatyki 1 Procedura decyzyjna Logiczna konsekwencja Teoria aksjomatyzowalna
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ółowoLogika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 2 - Logika modalna Część 2 Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 27 Plan wykładu
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ółowoKARTA PRZEDMIOTU. 1. NAZWA PRZEDMIOTU: Metodologia badań pedagogicznych. 2. KIERUNEK: Pedagogika 3. POZIOM STUDIÓW: I 4. ROK/ SEMESTR STUDIÓW: III/5
KARTA PRZEDMIOTU 1. NAZWA PRZEDMIOTU: Metodologia badań pedagogicznych 2. KIERUNEK: Pedagogika 3. POZIOM STUDIÓW: I 4. ROK/ SEMESTR STUDIÓW: III/5 5. LICZBA PUNKTÓW ECTS: 4 6. LICZBA GODZIN: 45 7. TYP
Bardziej szczegółowoParadoksy log o i g czne czn i inne 4 marca 2010
Paradoksy logiczne i inne 4 marca 2010 Paradoks Twierdzenie niezgodne z powszechnie przyjętym mniemaniem, rozumowanie, którego elementy są pozornie oczywiste, ale wskutek zawartego w nim błędu logicznego
Bardziej szczegółowoProces badawczy schemat i zasady realizacji
Proces badawczy schemat i zasady realizacji Agata Górny Zaoczne Studia Doktoranckie z Ekonomii Warszawa, 23 października 2016 Metodologia i metoda naukowa 1 Metodologia Metodologia nauka o metodach nauki
Bardziej szczegółowoLOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ
LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ Robert Trypuz Katedra Logiki KUL 18 grudnia 2013 Robert Trypuz (Katedra Logiki) Wnioskowanie 18 grudnia 2013 1 / 12 Zarys 1 Wnioskowanie Definicja Schemat wnioskowania
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ółowoKatedra Teorii i Filozofii Prawa Poznań, dnia 12 lutego 2013 r. OPISU MODUŁU KSZTAŁCENIA (SYLABUS)
Katedra Teorii i Filozofii Prawa Poznań, dnia 12 lutego 2013 r. Zespół wykładowców: prof. UAM dr hab. Jarosław Mikołajewicz dr Marzena Kordela Zespół prowadzących ćwiczenia: prof. UAM dr hab. Jarosław
Bardziej szczegółowoMETODY I TECHNIKI BADAŃ SPOŁECZNYCH
METODY I TECHNIKI BADAŃ SPOŁECZNYCH Schemat poznania naukowego TEORIE dedukcja PRZEWIDYWANIA Świat konstrukcji teoret Świat faktów empirycznych Budowanie teorii Sprawdzanie FAKTY FAKTY ETAPY PROCESU BADAWCZEGO
Bardziej szczegółowoObserwacja jest jedną z metod/technik badań społecznych, wykorzystywaną w etnologii i antropologii kulturowej, socjologii, psychologii.
Obserwacja jest jedną z metod/technik badań społecznych, wykorzystywaną w etnologii i antropologii kulturowej, socjologii, psychologii. Zawsze dotyczy badania zachowań społecznych, interakcji między jednostkami,
Bardziej szczegółowoKatedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r.
Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r. OPISU MODUŁU KSZTAŁCENIA (SYLABUS) dla przedmiotu Logika prawnicza na kierunku Prawo I. Informacje ogólne 1. Nazwa modułu kształcenia:
Bardziej szczegółowoLogika. Michał Lipnicki. 15 stycznia Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 15 stycznia / 37
Logika Michał Lipnicki Zakład Logiki Stosowanej UAM 15 stycznia 2011 Michał Lipnicki () Logika 15 stycznia 2011 1 / 37 Wstęp Materiały na dzisiejsze zajęcia zostały opracowane na podstawie pomocy naukowych
Bardziej szczegółowoRównoliczność zbiorów
Logika i Teoria Mnogości Wykład 11 12 Teoria mocy 1 Równoliczność zbiorów Def. 1. Zbiory X i Y nazywamy równolicznymi, jeśli istnieje bijekcja f : X Y. O funkcji f mówimy wtedy,że ustala równoliczność
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 formalna SYLABUS A. Informacje ogólne
Logika formalna SYLABUS A. Informacje ogólne studiów Poziom kształcenia Profil studiów Forma studiów Rodzaj przedmiotu Rok studiów /semestr Wymagania wstępne Liczba godzin zajęć Założenia i cele przedmiotu
Bardziej szczegół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ółowoRACHUNEK ZDAŃ 7. Dla każdej tautologii w formie implikacji, której poprzednik również jest tautologią, następnik także jest tautologią.
Semantyczne twierdzenie o podstawianiu Jeżeli dana formuła rachunku zdań jest tautologią i wszystkie wystąpienia pewnej zmiennej zdaniowej w tej tautologii zastąpimy pewną ustaloną formułą, to otrzymana
Bardziej szczegółowoFilozofia z elementami logiki Klasyfikacja wnioskowań I część 1
Filozofia z elementami logiki Klasyfikacja wnioskowań I część 1 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan: definicja pojęcia wnioskowania wypowiedzi inferencyjne i wypowiedzi
Bardziej szczegółowoProces badawczy schemat i zasady realizacji
Proces badawczy schemat i zasady realizacji Agata Górny Zaoczne Studia Doktoranckie z Ekonomii Warszawa, 14 grudnia 2014 Metodologia i metoda badawcza Metodologia Zadania metodologii Metodologia nauka
Bardziej szczegółowoLogika dla socjologów
Logika dla socjologów Część 6: Modele rozumowań. Pojęcie wynikania Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Modele rozumowań 2 Wynikanie 3 Rozumowania poprawne
Bardziej szczegółowoPiotr Łukowski, Wykład dla studentów prawa WYKŁAD 7. zdanie wynikanie wynikanie logiczne
WYKŁAD 7 zdanie wynikanie wynikanie logiczne 1 lukowski@filozof.uni.lodz.pl Katedra Logiki i Metodologii Nauk Instytut Filozofii Uniwersytet Łódzki ul. Kopcińskiego 16/18, I piętro, pok. 13 tel. 635-61-34
Bardziej szczegółowoBaruch Spinoza ( )
Baruch Spinoza (1632-1677) Dla jednych: najszlachetniejszy i najbardziej godny miłości z wielkich filozofów (B. Russell). Dla innych: Największy heretyk XVII wieku. Obrońca diabła. Duchowy sabotaŝysta.
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ółowoWarsztat nauczyciela: Badanie rzutu ukośnego
Warsztat nauczyciela: Badanie rzutu ukośnego Patryk Wolny Dydaktyk Medialny W nauczaniu nic nie zastąpi prawdziwego doświadczenia wykonywanego przez uczniów. Nie zawsze jednak jest to możliwe. Chcielibyśmy
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ółowoRachunek zdań 1 zastaw zadań
Rachunek zdań 1 zastaw zadań Zadanie 1 ([1]) Wyraź w języku KRZ następujące zdania języka naturalnego: (a) Jeśli Jan jest ateistą to Jan nie jest katolikiem. (b) Jeśli Jan jest ateistą to nieprawda, że
Bardziej szczegółowoMetoda Tablic Semantycznych
Procedura Plan Reguły Algorytm Logika obliczeniowa Instytut Informatyki Plan Procedura Reguły 1 Procedura decyzyjna Logiczna równoważność formuł Logiczna konsekwencja Procedura decyzyjna 2 Reguły α, β,
Bardziej szczegółowoGramatyki, wyprowadzenia, hierarchia Chomsky ego. Gramatyka
Gramatyki, wyprowadzenia, hierarchia Chomsky ego Teoria automatów i języków formalnych Dr inŝ. Janusz Majewski Katedra Informatyki Gramatyka Gramatyką G nazywamy czwórkę uporządkowaną gdzie: G =
Bardziej szczegółowoLiczba godzin Punkty ECTS Sposób zaliczenia. ćwiczenia 15 zaliczenie z oceną
Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Prawo Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): Jednolite magisterskie Tryb
Bardziej szczegół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ółowoORIENTACJE, METODY, PROCEDURY i TECHNIKI BADAWCZE
ORIENTACJE, METODY, PROCEDURY i TECHNIKI BADAWCZE. ORIENTACJA ORIENTACJA = zespół załoŝeń określający sposób ujmowania świata (ontologia) i sposoby jego poznawania (epistemologia) ORIENTACJA TEORETYCZNA:
Bardziej szczegółowo1 Podstawowe oznaczenia
Poniżej mogą Państwo znaleźć skondensowane wiadomości z wykładu. Należy je traktować jako przegląd pojęć, które pojawiły się na wykładzie. Materiały te nie są w pełni tożsame z tym co pojawia się na wykładzie.
Bardziej szczegółowoćwiczenia 15 zaliczenie z oceną
Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Prawo Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): Jednolite magisterskie Tryb
Bardziej szczegółowoAndrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ 1 Tezy KRZ Pewien system aksjomatyczny KRZ został przedstawiony
Bardziej szczegółowoCzym są badania jakościowe? David Silverman : Interpretacja danych jakościowych
Czym są badania jakościowe? David Silverman : Interpretacja danych jakościowych Główne zagadnienia Kiedy porównujemy badania ilościowe i jakościowe, znajdujemy głownie róŝne rozłoŝenie akcentów między
Bardziej szczegółowoMatematyka I. BJiOR Semestr zimowy 2018/2019 Wykład 1
Matematyka I BJiOR Semestr zimowy 2018/2019 Wykład 1 Zasady współpracy https://mat.ug.edu.pl/~matpz/ wykłady nie są obowiązkowe, ale nieobecności będą odnotowywane nieobecności nie należy usprawiedliwiać,
Bardziej szczegółowoOgólna metodologia nauk SYLABUS A. Informacje ogólne. Semiotyka kognitywna, Konceptualizacja i definiowanie
Ogólna metodologia nauk SYLABUS A. Informacje ogólne Nazwa jednostki prowadzącej kierunek Nazwa kierunku studiów Poziom kształcenia Profil studiów Forma studiów Kod przedmiotu Język przedmiotu Rodzaj przedmiotu
Bardziej szczegółowoProces badawczy schemat i zasady realizacji
Proces badawczy schemat i zasady realizacji Agata Górny Wydział Nauk Ekonomicznych UW Warszawa, 28 października 2014 Najważniejsze rodzaje badań Typy badań Podział wg celu badawczego Kryteria przyczynowości
Bardziej szczegółowoRozdział VII. Znaczenie logiki dla prawa i pracy prawnika Zadania i odpowiedzi 20
Przedmowa Wykaz skrótów XIII XV Część A. Wprowadzenie Rozdział I. Rys historyczny 1 1. Początki logiki jako nauki 1 2. Średniowiecze 2 3. Czasy nowożytne i współczesne 4 Rozdział II. Podstawowe prawa myślenia
Bardziej szczegółowoAlgebrę L = (L, Neg, Alt, Kon, Imp) nazywamy algebrą języka logiki zdań. Jest to algebra o typie
3. Wykłady 5 i 6: Semantyka klasycznego rachunku zdań. Dotychczas rozwinęliśmy klasyczny rachunek na gruncie czysto syntaktycznym, a więc badaliśmy metodę sprawdzania, czy dana formuła B jest dowodliwa
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ółowoMetodologia badań naukowych
Metodologia badań naukowych Cele zajęć: Nabycie umiejętności określania problemu badawczego i planowania badania Przyswojenie umiejętności z zakresu przygotowania i przeprowadzenia badania empirycznego
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ółowoKARTA PRZEDMIOTU. 1. NAZWA PRZEDMIOTU: Seminarium magisterskie KOD WF/II/st/9
KARTA PRZEDMIOTU 1. NAZWA PRZEDMIOTU: Seminarium magisterskie KOD WF/II/st/9 2. KIERUNEK: Wychowanie fizyczne 3. POZIOM STUDIÓW 1 : II stopień studia stacjonarne 4. ROK/ SEMESTR STUDIÓW: II rok/iv semestr
Bardziej szczegółowo020 Liczby rzeczywiste
020 Liczby rzeczywiste N = {1,2,3,...} Z = { 0,1, 1,2, 2,...} m Q = { : m, n Z, n 0} n Operacje liczbowe Zbiór Dodawanie Odejmowanie Mnożenie Dzielenie N Z Q Pytanie Dlaczego zbiór liczb wymiernych nie
Bardziej szczegółowoOd pomysłu do przemysłu
Od pomysłu do przemysłu czyli jak stworzyć logiczny projekt. Dariusz Kurcman Regionalny Ośrodek EFS w Kielcach Kielce, 05.02.2010 Czym jest projekt? Projekt to: spójna, logiczna, kompletna i w pełni dojrzała
Bardziej szczegółowoMetodologia badań społecznych Kod przedmiotu
Metodologia badań społecznych - opis przedmiotu Informacje ogólne Nazwa przedmiotu Metodologia badań społecznych Kod przedmiotu 14.9-WP-PSP-MBS-W_pNadGen6WRNJ Wydział Kierunek Wydział Pedagogiki, Psychologii
Bardziej szczegółowoProgramowanie deklaratywne
Programowanie deklaratywne Artur Michalski Informatyka II rok Plan wykładu Wprowadzenie do języka Prolog Budowa składniowa i interpretacja programów prologowych Listy, operatory i operacje arytmetyczne
Bardziej szczegółowoElementy logiki i teorii mnogości
Elementy logiki i teorii mnogości Zdanie logiczne Zdanie logiczne jest to zdanie oznajmujące, któremu można przypisać określoną wartość logiczną. W logice klasycznej zdania dzielimy na: prawdziwe (przypisujemy
Bardziej szczegółowoBadania eksploracyjne Badania opisowe Badania wyjaśniające (przyczynowe)
Proces badawczy schemat i zasady realizacji Agata Górny Demografia Wydział Nauk Ekonomicznych UW Warszawa, 4 listopada 2008 Najważniejsze rodzaje badań Typy badań Podział wg celu badawczego Badania eksploracyjne
Bardziej szczegółowoLUBELSKA PRÓBA PRZED MATURĄ
Klasa POZIOM PODSTAWOWY Czas pracy 170 minut Instrukcja dla piszącego 1. Sprawdź, czy arkusz zawiera 18 stron.. W zadaniach od 1. do 0. są podane 4 odpowiedzi: A, B, C, D, z których tylko jedna jest prawdziwa.
Bardziej szczegółowo10/24/2015 CELE ZAJĘĆ PLAN ZAJĘĆ METODY BADAŃ SPOŁECZNYCH WYKŁAD 1
METODY BADAŃ SPOŁECZNYCH WYKŁAD 1 dr Agnieszka Kacprzak CELE ZAJĘĆ Jak w poprawnie metodologiczny sposób rozwiązywać problemy pojawiające się w nauce i w biznesie? Jak definiować problemy badawcze? Jakie
Bardziej szczegółowoParadygmaty dowodzenia
Paradygmaty dowodzenia Sprawdzenie, czy dana formuła rachunku zdań jest tautologią polega zwykle na obliczeniu jej wartości dla 2 n różnych wartościowań, gdzie n jest liczbą zmiennych zdaniowych tej formuły.
Bardziej szczegółowoLOGIKA Dedukcja Naturalna
LOGIKA Dedukcja Naturalna Robert Trypuz Katedra Logiki KUL 7 stycznia 2014 Robert Trypuz (Katedra Logiki) Założeniowy system klasycznego rachunku zdań 7 stycznia 2014 1 / 42 PLAN WYKŁADU 1 Przykład dowodów
Bardziej szczegółowoMetody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I
Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl OSTRZEŻENIE Niniejszy plik nie zawiera wykładu z Metod dowodzenia...
Bardziej szczegółowoPoczątki informatyki teoretycznej. Paweł Cieśla
Początki informatyki teoretycznej Paweł Cieśla Wstęp Przykładowe zastosowanie dzisiejszych komputerów: edytowanie tekstów, dźwięku, grafiki odbiór telewizji gromadzenie informacji komunikacja Komputery
Bardziej szczegółowoAndrzej Wiśniewski Logika II. Wykład 6. Wprowadzenie do semantyki teoriomodelowej cz.6. Modele i pełność
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 6. Wprowadzenie do semantyki teoriomodelowej cz.6. Modele i pełność 1 Modele Jak zwykle zakładam, że pojęcia wprowadzone
Bardziej szczegółowoOPIS, WYJAŚNIANIE, INTERPRETACJA 1. Cele nauki i czynności badawcze
OPIS, WYJAŚNIANIE, INTERPRETACJA 1 Cele nauki i czynności badawcze Arystoteles do najbardziej ogólnych celów nauki zaliczał opis i wyjaśnianie (tłumaczenie), w humanistyce dodatkowo moŝna wyróŝnić interpretację
Bardziej szczegółowoAkademia Wychowania Fizycznego i Sportu w Gdańsku SYLABUS NA CYKL KSZTAŁCENIA 2014-2016
Załącznik Nr 1 do Uchwały Senatu AWFiS w Gdańsku Nr 16 z dnia 27 kwietnia 2012 roku Akademia Wychowania Fizycznego i Sportu w Gdańsku SYLABUS NA CYKL KSZTAŁCENIA 2014-2016 Jednostka Organizacyjna: Rodzaj
Bardziej szczegółowoStruktury formalne, czyli elementy Teorii Modeli
Struktury formalne, czyli elementy Teorii Modeli Szymon Wróbel, notatki z wykładu dra Szymona Żeberskiego semestr zimowy 2016/17 1 Język 1.1 Sygnatura językowa Sygnatura językowa: L = ({f i } i I, {P j
Bardziej szczegółowoWYMOGI STAWIANE PRACOM DYPLOMOWYM
WYDZIAŁ FINANSÓW UNIWERSYTETU EKONOMICZNEGO W KRAKOWIE WYMOGI STAWIANE PRACOM DYPLOMOWYM (tekst zatwierdzony na posiedzeniu Rady Wydziału Finansów dnia 16 listopada 2009 r.) I. Wymogi regulaminowe 1. Praca
Bardziej szczegółowoREGULAMIN ZAJĘĆ Z PRZEDMIOTU: PSYCHOLOGIA PROCESÓW POZNAWCZYCH - rok akademicki 2016/2017 -
REGULAMIN ZAJĘĆ Z PRZEDMIOTU: PSYCHOLOGIA PROCESÓW POZNAWCZYCH - rok akademicki 06/07 - (opracowany na podst. Opisu Modułu Kształcenia oraz Regulaminu Studiów w Śląskim Uniwersytecie Medycznym w Katowicach,
Bardziej szczegółowoPrzedmiotowe Zasady Oceniania matematyka, geometria w ćwiczeniach, funkcje w zastosowaniach Sposoby sprawdzania osiągnięć edukacyjnych
Przedmiotowe Zasady Oceniania matematyka, geometria w ćwiczeniach, funkcje w zastosowaniach Sposoby sprawdzania osiągnięć edukacyjnych Ocenie podlegają: a) sprawdziany pisemne wiadomości: - kartkówka obejmuje
Bardziej szczegółowoPiotr Łukowski, Wykład dla studentów prawa WYKŁAD 8. klasyczny rachunek kwantyfikatorów klasyczny rachunek nazw
WYKŁAD 8 klasyczny rachunek kwantyfikatorów klasyczny rachunek nazw 1 lukowski@filozof.uni.lodz.pl Katedra Logiki i Metodologii Nauk Instytut Filozofii Uniwersytet Łódzki ul. Kopcińskiego 16/18, I piętro,
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ół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ółowoKARTA PRZEDMIOTU. 10. WYMAGANIA WSTĘPNE I DODATKOWE (np. przedmioty poprzedzające):
KARTA PRZEDMIOTU 1. NAZWA PRZEDMIOTU: Metody badań w wychowaniu fizycznym i sporcie KOD WF/II/st/4 2. KIERUNEK: Wychowanie fizyczne 3. POZIOM STUDIÓW 1 : II stopień studia stacjonarne 4. ROK/ SEMESTR STUDIÓW:
Bardziej szczegółowoKognitywistyka II r. Terminy wykładów. Literatura - psychometria. Teorie inteligencji i sposoby jej pomiaru (1)
Kognitywistyka II r Teorie inteligencji i sposoby jej pomiaru (1) Terminy wykładów 13. 03. 2008 27. 03. 2008 03. 04. 2008 17. 04. 2008 24. 04. 2008 08. 05. 2008 15. 05. 2008 29. 05. 2008 05. 06. 2008 12.
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ółowoKARTA PRZEDMIOTU. 1. NAZWA PRZEDMIOTU: Seminarium magisterskie KOD WF/II/st/9
KARTA PRZEDMIOTU 1. NAZWA PRZEDMIOTU: Seminarium magisterskie KOD WF/II/st/9 2. KIERUNEK: Wychowanie fizyczne. Specjalność: wychowanie fizyczne w służbach mundurowych 3. POZIOM STUDIÓW 1 : II stopień studia
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ółowoAdam Meissner.
Instytut Automatyki i Inżynierii Informatycznej Politechniki Poznańskiej Adam Meissner Adam.Meissner@put.poznan.pl http://www.man.poznan.pl/~ameis SZTUCZNA INTELIGENCJA Podstawy logiki pierwszego rzędu
Bardziej szczegółowoSPIS TREŚCI I. WPROWADZENIE - FILOZOFIA JAKO TYP POZNANIA. 1. Człowiek poznający Poznanie naukowe... 16
SPIS TREŚCI P r z e d m o w a... 5 P r z e d m o w a do d r u g i e g o w y d a n i a... 7 P r z e d m o w a do t r z e c i e g o w y d a n i a... 9 P r z e d m o w a do c z w a r t e g o w y d a n i a...
Bardziej szczegółowoKrakowska Akademia im. Andrzeja Frycza Modrzewskiego. Karta przedmiotu. obowiązuje studentów, którzy rozpoczęli studia w roku akademickim 2013/2014
Krakowska Akademia im. Andrzeja Frycza Modrzewskiego Karta przedmiotu obowiązuje studentów, którzy rozpoczęli studia w roku akademickim 2013/2014 WydziałPrawa, Administracji i Stosunków Międzynarodowych
Bardziej szczegółowo10. WYMAGANIA WSTĘPNE I DODATKOWE (np. przedmioty poprzedzające):
KARTA PRZEDMIOTU 1. NAZWA PRZEDMIOTU: Metody badań w wychowaniu fizycznym i sporcie KOD WF/II/st/4 2. KIERUNEK: Wychowanie fizyczne. Specjalność: wychowanie fizyczne w służbach mundurowych 3. POZIOM STUDIÓW
Bardziej szczegółowoKarta (sylabus) modułu/przedmiotu...pedagogika... (Nazwa kierunku studiów)
Karta (sylabus) modułu/przedmiotu...pedagogika... (Nazwa kierunku studiów) Studia pierwszego stopnia/profil ogólnoakademicki Przedmiot: Wprowadzenie do metodologii badań Kod przedmiotu: Przedmiot w języku
Bardziej szczegółowoLogika i teoria mnogości Wykład 14 1. Sformalizowane teorie matematyczne
Logika i teoria mnogości Wykład 14 1 Sformalizowane teorie matematyczne W początkowym okresie rozwoju teoria mnogości budowana była w oparciu na intuicyjnym pojęciu zbioru. Operowano swobodnie pojęciem
Bardziej szczegółowoElementy fizyki relatywistycznej
Elementy fizyki relatywistycznej Transformacje Galileusza i ich konsekwencje Transformacje Lorentz'a skracanie przedmiotów w kierunku ruchu dylatacja czasu nowe składanie prędkości Szczególna teoria względności
Bardziej szczegółowoBadanie właściwości optycznych roztworów.
ĆWICZENIE 4 (2018), STRONA 1/6 Badanie właściwości optycznych roztworów. Cel ćwiczenia - wyznaczenie skręcalności właściwej sacharozy w roztworach wodnych oraz badanie współczynnika załamania światła Teoria
Bardziej szczegółowoAndrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 7 i 8. Aksjomatyczne ujęcie Klasycznego Rachunku Zdań
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykłady 7 i 8. Aksjomatyczne ujęcie Klasycznego Rachunku Zdań 1 Istnieje wiele systemów aksjomatycznych Klasycznego Rachunku
Bardziej szczegółowoOPIS PRZEDMIOTU. Diagnoza psychologiczna. jednolite studia magisterskie, ogólnoakademicki, niestacjonarne, II i III
OPIS PRZEDMIOTU Załącznik Nr 1 do Zarządzenia Nr 40/2011/2012 Rektora UKW z dnia 10 lutego 2012 r. Nazwa przedmiotu Kod przedmiotu Diagnoza psychologiczna Wydział Instytut/Katedra Kierunek Specjalność/specjalizacja
Bardziej szczegółowoLogika dla prawników
Logika dla prawników Wykład I: Pytania o logikę Dr Maciej Pichlak Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa mpichlak@prawo.uni.wroc.pl Tak na logikę Kodeks karny: Art. 226 1. Kto znieważa
Bardziej szczegółowoKierunek i poziom studiów: matematyka, studia I stopnia, rok I. Sylabus modułu: Wstęp do matematyki (03-MO1S-12-WMat)
Uniwersytet Śląski w Katowicach str. 1 Kierunek i poziom studiów: matematyka, studia I stopnia, rok I Sylabus modułu: Wstęp do matematyki (03-MO1S-12-WMat) 1. Informacje ogólne koordynator modułu Tomasz
Bardziej szczegółowoWykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań System aksjomatyczny logiki Budując logikę
Bardziej szczegółowoWielcy rewolucjoniści nauki
Isaak Newton Wilhelm Roentgen Albert Einstein Max Planck Wielcy rewolucjoniści nauki Erwin Schrödinger Werner Heisenberg Niels Bohr dr inż. Romuald Kędzierski W swoim słynnym dziele Matematyczne podstawy
Bardziej szczegółowoDoświadczalnictwo leśne. Wydział Leśny SGGW Studia II stopnia
Doświadczalnictwo leśne Wydział Leśny SGGW Studia II stopnia Treści i efekty kształcenia Treści: Statystyka matematyczna, planowanie eksperymentu Efekty kształcenia: student potrafi opisywać zjawiska za
Bardziej szczegółowoJEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 18 czerwca Imię i Nazwisko:... I
JEZYKOZNAWSTWO I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 18 czerwca 2013 Imię i Nazwisko:.................................................................................. I Wybierz
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ółowo