Истинным Аристотель считает утверждение, если оно соответствует положению окружающего мира, т. е. отображает реальное состояние вещей. Ложными, таким образом, считались суждения, которые используются не для отображения объективной реальности, а для сознательного или случайного изменения этой реальности, т. е. «подгонки» явлений окружающего мира под необходимый ответ. Иными словами, ложно то, что нарушает существующие связи между вещами или создает новые, существующие только на словах. Отталкиваясь от этой концепции истинности, Аристотель создает свою логику.
В заключение необходимо упомянуть о логике стоиков – системе знаний, разработанных приверженцами мегаро-стоической школы, стоиками Зеноном и Хризиппом и мегариками Диодором, Стилпоном, Филоном и Евбулидом. В результате деятельности этой школы современная логика получила анализ логических понятий отрицания, конъюнкции, дизъюнкции и импликации. Задачей логики они видели избавление от заблуждений и создание возможности правильно судить о вещах. Логика должна изучать не только словесные знаки, но и мысли, выражающиеся в них. Выходя за рамки формальной логики, представители мегаро-стоической школы делили логику на диалектику и риторику.
К сожалению, представления данной философской школы в области логики лишь частью дошли до нашего времени.
Средневековая логика является, по большей части, трактовкой и анализом античных философских теорий. В основном изучались вопросы модальной логики, теория логического следования, теория семантических парадоксов, а также проводился анализ выделяющих и исключающих суждений. Основными направлениями, рассматривающими вопросы логики, были направление реалистов и номиналистов. Первые считали, что общие понятия существуют независимо от единичных вещей. Номиналисты стояли на противоположных позициях и считали, что общие понятия лишь именуют единичные вещи, которые являются реальными. Следует отметить, что оба эти подхода неверны.
Наиболее известными учеными, работавшими над вопросами логики в Средиземноморье, являются Вильям Оккам, Дунс Скотт, Раймунд Луллий, Жан Буридан, Альберт Саксонский. Следует особо выделить Вильяма Оккама, который известен благодаря тому, что создал логическое орудие под названием «лезвие Оккама».
Проводником между античной и арабоязычной логикой послужила наука, разрабатываемая в Сирии. Вопросами логики в арабском мире занимались такие ученые, как
