Арістотелівська логіка
Матеріал з Вікіпедії — вільної енциклопедії.
Аристотель виводив логіку від грецького “логос” – слово, поняття, розмірковування, розум і визначав формальну логіку як науку про закони і форми вірного мислення. Головний принцип логіки з тих пір стверджує, що правильність розмірковування визначається тільки його логічною формою або структурою і не залежить від конкретного змісту суджень. Логічна форма – це спосіб зв’язку змістовних суджень. Найкраще ця думка ілюструється у такому прикладі - розглянемо різні за своїм конкретним змістом судження: “Всі природні квіти – рослини” та “Всі річки впадають у море”. Неважко побачити, що судження ці різні за змістом, але одне (перше) істинне, а друге – ні. Проте їх об’єднує те, що вони побудовані за логічною формою: “Всі S є (суть) P” (всі предмети даного роду мають певну ознаку). Судження можуть мати, наприклад, ще й таку логічну форму: “Якщо А, то Б” – “Якщо історія – наука, то вона має свої закони”.