Язык логики

Научно-популярных книг по логике на русском языке пока нет. Быть может, в этом одна из причин явного и безусловного успеха книги Фрейденталя. Автор книги — профессор X. Фрейденталь — известный голландский математик с весьма широкими интересами. Развивая традиции отечественной школы интуиционистов, он еще в 30-е годы внес существенный вклад в построение интуиционистской топологии. В последние годы большую популярность завоевала книга Фрейденталя «Lincos» («Lingua cosmica»), описывающая предложенный им «космический язык». «Язык логики» не есть то, что принято называть «увлекательной» книгой; вернее, увлекает в ней неискушённого читателя не форма изложения, предельно простая и скромная, а сам процесс приобщения к серьёзному знанию. Автор не заигрывает с читателем, не соблазняет его «красочными» примерами, но относится к нему с уважением и доверием. Не подавляет его обилием «учёных» терминов, но и не «успокаивает» тем, что в логике «всё просто». Задачу свою автор видит не в сообщении как можно большего количества сведений, а в том, чтобы обучить самим основам именно «языка логики» — того самого языка, на котором читатель мог бы и говорить затем, не рискуя быть смешным, как всякий полузнайка, и читать книги, написанные на этом языке.