sylogistika
- učenie formálnej logiky o sylogistickom úsudku ( sylogizme), historicky prvý logický systém dedukcie, ktorý sformuloval Aristoteles ( L53;483).