Диссертации по философии, автореферат и диссертация на тему Логика Специальность ВАК РФ: 09.00.07
"Деонтика" Эрнста Малли и становление логики норм в середине XX века
Глинчикова, Анна Владимировна — Санкт-Петербург, 2014Деонтическая логика, или логика норм, является важным направлением современной неклассической логики. Она представляет собой относительно новый раздел логики, устанавливающий правила построения умозаключений с использованием модальностей морали, права и иных нормативно регулируемых областей социального взаимодействия. Следовательно, она исследует...
Основные этапы развития и формирования современной модальной алетической логики
Кадыг-Оол, Хулербен Кок-оолович — Москва, 2013...
Учение о логических парадоксах Т. Брадвардина
Журавлева, Евгения Вячеславовна — Калининград, 2013...
Обобщенная релевантная логика и модели рассуждений
Зайцев, Дмитрий Владимирович — Москва, 2012Сегодня логика переживает новый этап развития, когда на смену экстенсивному развитию логики «вширь», характерному для начала прошлого века, приходит тенденция, направленная на преодоление «логического плюрализма», на развитие так называемых мета-логических исследований, позволяющих установить взаимоотношения между различными логическими теориями...
Бивалентные семантики
Преловский, Николай Николаевич — Москва, 2011В качестве одного из вариантов основы, объединяющей множество логических систем, можно рассматривать обычную классическую логику, от которой эти системы были отделены по тем или иным соображениям. Наиболее ярким представителем данного подхода к редукции различных многозначных логик к общей основе, которая в этом случае мыслится в качестве...
Логико-когнитивные структуры операций с понятиями
Сироткина-Примак, Людмила Сергеевна — Калининград, 2011...
Логические учения средневекового Ирана и их значение для западноевропейской логики
Джаббехдари, Марьям — Санкт-Петербург, 2011В Средние века Иран также находился под властью арабского халифата и его научным языком был арабский язык. Все научные работы, написанные иранцами в этот период, были в основном созданы на арабском языке и логика, в этом отношении не являлась исключением. Отчасти поэтому до сих пор точно не определены роль и значение вклада иранских мыслителей в...
Интервальная временная логика и грамматические времена
Шапчиц, Павел Анатольевич — Санкт-Петербург, 2010В течение первой половины XX века словосочетание «временная логика» многими логиками могло восприниматься как оксюморон: необходимым условием приведения высказывания к логической форме было изъятие параметра времени из рассмотрения. Последний либо присоединялся к предикату, либо становился одной из переменных наряду с другими...
Модальность и темпоральность в логике: синтаксические и семантические возможности взаимовыразимости
Гончарко, Оксана Юрьевна — Санкт-Петербург, 2010Что касается различных приложений модальной и временной логик, то к их актуальным приложениям относятся такие как лингвистика, исследование поведения программ и вычислений, языков баз данных, исследования знания и поведения игроков в играх. На сегодняшний день основными областями (сферами) исследований по временной логике являются следующие: 1...
Протологика: новый взгляд на природу логического
Шалак, Владимир Иванович — Москва, 2010Универсальная логика - это не очередная логическая система. Она находится в таком же отношении к конкретным логикам, как универсальная алгебра к конкретным алгебрам. Если универсальная алгебра - это некоторое множество с некоторыми никак не специфицированными функциями над ним, то универсальная логика - это абстрактное множество формул со столь же...
Регулярные логики Клини: расширение и обобщение
Томова, Наталья Евгеньевна — Москва, 2010Необходимо сказать, что в целом задача изучения различных классов логик и представление их в виде структур занимает значительное место в логических исследованиях со второй половины XX века, и в некоторых областях была успешно решена. Так, например, были построены и изучены решетки модальных логик, решетки суперинтуиционистских логик (логик без...
Сопоставительный анализ теорий суждений Аристотеля и Ибн Сины
Худойдодов, Фаррух Бегиджонович — Душанбе, 2010Сопоставительный анализ теорий суждения Аристотеля и Ибн Сины актуален и для установления достоверности точки зрения тех восточных исследователей, которые считают, что Ибн Сина является вполне творческим мыслителем и он в своих трудах, написанных после «Аш-Шифа» («Исцеление»), полностью отошел от Стагирита...
Алгоритм поиска вывода для систем негативной силлогистики
Красненкова, Анастасия Владимировна — Москва, 2009Что же касается силлогистики, то эта теория является логической дисциплиной, широко преподаваемой во многих высших учебных заведениях. Поэтому программа, которая автоматически строит выводы и доказательства в натуральных силлогистических исчислениях, может получить и дополнительную сферу своего применения, а именно активно использоваться в...
Иллокутивная логика: логическое следование, семантика и прагматика
Карпов, Глеб Викторович — Санкт-Петербург, 2009Такая теория была создана Даниэлем Вандервекеном и Джоном Серлом, и получила название иллокутивной логики. Начав с обобщения результатов теории речевых актов Остина-Серла, осуществив в несколько этапов формализацию ее основных теоретических принципов, авторы иллокутивной логики получили формальную систему, претендующую на обладание универсальным...
Логическая теория смысла в аналитической философии
Новиченков, Сергей Александрович — Санкт-Петербург, 2009В настоящем исследовании проводится анализ концепций представителей аналитической философии, связанных со значением языковых выражений. Основное внимание направлено на концепции логического эмпиризма и холизма. Первый поход выражает взгляд, что понимание значения предложения заключается в знании условий, при которых оно истинно. Второй подход...
Логический анализ сети интернет
Шалак, Владимир Иванович — Москва, 2008Посредством сети Интернет по-новому реализуется политическая деятельность, экономическая, научная, культурная, деятельность средств массовой информации. Появилась возможность вовлекать в нее широкий круг заинтересованных лиц, что приводит к значительному ускорению протекания многих социальных процессов...
Многозначные изоморфы классической пропозициональной логики
Девяткин, Леонид Юрьевич — Москва, 2008В то же время, одновременно с оформлением классической логики в том виде, в котором мы знаем ее сейчас [34, 56], с появлением метатеорем о непротиворечивости, дедуктивной и функциональной полноте [49], появляются и первые критические замечания в адрес классической логики. Как оказалось, классическая логика сталкивает нас лицом к лицу с целым рядом...
Структурные описания множеств формальных теорий
Шиян, Тарас Александрович — Москва, 2008В области изучения предикатных логик вообще и силлогистических теорий, в частности, мне подобные работы не известны. Исключением составляют две работы В.А. Смирнова [Смирнов 1983b, 4; 2002, 155], в которых он представляет соотношение четырех формулируемых им теорий (Cl, С2, СЗ, С4) в виде графа...
Логика в университетской философии Санкт-Петербурга начала XX века
Попова, Варвара Сергеевна — Калининград, 2006При всем многообразии логических концепций выделить единое основание для историко-логической классификации учений предстает сложной исследовательской задачей. При этом выявление принципов, объясняющих изменения в логической теории и обосновывающих значимость тех или иных логических учений в контексте истории логики, представляет большой интерес...
