Диссертации по философии, автореферат и диссертация на тему Логика Специальность ВАК РФ: 09.00.07
Логика древнего Китая
Крушинский, Андрей Андреевич — Москва, 2006Общая характеристика работы. Существует единственная цивилизация в мире, которая, развивая систематическую рефлексию относительно характерных для нее способов образования и обобщения понятий, а также относительно отвечающих этим способам приемов дедуктивного рассуждения, сформулировала соответствующую систему соответствующих...
Логико-философские исследования Боэция
Гусева, Марианна Анатольевна — Санкт-Петербург, 2006Для второй традиции характерно отрицание связи логики и философии. Исходя из этого, логика определялась, например, у представителей гуманистического направления как часть риторики, или у сторонников психологической трактовки логики как часть психологии...
Модальные логики с нестандартными модальностями
Шкатов, Дмитрий Петрович — Москва, 2006Что касается логик с экзистенциальной модальностью (#), то модальность (#) привлекла внимание логиков совсем недавно и к настоящему времени единственной работой, посвященной логикам с (#), является [9], где семантически определяется и изучается логика PDWath. Важно отметить, что для практических применений PDLpat/l, для которых она была предложена...
Системная модель аргументации в практической философии И. Канта
Сологубов, Александр Михайлович — Калининград, 2006В разное время аргументация изучалась с разных точек зрения. До середины XX века господствовал логический подход, являющийся стандартным. Хотя представления о логике различны и многочисленны, они...
Теория смысла в общей интенсиональной логике
Микиртумов, Иван Борисович — Санкт-Петербург, 2006Термин «интенсиональные» часто используют как родовой для обозначения пеклассических логик вообще. При этом подразумевается противопоставление интенсиональных логик экстенсиональным. К последним относят системы, формализующие такие контексты естественного языка, в которых без ограничений выполняется закон Лейбница, так что интенсиональными в...
Семантический анализ простых паранормальных логик
Баташев, Денис Вячеславович — Москва, 2005Исследование паралогик конституировалось в самостоятельный раздел современной логики во второй половине 70-х годов XX века. Особенно интенсивно идет изучение паранепротиворечивых логик. К настоящему времени массив работ по паранепротиворечивым логикам труднообозрим, работ по паралогикам значительно меньше, а работы, специально посвященные анализу...
Современные проблемы использования табличных методов в логике
Антонова, Ольга Аркадьевна — Санкт-Петербург, 2005Важным и интересным представляется то, что табличные исчисления освобождают нас от необходимости многократного переписывания формул, появляющихся в выводе, что необходимо делать в секвенциальных исчислениях. Это свойство табличных исчислений намного сокращает вывод и делает его простым и ясным. Именно легкость и простота доказательства (при помощи...
Теория рассуждений Ч. Пирса
Боброва, Ангелина Сергеевна — Москва, 2005Перечислить все действительно великие заслуги Пирса в области как классической, так и неклассической логик, вряд ли возможно. Главной задачей своей логики он видит отражение ею проблемы прироста знания и, поэтому отводит ей одну из ключевых ролей в построении единой фундаментальной философской системы, создание которой он так и не завершил. Пирс...
Трансформация идей И. Канта в работах русских логиков конца XIX - начала XX веков
Ломова, Ирина Олеговна — Санкт-Петербург, 2005Влияние Канта на философскую мысль в России конца XIX — XX вв. еще недостаточно изучено. Современники ограничились критикой как учения самого Канта, так и его последователей-неокантианцев. В советский период в философии сложилась традиция рассматривать это направление преимущественно как противоречивое соединение идей материализма и субъективного...
Автоматический поиск натурального вывода в классической логике предикатов
Шангин, Василий Олегович — Москва, 2004Натуральные системы типа Куайна, в отличие от натуральных исчислений типа Генцена, содержат прямое правило удаления квантора существования. Как следствие, в натуральных системах типа Куайна между посылками и заключением не всегда имеет место отношение логического следования...
Аналитико-табличная формализация систем временной логики
Григорьев, Олег Михайлович — Москва, 2004Среди наиболее важных и интересных проблем, встающих при изучении логических систем, выделяется проблема разрешимости и разработки разрешающих и полуразрешающих процедур. Эффективность понятия логического закона есть свойство, наличие или отсутствие которого является фундаментальной характеристикой любой логической системы. В связи с интенсивным...
Интуиционистская логика и теория множеств
Хаханян, Валерий Христофорович — Москва, 2004Интуиционизм мыслился его создателем Л. Брауэром как полностью невозможное к формализации математическое знание, ибо в основу математической деятельности Л. Брауэр положил интуитивную ясность и точность математических определений и конструкций...
Логико-методологическое исследование происхождения теории поиска вывода
Ходикова, Нина Анатольевна — Калининград, 2004Результаты исследования могут быть использованы для разработки курса «Истории логики», «Философские проблемы математики», спецкурсов «Логические проблехмы искусственного интеллекта» и «Теория поиска вывода...
Паранепротиворечивость и релевантность
Кварталова, Наталия Леонидовна — Москва, 2004Помимо столь далеко идущих перспектив стоит отметить и популярную в мире тенденцию систематизации логик, попытки создания иерархии ♦ логических систем и установления отношений между различными классами логик. Существует несколько различных методов систематизации логических систем, однако ни г один из них не является универсальным. Мы пользуемся...
Логические идеи И. Канта
Михайлов, Кирилл Авенирович — Москва, 2003Концентрируются такие исследования обычно вокруг проблемы соотношения общей и трансцендентальной логики и близких ей проблем, например, проблем, связанных с пониманием кантовской концепции истины, суждения, предмета, с вопросом о полноте системы логических форм суждений и т.д. Популярно также использование логических средств при анализе...
Обоснование дедуктивного подхода в научном объяснении
Тарковский, Владимир Николаевич — Санкт-Петербург, 2003Аналитическая философия как направление в этом отношении мало чем отличается от других. Основная задача данного исследования не впасть в одну из крайностей, тем более что одной из заслуг этого направления и является попытка найти "золотую середину...
Применение системной модели аргументации к анализу текста
Золотов, Эдгар Станиславович — Санкт-Петербург, 2003Логическая подмодель отображает такое свойство аргументации как обоснованность одних высказываний другими высказываниями. Точно определенный запас средств аргументации является достоинством логического подхода...
Проблема формализации концепций параллелизма и ограниченной рациональности средствами динамической логики игр
Нечитайлов, Юрий Вячеславович — Санкт-Петербург, 2003За последние сорок лет представлено множество формализации параллельных процессов в теоретической информатике и теории формальных языков. Существует и математическая модель: алгебра параллельных процессов. К сожалению, в логике эта тема почти не отражена. Этот факт показывает не консервативность логики, а технические трудности представления...
Расширение выразительных возможностей языка современной логики
Яйлеткан, Александр Александрович — Санкт-Петербург, 2003Идея исследования состоит в предположении, что символические обозначения логических связок можно моделировать арифметическими операциями, что позволит применять методы математической (символической) логики в алгоритмических языках программирования и расширит выразительные возможности языка современной логики компонентом арифметики логики в...
Теория вывода в многозначных логиках
Комендантский, Владимир Евгеньевич — Москва, 2003Если логика истинностно-функциональна, это непосредственно означает существование метода вычисления значения истинности для любого высказывания, записанного на языке этой логики. В этом состоит привлекательная в техническом смысле сторона многозначных логик: по любой формуле можно легко сказать, что она «значит». Сохраняется ли эта...
