funktor 1
noundomain: thinkingregister: specj.
Słowosieć [ver.5.0]
Definition
w logice; wyrażenie, które nie jest ani zdaniem, ani nazwą, ale służy do tworzenia wyrażeń złożonych.
Examples
- 1.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.
- 2.Ze względu na kategorię semantyczną argumentów, z którymi dany funktor tworzy nowe wyrażenie, wyróżnia się funktory jednorodne – takie, dla których wszystkie argumenty mają jednakową kategorię semantyczną, i wielorodne – takie, dla których co najmniej dwa argumenty mają różne kategorie semantyczne.


