Relacje między znaczeniami terminu „predykat” 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 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.
Przypisy
Kategoria:Semiotyka Kategoria:Logika matematyczna