Kurs z Logiki

Celem kursu jest zapoznanie kursantów z elementami współczesnej logiki prawniczej (filozoficznej) głównie pod kątem egzaminów końcowych oraz przekazanie wiedzy w zakresie poprawnego formułowania i przekazywania myśli oraz wnioskowania i definiowania.

W ramach kursu z logiki zostaną omówione następujące działy:

1. Klasyczny rachunek zdań (KRZ) (5h)

• Tautologia logiczna i metody sprawdzania prawdziwości formuł zdaniowych,
• Formalizacja oraz analiza struktury logicznej wypowiedzi,
• Wynikanie logiczne oraz analiza logiczna układów zdań,
• Dowodzenie założeniowe wprost i niewprost,

2. Teoria nazw (2h)

• Klasyfikacja nazw,
• Stosunki zakresowe między nazwami (zamienność, podrzędność, nadrzędność, krzyżowanie się, rozłączność),

3. Sylogistyka (LA) (5h)

• Podstawowe pojęcia oraz formacjaliza wypowiedzi do LA,
• Kwadrat logiczny oraz prawa konwersji, obwersji i konrapozycji,
• Rozumowania sylogistyczne: metody badań poprawności,
• Analiza układów zdań w LA pod kątem wewnętrznej (nie)sprzeczności,

4. Definicje (4h)

• Rodzaje definicji (równościowe i uwikłane, nominalne i realne, sprawozdawcze i projektujące, bezwarunkowe i warunkowe),
• Błędy w definicjach (równościowych i sprawozdawczych),
• Operacjonalizacje terminów teoretycznych,

5. Teoria relacji (4h)

• Pojęcie relacji,
• Formalne własności relacji prostych oraz złożonych (zwrotność, symetryczność, przechodniość, równoważność, spójność itp.)