Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 13. metodologia nauk

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

Download "Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 13. metodologia nauk"

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 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ółowo

Badania w naukach społecznych

Badania 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ółowo

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

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

Bardziej szczegółowo

1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.

1. 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ółowo

Filozofia przyrody, Wykład V - Filozofia Arystotelesa

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

Bardziej szczegółowo

Metodologia badań psychologicznych. Psychologia jako nauka empiryczna (1)

Metodologia 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ółowo

Filozofia, Historia, Wykład V - Filozofia Arystotelesa

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

Bardziej szczegółowo

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

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

Bardziej szczegółowo

Uwaga 1. Zbiory skończone są równoliczne wtedy i tylko wtedy, gdy mają tyle samo elementów.

Uwaga 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ółowo

Metoda tabel semantycznych. Dedukcja drogi Watsonie, dedukcja... Definicja logicznej konsekwencji. Logika obliczeniowa.

Metoda 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ółowo

STUDIA PODYPLOMOWE BEZPIECZEŃSTWO I HIGIENA PRACY

STUDIA 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ółowo

Logika 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 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ółowo

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)

Tautologia (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ółowo

KARTA 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 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ółowo

Paradoksy log o i g czne czn i inne 4 marca 2010

Paradoksy 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ółowo

Proces badawczy schemat i zasady realizacji

Proces badawczy schemat i zasady realizacji Proces badawczy schemat i zasady realizacji Agata Górny Zaoczne Studia Doktoranckie z Ekonomii Warszawa, 23 października 2016 Metodologia i metoda naukowa 1 Metodologia Metodologia nauka o metodach nauki

Bardziej szczegółowo

LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ

LOGIKA 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ółowo

166 Wstęp do statystyki matematycznej

166 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ółowo

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

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

Bardziej szczegółowo

METODY I TECHNIKI BADAŃ SPOŁECZNYCH

METODY 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ółowo

Obserwacja 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. 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ółowo

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

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

Bardziej szczegółowo

Logika. Michał Lipnicki. 15 stycznia Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 15 stycznia / 37

Logika. 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ółowo

Równoliczność zbiorów

Ró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ółowo

Ogólna metodologia nauk

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

Bardziej szczegółowo

Logika formalna SYLABUS A. Informacje ogólne

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

Bardziej szczegółowo

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

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

Bardziej szczegółowo

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

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

Bardziej szczegółowo

Filozofia z elementami logiki Klasyfikacja wnioskowań I część 1

Filozofia 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ółowo

Proces badawczy schemat i zasady realizacji

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

Bardziej szczegółowo

Logika dla socjologów

Logika 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ółowo

Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 7. zdanie wynikanie wynikanie logiczne

Piotr Ł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ółowo

Baruch Spinoza ( )

Baruch 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ółowo

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

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

Bardziej szczegółowo

Warsztat nauczyciela: Badanie rzutu ukośnego

Warsztat 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ółowo

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

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

Bardziej szczegółowo

Rachunek zdań 1 zastaw zadań

Rachunek 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ółowo

Metoda Tablic Semantycznych

Metoda 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ółowo

Gramatyki, wyprowadzenia, hierarchia Chomsky ego. Gramatyka

Gramatyki, 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ółowo

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

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

Bardziej szczegółowo

KARTA KURSU. Odnowa Biologiczna

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

Bardziej szczegółowo

ORIENTACJE, METODY, PROCEDURY i TECHNIKI BADAWCZE

ORIENTACJE, 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ółowo

1 Podstawowe oznaczenia

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

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

Bardziej szczegółowo

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

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 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ółowo

Czym są badania jakościowe? David Silverman : Interpretacja danych jakościowych

Czym 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ółowo

Matematyka I. BJiOR Semestr zimowy 2018/2019 Wykład 1

Matematyka 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ółowo

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

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

Bardziej szczegółowo

Proces badawczy schemat i zasady realizacji

Proces 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ółowo

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

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

Bardziej szczegółowo

Algebrę L = (L, Neg, Alt, Kon, Imp) nazywamy algebrą języka logiki zdań. Jest to algebra o typie

Algebrę 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ółowo

KRZYSZTOF WÓJTOWICZ Instytut Filozofii Uniwersytetu Warszawskiego

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

Bardziej szczegółowo

Metodologia badań naukowych

Metodologia 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ółowo

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

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

Bardziej szczegółowo

KARTA PRZEDMIOTU. 1. NAZWA PRZEDMIOTU: Seminarium magisterskie KOD WF/II/st/9

KARTA 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ółowo

020 Liczby rzeczywiste

020 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ółowo

Od pomysłu do przemysłu

Od 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ółowo

Metodologia badań społecznych Kod przedmiotu

Metodologia 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ółowo

Programowanie deklaratywne

Programowanie 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ółowo

Elementy logiki i teorii mnogości

Elementy 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ółowo

Badania eksploracyjne Badania opisowe Badania wyjaśniające (przyczynowe)

Badania 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ółowo

LUBELSKA PRÓBA PRZED MATURĄ

LUBELSKA 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ółowo

10/24/2015 CELE ZAJĘĆ PLAN ZAJĘĆ METODY BADAŃ SPOŁECZNYCH WYKŁAD 1

10/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ółowo

Paradygmaty dowodzenia

Paradygmaty 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ółowo

LOGIKA Dedukcja Naturalna

LOGIKA 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ółowo

Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I

Metody 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ółowo

Początki informatyki teoretycznej. Paweł Cieśla

Począ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ółowo

Andrzej Wiśniewski Logika II. Wykład 6. Wprowadzenie do semantyki teoriomodelowej cz.6. Modele i pełność

Andrzej 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ółowo

OPIS, WYJAŚNIANIE, INTERPRETACJA 1. Cele nauki i czynności badawcze

OPIS, 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ółowo

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

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

Bardziej szczegółowo

Struktury formalne, czyli elementy Teorii Modeli

Struktury 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ółowo

WYMOGI STAWIANE PRACOM DYPLOMOWYM

WYMOGI 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ółowo

REGULAMIN ZAJĘĆ Z PRZEDMIOTU: PSYCHOLOGIA PROCESÓW POZNAWCZYCH - rok akademicki 2016/2017 -

REGULAMIN 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ółowo

Przedmiotowe 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 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ółowo

Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 8. klasyczny rachunek kwantyfikatorów klasyczny rachunek nazw

Piotr Ł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ółowo

Logika stosowana. Ćwiczenia Wnioskowanie przez abdukcję. Marcin Szczuka. Instytut Matematyki, Uniwersytet Warszawski

Logika 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

Wstęp do logiki. Klasyczny Rachunek Zdań III

Wstę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ółowo

KARTA PRZEDMIOTU. 10. WYMAGANIA WSTĘPNE I DODATKOWE (np. przedmioty poprzedzające):

KARTA 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ółowo

Kognitywistyka II r. Terminy wykładów. Literatura - psychometria. Teorie inteligencji i sposoby jej pomiaru (1)

Kognitywistyka 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ółowo

Etapy procesu badawczego. mgr Magdalena Szpunar

Etapy 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ółowo

KARTA PRZEDMIOTU. 1. NAZWA PRZEDMIOTU: Seminarium magisterskie KOD WF/II/st/9

KARTA 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ółowo

Dydaktyka matematyki III-IV etap edukacyjny (wykłady)

Dydaktyka 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ółowo

Adam Meissner.

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

Bardziej szczegółowo

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

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

Bardziej szczegółowo

Krakowska 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 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ółowo

10. WYMAGANIA WSTĘPNE I DODATKOWE (np. przedmioty poprzedzające):

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. Specjalność: wychowanie fizyczne w służbach mundurowych 3. POZIOM STUDIÓW

Bardziej szczegółowo

Karta (sylabus) modułu/przedmiotu...pedagogika... (Nazwa kierunku studiów)

Karta (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ółowo

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

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

Bardziej szczegółowo

Elementy fizyki relatywistycznej

Elementy 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ółowo

Badanie właściwości optycznych roztworów.

Badanie 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ółowo

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ń

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ń 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ółowo

OPIS PRZEDMIOTU. Diagnoza psychologiczna. jednolite studia magisterskie, ogólnoakademicki, niestacjonarne, II i III

OPIS 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ółowo

Logika dla prawników

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

Bardziej szczegółowo

Kierunek i poziom studiów: matematyka, studia I stopnia, rok I. Sylabus modułu: Wstęp do matematyki (03-MO1S-12-WMat)

Kierunek 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ółowo

Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań

Wykł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ółowo

Wielcy rewolucjoniści nauki

Wielcy 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ółowo

Doświadczalnictwo leśne. Wydział Leśny SGGW Studia II stopnia

Doś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ółowo

JEZYKOZNAWSTWO. 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 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ółowo

Kultura logiczna Wnioskowania dedukcyjne

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

Bardziej szczegółowo