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

[evgeniirudnyi]

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

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

Comments

[evgeniirudnyi]

https://www.facebook.com/evgenii.rudnyi/posts/pfbid02FUJsyzpaqQchGCrjiKbHi6exPWf2ngesxXZKZs9YJWWGNXSsdU9HsbV2RH4PWjASl

[alaev]

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

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

[evgeniirudnyi]

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

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

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

[alaev]

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

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

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

[evgeniirudnyi]

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

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

Или сразу же

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

[evgeniirudnyi]

https://dzen.ru/a/Z0XcehowtBy6jEA5

[greygreengo]

Таки Лейбниц был первым, кто парадигму "Заткнись и вычисляй" возвел в философский принцип.

[evgeniirudnyi]

Тут полагалось, что результат вычисления даст решения исходной философской задачи.

[greygreengo]

Предполагалось, что и струнные уравнения дадут решения философской проблемы ультрафиолетовой расходимости.

[stierliz]

Отчего-то припомнилось пелевинское из ЧиП:
"- Знаете что? Возьмите экстаз и растворите его в абсолюте. Будет в самый раз."