Logika formalna

Brak

Godziny kontaktowe (z udziałem nauczyciela akademickiego)

Wykład 60h, konwersatorium 60h, 4 ECTS

Konsultacje i egzamin 15h,

Łączna liczba godzin z udziałem nauczyciela akademickiego 135h

Liczba punktów ECTS z udziałem nauczyciela akademickiego 4,5

Godziny niekontaktowe (praca własna studenta)

Studiowanie literatury 45h

Przygotowanie się do egzaminu 90h

Łączna liczba godzin niekontaktowych 135h

Liczba punktów ECTS za godziny niekontaktowe 4,5

Sumaryczna liczba punktów ECTS 9

W1, egzamin pisemny, ocena aktywności podczas zajęć, ocena przygotowania do zajęć, sprawdziany pisemne

W2, egzamin pisemny, ocena aktywności podczas zajęć, ocena przygotowania do zajęć, sprawdziany pisemne

U1, ocena udziału w dyskusjach, ocena aktywności podczas zajęć, ocena przygotowania do zajęć, sprawdziany pisemne

U2, ocena udziału w dyskusjach, ocena aktywności podczas zajęć, ocena przygotowania do zajęć, sprawdziany pisemne

U3, egzamin pisemny, ocena udziału w dyskusjach, ocena przygotowania do zajęć, zaliczenie ustne

K1, ocena aktywności podczas zajęć, ocena przygotowania do zajęć, sprawdziany pisemne

K2, ocena aktywności podczas zajęć, ocena przygotowania do zajęć, sprawdziany pisemne

K3, ocena aktywności podczas zajęć, ocena przygotowania do zajęć, sprawdziany pisemne

Cele kształcenia: zapoznanie studentów z podstawami logiki ogólnej i formalnej, elementami metalogiki; wykształcenie umiejętności precyzyjnego myślenia, "widzenia" rzeczywistości w aspektach formalno-strukturalnych, przeprowadzania analiz logiczno-filozoficznych; nabycie umiejętności rozumowania, uzasadniania, wnioskowania, dowodzenia, wprowadzenie w podstawy nauk formalnych i elementów filozofii matematyki, zapoznanie z ogólnymi aspektami języka jako narzędzia poznania i komunikacji.

1. Ludwik Borkowski, Wprowadzenie do logiki i teorii mnogości, Wydawnictwo KUL 1991

2. Ryszard Wójcicki, Wykłady z logiki z elementami teorii wiedzy, Wydawnictwo Naukowe Scholar 2003.

3. Stanisław Krajewski, Twierdzenie Gödla i jego interpretacje filozoficzne, Wydawnictwo IFiS UW 2003.

4. Witold Marciszewski, Mała encyklopedia logiki, Ossolineum 1988.

5. T. Hołówka, Kultura logiczna w przykładach, Wydawnictwo Naukowe PWN.

6. B. Stanosz, Wprowadzenie do logiki, PWN, Warszawa 2005 (i wydania wcześniejsze)

Wiedza:

W1, zna w zaawansowanym stopniu i rozumie główne zagadnienia związane z problematyką analizy logicznej języka naturalnego oraz rolą logiki przy rozwiązywaniu problemów filozoficznych, K_W01, K_W02, K_W04, P6U_W, P6S_WG

W2, zna w zaawansowanym stopniu główne rachunki logiczne: klasyczny rachunek zdań oraz klasyczny rachunek predykatów, K_W01, P6U_W, P6S_WG, K_W05, P6U_W, P6S_WG

Umiejętności:

U1, potrafi sformułować i przeanalizować problem z logicznego punktu widzenia, zgromadzić dane; jest przygotowany do udziału w prowadzeniu badań, K_U01, K_U02, P6U_U, P6S_UW

U2, potrafi uczestniczyć w dyskusjach, formułując w jasny i logiczny sposób swoje stanowisko, podając argumenty, zachowując postawę otwartą na krytyki, K_U04, P6U_U, P6S_UK

U3, potrafi samodzielnie dokonać analizy logicznej wnioskowań, wskazać błędy, K_U06, P6U_U, P6S_UK

Kompetencje społeczne:

K1, ma świadomość konieczności przestrzegania w działaniu norm i wartości, takich jak rzetelność, prawda, dobro społeczne, dobro jednostki, przestrzeganie prawa, respektowanie norm prawa autorskie i ochrony własności intelektualnej, K_K05, P6U_K, P6S_KR

K2, przestrzega przyjętych w środowisku naukowym norm postępowania, w szczególności zasad etyki zawodowej, a także dbania o dorobek i tradycje zawodu, K_K05, P6U_K, P6S_KR

K3, potrafi dokonać krytycznej oceny własnej wiedzy zawodowej, uzupełniania ją, K_K01, P6U_K, P6S_KK