Диссертации по философии, автореферат и диссертация на тему Логика Специальность ВАК РФ: 09.00.07

Логика древнего Китая

Крушинский, Андрей Андреевич — Москва, 2006

В межцивилизационной перспективе, демонстрация рациональности китайской аргументации, выявление принятых в древнем Китае принципов организации знания и правил преобразования вербализованной информации необходимы для полноценного понимания, как самой китайской культуры, так и специфики менталитета всей синоцентричной цивилизации, включающей в себя...

Логико-философские исследования Боэция

Гусева, Марианна Анатольевна — Санкт-Петербург, 2006

Также следует отметить, что не менее актуальна проблема взаимосвязи логики и философии. Является ли логика частью философии, или она одна из дисциплин философского сознания...

Модальные логики с нестандартными модальностями

Шкатов, Дмитрий Петрович — Москва, 2006

Что касается логик с экзистенциальной модальностью (#), то модальность (#) привлекла внимание логиков совсем недавно, и к настоящему времени единственной работой, посвященной логикам с {М), является статья Н Алешиной, С Демри и М де Райке, в которой семантически определяется и изучается логика РОи*"'1. Важно отметить, что для практических...

Системная модель аргументации в практической философии И. Канта

Сологубов, Александр Михайлович — Калининград, 2006

В разное время аргументация изучалась с разных точек зрения. До середины XX века господствовал логический подход, являющийся стандартным. Хотя представления о логике различны и многочисленны, они совпадают в той идее, что «логика есть исследование средств доказательства»3...

Теория смысла в общей интенсиональной логике

Микиртумов, Иван Борисович — Санкт-Петербург, 2006

Термин «интенсиональные» часто используют как родовой для обозначения пеклассических логик вообще. При этом подразумевается противопоставление интенсиональных логик экстенсиональным. К последним относят системы, формализующие такие контексты естественного языка, в которых без ограничений выполняется закон Лейбница, так что интенсиональными в...

Семантический анализ простых паранормальных логик

Баташев, Денис Вячеславович — Москва, 2005

Общеизвестно, что при изучении логических систем важную роль играет исследование проблемы их семантической харакгеризации. В предлагаемой работе проведен семантический анализ ряда хорошо мотивированных с дедуктивной точки зрения паранормальных логик...

Современные проблемы использования табличных методов в логике

Антонова, Ольга Аркадьевна — Санкт-Петербург, 2005

История логики XX века во многом представляет собой историю развития теории логического вывода. Результатом развития теории логического вывода сгали в настоящее время широко известные методы доказательства — аксиоматический, нагуральный, секвенциальный и табличный...

Теория рассуждений Ч. Пирса

Боброва, Ангелина Сергеевна — Москва, 2005

Перечислить все действительно великие заслуги Пирса в области как классической, так и неклассической логик, вряд ли возможно. Главной задачей своей логики он видит отражение ею проблемы прироста знания и, поэтому отводит ей одну из ключевых ролей в построении единой фундаментальной философской системы, создание которой он так и не завершил. Пирс...

Трансформация идей И. Канта в работах русских логиков конца XIX - начала XX веков

Ломова, Ирина Олеговна — Санкт-Петербург, 2005

Формально интерес к Канту в России проявился в появлении переводов сочинений немецкого философа, а также сочинений мыслителей различных школ западно-европейского неокантианства. Содержательной стороной этого процесса было то, что почти все направления русской философской мысли выразили свое положительное или отрицательное отношение к кантианству...

Автоматический поиск натурального вывода в классической логике предикатов

Шангин, Василий Олегович — Москва, 2004

В настоящее время определяющим фактором при предпочтении одной логической системы перед другой становится наличие (автоматической) процедуры поиска вывода в данной системе. Такие процедуры существенным образом облегчают нахождение логического вывода и активно используются в педагогической работе...

Аналитико-табличная формализация систем временной логики

Григорьев, Олег Михайлович — Москва, 2004

Среди наиболее важных и интересных проблем, встающих при изучении логических систем, выделяется проблема разработки разрешающих и полуразрешающих процедур. Эффективность понятия логического закона есть свойство, наличие или отсутствие которо...

Интуиционистская логика и теория множеств

Хаханян, Валерий Христофорович — Москва, 2004

Интуиционизм мыслился его создателем Л. Брауэром как полностью невозможное к формализации математическое знание, ибо в основу математической деятельности Л. Брауэр положил интуитивную ясность и точность математических определений и конструкций...

Логико-методологическое исследование происхождения теории поиска вывода

Ходикова, Нина Анатольевна — Калининград, 2004

Садовский, В.Н. Карл Поппер и Россия / Садовский Вадим Николаевич. - М.: Эдиториал УРСС, 2002. - 280 с. - Библиогр.: с. 247- 259. - ISBN 5-8360-0324-6...

Паранепротиворечивость и релевантность

Кварталова, Наталия Леонидовна — Москва, 2004

Помимо столь далеко идущих перспектив стоит отметить и популярную в мире тенденцию систематизации логик, попытки создания иерархии логических систем и установления отношений между различными классами логик. Существует несколько различных методов систематизации логических систем, однако ни один из них не является универсальным. Мы пользуемся самым...

Логические идеи И. Канта

Михайлов, Кирилл Авенирович — Москва, 2003

Концентрируются такие исследования обычно вокруг проблемы соотношения общей и трансцендентальной логики и близких ей проблем, например, проблем, связанных с пониманием кантовской концепции истины, суждения, предмета, с вопросом о полноте системы логических форм суждений и т.д. Популярно также использование логических средств при анализе...

Обоснование дедуктивного подхода в научном объяснении

Тарковский, Владимир Николаевич — Санкт-Петербург, 2003

Использование дедукции в научной систематизации привело к переосмыслению процесса развертывания и обоснования знания. Насколько мы можем судить, именно с экспликации понятия «научное объяснение» на первый план выдвигаются проблемы анализа структуры научных теорий, понятия научного закона, процедуры проверки, подтверждения и опровержения научных...

Применение системной модели аргументации к анализу текста

Золотов, Эдгар Станиславович — Санкт-Петербург, 2003

Логическая подмодель отображает такое свойство аргументации как обоснованность одних высказываний другими высказываниями. Точно определенный запас средств аргументации является достоинством логического подхода...

Проблема формализации концепций параллелизма и ограниченной рациональности средствами динамической логики игр

Нечитайлов, Юрий Вячеславович — Санкт-Петербург, 2003

Между тем современная логика не имеет достаточных средств, описывающих параллельные системы с ограниченными ресурсами. Большинство логических моделей построено с расчетом на неограниченную рациональность. Эта неограниченность не имеет ничего общего с ответами Оракула, способного, неведомым нам способом, решить любую проблему. Концепция...

Расширение выразительных возможностей языка современной логики

Яйлеткан, Александр Александрович — Санкт-Петербург, 2003

Математическая (символическая) логика является современным этапом развития формальной логики. Ее выразительные возможности представляются синтаксисом, алгеброй и геометрией, образующими неразрывное единство и дополнение друг друга в языке логики...

Теория вывода в многозначных логиках

Комендантский, Владимир Евгеньевич — Москва, 2003

Если логика истинностно-функциональна, это непосредственно означает существование метода вычисления значения истинности для любого высказывания, записанного на языке этой логики. В этом состоит привлекательная в техническом смысле сторона многозначных логик...