logiki
Encyklopedia PWN
rachunek kwantyfikatorów, logika kwantyfikatorów,
dział logiki, w którym przyjmuje się wszystkie terminy i twierdzenia rachunku zdań, a ponadto wprowadza się, jako stałe symbole, kwantyfikatory.
rachunek nazw, teoria nazw,
dział logiki formalnej, którego przedmiotem badań są formuły logiczne (logiczne schematy wnioskowania), zawierające tzw. zmienne nazwowe, oznaczane zwykle dużymi literami (A, B, C... P, S, M...), a także funktory zdaniotwórcze od argumentów nazwowych.
rachunek relacji, teoria relacji, teoria stosunków,
jeden z podstawowych rachunków log., dział logiki wyodrębniony przez Ch.S. Peirce’a (Five Papers on Logic 1860), rozwinięty przez E. Schrödera (Algebra und Logik der Relative 1895);
matematyk i logik;
filozof i logik, ksiądz.
niem. matematyk i logik;