Поделиться:
6 основных типов логики
Есть несколько типы логики и все фокусируют свой объект исследования на понимании рассуждений и определяют, когда они верны или неверны.
Изучение логики развивалось со времен греческого философа Аристотеля до настоящего времени, и оно было скорректировано с намерением быть более конкретным и в то же время более приспособленным к повседневной жизни человека, что позволяет ему более ощутимое применение в разных областях.
Логика стремится к систематическому изучению аргументов и предложений, а различные типы логики позволяют изучать как чисто формальную структуру этих утверждений, так и то, что связано с содержанием, и силу указанного содержимого..
Хотя логика основана на изучении утверждений, она не фокусируется четко на естественном языке (языке, как мы его знаем), но его полезность достигла различных областей и с различными структурами, такими как математика и вычисления.
Наиболее актуальные типы логики
формальный
Формальная логика, также известная как классическая логика или аристотелевская логика, является изучением предложений, аргументов, утверждений или предложений со структурной точки зрения..
Это метод структурирования мышления и определения правильных или неправильных форм конкретного подхода..
Формальная логика не фокусируется на истинности или ложности содержания определенного аргумента, но фокусируется на достоверности или иным образом построения его формы.
То есть объект исследования формальной логики не является эмпирическим, для логика не имеет значения определять, является ли представленный аргумент реальным и доказанным; но его исследование четко сфокусировано на структуре указанного аргумента.
В рамках формальной логики есть две очень важные классификации: дедуктивная логика и индуктивная логика.
Дедуктивная логика относится к тем конкретным утверждениям, которые генерируются из общих понятий. Посредством этого типа логических выводов можно сделать из концепций или теорий, которые уже существуют.
Например, в рамках дедуктивной логики можно сказать, что если у людей есть ноги, а у Клары есть люди, то у Клары есть ноги.
В случае индуктивной логики построение аргументов происходит противоположным образом; то есть общие понятия создаются из конкретных аргументов.
Например, в рамках индуктивной логики можно сказать, что если одна кошка любит рыбу, а другая тоже любит ее, а другая тоже, то все кошки любят рыбу.
неформальная
Неформальная логика - это область изучения, которая фокусируется на языке и послании, которое исходит из семантических конструкций и аргументов..
Эта логика отличается от формальной логики тем, что формальная логика изучает структуры предложений и предложений; а неформальная логика фокусируется на фоне передаваемого сообщения.
Его объектом исследования является способ аргументации для получения желаемого результата. Неформальная логика проверяет логические аргументы, которые являются более связными среди других, которые имеют более слабую аргументную структуру.
Не классический
Неклассическая логика, или современная логика, берет свое начало в девятнадцатом веке и возникает в противоположность утверждениям классической логики.
Он устанавливает другие формы анализа, которые могут охватывать больше аспектов, чем можно охватить с помощью классического подхода логики.
Вот как включаются математические и символические элементы, новые утверждения или теоремы, которые пришли, чтобы восполнить недостатки формальной логической системы.
В рамках неклассической логики существуют различные подтипы логики, такие как модальная, математическая, трехвалентная и другие..
Все эти типы логики в некоторой степени отличаются от формальной логики или включают в себя новые элементы, которые дополняют друг друга и позволяют логическому изучению конкретного утверждения быть более точным и адаптированным к полезности в повседневной жизни..
символический
Символическая логика также называется логикой первого порядка или математической логикой и характеризуется использованием символов, которые составляют новый язык, с помощью которого «переводят» аргументы.
Цель символической логики - преобразовать абстрактные мысли в более формальные структуры..
Фактически, он не использует естественный язык (язык), но использует технический язык, который преобразует предложения в элементы, восприимчивые к применению более точных правил, чем те, которые могут применяться на естественном языке..
Тогда символическая логика позволяет обрабатывать суждения через законы расчета, чтобы избежать путаницы или неточностей..
Он стремится включить математические элементы в анализ формальных логических структур. В математической области логика используется для доказательства теорем.
Короче говоря, символическая или математическая логика стремится выразить человеческую мысль через математический язык.
Это математическое применение логики позволяет аргументам и конструкциям быть более точными.
модальный
Модальная логика фокусируется на изучении аргументов, но добавляет элементы, связанные с возможностью того, что рассматриваемое утверждение является истинным или ложным.
Модальная логика претендует на то, чтобы быть более созвучной человеческому мышлению, поэтому она включает в себя использование таких конструкций, как «мог», «возможно», «иногда», «возможно», «вероятно», «вероятно», «возможно» "Среди других.
В модальной логике, это вопрос рассмотрения сценария, в котором есть возможность, и каждый стремится рассмотреть все возможности, которые могут существовать, с логической точки зрения..
вычислительный
Вычислительная логика - это тип логики, производной от символической или математической логики, только она применяется в области вычислений..
Компьютерные программы используют язык программирования для своей разработки, и с помощью логики можно работать на этих языковых системах, назначать конкретные задачи и выполнять действия по проверке..
ссылки
- "Логика" в Британской энциклопедии. Получено 4 августа 2017 года из Британской энциклопедии: britannica.com
- «Формальная логика» в Британской энциклопедии. Получено 4 августа 2017 года из Британской энциклопедии: britannica.com
- Эрнандес, Ф. "Вычислительная логика" в Национальном автономном университете Мексики. Получено 4 августа 2017 г. из Национального автономного университета Мексики: unam.mx
- Муньос, C. "Неклассическая логика" в Мадридском университете Комплутенсе. Получено 4 августа 2017 года из Университета Комплутенсе в Мадриде: ucm.es
- Юлия Дж. «Что такое символическая логика?» В eHow en Español. Получено 4 августа 2017 г. с сайта eHow en Español: ehowenespanol.com
- Oller, C. "Формальная логика и аргументация" (2006) в Национальном университете Ла-Плата. Получено 4 августа 2017 года из Национального университета Ла-Платы: rfytp.fahce.unlp.edu.ar
- «Дедуктивные и индуктивные умозаключения» в Хунта-де-Эстремадура. Получено 4 августа 2017 года в Хунта-де-Эстремадура: educarex.es.