O kursie

W ramach projektu „Język prawa przyjazny obywatelowi” Stowarzyszenie CALG zrealizowało pilotażowy kurs logiki dla prawników w aspekcie praktycznym, ze szczególnym uwzględnieniem kwestii językowych. Kurs został przeprowadzony w roku akademickim 2021/2022 i obejmuje 15 spotkań zrealizowanych w cyklu tygodniowym.

Kurs miał charakter otwarty. Grupę docelową stanowili pracownicy administracji publicznej, studenci polskich wydziałów prawa i administracji oraz obywatele zainteresowani problematyką prostego języka prawnego – w szczególności osoby, które doświadczyły trudności wynikających z niejasnego i hermetycznego języka decyzji administracyjnych oraz orzeczeń sądowych.

Celem kursu było wyposażenie uczestników w praktyczne narzędzia logiki formalnej, umożliwiające precyzyjną analizę i redagowanie tekstów prawnych, identyfikowanie błędów argumentacyjnych, a także lepsze rozumienie języka stosowanego przez organy władzy publicznej. Podsumowanie każdego zajęcia zostało lub zostanie umieszczone na stronie internetowej Stowarzyszenia.

18.10.2021
Zajęcia 1
Zajęcia wstępne, zakres kursu, podstawy logiki klasycznej dla rachunku zdań

Pierwsze zajęcia kursu miały w znacznej mierze charakter organizacyjny: omówiono cele
i strukturę całego cyklu, przedstawiono grupę docelową oraz zakres tematyczny poszczególnych spotkań. Uczestnicy zapoznali się z zasadami prowadzenia zajęć oraz materiałami pomocniczymi.

W merytorycznej części spotkania prowadzący wprowadził słuchaczy w podstawy logiki klasycznej, skupiając się na rachunku zdań jako fundamencie analizy logicznej. Wyjaśnił, że logika klasyczna opiera się na zasadzie dwuwartościowości: każde zdanie logiczne jest albo prawdziwe, albo fałszywe, bez stanów pośrednich. Jest to założenie o kluczowym znaczeniu dla analizy tekstów prawnych i administracyjnych.

Zaprezentowane zostały podstawowe operatory logiczne: koniunkcja (AND, symbol: ∧), alternatywa (OR, symbol: ∨), negacja (NOT, symbol: ¬) oraz implikacja (IF…THEN, symbol: →). Każdy z operatorów zilustrowano przykładami zaczerpniętymi z języka prawniczego i administracyjnego. Przykładowo, zdanie „Jeśli wniosek jest kompletny, to zostanie rozpatrzony” może być zapisane jako K → R, gdzie K oznacza kompletność wniosku, a R oznacza jego rozpatrzenie.

Zwrócono uwagę, że znajomość rachunku zdań pozwala prawnikom i urzędnikom na precyzyjną analizę struktur zdaniowych przepisów prawa, identyfikowanie warunków koniecznych i wystarczających, a także wykrywanie sprzeczności lub luk w aktach normatywnych. Zajęcia stanowiły punkt wyjścia do dalszego zgłębiania zagadnień logiki formalnej w kontekście praktycznym.

25.10.2021
Zajęcia 2
Podstawy logiki klasycznej c.d., niedostatki logiki klasycznej zdań, wstęp do rachunku predykatów

Drugie zajęcia stanowiły kontynuację wprowadzenia do podstaw logiki klasycznej. Prowadzący omówił szczegółowo reguły wnioskowania stosowane w rachunku zdań, przede wszystkim modus ponens (jeśli p→q oraz p, to q) i modus tollens (jeśli p→q oraz ¬q, to ¬p), a także rozumowanie przez sprzeczność (reductio ad absurdum). Na konkretnych przykładach prawniczych pokazano, w jaki sposób reguły te pozwalają weryfikować poprawność argumentacji procesowej oraz strukturę uzasadnień orzeczeń sądowych.

Następnie wskazano na ograniczenia i niedostatki klasycznego rachunku zdań w kontekście analizy języka prawniczego. Rachunek zdań traktuje zdania jako niepodzielne jednostki logiczne, co uniemożliwia analizę wewnętrznej struktury zdań złożonych oraz relacji między obiektami i ich własnościami. Przykładowo, nie pozwala on formalnie wyrazić zdania „Każdy obywatel ma prawo do sądu” jako ogólnego twierdzenia o wszystkich obywatelach.

