Cтраница 3
Прежде чем этот вывод настроит читателя на чересчур оптимистичный лад, отметим, что рост эффективности системы по большей части мог бы произойти благодаря обычной, значительно менее формальной ее настройки и отладки, что характерно для развития большинства систем обработки информации. Дело в том, что, хотя и верно, что программирование на вычислительных машинах скорее искусство, чем наука, высококвалифицированных и знающих программистов очень много. Тем не менее развитие эротетической логики сулит существенно большую выгоду. [31]
Интерес к этой области свойствен развивающемуся субъекту, которого долгое время резко осуждали за приверженность к анализу языковых механизмов и к ассерторической логике и которому ставили в пример эротетического логика. Вторым мотивом, побудившим нас заняться эротетической логикой, является насущная необходимость понять природу вопросно-ответного отношения и тем самым обеспечить построение теоретического фундамента для создания новой технологии, существенной для актуальных практических приложений в области обработки информации. Эти приложения, известные под названием системы управления базой данных, в настоящее время вызывают значительный общественный интерес в связи со своими потенциальными способностями, к примеру, допустить к власти негодное правительство, а также тайно, полуявно и явно вторгаться в личную жизнь человека. [32]
Что касается вопросов, то здесь мы сошлемся на К. Хэм-блина [ 19581: Знание того, что считается ответом, равносильно знанию вопроса. На этом представлении о вопросах покоится вся наша эротетическая логика: сущность вопроса отражена в способе, которым он предоставляет правильные ответы; причем участники вопросно-ответной ситуации по характеру вопроса должны определить, какими должны быть правильные ответы на него. [33]
Дается характеристика нескольких систем логики вопросов, и в частности Белнапа и Оквиста. Разбирается понятие педагогического вопроса - педагогического в широком смысле слова. Адекватная система, которая может иметь дело с педагогическими вопросами, есть эротетическая логика в широком понимании слова эротетическая, охватывающая не только отдельные интеррогативы, но и множества интеррогативов различных типов, а также множества соответствующих ответов разных типов. Именно такого рода эротетическая логика слегка затронута в работе и более полно изложена в приложении. Ставится вопрос относительно ее адекватности. [34]
Тем не менее эти языки являются, или по крайней мере должны являться по замыслу, строго формальными и имеют точно определеннее и недвусмысленные синтаксис и семантику. В такой сЫ туации эротетическая логика, построенная не на строго формальном языке, адекватно отражает действительность. Мы не отрицаем, что развитие исследований в области перевода с естественного языка на формальный весьма желательно, однако мы не считаем, что оно является существенным звеном в применении эротетической логики в той степени, как мы разрабатываем ее для практических задач анализа вопросно-ответных систем. [35]