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

Алгоритм поиска натурального вывода для интуиционистской логики высказываний

Макаров, Валентин Валентинович — Москва, 2002

Разработки в области автоматического поиска доказательств проводятся в целом ряде крупных мировых научно-исследовательских центров, таких как, например: Argonne National Laboratory, США (программа "Otter", основанная на теории резолюций), University of Cambridge (программа автоматической дедукции Isabelle), Carnegie Mellon University...

Семантики ограниченных множеств описаний состояний

Архиереев, Николай Львович — Москва, 2001

Лукасевичем для его системы трехзначной логики вряд ли можно признать удачными. Так определение конъюнкции, когда оба ее члена А и В принимают значение !/2 вызывает сомнение: пусть высказывание А...

Становление формальных методов в логике отношений

Маков, Борис Васильевич — Санкт-Петербург, 2001

Непосредственным начальным стимулом для разработки логики отношений была, очевидно, неспособность традиционной сшшогистики выразить умозаключения отношений. (Так, например, если суждения отношений допускают выражение в субъектно-предикатной форме: "Иван старше Петра" может быть представлено как "Иван есть человек, старший Петра", то умозаключения...

Учение Аристотеля о модальности

Кускова, Светлана Михайловна — Москва, 2001

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

Логика с операторами истинности и ложности и ее соотношение с логиками Лукасевича, Клини, Белнапа и Вригта

Павлов, Сергей Афанасьевич — Москва, 2000

Парадоксы, обнаруженные в основаниях теории множеств Расселом и другими), затронули и классическую концепцию истины, входящую к Аристотелю. Подразделение известных парадоксов на гические и семантические было предложено Ф.Рамсеем...

Логико-семиотический анализ сакральных текстов и сакральной коммуникации

Гриненко, Галина Валентиновна — Москва, 2000

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

Отношение следования и нестандартные семантики

Невдобенко, Оксана Ивановна — Москва, 2000

Из вышесказанного вытекает ещё одна проблема: как определять импликацию (объектное следование). Хорошо известно, что эта задача и по содержательным, и по чисто техническим соображениям! может решаться самыми разнообразными способами (речь идет не о различных, но в некотором смысле эквивалентных, заданиях одной связки, а о различных неклассических...

Учение Пьера де ла Рамэ и его влияние на логику и научную методологию Нового времени

Нкодиа Орельен-Серж-Жерве — Санкт-Петербург, 2000

Эпоха Возрождения является переломным этапом в истории логики. Наряду со старой схоластической логикой и в борьбе с ней появляются новые направления: логика-комбинаторика и логика, как основа научной методологии. В основе схоластической логики лежали "Органон" Аристотеля и комментарии к нему Порфирия и Боэция. На протяжение почти тысячелетия она...

Формирование логического учения о понятии и суждении

Назаренко, Павел Анатольевич — Санкт-Петербург, 2000

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

Анализ контрфактических высказываний в логике и искусственном интеллекте

Фролова, Алла Борисовна — Москва, 1999

Контрфактические высказывания, такие, например, как "Если бы Колумб не открыл Америку, то экономический прогресс Европы был бы значительно замедлен" или же "Если бы температура опустилась ниже 0° С, то вода бы замерзла", представляют собой сослагательные условные предложения, используемые как в повседневном опыте, так и в научном объяснении...

Генценовское исчисление естественных выводов как средство экспликации форм интуитивных умозаключений в трудах античных математиков

Бирюков, Александр Викторович — Санкт-Петербург, 1999

Человеку, приступающему к изучению современной математической логики, может показаться, что последняя является "изобретением" последнего времени. Однако, соответствуя в главном действительности, этот взгляд требует некоторой, как представляется, вполне оправданной корректировки...

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

Климов, Евгений Николаевич — Санкт-Петербург, 1999

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

Логико-философские принципы прагматики языка

Гончаренко, Марк Васильевич — Киев, 1999

Логико-философский аспект прагматики языка непосредственно связан с концепцией "языковых игр" Л.Витгенштейна и е§ отображением в кон-вексте философских и логических исследований других авторов...

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

Заболотных, Элина Леонидовна — Москва, 1999

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

Логическая мысль во Франции ХVII - начала ХIХ столетий

Бирюкова, Наталья Борисовна — Москва, 1999

Логические исследования изучаемого нами времени, конечно, не могут быть названы чисто формальными, так как они были проникнуты, как отмечает В.Рисее, "теоретико-познавательными, метафизическими и психологическими постановками вопросов"3. С точки зрения становления идей математической логики подобные черты, конечно, можно трактовать как известную...

Логические идеи Э. Гуссерля

Зайцева, Наталья Валентиновна — Москва, 1999

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

Логические модели представления знаний

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

Начиная с 70-х годов в области исследований по "искусственному интеллекту'' (И И) сформировалась новая парадигма, в рамках которой одним из ключевых терминов в лексиконе специалистов по компьютерным...

Логические средства моделирования диалога

Болдырев, Андрей Степанович — Санкт-Петербург, 1999

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

Немонотонная логика и проблемы формализации контекста

Черноскутов, Юрий Юрьевич — Санкт-Петербург, 1999

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

Принцип квазифункциональности и нечеткие логики

Шалопин, Виктор Валентинович — Москва, 1999

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