1060440445

Uniwersytet Śląski w Katowicach Wydział_

str.3

	badania formuł KRZ, sprawdzanie niezawodności reguł wnioskowania. 3.    Sylogistyka: budowanie schematów zdań kategorycznych, sprawdzane poprawności sylogizmów przy pomocy diagramów Venna. 4.    Elementy klasycznego rachunku predykatów (KRP): budowanie kwantyfikatorowych schematów zdań, budowanie modeli i kontrmodeli formuł KRP. 5.    Nazwy i definicje: określanie rodzaju nazwy, badanie stosunków zakresowych między nazwami, badanie poprawności definicji sprawozdawczych, tworzenie definicji. 6.    Podziały i klasyfikacje: warunki poprawności podziału, tworzenie klasyfikacji.
metody prowadzenia zajęć	ćwiczenia
liczba godzin dydaktycznych (kontaktowych)	30 h
liczba godzin pracy własnej studenta	70 h
opis pracy własnej studenta	Lektura uzupełniająca, samodzielne rozwiązywanie zadań.
organizacja zajęć	1 XII: 13.10 - 17.15, 8 XII: 13.10 - 17.15, 15 XII: 13.10 -17.15,12 1:13.10 - 17.15,19 1: 13.10 -17.15, 26 1:13.10 -17.15.
literatura obowiązkowa	Stanosz B., Ćwiczenia z logiki. Warszawa, 1998. Tokarz M., Wykłady z logiki. Tychy, 1998. Wieczorek K., Wprowadzenie do logiki dla studentów wszystkich kierunków. Warszawa, 2005.
literatura uzupełniająca	Ajdukiewicz K., Logika pragmatyczna. Warszawa 1975. Hołówka T., Kultura logiczna w przykładach. Warszawa, 2005. Marciszewski W. (red.), Mała encyklopedia logiki. Ossolineum, 1988. Przybyłowski J., Logika z ogólną metodologią nauk. Gdańsk, 1997. Stanosz B., Wprowadzenie do logiki formalnej. Podręcznik dla humanistów, Warszawa, 2005. Tokarz M., Ćwiczenia z wnioskowania i argumentacji. Tychy, 2006. Ziembiński Z., Logika praktyczna. Warszawa, 1996.
adres strony www zajęć	Materiały do ćwiczeń: www.krzysztofwieczorek.pl/informacje
informacje dodatkowe

3. Opis sposobów weryfikacji efektów kształcenia modułu

nazwa__kod_

Podstawy logiki I w    DFC_ml8