Funktor: Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
m interpunkcja (zamiana cudzysłowów) i przypis(y)
Matyt (dyskusja | edycje)
m lit.
Linia 10:
Ze względu na kategorię semantyczną wyrażenia utworzonego za pomocą danego funktora, wyróżnia się '''[[funktor zdaniotwórczy|funktory zdaniotwórcze]]''' – tworzące zdania, '''funktory nazwotwórcze''' – tworzące nazwy, '''funktory funktorotwórcze''' – tworzące funktory.
 
Ze względu na liczbę argumentów, z którymi dany funktor tworzy nowe wyrażenie, wyróżnia się funktory '''jednoargumentowe''', '''dwuarguemntowedwuargumentowe''', '''trójargumentowe''' itd.{{odn|Marciszewski (red.)|1970|s=73}}
 
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óż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 argumentó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."