Logika T-KAP-AFI>logika-c-1
Ćwiczenia obejmują m.in. następujące zagadnienia:
1. Z zakresu semiotyki logicznej:
- ustalanie logicznych kategorii wyrażeniowych
- funkcje zdaniowe i propozycjonalne
- ustalanie relacji zakresowych między pojęciami;
- definicja klasyczna i warunki jej poprawności
2. Z zakresu logiki formalnej (KRZ i RP):
- funktory KRZ; kwantyfikatory
- schematy formalne i schematy logiczne
- tautologie i kontrtautologie
- parafraza logiczna wyrażeń języka potocznego w języku KRZ i RP
- formalne badanie poprawności wynikania logicznego (wnioskowania)
- opcjonalnie: wdrożenie w sylogistykę rozumianą jako teoria wynikania logicznego na poziomie języka potocznego;
3. Z zakresu szeroko rozumianej retoryki logicznej:
- rozróżnianie różnych typów argumentowania;
- badanie formalne argumentów ...
O szczegółowym zakresie prowadzonych ćwiczeń decyduje Prowadzący zajęcia. W przypadku gdy prowadzący ćwiczenia nie jest prowadzącym wykład, szczegółowy zakres ćwiczeń ustala się w porozumieniu w prowadzącym wykład z logiki.
Tryb zajęć
Koordynatorzy przedmiotu
Efekty kształcenia
Student potrafi praktycznie zastosować zdobytą wiedzę logiczną: definicje i formuły w celu analizy logicznej języka, wnioskowania i argumentów.
Kryteria oceniania
Okresowe kolokwia ustne lub pisemne; lub bieżące odpytywanie studentów. Wybór należy do Prowadzącego. Ocena końcowa jako średnia ze zdobytych ocen. Wskazane uwzględnienie zaangażowania i przygotowania studenta do ćwiczeń.
Literatura
Literaturę wybiera Prowadzący.
Można wykorzystać następujące prace:
B. Stanosz, Ćwiczenia z logiki.
J. Jadacki, Elementy semiotyki logicznej i metodologii w zadaniach.
A. Wójcik, K. Szymanek, K. Wieczorek, Sztuka argumentacji, Ćwiczenia w badaniu argumentów.
T. Hołówka, Kultura logiczna w przykładach.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: