LOGIKA

NAZWY •Symbol kategorii: n •Dla uproszczenia przyjmiemy, ze rozważać będziemy języki, w których wszystkie nazwy będą należały do jednej i tej samej kategorii syntaktycznej (co jest uproszczeniem idącym dość daleko – por. supozycja prosta a supozycja formalna). •I nazwami, i zdaniami zajmiemy się dokładniej za jakiś czas. FUNKTORY •Symbol kategorii: ułamki, •Wyrażenia, które nie są ani nazwami, ani zdaniami, ale śluza do wiązania innych wyrażeń (swoich argumentów) w wyrażenia bardziej złożone. •funktory i argumenty: f(x,y) 3+254,6 Jaś kocha Małgosię Zielona ławka Poznań leży między Warszawą a Berlinem Symbol kategorii funktorowej - ułamek, w którego liczniku znajduje się symbol kategorii syntaktycznej wyrażenia złożonego z funktora i jego argumentów, a w mianowniku znajdują się symbole kategorii syntaktycznych kolejnych argumentów funktora. co powstaje z czego powstaje PODZIAŁ FUNKTORÓW: • Z uwagi na kategorie syntaktyczne wyrażeń przez nie tworzonych: zdaniotwórcze, nazwotwórcze, funktorotwórcze. • Z uwagi na liczbę argumentów: jednoargumentowe, dwuargumentowe, • Z uwagi na kategorie syntaktyczne argumentów: od argumentów zdaniowych, nazwowych, funktorowych, w dowolnych kombinacjach. Kilka bardziej istotnych typów funktorów: • funktory zdaniotwórcze od argumentów nazwowych (predykaty): „kocha”, „jest zielony”, „leży między a”; • funktory zdaniotwórcze od argumentów zdaniowych (spójniki zdaniowe): „i”, „a”, „mimo że”, „jeżeli to”; • funktory nazwotwórcze od argumentów nazwowych (spójniki nazwowe): „i”(w innym kontekście, niż wyżej), „nad”; • funktory zdaniotwórcze od jednego argumentu nazwowego i jednego argumentu zdaniowego (spójniki epistemiczne): „wierzy ze”, „wątpi czy”; NOTACJA INFIKSOWA I PREFIKSOWA Do testowania spójności syntaktycznej będziemy potrzebowali odróżnienia prefiksowej i infiksowej notacji funktorów: •w notacji infiksowej funktory wpisuje się miedzy ich argumentami: 2+2=4 •w notacji prefiksowej funktory wypisuje się przed ich argumentami: = + 2 2 4