Jako naturalne rozszerzenie rachunku zdań omówiono rachunek predykatów (logikę pierwszego rzędu). W przeciwieństwie do rachunku zdań, rachunek predykatów skupia się na opisie relacji
i cech obiektów za pomocą predykatów, czyli funkcji logicznych przypisujących określone właściwości lub relacje do obiektów. Umożliwia to bardziej precyzyjne formułowanie twierdzeń dotyczących podmiotów prawnych, ich kompetencji, praw i obowiązków.

Zajęcia zakończyła dyskusja o praktycznym znaczeniu obu systemów logicznych w pracy prawnika, a w szczególności w kontekście redagowania i interpretacji przepisów prawa administracyjnego oraz analizy treści decyzji administracyjnych.

8.11.2021
Zajęcia 3
Rachunek predykatów, wstęp do kwantyfikacji

Zajęcia poświęcone były pogłębieniu wiedzy na temat rachunku predykatów oraz wprowadzeniu do zagadnienia kwantyfikacji. Prowadzący wyjaśnił, że rachunek predykatów operuje na poziomie obiektów i ich właściwości, a nie tylko na poziomie całych zdań. W rachunku tym wyróżnia się: stałe indywiduowe (oznaczające konkretne obiekty), zmienne indywiduowe (reprezentujące nieokreślone obiekty), predykaty (opisujące właściwości lub relacje) oraz kwantyfikatory.

Rachunek predykatów wykorzystuje dwa podstawowe kwantyfikatory. Kwantyfikator ogólny (∀, czytany: „dla każdego”) wyraża, że dany predykat zachodzi dla wszystkich elementów z określonej dziedziny. Kwantyfikator egzystencjalny (∃, czytany: „istnieje”) wyraża, że istnieje co najmniej jeden element, dla którego predykat jest spełniony. Przykład zastosowania w prawie: zdanie „Każda strona postępowania ma prawo do bycia wysłuchaną” zapisuje się jako ∀x(Strona(x) → MaPrawoDoWysłuchania(x)).

Kwantyfikacja jest kluczowym elementem precyzyjnego formułowania norm prawnych i sądowych. Umożliwia odróżnienie twierdzeń ogólnych (dotyczących wszystkich podmiotów danej kategorii) od twierdzeń egzystencjalnych (dotyczących co najmniej jednego podmiotu). Błędne użycie kwantyfikatorów w tekście prawnym może prowadzić do poważnych niejednoznaczności interpretacyjnych.

Na zajęciach omówiono praktyczne przykłady z aktów normatywnych i orzeczeń sądowych, ilustrując, w jaki sposób formalna analiza predykatów i kwantyfikatorów pomaga uniknąć błędów wykładni. Uczestnicy samodzielnie przekształcali wybrane przepisy na język rachunku predykatów.

Przykładowo, w zdaniu „Dla każdego studenta istnieje przedmiot, który lubi”, kwantyfikacja może być użyta w ten sposób: ∀x∃y(Student(x)→Lubi(x,y)), gdzie x oznacza każdego studenta, a y oznacza przedmiot, który student lubi.

15.11.2021
Zajęcia 4
Kwantyfikacja w języku naturalnym a w logice

Czwarte zajęcia skoncentrowane były na porównaniu kwantyfikacji w języku naturalnym i w logice formalnej, ze szczególnym uwzględnieniem konsekwencji, jakie różnice między tymi systemami niosą dla interpretacji tekstów prawnych.

W języku naturalnym kwantyfikacja jest wyrażana za pomocą różnorodnych środków gramatycznych i leksykalnych: zaimków nieokreślonych („każdy”, „wszystko”, „nikt”, „coś”), przysłówków generalnych („zawsze”, „nigdy”, „zazwyczaj”) oraz innych konstrukcji. Język naturalny jest z natury niejednorodny i podatny na wieloznaczność, te same wyrazy mogą wyrażać kwantyfikację ogólną lub przybliżoną w zależności od kontekstu. Przykładowo, zdanie „Wszyscy studenci zaliczyli egzamin” może oznaczać zarówno dosłownie każdego studenta, jak i być kolokwialnym przybliżeniem.

