June 13, 2006

Непонадобившаяся ссылка

Естественному языку свойственно исключающее ИЛИ. При нормальном употреблении союза или, например, в предложении Вы будете чай или кофе? собеседнику предполагается выбрать только один вариант. Неисключающее ИЛИ, которое допускает осуществление обеих предлагаемых возможностей, свойственно «математическому», а не естественному языку. Принцип неисключающего ИЛИ, так хорошо работающий при создании электрических схем и компьютерных программ, для человека не является интуитивным.
Похожие противоречия между естественным и «математическим» языками есть и в других областях. Например, один математик сетовал на то, что детей специально приходится учить, что квадрат является прямоугольником, а ромб является параллелограммом. И сам при этом не замечал, что представшее перед ним противоречие является противоречием не между детским и взрослым восприятием мира, а между наивной картиной мира и математической картиной мира. В последней квадрат действительно является прямоугольником, в то время как для первой квадрат-прямоугольник – это противопоставление, и если объект является квадратом, то называть его прямоугольником глупо и бессмысленно. Видимо, школьное математическое образование неким образом накладывает свои рамки на естественную картину мира и уже после этого начинает казаться, что «математическая» картина мира и есть правильная. А идея, что возможна еще какая-то другая параллельная этому система понятий, даже не приходит в голову.