Ciencia formal

Parte de una serie sobre
Ciencia
Portal de la ciencia Describir Categoría Índices de artículos Glosarios Historia Literatura Método Filosofía
Sucursales Formal Natural Físico Vida Social Aplicado
En la sociedad Comunicación Comunidad Educación Fondos Política Pseudociencia Científico
en a mi

La ciencia formal es una rama de la ciencia que estudia disciplinas relacionadas con las estructuras abstractas descritas por sistemas formales , como la lógica , las matemáticas , la estadística , la informática teórica , la inteligencia artificial , la teoría de la información , la teoría de juegos , la teoría de sistemas , la teoría de decisiones y la lingüística teórica . Mientras que las ciencias naturales y las ciencias sociales buscan caracterizar los sistemas físicos y los sistemas sociales , respectivamente, utilizando métodos empíricos , las ciencias formales utilizan herramientas del lenguaje relacionadas con la caracterización de estructuras abstractas descritas por sistemas formales . Las ciencias formales ayudan a las ciencias naturales y sociales al proporcionar información sobre las estructuras utilizadas para describir el mundo físico y las inferencias que se pueden hacer sobre ellas. ^{[ cita requerida ]}

1. Lógica (también una rama de la filosofía )
2. Matemáticas
3. Estadística
4. Ciencia de sistemas
5. Ciencia de datos
6. Ciencia de la información
7. Ciencias de la Computación
8. Criptografía

Una razón por la que las matemáticas gozan de especial estima, por encima de todas las demás ciencias, es que sus leyes son absolutamente ciertas e indiscutibles, mientras que las de otras ciencias son hasta cierto punto discutibles y están en constante peligro de ser derrocadas por hechos recién descubiertos.

—Albert  Einstein ^[1]

Debido a su naturaleza no empírica, las ciencias formales se construyen mediante el establecimiento de un conjunto de axiomas y definiciones de los cuales se deducen otros enunciados ( teoremas ). Por esta razón, en la concepción lógico-positivista de la epistemología de la ciencia de Rudolf Carnap , se entiende que las teorías pertenecientes a las ciencias formales no contienen enunciados sintéticos , sino que contienen solo enunciados analíticos. ^{[2] [3]}

• Mario Bunge (1985). Filosofía de la ciencia y la tecnología . Springer.
• Mario Bunge (1998). Filosofía de la ciencia . Rev. ed. de: Investigación científica . Berlín, Nueva York: Springer-Verlag, 1967.
• C. West Churchman (1940). Elementos de lógica y ciencia formal , JB Lippincott Co., Nueva York.
• James Franklin (1994). Las ciencias formales descubren la piedra filosofal. En: Estudios de historia y filosofía de la ciencia . Vol. 25, Núm. 4, pp. 513–533, 1994.
• Stephen Leacock (1906). Elementos de ciencia política . Houghton, Mifflin Co, 417 págs.
• Popper, Karl R. (2002) [1959]. La lógica del descubrimiento científico . Nueva York, NY: Routledge Classics. ISBN 0-415-27844-9.OCLC 59377149  .
• Bernt P. Stigum (1990). Hacia una ciencia formal de la economía . MIT Press
• Marcus Tomalin (2006), Lingüística y ciencias formales . Cambridge University Press
• William L. Twining (1997). El derecho en contexto: la ampliación de una disciplina . 365 págs.

• Medios relacionados con Ciencias formales en Wikimedia Commons
• Conferencias interdisciplinarias — Fundamentos de las ciencias formales