W logice formalnej kwantyfikacja jest ścisła i jednoznaczna. Kwantyfikator ogólny (∀) oznacza dosłownie każdy element danej dziedziny, a kwantyfikator egzystencjalny (∃) oznacza co najmniej jeden. Nie istnieje przestrzeń na domysły ani kontekstową elastyczność. Ta precyzja jest jednocześnie zaletą i ograniczeniem: narzuca dyscyplinę interpretacyjną, lecz wymaga ostrożnego tłumaczenia wyrażeń języka naturalnego na język formalny. Kwantyfikatory, takie jak kwantyfikator ogólny (∀) i egzystencjalny (∃), są używane w celu opisu zakresu, w jakim pewne predykaty są spełnione. Na przykład, w logice można formalnie wyrazić zdanie „Dla każdego studenta istnieje przedmiot, który lubi” za pomocą kwantyfikacji: ∀x∃y(Student(x)→Lubi(x,y)).

Omówiono typowe pułapki kwantyfikacyjne w tekstach prawnych: niejednoznaczne użycie słowa „każdy” w przepisach (czy obejmuje wyjątki?), kolizję między kwantyfikatorem ogólnym a normą szczególną, a także błędy wynikające z pominięcia zakresu kwantyfikacji. Zajęcia były bogate w przykłady z orzecznictwa i administracyjnych uzasadnień decyzji, które ilustrowały, jak rozbieżności między intuicją językową a logiczną precyzją prowadzą do sporów interpretacyjnych.

22.11.2021
Zajęcia 5
Kwantyfikacja na sytuacjach, niedostatki kwantyfikacji klasycznej, wstęp do modalności

Zajęcia piąte rozszerzyły perspektywę analizy kwantyfikacyjnej o tzw. kwantyfikację na sytuacjach, a następnie przeprowadziły uczestników przez ograniczenia klasycznego podejścia do kwantyfikacji, otwierając drogę do logiki modalnej.

Kwantyfikacja na sytuacjach (znana również jako kwantyfikacja adwerbialna) dotyczy wyrażeń, w których kwantyfikuje się nie nad obiektami, lecz nad sytuacjami, zdarzeniami lub okolicznościami. Tego rodzaju kwantyfikacja pojawia się w przepisach, które opisują zachowania obowiązujące lub dopuszczalne w określonych sytuacjach.

Następnie omówiono kluczowe ograniczenia klasycznej kwantyfikacji: brak uwzględnienia kontekstu, trudności w operowaniu na zbiorach nieskończonych, niemożność wyrażenia stopniowalności oraz nieprzystosowanie do opisu wyrażeń modalnych. Szczególną uwagę zwrócono na paradoks Russella oraz inne paradoksy samoreferencyjne, które ujawniają granice klasycznych systemów logicznych.

Kwantyfikacja klasyczna, chociaż jest kluczowym narzędziem w logice, ma również swoje niedoskonałości i ograniczenia, które mogą być krytykowane lub uwzględniane przy analizie złożonych struktur logicznych. Poniżej kilka z tych niedoskonałości:

Brak uwzględnienia kontekstu: Kwantyfikacja klasyczna często operuje na zasadzie absolutnej prawdziwości lub fałszywości, pomijając kontekst, w którym zdanie jest używane. W rzeczywistości, wiele twierdzeń może być prawdziwych lub fałszywych tylko w określonych sytuacjach lub kontekstach, co nie jest uwzględniane w podejściu klasycznym. Kwantyfikacja klasyczna ponadto może napotykać trudności w pracy z nieskończonymi zbiorami lub kwantyfikatorami.

Niedoskonałości w analizie wyrażeń modalnych: Kwantyfikacja klasyczna nie uwzględnia wyrażeń modalnych, takich jak „możliwe”, „konieczne” czy „prawdopodobne”, które są istotne w filozofii, logice modalnej. Te dodatkowe aspekty wymagają bardziej zaawansowanych struktur logicznych, które nie są łatwo wyrażone w ramach klasycznej kwantyfikacji. Ponadto kwantyfikacja klasyczna nie jest zawsze elastyczna w kontekście nielojalności, czyli sytuacji, gdy nie wszystkie elementy w zbiorze zachowują się zgodnie z danym predykatem. W takich sytuacjach tradycyjne reguły kwantyfikacji mogą prowadzić do wnioskowań, które nie odzwierciedlają rzeczywistości.

