23 relaciones: Axioma, Ciencia, Ciencias aplicadas, Ciencias de la computación, Ciencias fácticas, Ciencias naturales, Ciencias sociales, Definición, Demostración en matemática, Distinción analítico-sintético, Lógica, Lenguaje formal, Matemáticas, Objeto abstracto, Proposición, Ramas de la ciencia, Razonamiento abductivo, Razonamiento deductivo, Razonamiento inductivo, Regla de inferencia, Sistema formal, Teorema, Verdad lógica.
Axioma
Axioma es una proposición tan clara y evidente que se admite sin demostración.
¡Nuevo!!: Ciencias formales y Axioma · Ver más »
Ciencia
La ciencia (del latín scientĭa, 'conocimiento') es un conjunto de conocimientos sistemáticos comprobables que estudian, explican y predicen los fenómenos sociales, artificiales y naturales.
¡Nuevo!!: Ciencias formales y Ciencia · Ver más »
Ciencias aplicadas
Las ciencias aplicadas utilizan el conocimiento científico de una o varias ramas de la ciencia para resolver problemas prácticos.
¡Nuevo!!: Ciencias formales y Ciencias aplicadas · Ver más »
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.
¡Nuevo!!: Ciencias formales y Ciencias de la computación · Ver más »
Ciencias fácticas
Las ciencias fácticas, también llamadas ciencias factuales o ciencias empíricas, según una clasificación de las ciencias, son las que tienen el fin de comprender los hechos, es decir, crear una representación mental o artificial de los hechos lo más cercana a cómo son en la realidad o naturaleza.
¡Nuevo!!: Ciencias formales y Ciencias fácticas · Ver más »
Ciencias naturales
Las ciencias naturales, ciencias de la naturaleza, ciencias físico-naturales o ciencias experimentales (históricamente denominadas filosofía natural o historia natural) son aquellas ciencias que tienen por objeto el estudio de la naturaleza, siguiendo la modalidad del método científico conocida como método empírico-analítico.
¡Nuevo!!: Ciencias formales y Ciencias naturales · Ver más »
Ciencias sociales
Las ciencias sociales son las ramas de la ciencia relacionadas con la sociedad y el comportamiento humano.
¡Nuevo!!: Ciencias formales y Ciencias sociales · Ver más »
Definición
Una definición es una proposición o conjunto de proposiciones que exponen de manera unívoca y con precisión la comprensión de un concepto, término o dicción o –si consta de dos o más palabras– de una expresión o locución.
¡Nuevo!!: Ciencias formales y Definición · Ver más »
Demostración en matemática
En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática.
¡Nuevo!!: Ciencias formales y Demostración en matemática · Ver más »
Distinción analítico-sintético
En lógica y filosofía, la distinción analítico-sintético es la distinción entre dos tipos de proposiciones: las proposiciones analíticas y las proposiciones sintéticas.
¡Nuevo!!: Ciencias formales y Distinción analítico-sintético · Ver más »
Lógica
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
¡Nuevo!!: Ciencias formales y Lógica · Ver más »
Lenguaje formal
En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos son primitivos y las reglas para unir esos símbolos están formalmente especificadas.
¡Nuevo!!: Ciencias formales y Lenguaje formal · Ver más »
Matemáticas
Las matemáticas, o también la matemática, La palabra «matemáticas» no está en el Diccionario de la Real Academia Española.
¡Nuevo!!: Ciencias formales y Matemáticas · Ver más »
Objeto abstracto
Un objeto abstracto es un objeto que no posee materia, no participa de relaciones causales y no está en el espacio-tiempo, pero sobre el que se pueden definir acciones.
¡Nuevo!!: Ciencias formales y Objeto abstracto · Ver más »
Proposición
En filosofía y lógica, el término proposición se usa para referirse a.
¡Nuevo!!: Ciencias formales y Proposición · Ver más »
Ramas de la ciencia
Las ramas de la ciencia, disciplinas científicas, o simplemente ciencias, se suelen dividir en tres grupos: ciencias formales, ciencias naturales, y ciencias humanas o ciencias sociales.
¡Nuevo!!: Ciencias formales y Ramas de la ciencia · Ver más »
Razonamiento abductivo
El razonamiento abductivo (del latín abdūctiō y esta palabra de ab, desde lejos, y dūcere, llevar) es un tipo de razonamiento que, a partir de la descripción de un hecho o fenómeno, ofrece o llega a una hipótesis que explica las posibles razones o motivos del hecho mediante las premisas obtenidas.
¡Nuevo!!: Ciencias formales y Razonamiento abductivo · Ver más »
Razonamiento deductivo
El razonamiento deductivo o deducción es el proceso de sacar inferencias deductivas.
¡Nuevo!!: Ciencias formales y Razonamiento deductivo · Ver más »
Razonamiento inductivo
El razonamiento inductivo o inducción es una forma de razonamiento en que la verdad de las premisas apoyan la conclusión, pero no la garantizan.
¡Nuevo!!: Ciencias formales y Razonamiento inductivo · Ver más »
Regla de inferencia
En lógica, una regla de inferencia, o regla de transformación es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y devuelve una conclusión (o conclusiones).
¡Nuevo!!: Ciencias formales y Regla de inferencia · Ver más »
Sistema formal
Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración.
¡Nuevo!!: Ciencias formales y Sistema formal · Ver más »
Teorema
Un teorema es una proposición cuya verdad se demuestra.
¡Nuevo!!: Ciencias formales y Teorema · Ver más »
Verdad lógica
Una verdad lógica o verdad matemática es una fórmula bien formada de un lenguaje formal que es verdadera bajo todas las interpretaciones de los componentes (distintos de las constantes lógicas) de ese lenguaje.
¡Nuevo!!: Ciencias formales y Verdad lógica · Ver más »