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