Формализация

Логика стремится формализовать рассуждение.

Формализация – это внимание к форме, отвлечение от конкретного содержания.

Формализация возможна ввиду наличия в той или иной области закономерностей, которые образуют определенную структуру, скелет.

Примером формализации являются различные уравнения математики.

Например:

a+b=b+a,

где «a+b=b+a» – общая структура выражения, а «a» и «b» - переменные, которые могут быть заменены любыми значениями (конкретным содержанием).

Аналогично уравнениям математики формализация обнаруживается в языке.

Рассмотрим известный пример, предложенный отечественным языковедом Л. В. Щербой:

«Глокая куздра штеко будланула бокра и курдячит бокренка».

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

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

Логика (силлогистика в частности) исследует не смысл, не конкретное содержание тех или иных рассуждений, а их формы.

Например, предложение

«все афиняне - греки»

имеет структуру «все А являются В», где «А» и «В» - переменные, которые могут быть заменены любыми значениями (конкретным содержанием).

Первая основная задача данного курса логики – научиться формализовывать языковые выражения (видеть их структуру).