Каталог по дисциплинам: Философские науки

АВТОМАТИЧЕСКИЙ ПОИСК НАТУРАЛЬНОГО ВЫВОДА В КЛАССИЧЕСКОЙ ЛОГИКЕ ПРЕДИКАТОВ Проблема поиска логического вывода традиционно считается одной из центральной тем логики. Бурное развитие данной проблематики в XX веке стимулировали, с одной стороны, фундаментальные работы Г. Генцена и Ж. Эрбрана и, с другой, появление ЭВМ.
  • 106 страниц
  • 2004 год
Теория вывода в многозначный логиках Многозначные логики появились в 20-х годах XX века в работах Поста и Лукасевича. Несколько позднее было предложено ещё несколько многозначных логик, таких как логика Бочвара, логики Гёделя, логика Клини. Интересный библиографический экскурс в многозначные логики можно найти в [7].
  • 142 страниц
  • 2003 год
Обоснование дедуктивного подхода в научном объяснении : Исследование в рамках философии или науки в целом подразумевает ; принадлежность к той или иной школе, к тому или иному направлению. Эта характерная черта наблюдается с зарождения философствования в Древней ! Греции и до сего дня, будь то платоновская Академия или официальная j '.
  • 131 страниц
  • 2003 год
Расширение выразительный возможностей языка современной логики Предметом исследования является расширение выразительных возможностей языка современной логики. Математическая (символическая) логика является современным этапом развития формальной логики. Ее выразительные возможности представляются синтаксисом, алгеброй и геометрией, образующими неразрывное единство и дополнение друг друга в языке логики.
  • 160 страниц
  • 2003 год
Применение системной модели аргументации к анализу текста Теория аргументации -синтетическая дисциплина, использующая методы различных наук. Особое место теории аргументации, связано со всевозрастающим интересом к изучению различными науками вопросов об убеждении и формировании убеждений.
  • 167 страниц
  • 2003 год
Проблема формализации концепций параллелизма и ограниченной рациональности средствами динамической логики игр в теоретико-игровую семантику...151 3.1.1.Экстенсивная форма. Стратегия и отношение вынуждения...153 3.1.2.Стратегическая форма...159 3.1.3. Учет ресурсов при задании игр...162 3.2. Ограниченная рациональность...164 3.2.1.Виды дефицита информации.
  • 151 страниц
  • 2003 год
Паранепротиворечивость и релевантность На современном этапе развития научного знания логика оказалась востребованной в новой сфере научного знания — исследований в области компьютерных наук. Основанием актуальности работы в неклассических логиках является факт достаточно успешного практического применения неклассических логик в рамках различных проектов ведущих компьютерных компаний мира.
  • 150 страниц
  • 2004 год
Аналитико—табличная формализация систем временной логики Временная логика является одной из наиболее интенсивно изучаемых областей современной символической логики. Первоначально интерес к ней был вызван философскими проблемами, связанными с интерпретацией высказываний с временными модальностями. Толчок к развитию временной логики дали работы Артура Прайора [51, 52].
  • 106 страниц
  • 2004 год
Семантический анализ простых паранормальных логик В предлагаемом диссертационном исследовании проводится семантический анализ ряда простых паранормальных логик**. Что такое простая паранормальная логика? Точный ответ на этот вопрос будет дан в главе 1. Здесь укажем только на то, что простые паранормальные логики являются разновидностью паранормальных логик, т.
  • 163 страниц
  • 2005 год
Теория рассуждений Ч. Пирса Предмет исследования Предметом служит исследование логики Ч. Пирса, трактуемой им как теория рассуждений, для чего разбирается обоснованность предлагаемого ее понимания, затрагивается проблема включения в сферу логического амплиа-тивных (расширяющих) рассуждений.
  • 141 страниц
  • 2005 год
Логико-философские исследования Боэция В современной науке большое внимание уделяется проблемам, связанным с историей логики. Связь логики с историей не вызывает сомнений - логическое'не может появиться без исторического (логика является отражением истории), но и ни одно историческое исследование не может начаться без теоретических знаний, без логики.
  • 186 страниц
  • 2006 год
Автоматический поиск натурального вывода в классической логике предикатов Проблема поиска логического вывода традиционно считается одной из центральной тем логики. Бурное развитие данной проблематики в XX веке стимулировали, с одной стороны, фундаментальные работы Г. Генцена и Ж. Эрбрана и, с другой, появление ЭВМ.
  • 106 страниц
  • 2004 год
Логико—методологическое исследование происхождения теории поиска вывода Наука как вид профессиональной деятельности существует сравнительно недавно, всего около четырех столетий. Но важность этого вида деятельности для общества была осознана почти одновременно с его появлением, и вслед за наукой возникла история науки как особая дисциплина, занимающаяся описанием научных достижений, открытий, поисков и даже ошибок.
  • 153 страниц
  • 2004 год
Современные проблемы использования табличный методов в логике ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ История логики XX века во многом представляет собой историю развития теории логического вывода. Результатом развития теории логического вывода стали в настоящее время широко известные методы доказательства — аксиоматический, натуральный, секвенциальный и табличный.
  • 330 страниц
  • 2005 год
Трансформация идей И. Канта в работах русский логиков конца XIX - начала XX веков Одна из основных проблем логики и теории познания — обоснование форм и способов получения достоверного знания. Однако, развитие философии в России на рубеже XIX - XX веков имело свои особенности, отодвинувшие логико-гносеологическую тематику на второй план.
  • 139 страниц
  • 2005 год
Интуиционистская логика и теория множеств Актуальность темы исследования Третий кризис в основаниях математики, порожденный созданием Г. Кантором в конце XIX века учения о множествах (теории множеств), вызвал бурный рост различного рода течений математической философской мысли, связанных в первую очередь с возможностью преодоления возникшего кризиса (ликвидацией различного рода парадоксов в теории множеств (и не только в теории множеств, но и в самой логике)), а во вторую очередь переосмыслением философских оснований всего математического здания, которое к тому времени имело, казалось бы, прочное основание.
  • 177 страниц
  • 2004 год
Теория смысла в общей интенсиональной логике (Предикат "является концептом (смыслом)") V(AmoaiPak) = d, где d есть функция типа оа\рак, такая что р = к=0, если а экстенсиональный тип, и р > к в противоположном случае, и при этом:1.2.5.1. Если а не есть о, то daaka*aip = t тогда и только тогда, когда порядок а и а* меньше т, и а* является семантической программой, в последней строке которой находится запись "аак" .
  • 381 страниц
  • 2006 год
ФИЛОСОФСКИЕ ОСНОВАНИЯ НАУЧНОЙ РАЦИОНАЛЬНОСТИ ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ Динамичная смена системы жизнедеятельности общества на рубеже веков с необходимостью приводит к смене и типа мышления, к становлению его новой парадигмы. Такой парадигмой может быть постнеклассическая рациональность, которая сегодня активно исследуется в различных областях: философии, истории, синергетике и др.
  • 20 страниц
  • 2002 год
ТРАНСЦЕНЗУС В ОНТОЛОГИИ РАЗУМА Философский анализ проблемы трансценденции сегодня актуализирован, с одной стороны, неадекватностью классического рационализма, реальностям и современного мира и бытия человека в нем, и с другой - ставшими уже привычными, тотальными деконструирующими воззрениями постмодернизма.
  • 20 страниц
  • 2004 год
ПРОЦЕСС СИМВОЛИЗАЦИИ В МУЗЫКЕ Общая характеристика работы Проблема понимания языка музыки требует к себе внимания, так как это еще и проблема понимания культуры. Осмысление музыки с философской точки зрения особенно актуально в наши дни. Проблематика человека и мира, субъекта и объекта, сознания и бытия, являющаяся центральной в философских учениях различных эпох, не может быть разрешена без обращения к сфере искусства.
  • 20 страниц
  • 2003 год
ТЕХНОЛОГИЧЕСКИЙ СПОСОБ ОБЩЕСТВЕННОГО ПРОИЗВОДСТВА В ЭКОЛОГИЧЕСКОЙ ПЕРСПЕКТИВЕ ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ В настоящее время существуют десятки проблем, затрагивающих жизненные интересы всего человечества. К ним, в первую очередь, можно отнести те, которые имеют в своей основе отношение "общество - природа".
  • 20 страниц
  • 2002 год
