Что такое логика:
Логика Это формальная наука, изучающая структуру или формы человеческого мышления (такие как утверждения, концепции и рассуждения), чтобы установить действительные законы и принципы для получения критериев истины.
В качестве прилагательного «логический» или «логический» означает, что что-то следует правилам логики и разума. Это также указывает на ожидаемые естественные или нормальные последствия.
Он также используется для обозначения так называемого «здравого смысла». Это происходит от латинского логика и в свою очередь от греческого λογική (logike, 'имеющий разум, 'интеллектуальный', 'диалектический', 'аргументированный'), что, в свою очередь, происходит от слова λόγος (логотипы «слово», «мысль», «разум», «идея», «аргумент»).
Пропозициональная, математическая или символическая логика
Логика высказываний - это ветвь логики, изучающая пропозициональные переменные, логические связки (
). Некоторые авторы также отождествляют его с математической логикой или символической логикой, поскольку в нем используется ряд специальных символов, приближающих его к математическому языку. Предложения могут быть верными или ложными.
Философская логика
Логика обычно считается частью философии, хотя логика как таковая применяется в различных областях и деятельности человека.
Философская логика использует четыре основных принципа, которые устанавливают правильные мыслительные процессы. Этими принципами являются принцип идентичности, принцип непротиворечивости, принцип исключенной третьей стороны и принцип достаточной причины.
Формальная логика и неформальная логика
Формальная логика - это такая логика, объектом изучения которой являются технические выводы с использованием дедуктивных систем, формальных языков и семантики. Неформальная логика, в свою очередь, изучает естественные системы рассуждений и аргументации посредством языка и повседневного мышления.
Аристотелевская логика
Это логика, основанная на исследованиях Аристотеля, греческого философа 4 века до нашей эры. Аристотелевская логика использует так называемые силлогизмы, которые представляют собой дедукцию или форму рассуждения, в которой устанавливаются предпосылки, из которых делается вывод.
Следовательно, это понятие аналогично дедуктивно обоснованным аргументам. Классический пример аристотелевской логики: «Все люди смертны. Все греки мужчины. Следовательно, все греки смертны ». Первые два предложения будут предпосылками, а третье - заключением.
Диффузная логика
Концепция чего-либо расплывчатая логика происходит от английского («нечеткая логика»). Это тип логики, который использует случайные значения, но контекстуализирован и связан друг с другом, устанавливая относительное положение того, что наблюдается как дифференциальное положение. Нечеткая логика применяется в различных областях, таких как информатика и промышленность.
