fbpx
Wikipedia

Ciencias formales

Las ciencias formales son conjuntos sistemáticos de conocimientos racionales y coherentes. Si bien su objeto de estudio no es el mundo físico o natural, sino objetos puramente abstractos, sus conocimientos pueden ser aplicados a dicha realidad físico-natural. El método propio de las ciencias formales es la deducción; y a diferencia de la ciencia empírica, no admite la inducción ni la abducción.[1]​ Es aquella que trabaja con formas, es decir, con objetos ideales que existen en la mente y son obtenidos por abstracción. La verdad en las ciencias formales es entendida como verdad lógica: consecuencias que siguen necesariamente de considerar todas las posibilidades o «formas» en las que podrían combinarse los hechos preestablecidos.

Escucha este artículo
(info)
Esta narración de audio fue creada a partir de una versión específica de este artículo (concretamente del 12 de julio de 2018) y no refleja las posibles ediciones subsiguientes.

Ejemplos de ciencias formales son las matemáticas, la lógica y las ciencias de la computación.

Las ciencias formales son las ramas de la ciencia que estudian sistemas formales. Las ciencias formales validan sus teorías con base en proposiciones, definiciones, axiomas y reglas de inferencia. Todas ellas son analíticas, a diferencia de las ciencias sociales y las ciencias naturales, que se argumentan de manera empírica; es decir, observando el mundo real para encontrar más o menos evidencia a favor de una hipótesis. Los conocimientos de la ciencia formal suelen llamarse «teoremas», que a su vez provienen de demostraciones matemáticas.

Ejemplos

Matemáticas

 
Margarita filosófica (literalmente, "perla filosófica"): en este grabado de 1508 de Gregor Reisch, monje cartujo, humanista y polígrafo alemán, se observa a Madame Aritmética instruyendo a un algorista (especialista en algoritmos) y a un abacista (especialista en el uso del ábaco), dos maneras de hacer los cálculos.
 
Euclides (matemático griego del siglo III a. C.), representado sosteniendo un compás, según lo imaginado por Rafael Sanzio en este detalle de La escuela de Atenas.[2]

Las matemáticas o la matemática[3]​ (del latín mathematĭca, y este del griego μαθηματικά, transliterado como mathēmatiká, derivado de μάθημα, tr. máthēma. 'conocimiento') son/es una ciencia formal que, partiendo de axiomas y siguiendo el razonamiento lógico, estudia/n las propiedades, estructuras abstractas y relaciones entre entidades abstractas como números, figuras geométricas, iconos, glifos o símbolos en general.[cita requerida]

La matemática es un conjunto de lenguajes formales que pueden usarse como herramienta para plantear problemas en contextos específicos. Por ejemplo, el siguiente enunciado puede expresarse de dos formas: X es mayor que Y y Y es mayor que Z, o en forma simplificada puede decirse que X > Y > Z. Este es el motivo por el cual las matemáticas son tan solo un lenguaje simplificado con una herramienta para cada problema específico (por ejemplo, 2 × 2 = 4 o bien 2 + 2 = 4).[cita requerida]

Las ciencias naturales han hecho un uso extensivo de las matemáticas para explicar diversos fenómenos observables, tal como lo expresó Eugene Paul Wigner (Premio Nobel de Física en 1963):[4]

La enorme utilidad de las matemáticas en las ciencias naturales es algo que roza lo misterioso, y no hay explicación para ello. No es en absoluto natural que existan «leyes de la naturaleza», y mucho menos que el hombre sea capaz de descubrirlas. El milagro de lo apropiado que resulta el lenguaje de las matemáticas para la formulación de las leyes de la física es un regalo maravilloso que no comprendemos ni nos merecemos.

Mediante la abstracción y el uso de la lógica en el razonamiento, las matemáticas han evolucionado basándose en el cálculo y las mediciones, junto con el estudio sistemático de la forma y el movimiento de los objetos físicos. Las matemáticas, desde sus comienzos, han tenido un fin práctico.

