Цели обучения:

1. Понять, что такое математическая логика и её основные приложения.
2. Понять разницу между логикой и теорией истины.
3. Понять, почему в логике используется формальный язык и как он позволяет точно и строго представлять и анализировать аргументы и рассуждения.
4. Понять разницу между естественными и формальными языками.

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

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

Логика — это не теория истины

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

Логика требует подходящего языка

Прежде чем заниматься логикой, необходимо обладать подходящим языком для её выполнения. Этот язык, который мы называем «формальным языком», обладает необходимыми характеристиками для проведения валидных выводов; то есть, это механизм, позволяющий находить или создавать истинные выражения на основе истинности предыдущих.

Почему логике нужен формальный язык?

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

Формальный язык — это язык, основанный на строгих и систематических правилах и соглашениях для представления понятий и отношений между ними. Используя формальный язык, можно более точно и строго представлять логические понятия и аргументы, что помогает избежать неоднозначности и ошибок в рассуждениях. Одной из целей создания таких языков является избегание неточностей и парадоксов, возникающих в повседневном языке: гибкость и богатство выражения повседневного языка жертвуются ради точности формального языка.

Естественные и формальные языки

Естественные языки — это те языки, которые люди используют для общения устно или письменно. Примеры естественных языков включают испанский, английский, французский, китайский, арабский и многие другие.

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

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

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

Парадоксы языка

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

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

Избегание парадоксов языка с помощью формальных языков

Одним из преимуществ формальных языков по сравнению с естественными является то, что они избегают парадоксов языка благодаря своей точности и отсутствию неоднозначности. Используя формальный язык, можно четко определить правила и соглашения, которых следует придерживаться, чтобы избежать неправильных толкований или противоречий. Например, в математической логике используется формальный язык, называемый «языком пропозициональной логики», для четкого и точного представления и выражения рассуждений, основанных на пропозициях. Этот язык определяет правила и соглашения, которых следует придерживаться, чтобы избежать некоторых парадоксов языка, и используется для проведения логических тестов и доказательств строгим и систематическим образом.

Помимо языка пропозициональной логики, существуют и другие языки, разработанные для более сложных ситуаций и преследующие ту же цель, например, языки предикатной логики первого и второго порядка.

5 примеров парадоксов языка

1. Парадокс не-лжи: Он возникает, когда говорят, что «всё, что говорится, — ложь». Если всё, что говорится, — ложь, то утверждение, что «всё, что говорится, — ложь», тоже ложь, следовательно, оно ложно. Если утверждение, что «всё, что говорится, — ложь», не является ложью, то что-то из сказанного — правда, следовательно, утверждение ложно. В результате, если оно верно, оно ложно, и наоборот.
2. Парадокс лжеца: Он возникает из утверждения «я лгу», которое представляет логическое противоречие, если оно истинно или ложно. Если оно истинно, значит человек лжёт, следовательно, утверждение ложно. Если оно ложно, значит человек не лжёт, следовательно, утверждение истинно. В конечном итоге, как и в предыдущем парадоксе, если оно истинно, оно ложно, и наоборот.
3. Парадокс самореферентных свойств: Самореферентные парадоксы возникают из выражений, которые ссылаются на себя, вызывая противоречие, например, когда говорится о «наименьшем числе, которое нельзя записать менее чем двадцатью словами». Это само по себе является парадоксом, потому что само выражение содержит менее двадцати слов.
4. Парадокс брадобрея: Он представляется следующим образом: «В деревне есть брадобрей, который бреет всех мужчин деревни, которые не бреются сами. Бреет ли брадобрей сам себя?» На первый взгляд, это утверждение кажется не имеющим проблемы, но что насчёт самого брадобрея? Очевидно, что брадобрей — мужчина (иначе мы бы не говорили «брадобрей»), и если он может брить сам себя, он не может брить сам себя; с другой стороны, если он не может брить сам себя, он может брить сам себя, и так по кругу.
5. Парадокс существования пустого множества: Он основывается на утверждении, что пустое множество (или множество, не содержащее элементов) существует, но в то же время ни один из его элементов не существует (потому что их нет). Таким образом, у нас есть объект, который существует и состоит из несуществующих объектов.

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

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

Изучение математической логики начинается с обзора языка, который будет использоваться для представления её элементов, поэтому мы различаем самые распространенные: пропозициональная логика и логики предикатов первого и второго порядка. В каждой из этих логик развиваются математические методы рассуждений, которые позволяют строго доказывать бесчисленные математические результаты и теоремы.

Изучение символической логики является частью одного из фундаментальных столпов математики.

Четыре основных столпа математики

Математическая логика является важной частью основ математики. Эти основы состоят из следующих четырех столпов:

1. Теория доказательств: Она сосредоточена на изучении того, как можно представить и оценивать математические и научные аргументы. Эта теория основана на идее, что доказательства должны быть строгими, логичными и основанными на формальных принципах. Теория доказательств включает исследование различных типов доказательств, таких как индуктивные и дедуктивные доказательства, и то, как можно использовать эти типы доказательств для решения математических и научных проблем. Это именно то, что мы делаем при изучении математической логики.
2. Теория множеств: Это отрасль математики, занимающаяся изучением множеств, которые представляют собой совокупности элементов или объектов. Эта теория включает исследование того, как можно определить и классифицировать множества, и как можно с ними выполнять операции. Теория множеств является важной частью современной математики и была использована для разработки и применения многих основных понятий и принципов математики.
3. Теория вычислений: Её основные части включают:
   1. Теория сложности: Это отрасль компьютерных наук, занимающаяся изучением сложности задач и алгоритмов. Эта теория включает исследование того, как можно измерить и сравнить сложность различных задач и алгоритмов, и как можно разработать и использовать более эффективные алгоритмы для решения этих задач.
   2. Теория вычислимости: Это часть компьютерных наук, которая изучает, какие задачи и функции могут быть решены или оценены компьютером, а какие — нет. Эта теория включает исследование того, как можно определить и классифицировать вычислимые задачи и функции, и как их можно разработать и использовать.
4. Теория моделей: В логике и математике она изучает отношения между формальными теориями (утверждениями, написанными на формальном языке, используемыми для установления утверждений о какой-либо математической структуре) и их моделями (которые сохраняются в этих структурах). Эти математические структуры могут быть группами, полями, графами и т. д. Теория моделей позволяет приписывать семантическую интерпретацию чисто формальным выражениям, а также позволяет изучать проблемы полноты, согласованности и независимости между утверждениями.

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