funktor

Funktor – pojęcie z zakresu teorii kategorii semantycznych oznaczające wyrażenie, które nie jest nazwą ani zdaniem, służące do konstrukcji wyrażeń bardziej złożonych – nazw, zdań lub bardziej złożonych funktorów. Wyrażenie, wraz z którym dany funktor tworzy wyrażenie bardziej złożone, to argument funktora. Podział wyrażeń na funktory, nazwy i zdania należy odróżnić od podziału na zdania, nazwy, predykaty i stałe logiczne, wśród których wyróżnia się operatory i spójniki. Spośród elementów drugiego podziału do funktorów należą spójniki i predykaty. Termin „funktor” jako oznaczający jedną z trzech kategorii semantycznych przyjął się głównie w piśmiennictwie polskim za sprawą Tadeusza Kotarbińskiego i Stanisława Leśniewskiego, a także w piśmiennictwie obcym nawiązującym do polskiego, np. w pracach Bar-Hillela. W piśmiennictwie anglojęzycznym termin functor oznacza przede wszystkim funktory nazwotwórcze od argumentów nazwowych (name-forming functors).