Його завдання — «перекласти» природну мову на логічну.. Наприклад, якщо взято речення природною мовою «Іде дощ, а на вулиці мокро», формальна логіка має перекласти інформацію на логічну мову (у цьому випадку: «p ∧ q»).22 листопада 2023 р.

У формальній логіці, людина прагне до того, щоб посилки, сформульовані щодо теми, логічно пов’язувалися з висновком . Поширеним прикладом формальної логіки є використання силогізму для пояснення цих зв’язків. Силогізм — це форма міркування, яка робить висновки на основі двох заданих посилок.

Таким чином, це концепція, подібна до дедуктивно дійсних аргументів. Класичним прикладом арістотелівської логіки є:Усі люди смертні. Всі греки – чоловіки. Тому всі греки смертні»..

Вищі логічні принципи: тотожність, несуперечність, виключена третя і достатня причина.

Формальна логіка – це а формальна дисципліна, яка визначає, як правильно міркувати, не звертаючи уваги на зміст (тобто чи є воно істинним чи хибним) (Deaño, 1975). Логіку цікавить скелет аргументу, тобто те, що висновки обов’язково випливають із передумов.

Логіка вивчає аргументи, які складаються з набору посилок, які ведуть до висновку. . Прикладом є аргумент із приміщень «сьогодні неділя» та «якщо це неділя, мені не потрібно працювати», що призводить до висновку «мені не потрібно працювати».