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