Проект "логика для чайников" - параграф 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}
no subject
Date: 2006-12-02 09:43 am (UTC)Задумчиво.
Date: 2006-12-02 10:19 am (UTC)Тебя уже разфростировали?
Re: Задумчиво.
Date: 2006-12-02 10:39 am (UTC)Дык, критерии то кто устанавливает? Все, кому не лень. Плюс-минус километр. И получается, что если очень жесткие критерии, то наука - только физика и собирание марок. А если очень слабые, то всякая херомандия - тоже наука.
Re: Задумчиво.
Date: 2009-05-13 03:39 pm (UTC)Принцип верифицируемости - возможность получить одинаковые результаты применяя данную область знаний для любого исследователя.
Принцип фальсифицируемости (критерий Поппера) - ни одна область научных знаний не может быть доказана опытным путём, а только опровергнута им. Иными словами ни одна научная теория не может быть абсолютно верной.
Согласно современным представлениям логика является наукой, поскольку удовлетворяет данным условиям. Кроме того принято считать, что логика является так называемой формальной или абстрактной наукой, оперирующей абстрактными величинами. Здесь она входит в один ряд с математикой, информатикой и кибернетикой
Re: Задумчиво.
Date: 2009-05-13 03:53 pm (UTC)Уже хотя бы потому, что она не соответствует критериям научного знания (которые между-прочим сами были придуманы философами-позитивистами). Попробуйте на досуге как-нибудь попробовать опровергнуть утверждение, что мира вокруг вас в реальности не существует, а всё что вы видите и ощущаете является не более чем представлениями вашего сознания:))))
Re: Задумчиво.
Date: 2009-05-13 05:18 pm (UTC)Это разве верифицируемость? Может, воспроизводимость?
[ Принцип фальсифицируемости (критерий Поппера) - ни одна область научных знаний не может быть доказана опытным путём, а только опровергнута им. ]
Тогда математика - не наука? А ботаника?
Re: Задумчиво.
Date: 2009-05-13 06:24 pm (UTC)Что касается критерия Поппера.
Фактически любой раздел математики (поправьте меня если я ошибаюсь) строится на определённом наборе аксиом. Нам достаточно просто поменять этот набор и мы получим совершенно новую математическую модель (пример - неэвклидова геометрия). Соответственно любая математическая теория априори не может претендовать на истинность, поскольку любая аксиома является некоторой договорённостью между людьми. Типа "положим, что это есть". Следовательно любая математическая теория удовлетворяет критерию Поппера (она не может претендовать на абсолютную истинность)
Разберёмся с ботаникой. Сразу скажу, что здесь я полный профан. Однако предположу, что кроме эмпирических данных, которые мы можем получить собирая образцы различных растений и исследуя их, мы располагаем здесь такой прелестной вещью, как систематика растений, к которой мы относим эти образцы и которая время от времени перестраивается, как раз в процессе пополнения фактического материала. То есть, иными словами не одна систематика (прошлая, настоящая и будущая), которая является по сути ядром данной науки не может претендовать на абсолютную истинность (опять-таки соответствие критерию Поппера)
Re: Задумчиво.
Date: 2009-05-13 07:32 pm (UTC)Вы же говорите почему-то об отсутствии абсолютной истинности. Так абсолютной истинности в природе вообще не бывает. Тогда у вас получится, что любая область является наукой. Скажем, чистка сортиров - наука, поскольку утверждение, что все сортиры сильно воняют, не абсолютно.
Re: Задумчиво.
Date: 2009-05-13 03:53 pm (UTC)Принцип верифицируемости - возможность получить одинаковые результаты применяя данную область знаний для любого исследователя.
Принцип фальсифицируемости (критерий Поппера) - ни одна область научных знаний не может быть доказана опытным путём, а только опровергнута им. Иными словами ни одна научная теория не может быть абсолютно верной.
Согласно современным представлениям логика является наукой, поскольку удовлетворяет данным условиям. Кроме того принято считать, что логика является так называемой формальной или абстрактной наукой, оперирующей абстрактными величинами. Здесь она входит в один ряд с математикой, информатикой и кибернетикой
no subject
Date: 2006-12-02 02:51 pm (UTC)Аффтар жжот!
no subject
Date: 2006-12-02 03:29 pm (UTC)"...правда некоторые ухитряются (глисты например)"
no subject
Date: 2006-12-03 08:44 am (UTC)no subject
Date: 2006-12-03 10:55 am (UTC)только приготовьте магнитофон, т.к. можете в ответ услышать много новых слов :))
no subject
Date: 2006-12-14 05:32 pm (UTC)no subject
Date: 2006-12-14 05:43 pm (UTC)no subject
Date: 2006-12-14 08:03 pm (UTC)no subject
Date: 2006-12-14 08:09 pm (UTC)no subject
Date: 2006-12-03 09:19 pm (UTC)no subject
Date: 2006-12-03 09:52 pm (UTC)да и вообще... кто сейчас пишет? все больше на клаве стучат :)
no subject
Date: 2006-12-03 10:17 pm (UTC)no subject
Date: 2006-12-03 11:19 pm (UTC)no subject
Date: 2006-12-04 10:38 pm (UTC)Берём известный парадокс Я-ЛЖЕЦ! Мною он решён ещё 15 лет назад.
Если это предложение истинно, то из его содержания вытекает, что оно ложно.
В случае парадокса формальное суждение, что это истина, должно быть одновременно и истинным и ложным, но в данном случае оно является только истинным! Поэтому никакого парадокса просто не существует! Формально - истина, содержание - ложно! Здесь нет просто противоречия, а люди столько времени путались и даже создали мета-языки, многозначные логики. Вот где чайники, правда?
no subject
Date: 2007-10-08 12:49 pm (UTC)логика - это набор правил и инструкций для рассуждений
соответственно - логика не наука, но инструмент
логики могут быть разные, чисто в теории их может быть сколько угодно, но есть надежные, зарекомендовавшие себя наборы правил и инструкций
можно еще воспользоватся термином "протокол"
так вот верное использование надежных протоколов приводит нас к верным выводам
ошибки в применении протоколов приводят к выводам неверным
если же мы уходим от абстрактных понятий, и приходим к конкретным вещям, то тут уже вывод получается верным лишь в приближении, с определенной достоверностью, которая зависит от того, насколько упрощена была рабочая модель по сравнению с конкретной реальностью
no subject
Date: 2007-10-08 01:10 pm (UTC)