Elements of Logic 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 (term 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
|
Term 2025/26_Z:
None |
Term 2026/27_Z:
None |
(in Polish) Grupa przedmiotów ogólnouczenianych
Course coordinators
Term 2025/26_Z: | Term 2024/25_Z: | Term 2022/23_Z: | Term 2023/24_Z: | Term 2020/21_Z: | Term 2019/20_Z: | Term 2021/22_Z: | Term 2026/27_Z: |
(in Polish) Opis nakładu pracy studenta w ECTS
Term 2025/26_Z: (in Polish) 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
| Term 2026/27_Z: (in Polish) 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
|
Subject level
(in Polish) Punkty ECTS
Learning outcome code/codes
Type of subject
Preliminary Requirements
Learning outcomes
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.
Assessment criteria
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)
Practical placement
-
Bibliography
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.
|
Term 2025/26_Z:
None |
Term 2026/27_Z:
None |
Notes
|
Term 2025/26_Z:
None |
Term 2026/27_Z:
None |
Additional information
Information on level of this course, year of study and semester when the course unit is delivered, types and amount of class hours - can be found in course structure diagrams of apropriate study programmes. This course is related to the following study programmes:
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: