Воображаемая логика – 2 Н.А. Васильева как силлогистическая теория.

Abstract

Воображаемая (неаристотелева) логика Н.А. Васильева, одного из основоположников современной неклассической логики, является его самой известной логической системой. Дедуктивная система, преложенная им, представляет собой силлогистику особого типа, в языке которой вместе с формами утвердительных и отрицательных суждений содержатся формы противоречивых (индифферентных) суждений. Последние представляют собой суждения нового качества и содержат связку <<есть и не есть одновременно>>. Статья посвящена изложению результатов исследования одного из вариантов Воображаемой логики Николая Александровича Васильева. Этот вариант Воображаемой логики отличается не только от традиционной силлогистики, но и от основной версии. Здесь с каждым термином категорического суждения связывается не множество индивидов, а совокупность признаков, а силлогистические константы рассматриваются как обозначающие интенсиональные отношения между понятиями. Исследование предполагало рассмотрение этого варианта Воображаемой логики как силлогистической теории и производилось на базе системы, построенной для данной логики В.И. Маркиным и Д.В. Зайцевым. В статье кратко изложена система Воображаемой логики – 2, доказаны: законы тождества, законы противоположностей, законы подчинения, законы обращения и законы исключённого четвёртого, принимаемые в этой логике. Далее последовательно рассмотрены все четыре фигуры силлогизмов. В каждой фигуре рассмотрены все возможные комбинации посылок (36 комбинаций, для каждой фигуры) со всеми возможными заключениями (шесть возможный заключений, для каждой комбинации посылок). Произведено доказательство правильных силлогизмов каждой фигуры, а также приведены примеры возможных контрмоделей для опровержения всех неправильных модусов. Результатом работы является выделение законов данной силлогистической теории, а также намечено дальнейшее направление исследования, ставится вопрос о возможности формулирования общих правил силлогизма данного варианта Воображаемой логики.