Глава 9. Почему исчисления логики и арифметики применимы к реальности?

В своем выступлении¹ проф. Райл ограничился вопросом применимости правил логики, точнее, логических правил вывода. Я последую его примеру и лишь несколько позднее включу в обсуждение применимость логических и арифметических исчислений. Различие, о котором я только что упомянул, между логическими правилами вывода и так называемыми логическими исчислениями (например, пропозициональным исчислением, исчислением классов или исчислением отношений) требует, однако, некоторого разъяснения, и я буду рассматривать это различие, а также связь между правилами вывода и исчислениями, в разделе I. Затем я перейду к рассмотрению двух наших главных проблем: применимость правил вывода (раздел II) и применимость логических исчислений (раздел VIII).

Я буду ссылаться на некоторые идеи, содержащиеся в выступлении проф. Райла, а также в его президентском обращении к Аристотелевскому обществу «Знание Как и знание Что» (1945)².

Это было третье выступление на совместном заседании Ассоциации «Mind» и Аристотелевского общества, состоявшемся в Манчестере в 1946 г. Впервые оно было опубликовано в «Известиях Аристотелевского общества», дополнительный 20-й том. Первым выступал проф. Гилберт Райл. Вторым был доктор К. Леви, однако текст его сообщения поступил слишком поздно, чтобы я мог затронуть его в своем выступлении, первый абзац которого здесь опущен. (338:)