Экспертные системы и аналитическая философия

[Rasool]

Как известно, аналитическая философия занималась проблемами языка. В 20-30-е годы хорошо развивалась математическая логика (знаменитые теоремы Геделя и т.д.). Ее достижения использовались и в аналитической философии. Также известно, что во время очередной волны интереса к искусственному интеллекту в 80-е годы бурно развивались экспертные системы на базе математической логики, но потом они потерпели крах. Интересно, на основе заключений аналитической философии не могла быть предсказана эта неудача экспертных систем?

[kry]

Rasool в сообщении #1408160 писал(а):

Как известно, аналитическая философия занималась проблемами языка.

Вы путаете тёплое и квадратное между собой. Проблемы языка изучает такая философская дисциплина как философия языка. Аналитическая философия - это направление/течение философии.

Rasool в сообщении #1408160 писал(а):

Интересно, на основе заключений аналитической философии не могла быть предсказана эта неудача экспертных систем?

Это каким именно образом?

Извините, но пока я Ваш вопрос не понимаю.

[george66]

Пытался читать книги Ябло (фамилия такая) по философии мышления. Ябло придумал "парадокс Ябло". Пусть даны высказывания $p_1,p_2\ldots$ и так далее до бесконечности. Каждое из них утверждает "все высказывания с бОльшими номерами ложны". Допустим, что верно $p_1$. Тогда ложны все высказывания, начиная с $p_2$ (это и утверждает $p_1$). Но тогда $p_2$ должно быть истинно, потому что оно утверждает, что ложны все высказывания, начиная с $p_3$. Итого, предположив, что $p_1$ истинно, мы пришли к противоречию, поэтому $p_1$ ложно. Точно так же доказываем, что любое $p_n$ ложно. Но тогда все они должны быть истинны (каждое из них как раз и утверждает ложность некоторых других) и мы получаем противоречие - парадокс Ябло. И вот Ябло авторитет в "философии мышлении". Я попробовал его читать, но не идёт совсем - ничего похожего на парадокс, вялотекущие философские рассуждения (или я не понимаю их прелести). Аналогично Крипке придумал модели Крипке в ранней молодости и с тех пор философствует.

[kry]

george66 в сообщении #1408870 писал(а):

И вот Ябло авторитет в "философии мышлении".

Он вроде бы специалист прежде всего в области философской логики и философии логики, что-то пишет в области философии языка, философии математики, философии сознания и философии разума, а не в области "философии мышления". Да и к авторитетности тут есть вопросы: его вполне себе много цитируют, но он не очень мейнстримный автор, также как, например, Дэвид Чалмерс, взгляды коего маргинальны для современной философии сознания, философии разума, философии нейронаук, но которого крайне много цитируют.

george66 в сообщении #1408870 писал(а):

Аналогично Крипке придумал модели Крипке в ранней молодости и с тех пор философствует.

Для развития неонтологических течений модального реализма тот же Крипке дал очень много.

[george66]

Программы для проверки протоколов (protocol verification) интересно начинались. Это когда люди (и/или программы), допустим, обмениваются паролями, чтобы удостовериться в личности друг друга (читать на слово Kerberos). После того, как ранние протоколы оказалось возможно взломать, стали придумывать способы формальной проверки надёжности протоколов. Была "logic of authentication" с высказываниями вида "X знает то-то", "X верит в то-то", "X видит то-то" и т.п. И для неё аксиомы и правила вывода. Вот это ближе всего к тому, чего мне хочется от философии мышления. Потом для проверки протоколов придумали менее радикальные подходы (pi-calculus), логики эту тему бросили, а философы так воду в ступе и толкут.

[kry]

george66 в сообщении #1408881 писал(а):

чего мне хочется от философии мышления

Если честно, то я всё ещё не очень понимаю, что Вы подразумеваете под философией мышления. Есть философия разума/философия сознания (philosophy of mind), но Вы-то говорите про какую-то философию мышления.

[george66]

Какую-нибудь теорию, что такое мышление. Но не про высших обезьян (что обычно предлагают), а логическую.

[kry]

Ну так этим в частности занимается философская логика, но разве Ябло разрабатывал какую-то общую логическую теорию мышления?

[Rasool]

kry в сообщении #1408168 писал(а):

Rasool в сообщении #1408160 писал(а):

Как известно, аналитическая философия занималась проблемами языка.

Вы путаете тёплое и квадратное между собой. Проблемы языка изучает такая философская дисциплина как философия языка. Аналитическая философия - это направление/течение философии.

В книге Лебедева М.В., Черняка А.З. (ред.) "Аналитическая философия" сказано, что аналитическая философия

Цитата:

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

Кстати, не связан ли "новояз" Джорджа Оруэлла (роман "1984") с отголосками языковых исследований тогдашних философов и логиков, вроде Витгенштейна и Курта Гёделя?

[kry]

Rasool в сообщении #1408995 писал(а):

В книге Лебедева М.В., Черняка А.З. (ред.) "Аналитическая философия" сказано, что аналитическая философия возникла с появлением "лингвистической философией"

И? Как это влияет на то, что Вы элементарно спутали между собой философию языка как философскую науку и аналитическую философию как течение философии?

Rasool в сообщении #1408995 писал(а):

Кстати, не связан ли "новояз" Джорджа Оруэлла (роман "1984") с отголосками языковых исследований тогдашних философов и логиков, вроде Витгенштейна и Курта Гёделя?

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

А к чему Вы тут Гёделя вспоминаете, я вообще не очень понимаю: его интересы в философии ограничивались по большей части логикой и философией математики. Вы бы ещё весь венский кружок и всю львовскую школу свалили бы сюда.