Predykat
Funktor zdaniotwórczy – wyrażenie, które wraz z innymi wyrażeniami, nazywanymi argumentami funktora, tworzy zdanie lub funkcję zdaniową.Zmienna – symbol, oznaczający wielkość, która może przyjmować rozmaite wartości. Wartości te na ogół należą do pewnego zbioru, który jest określony przez naturę rozważanego problemu. Zbiór ten nazywamy zakresem zmiennej.
Własność – najszersze, podstawowe prawo rzeczowe, pozwalające właścicielowi korzystać z rzeczy i rozporządzać nią z wyłączeniem innych osób (w jego ramach właściciel korzysta z maksimum uprawnień względem rzeczy). Oznaką korzystania z rzeczy są uprawnienia do posiadania, używania, pobierania pożytków i innych dochodów z rzeczy (pożytki rzeczy – naturalne, np. płody, jabłka z sadu i cywilne, np. czynsz z tytułu dzierżawy lub najmu, odsetki od pożyczki albo leasingu itp.) oraz dysponowania faktycznego rzeczą (przetwarzanie rzeczy, zużycie, a nawet zniszczenie). Z kolei przez rozporządzanie rozumie się uprawnienia do wyzbycia się własności (np. przeniesienie, zrzeczenie, czy rozrządzenie na wypadek śmierci) i do obciążenia rzeczy poprzez ustanowienie ograniczonego prawa rzeczowego, np. zastaw, hipoteka lub poprzez dokonanie czynności – zobowiązań dotyczących rzeczy o skutkach obligacyjnych tj. oddanie w dzierżawę, najem, pożyczkę, leasing. Uprawnienia te nie stanowią granic prawa własności, które zakreśla obowiązujące ustawodawstwo.
Predykat – wieloznaczny termin mogący oznaczać:
- funktor zdaniotwórczy od x argumentów nazwowych;
- funkcję zdaniową argumentów nazwowych;
- wyrażenie opisujące pewne własności lub relacje.
W rachunku predykatów (kwantyfikatorów) występują symbole P, Q, R itd. reprezentujące predykaty jednoargumentowe. W terminologii gramatycznej predykatom jako funktorom zdaniotwórczym swobodnie odpowiadają osobowe formy czasownika.
Predykat jako funktor zdaniotwórczy[ | edytuj kod]
Termin "predykat" może oznaczać funktor zdaniotwórczy od (co najmniej jednego) argumentu nazwowego. Predykatem nazwiemy zatem takie wyrażenie, które z terminem jednostkowym da nam zdanie. Np. w zdaniu "Jugosławia rozpadła się" wyrażenie "rozpadła się" jest predykatem jednoargumentowym (funktorem zdaniotwórczym od jednego argumentu nazwowego), w zdaniu "Tomek lubi Basię" wyrażenie "lubi" jest predykatem dwuargumentowym (funktorem zdaniotwórczym od dwóch argumentów nazwowych), w zdaniu "Arystoteles umiłował prawdę bardziej niż Platona" wyrażenie "umiłował... bardziej niż" jest predykatem trójargumentowym (funktorem zdaniotwórczym od trzech argumentów nazwowych).
Niejednokrotnie zmiana miejsca argumentów predykatu powoduje zmianę sensu całego zdania, np. zdanie "Tomek lubi Basię" znaczy co innego niż zdanie "Basia lubi Tomka".
Na drodze abstrakcyjnej transformacji predykatów powstało wiele nazw języka potocznego. Np. nazwa "myślenie" powstała z predykatu "myśli", nazwa "mądrość" z predykatu "jest mądry". Tego rodzaju funkcjonujące w języku potocznym nazwy są w rzeczywistości pseudonazwami, gdyż zachowują kategorię syntaktyczną predykatu jednoargumentowego. Świadczy o tym fakt, że nie mogą być one bez wrażenia sztuczności wypowiedzi traktowane jako orzeczniki – nie można powiedzieć "Jan jest mądrością" czy też "Poznań jest leżeniem". W analizie syntaktycznej tego rodzaju wyrażenia traktuje się więc tak samo jak predykaty.
Predykat jako funkcja zdaniowa[ | edytuj kod]
Predykat jako funkcja zdaniowa od argumentów nazwowych, czyli (w terminologii Czeżowskiego) funkcja propozycjonalna to wyrażenie złożone z funktora zdaniotwórczego od x argumentów nazwowych oraz ze zmiennych nazwowych. Np. "x leży" (gdzie "x" jest zmienną nazwową, "leży" funktorem zdaniotwórczym"), "x = y" (gdzie "x" i "y" są zmiennymi nazwowymi, a "=" funktorem zdaniotwórczym).
Relacje między znaczeniami terminu "predykat"[ | edytuj kod]
Określenie predykatu jako "funkcji zdaniowej" i jako "funktora zdaniotwórczego" ma charakter syntaktyczny, określenie jako wyrażenia opisującego własności i relacje ma charakter semantyczny. Ze względu na nieostrość terminu "opisywanie", predykaty w rozumieniu semantycznym można traktować i jako odpowiedniki predykatów jako funkcji zdaniowych, i jako odpowiedniki predykatów jako funktorów zdaniotwórczych. Funktory jednoargumentowe opisują własności – omawia je rachunek predykatów. Funktory wieloargumentowe opisują relacje – omawia je teoria relacji.
Predykat jako funktor zdaniotwórczy jest częścią predykatu jako funkcji zdaniowej – tą, która pozostaje, gdy pominie się zmienne nazwowe. Częściej używa się terminu "predykat" na oznaczenie funktorów zdaniotwórczych, gdyż to właśnie one odpowiadają orzeczeniom w terminologii gramatycznej.
Podział predykatów[ | edytuj kod]
Predykaty mogą mieć dowolną skończoną liczbę argumentów (np. predykaty jednoargumentowe, n-argumentowe etc.).
Predykaty różnią się także pod względem rodzaju implikowanych argumentów. Predykat pierwszego rzędu otwiera pozycje tylko dla argumentów obiektowych, natomiast predykat drugiego (wyższego) rzędu wymaga co najmniej jednego argumentu propozycjonalnego.