Отчет о недавнем семинаре ЛФК: "Логицизм и неологицизм"

[vic_gorbatov]

Долго раскачивался, но все же созрел, чтобы написать небольшой отчет о нашем заседании 16 декабря 2009.

Тема, честно говоря, была выбрана рискованная и душераздирающая - "Логицизм и неологицизм". При такой теме априори следует ожидать, что кроме самих докладчиков никто не придет :)) Тем более - мороз ударил не по-детски. Однако публика собралась

Comments

Спасибо! Очень круто!

[troposfera]

Витя, а на сайте факультета вы выложите?? По-моему, весьма и весьма достойно! (жаль, нет времени вникать сейчас)

Re: Спасибо! Очень круто!

[vic_gorbatov]

Постараюсь, если руки дойдут :))

[daninyuta]

Вот, кстати, да - на сайте каждый раз надо писать, что, де, прошло заседание - пусть знают! Все знают))

[4elovek_voobshe]

Замечательно.
Да, даже мороз не помеха тому, чтобы русская традиция интереса к логике/мат.логики и математике продолжалась и продолжалась ).

Когда я прочел пост меня в очередной раз пробила ностальгия - вспомнил с каким восторгом в 1994 ходил на спецкурс Н.М. Нагорного (ученик/соавтор Маркова) "Конструктивизм в архитектуре математической теории" (он проходил на мехмате). После "стандартных" математических заходов, которыми я тогда загружался, следуя программе обучения на ВМК, это очень вдохновляло.
Наверное именно после них я окончательно пошел по дорожке, приведшей меня на филос.фак. ...так пошел, что математика/ "чистая" логика только как background и остались ((...
Но, даже такому нерадивому реципиенту как я, такой background ни раз и ни два оказывался крайне нужным...

Мои пожелания вам всяческих успехов...

[vic_gorbatov]

Спасибо на добром слове! :))
Только вот пожелать успехов каждый может, а прийти и покритиковать по-человечески - недосуг? ;-)

[4elovek_voobshe]

да...
семья... дети... :)

Но, м.б. случиться невероятное и как-нибудь удастся... я бы с большим удовольствием )

[slavikmad]

Спасибо за интересный семинар

[slavikmad]

...в большей степени, чем теория множеств.

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

С другой стороны, по выражению Куайна, чем больше редукции, тем лучше. А потому свести одно к другому тоже было бы полезно...

[vic_gorbatov]

>> элементарная логика более широко представлена в теориях и здравом смысле, чем математика

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

И вообще, несправедливо сравнивать математику с ЭЛЕМЕНТАРНОЙ логикой. Тогда уж надо сравнивать ЭЛЕМЕНТАРНУЮ математику, и я не уверен, что она проиграет по употребимости элементарной логике...

[slavikmad]

> Но как только речь заходит о более-менее нетривиальных суждениях здравого
> смысла, они часто оказываются "неправильными" с точки зрения элементарной
> логики.

А вот такой вопрос. Можно ли, не прибегая к правилам логики, найти ошибку в таких суждениях (если, конечно, их в итоге придётся считать ошибочными)?