логика

Что такое логика:

Логика - это женское существительное, которое происходит от греческого термина logiké и относится к логотипу, разуму, слову или речи, что означает науку о рассуждении .

В переносном смысле слово логика относится к определенному способу рассуждения правильно. Например: это никогда не сработает! В вашем плане нет никакой логики!

Проблемы или логические игры - это действия, в которых человек должен использовать логические рассуждения для решения проблемы.

Аристотелевская логика

Согласно Аристотелю, логика имеет в качестве объекта изучения мысль, а также законы и правила, которые ее контролируют, так что эта мысль верна. Для греческого философа составными элементами логики являются понятие, суждение и рассуждение . Законы логики соответствуют тем связям и отношениям, которые существуют между этими элементами.

Некоторые наследники Аристотеля были ответственны за основы средневековой логики, которая продолжалась до тринадцатого века. Средневековые мыслители, такие как Гален, Порфирий и Александр Афродизий, классифицировали логику как науку правильного суждения, которая позволяет прийти к правильным и формально обоснованным рассуждениям.

Логика программирования

Логика программирования - это язык, используемый для создания компьютерной программы. Логика программирования имеет важное значение для разработки программ и компьютерных систем, поскольку она определяет логическую связь для этого развития. Этапы этой разработки известны как алгоритм, который состоит из логической последовательности инструкций для выполняемой функции.

Аргументация логики

Логика аргументации позволяет нам проверить правильность или то, является ли утверждение верным или нет. Это не сделано с относительными или субъективными понятиями, они являются осязаемыми предложениями, справедливость которых можно проверить. В этом случае логика направлена ​​на оценку формы предложений, а не содержания. Силлогизмы (составленные из двух предпосылок и заключения) являются примером логики аргументации. Например:

Фуба это собака.

Все собаки млекопитающие.

Поэтому Фуба это млекопитающее.

Математическая логика

Математическая логика (или формальная логика) изучает логику в соответствии с ее структурой или формой. Математическая логика состоит из дедуктивной системы утверждений, целью которой является создание набора законов и правил для определения обоснованности рассуждений. Таким образом, рассуждение считается обоснованным, если можно прийти к истинному выводу из истинных предпосылок.

Математическая логика также используется для построения обоснованных рассуждений посредством других рассуждений. Рассуждение может быть дедуктивным (заключение обязательно получается из истинности предпосылок) и индуктивным (вероятностным).

Формальную логику можно разделить на две группы: логика высказываний и логика предикатов.

Многие считают Лейбница умом, положившим начало формальной или математической логике, которая затрагивает основные вопросы математики. Однако только после 1890 г. с Пеано начался вопрос о согласованности аксиом. Некоторые важные принципы формальной логики найдены в «Математическом анализе логики» Джорджа Буля (автор логики или булевой алгебры).

Логика высказываний

Логика высказываний - это область логики, которая исследует рассуждения в соответствии с отношениями между предложениями (суждениями), минимальными единицами дискурса, которые могут быть истинными или ложными.