Диссертации по философии, автореферат и диссертация на тему Логика Специальность ВАК РФ: 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...
Логическая мысль во Франции ХVII - начала ХIХ столетий
Бирюкова, Наталья Борисовна — Москва, 1999Логические исследования изучаемого нами времени, конечно, не могут быть названы чисто формальными, так как они были проникнуты, как отмечает В.Рисее, "теоретико-познавательными, метафизическими и психологическими постановками вопросов"3. С точки зрения становления идей математической логики подобные черты, конечно, можно трактовать как известную...
Немонотонная логика и проблемы формализации контекста
Черноскутов, Юрий Юрьевич — Санкт-Петербург, 1999...