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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Тем не менее, эти произведения достойны похвалы по сравнению с тем, что мы находим у А.О. Маковельского5. В его "Истории логики" материал о логике Рамэ занимает всего лишь одну страницу...

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

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

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

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

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

...

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

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

...

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

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

...

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

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

...

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

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

...

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

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

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