Logika 2600-DSMz1LOG
1. Funkcje wypowiedzi, zdania w sensie logicznym, asercja
2. Implikatura konwersacyjna, zasady Grice’a
3. Standaryzacja, diagram, schematyzacja argumentacji
4. Pojęcie wynikania, poprawność formalna i materialna
5. Schematy logiczne zdań z języka naturalnego
6. Rachunek zdań: negacja, koniunkcja, alternatywa
7. Rachunek zdań: implikacja, warunek konieczny i dostateczny
8. Rodzaje sprzeczności (wykluczanie, zaprzeczenie)
9. Tautologie zdaniowe, metoda tabelkowa pełna i skrócona
10. Prawdy analityczne, prawdziwość logiczna, wynikanie logiczne
11. Rodzaje nazw, denotacja i konotacja
12. Zbiór w sensie dystrybutywnym i kolektywnym
13. Sylogistyka, kwadrat logiczny
14. Rachunek zbiorów
15. Różne własności i rodzaje relacji
16. Relacje równoważności, klasy abstrakcji
17. Podział logiczny, klasyfikacja
18. Kwantyfikatory, predykaty, rodzaje zmiennych
19. Rachunek kwantyfikatorów
20. Tautologie rachunku kwantyfikatorów
21. Definicje i ich rodzaje
22. Wnioskowanie dedukcyjne
23. Wnioskowanie mocne, dobra argumentacja
24. Poprawianie argumentacji
25. Wnioskowanie statystyczne
26. Wnioskowanie redukcyjne
27. Indukcja, kanony Milla
28. Błędy logiczne
Rodzaj przedmiotu
Efekty kształcenia
Po ukończeniu przedmiotu student ma narzędzia do analizowania argumentacji, rozpoznawania logicznego wynikania, poprawiania argumentacji; zna rachunek zdań, ma podstawowe wiadomości o nazwach, rachunku predykatów, rachunku zbiorów i relacji; umie rozpoznawać najważniejsze błędy logiczne.
Kryteria oceniania
Na podstawie prac domowych (podobnych do omawianych na wykładzie) oraz testów pisemnych
Literatura
-K. Szymanek, K. Wieczorek, A. Wójcik Sztuka argumentacji, 2003
-B. Stanosz Ćwiczenia z logiki, wiele wydań
-K. Wieczorek Wprowadzenie do logiki 2005
-T. Hołówka Kultura logiczna w przykładach 2005
-S. Lewandowski, H. Machiń¬ska, A. Malinowski, J. Petzel Logika dla prawników, 2002
-M. Omyła Zarys logiki 1995
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: