Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 502957)
Консорциум Контекстум Информационная технология сбора цифрового контента
"Уважаемые СТУДЕНТЫ и СОТРУДНИКИ ВУЗов, использующие нашу ЭБС. Рекомендуем использовать новую версию сайта."
  Расширенный поиск
Результаты поиска

Нашлось результатов: 7 (0,37 сек)

Свободный доступ
Ограниченный доступ
Уточняется продление лицензии
1

ВОЗМОЖНЫЕ МИРЫ И ПОНЯТИЕ «КАРТИН МИРА» [Электронный ресурс] / Смирнова // Вопросы философии .— 2017 .— №1 .— С. 40-50 .— Режим доступа: https://rucont.ru/efd/581016

Автор: Смирнова

Рассматриваются различные трактовки понятия возможных миров. Используются результаты семантик возможных миров. Предлагается определенная экспликация понятия “возможный мир”. Выявляются эпистемические и онтологические предпосылки возможных миров различного вида. В центре рассмотрения – понятие логических пространств, их роли в условиях построения картин мира

Они репрезентируются соответствующими высказываниями языка. Так получаем миры, представленные как описания состояний или как модельные множества Хинтикки, если допускаются сложные, а не только атомарные высказывания1.

2

ЭПИСТЕМИЧЕСКАЯ ЛОГИКА И УБЕЖДЕНИЯ О СЕБЕ: НАСКОЛЬКО ОПТИМИСТИЧЕН Я. ХИНТИККА? [Электронный ресурс] / Моисеева // Философия науки .— 2015 .— №3 .— С. 3-10 .— Режим доступа: https://rucont.ru/efd/357425

Автор: Моисеева

В статье рассматриваются некоторые следствия аксиом, принятых в эпистемической логике Я. Хинтикки, касающиеся возможности для субъекта заблуждаться относительно собственных убеждений.

Все дело в том, что понятие знания заключает в себе понятие истинности и тем самым накладывает специфическое ограничение на рассматриваемые в связи с ним модельные множества. Несколько сложнее понять, почему следует принимать принцип (BB).

3

Параполное модельное множество [Электронный ресурс] / Шангин // Вестник Московского университета. Серия 7. Философия .— 2013 .— №4 .— С. 80-87 .— Режим доступа: https://rucont.ru/efd/378220

Автор: Шангин

Построено оригинальное модельное множество для параполной логики, которое является обобщением модельного множества для классической логики высказываний.

Модельные множества успешно применяются в теории доказательств. Например, с их помощью Р. Шмульян доказывает полноту построенных им исчислений для классической логики высказываний и предикатов [R. Smullyan, 1965, p. 123—139].

4

№3 [Философия науки, 2015]

Выходит с 1995 года. Это первый российский журнал, посвященный проблемам философии, логики, методологии и истории естественных наук. Основные направления журнала: анализ философских, методологических и логических проблем современного естествознания (физики, химии, геологии, биологии, медицины) и математики; история естествознания в контексте развития его философии, логики и методологии; в разделе “Из архивов” публикуются неизвестные или забытые в силу разных причин, но не потерявшие актуальность работы известных философов и ученых-естествоиспытателей.

Все дело в том, что понятие знания заключает в себе понятие истинности и тем самым накладывает специфическое ограничение на рассматриваемые в связи с ним модельные множества. Несколько сложнее понять, почему следует принимать принцип (BB).

Предпросмотр: Философия науки №3 2015.pdf (0,3 Мб)
5

№1 [Вопросы философии, 2017]

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

Они репрезентируются соответствующими высказываниями языка. Так получаем миры, представленные как описания состояний или как модельные множества Хинтикки, если допускаются сложные, а не только атомарные высказывания1.

Предпросмотр: Вопросы философии №1 2017.pdf (0,4 Мб)
6

№4 [Вестник Московского университета. Серия 7. Философия, 2013]

Журнал является периодическим научным изданием, старейшим из издаваемых в настоящее время в России философских журналов. В журнале публикуются статьи по различным направлениям философской науки, информация о конференциях и критические рецензии

Модельные множества успешно применяются в теории доказательств. Например, с их помощью Р. Шмульян доказывает полноту построенных им исчислений для классической логики высказываний и предикатов [R. Smullyan, 1965, p. 123—139].

Предпросмотр: Вестник Московского университета. Серия 7. Философия №4 2013.pdf (0,2 Мб)
7

Алгоритмы и вычислимость в человеческом познании [монография...

Автор: Ершов Ю. Л.
Издательство СО РАН

Настоящая монография представляет собой итог исследований по проблеме алгоритмизации мышления, которая часто увязывается с распространенной формулировкой "может ли машина мыслить?". В монографии представлены практически все аспекты проблемы понимания деятельности, связанной с вычислимостью и компьютерными методами исследования возможностей мышления. Дано сопоставление вычислимости и невычислимости в контексте методов познания законов природы. Описан математический аппарат вычислимости, в частности, представлена теория рекурсивных функций. Особое внимание уделено связи этой теории с программой оснований математики Д. Гильберта – финитизмом. Процесс алгоритмизации мышления представлен в терминах минимальных средств строгого математического доказательства. При этом обнаружена проблема обозримости доказательства, а также вычислимости как средства получена доказательства. Понятие эффективной вычислимости обсуждено в связи со статусом тезиса Черча, который долгое время был предметом дискуссий.

С каждым таким предложением Ф ассоци8 Модельные множества являются семантической версией доказательства формул первого порядка. Другая версия принадлежит Э. Бету и имеет название «семантические таблицы Бета».