Ciencia formal

La ciencia formal es una rama de la ciencia que estudia disciplinas relacionadas con estructuras abstractas descritas por sistemas formales .

Mientras que las ciencias naturales y las ciencias sociales buscan caracterizar los sistemas físicos y sociales , respectivamente, utilizando métodos teóricos y empíricos , las ciencias formales utilizan herramientas lingüísticas que se ocupan de caracterizar las estructuras abstractas descritas por los sistemas formales y las deducciones que se pueden extraer de ellos.

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. ^{[ 1 ]}

Sucursales

Diferencias con otras ciencias

Una de las razones por las que las matemáticas gozan de una estima especial, por encima de todas las demás ciencias, es que sus leyes son absolutamente ciertas e indiscutibles, mientras que las de otras ciencias son, en cierta medida, discutibles y están en constante peligro de ser refutadas por nuevos descubrimientos.

— Albert Einstein ^[²^]

Debido a su naturaleza no empírica, las ciencias formales se construyen mediante la formulación de un conjunto de axiomas y definiciones a partir 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 únicamente enunciados analíticos. ^[³^]^[⁴^]

Véase también

Filosofía – Estudio de cuestiones generales y fundamentales
- Abstracto y concreto : concepto metafísico que abarca la división entre dos tipos de entidades.
- Distinción analítico-sintética : distinción semántica en filosofía.
- Racionalismo : perspectiva epistemológica centrada en la razón.
Ciencia – Esfuerzo sistemático para adquirir conocimiento
- Ciencia cognitiva : estudio científico interdisciplinario de los procesos cognitivos.
- Ciencias matemáticas – Grupo de áreas de estudio que son principalmente matemáticas
Estructura abstracta : tipo de abstracción en ciencia, matemáticas y filosofía.
Abstracción en matemáticas : proceso de extracción de la esencia subyacente de un concepto matemático.
Abstracción en ciencias de la computación : software que proporciona acceso que oculta detalles.
Formalismo (filosofía de las matemáticas) : visión de que las matemáticas no necesariamente representan la realidad, sino que se asemejan más a un juego.
Lenguaje formal : secuencia de palabras formada por reglas específicas.
- Gramática formal – Estructura de un lenguaje formal
Métodos formales – Especificaciones de programas matemáticos
Sistema formal : modelo matemático para sistemas de deducción o demostración.
Forma y contenido : aspectos distintivos de una obra de arte.
Modelo matemático : descripción de un sistema mediante conceptos y lenguaje matemáticos.
Clasificación de materias de matemáticas – Esquema de clasificación para matemáticas
Semiótica – Estudio de los signos
Teoría de las formas – Teoría filosófica atribuida a Platón

Referencias

↑ Ramoo, Dinesh (2024). Pensamiento crítico . Thompson Rivers University Open Press.
↑ Albert Einstein (1923). "Geometría y experiencia". Notas sobre 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

Lecturas adicionales

Mario Bunge (1985). Filosofía de la ciencia y la tecnología . Springer.
Mario Bunge (1998). Filosofía de la ciencia . Edición revisada 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.º 4, págs. 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-9OCLC 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: ampliando una disciplina . 365 págs.

Enlaces externos

Contenido multimedia relacionado con las ciencias formales en Wikimedia Commons
Conferencias interdisciplinarias: Fundamentos de las ciencias formales

[1] Ramoo, Dinesh (2024). Pensamiento crítico . Thompson Rivers University Open Press.

[2] Albert Einstein (1923). "Geometría y experiencia". Notas sobre la relatividad . Courier Dover Publications. pág. 27. Reimpreso por Dover (2010), ISBN 978-0-486-24511-9.

[3] 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.

[4] 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

[ 1 ]

[

[

[