Elementy logiki WF-OB-ELO
- https://teams.microsoft.com/l/channel/19%3ad764274a248c4403afcdb6bc6e97e9e3%40thread.tacv2/Og%25C3%25B3lny?groupId=8df6ff42-48b9-43b3-8c6e-3548affd533a&tenantId=12578430-c51b-4816-8163-c7281035b9b3
- https://teams.microsoft.com/l/team/19%3AJdJmm2Np2nJlwt0Nd8XvDWgyh7rw6HX82_BYB9Uy-vA1%40thread.tacv2/conversations?groupId=26a5be61-8df7-4324-a35c-ea1d9cff9fc2&tenantId=12578430-c51b-4816-8163-c7281035b9b3 (w cyklu 2026/27_Z)
1. Przedmiot, zadania i metody logiki, subdyscypliny logiki 1h
2. Podstawowe pojęcia: znak, język, nazwa, zdanie, funktor, kategoria syntaktyczna, korelat semantyczny, wartość logiczna, kwalifikacja pragmatyczna 3h
3. Nazwy i ich klasyfikacja 2h
4. Zdania i ich klasyfikacja 2h
5. Definicje i ich klasyfikacja 2h
6. Język i semantyka klasycznego rachunku zdań, pojęcia spójnika
prawdziwościowego, matrycy, formuły spełnialnej, tautologii, kontrtautologii 4h
7. Sprawdzanie tautologiczności formuł klasycznego rachunku zdań 3h
8. Pojęcia formalizacji i interpretacji, pojęcie wynikania logicznego 2h
9. Język klasycznego rachunku predykatów 3h
10. Rozumowania uzasadniające i ich klasyfikacja 2h
11. Błędy logiczne 2h
12. Elementy teorii mnogości 2h
13. Elementy teorii relacji 2h
|
W cyklu 2025/26_Z:
Treści programowe: 1. Zagadnienia wstępne: historia logiki, jej przedmiot i cel nauczania |
W cyklu 2026/27_Z:
Treści programowe: 1. Przedmiot, zadania i metody logiki, subdyscypliny logiki 1h |
Grupa przedmiotów ogólnouczenianych
Koordynatorzy przedmiotu
W cyklu 2025/26_Z: | W cyklu 2024/25_Z: | W cyklu 2023/24_Z: | W cyklu 2022/23_Z: | W cyklu 2021/22_Z: | W cyklu 2020/21_Z: | W cyklu 2019/20_Z: | W cyklu 2026/27_Z: |
Opis nakładu pracy studenta w ECTS
W cyklu 2025/26_Z: bezpośredni udział w konwersatorium 30 godz. = 1 ECTS
bezpośredni udział w ćwiczeniach 30 godz. = 1 ECTS
przygotowanie do zajęć 10 godz.+ przygotowanie do zaliczenia 10godz. = 1 ECTS
| W cyklu 2026/27_Z: bezpośredni udział w konwersatorium 30 godz. = 1 ECTS
przygotowanie do zajęć 15 godz.+ przygotowanie do zaliczenia 15 godz. = 1 ECTS
bezpośredni udział w ćwiczeniach 15 godz. = 0.5 ECTS
przygotowanie do zajęć 7.5 godz.+ przygotowanie do zaliczenia 7.5 godz. = 0.5 ECTS
|
Poziom przedmiotu
Punkty ECTS
Symbol/Symbole kierunkowe efektów uczenia się
Typ przedmiotu
Wymagania wstępne
Efekty uczenia się
Wiedza:
Student charakteryzuje i wyjaśnia podstawowe pojęcia i zagadnienia z zakresu semiotyki logicznej, logiki formalnej i ogólnej metodologii nauk.
Student wyjaśnia podstawowe pojęcia i metody z zakresu semiotyki logicznej, logiki formalnej i ogólnej metodologii nauk, rozróżnia podstawowe klasy nazw, zdań i definicji, rozumie pojęcie tautologii, wynikania logicznego.
Umiejętności:
Student poprawnie analizuje składnię wyrażeń języka, rozróżnia podstawowe rodzaje nazw, zdań i definicji, sprawdza tautologiczność formuł klasycznego rachunku zdań oraz zachodzenie wynikania logicznego, formalizuje zdania języka naturalnego w języku klasycznego rachunku zdań i klasycznego rachunku predykatów, analizuje poprawność rozumowań, rozpoznaje podstawowe błędy logiczne, wykonuje podstawowe działania na zbiorach i analizuje formalne własności relacji.
Student stosuje metodę wskaźników syntaktycznych, analizuje stosunki zakresowe między nazwami, korzysta z podstawowych metod sprawdzania tautologiczności formuł klasycznego rachunku zdań i zachodzenia wynikania logicznego, formalizuje wyrażenia języka naturalnego, wykonuje podstawowe działania na zbiorach, odróżnia własności relacji formalnych.
Kryteria oceniania
KONWERSATORIUM
Na ocenę końcową składają się:
• obecność i aktywność – 5 pkt
• kolokwium końcowe – 15 pkt
Dopuszczalne są dwie nieobecności bez usprawiedliwienia, które nie skutkują obniżeniem oceny.
Skala ocen:
• 0–9 punktów (0–45%) – niedostateczny (2.0)
• 10–11 punktów (50–55%) – dostateczny (3.0)
• 12–13 punktów (60–65%) – dostateczny plus (3.5)
• 14–15 punktów (70–75%) – dobry (4.0)
• 16–17 punktów (80–85%) – dobry plus (4.5)
• 18–20 punktów (90–100%) – bardzo dobry (5.0)
ĆWICZENIA
Na ocenę końcową składają się:
• kolokwia pisemne – 10 pkt
• zadania domowe – 5 pkt
• obecność i aktywność – 5 pkt
Dopuszczalna jest jedna nieobecność nieusprawiedliwiona, która nie skutkuje obniżeniem oceny.
Skala ocen:
• 0–9 punktów (0–45%) – niedostateczny (2.0)
• 10–11 punktów (50–55%) – dostateczny (3.0)
• 12–13 punktów (60–65%) – dostateczny plus (3.5)
• 14–15 punktów (70–75%) – dobry (4.0)
• 16–17 punktów (80–85%) – dobry plus (4.5)
• 18–20 punktów (90–100%) – bardzo dobry (5.0)
Praktyki zawodowe
nie dotyczy
Literatura
Literatura obowiązkowa
1. Nieznański E., Logika. Podstawy, język, uzasadnianie, C.H. Beck, Warszawa 2011 (fragmenty).
2. Słupecki J., Borkowski L., Elementy logiki matematycznej i teorii mnogości, PWN, Warszawa 1984 (fragmenty).
Literatura uzupełniająca
1. Malinowski G., Logika ogólna, PWN, Warszawa 2010.
2. Mała encyklopedia logiki, red. W. Marciszewski, Zakład Narodowy im. Ossolińskich, Wrocław 1988.
3. Priest G., Logika, tłum. E. Drozdowska, Wydawnictwo Uniwersytetu Łódzkiego, Łódź 2023.
|
W cyklu 2025/26_Z:
E. Nieznański, Logika. Podstawy - język - uzasadnianie, Warszawa 2000. J. Wajszczyk, Wstęp do logiki, Olsztyn 2001. A. Malinowski, Przewodnik do ćwiczeń z logiki dla prawników, Warszawa 2008. |
W cyklu 2026/27_Z:
Literatura obowiązkowa Literatura uzupełniająca |
Uwagi
|
W cyklu 2025/26_Z:
Wiedza wyniesiona ze szkoły średniej. |
W cyklu 2026/27_Z:
Wymagania wstępne: znajomość gramatyki języka polskiego na poziomie szkoły średniej. |
Więcej informacji
Więcej informacji o poziomie przedmiotu, roku studiów (i/lub semestrze) w którym się odbywa, o rodzaju i liczbie godzin zajęć - szukaj w planach studiów odpowiednich programów. Ten przedmiot jest związany z programami:
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: