RSS

Александр Ивин. Логика

11 Авг
  1. Современная логика и другие науки

С момента своего возникновения логика была самым тесным образом связана с философией. В течение многих веков логика считалась, подобно психологии, одной из «философских наук». И только во второй половине xix в. формальная – к этому времени уже математическая – логика «отпочковалась», как принято выражаться, от философии. Примерно в это же время от философии отделилась и стала самостоятельной научной дисциплиной психология. Но если отделение психологии было связано прежде всего с проникновением в неё опыта и эксперимента и сближением её с другими эмпирическими науками, то в отделении логики решающую роль сыграло проникновение в неё математических методов и сближение с математикой.
Математическая логика возникла, в сущности, на стыке двух столь разных наук, как философия, или точнее – философская логика, и математика. И тем не менее, взаимосвязь новой логики с философией не только не оборвалась, но, напротив, парадоксальным образом даже окрепла. Обращение к философии является необходимым условием прояснения логикой своих оснований. С другой стороны, использование в философии понятий, методов и аппарата современной логики несомненно способствует более ясному пониманию самих философских понятий, принципов и проблем.
Тесная связь современной логики с математикой придаёт особую остроту вопросу о взаимных отношениях этих двух наук. Среди многих точек зрения, высказывавшихся по этому поводу, были и две крайних, ведущих в общем-то к тому же самому конечному результату – объединению математики и логики в единую научную дисциплину, сведению их в одну науку.
Согласно Г.Фреге, Б.Расселу и их последователям, математика и логика – это всего лишь две ступени в развитии той же самой науки. Математика может быть полностью сведена к логике, и такое чисто логическое обоснование математики позволит установить её истинную и наиболее глубокую природу. Этот подход к обоснованию математики получил название логицизма.
Сторонники логицизма добились определённых успехов в прояснении основ математики. В частности, было показано, что математический словарь сводится к неожиданно краткому перечню основных понятий, которые принадлежат словарю чистой логики. Вся существующая математика была сведена к сравнительно простой и унифицированной системе исходных, принимаемых без доказательства положений, или аксиом, и правил вывода из них следствий, или теорем.
Однако в целом логицизм оказался утопической концепцией. Математика не сводима к логике, поскольку для построения математики необходимы аксиомы, устанавливающие существование в реальности определённых объектов. Но такие аксиомы имеют уже внелогическую природу.
Другой формой объединения математики и логики в одну науку было объявление математической, или современной, логики одним из разделов современной математики. Многие математики и сейчас ещё считают главной – если не единственной – задачей математической логики уточнение понятия математического доказательства.
Тенденция включать математическую логику в число математических дисциплин и видеть в ней только теорию математического доказательства является, конечно, ошибочной. На самом деле задачи логики гораздо шире. Она исследует основы всякого правильного рассуждения, а не только строгого математического доказательства, и её интересует связь между посылками и следствиями в любых областях рассуждения и познания.
Современная логика тесно связана также с кибернетикой – наукой о закономерностях управления процессами и системами в любых областях: в технике, в живых организмах, в обществе. Основоположник кибернетики, американский математик Н.Винер не без оснований подчёркивал, что само возникновение кибернетики было бы немыслимо без математической логики. Автоматика и электронно-вычислительная техника, применяемые в кибернетике, были бы невозможны без использования алгебры логики – этого возникшего первым раздела современной логики. В управляющих системах, применяемых в кибернетике, значительное место занимают релейно-контактные схемы, моделирующие логические операции. Описание таких операций, даваемое логикой, способствует детальному анализу логического строения мысли и открывает поразительные перспективы автоматизации логических процессов.
Помимо кибернетики современная логика находит широкие приложения и во многих других областях науки и техники.

 

Оставить комментарий

Опубликовал на 11.08.2014 в Логика

 

Метки: , , , ,

Добавить комментарий

Заполните поля или щелкните по значку, чтобы оставить свой комментарий:

Логотип WordPress.com

Для комментария используется ваша учётная запись WordPress.com. Выход /  Изменить )

Google photo

Для комментария используется ваша учётная запись Google. Выход /  Изменить )

Фотография Twitter

Для комментария используется ваша учётная запись Twitter. Выход /  Изменить )

Фотография Facebook

Для комментария используется ваша учётная запись Facebook. Выход /  Изменить )

Connecting to %s

 
ВОИНР Челябинской области

Всесоюзное объединение граждан СССР

Граждане СССР

Всесоюзное объединение избирателей

ВОИНР Краснодон

Всесоюзное Объединение Избирателей Народов России (СССР) г. Краснодон

ВОИНР (СССР) г.Салаир

Всесоюзное Объединение Избирателей Народов России граждан СССР г.Салаир

ВОИНР (СССР) г.ТОПКИ

Всесоюзное Объединение Избирателей Народов России граждан СССР г. Топки

ВОИНР (СССР) г.Кемерово

Всесоюзное Объединение Избирателей Народов России граждан СССР г. Кемерово

ВОИНР (СССР) г.Мыски

Всесоюзное Объединение Избирателей Народов России граждан СССР г. Мыски

ВОИНР (СССР) г.Новокузнецк

Всесоюзное Объединение Избирателей народов России граждан СССР

ВОИНР (СССР) г.Осинники

Всесоюзное Объединение Избирателей Народов России граждан СССР г.Осинники

ВОИНР (СССР) г.Полысаево

Всесоюзное Объединение Избирателей Народов России граждан СССР г. Полысаево

ВОИНР (СССР) г. Прокопьевск

Всесоюзное Объединение Избирателей России (СССР) г. Прокопьевск

ВОИНР (СССР) г.Калтан

Всесоюзное Объединение Избирателей России граждан СССР г. Калтан

ВОИНР (СССР) г.Киселёвск

Всесоюзное Объединение Избирателей Народов России граждан СССР г. Киселёвска

ВОИНР (СССР) г.Тайга

Всесоюзное Объединение Избирателей Народов России граждан СССР г.Тайга

ВОИНР (СССР) Мариинск

Всесоюзное Объединение Избирателей Народов России граждан СССР города Мариинска

ВОИНР (СССР) г. Таштагол

Всесоюзное Объединение Избирателей Народов России граждан СССР города Таштагол

ВОИНР (СССР) г. Юрга

Всесоюзное Объединение Избирателей Народов России граждан СССР г.Юрга

ВОИНР (СССР) г.Белово

Всесоюзное Объединение Избирателей Народов России граждан СССР г.Белово

ВОИНР (СССР) г.Берёзовский

Всесоюзное Объединение Избирателей Народов России граждан СССР г.Берёзовский

ВОИНР (СССР) г.Гурьевск

Всесоюзное Объединение Избирателей России граждан СССР г. Гурьевск

ВОИНР Тыва

Всесоюзное Объединение Избирателей Народов России (СССР)

ВОИНР УССР Донецк Будённовский район

Всесоюзное объединение избирателей-граждан СССР

ВОИНР СССР Донецкой области

Всесоюзное объединение избирателей Донецкая область

ВОИНР Луганской

Всесоюзное объединение избирателей СССР

ВОИНР Москва Россия

Всесоюзное объединение избирателей СССР

%d такие блоггеры, как: