Rama de la ciencia
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 ]
Sucursales
- Lógica (también una rama de la filosofía )
- Matemáticas
- Estadística
- Ciencia de sistemas
- Ciencia de datos
- Ciencia de la información
- Ciencias de la Computación
- Criptografía
Diferencias con otras ciencias
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.
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]
Véase también
Referencias
- ^ Albert Einstein (1923). "Geometría y experiencia". Aspectos secundarios de la relatividad . Courier Dover Publications. pág. 27.Reimpreso por Dover (2010), ISBN 978-0-486-24511-9 .
- ^ Carnap, Rudolf (1938). "Fundamentos lógicos de la unidad de la ciencia". Enciclopedia internacional de la ciencia unificada . Vol. I. Chicago: University of Chicago Press.
- ^ Thompson, Bill (2007), "2.4 Ciencia formal y matemáticas aplicadas", La naturaleza de la evidencia estadística , Lecture Notes in Statistics, vol. 189 (1.ª ed.), Springer, pág. 15
Lectura adicional
- 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.
Enlaces externos
Medios relacionados con Ciencias formales en Wikimedia Commons- Conferencias interdisciplinarias — Fundamentos de las ciencias formales
Medios relacionados con Ciencias formales en Wikimedia Commons