Logic II 2402-F-S2-1-LOG2

(in Polish) 1. Godziny realizowane z udziałem nauczycieli: godziny kontaktowe przewidziane w planie studiów: 60 godzin ćwiczeń, 60 godzin wykładów 2. Czas poświęcony na pracę indywidualną studenta/słuchacza/uczestnika kursu potrzebny do pomyślnego zaliczenia przedmiotu, tj. wcześniejsze przygotowanie i uzupełnienie notatek; zebranie i wybór odpowiednich materiałów do zajęć, wymagane powtórzenie materiału, pisanie prac, czytanie literatury: 90 godzin 3. Czas wymagany do przygotowania się i do uczestnictwa w procesie oceniania (np. w egzaminach): 90 godzin Łącznie: 300 godzin

(in Polish) W1: zna sformułowania podstawowych praw teorii mnogości, potrafi podać ich uzasadnienie - K_W01 (zna i rozumie w pogłębionym stopniu terminologię filozoficzną w języku polskim z głównych subdyscyplin filozoficznych). W2: zna podstawowe fakty dotyczące pojęcia nieskończoności, rozumie znaczenie tego pojęcia dla filozofii potrafi udowodnić wybrane twierdzenie dotyczące liczności podstawowych zbiorów liczbowych, zna własności działań na liczbach kardynalnych i uzasadniać te własności - K_W02 (zna i rozumie w pogłębionym stopniu metody badawcze i strategie argumentacyjne wybranych subdyscyplin filozoficznych).

(in Polish) U1: potrafi rozstrzygać, jaką liczebność mają przykładowe zbiory nieskończone, potrafi porównywać nieskończoności i wykonywać podstawowe operacje na liczbach kardynalnych - K_U02 (potrafi wykorzystać wiedzę filozoficzną i metodologiczną w formułowaniu hipotez i konstruowaniu krytycznych argumentacji) U2: Potrafi dowieść wybranych metatwierdzeń z zakresu klasycznego rachunku kwantyfikatorów - K_U05 (potrafi formułować i sprawdzać hipotezy filozoficzne, analizować złożone argumenty filozoficzne, ustalać zależności logiczne i argumentacyjne między tezami

(in Polish) K1: potrafi stosować nabytą podczas nauki wiedzę do analizy problemów kształtując nawyk precyzyjnego myślenia zarówno w formułowaniu tez, jak i ich uzasadnianiu, dokonuje samoanalizy przeprowadzanych argumentacji - K_K01 (jest gotów do krytycznej oceny posiadanej wiedzy i odbieranych treści, K2: wypracowuje poczucie istotności refleksji logicznej dla nauki i życia społecznego. Uczy się rzetelności w pracy intelektualnej - K_K03 (jest gotów podtrzymywania etosu zawodowego).

(in Polish) podające: - wykład informacyjny (konwencjonalny) - wykład konwersatoryjny - wykład problemowy, poszukujące: - ćwiczeniowa - klasyczna metoda problemowa,

- informative (conventional) lecture
- problem-based lecture
- participatory lecture

- classic problem-solving
- practical

compulsory course

(in Polish) Podstawowe wiadomości z zakresu logiki

Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system:

• Description of 2402-F-S2-1-LOG2 in USOSweb