Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска

Область поиска
в найденном
 Найдено в других БД:Книги фонда НБ СГЮА (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Шалак, Владимир Иванович$<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.


    Шалак, Владимир Иванович (доктор философских наук).
    О процессуальной логике [Текст] / В. И. Шалак // Вопросы философии. - 2019. - № 2. - С. 35-40. - Библиогр.: с. 39-40 . - ISSN 0042-8744
УДК
ББК 87.21
Рубрики: Философия
   Метафизика. Онтология

Кл.слова (ненормированные):
алгебра процессов -- арабо-мусульманская культура -- взаимодействующие процессы -- логика -- онтология -- процессуальная логика -- процессы (философия) -- разум -- рассуждения -- теория отношений -- философское наследие -- формализмы
Аннотация: В центре внимания – обсуждение идей, высказанных А. В. Смирновым в статье "Процессуальная логика и ее обоснование". Предложенный формализм не позволяет адекватно отразить особенности рассуждений о взаимодействующих процессах. В первую очередь это вызвано сложностью предмета исследования – взаимосвязанными динамическими процессами. Если представить рассуждения о процессах в терминах теории отношений, то упускается их отличительная особенность – динамический характер. Из теории вычислимости известно, что статичное теоретико-множественное представление функций не совпадает с представлением функций как вычислительных процедур. Точно так же и с процессами, которые мы наблюдаем в окружающем мире. Параллельно протекающие и взаимодействующие процессы несводимы к последовательным. К такому выводу подталкивает ряд нерешенных задач теории вычислимости. Необходимо дополнительное изучение процессов и создание специальных формализмов для их представления, после чего может быть поставлена задача поиска соответствующих им правил рассуждений. В информатике активное изучение взаимодействующих процессов началось после появления многопроцессорных систем для параллельных вычислений. Их моделирование и изучение проводилось средствами многосубъектной эпистемической логики и специальной алгебры процессов. Но эта задача все еще не получила окончательного решения. Как указывает автор обсуждаемой статьи, сохранившее самобытность философское наследие арабо-мусульманской культуры является носителем процессуального, а не субстанциального взгляда на окружающий мир. С этой точки зрения в нем может содержаться много ценных идей, которые способны помочь в решении поставленной задачи.


Доп.точки доступа:
Смирнов, А. В. (доктор философских наук; член-корреспондент РАН; директор ; 1958-)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

2.


    Шалак, Владимир Иванович (доктор философских наук).
    Онтология и логика процессов [Текст] = Ontology and Logic of Processes / В. И. Шалак // Философские науки. - 2019. - Т. 62, № 6. - С. 138-150 : рис. - Библиогр.: с. 149 . - ISSN 0235-1188
УДК
ББК 87.21 + 87.4
Рубрики: Философия
   Логика

   Метафизика. Онтология

   Общие вопросы логики

Кл.слова (ненормированные):
онтология процессов -- параллельные процессы -- последовательные процессы -- процессуальная логика -- силлогистика -- субстанция -- философы
Аннотация: В статье дается характеристика двух взглядов на окружающий мир: субстанционального и процессуального, рассматривается субстанциональная онтология как множественность субстанций, как свойства, существующие посредством субстанций и как время, которое представляют последовательными изменениями набором свойств индивидов. Кроме того, анализируется процессуальная онтология, показывающая мир как процесс.


Доп.точки доступа:
Аристотель (древнегреческий философ ; 384-322 до н. э.); Лукасевич, Я. (польский логик ; 1878-1956)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

3.


    Шалак, Владимир Иванович (доктор философских наук).
    Алгоритмические явления в природе: модель объяснения [Текст] / В. И. Шалак // Вопросы философии. - 2020. - № 11. - С. 120-124. - Библиогр. в конце ст. . - ISSN 0042-8744
УДК
ББК 87.21
Рубрики: Философия
   Метафизика. Онтология

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

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)