Kwantyfikacja klasyczna ponadto czasami napotyka na paradoksy, takie jak paradoks Russella, który wyłania się w kontekście samoreferencyjnych zdań lub zbiorów. Te paradoksy mogą zakłócić tradycyjne zasady kwantyfikacji, prowadząc do sprzeczności lub niejednoznaczności.

W drugiej części zajęć prowadzący wprowadził pojęcie modalności jako logicznego narzędzia opisującego konieczność i możliwość. W logice klasycznej istnieją jedynie cztery ekstensjonalne jednoargumentowe funktory (identyczność, negacja, funktor prawdy dla wszystkich wyrażeń, funktor fałszu), podczas gdy logika modalna wprowadza funktory nieekstensjonalne, umożliwiając opis takich kategorii jak „możliwe, że”, „konieczne, że” czy „niemożliwe, że”. Stanowi to punkt wyjścia do analizy norm prawnych zawierających wyrażenia obowiązkowe, dozwolone i zakazane.

29.11.2021
Zajęcia 6
Typy modalności i jej cechy szczególne, odmienny typ kwantyfikacji i jej konsekwencje semantyczne

Szóste zajęcia poświęcono szczegółowej klasyfikacji typów modalności ze szczególnym uwzględnieniem ich zastosowania w języku prawniczym i administracyjnym.

Wyróżniono następujące podstawowe typy modalności:

• Modalność epistemiczna – dotyczy wiedzy, przekonań i stopnia pewności mówiącego co do prawdziwości danej treści. Wyrażana jest przez operatory takie jak „musi”, „pewnie”, „prawdopodobnie”, „może”, „chyba”. Przykład zdania: „On musi być w domu.” – Wyraża pewność co do obecności danej osoby w domu.
• Modalność deontyczna – związana z wyrażaniem nakazów, zakazów, uprawnień i obowiązków. Centralna dla języka normatywnego. Wyrażana przez „musi”, „może”, „należy”, „jest zobowiązany”, „jest uprawniony”. Przykład: „ Organy administracji publicznej obowiązane są załatwiać sprawy bez zbędnej zwłoki.”
• Modalność dynamiczna – opisuje zdolność, możliwość fizyczną lub umiejętność wykonania czynności. Wyrażana przez „może”, „potrafi”, „jest w stanie”. Przykład zdania: „Ona może pływać.” – Wyraża zdolność danej osoby do pływania. Związana jest z wnioskowaniem lub dedukcją.
• Modalność epistemiczna dedukcyjna – związana z wnioskowaniem lub dedukcją na podstawie dostępnych przesłanek. Wyrażana przez „musi być”, „na pewno”, „bez wątpienia”. Przykład: „Za oknem pada deszcz, więc musi być mokro.” – Wyraża wniosek na podstawie obserwacji.

Omówiono konsekwencje semantyczne odmiennych typów kwantyfikacji w połączeniu z modalnością: ten sam wyraz modalny (np. „może”) może pełnić funkcję epistemiczną lub deontyczną w zależności od kontekstu, co rodzi poważne ryzyko błędów interpretacyjnych. Uczestnicy przeanalizowali autentyczne przykłady przepisów, w których wieloznaczność modalna doprowadziła do rozbieżności orzeczniczych.

6.12.2021
Zajęcia 7
Rachunek modalny, negacja zdań modalnych, stopniowalność modalności

Siódme zajęcia poświęcono praktycznemu wymiarowi rachunku modalnego, czyli narzędzia logicznego pozwalającego opisywać i analizować wyrażenia takie jak „musi”, „może”, „jest konieczne”, „jest możliwe”, powszechnie występujące w tekstach prawnych i administracyjnych. Punktem wyjścia było przedstawienie dwóch podstawowych operatorów modalnych: konieczności (□) i możliwości (◇), ze szczególnym naciskiem na ich językowe realizacje w polskich aktach normatywnych i orzecznictwie.

