| Zawartość | Nr strony |
|---|
| | |
| ROZDZIAŁ I. Zagadnienia wstępne | 9 |
| | |
| ROZDZIAŁ II. Znak, język, kategorie syntaktyczne | 22 |
| 1. Znak | 22 |
| 2. Pojęcie języka | 25 |
| 3. Kategorie syntaktyczne | 30 |
| | |
| ROZDZIAŁ III. Nazwa, podziały nazw i stosunki zakresowe | 40 |
| 1. Nazwa | 40 |
| 2. Podziały nazw | 42 |
| Nazwy proste i złożone | 42 |
| Nazwy indywidualne i generalne | 42 |
| Nazwy ogólne, jednostkowe i puste | 44 |
| Nazwy konkretne i abstrakcyjne | 46 |
| 3. Treść nazwy | 47 |
| 4. Zakres nazwy | 50 |
| 5. Terminy języka prawnego | 53 |
| 6. Stosunki zakresowe nazw | 55 |
| | |
| ROZDZIAŁ IV. Definicje | 58 |
| 1. Pojęcie definicji | 58 |
| 2. Rodzaje definicji | 59 |
| Definicje nominalne i realne | 59 |
| Definicje sprawozdawcze i projektujące | 60 |
| Definicje równościowe i nierównościowe | 62 |
| 3. Błędy w definiowaniu | 66 |
| 4. Definicje w prawie | 68 |
| | |
| ROZDZIAŁ V. Rachunek zdań | 71 |
| 1. Funkcja zdaniowa | 71 |
| 2. Funktory nieprawdziwościowe i prawdziwościowe | 73 |
| 3. Funktory prawdziwościowe jednoargumentowe | 74 |
| Asercja | 74 |
| Negacja | 75 |
| 4. Funktory prawdziwościowe dwuargumentowe | 76 |
| Koniunkcja | 76 |
| Związki alternatywy | 78 |
| Alternatywa zwykła | 79 |
| Alternatywa rozłączna | 79 |
| Dysjunkcja | 80 |
| Binegacja | 81 |
| Implikacja | 82 |
| Równoważność | 84 |
| 5. Funktory prawdziwościowe trój- i więcejargumentowe | 85 |
| 6. Funkcja logiczna | 86 |
| 7. Metody badania funkcji logicznych | 88 |
| Metoda sprawdzań zero-jedynkowych | 88 |
| Metoda oparta na dowodzeniu niewprost | 89 |
| Metoda dowodów założeniowych | 92 |
| Istota rachunków aksjomatycznych | 96 |
| 8. Prawa logiczne | 100 |
| | |
| ROZDZIAŁ VI. Elementy rachunku predykatów | 108 |
| 1. Podstawowe pojęcia | 108 |
| 2. Rachunek predykatów | 112 |
| 3. Wyrażenia języka naturalnego i ich odpowiedniki w postaci formuł rachunku predykatów | 114 |
| 4. Niektóre prawa rachunku predykatów | 117 |
| | |
| ROZDZIAŁ VII. Teoria nazw | 121 |
| 1. Ogólna charakterystyka zdań kategorycznych | 121 |
| 2. Zdania kategoryczne poprzedzone słowem „tylko” | 124 |
| 3. Zależności między zdaniami kategorycznymi | 126 |
| 4. Przekształcenia zdań kategorycznych | 129 |
| Konwersja | 129 |
| Obwersja | 130 |
| Kontrapozycja | 131 |
| Inwersja | 132 |
| 5. Sylogizm kategoryczny | 133 |
| 6. Figury sylogistyczne | 134 |
| 7. Zasady poprawności trybu sylogistycznego | 137 |
| 8. Błąd formalny i materialny | 144 |
| | |
| ROZDZIAŁ VIII. Elementy teorii relacji | 146 |
| 1. Podstawowe pojęcia teorii relacji | 146 |
| 2. Elementy relacji. Konwers relacji | 146 |
| 3. Stosunki między dziedziną a przeciwdziedziną relacji | 148 |
| 4. Przyporządkowania w relacjach | 149 |
| 5. Cechy relacji | 151 |
| Symetryczność | 151 |
| Zwrotność | 152 |
| Tranzytywność | 153 |
| Spójność | 154 |
| 6. Relacje szczególnego typu: relacja porządkująca, relacja równościowa | 155 |
| Relacja porządkująca | 155 |
| Relacja równościowa | 156 |
| 7. Stosunki zakresowe jako relacje | 156 |
| 8. Relacje pomiędzy argumentami funktorów prawdziwościowych | 158 |
| 9. Podział logiczny i klasyfikacja | 161 |
| 10. Partycja | 166 |
| 11. Typologia | 167 |
| | |
| ROZDZIAŁ IX. Uzasadnianie twierdzeń | 169 |
| 1. Uzasadnianie bezpośrednie i pośrednie | 169 |
| 2. Implikacja, wynikanie, wnioskowanie | 173 |
| Implikacja | 173 |
| Wynikanie | 174 |
| Wnioskowanie | 176 |
| 3. Podział wnioskowań | 179 |
| 4. Wnioskowania niezawodne | 180 |
| Wnioskowania dedukcyjne | 180 |
| Indukcja enumeracyjna zupełna | 181 |
| Sprawdzanie negatywne | 183 |
| 5. Wnioskowania zawodne | 183 |
| Tłumaczenie | 183 |
| Sprawdzanie pozytywne | 185 |
| Indukcja enumeracyjna niezupełna | 185 |
| Wnioskowanie statystyczne | 187 |
| Wnioskowanie przez analogię | 189 |
| Indukcja eliminacyjna | 191 |
| 6. Inne podziały wnioskowań | 195 |
| 7. Błędy we wnioskowaniach | 196 |
| | |
| ROZDZIAŁ X. Przekazywanie myśli | 199 |
| 1. Pytania i odpowiedzi | 199 |
| 2. Perswazja i dyskusja | 204 |
| 3. Błędy w przekazywaniu myśli | 207 |
| | |
| ROZDZIAŁ XI. Wypowiedzi oceniające, normatywne i modalne | 210 |
| 1. Wypowiedzi oceniające | 210 |
| 2. Normy postępowania | 213 |
| 3. Wypowiedzi modalne | 217 |
| 4. Interpretacja logiczna wypowiedzi modalnych | 220 |
| 5. Interpretacja tetyczna wypowiedzi modalnych | 223 |
| | |
| ROZDZIAŁ XII. Logika w procesie tworzenia i stosowania prawa | 232 |
| 1. Proces tworzenia prawa | 232 |
| 2. Technika prawodawcza | 235 |
| 3. Struktura procesu stosowania prawa | 241 |
| 4. Ustalenia dotyczące faktów i dotyczące norm | 244 |
| 5. Subsumpcja i podjęcie decyzji | 247 |
| 6. Luzy w procesie stosowania prawa | 248 |
| | |
| ROZDZIAŁ XIII. Logika w wykładni prawa i wnioskowania prawnicze | 250 |
| 1. Istota wykładni | 250 |
| 2. Teorie wykładni prawa | 252 |
| 3. Dyrektywy wykładni | 253 |
| 4. Niezgodności norm i reguły kolizyjne | 258 |
| 5. Wnioskowania prawnicze | 260 |
| Instrumentalne wynikanie norm z norm | 260 |
| Argumentum a simili | 262 |
| Argumentum a contrario | 264 |
| Argumentum a fortiori | 266 |
| | |
| Aneks. Zbiór pytań kontrolnych | 268 |
| Indeks rzeczowy | 317 |