Современная криптография: теория и практика

Но логики будет гораздо больше. Будет отсечен регресс в дурную бесконечность эмпирических "обобщений". 2. Зачем вообще нужна проверка логики - логикой, когда существует иная, радикальная проверка: мышления - бытием, теории - практикой? Просто затем, что проверка мышления бытием, теории - практикой имеет смысл и может что-либо доказывать лишь тогда, когда эта проверка ассимилируется логически и приобретает форму внутренней "проверки", точнее, самообоснования и самоизменения логики; когда не-мышление, не-логика могут выступить как другая логика или как эта же самая логика, но в качестве собственного самообоснования, а значит, и самоизменения, выхода за свои пределы. Итак, ответы на первый и второй вопросы, по сути, совпадают и выражают внутреннюю необходимость современного (теоретическая революция XX века) развития логики. Вместе с тем они выражают возможность разрешения тех радикальных логических трудностей, перед которыми капитулировала философская логика начала XIX века. Другое дело, что эти ответы остаются - пока - благими пожеланиями и не могут быть обоснованы какими-то реальными возможностями (в смысле потенциями) современного логического движения ...»