Las explicaciones que se apoyaban en la lógica aparecieron por primera vez con la matemática helénica, especialmente con los Elementos de Euclides. Las matemáticas siguieron desarrollándose, con continuas interrupciones, hasta que en el Renacimiento las innovaciones matemáticas interactuaron con los nuevos descubrimientos científicos. Como consecuencia, hubo una aceleración en la investigación que continúa hasta la actualidad.

Hoy día, las matemáticas se usan en todo el mundo como una herramienta esencial en muchos campos, entre los que se encuentran las ciencias naturales, la ciencias aplicadas, las humanidades, la medicina y las ciencias sociales, e incluso disciplinas que, aparentemente, no están vinculadas con ella, como la música (por ejemplo, en cuestiones de resonancia armónica). Las matemáticas aplicadas, rama de las matemáticas destinada a la aplicación del conocimiento matemático a otros ámbitos, inspiran y hacen uso de los nuevos descubrimientos matemáticos y, en ocasiones, conducen al desarrollo de nuevas disciplinas. Los matemáticos también participan en las matemáticas puras, sin tener en cuenta la aplicación de esta ciencia, aunque las aplicaciones prácticas de las matemáticas puras suelen ser descubiertas con el paso del tiempo.

Lógica

 
Esquema del modus ponens, una regla de inferencia fundamental de la lógica proposicional.

La lógica es una rama de la filosofía[5]​ de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida,[6]​ las falacias, las paradojas y la noción de verdad.[7]

La lógica se divide en varias categorías según su campo de estudio. La lógica filosófica estudia el concepto y la definición, la enunciación o proposición y la argumentación utilizando los métodos y resultados de la lógica moderna para el estudio de problemas filosóficos. La lógica matemática estudia la inferencia mediante sistemas formales como la lógica proposicional, la lógica de primer orden y la lógica modal. La lógica informal se enfoca en el desarrollo lingüístico de los razonamientos y sus falacias. La lógica computacional es la aplicación de la lógica matemática a las ciencias de la computación.

Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, y por lo tanto ahora también se considera parte de las matemáticas, e incluso una ciencia formal independiente.

No existe un acuerdo universal sobre la definición exacta o los límites de la lógica.[8][9][10]​ Sin embargo, el ámbito de la lógica (interpretada en sentido amplio) incluye:

Históricamente, la lógica se ha estudiado principalmente en filosofía desde la antigüedad, en matemáticas desde mediados del siglo XIX y en informática desde mediados del siglo XX. Más recientemente, la lógica también se ha estudiado en lingüística y en ciencias cognitivas. En general, la lógica sigue siendo un área de estudio fuertemente interdisciplinaria.

Ciencias de la computación

Las Ciencias de la computación estudian los fundamentos teóricos de la información y el cómputo, junto con técnicas prácticas para la implementación y aplicación de estos fundamentos teóricos.

Las ciencias de la computación o ciencias de la informática son las ciencias formales que abarcan las bases teóricas de la información y la computación, así como su aplicación en sistemas computacionales.[11][12][13]​ El cuerpo de conocimiento de las ciencias de la computación es frecuentemente descrito como el estudio sistemático de los procesos algorítmicos que describen y transforman información: su teoría, análisis, diseño, eficiencia, implementación, algoritmos sistematizados y aplicación.[14]​ En términos más específicos se trata del estudio sistemático de la factibilidad, estructura, expresión y mecanización de procedimientos metódicos (o algoritmos) que subyacen en la adquisición, representación, procesamiento, almacenamiento, comunicación y acceso a la información. La información puede estar codificada en forma de bits en una memoria de computadora, o en algún otro objeto, como los genes y proteínas en una célula biológica.[15]

