Typologię języków przeprowadza się zazwyczaj z takich co najmniej dwóch punktów widzenia:
1. Ze względu na genezę i historyczne uwarunkowania oraz funkcję danego języka.
a. ) Języki naturalne (etniczne)
b. ) Języki sztuczne (np. Esperanto)
c. ) Języki mieszane (informatyczny)
2. Ze względu na sposób uzewnętrzniania się danego systemu językowego.
a. ) Język yerbaino - akustyczny
b. ) Język graficzny (pisany)
c. ) Język gestowo - mimiczny (migowy)
W logicznej i semantycznej strukturze każdego języka możemy wyróżnić takie ieao zasadnicze elementy jak:
1. Słownictwo (lingwistyka języka)
2. Reguły znaczeniowe (reguły semantyczne)
3. Reguły składniowe (reguły syntaktyczne)
4. Reguły transformacji (reguły wnioskowania, lub rozumowania)
Pochodnymi (pomocniczymi) kategoriami syntaktycznymi są:
1. Funktóry
2. Operatory (kwantyfikatory)
Nazwy
1. Konkretne
a. ) Przedmiotowe
- Jednostkowe
- ogólne
b. ) Puste
- Jednostkowe
- Ogólne
2. Abstrakcyjne
Wyróżniamy takie podstawowe rodzaje funktorów jak:
„ , dobry student ostatni król polski
A. ) Nazwotworcze np. -r—.--■ ■, .----r—r-—
' r funktor nazwa funktar nazwa funktor
Jan jest studentem
nazwa funktor nazwa
B. ) Funktory zdaniotwórcze np. , .
zdanio
twórczy
c. ) Funktory funktorotwórcze
Wyróżniamy dwa podstawowe rodzaje kwantyfikatorów:
a.) Kwantyfikator duży określany mianem generałizatora, który w brzmieniu verbalnym czytamy: Dla każdego,
Każdy,
Dia wszystkich,
Dla każdego x, p od x...