Логика. Краткий конспект

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

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

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

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

Это дает нам первую, простейшую и фундаментальную классификацию символов, используемых в формализованном языке.

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