Теперь о другой работе на стыке докритического и критического периода, об «Опыте введения в философию понятия отрицательных величин» (1763), где Кант выдвигает очень глубокие идеи. Иногда говорят, что Кант принимал только традиционную силлогистику. Это не совсем так. Он четко понимает значимость «исчисления счастливых случайностей», т. е. теории вероятностей, и называет ее
У Канта имеется и несколько иного плана очень интересная, но, к сожалению, не получившая развития мысль о расширении логического на другие сферы. Эта идея, насколько мне известно, оказалась не реализованной. Я имею в виду следующее. В упомянутой работе «Опыт введения в философию понятия отрицательных величин» Кант пишет, что в математику вошло учение о положительных и отрицательных числах. Но никакого его аналога, если мы абстрагируемся от количественной стороны дела, в области философской проблематики не разрабатывается. И далее Кант выдвигает интересную программу рассмотрения, внедрения этих идей. Нас в первую очередь интересует область собственно логических исследований. Здесь, я думаю, этой мысли можно придать более оперативный смысл. При этом можно поступить двояким образом. С одной стороны, можно использовать общую теорию измерения, разрабатываемую школой П. Суппеса, А. Тверского и др.[5]
Обычно теория измерений строится таким образом, что используется множество положительных действительных чисел. Теория, когда рассматриваются все действительные числа, менее разработана. А это нетрудно сделать, учитывая наличие развитых теорий измерений, и рассмотреть шкалу отображения на все числа (положительные и отрицательные). Это один путь. Второй путь рассмотрения, который может быть более нагляден, – это сопоставление в логике понятию не только объема, но и антиобъема. Любое понятие характеризуется как тем классом объектов, которые обладают какими–либо признаками, так и тем классом объектов, которые ими заведомо не обладают. Впервые эта идея использована Крипке в последних его работах. Если мы будем понятие характеризовать парой – классом тех объектов, которые обладают, и классом объектов, которые не обладают признаками (при этом мы не обязаны допускать, что пересечение объема и антиобъема не пусто и что их объединение охватывает весь универсум), то это дает возможность понять реальные противоположности в смысле Канта. Например, когда мы говорим «счастливый», мы характеризуем классы людей, обладающих и заведомо не обладающих этим свойством, хотя эти классы могут пересекаться и т. д. И тогда противоположное понятие есть понятие, где антиобъем стал объемом, а объем – антиобъемом. Таким образом, мы даем очень хорошую экспликацию понятия противоположного.
Н. А. Васильев писал, что мы привыкли считать, что наши органы чувств дают только положительную информацию, а для отрицательной информации у нас органов чувств нет. Отсутствие признака есть всегда результат вывода. «Стол не зеленый». Что это такое? Я не вижу, что он не обладает зеленостью. Я вижу, что он желтый, а желтым и зеленым предмет не может быть одновременно, и отсюда делаю вывод, что он не зеленый. А представьте себе организм, который может воспринимать не только наличие признака, но воспринимает и отсутствие признака. И тогда может оказаться, что он одновременно может быть и зеленым, и не зеленым. Или представьте прибор, имеющий n каналов, выходов. Мы приходим к идее многомерной логики. И в этом отношении идея Канта об отрицательных величинах в математике очень глубока. Если ее переформулировать в логическом плане, она актуальна в наши дни. И самое главное, имеются средства для ее обсуждения.
В итоге мне хочется подчеркнуть, что я специально взял вопросы, лежащие в истоках философии Канта, относящиеся к переходу от докритического к критическому периоду. Здесь идеи более просто сформулированы, но на базе этих идей в последующем реализуется кантовская философия, и я думаю, здесь имеются возможности, во–первых, проанализировать многие собственно кантовские идеи с использованием современных средств. Во–вторых, внимательное прочтение Канта с этой точки зрения подскажет нам новые пути развития логической науки, будет стимулировать разработку новых логических средств.