В античных школах были разработаны следующие базовые модели логики:
Аристотелева логика: Эта модель логики была разработана Аристотелем и описывает основные принципы и законы мышления. Она включает в себя принципы и законы истинности, силлогизмы, категории и пропозициональную логику.
Силлогистическая логика: Силлогистическая логика является одним из центральных элементов аристотелевой логики. Она основывается на силлогизмах, которые представляют собой формулы, состоящие из трех пропозиций, называемых предпосылками, и выводом. Силлогистическая логика изучает правила использования силлогизмов для вывода истинных или ложных утверждений на основе имеющихся предпосылок.
Диалектическая логика: Диалектическая логика была разработана философами, такими как Гераклит и Гегель. Она представляет собой модель мышления, основанную на принципе диалектики, который описывает процесс постоянного противоречия, изменения и развития. Диалектическая логика обращается к противоречиям и прогрессу в мышлении для получения истинности.
Эвкулидова логика: Эвкулидова логика была разработана Евклидом и представляет собой формальную систему математической логики. Она используется для изучения приведения математических аргументов в виде доказательств и строгого логического рассуждения.
Это не полный список моделей логики, разработанных в античных школах, но включает основные и наиболее важные из них. С течением времени были разработаны и другие модели логики, но эти базовые модели все еще играют важную роль в современной логике.