funktor 1
rzeczownikdomena: myślenierejestr: specj.
Słowosieć [ver.5.0]
PolskiDefinicja
w logice; wyrażenie, które nie jest ani zdaniem, ani nazwą, ale służy do tworzenia wyrażeń złożonych.
Przykłady
- 1.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.
- 2.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.