Философские основания научной рациональности Динамичная смена системы жизнедеятельности общества на рубеже веков с необходимостью приводит к смене и типа мышления, к становлению его новой парадигмы. Такой парадигмой может быть постнеклассическая рациональность, которая сегодня активно исследуется в различных областях: философии, истории, синергетике и др.
  • 153 страниц
  • 2002 год
ФОРМАЛЬНО-РИГОРИСТИЧЕСКИЙ ПОДХОД К ТЕОРИИ ПРАКТИЧЕСКОГО ЗНАНИЯ: ФИЛОСОФСКИЕ ОСНОВАНИЯ ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ Актуальность темы исследования определяется значительным ростом объемов и качественного многообразия видов и способов производства и активного использования знаний в условиях современного общества. Новоевропейская наука и связанные с ней философия науки и гносеология оставили современным исследователям совокупность ключевых концепций и методов работы с информацией, обеспечивших успешное развитие технологий обращения со знанием фактическим, описательным, или, используя несколько анахроничное выражение, со знанием о внешнем мире.
  • 20 страниц
  • 2003 год
ПРОИЗВОДСТВО И ВОСПРОИЗВОДСТВО ЗНАНИЯ: КОГНИТИВНО-АНТРОПОЛОГИЧЕСКИЙ АСПЕКТ Актуальность темы исследования связана с положением, сложившимся в современной философии, и, в частности, в философии познания, а именно в недостаточно активном применении антропологического подхода к исследованию проблематики производства и воспроизводства знания.
  • 20 страниц
  • 2004 год
Творчество как принцип мировоззрения Особенности современной эпохи, заключающиеся во все более ощущаемом мировоззренческом кризисе, в попытках осознать его причины и предотвратить эсхатологические перспективы глобального кризиса и возрастающей хрупкости индивидуального и социального бытия, актуализируют множество проблем и придают особую остроту так называемым «вечным» вопросам философии.
  • 154 страниц
  • 2004 год
Разумная вера Актуальность настоящего исследования может быть обоснована необходимостью выработки новых базовых идеалов. В данном отношении разумная вера, предполагающая нравственное воление и деяние, как раз и лредставляет собой такую фундаментальную идею, которая направлена не только на поддержание духовных сил человечества, но и на предотвращение духовного бытия от распада.
  • 120 страниц
  • 2004 год
Проблема эстетической когнитивности социальный отношений Конструировать искусство -значит определить его место в универсуме. Определение этого места - есть единственная дефи-ниция искусства... В.Ф. Шеллинг Актуальность темы данного диссертационного исследования обусловлена её непосредственной связью с идеолологическими сдвигами в общественном сознании современного социума, порожденными реформацион- ным процессом.
  • 134 страниц
  • 2003 год
Даосская концепция проявленного Заметно усилившийся в недавнем прошлом на Западе (в Европе и США) и в России интерес к восточным учениям, в целом, и к даосизму, в частности, не ослабевает, а, пожалуй, продолжает расти. Показательно, что «Дао-дэ цзин» по количеству переводов на различные языки находиться на втором месте после Библии.
  • 118 страниц
  • 2004 год
Ирония: проблема определения и роль в философском познании Актуальность диссертационного исследования Ирония (от греч. eironeia — притворство) обычно понимается как особая форма критического мышления, основанная на притворстве и иносказании. Ирония есть притворное одобрение критикуемого тезиса и неявное иносказательное утверждение антитезиса.
  • 168 страниц
  • 2003 год
Скрытый смысл текста как объект философской рефлексии Философия на всех этапах своего существования занималась вопросами понимания; нахождения; истинных смыслов явлений общественной жизни, уделяя внимание актуальным для каждого этапа развития общества феноменам и объектам понимания.
  • 152 страниц
  • 2004 год
Страницы:  следующая » 
1  2 3 4 5 6 7 8 9 10 11 12 13