3784498174

3.    Definicje, rodzaje definicji ze względu na ich zadania oraz na ich budowę, warunki poprawności definicji.

4.    Podział logiczny - pojęcie i warunki poprawności podziału logicznego, klasyfikacja, wyróżnianie typów a podział logiczny.

5.    Pojęcie zdania w sensie logicznym, wartość logiczna zdania, funkcje zdaniowe.

6.    Funktory prawdziwościowe a spójniki międzyzdaniowe mowy potocznej - pojęcie funktora prawdziwościowego, negacja, koniunkcja, alternatywa, alternatywa rozłączna, dysjunkcja, binegacja, implikacja i równoważność.

7.    Prawa rachunku zdań i metody ich dowodzenia- metoda zero - jedynkowa, metoda skrócona zero - jedynkowa. Sprawdzanie, czy jakaś forma zdaniowa jest tautologią.

8.    Kolokwium.

9.    Relacje - zdania stwierdzające relację, rodzaje relacji.

10.    Pytania i odpowiedzi - charakter wypowiedzi pytających, sposób stawiania pytań, rodzaje odpowiedzi.

11.    Uzasadnianie twierdzeń - sposoby uzasadniania.

12.    Wnioskowania dedukcyjne i jego podstawy logiczne, błędy we wnioskowaniach dedukcyjnych - budowanie schematów wnioskowań i sprawdzanie, czy jest ono dedukcyjne.

13.    Wnioskowania uprawdopodobniające.

14.    Elementy rachunku predykatów.

15.    Kolokwium._

11. Forma zaliczenia

Egzamin

Egzamin końcowy w formie pisemnej oceniany punktowo z możliwością ustnej poprawki. Próg zaliczeniowy z ćwiczeń i wykładu wynosi co najmniej 50 %.

Ćwiczenia zaliczane na podstawie sumarycznej punktacji dwóch kolokwiów pisanych w trakcie semestru.

12. Literatura podstawowa

1.    S. Lewandowski, H. Machińska, A. Malinowski, J. Petrel: Logika dla prawników. Wydawnictwo prawnicze LexisNexis Warszawa 2005.

2.    Z. Ziembiński: Logika praktyczna. PWN Warszawa 2006._

13. Literatura uzupełniająca.

1. B. Stanosz: Ćwiczenia z logiki. PWN Warszawa 1998.

14