- Что такое логика?
- Философская логика
- Аристотелевская логика
- Математическая логика
- Вычислительная логика
- Формальная и неформальная логика
Мы объясняем, что такое логика, и характеристики философской, аристотелевской, математической, вычислительной, формальной и неформальной логики.
Что такое логика?
Логика - это формальная наука, который является частью философия и из математика. Он фокусируется на изучении действительных и недействительных процедур мысль, то есть в таких процессах, как демонстрация, умозаключение или дедукция, а также в таких концепциях, как заблуждения, парадоксы и правда.
Логика - это дисциплина чрезвычайно древний, независимо рожденный среди мыслителей великих классические и древние цивилизации, как китайский, греческий или индийский. С самого начала он понимался как способ суждения о мысли, чтобы проверить ее формальную достоверность, то есть признать, что является идеальной процедурой рассуждение, тот, который действительно ведет к истине.
Однако, начиная с 20-го века, она стала рассматриваться как область, более близкая к математике, поскольку ее приложения приобрели большое промышленное, социальное и технологическое значение.
Слово «логика» происходит от греческого голоса. Logiké («Наделенные разумом»), от термина логотипы, что эквивалентно "слову" или "мысли".
Однако в повседневном языке мы используем это слово как синоним «здравого смысла», то есть в ценном или ценном образе мышления, в их соответствующих контексты возможный. Он также используется как синоним о «образе мышления», например, о «спортивной логике», «военной логике» и т. д.
Философская логика
Этим термином мы называем области философии, в которых методы логики для разрешения или продвижения определенных философских дилемм, которые могут быть решены в рамках рассматриваемой традиционной логики или, наоборот, неклассической логики. Другими словами, логика в рамках философии.
Это дисциплина, очень близкая к философии язык, и по сути является продолжением логики античности, сосредоточенной на мышлении и естественном языке. Мы обычно используем это название, чтобы отличить его от новейшей математической логики.
Аристотелевская логика
В рамках философской логики традиция мысли, которая начинается с работ греческого философа Аристотеля де Эстаджира (384-322 до н.э.), считающегося западным основателем логики и одним из самых важных авторов, известна как аристотелевская логика. мировая философская традиция.
Основные работы Аристотеля по логике собраны в его Орган (от греческого «инструмент»), составленный Андроником Родосским через несколько столетий после написания. В них разворачивается целая логическая система, оказавшая огромное влияние на Европа и Ближний Восток до Средний возраст.
Более того, в этой работе Аристотель постулировал фундаментальные аксиомы логики:
- Принцип непротиворечивости. Согласно которому что-то не может быть и не быть одновременно (A и ¬A не могут быть истинными одновременно).
- Принцип идентичности. Согласно которому что-то всегда идентично самому себе (A всегда равно A).
- Принцип исключенного третьего. Согласно которому что-то истинно или нет, без каких-либо возможных градаций (A или затем ¬A).
Математическая логика
Это известно как математическая логика, также называемая символической логикой, формальной логикой, теоретической или логистической логикой, для применения логическое мышление в определенные области математики и наука.
Это подразумевает изучение процесса вывода через формальные системы представления, такие как логика высказываний, модальная логика или логика первого порядка, которые позволяют «переводить» естественный язык на математический язык с целью разработки строгих доказательств.
Математическая логика охватывает четыре основные области, а именно:
- Теория моделей. Который предлагает изучение аксиоматических теорий и математической логики через математические структуры, известные как группы, тела или графы, тем самым приписывая семантическое содержание чисто формальным конструкциям логики.
- Теория демонстрации. Также называемая теорией доказательств, она предлагает доказательства с помощью математических объектов и техники математика как способ проверки логических задач. Таким образом, там, где теория моделей имеет дело с заданием семантика (смысл) формальных структур логики, Теория Доказательства имеет дело скорее с их синтаксис (его заказ).
- Теория наборы. Сосредоточен на изучении абстрактных коллекций объектов, понимаемых сами по себе как объекты, а также их основных операций и взаимосвязей. Эта ветвь математической логики является одной из самых фундаментальных из существующих, настолько, что составляет основной инструмент любой математической теории.
- Теория вычислимости. Общая область между математикой и вычисление или вычисление, изучает проблемы решения, к которым алгоритм (эквивалент машины Тьюринга) может справиться. Для этого он использует теорию множеств, понимая их как вычислимые или невычислимые множества.
Вычислительная логика
Вычислительная логика создает интеллектуальные вычислительные системы.Вычислительная логика - это та же математическая логика, но применяется к области вычислений, то есть на различных фундаментальных уровнях вычислений: вычислительных схемах, программирование логика и алгоритмы управления. Искусственный интеллект, относительно недавняя область в этой области, также является ее частью.
Можно сказать, что в широком смысле вычислительная логика стремится питать компьютерную систему с помощью логических структур, которые выражают на математическом языке различные возможности человеческого мышления, тем самым создавая интеллектуальные компьютерные системы.
Формальная и неформальная логика
Также часто проводится различие между двумя отдельными областями логики: формальной и неформальной, в зависимости от их подхода к языку, на котором выражаются утверждения.
- Формальная логика. Это тот, который занимается формальным языком, то есть способом выражения его содержания, используя его строго, без двусмысленностей, таким образом, что дедуктивный путь может быть проанализирован с точки зрения достоверности его содержания. формы (отсюда и его название).
- Неформальная логика. Вместо этого изучите их аргументы a posteriori, различая действительные и недействительные формы из предоставленной информации, независимо от ее логической формы или ее формального языка. Этот вариант возник в середине 20 века как дисциплина в философии.