Воображаемая логика васильева реферат
Обновлено: 02.07.2024
Васильев Николай Александрович- логик, психолог, философ. Профессор Казанского университета с 1918. Предвосхитил конструктивизм в логике /неуниверсальность закона исключенного третьего/.
Васильев сравнивает особенности не-аристотелевой логики с особенностями не-евклидовой геометрии. Математиками уже дано реальное истолкование этой геометрии, и подобным же образом он пытается показать, что "при наличии данного некоторого устройства вселенной или нашей способности восприятия логика должна быть по необходимости не-аристотелевой.
Пытаясь соотнести "воображаемый" мир с нашим миром, Васильев намечает проблему, развиваемую сегодня в логике возможных миров, о различии миров на основе разных структур отношений одних и тех же признаков. Например, в нашем мире красное и белое не только различны, но и несовместимы, а красное и сухое только различны. В "воображаемом" мире возможны иные соотношения, в частности несовместимое окажется совместимым, оставаясь в то же время взаимоотрицающим.
Главные сочинения:
"О частных суждениях, о треугольнике противоположностей, о законе исключенного четвертого", "Логика и металогика", "Логический и исторический методы в этике", "Лекции по психологии", "Воображаемая логика".
Если Вам нужна помощь с академической работой (курсовая, контрольная, диплом, реферат и т.д.), обратитесь к нашим специалистам. Более 90000 специалистов готовы Вам помочь.
Поможем написать работу на аналогичную тему
Похожие рефераты:
Попытка свести логические законы к психологическим явлениям (ассоциациям) была сделана Н.Я.Гротом в его "Реформе логики" и отчасти И.Ягодинским в его книге "Генетический метод в логике".
Денотат (от лат. denoto — обозначаю), или десигнат, предметное значение — в логике и семантике предмет, обозначаемый именем некоторого языка (в формализованном языке — константой или термом), или класс предметов.
Виды непосредственных умозаключений. Демонстративные умозаключения. Структура и классификация умозаключений.
Исследователь и интерпретатор Гегеля, Ильин создал затем оригинальную концепцию, в который обосновал необходимость "верующей мысли" и бесплодность "мышления баз сердца".
Лопатин Лев Михайлович - философ спиритуалистического направления, преимущественно психолог.
Логика - наука о формах и законах правильного мышления. Понятие интуитивной логики, зачем она нужна и ее роль в нашей жизни. Применение логических законов, не подозревая об их существовании. Традиционная и современная логика, основные этапы их истории.
Дебольский Николай Григорьевич- философ, математик, переводчик Гегеля. В своем "феноменальном формализме" применил философию Гегеля для укрепления теизма.
Ее еще называют символической логикой. Математическая логика - это та же самая Аристотелева силлогистическая логика, но только громоздкие словесные выводы заменены в ней математической символикой.
Номинальные и реальные определения. Явные и неявные определения.
Фонвизин Михаил Александрович - представитель утопического социализма. Член декабристкой организации "Союз спасения", готовил программу и устав Северного общества декабристов.
Гиляров-Платонов Никита Петрович- философ, публицист. Профессор Московской Духовной Академии. Пытался проанализировать диалектику Гегеля с позиций формальной логики. Близок славянофилам.
Значение истории парадоксов. Парадоксы в различных сферах познания. Причины парадоксов. Оценка характера парадоксов. Методологические функции парадоксов.
Алексеев Николай Николаевич- философ, правовед, участник евразийского движения. Эволюционировал от неокантианства через феноменологию к критическому реализму, полагая традиционные метафизические проблемы научно необъяснимыми.
Обычная Аристотелева логика называется двузначной, потому что ее высказывания, имеют два значения, то есть они могут быть либо истинными, либо ложными. Однако мы знаем, что в реальности далеко не всегда можно определить точно истинность или ложность.
Козлов Алексей Александрович - философ-персоналист. Признавал существование множества бесконечных духовных субстанций, центральная из которых - Бог. Критиковал гегелевскую диалектику, позитивизм и материализм.
При помощи многочисленных цитат из буддийской литературы Кожевников дает яркое изображение буддийского абсолютного отрицания мира, их учения о том, что всякое космическое бытие есть зло, что источник личного существования - себялюбие.
Давыдов пытается обосновать "философию слова" (формирование языка связывает с историческими особенностями национального бытия и законами человеческого мышления), определяет ряд эстетических категорий и специфику литературных родов и жанров.
Своеобразность логической теории, классическое и неклассическое в логике, история развития. Основные идеи интуиционизма, абсолютные и сравнительные модальности, особенности и виды логики. Возможность научной этики и главные законы логики оценок и норм.
История возникновения и дальнейшего развития логики как науки, а также анализ ее современного значения и содержания. Особенности становления и сравнительная характеристика символической (математической), индуктивной, диалектической и формальной логики.
Зеньковский Василий Васильевич- философ и психолог. От концепции всеединства Вл. Соловьева шел к построению метафизики человека и интуитивизму. Разработал концепцию психофизического взаимодействия.
ЛОГИКА И ИСТОРИЯ ЛОГИКИ
Н.В.Мотрошилова
и вклад В.А.Смирнова в ее исследование
Историко-логические изыскания, посвященные появившимся в 1910–1913 гг., опередившим свое время, но потом надолго забытым работам российского логика Николая Александровича Васильева (1880–1940), В.А.Смирнов начал еще в студенческие годы. Его интерес к трудам казанского логика, как свидетельствовал сам В.Смирнов, был пробужден публикациями П.В.Копнина и поддержан В.Ф.Асмусом и П.С.Поповым. Фундаментальная статья о Васильеве, опубликованная В.Смирновым в 1962 году, была написана раньше, во второй половине 50-х годов. В последующей работе по разысканию рукописей, разъяснению и формализации идей Н.Васильева (имеются в виду исследования бразильского логика Аиды Арруды, отечественных ученых В.В.Аносовой, В.А.Бажанова), по изданию произведений видного российского логика В.Смирнов участвовал самым активным и непосредственным образом. Итак, если сейчас идеи Н.Васильева не остались в забвении и заняли определенное место в истории логики, то это во многом произошло благодаря разысканиям и глубоким интерпретациям В.Смирнова[1]. Хотелось бы обратить внимание на всю неслучайность интереса к Васильеву в его научной биографии. Рано проявивший склонность к новаторству, В.Смирнов сумел еще в 50-60-х годах разглядеть в Н.Васильеве логика-новатора, предвосхитившего поиски в той области неклассической логики, которую ныне называют паранепротиворечивой логикой и перспективность которой, повидимому, еще больше подтвердили последние два десятилетия ХХ века[2]. В предисловии к избранным трудам Н.А.Васильева В.Смирнов, вместе с тем, справедливо отметил, что пока вся значимость работ российского логика в полной мере не осознана. Это замечание может
быть отнесено не только к чисто логическим, но и философским идеям Васильева и всему его наследию. Еще ждет своей оценки его роль в истории отечественной философии.
Философские основания и историко-философские
Более конкретной философско-логической предпосылкой именно этого шага является у Васильева рассуждение относительно такого заключенного в законе противоречия специфического момента, каким является отрицание. Последовательность рассуждений Васильева такова. Закон противоречия выражает несовместимость утверждения и отрицания. A не может быть не – A. Отрицание есть то, что несовместимо с утверждением. Там, где нет совместимости, мы не имеем права говорить об отрицании (например, в случае простого различия или отсутствия предиката). Мы можем отрицать признак P у предмета, только когда утверждаем у него признак N, исключающий P. При отрицательном суждении, говорит Васильев, мы имеем дело с выводом типа:
N исключает P, несовместимо с P (положение несовместимости)
S не есть P (выводное отрицательное суждение)
Post Scriptum
В заключение хочу заметить, что диалектическо-материалистическая трактовка противоречия негативно повлияла на исследование соответствующего пласта диалектики Гегеля. Понимание противоречия у Гегеля (и в частности, его отношение к трактовке закона противоречия в формальной логике) нуждается в современном исследовании, благодаря которому, возможно, в новом свете предстанет эта, казалось бы, хорошо известная тема.
[1] Смирнов В.А. Логические взгляды Н.А.Васильева // Очерки по истории логики в России. M., 1962; Он же. Аксиоматизация логических систем Н.А.Васильева // Современная логика и методология науки. М., 1987. С. 143–151; Он же. Логические методы анализа научного знания. М., 1987. С. 161–169; Он же. Логические идеи Н.А.Васильева и современная логика // Васильев Н.А. Воображаемая логика. М., 1989. С. 229–259.
[2] Arruda A.I. A survey of paraconsistent logic // Mathematical logic in Latin America. N.Y.; Oxford, 1980, P. 1–41; Priest Y., Routhley R. Introduction: paraconsistent logics // Studia logica. 1984. Vo l 43, № 1/2. P. 3–16.
[3] Васильев Н.А. Воображаемая логика. М., 1989. С. 54. См.: также С. 78 и т.д.
Воображаемая (неаристотелева) логика Н.А. Васильева, одного из основоположников современной неклассической логики, является его самой известной логической системой. Дедуктивная система, преложенная им, представляет собой силлогистику особого типа, в языке которой вместе с формами утвердительных и отрицательных суждений содержатся формы противоречивых (индифферентных) суждений. Последние представляют собой суждения нового качества и содержат связку >. Статья посвящена изложению результатов исследования одного из вариантов Воображаемой логики Николая Александровича Васильева. Этот вариант Воображаемой логики отличается не только от традиционной силлогистики, но и от основной версии. Здесь с каждым термином категорического суждения связывается не множество индивидов, а совокупность признаков, а силлогистические константы рассматриваются как обозначающие интенсиональные отношения между понятиями. Исследование предполагало рассмотрение этого варианта Воображаемой логики как силлогистической теории и производилось на базе системы, построенной для данной логики В.И. Маркиным и Д.В. Зайцевым. В статье кратко изложена система Воображаемой логики – 2, доказаны: законы тождества, законы противоположностей, законы подчинения, законы обращения и законы исключённого четвёртого, принимаемые в этой логике. Далее последовательно рассмотрены все четыре фигуры силлогизмов. В каждой фигуре рассмотрены все возможные комбинации посылок (36 комбинаций, для каждой фигуры) со всеми возможными заключениями (шесть возможный заключений, для каждой комбинации посылок). Произведено доказательство правильных силлогизмов каждой фигуры, а также приведены примеры возможных контрмоделей для опровержения всех неправильных модусов. Результатом работы является выделение законов данной силлогистической теории, а также намечено дальнейшее направление исследования, ставится вопрос о возможности формулирования общих правил силлогизма данного варианта Воображаемой логики.
«Русский логик Н.А. Васильев ещё в начале XX века заметил, что общая логика может существовать только при наличии общих всем предметам свойств; при отсутствии этого, логик может быть много.
По его мнению, возможны разные системы суждений о фактах и понятиях, а значит и разные логики.
Классическую логику Н.А. Васильев связал с геометрией Евклида и физикой Ньютона, и для суждения о понятиях, а не фактах, предложил свою логику.
Выглядит это так:
Все собаки пятнисты;
Ни одна собака не пятниста;
Собаки могут быть пятнисты и не пятнисты.
В отличие от формальной логики, логика Н.А. Васильева более соответствует реальному трёхмерному миру.
5 - автореферентно (истинно только для данной личности),
+ Ваши дополнительные возможности:
Изображения в статье
Изображение Colin Behrens с сайта Pixabay
347 постов 51 подписчик
Я то же так могу. Смотрите:
Суждение может быть:
Я придумал восьмиричную логику, а если было бы не лень и дальше писать, то мог бы вообще оставить Васильева и Уилсона далеко позади.
Физик и живые системы…
О своей юности вспоминает Сергей Петрович Капица
«В экспедиции приходилось сталкиваться с проблемами, порой самыми неожиданными.
+ Дополнительные материалы по теме:
Изображения в статье
Сергей Петрович Капица, By Aleksandr Plyushchev - originally posted to Flickr as 0907 034, CC BY 2.0
Настоящее исследование тлеет своей целью обоснование глубокой внутренней связи, как в плане логики, так и в философском плане, логических идей Н.А.Васильева и основных положений современной концепции интенсиональной логики, а именно паранепро-тиворечивой логики.
Паранепротиворечивая логика является одной из новейших систем неклассической логики. Первые пропозициональные исчисления этой логики были построены С.Яськовским в конце 40-х годов. Однако история возникновения идей паранепротиворечивой логики начинается с работ нашего замечательного логика Н.А.Васильева, который в начале XX века опубликовал ряд статей, посвященных анализу основных законов традиционной логики и созданию новой, неаристотелевской логики.
Возникновение паранепротиворечивой логики связано в первую очередь с необходимостью изучения теорий, в которых существуют парадоксы, антиномии, средствами современной математической логики. Необходимость и возможность такого изучения подтверждается весьма существенными положительными результатами. Применение логики для разрешения парадоксов имеет свою многовековую историю. Вспомним апории Зенона. Многие поколения логиков предлагали свои способы разрешения этих парадоксов. Заметим, что на каждом этапе развития логики в результате совершенствования ее средств и методов все более тонким и углубленным становился анализ этих апорий. В них выявлялись новые, не замеченные ранее аспекты. И хотя проблема разрешения этих парадоксов так и не получила своего окончательного решения, тем не менее можно
говорить о плодотворности попыток ее разрешения для развития самой логики.
Все более интенсивное применение аппарата современной математической логики при решении многих вопросов философского, гносеологического характера является стимулом для создания и исследования неклассических систем логики. В настоящее время особенно остро встал вопрос использования методов математической логики в теории познания. Предметом пристального внимания стало научное мышление, его структура, проблема развития теоретического мышления. А в связи с тем, что современное состояние многих теоретических дисциплин характеризуется наличием в них гипотез, которые противоречат друг другу либо вступают в противоречие с некоторыми постулатами теории, но тем не менее являются рабочими, т.е. приводящими к положительным результатам, встала проблема создания новых логичесішх методов для изучения этих теоретических построений.
Следует отметить, что возникновение неклассических логик очень тесно связано с возникновением проблем в других областях знаний. Так кризис, в математике на рубеже XIX и XX веков в связи с обнаружением парадоксов в канторовской теории множеств послужил стимулом для создания интуиционистской и конструктивной логики. Можно с уверенностью сказать, что и создание систем паранепротиворечивой логики явилось результатом появления в научном мышлении вообще и в теоретическом познании конкретных наук в частности новых проблем и вопросов. Логическое мышление не может не изменяться под влиянием развития научного мышления. Классическая логика оказывается недостаточной для использования ее, например, в исследованиях квантовой механики. Необхо-
димость создания логических систем наиболее,адекватно отражающих структуру новых теоретических конструкций,для изучения этих построений не подлежит сомнению.
Серьезного внимания заслуживает взаимосвязь диалектики и логики, диалектической логики и логики формальной. Проблема использования средств и методов современной символической логики для изучения, анализа, для лучшего понимания некоторых положений, категорий диалектической логики стала в настоящее время предметом обсуждения для многих специалистов. Мы не тлеем в виду формализацию диалектической логики. Речь идет о том, что в арсенале средств современной математической логики тлеются такие, которые могут оказаться весьма эффективными при анализе таких понятий, как, например, изменение, противоречие, отрицание. Уже были достаточно успешные попытки фрагментарной формализации логики Гегеля, построения логики изменения. Это говорит о том, что математическая логика, не претендуя на разрешение глобальных проблем диалектической логики, может оказаться полезной при исследовании некоторых ее аспектов.
Все это послужило причинами создания систем так называемой паранепротиворечивой логики, которая заслуживает особенного внимания в связи с тем, что она с момента зарождения ее основных идей была целиком и полностью связана с философской проблематикой, с задачами теории познания.
Нельзя не учитывать также того факта, что развитие логики как науки постоянно рождает имманентные проблемы, которые разрешаются, в частности, путем создания новых концепции, построения новых систем, исчислений. О паранепротиворечивой логике можно с уверенностью сказать, что это не множество логических
исчислений, объединенных общим названием, а вполне самостоятельная ветвь современной логики.
Паранепротиворечивую логику кратко можно определить следующим образом: логика является паранепротиворечивой, если она может быть использована как логика, лежащая в основе противоречивой, но не тривиальной теории. А дедуктивная теория является нетривиальной противоречивой, если в ней есть такая формула /J , что как она, так и ее отрицание 7/? являются теоремами в теории, и когда есть по крайней мере одна формула, которая не является формулой в этой теории.
В связи с тем, что в паранепротиворечивых логических системах существуют такие формулы, что как они, так и их отрицания являются теоремами в этих системах, в-эти системы вводится кроме классического отрицания второе, неклассическое. Свойства этого отрицания отличаются от свойств классического: оно не: переводит истину в ложь и наоборот, т.к. формулы /f и 7// в качестве теорем являются истинными в этих системах. Наличие двух видов отрицания является одной из существенных характеристик паранепротиворечивых логических исчислений.
Второй основной чертой паранепротиворечивых логик является отношение к закону противоречия: он не является принципом в этих логиках (равно, как и его отрицание), но из /? и 7$ , вообще говоря, нельзя вывести любую формулу.
Построение паранепротиворечивых логических систем связано со своеобразной трактовкой парадоксов и антиномий. Во-первых, не все парадоксы, а только формальные, т.е. те, которые являются источником возникновения в теории двух теорем вида /f и 7/I , анализируются в этих системах. Во-вторых, понятие анти-
номии также ограничено: лишь формальные, которые определяются как металогическое доказательство того факта, что данная теория является тривиальной, антиномии служат критерием отбора исследуемых теорий. Только формально-парадоксальные, но не формально-антиномичные теории могут быть предметом исследования для паранепротиворечивых логических систем.
Вопрос о философском значении паранепротиворечивой логики в настоящее время стоит как проблема философского осмысления этой логики, будучи непосредственно связанной с проблемами гносеологии, методологии науки, паранепротиворечивая логика тем не менее еще не обрела статуса философски значимой неклассической логики. Существует явная тенденция преувеличения философской важности паранепротиворечивой логики. Порой это связано с упрощением тех гносеологических проблем, для решения которых строятся паранепротиворечивые логические системы, порой - с поспешностью выводов и обобщений. Так,зачастую совершенно игнорируется факт качественного своеобразия диалектического противоречия в области объективной реальности и в сфере познания. Безусловно, большую роль в решении проблеїлн философского значения паранепротиворечивой логики играют как объективные, так и субъективные факторы. К первому относится степень развитости самой паранепротиворечивой логики, масштабность решаемых ею задач, ко второму - философские позиции исследователей этой проблемы. В настоящее время оба эти фактора действуют пока не во всей полноте и объеме. Поэтому нет оснований надеяться на разрешение данной проблемы в ближайшее время.
Интерес к истории зарождения идей паранепротиворечивой
логики в большой степени связан с проблемой философского значения этой логики.
Почти все исследователи паранепротиворечивой логики считают, что основная идея этой логики зародилась в работах Н.А.Васильева и Я.Лукасевича, которые вышли почти одновременно в 1910 году. Причем, в работах Васильева эта идея была выражена более четко и полно. Кратко ее можно изложить следующим образом: исключение закона противоречия из списка основных логических принципов и введение нового, отличного от классического, отрицания.
Анализ работ Н.А.Васильева приводит к оценке его как ученого, реализовавшего свои философские взгляды в логических исследованиях.
Общая материалистическая линия с явным тяготением к диалектике не всегда проводится Васильевым последовательно. В связи с тем, что основной интерес Васильева связан с гносеологией, именно в этой области сильнее всего сказываются как положительные, так и отрицательные стороны его философских воззрений. К первым, безусловно, можно отнести его трактовку процесса познания как взаимодействия объекта и субъекта, принципиальное неприятие игл агностицизма, распространившегося в то время в форме релятивизма. С другой стороны, в его работах нетрудно найти элементы неокантианства, которые негативно повлияли на понимание Васильевым предмета логики, роли и значения основных логических принципов.
Основная идея Васильева - идея неединственности аристотелевской логшш. Рассуждения его при этом таковы: подобно тому, как эвклидова геометрия, по мнению Лобачевского, была только
одной, но отнюдь не единственной, из возможных геометрий, так и "наша земная" (т.е. традиционная - В.А.) логика является не единственной из возможных логик.
Кроме непосредственного влияния неевклидовой геометрии Лобачевского тлелся еще один существенный фактор: идея аксиоматизации логики, которую Васильев принял как само собой разумеющееся, необходимое теоретическое требование. Следствием этого явилось понимание основных принципов традиционной логики как системы независимых аксиом и анализ их с целью выявления, какие из них могут варьироваться или отбрасываться. Этот анализ привел к выявлению в логике теоретического и эмпирического уровней.
Одним из доказательств возможности построения неаристотелевской логики явилось у Васильева создание "воображаемой" логики, по аналогии с "воображаемой" геометрией Лобачевского.
Одной из основных своих задач Васильев считал "необходимость разобраться в вопросе о неизменности и абсолютности логических принципов и основных законов мышления и показать, что одни из них действительно неизменны, неустранимы и абсолютны (формальные, рациональные принципы логики), другие же (например, закон противоречия и закон исключенного третьего) относительны, устранимы из логики, материальны и эмпиричны" .
Проанализировав взгляды философов на логические законы, Васильев делает вывод о том, что ни закон противоречия, ни закон исключенного третьего не принимались на протяжении долгого
Васильев Н.А. Логика и металогика. - Логос 1-2, I9I2-I9I3, с.54.
времени развития философии и логики безоговорочно в качестве абсолютных принципов логического мышления. По мнению Васильева, именно эти законы эмпиричны по своей природе, т.к. являются как бы обобщением из опыта. Поэтому их можно варьировать или элиминировать.
Так, закон исключенного третьего, являющийся отражением того факта, что в реальной действительности мы не встречаем объектов с несовместимыми, противоречащими друг другу свойствами (как, например, красный и одновременно не-красный шар), вполне допустимо исключить из списка основных логических принципов, т.к. в этот список должны входить только сугубо рациональные, не зависящие от природы познаваемых объектов принципы.
В законе же противоречия слиты воедино два закона: эмпирический закон противоречия (который Васильев берет в кантов-ской формулировке, т.е. "ни одной вещи не принадлежит предикат, противоречащий ей") и сугубо рациональный закон несамопротиво-речия, закон абсолютного различия истины и лжи. Он формулируется следующим образом: "Суждение не может быть зараз истинным
Анализ логических принципов мышления позволил Васильеву выявить то безусловно рациональное и формальное ядро логики, без которого невозможна никакая логика. Этот логический мини.-; Логические идеи Н.А. Васильева и паранепротиворечивые системы логики
Читайте также: