Формалдык логика: нускалардын айырмасы

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