Existen diversas ramas o disciplinas dentro de las ciencias de la computación; algunos resaltan los resultados específicos del cómputo (como los gráficos por computadora), mientras que otros (como la teoría de la complejidad computacional) se relacionan con propiedades de los algoritmos usados al realizar cómputo; y otros se enfocan en los problemas que requieren la implementación de sistemas computacionales. Por ejemplo, los estudios de la teoría de lenguajes de programación describen un cómputo, mientras que la programación de computadoras aplica lenguajes de programación específicos para desarrollar una solución a un problema computacional específico. Un computólogo se especializa en teoría de la computación y en el diseño e implementación de sistemas computacionales.[16]

Según Peter J. Denning, la cuestión fundamental en que se basa la ciencia de la computación es: «¿Qué puede ser (eficientemente) automatizado?».[17]

Véase también

Referencias

  1. Concepto de ciencias formales en DeConceptos.
  2. Ninguna semejanza o descripción de la apariencia física de Euclides durante su vida sobrevivió a la antigüedad. Por lo tanto, la representación de Euclides en las obras de arte depende de la imaginación del artista (véase Euclides).
  3. «matemática», Diccionario de la lengua española (avance de la vigésima tercera edición). Consultado el 20 de enero de 2013.
    Utilízase más en plural con el mismo significado que en singular.
  4. Libro "Del átomo a la mente", 2002, de Ignacio Martínez y Juan Luis Arsuaga. Capítulo 1 "La carta de Dios", subtítulo "El Libro de la Naturaleza", aproximadamente en el sitio 5.5% del libro.
  5. «Lógica (evolución histórica) - Filosofía.org». 
  6. Simon Blackburn (ed.). «logic». The Oxford Dictionary of Philosophy (en inglés) (2008 Edition). Oxford University Press. «lógica: La ciencia general de la inferencia.» 
  7. Corazón González, Rafael. Saber, entender... vivir: una aproximación a la filosofía. pp. 74-77. 
  8. Quine, Willard Van Orman (1986). Philosophy of Logic (2nd edición). Cambridge, MA.: Harvard University Press. pp. 1-14, 61-75. ISBN 0674665635. JSTOR j.ctvk12scx. OCLC 12664089. 
  9. McGinn, Colin (2000). Logical Properties: Identity, Existence, Predication, Necessity, Truth. Oxford: Clarendon Press. ISBN 9780199241811. OCLC 44502365. doi:10.1093/0199241813.001.0001. [página requerida]
  10. McKeon, Matthew (2003). «Colin McGinn. Logical properties: identity, existence, predication, necessity, truth. Clarendon Press, Oxford 2000, vi + 114 pp.». Bulletin of Symbolic Logic (en inglés) 9 (1): 39-42. ISSN 1079-8986. doi:10.1017/S107989860000473X. 
  11. "Computer science is the study of information" , Guttenberg Information Technologies
  12. "Computer science is the study of computation." Computer Science Department, College of Saint Benedict el 3 de febrero de 2007 en Wayback Machine., Saint John's University
  13. "Computer Science is the study of all aspects of computer systems, from the theoretical foundations to the very practical aspects of managing large software projects."
  14. Anthony Ralston, Edwin D. Reilly, David Hemmendinger (2000). Encyclopedia of Computer Science. Wiley. 978-0-470-86412-8. 
  15. http://www.cs.bu.edu/AboutCS/WhatIsCS.pdf el 18 de febrero de 2015 en Wayback Machine..
  16. «WordNet Search - 3.1». Wordnetweb.princeton.edu. Consultado el 14 de mayo de 2012. 
  17. Denning, P.J. (2000). (PDF). Encyclopedia of Computer Science. Archivado desde el original el 25 de mayo de 2006. 
  •   Datos: Q816264