Kluczową część zajęć stanowiła analiza negacji zdań modalnych. W języku prawnym negacja wyrażeń modalnych jest źródłem częstych błędów redakcyjnych i interpretacyjnych. Omówiono dualność operatorów (¬□p ↔ ◇¬p oraz ¬◇p ↔ □¬p) i jej językowe konsekwencje: zaprzeczenie obowiązku to nie zakaz, lecz brak obowiązku; zaprzeczenie zakazu to nie nakaz, lecz zezwolenie. Na przykładach z Kodeksu postępowania administracyjnego i ustaw materialnych pokazano, jak pominięcie tej asymetrii prowadzi do wadliwej wykładni lub błędów legislacyjnych.

Drugą część zajęć poświęcono stopniowalności wyrażeń modalnych w języku naturalnym. Wyrażenia takie jak „możliwe”, „prawdopodobne”, „niemal pewne” czy „konieczne” tworzą kontinuum natężenia, a nie dychotomię. Ma to bezpośrednie przełożenie na język uzasadnień sądowych, w których sędzia musi precyzyjnie oddać stopień swojej pewności co do ustaleń faktycznych, oraz na standardy ciężaru dowodu, od „uprawdopodobnienia” przez „należytą staranność” aż po „pewność ponad wszelką uzasadnioną wątpliwość”. Uczestnicy analizowali autentyczne fragmenty uzasadnień orzeczeń pod kątem spójności i precyzji użytych wyrażeń modalnych.

13.12.2021
Zajęcia 8
Modalność a problem zakresu; wstęp do problematyki de re i de dicto

Ósme zajęcia poświęcono zagadnieniu zakresu operatorów modalnych w zdaniach złożonych oraz wprowadzeniu do klasycznego rozróżnienia semantycznego między odczytaniem de re a de dicto.

Problem zakresu (scope) polega na tym, że w zdaniach zawierających zarówno kwantyfikatory, jak i operatory modalne, wynik interpretacji zależy od kolejności i zasięgu tych operatorów. Zmiana kolejności może diametralnie zmienić sens zdania.

Rozróżnienie de re / de dicto jest jednym z fundamentalnych narzędzi analizy semantycznej w logice i filozofii języka. Odczytanie de re (łac. „o rzeczy”) odnosi się do konkretnego obiektu lub bytu: orzeka się o tym, że dany indywidualny obiekt posiada pewną właściwość w sposób istotny lub przygodny.

Odczytanie de dicto (łac. „o powiedzianym”) odnosi się do treści zdania lub pojęcia, niezależnie od tego, który konkretny obiekt je spełnia.

Rozróżnienie to ma bezpośrednie implikacje praktyczne w wykładni przepisów prawa: wiele sporów interpretacyjnych wynika z niezidentyfikowanego przesunięcia między odczytaniem de re a de dicto.

20.12.2021
Zajęcia 9
Modalność w odczytach de re i de dicto, metody manipulacji i obrony

Dziewiąte zajęcia kontynuowały i pogłębiały problematykę modalności w odczytaniach de re i de dicto, a następnie skupiły się na praktycznych metodach identyfikowania i przeciwdziałania błędom lub manipulacjom wynikającym z niejednoznaczności modalnej.

Prowadzący wyjaśnił, że w zdaniach modalnych odczytanie de dicto lokuje operator modalny ponad całą treścią propozycjonalną zdania: „Możliwe jest, że Sokrates biega” (◇Biega(Sokrates)) oznacza, że prawdziwe jest zdanie Biega(Sokrates) w pewnym możliwym świecie. Odczytanie de re natomiast przypisuje modalność bezpośrednio podmiotowi: „Sokrates może biegać”, modalność jest tu właściwością samego Sokratesa, nie zdania o nim.

Omówiono metody manipulacji argumentacyjnej polegające na celowym przełączaniu między odczytaniami de re i de dicto w celu wywołania fałszywych wniosków lub ukrycia braku logicznej spójności wywodu. W odpowiedzi przedstawiono techniki obrony: jednoznaczne formułowanie zakresu modalności, stosowanie parafraz sprawdzających i testów konsekwencji semantycznej. Uczestnicy ćwiczyli identyfikowanie tego rodzaju przesunięć w autentycznych fragmentach pism procesowych i decyzji administracyjnych.

3.01.2022
Zajęcia 10
Podział na plany treści: główna i poboczna; diagnostyka, metody testowania i ich rola w budowaniu linii argumentacyjnej

