Logic of quantifiers 2402-F-S1-LK

(in Polish) Godziny realizowane z udziałem nauczycieli: godziny kontaktowe przewidziane w planie studiów: 30 godz. 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; wymagane powtórzenie materiału, czytanie literatury: 30 godzin. Czas wymagany do przygotowania się i do uczestnictwa w procesie oceniania (np. w egzaminach i zaliczeniu ćwiczeń): 30 godzin. Łącznie 90 godzin.

(in Polish) W1: Zna podstawowe fakty dotyczące pojęć: wynikania, równoważności, sprzeczności, dopełniania oraz związków zachodzących pomiędzy nimi; potrafi podać ich uzasadnienie - K_W03 (zna i rozumie w zaawansowanym stopniu podstawową terminologię filozoficzną w języku polskim). W2: Umie stosować logikę do analizy poprawności rozumowań oraz spójności różnego rodzaju wypowiedzi, ponadto zna sposoby budowania poprawnych definicji - K_W06 (zna i rozumie w zaawansowanym stopniu podstawowe metody badawcze i strategie argumentacyjne właściwe dla głównych subdyscyplin filozoficznych). W3: Zna sformułowania podstawowych praw z logiki kwantyfikatorów; potrafi podać ich uzasadnienie - K_W05 (zna i rozumie w zaawansowanym stopniu idee i argumenty wybranych klasycznych oraz współczesnych teorii filozoficznych).

(in Polish) U1: Potrafi zapisywać zdania języka naturalnego za pomocą języka logiki kwantyfikatorów; potrafi rozstrzygać, które formuły logiki kwantyfikatorów są jej prawami - K_U01 (potrafi wykorzystać posiadaną wiedzę filozoficzną oraz znajomość języków obcych, by wyszukiwać, analizować i oceniać informacje ze źródeł pisanych i elektronicznych). U2: Potrafi dowieść wybranych metatwierdzeń klasycznej logiki kwantyfikatorów - K_U05 (potrafi formułować w mowie i na piśmie problemy filozoficzne, stawiać tezy oraz artykułować własne poglądy w sprawach społecznych i światopoglądowych).

(in Polish) Efekty uczenia się - kompetencje społeczne: 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 przyswajanych treści), K2: wypracowuje poczucie istotności refleksji logicznej dla nauki i życia społecznego. Uczy się rzetelności w pracy intelektualnej - K_K02 (jest gotów do otwartości na nowe idee i zmiany opinii w świetle dostępnych danych i argumentów).

(in Polish) Informacyjny (konwencjonalny), problemowy (w przypadku części wykładowej). Klasyczna metoda problemowa, studia przypadku (w przypadku części stricte konwersatoryjnej).

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

- classic problem-solving
- practical
- case study

- exchange and discussion methods
- content-presentation-oriented methods
- cooperation-based methods
- methods developing reflexive thinking

core frame (attribute withdrawn)

(in Polish) wiadomości z wykładu i ćwiczeń do przedmiotu "Wprowadzenie do logiki"

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

• Description of 2402-F-S1-LK in USOSweb