Философия и логикаСмысл: формальное ядро, экспериментальная программа и граница доказуемостиСергей Котиков