Dziesiąte zajęcia otworzyły nowy blok tematyczny, poświęcony strukturze treści komunikatów językowych i jej znaczeniu dla budowania poprawnej linii argumentacyjnej. Wprowadzono pojęcie podziału na treść główną i treść poboczną.

Główny plan treści obejmuje to, co jest wprost twierdzono lub stwierdzano w wypowiedzi, jądro propozycjonalne zdania, które może być oceniane jako prawdziwe lub fałszywe, i które jest centralnym elementem argumentacji. W pismach prawniczych to właśnie treść główna podlega bezpośredniemu badaniu przez organ lub sąd. Główny plan treści obejmuje najważniejsze punkty, tezy lub argumenty, które stanowią trzon linii argumentacyjnej.

W głównym planie treści zawarte są główne założenia, tezy, twierdzenia lub wnioski, które autor chce przedstawić lub udowodnić. Poboczny plan treści natomiast zawiera dodatkowe informacje, szczegóły, przykłady, czy też argumenty wspierające główne tezy.

Poboczny plan treści to informacje przekazywane implicite: założenia niezbędne do sensowności wypowiedzi (presupozycje), wnioski wynikające z zasad konwersacyjnych (implikatury), a także insynuacje i sugestie, które technicznie nie zostają powiedziane wprost, lecz są komunikowane pośrednio. W praktyce prawniczej treść poboczna jest często źródłem sporów, strona może próbować przekazać sądowi korzystny dla siebie wniosek bez ponoszenia odpowiedzialności za jego dosłowne stwierdzenie.

Omówiono metody diagnostyki struktury treści: jak rozpoznać, co jest twierdzone wprost, a co jest zakładane lub sugerowane. Przedstawiono narzędzia testowania spójności argumentacyjnej, w tym analizę logiczną pod kątem sprzeczności, ocenę adekwatności i wiarygodności dostarczonych dowodów oraz weryfikację, czy poboczne elementy treści nie podważają tezy głównej.

Diagnoza treści polega na identyfikacji kluczowych elementów głównego i pobocznego planu treści oraz ich logicznych powiązań.

Metody testowania obejmują analizę logiczną argumentów, aby upewnić się, że są one konsekwentne i nie zawierają sprzeczności.

Wskazuje to na spójność i wiarygodność argumentacji. Metody testowania polegają również na ocenie i ewaluacji dostarczonych dowodów i przykładów, aby sprawdzić ich wiarygodność i adekwatność w kontekście przedstawionych tez.

10.01.2022
Zajęcia 11
Presupozycja jako część treści pobocznej, problem zasięgu presupozycji i jej odwołania

Jedenaste zajęcia skupiły się w całości na zagadnieniu presupozycji, jednym z kluczowych pojęć semantyki i pragmatyki językowej, o szczególnym znaczeniu dla analizy tekstów prawnych
i administracyjnych.

Presupozycja to treść, która jest zakładana jako prawdziwa zarówno przez nadawcę, jak i odbiorcę wypowiedzi, niezależnie od tego, czy zdanie główne jest twierdzące, przeczące, czy pytające. Klasyczny przykład: zdanie „Jan przestał pić alkohol” presupozycja że Jan pił alkohol wcześniej. Negacja: „Jan nie przestał pić alkohol” zachowuje tę samą presupozycję. W tekstach prawnych presupozycje mogą przemycać niekwestionowane założenia faktyczne lub prawne, które w rzeczywistości powinny podlegać udowodnieniu.

Omówiono problem zasięgu presupozycji w zdaniach złożonych: presupozycja zdania składowego może, ale nie musi, stawać się presupozycją całego zdania złożonego (zjawisko projection problem). Zrozumienie tego mechanizmu jest niezbędne do poprawnej analizy złożonych argumentacji prawniczych.

Kluczowym zagadnieniem zajęć było odwołanie presupozycji (cancellation): w pewnych kontekstach presupozycja może być jawnie zanegowana bez sprzeczności. Przykład: „Jan nie przestał pić, bo nigdy nie pił.” To narzędzie ma istotne zastosowanie w obronie przed manipulacją presupozycyjną w pismach procesowych i negocjacjach prawnych.

