Logika prawnicza 1300-LOG_PR-N1

Wykład rozpoczyna wprowadzenie na temat mowy, języka i podstawowych kategorii syntaktycznych, stanowiących punkt wyjścia do rozwinięcia głównie kategorii nazw, takimi jak m.in. abstrakcyjność-konkretność, ostrość-nieostrość, desygnat, stosunki między ich zakresami. Kolejnym tematem wykładu są definicje – ich budowa, rodzaje, jak również warunki poprawności definicji i najważniejsze błędy w definiowaniu ze szczególną koncentracją na podstawach i formach definiowania dokonywanych przez twórcę prawa. Następnie omawiane są podstawowe zagadnienia dotyczące relacji, w tym również własności relacji, a także problematyka relacji złożonych, relacje porządkujące i równościowe. W dalszej części przybliżane są kwestie związane z podziałem logicznym i warunkami jego poprawności w kontekście metodologii nauki prawa. Kolejna grupa zagadnień, do których przechodzi wykład związana jest ze zdaniem – omawiane jest samo pojęcie zdania, struktura, wartość logiczna, następnie zaś omawiane są funktory prawdziwościowe i zagadnienia związane z rachunkiem zdań. Ostatnia część wykładu poświęcona jest problematyce uzasadniania twierdzeń.