ciencia formal

Rama de la ciencia

La ciencia formal es una rama de la ciencia que estudia disciplinas relacionadas con 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 la decisión y la lingüística teórica . Mientras que las ciencias naturales y las ciencias sociales buscan caracterizar sistemas físicos y sistemas sociales , respectivamente, utilizando métodos empíricos , las ciencias formales utilizan herramientas del lenguaje que se ocupan de caracterizar 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 qué inferencias se pueden hacer sobre ellas. ^{[ cita necesaria ]}

Sucursales

1. Criptografía
2. Lógica (también una rama de la filosofía )
3. Matemáticas
4. Ciencias de la Computación
5. ciencia de sistemas

Diferencias con otras ciencias.

Una de las razones por las 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 derribadas por hechos recién descubiertos.

—Albert  Einstein ^[1]

Debido a su naturaleza no empírica, las ciencias formales se construyen delineando 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 sólo contienen enunciados analíticos. ^{[2] [3]}

Ver también

• Filosofía
• Ciencia
• Racionalismo
• estructura abstracta
• Abstracción en matemáticas
• Abstracción en informática
• Formalismo (filosofía de las matemáticas)
• Gramática formal
• Lenguaje formal
• método formal
• sistema formal
• Forma y contenido
• Modelo matemático
• ciencias matematicas
• Clasificación de materias de matemáticas
• Semiótica
• teoría de las formas

Referencias

1. Albert Einstein (1923). "Geometría y Experiencia". Luces secundarias sobre la relatividad . Publicaciones de Courier Dover. pag. 27.Reimpreso por Dover (2010), ISBN 978-0-486-24511-9 . 
2. Carnap, Rudolf (1938). "Fundamentos lógicos de la unidad de la ciencia". Enciclopedia Internacional de Ciencia Unificada . vol. I. Chicago: Prensa de la Universidad de Chicago.
3. Thompson, Bill (2007), "2.4 Ciencias formales y matemáticas aplicadas", La naturaleza de la evidencia estadística , Apuntes de conferencias sobre estadística, vol. 189 (1ª ed.), Springer, pág. 15

Otras lecturas

• Mario Bunge (1985). Filosofía de la Ciencia y la Tecnología . Saltador.
• Mario Bunge (1998). Filosofía de la Ciencia . Ed. Rev. de: Investigación científica . Berlín, Nueva York: Springer-Verlag, 1967.
• C. Iglesia occidental (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, págs. 513–533, 1994
• Stephen Leacock (1906). Elementos de la Ciencia Política . Houghton, Mifflin Co, 417 págs.
• Popper, Karl R. (2002) [1959]. La lógica del descubrimiento científico . Nueva York, Nueva York: Routledge Classics. ISBN 0-415-27844-9. OCLC  59377149.
• Bernt P. Stigum (1990). Hacia una ciencia formal de la economía . Prensa del MIT
• Marcus Tomalin (2006), Lingüística y ciencias formales . Prensa de la Universidad de Cambridge
• William L. Hermanamiento (1997). Derecho en contexto: ampliación de una disciplina . 365 págs.

enlaces externos

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