funktor 1

noundomain: thinkingregister: specj.
Słowosieć [ver.5.0]
PolishPolish
Definition

w logice; wyrażenie, które nie jest ani zdaniem, ani nazwą, ale służy do tworzenia wyrażeń złożonych.

  • 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.

Project co-funded by European funds

FENG