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).

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"

Koordynatorzy przedmiotu

W cyklu 2023/24L:

W cyklu 2024/25L:

W cyklu 2022/23L:

W cyklu 2025/26L:

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

Poprawa sprawdzianu tylko na ocenę dostateczną (3) -- od 50% możliwych do uzyskania punktów.

B. Aktywność na ćwiczeniach. Każda pozytywna aktywność przekłada się na 0,5% punktów doliczanych do wyniku uzyskanego ze sprawdzianu.

Praktyki zawodowe

Brak

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 2023/24L:

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 2024/25L:

Materiały do zajęć autorstwa Marka Nasieniewskiego udostępniane na platformie Moodle.

W cyklu 2025/26L:

Materiały do zajęć autorstwa Marka Nasieniewskiego udostępniane na platformie Moodle.

Więcej informacji

Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb:

Strona przedmiotu 2402-F-S1-LK w USOSweb