Синтаксис, истина, понимание, математика

Mar 28, 2023 09:46

Является ли концепция истины А. Тарского философской теорией ( Read more... )

Leave a comment

Comments 13

deep_econom March 28 2023, 02:47:59 UTC
Целищев. КОНЦЕПЦИЯ ПОНИМАНИЯ В МАТЕМАТИЧЕСКОМ ДОКАЗАТЕЛЬСТВЕ
https://cyberleninka.ru/article/n/kontseptsiya-ponimaniya-v-matematicheskom-dokazatelstve

Целищев. ПРАВИЛА, ПОНИМАНИЕ И ЯЗЫКОВЫЕ ИГРЫ В МАТЕМАТИКЕ
https://cyberleninka.ru/article/n/pravila-ponimanie-i-yazykovye-igry-v-matematike

Reply


deep_econom March 28 2023, 02:58:41 UTC
Никифоров ТАК ЧТО ЖЕ ТАКОЕ ТРАКТАТ ОТВЕТ ОППОНЕНТАМ
https://cyberleninka.ru/article/n/tak-chto-zhe-takoe-traktat-otvet-opponentam

---
стр.76-77
Я же полагаю, что «Трактат» - это малограмотная бессвязная чепуха, написанная не вполне здоровым, но бесконечно самоуверенным человеком.

Ну, в самом деле, дорогие друзья, если бы к вам подошел вчерашний аспирант и стал бы с апломбом поучать вас: о чем можно говорить, о том следует говорить ясно, а о чем нельзя говорить, о том следует молчать. И при этом сам бы он писал бессвязную чушь как раз о том, о чем нельзя говорить! Как бы вы отреагировали на его поучения? Но именно этим занимается Витгенштейн! И внимание, которое до сих пор привлекает «Трактат», обусловлено, на мой взгляд, вовсе не его философским содержанием.

Можно предположить, что «Трактат» Витгенштейна - это такой же символ для философии, как «Черный квадрат» Казимира Малевича для изобразительного искусства.
---

Reply

serj_aleks March 28 2023, 10:31:17 UTC

... если бы к вам подошел НИКИФОРОВ и стал бы с апломбом поучать вас: о чем можно говорить, о том следует говорить ясно, а о чем нельзя говорить, о том следует молчать. И при этом сам бы он писал бессвязную чушь как раз о том, о чем нельзя говорить! Как бы вы отреагировали на его поучения? Но именно этим занимается НИКИФОРОВ!

П.С. Ну не нравится НИКИФОРОВУ выражение Малевича по поводу акцента на "черном ящике" ... и что? Это исключительно его проблемы. Не хочет подписаться под некоторой конвенцией ... ну и ладно. Хотя я ему благодарен за переводы Фреге, Тарского, Карнапа, Нейрата, Поппера, Хинтикки, Уайтхеда, Фейерабенда и Куна. И вот не уверен, что его трансляция не была, мягко говоря, не совсем изоморфной и адекватной интерпретаций, фактически, импровизацией ... Хорошо, что "советская иносказательная философия" научила читать между строк. Сама схема - "переведенная цитата" с комментарием переводчика замечательна и там часто можно было угадать, собственно, авторскую интерпретацию концепции.

Reply

deep_econom March 28 2023, 10:39:37 UTC
Ну вот такое мнение у человека. ))

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

Reply


deep_econom March 28 2023, 04:25:17 UTC
Ламберов Затруднения структуралистской философии математики 2022_conundrums_structuralism.pdf
ссылка www.researchgate.net

стр.32-33
Разговор о структурах с его точки зрения - это просто удобный способ говорить об изоморфных наборах произвольных объектов.
По причине того, что П. Бенацерраф отказывает структурам в самостоятельном существовании, его позиция получила название элиминативного структурализма.

Reply


dobr_i_trezv March 28 2023, 06:06:58 UTC

>>Семантика - это интерпретация синтаксиса теории в модели.<<

ровно так и никак иначе

Reply

deep_econom March 28 2023, 07:41:20 UTC
Но что у нас такое модель?

Reply

dobr_i_trezv March 28 2023, 09:06:45 UTC
Единица семантики, имеющее отображение на множество кодов

Reply

deep_econom March 28 2023, 09:25:58 UTC
Такой ответ сложно понять.

Вот там по ссылке в топике жму на https://ncatlab.org/nlab/show/model
и читаю:
---
В теории моделей модель теории представляет собой реализацию типов, операций, отношений и аксиом этой теории. В обычной теории моделей обычно изучают в основном модели в множествах, но в категориальной логике мы изучаем модели в других категориях, особенно в топосах ( ... )

Reply


deep_econom March 28 2023, 08:17:46 UTC
На пути к протологике
Карпенко Александр Степанович
https://cyberleninka.ru/article/n/na-puti-k-protologike

Reply


Leave a comment

Up