Elements of Logic WF-OB-ELO
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 2021/22_Z:
None |
Term 2022/23_Z:
None |
Term 2023/24_Z:
None |
Term 2024/25_Z:
None |
(in Polish) Grupa przedmiotów ogólnouczenianych
Learning outcome code/codes
Type of subject
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: |
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ą
ECTS:
udział w wykładzie 30
udział w ćwiczeniach 30
przygotowanie do ćwiczeń 15
konsultacje 5
czas na napisanie referatu/eseju/pracy 10
przygotowanie do egzaminu 20
SUMA GODZIN 110 [110 : 30 (25) =4]
LICZBA ECTS 4
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 2021/22_Z:
None |
Term 2022/23_Z:
None |
Term 2023/24_Z:
None |
Term 2024/25_Z:
None |
Notes
Term 2021/22_Z:
None |
Term 2022/23_Z:
None |
Term 2023/24_Z:
None |
Term 2024/25_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: