Язык логики

Description

Научно-популярных книг по логике на русском языке пока нет. Быть может, в этом одна из причин явного и безусловного успеха книги Фрейденталя. Автор книги — профессор X. Фрейденталь — известный голландский математик с весьма широкими интересами. Развивая традиции отечественной школы интуиционистов, он еще в 30-е годы внес существенный вклад в построение интуиционистской топологии. В последние годы большую популярность завоевала книга Фрейденталя «Lincos» («Lingua cosmica»), описывающая предложенный им «космический язык». «Язык логики» не есть то, что принято называть «увлекательной» книгой; вернее, увлекает в ней неискушённого читателя не форма изложения, предельно простая и скромная, а сам процесс приобщения к серьёзному знанию. Автор не заигрывает с читателем, не соблазняет его «красочными» примерами, но относится к нему с уважением и доверием. Не подавляет его обилием «учёных» терминов, но и не «успокаивает» тем, что в логике «всё просто». Задачу свою автор видит не в сообщении как можно большего количества сведений, а в том, чтобы обучить самим основам именно «языка логики» — того самого языка, на котором читатель мог бы и говорить затем, не рискуя быть смешным, как всякий полузнайка, и читать книги, написанные на этом языке. Глава 1. Множества и отображения 7 Глава 2. Высказывания 35 Глава 3. Субъект и предикат 57 Глава 4. Формальная логика 89 Глава 5. Язык и метаязык 116