Uczestnicy przeanalizowali wybrane orzeczenia, w których strony lub sądy nieświadomie operowały niezidentyfikowanymi presupozycjami, a następnie ćwiczyli identyfikowanie i odwoływanie presupozycji w przygotowanych fragmentach tekstów prawnych.

17.01.2022
Zajęcia 12
Typy wynikania: implikacja materialna i logiczna a presupozycja; waga implikacji logicznej

Dwunaste zajęcia poświęcono analizie różnych typów wynikania, ze szczególnym uwzględnieniem implikacji materialnej i logicznej oraz ich relacji do presupozycji. Zagadnienia te mają bezpośrednie przełożenie na interpretację norm prawnych i ocenę argumentacji procesowej.

Implikacja materialna (→) jest najsłabszym formalnym związkiem między zdaniami: zdanie p→q jest fałszywe tylko wtedy, gdy p jest prawdziwe, a q jest fałszywe. W każdym innym przypadku, w tym gdy p jest fałszywe, implikacja materialna jest prawdziwa. Prowadzi to do tzw. paradoksów implikacji materialnej: z fałszywego zdania wynika wszystko. Omówiono, dlaczego posługiwanie się implikacją materialną jako narzędziem wykładni prawnej bywa mylące i jakie strategie minimalizują to ryzyko.

Implikacja logiczna (wynikanie logiczne) jest relacją ściślejszą: p logicznie implikuje q wtedy i tylko wtedy, gdy nie jest możliwe, by p było prawdziwe, a q fałszywe, czyli gdy prawdziwość p gwarantuje prawdziwość q we wszystkich możliwych interpretacjach. Jest to relacja kluczowa dla rozumienia zakresu norm prawnych i granic wykładni.

Zestawiono oba typy wynikania z presupozycją: presupozycja różni się od implikacji tym, że nie jest asertowana wprost, lecz zakładana, i zachowuje się inaczej wobec negacji i pytań. Omówiono konsekwencje praktyczne: zdanie prawne może formalnie implikować pewien wniosek (wynikanie logiczne) lub jedynie presupozycjonować pewne założenie, rozróżnienie to decyduje o zakresie mocy prawnej i sposobie zaskarżania decyzji.

24.01.2022
Zajęcia 13
Typy wynikania c.d.: wynikanie logiczne a dyskursywne; cechy formalne i zastosowanie implikatury

Trzynaste zajęcia kontynuowały temat typów wynikania, przenosząc analizę na grunt pragmatyki językowej i komunikacji dyskursywnej. Głównym pojęciem zajęć była implikatura konwersacyjna, jeden z najważniejszych mechanizmów semantyczno-pragmatycznych w języku prawniczym.

Wynikanie dyskursywne różni się od wynikania logicznego tym, że opiera się nie na formalnych relacjach między zdaniami, lecz na zasadach rządzących komunikacją. Wypowiedź może dyskursywnie sugerować wniosek, który nie wynika z niej logicznie, lecz jest naturalnie przez odbiorcę wyprowadzany na podstawie kontekstu, intencji rozmówcy i ogólnych zasad kooperacji językowej.

Koncepcja implikatury konwersacyjnej, sformułowana przez H.P. Grice’a, opiera się na założeniu, że uczestnicy komunikacji przestrzegają zasady kooperacji i jej szczegółowych maksym: ilości (mów tyle, ile potrzeba), jakości (mów prawdę), stosunku (mów na temat) i sposobu (mów jasno). Odchylenia od tych maksym (lub ich celowe przestrzeganie) generują implikatury: treści domyślnie komunikowane, lecz nie wprost powiedziane.

Omówiono implikatury skalarne (np. zdanie „Niektóre strony złożyły zażalenie” implikuje, że nie wszystkie), implikatury konwersacyjne generalizowane (działające niezależnie od konkretnego kontekstu) i partykularyzowane (zależne od sytuacji). Szczególną uwagę poświęcono zastosowaniu implikatury w pismach procesowych, mowach sądowych i uzasadnieniach orzeczeń, gdzie strony i sądy często komunikują więcej, niż dosłownie mówią lub mniej, niż słuchacze interpretują.

31.01.2022
Zajęcia 14
Problematyka stopniowalności i nieostrości, cechy formalne predykatów stopniowalnych, formalizacja i specyfikacja nieostrości w języku naturalnym

