Elementy logiki dla prawników
Podręcznik stanowiący podstawę kursu logiki prawniczej, łączący
problematykę semiotyczno-metodologiczną z zagadnieniami logiki formalnej.
Zawiera spory zakres materiału, który jest podany w sposób możliwie najprostszy i
zorientowany praktycznie.
Kurs logiki ma na celu kształcenie tak zwanych sprawności logicznych, dlatego w
podręczniku znalazła się duża liczba przykładów, wyjaśniająca sposób
postępowania w obliczu pewnego typu trudności.
Spis treści
Wstęp
Rozdział 1. Elementy semiotyki logicznej
1.1. Działy semiotyki logicznej
1.2. Znak
1.3. Język
1.3.1. Pragmatyczne aspekty komunikacji językowej (Implikatura konwersacyjna)
1.3.2. Język prawny a język prawniczy P
Ćwiczenia
1.4. Kategorie składniowe (syntaktyczne) wyrażeń
1.4.1. Wyrażenia zdaniowe
1.4.2. Wyrażenia nazwowe
1.4.3. Funktory
1.4.4. Operatory
Ćwiczenia
1.5. Nazwy
Ćwiczenia
1.5.1. Stosunki między zakresami nazw
Ćwiczenia
1.5.2. Podziały
Ćwiczenia
1.5.3. Operacje na treściach nazw
Ćwiczenia
1.6. Zdania
1.6.1. Zdania złożone
1.6.2. Modalności
1.6.3. Normy prawne P
Ćwiczenia
1.7. Błędy związane ze słownym wyrażaniem myśli
Ćwiczenia
1.8. Definicje
1.8.1. Definicje realne i nominalne
1.8.2. Rodzaje definicji werbalnych
1.8.3. Warunki poprawności definicji i podstawowe błędy definiowania
1.8.4. Metody urabiania definicji sprawozdawczych
1.8.5. Czynności zastępujące definicję
1.8.6. Definicje w prawie P
Ćwiczenia
Rozdział 2. Elementy metodologii nauki
2.1. Przekonania a typy wiedzy ludzkiej
2.1.1. Typy wiedzy ludzkiej
2.1.2. Typologie nauk
2.1.3. Typy nauk prawnych P
2.1.4. Przekonania i przypuszczenia
2.2. Pytania
Ćwiczenia
2.3. Rozumowania
2.3.1. Niezawodność wnioskowań
Ćwiczenia
2.3.2. Rozumowania złożone
Ćwiczenia
2.3.3. Postępowanie dowodowe w prawie P
2.3.4. Podstawowe rodzaje wykładni prawa P
2.3.5. Argumenty logiki prawniczej P
2.3.6. Błędy rozumowań
Ćwiczenia
2.4. Warunki poprawności dyskusji
Rozdział 3. Elementy logiki formalnej
3.1. Wybrane pojęcia metalogiczne
3.1.1. Wynikanie norm P
3.2. Zerojedynkowe ujęcie rachunku zdań
3.2.1. Skrócone sprawdzanie 0-1
3.2.2. Wzajemne zastępowanie funktorów
Ćwiczenia
3.3. Założeniowe ujęcie klasycznego rachunku zdań
3.3.1. Reguły tworzenia dowodów założeniowych
3.3.2. Pierwotne reguły dołączania nowych wierszy do dowodu
3.3.3. Wybrane prawa klasycznego rachunku zdań
Ćwiczenia
3.4. Aksjomatyczne ujęcie klasycznego rachunku zdań. Podstawowe pojęcia dotyczące
własności systemów dedukcyjnych
3.4.1. System aksjomatyczny klasycznego rachunku zdań
3.4.2. Pojęcie dowodu w logice
3.4.3. Formalne cechy systemu prawa P
Ćwiczenia
3.5. Teoria zdań kategorycznych
3.5.1. Prawa wnioskowania bezpośredniego
Ćwiczenia
3.5.2. Sylogistyka zdań kategorycznych
3.5.3. Teoria zdań kategorycznych a założenia egzystencjalne
3.5.4. Zastosowanie teorii zdań kategorycznych
3.5.5. Sylogizm prawniczy P
Ćwiczenia
3.6. Węższy rachunek predykatów
3.6.1. Język węższego rachunku predykatów
3.6.2. Założeniowe ujęcie węższego rachunku predykatów
3.6.3. Metoda sprawdzania niektórych wyrażeń rachunku predykatów za pomocą diagramów
Venna
3.6.4. Dokonywanie przekładu wyrażeń języka naturalnego na język węższego rachunku
predykatów
3.6.5. Wybrane prawa węższego rachunku predykatów
Ćwiczenia
3.7. Wybrane pojęcia teorii zbiorów i relacji
3.7.1. Pojęcie zbioru, działania na zbiorach i stosunki między zbiorami
3.7.2. Pojęcie relacji i niektóre własności relacji
Ćwiczenia
3.8. Logiki nieklasyczne
3.8.1. Aletyczna logika modalna
3.8.2. Logika deontyczna
Ćwiczenia
Odpowiedzi do niektórych ćwiczeń
Literatura
Skorowidz
266 stron, B5, oprawa miękka
