Идеи Лейбница в жизнь!

[evgeniirudnyi]

В краткой статье 'Об универсальной науке или философском исчислении' Лейбниц мечтал:

'В результате, когда возникали бы споры, нужда в дискуссии между двумя философами была бы не большей, чем между двумя вычислителями. Ибо достаточно было бы им взять в руки перья, сесть за свои счетные доски и сказать друг другу (как бы дружески приглашая): давайте

Comments

[alaev]

Наполовину эта задача была успешно решена. Было создано Исчисление Предикатов, в рамках которого любое по-настоящему строгое рассуждение может быть записано, и выведено из заранее заданных аксиом, если таковые имеются.

Увы, после этого стало ясно, что основной массив философских текстов не является абсолютно строгим, и для его записи ИП не особенно полезно.

[evgeniirudnyi]

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

Кстати, видел статьи Лобовикова В. О. на эту тему, у него все по сторогой логике:

http://www.ifp.uran.ru/about/publ/?pin=5013&pin1=5013

[alaev]

Спасибо за ссылку!

Получается какая-то унылая картина. Я почитал про В.О.Лобовикова: 570 работ, 21 лекционный курс, на странице выложено 84 основные публикации, среди них несколько книг с ударными названиями типа
"Искусственный интеллект", формальная этика и морально-правовой выбор. Свердловск: Изд-во Урал. Ун-та, 1988. 188 с.

И вот я впервые услышал об этом человеке, и боюсь как бы не в последний. Потому что времени читать эти книги нет, хотя интересно, а заранее понять, стоит читать или нет, сложно. Если бы он написал брошюрку на 10 стр. с кратким изложением начал и сути теории, я бы попробовал почитать. Но увы.

[evgeniirudnyi]

По-моему, достаточно полистать какую-нибудь статью, например,

5. Формально-аксиологическая семантика естественного языка метафизики.

Или сразу же

9. Бытие Бога во всем как формально-аксиологический закон, обоснованный вычислением ценностных функций в двузначной алгебре метафизики как формальной аксиологии

[alaev]

Достаточно для чего? Чтобы понять, что это туфта?

- формально-аксиологический закон, обоснованный вычислением ценностных функций в двузначной алгебре метафизики как формальной аксиологии

Двузначная алгебра объект несложный, хорошо бы понять, какие именно функции вычисляет там автор. Или всё ограничивается только этой фразой? Тогда да, прогноз неблагоприятен.

[alaev]

Впрочем, может и почитаю.

[evgeniirudnyi]

Кстати, вы не знаете, что за журналы, в которых он публикуется? Как эти журналы котируются?

[alaev]

Последние его публикации это труды конференций и новый журнал "Дискурс-пи". Журнал посвящён философии и политологии, тут я вам ничего умного не подскажу. Судя по всему, журнал создан при институте, где работает Лобовиков, он там член редколлегии, и особых проблем с публикациями у него наверняка нет. То есть они будут печатать всё, что он им принесёт (это частное мнение малокомпетентного лица).

[evgeniirudnyi]

Спасибо. То есть, это по сути дела самиздат. Это многое объясняет.

Но названия звучные, я искренне порадовался, когда увидел. См. также обсуждение с wampus по этому поводу:

https://wampus-999.livejournal.com/333361.html?thread=2732337#t2732337