ciencias, formales, ciencias, formales, conjuntos, sistemáticos, conocimientos, racionales, coherentes, bien, objeto, estudio, mundo, físico, natural, sino, objetos, puramente, abstractos, conocimientos, pueden, aplicados, dicha, realidad, físico, natural, mét. Las ciencias formales son conjuntos sistematicos de conocimientos racionales y coherentes Si bien su objeto de estudio no es el mundo fisico o natural sino objetos puramente abstractos sus conocimientos pueden ser aplicados a dicha realidad fisico natural El metodo propio de las ciencias formales es la deduccion y a diferencia de la ciencia empirica no admite la induccion ni la abduccion 1 Es aquella que trabaja con formas es decir con objetos ideales que existen en la mente y son obtenidos por abstraccion La verdad en las ciencias formales es entendida como verdad logica consecuencias que siguen necesariamente de considerar todas las posibilidades o formas en las que podrian combinarse los hechos preestablecidos Escucha este articulo info source source Esta narracion de audio fue creada a partir de una version especifica de este articulo concretamente del 12 de julio de 2018 y no refleja las posibles ediciones subsiguientes Mas articulos grabados Problemas al reproducir este archivo Ejemplos de ciencias formales son las matematicas la logica y las ciencias de la computacion Las ciencias formales son las ramas de la ciencia que estudian sistemas formales Las ciencias formales validan sus teorias con base en proposiciones definiciones axiomas y reglas de inferencia Todas ellas son analiticas a diferencia de las ciencias sociales y las ciencias naturales que se argumentan de manera empirica es decir observando el mundo real para encontrar mas o menos evidencia a favor de una hipotesis Los conocimientos de la ciencia formal suelen llamarse teoremas que a su vez provienen de demostraciones matematicas Indice 1 Ejemplos 1 1 Matematicas 1 2 Logica 1 3 Ciencias de la computacion 2 Vease tambien 3 ReferenciasEjemplos EditarMatematicas Editar Esta seccion es un extracto de Matematicas editar Margarita filosofica literalmente perla filosofica en este grabado de 1508 de Gregor Reisch monje cartujo humanista y poligrafo aleman se observa a Madame Aritmetica instruyendo a un algorista especialista en algoritmos y a un abacista especialista en el uso del abaco dos maneras de hacer los calculos Euclides matematico griego del siglo III a C representado sosteniendo un compas segun lo imaginado por Rafael Sanzio en este detalle de La escuela de Atenas 2 Las matematicas o la matematica 3 del latin mathematĭca y este del griego ma8hmatika transliterado como mathematika derivado de ma8hma tr mathema conocimiento son es una ciencia formal que partiendo de axiomas y siguiendo el razonamiento logico estudia n las propiedades estructuras abstractas y relaciones entre entidades abstractas como numeros figuras geometricas iconos glifos o simbolos en general cita requerida La matematica es un conjunto de lenguajes formales que pueden usarse como herramienta para plantear problemas en contextos especificos Por ejemplo el siguiente enunciado puede expresarse de dos formas X es mayor que Y y Y es mayor que Z o en forma simplificada puede decirse que X gt Y gt Z Este es el motivo por el cual las matematicas son tan solo un lenguaje simplificado con una herramienta para cada problema especifico por ejemplo 2 2 4 o bien 2 2 4 cita requerida Las ciencias naturales han hecho un uso extensivo de las matematicas para explicar diversos fenomenos observables tal como lo expreso Eugene Paul Wigner Premio Nobel de Fisica en 1963 4 La enorme utilidad de las matematicas en las ciencias naturales es algo que roza lo misterioso y no hay explicacion para ello No es en absoluto natural que existan leyes de la naturaleza y mucho menos que el hombre sea capaz de descubrirlas El milagro de lo apropiado que resulta el lenguaje de las matematicas para la formulacion de las leyes de la fisica es un regalo maravilloso que no comprendemos ni nos merecemos Mediante la abstraccion y el uso de la logica en el razonamiento las matematicas han evolucionado basandose en el calculo y las mediciones junto con el estudio sistematico de la forma y el movimiento de los objetos fisicos Las matematicas desde sus comienzos han tenido un fin practico Las explicaciones que se apoyaban en la logica aparecieron por primera vez con la matematica helenica especialmente con los Elementos de Euclides Las matematicas siguieron desarrollandose con continuas interrupciones hasta que en el Renacimiento las innovaciones matematicas interactuaron con los nuevos descubrimientos cientificos Como consecuencia hubo una aceleracion en la investigacion que continua hasta la actualidad Hoy dia las matematicas se usan en todo el mundo como una herramienta esencial en muchos campos entre los que se encuentran las ciencias naturales la ciencias aplicadas las humanidades la medicina y las ciencias sociales e incluso disciplinas que aparentemente no estan vinculadas con ella como la musica por ejemplo en cuestiones de resonancia armonica Las matematicas aplicadas rama de las matematicas destinada a la aplicacion del conocimiento matematico a otros ambitos inspiran y hacen uso de los nuevos descubrimientos matematicos y en ocasiones conducen al desarrollo de nuevas disciplinas Los matematicos tambien participan en las matematicas puras sin tener en cuenta la aplicacion de esta ciencia aunque las aplicaciones practicas de las matematicas puras suelen ser descubiertas con el paso del tiempo Logica Editar Esta seccion es un extracto de Logica editar Este articulo o seccion tiene referencias pero necesita mas para complementar su verificabilidad Este aviso fue puesto el 28 de octubre de 2018 Esquema del modus ponens una regla de inferencia fundamental de la logica proposicional La logica es una rama de la filosofia 5 de caracter interdisciplinario entendida como la ciencia formal que estudia los principios de la demostracion y la inferencia valida 6 las falacias las paradojas y la nocion de verdad 7 La logica se divide en varias categorias segun su campo de estudio La logica filosofica estudia el concepto y la definicion la enunciacion o proposicion y la argumentacion utilizando los metodos y resultados de la logica moderna para el estudio de problemas filosoficos La logica matematica estudia la inferencia mediante sistemas formales como la logica proposicional la logica de primer orden y la logica modal La logica informal se enfoca en el desarrollo linguistico de los razonamientos y sus falacias La logica computacional es la aplicacion de la logica matematica a las ciencias de la computacion Los origenes de la logica se remontan a la Edad Antigua con brotes independientes en China India y Grecia Desde entonces la logica tradicionalmente se considera una rama de la filosofia pero en el siglo XX la logica ha pasado a ser principalmente la logica matematica y por lo tanto ahora tambien se considera parte de las matematicas e incluso una ciencia formal independiente No existe un acuerdo universal sobre la definicion exacta o los limites de la logica 8 9 10 Sin embargo el ambito de la logica interpretada en sentido amplio incluye La clasificacion de los argumentos El analisis sistematico de las formas logicas El estudio sistematico de la validez de las inferencias deductivas La fuerza del inferencias inductivas El estudio de los argumentos defectuosos como las falacias El estudio de las paradojas logicas El estudio de la sintaxis y la semantica de los lenguajes formales El estudio de los conceptos de sentido denotacion y verdad Historicamente la logica se ha estudiado principalmente en filosofia desde la antiguedad en matematicas desde mediados del siglo XIX y en informatica desde mediados del siglo XX Mas recientemente la logica tambien se ha estudiado en linguistica y en ciencias cognitivas En general la logica sigue siendo un area de estudio fuertemente interdisciplinaria Ciencias de la computacion Editar Esta seccion es un extracto de Ciencias de la computacion editar Las Ciencias de la computacion estudian los fundamentos teoricos de la informacion y el computo junto con tecnicas practicas para la implementacion y aplicacion de estos fundamentos teoricos Las ciencias de la computacion o ciencias de la informatica son las ciencias formales que abarcan las bases teoricas de la informacion y la computacion asi como su aplicacion en sistemas computacionales 11 12 13 El cuerpo de conocimiento de las ciencias de la computacion es frecuentemente descrito como el estudio sistematico de los procesos algoritmicos que describen y transforman informacion su teoria analisis diseno eficiencia implementacion algoritmos sistematizados y aplicacion 14 En terminos mas especificos se trata del estudio sistematico de la factibilidad estructura expresion y mecanizacion de procedimientos metodicos o algoritmos que subyacen en la adquisicion representacion procesamiento almacenamiento comunicacion y acceso a la informacion La informacion puede estar codificada en forma de bits en una memoria de computadora o en algun otro objeto como los genes y proteinas en una celula biologica 15 Existen diversas ramas o disciplinas dentro de las ciencias de la computacion algunos resaltan los resultados especificos del computo como los graficos por computadora mientras que otros como la teoria de la complejidad computacional se relacionan con propiedades de los algoritmos usados al realizar computo y otros se enfocan en los problemas que requieren la implementacion de sistemas computacionales Por ejemplo los estudios de la teoria de lenguajes de programacion describen un computo mientras que la programacion de computadoras aplica lenguajes de programacion especificos para desarrollar una solucion a un problema computacional especifico Un computologo se especializa en teoria de la computacion y en el diseno e implementacion de sistemas computacionales 16 Segun Peter J Denning la cuestion fundamental en que se basa la ciencia de la computacion es Que puede ser eficientemente automatizado 17 Vease tambien EditarCiencias naturales Ciencias sociales Ciencias aplicadasReferencias Editar Concepto de ciencias formales en DeConceptos Ninguna semejanza o descripcion de la apariencia fisica de Euclides durante su vida sobrevivio a la antiguedad Por lo tanto la representacion de Euclides en las obras de arte depende de la imaginacion del artista vease Euclides matematica Diccionario de la lengua espanola avance de la vigesima tercera edicion Consultado el 20 de enero de 2013 Utilizase mas en plural con el mismo significado que en singular Libro Del atomo a la mente 2002 de Ignacio Martinez y Juan Luis Arsuaga Capitulo 1 La carta de Dios subtitulo El Libro de la Naturaleza aproximadamente en el sitio 5 5 del libro Logica evolucion historica Filosofia org Simon Blackburn ed logic The Oxford Dictionary of Philosophy en ingles 2008 Edition Oxford University Press logica La ciencia general de la inferencia Corazon Gonzalez Rafael Saber entender vivir una aproximacion a la filosofia pp 74 77 Quine Willard Van Orman 1986 Philosophy of Logic 2nd edicion Cambridge MA Harvard University Press pp 1 14 61 75 ISBN 0674665635 JSTOR j ctvk12scx OCLC 12664089 McGinn Colin 2000 Logical Properties Identity Existence Predication Necessity Truth Oxford Clarendon Press ISBN 9780199241811 OCLC 44502365 doi 10 1093 0199241813 001 0001 pagina requerida McKeon Matthew 2003 Colin McGinn Logical properties identity existence predication necessity truth Clarendon Press Oxford 2000 vi 114 pp Bulletin of Symbolic Logic en ingles 9 1 39 42 ISSN 1079 8986 doi 10 1017 S107989860000473X Computer science is the study of information Department of Computer and Information Science Guttenberg Information Technologies Computer science is the study of computation Computer Science Department College of Saint Benedict Archivado el 3 de febrero de 2007 en Wayback Machine Saint John s University Computer Science is the study of all aspects of computer systems from the theoretical foundations to the very practical aspects of managing large software projects Massey University Anthony Ralston Edwin D Reilly David Hemmendinger 2000 Encyclopedia of Computer Science Wiley 978 0 470 86412 8 http www cs bu edu AboutCS WhatIsCS pdf Archivado el 18 de febrero de 2015 en Wayback Machine WordNet Search 3 1 Wordnetweb princeton edu Consultado el 14 de mayo de 2012 Denning P J 2000 Computer Science The Discipline PDF Encyclopedia of Computer Science Archivado desde el original el 25 de mayo de 2006 Datos Q816264 Obtenido de https es wikipedia org w index php title Ciencias formales amp oldid 138349245, wikipedia, wiki, leyendo, leer, libro, biblioteca,

español

, española, descargar, gratis, descargar gratis, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, imagen, música, canción, película, libro, juego, juegos