Czternaste zajęcia skoncentrowane były na jednym z najtrudniejszych i najbardziej praktycznych zagadnień logiki języka prawniczego: problemie nieostrości (vagueness) i stopniowalności predykatów.

Stopniowalność oznacza, że wiele predykatów języka naturalnego nie jest binarnych (prawda/fałsz), lecz dopuszcza różne stopnie nasilenia. Predykaty stopniowalne, takie jak „wysoki”, „stary”, „znaczna suma pieniędzy”, „rażące naruszenie prawa”, tworzą tzw. kontinuum, wzdłuż którego trudno wyznaczyć ostry próg zastosowania. W prawie jest to szczególnie problematyczne, ponieważ normy prawne często posługują się klauzulami generalnymi i pojęciami nieostrymi, których zastosowanie w konkretnym przypadku jest przedmiotem sporu.

Nieostrość semantyczna (ang. semantic vagueness) wiąże się z istnieniem przypadków granicznych (borderline cases), dla których nie wiadomo, czy predykat jest spełniony, czy nie. Paradoks stosu ilustruje ten problem: jedno ziarno nie tworzy stosu, usunięcie jednego ziarna ze stosu nie niszczy stosu, a mimo to n-krotna aplikacja tej zasady prowadzi do absurdalnego wniosku, że nawet tysiące ziaren nie tworzą stosu.

Omówiono strategie formalizacji nieostrości: logika rozmyta (fuzzy logic), superwaluacjonizm oraz podejścia epistemiczne. Każde z tych podejść ma inne implikacje dla wykładni prawa. Zaprezentowano również metody specyfikacji nieostrości w aktach prawnych: definicje legalne, przykłady wyliczające, odesłania do standardów obiektywnych i orzecznictwa. Uczestnicy przeanalizowali konkretne klauzule generalne z Kodeksu postępowania administracyjnego i wybranych ustaw materialnych, ćwicząc identyfikację predykatów stopniowalnych i ocenę ich zakresu.

14.02.2022
Zajęcia 15
Dokończenie zagadnienia nieostrości; podsumowanie całego kursu – zestawienie kluczowych narzędzi formalnych w pracy prawnika

Piętnaste, finalne zajęcia kursu miały dwuczęściowy charakter. W pierwszej części dokończono omawianie zagadnienia nieostrości, a druga część poświęcona była integrującemu podsumowaniu całego cyklu.

W ramach kontynuacji tematu nieostrości omówiono złożone przypadki graniczne spotykane w praktyce orzeczniczej i administracyjnej. Szczególną uwagę zwrócono na nieostrość wyższego rzędu (higher-order vagueness): nie tylko sam predykat jest nieostry, ale nieostre jest też to, gdzie przebiega granica jego nieostrości. Analizowano, jak organy administracji publicznej i sądy radzą sobie z nieostrością.

W syntetyzującym podsumowaniu kursu prowadzący zestawił kluczowe narzędzia formalne omawiane w trakcie wszystkich piętnastu spotkań:

• Rachunek zdań: podstawy analizy logicznej, operatory logiczne, reguły wnioskowania (modus ponens, modus tollens, reductio ad absurdum)
• Rachunek predykatów: formalizacja twierdzeń o obiektach i relacjach, predykaty, kwantyfikatory ∀ i ∃
• Kwantyfikacja: różnice między językiem naturalnym a formalnym, pułapki kwantyfikacyjne, kwantyfikacja na sytuacjach
• Logika modalna: typy modalności (epistemiczna, deontyczna, dynamiczna), rachunek modalny, negacja zdań modalnych
• Semantyka intensjonalna: rozróżnienie de re / de dicto, problem zakresu operatorów modalnych
• Struktura treści wypowiedzi: treść główna vs. poboczna, presupozycje, implikatury, wynikanie logiczne i dyskursywne
• Nieostrość i stopniowalność: predykaty stopniowalne, paradoks sorites, strategie formalizacji nieostrości

Podkreślono, że omówione narzędzia wzajemnie się uzupełniają i w praktyce pracy prawnika, urzędnika administracji publicznej czy legislatora powinny być stosowane łącznie. Uczestnicy mieli możliwość zadania pytań, podsumowania własnych spostrzeżeń z całego kursu oraz dyskusji nad dalszymi kierunkami kształcenia w zakresie logiki prawniczej.