Conducted in terms: 2023/24_Z, 2024/25_Z, 2025/26_Z, 2025/26_L

Erasmus code: 07.2

ECTS credits: unknown

Language: Polish

Organized by: Center for Ecology and Ecophilosophy

Related to study programmes:

Environmental Protection - full-time first cycle studies

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

1. Zagadnienia wstępne: historia logiki, jej przedmiot i cel nauczania.
2. Pojęcie znaku.
3. Syntaktyczne kategorie wyrażeń: zdania.
4. Syntaktyczne kategorie wyrażeń: nazwy.
5. Podziały nazw.
6. Stosunki zakresowe między nazwami.
7. Syntaktyczne kategorie wyrażeń: funktory i operatory.
8. Analiza syntaktyczna wyrażeń.
9. Analiza syntaktyczna wyrażeń c.d.
10. Klasyczny Rachunek Zdań: budowa języka.
11. Klasyczny Rachunek Zdań: tautologie logiczne, metoda zerojedynkowa.
12. Metoda zerojedynkowa - c.d.
13. Pojęcie wynikania logicznego.
14. Pojęcie i klasyfikacja rozumowań.
15. Typy rozumowań.Metody oceny:

Term 2023/24_Z:

None

Term 2024/25_Z:

None

Term 2025/26_Z:

None

(in Polish) Grupa przedmiotów ogólnouczenianych

(in Polish) nie dotyczy

(in Polish) Opis nakładu pracy studenta w ECTS

(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

Learning outcome code/codes

OB1_W07 OB1_U05 Effective from the 2025/26 academic year: OB1_W06 The student knows and understands the main conceptual categories and terminology from the field of natural sciences, as well as the development of these scientific disciplines and the research methods used in them. OB1_U04 The student is able to use basic mathematical and statistical methods to describe natural phenomena and analyze data.

Type of subject

obligatory

Course coordinators

Term 2023/24_Z:

Term 2019/20_Z:

Term 2021/22_Z:

Term 2020/21_Z:

Term 2022/23_Z:

Term 2024/25_Z:

Term 2025/26_Z:

Learning outcomes

Wiedza:

EK 1 - student posiada wiedzę ogólną na temat logiki formalnej
EK 2 - student posiada znajomość specyfiki logiki na tle innych nauk (zna jej przedmiot i metodę)i

Umiejętności:

EK 3 - student potrafi posługiwać się narzędziami z zakresu semiotyki logicznej i logiki formalnej
EK 4 - student poprawnie przeprowadza analizę rozumowań

Kompetencje:

EK 5 – student zna podstawową wiedzę z zakresu logiki ogólnej i poprawnie wykorzystuje narzędzia logiczne w dyskursie naukowym
EK 6 - student potrafi w sposób poprawny logicznie organizować własną pracę naukową

Bibliography

1. Nieznański E., Logika. Podstawy - język - uzasadnianie, C.H.Beck, Warszawa 2000.
2. Hołówka T., Kultura logiczna w przykładach, PWN, 2006
3. Szymanek K., Wieczorek K., Wójcik A., Sztuka argumentacji. Ćwiczenia w badaniu argumentów, PWN, 2005
4. Borkowski L., Logika formalna, PWN, Warszawa 1970
5. Stanosz B., Wprowadzenie do logiki formalnej. Podręcznik dla humanistów, PWN, Warszawa'99.
6. Ziembiński Z., Logika praktyczna, PWN, Warszawa 1995

Term 2023/24_Z:

None

Term 2024/25_Z:

None

Term 2025/26_Z:

None

Notes

Term 2023/24_Z:

None

Term 2024/25_Z:

None

Term 2025/26_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:

Environmental Protection - full-time first cycle studies

Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system:

Description of WF-OB-ELO in USOSweb