| Sposób weryfikacji efektów kształcenia: |
W1, ocena aktywności podczas zajęć, ocena przygotowania do zajęć, sprawdziany pisemne
W2, 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, 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
|
| Efekty uczenia się: |
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, K_W05, 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
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
|
| Zakres tematów: |
• Czym jest logika?
• Wprowadzenie do logiki.
• Kategorialne ujęcie języka - kategorie syntaktyczne.
• Zdania, nazwy, spójniki zdaniowe.
• Ogólne pojęcie prawa logiki.
• Klasyczny rachunek zdań w ujęciu semantycznym: metoda matrycowa.
• Podstawowe prawa rachunku zdań.
• Wzajemna definiowalność spójników.
• Wnioskowanie dedukcyjne, reguły wnioskowania.
• Wprowadzenie do rachunku predykatów (język formalny).
• Analiza języka naturalnego w oparciu o język rachunku predykatów.
• Rachunek relacji. Wprowadzenie to teorii mnogości.
|
