Propozycja (logika) — definicja, rodzaje i przykłady

Propozycja (logika): jasna definicja, rodzaje i praktyczne przykłady. Zrozum pojęcie, synonimy i zastosowania w logice klasycznej i pozytywizmie.

Propozycja to termin z zakresu filozofii i logiki. Najczęściej rozumiana jest jako zdanie lub wypowiedzenie, które ma przypisaną wartość prawdy — czyli może być stwierdzone jako prawdziwe albo fałszywe. Innymi słowy, propozycja jest nośnikiem treści, która jest „prawdziwa” albo „fałszywa” w określonym kontekście lub przy pewnej interpretacji. Aby propozycja była ważna w sensie logicznym, musi być możliwe ustalenie (przynajmniej w teorii), czy jest ona prawdziwa lub fałszywa. Wielu nauczycieli i uczniów logiki używa terminów twierdzenie i teza, by oznaczać to samo — choć w niektórych kontekstach historycznych lub filozoficznych nazwy te mogą mieć drobne różnice znaczeniowe.

Propozycja jako treść niezależna od języka

Możliwe jest wyrażenie tej samej propozycji na wiele sposobów. Propozycja dotyczy tylko rzeczywistego znaczenia, a nie sposobu wyrażenia propozycji. Propozycje mogą wyglądać inaczej, ale znaczyć to samo. Kiedy dwie różne propozycje oznaczają to samo, mówi się, że są synonimami, co oznacza, że każde stwierdzenie ma to samo znaczenie. Przykład: "Snow is white" (w języku angielskim) i "Schnee ist weiß" (w języku niemieckim) to różne zdania, ponieważ są one napisane w różnych językach. Jednak oznaczają one dokładnie to samo: śnieg jest biały. Bez względu na to, w jakim języku zdanie jest napisane, będzie ono oznaczało to samo. W związku z tym te wypowiedzi są synonimami.

Rodzaje propozycji

W praktyce wyróżnia się kilka istotnych klas propozycji — zarówno w tradycyjnej, jak i w formalnej logice:

• Propozycje atomowe (pierwotne) — najprostsze, niepodzielne twierdzenia, np. "Sokrates jest człowiekiem".
• Propozycje złożone (molekularne) — powstają przez łączenie propozycji prostych za pomocą spójników logicznych (i, lub, jeśli...to, nie). Na przykład "Pada deszcz i jest zimno".
• Kategoryczne — w logice arystotelesowskiej typu „Wszyscy A są B” lub „Niektóre A są B”.
• Hipotetyczne (warunkowe) — mają formę „Jeśli P, to Q” (implikacje).
• Alternatywne (dysjunkcyjne) — „P lub Q”.
• Egzystencjalne i uniwersalne — w logice predykatów: „Istnieje x, taki że…” (∃x) oraz „Dla każdego x…” (∀x).

Propozycja w logice arystotelesowskiej

W arystotelesowskiej logice, propozycja jest specyficznym rodzajem zdania, które potwierdza lub zaprzecza działaniu lub proroctwu, które miało miejsce za pośrednictwem podmiotu. Propozycje arystotelesowskie przyjmują takie formy jak "Wszyscy ludzie są śmiertelni" i "Sokrates jest człowiekiem". W każdym zdaniu podmiot (mężczyzna, Sokrates) ma status (jest śmiertelny, jest człowiekiem), który może zostać udowodniony jako prawdziwy lub fałszywy. Tradycyjna logika klasyfikuje formy zdań według jakości (twierdzące/nie) i ilości (ogólne/szczegółowe).

Propozycje w logice formalnej i semantyce

W logice formalnej rozróżnia się zdania (słowa, wyrażenia w języku) i propozycje (treści, które te zdania wyrażają). W rachunku zdań (logice zdań) jednostką jest formuła zdaniowa, której wartość prawdy zależy od wartości podfraz. W logice predykatów wymagane jest, by zdanie było zamknięte (bez zmiennych wolnych), żeby można je uznać za propozycję (czyli za coś, co ma wartość prawdy). Semantyka modelowa tłumaczy prawdziwość propozycji poprzez warunki prawdziwości w modelu — czyli interpretację, w której określone stałe, funkcje i predykaty mają przypisane znaczenia.

Zagadnienia filozoficzne: nośniki prawdy i zasada dwudzielności

W filozofii logiki wyróżnia się pojęcie truth-bearer (nośnika prawdy) — to bywa zdanie, wypowiedzenie, sąd lub sama propozycja. Istnieją spory, czy tylko zdania pełne (wypowiedziane) są nośnikami prawdy, czy też także myśli czy stany umysłu. Podnoszone są też zagadnienia dotyczące zasady dwudzielności (binarności wartości prawdy) — według klasycznego poglądu każda propozycja jest albo prawdziwa, albo fałszywa (prawo wyłączonego środka). Alternatywne systemy logiki (np. logiki trójwartościowe, logiki parakonsystentne) modyfikują tę zasadę, dopuszczając dodatkowe wartości lub tolerując sprzeczności.

Weryfikacjonizm i znaczenie propozycji

W pozytywistyce logicznej propozycja, której prawdziwej wartości nie da się ustalić, jest pozbawiona znaczenia. Na przykład, stwierdzenia o istnieniu bóstw nie mogą być udowodnione w pozytywizmie logicznym. Ponieważ stwierdzenia te nie mają wartości dowodowej, pozytywista logiczny uznałby twierdzenia o bóstwach (takie jak "Bóg istnieje" czy "Bóg nie istnieje") za nie mające żadnego znaczenia logicznego. Ten pogląd wiązał się z postulatem, że sens zdania sprowadza się do jego metody weryfikacji (weryfikacjonizm) — krytykowanym jednak później z różnych powodów (np. sam postulat weryfikacjonizmu jest trudny do weryfikacji).

Przykłady i uwagi praktyczne

Przykłady prostych propozycji: "Śnieg jest biały" (prawdziwe w normalnych warunkach), "2+2=5" (fałszywe w klasycznej arytmetyce), "Jeśli pada, to jest mokro" (warunkowe). W logice formalnej rozróżnia się też tautologie (propozycje prawdziwe niezależnie od wartości składników) i sprzeczności (propozycje fałszywe przy każdej interpretacji).

Podsumowując: propozycja to abstrakcyjna treść zdania, posiadająca wartość prawdy w danym kontekście lub modelu. Ważne jest rozróżnienie między formą językową (zdaniem), a tym, co to zdanie wyraża (propozycją). Różne teorie logiki i filozofii języka podkreślają odmienne aspekty propozycji — od roli wnioskowania, przez semantykę modeli, po zagadnienia znaczenia i weryfikacji.

Pytania i odpowiedzi

P: Co to jest propozycja?

P: Jak przedstawia się propozycje?

P: Czy dwie różne propozycje mogą oznaczać to samo?

P: Jakiego rodzaju zdania używa logika arystotelesowska dla propozycji?

P: Co pozytywizm logiczny mówi o twierdzeniach, których wartości prawdy nie można rozstrzygnąć?

Szukaj według litery