Формальная наука

Формальная наука - это отрасль науки, изучающая дисциплины, связанные с абстрактными структурами, описываемыми формальными системами , такими как логика , математика , статистика , теоретическая информатика , искусственный интеллект , теория информации , теория игр , теория систем , теория принятия решений и теоретическая лингвистика . В то время как естественные и социальные науки стремятся охарактеризовать физические системы и социальные системы соответственно, используя эмпирические методы, формальные науки используют языковые инструменты , связанные с характеристикой абстрактных структур, описываемых формальными системами . Формальные науки помогают естественным и социальным наукам, предоставляя информацию о структурах, используемых для описания физического мира, и о том, какие выводы о них можно сделать. ^{[ нужна ссылка ]}

Филиалы

Отличия от других наук

Одна из причин, почему математика пользуется особым уважением перед всеми другими науками, состоит в том, что ее законы абсолютно надежны и неоспоримы, в то время как законы других наук до некоторой степени дискуссионны и находятся под постоянной опасностью быть опровергнутыми вновь открываемыми фактами.
— Альберт Эйнштейн ^[1]

Из-за своей неэмпирической природы формальные науки истолковываются путем описания набора аксиом и определений , из которых другие утверждения ( теоремы выводятся ). По этой причине в Рудольфа Карнапа считается логико-позитивистской концепции эпистемологии науки , что теории, принадлежащие формальным наукам, не содержат синтетических утверждений , а содержат только аналитические утверждения . ^[2]^[3]

См. также

Ссылки

^ Альберт Эйнштейн (1923). «Геометрия и опыт». Немного о теории относительности . Публикации Courier Dover. п. 27. Перепечатано Дувром (2010 г.), ISBN 978-0-486-24511-9 .
^ Карнап, Рудольф (1938). «Логические основы единства науки». Международная энциклопедия единой науки . Том. Я. Чикаго: Издательство Чикагского университета.
^ Томпсон, Билл (2007), «2.4 Формальная наука и прикладная математика», Природа статистических данных , Конспекты лекций по статистике, том. 189 (1-е изд.), Спрингер, с. 15

Дальнейшее чтение

Марио Бунге (1985). Философия науки и техники . Спрингер.
Марио Бунге (1998). Философия науки . Преподобный изд. из: Научные исследования . Берлин, Нью-Йорк: Springer-Verlag, 1967.
К. Вест Черчман (1940). Элементы логики и формальной науки , JB Lippincott Co., Нью-Йорк.
Джеймс Франклин (1994). Формальные науки открывают философский камень . В: Исследования по истории и философии науки . Том. 25, № 4, стр. 513–533, 1994 г.
Стивен Ликок (1906). Элементы политологии . Хоутон, Mifflin Co, 417 стр.
Поппер, Карл Р. (2002) [1959]. Логика научного открытия . Нью-Йорк, штат Нью-Йорк: Routledge Classics. ISBN 0-415-27844-9 . OCLC 59377149 .
Бернт П. Стигум (1990). На пути к формальной экономической науке . Массачусетский технологический институт Пресс
Маркус Томалин (2006), Лингвистика и формальные науки . Издательство Кембриджского университета
Уильям Л. Твининг (1997). Право в контексте: расширение дисциплины . 365 стр.

Внешние ссылки

СМИ, связанные с формальными науками, на Викискладе?
Междисциплинарные конференции — Основы формальных наук

[1] Альберт Эйнштейн (1923). «Геометрия и опыт». Немного о теории относительности . Публикации Courier Dover. п. 27. Перепечатано Дувром (2010 г.), ISBN 978-0-486-24511-9 .

[2] Карнап, Рудольф (1938). «Логические основы единства науки». Международная энциклопедия единой науки . Том. Я. Чикаго: Издательство Чикагского университета.

[3] Томпсон, Билл (2007), «2.4 Формальная наука и прикладная математика», Природа статистических данных , Конспекты лекций по статистике, том. 189 (1-е изд.), Спрингер, с. 15

[1]

[2]

[3]