Logika 1 Kierunek studiów: Filozofia
Kod programu: W1-N1FI19.2023

Nazwa modułu: Logika 1
Kod modułu: F1_L1
Kod programu: W1-N1FI19.2023
Semestr:
  • semestr letni 2024/2025
  • semestr letni 2023/2024
Język wykładowy: w zależności od wyboru
Forma zaliczenia: egzamin
Punkty ECTS: 5
Cel i opis treści kształcenia:
Celem modułu jest zapoznanie osób studiujących ze współczesną logiką formalną. W szczególności zostanie położony nacisk na pokazanie związków zachodzących pomiędzy językiem naturalnym, a sformalizowanym językiem logiki. Podczas zajęć przedstawiane będą niektóre z tradycyjnych systemów logiki formalnej, np. klasyczny rachunek zdań, rachunek nazw (sylogistyka), czy też klasyczny rachunek predykatów. Pokazane będzie także to, jak na gruncie tych systemów można odwzorowywać strukturę zdań języka naturalnego. Omówione będą relacje zachodzące między zdaniami, ze szczególnym uwzględnieniem relacji wynikania. Przedstawione zostaną metody pozwalające badać, czy pomiędzy zdaniami zachodzi wynikanie.
Lista modułów koniecznych do zaliczenia przed przystąpieniem do tego modułu (o ile to konieczne): nie dotyczy
Efekt modułowy Kody efektów kierunkowych do których odnosi się efekt modułowy [stopień realizacji: skala 1-5]
Ma zaawansowaną wiedzę na temat logicznych metod i procedur analizy języka. [F1_L1_1]
 F1_W02 [4/5]
Zna metody pozwalające na wykrywanie zależności między zdaniami. [F1_L1_2]
 F1_W03 [3/5]
Zna specyfikę logiki formalnej, wie jakie pojęcia, teorie i metody logiczne dają się stososować podczas badań filozoficznych. [F1_L1_3]
 F1_W04 [4/5]
Potrafi wybrać rachunek logiczny odpowiedni do analizy danego wnioskowania, a następnie, korzystając z odpowiednich narzędzi, sprawdzić poprawność tego wnioskowania. [F1_L1_4]
 F1_U02 [4/5]
Potrafi wskazać zalety oraz ograniczenia stosowanych w logice metod formalnych. Potrafi z metod tych korzystać tam, gdzie jest to pożądane. [F1_L1_5]
 F1_U06 [4/5]
Potrafi, przy użyciu narzędzi logiki, ocenić poprawność wnioskowania lub wyprowadzać właściwe wnioski z dostępnych przesłanek w celu zaplanowania własnych działań i rozwoju w obszarze filozofii. [F1_L1_6]
 F1_U11 [3/5]
Przyjmuje postawę otwartą, dostrzegając błędy formalne w rozumowaniach i wskazując ich istotę. Zgadza się z konkluzją przedstawianego rozumowania, jeśli jest ono logicznie nienaganne. [F1_L1_7]
 FI1_K01 [4/5]
Forma prowadzonych zajęć Liczba godzin Metody prowadzenia zajęć Sposób weryfikacji efektów uczenia się Efekty uczenia się
ćwiczenia [F1_L1_c] 20 Metody aktywizujące: dyskusja/debata [b04] 
Metody aktywizujące: studium przypadku [b07] 
Indywidualna praca z tekstem [f02]  		zaliczenie F1_L1_1 F1_L1_4 F1_L1_5 F1_L1_6 F1_L1_7
wykład [F1_L1_w] 20 Wykład informacyjny/kursowy [a01] 
Wykład problemowy [b01]  		egzamin F1_L1_1 F1_L1_2 F1_L1_3 F1_L1_7
Praca studenta poza udziałem w zajęciach obejmuje w szczególności:
Nazwa Kategoria Opis
Kwerenda materiałów i przegląd działań niezbędnych do uczestnictwa w zajęciach [a01] Przygotowanie do zajęć
przegląd literatury, dokumentacji, narzędzi i materiałów oraz specyfiki i zakresu działań wskazanych w sylabusie jako wymagane do pełnego uczestnictwa w zajęciach
Czytanie literatury / analiza materiałów źródłowych [a02] Przygotowanie do zajęć
czytanie literatury wskazanej w sylabusie; przegląd, porządkowanie, analiza i wybór materiałów źródłowych do wykorzystania w ramach zajęć
Ćwiczenie praktycznych umiejętności [a03] Przygotowanie do zajęć
czynności polegające na powtarzaniu, doskonaleniu i utrwalaniu praktycznych umiejętności, w tym ćwiczonych podczas odbytych wcześniej zajęć lub nowych, niezbędnych z punktu widzenia realizacji kolejnych elementów programu (jako przygotowanie się uczestnictwa w zajęciach)
Konsultowanie materiałów uzupełniających [względem wskazanych w sylabusie] [a04] Przygotowanie do zajęć
uzgadnianie dodatkowych do wskazanych w sylabusie materiałów, służących realizacji zadań wynikających z uczestnictwa w zajęciach lub na potrzeby przygotowania się do nich
Zapoznanie się z zapisami sylabusa [b01] Konsultowanie programu i organizacji zajęć
przeglądanie zawartości sylabusa i zapoznanie się z treścią jego zapisów
Weryfikacja/dostosowanie/dyskutowanie zapisów w sylabusie [b02] Konsultowanie programu i organizacji zajęć
konsultowanie treści sylabusa z potencjalną weryfikacją zapisów wymagających spełnienia specjalnych warunków uczestnictwa w zajęciach, np. wymagań technicznych, czasowych, przestrzennych, innych, w tym warunków uczestnictwa w zajęciach poza murami uczelni, zajęć organizowanych w blokach, organizowanych online, itp.; konsultowanie z potencjalnym udziałem opiekuna roku lub członkami grupy zajęciowej
Konsultowanie harmonogramu [b03] Konsultowanie programu i organizacji zajęć
zapoznanie z planem zajęć w celu optymalizacji uczestnictwa w zajęciach, w tym komplementarnych do zajęć kierunkowych; konsultowanie z potencjalnym udziałem tutora lub opiekuna roku
Ustalanie etapów realizacji zadań przyczyniających się do weryfikacji efektów uczenia się [c01] Przygotowanie do weryfikacji efektów uczenia się
przygotowanie strategii realizacji zadania uwzględniającej podział treści, czynności i ich zakres, czas realizacji oraz/lub sposób pozyskania niezbędnych do jego wykonania materiałów i narzędzi, itp.
Załączniki
Opis modułu (PDF)
Informacje o sylabusach mogą ulec zmianie w trakcie trwania studiów.
Sylabusy (USOSweb)
Semestr Moduł Język wykładowy
(brak danych)