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