![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Entry tags:
Проект "логика для чайников" - параграф 4
Наука ли логика?
На эту тему можно привести множество изречений самых разных мудрецов. Одно из самых известных – слова физика Джозайи Гиббса: “математика – это язык”. Но давайте попробуем другой путь. Вместо того, чтобы принимать за истину мнение того или иного авторитета, попробуем применить логическое рассуждение, опираясь на простые факты, которые мы можем сами проверить непосредственным наблюдением или, рассматривая исторические документы. Давайте, попробуем решить этот вопрос с помощью логики.
Итак: является ли логика наукой?
Во-первых, смотря какая логика. Логика бывает разная. Какой-нибудь кретин тоже может попытаться рассуждать, но разве логика кретина – наука? Или рассуждения некоторых больных шизофренией: они бывают иногда очень сложными, в них трудно найти явные несоответствия, но разве логика шизофреника – наука?
Во-вторых, смотря какая наука. Что считать наукой? Если предъявлять очень строгие требования, то логика в них не впишется. В строгие требования могут не вписаться и такие отрасли знания, как психология, математика, философия. Если вводить очень-очень строгие требования, то в список наук попадет, пожалуй, одна только физика, а все остальное останется за бортом. И наоборот: если критерии сделать очень мягкими, туда впишутся такие, извините за выражение, “науки”, как астрология и хиромантия.
Давайте посмотрим на математику. Что это – наука или нет? В ней нет настоящего эксперимента, как его любят рисовать киношники – с приборами, с лабораториями, с серьезными лохматыми дяденьками в белых халатах и в очках.
Но куда денутся те же физики без математики? Вернутся в далекое прошлое, во времена до Галилея, а то и до Архимеда? Физика – этот эталон научности – никак не может обойтись без математики. То же самое можно сказать о многих других науках. Математика предоставляет для их нужд разные модели – алгебраические, геометрические, статистические. Эти модели позволяют более точно описывать те явления, которые составляют предмет той или иной научной области.
Разумеется, математика используется не только в науке, есть и другие области применения – такие, как торговля, производство. Но наиболее сложные разделы математики находят свое применение в первую очередь в естественных науках, и очень редко – где-нибудь еще.
Утверждение “математика – это наука”, возможно, спорное. Но есть более точное: математика – это неотъемлемая часть науки.
Ну а логика? С ней примерно та же история: куда денутся математики без математической логики? Вернутся в далекое прошлое: во времена Аристотеля или даже более ранние. Ведь уже у Аристотеля появилась силлогистика – раздел логики, настолько формализованный и строгий, как это принято в математике. Таким образом, логика – это очень ценная часть математики, а значит, очень ценная составная часть многих наук.
Заметим, что этот вывод относится именно к математической логике, а не какой-то другой.
С некоторой натяжкой можно считать логику экспериментальной наукой. Но это, прямо скажу, большая натяжка. Самое неприятное то, что измерительным прибором в логике оказывается такой ненадежный и капризный агрегат, как мозг. Да, без мозга жить тяжеловато. Но вот в качестве инструмента измерения мозг – не очень.
Все же, за неимением лучшего выбора, приходится пользоваться именно мозгом. Значительная часть логики посвящена именно тому, чтобы хотя бы отчасти скомпенсировать природную человеческую необъективность и склонность делать ошибки.
Кстати, с философией не проходит тот же фокус, что с логикой и математикой. Понятие “философия” слишком расплывчатое, чтобы с уверенностью утверждать, что без нее не может жить физика, математика или логика. Поэтому не удастся доказать, что философия – важная часть науки, используя тот же самый прием.
На эту тему можно привести множество изречений самых разных мудрецов. Одно из самых известных – слова физика Джозайи Гиббса: “математика – это язык”. Но давайте попробуем другой путь. Вместо того, чтобы принимать за истину мнение того или иного авторитета, попробуем применить логическое рассуждение, опираясь на простые факты, которые мы можем сами проверить непосредственным наблюдением или, рассматривая исторические документы. Давайте, попробуем решить этот вопрос с помощью логики.
Итак: является ли логика наукой?
Во-первых, смотря какая логика. Логика бывает разная. Какой-нибудь кретин тоже может попытаться рассуждать, но разве логика кретина – наука? Или рассуждения некоторых больных шизофренией: они бывают иногда очень сложными, в них трудно найти явные несоответствия, но разве логика шизофреника – наука?
Во-вторых, смотря какая наука. Что считать наукой? Если предъявлять очень строгие требования, то логика в них не впишется. В строгие требования могут не вписаться и такие отрасли знания, как психология, математика, философия. Если вводить очень-очень строгие требования, то в список наук попадет, пожалуй, одна только физика, а все остальное останется за бортом. И наоборот: если критерии сделать очень мягкими, туда впишутся такие, извините за выражение, “науки”, как астрология и хиромантия.
Давайте посмотрим на математику. Что это – наука или нет? В ней нет настоящего эксперимента, как его любят рисовать киношники – с приборами, с лабораториями, с серьезными лохматыми дяденьками в белых халатах и в очках.
Но куда денутся те же физики без математики? Вернутся в далекое прошлое, во времена до Галилея, а то и до Архимеда? Физика – этот эталон научности – никак не может обойтись без математики. То же самое можно сказать о многих других науках. Математика предоставляет для их нужд разные модели – алгебраические, геометрические, статистические. Эти модели позволяют более точно описывать те явления, которые составляют предмет той или иной научной области.
Разумеется, математика используется не только в науке, есть и другие области применения – такие, как торговля, производство. Но наиболее сложные разделы математики находят свое применение в первую очередь в естественных науках, и очень редко – где-нибудь еще.
Утверждение “математика – это наука”, возможно, спорное. Но есть более точное: математика – это неотъемлемая часть науки.
Ну а логика? С ней примерно та же история: куда денутся математики без математической логики? Вернутся в далекое прошлое: во времена Аристотеля или даже более ранние. Ведь уже у Аристотеля появилась силлогистика – раздел логики, настолько формализованный и строгий, как это принято в математике. Таким образом, логика – это очень ценная часть математики, а значит, очень ценная составная часть многих наук.
Заметим, что этот вывод относится именно к математической логике, а не какой-то другой.
С некоторой натяжкой можно считать логику экспериментальной наукой. Но это, прямо скажу, большая натяжка. Самое неприятное то, что измерительным прибором в логике оказывается такой ненадежный и капризный агрегат, как мозг. Да, без мозга жить тяжеловато. Но вот в качестве инструмента измерения мозг – не очень.
Все же, за неимением лучшего выбора, приходится пользоваться именно мозгом. Значительная часть логики посвящена именно тому, чтобы хотя бы отчасти скомпенсировать природную человеческую необъективность и склонность делать ошибки.
Кстати, с философией не проходит тот же фокус, что с логикой и математикой. Понятие “философия” слишком расплывчатое, чтобы с уверенностью утверждать, что без нее не может жить физика, математика или логика. Поэтому не удастся доказать, что философия – важная часть науки, используя тот же самый прием.
Re: Задумчиво.
Что касается критерия Поппера.
Фактически любой раздел математики (поправьте меня если я ошибаюсь) строится на определённом наборе аксиом. Нам достаточно просто поменять этот набор и мы получим совершенно новую математическую модель (пример - неэвклидова геометрия). Соответственно любая математическая теория априори не может претендовать на истинность, поскольку любая аксиома является некоторой договорённостью между людьми. Типа "положим, что это есть". Следовательно любая математическая теория удовлетворяет критерию Поппера (она не может претендовать на абсолютную истинность)
Разберёмся с ботаникой. Сразу скажу, что здесь я полный профан. Однако предположу, что кроме эмпирических данных, которые мы можем получить собирая образцы различных растений и исследуя их, мы располагаем здесь такой прелестной вещью, как систематика растений, к которой мы относим эти образцы и которая время от времени перестраивается, как раз в процессе пополнения фактического материала. То есть, иными словами не одна систематика (прошлая, настоящая и будущая), которая является по сути ядром данной науки не может претендовать на абсолютную истинность (опять-таки соответствие критерию Поппера)
Re: Задумчиво.
Вы же говорите почему-то об отсутствии абсолютной истинности. Так абсолютной истинности в природе вообще не бывает. Тогда у вас получится, что любая область является наукой. Скажем, чистка сортиров - наука, поскольку утверждение, что все сортиры сильно воняют, не абсолютно.