Формалдык логика
Формалдык логика Формалдык логика ой-жүгүртүү актысын изилдеген илим. (түшүнүк, талкуу, ой-жүгүртүүнүн жыйынтыгы). Формалдык логиканын негизги милдети – аныкталган, такталган илимдин мыйзамын, принциптерин формалдаштыруу. Аристотелдин эмгегинин натыйжасында формалдык логика калыптанган. Ал силлогистиканы иштеп чыккан. Схоласттар (Дунс. Скотт, В. Оккам; А. Саксонский, Р. Луллий ж. б.) дагы өз салымдарын кошушкан.

Колдонулган адабияттар 
 Мамлекеттик тил жана энциклопедия борбору.Логика (энциклопедиялык окуу куралы).-Б.: 2004,ISBN 9967-14-11-9
Логика