Funktor: Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
-eksperyment, int., zbędne wytłuszczenia
m lit., polskie znaki
Linia 12:
Ze względu na liczbę argumentów, z którymi dany funktor tworzy nowe wyrażenie, wyróżnia się funktory jednoargumentowe, dwuarguemntowe, trójargumentowe itd.
 
Ze względu na kategorię semantyczą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. Wśród funktorów jednorodnych wyrózniawyróżnia się funktory od argumentów nazwowych, funktory od argumentów zdaniowych i funktory od argumentów funktorowych.
 
Pełne scharakteryzowanie funktora wymaga więc podania kategorii wyrażenia tworzonej za pomocą tego funktora, jego ilości argumentów i kategorii tych argumentów. Przedstawia się ją według schematu ''funktor x-twórczy od y arumentówargumentów z-owych'' dla funktorów jednorodnych i ''funktor x-twórczy dla y<sub>1</sub> argumentów z<sub>1</sub>-owych, y<sub>2</sub> argumentów z<sub>2</sub>-owych'' itd.
 
== Subkategorie funktorów ==
* [[Predykat]] – funktor zdaniotwórczy od y argumentów nazwowych, np. „Jugosławia ''rozpadła się''”, „Tomek ''lubi'' Basię”, „Piotrek ''woli'' pomarańcze ''niż'' mandarynki”.
* [[Konektyw]] (spójnik) – funktor zdaniotwórczy od y agumentówargumentów zdaniowych, np. „''Nieprawda'', że Kopernik był Niemką”, „Platon był uczniem Sokratesa ''i'' nauczycielem Arystotelesa”.
* [[Kwalifikator]] – funktor nazwotwórczy od y argumentów nazwowych, np. „podstęp ''Krzyżaków''”, „Rozważna ''i'' romantyczna”.
* [[Reifikator]] – funktor nazwotwórczy od y argumentów zdaniowych, np. „''To, że'' Kraków leży nad Wisłą”.