Logika kwantyfikatorów
2402-F-S1-LK
W ramach zachęć omawiane będę następujące zagadnienia
1. Podstawy klasycznego rachunku zdań, jako systemu, na którym bazuje rachunek kwantyfikatorów.
2. Elementy teorii mnogości jako narzędzia do sformułowania semantyki logiki kwantyfikatorów.
3. Kwantyfikatory w języku naturalnym.
4. Język rachunku kwantyfikatorów. Podstawowe pojęcia.
Formuły zdaniowe języka logiki kwantyfikatorów. Zdania.
5. Zdania z kwantyfikatorem ogólny jako uogólnienia koniunkcji.
Zdania z kwantyfikatorem szczegółowym jako uogólnienia alternatywy
(nierozłącznej).
6. Podstawowe zależności zachodzące między kwantyfikatorem ogólnym i szczegółowym. Podstawowe prawa logiki kwantyfikatorów.
7. Wykorzystanie w logice kwantyfikatorów zależności logicznych obowiązujących na gruncie klasycznego rachunku zdań.
Zdania kategoryczne i ich interpretacje w języku naturalnym.
8. Ścisłe semantyczne ujęcie logiki kwantyfikatorów.
9. Syntaktyczne ujęcie logiki kwantyfikatorów.
10. Zagadnienie adekwatności syntaktycznego ujęcia logiki kwantyfikatorów względem semantyki.
Całkowity nakład pracy studenta
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.
Efekty uczenia się - wiedza
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).
Efekty uczenia się - umiejętności
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).
Efekty uczenia się - kompetencje społeczne
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).
Koordynatorzy przedmiotu
Metody dydaktyczne
Informacyjny (konwencjonalny), problemowy (w przypadku części wykładowej).
Klasyczna metoda problemowa, studia przypadku (w przypadku części stricte konwersatoryjnej).
Metody dydaktyczne podające
- wykład problemowy
- wykład informacyjny (konwencjonalny)
- wykład konwersatoryjny
Metody dydaktyczne poszukujące
- klasyczna metoda problemowa
- ćwiczeniowa
- studium przypadku
Metody dydaktyczne w kształceniu online
- metody wymiany i dyskusji
- metody służące prezentacji treści
- metody oparte na współpracy
- metody rozwijające refleksyjne myślenie
Rodzaj przedmiotu
kanon (atrybut wycofany)
Wymagania wstępne
wiadomości z wykładu i ćwiczeń do przedmiotu "Wprowadzenie do logiki"
Kryteria oceniania
A. Pisemne kolokwium na ostatnich zajęciach.
Kryteria oceniania:
5 -- 90%-100% punktów możliwych do zdobycia
4+ -- 80%-89% punktów
4 -- 70%-79% punktów
3+ -- 60%-69% punktów
3 -- 50%-59% punktów
2 -- poniżej 50% punktów możliwych do zdobycia
B. Aktywność na ćwiczeniach. Każda pozytywna aktywność przekłada się na podwyższenie rezultatu końcowego w postaci 0,5% ogółu punktów doliczane do wyniku uzyskanego ze sprawdzianu.
Praktyki zawodowe
Literatura
Materiały do zajęć autorstwa Marka Nasieniewskiego udostępniane na platformie Moodle.
Literatura uzupełniająca
Borkowski, Ludwik, Logika formalna, PWN, Warszawa 1970 (oraz inne wydania).
Marek, Wiktor, Janusz Onyszkiewicz, Elementy logiki i teorii mnogości w zadaniach, PWN, Warszawa, 1978 (oraz inne wydania).
Stanosz, Barbara, Wprowadzenie do logiki formalnej. Podręcznik dla humanistów, PWN, Warszawa 1985 (oraz inne wydania).
Stanosz, Barbara, Ćwiczenia z logiki, PWN, Warszawa 1997.
|
W cyklu 2024/25L:
Materiały do zajęć autorstwa Marka Nasieniewskiego udostępniane na platformie Moodle.
Literatura uzupełniająca
A. Grzegorczyk, Zarys logiki matematycznej, PWN, Warszawa 1973 (oraz inne wydania),
Borkowski, Ludwik, Logika formalna, PWN, Warszawa 1970 (oraz inne wydania).
Marek, Wiktor, Janusz Onyszkiewicz, Elementy logiki i teorii mnogości w zadaniach, PWN, Warszawa, 1978 (oraz inne wydania).
Stanosz, Barbara, Wprowadzenie do logiki formalnej. Podręcznik dla humanistów, PWN, Warszawa 1985 (oraz inne wydania).
Stanosz, Barbara, Ćwiczenia z logiki, PWN, Warszawa 1997. |
W cyklu 2025/26L:
Materiały do zajęć autorstwa Marka Nasieniewskiego udostępniane na platformie Moodle.
Literatura uzupełniająca
A. Grzegorczyk, Zarys logiki matematycznej, PWN, Warszawa 1973 (oraz inne wydania),
Borkowski, Ludwik, Logika formalna, PWN, Warszawa 1970 (oraz inne wydania).
Marek, Wiktor, Janusz Onyszkiewicz, Elementy logiki i teorii mnogości w zadaniach, PWN, Warszawa, 1978 (oraz inne wydania).
Stanosz, Barbara, Wprowadzenie do logiki formalnej. Podręcznik dla humanistów, PWN, Warszawa 1985 (oraz inne wydania).
Stanosz, Barbara, Ćwiczenia z logiki, PWN, Warszawa 1997. |
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i
terminach zajęć) mogą być dostępne w serwisie USOSweb: