Ciencias

DICIPLINAS CIENTIFICAS
Ciencias formales
De Wikipedia, la enciclopedia libre
Saltar a navegación, búsqueda
| Se ha sugerido que este artículo o sección sea fusionado con Ciencias Exactas (verla discusión al respecto).
Una vez que hayas realizado la fusión de artículos, pide la fusión de historiales en WP:TAB/F. |
Las ciencias formales son aquellas ciencias que establecen el razonamientológico y trabajan con ideas creadas por la mente. Esta crea su propio objeto de estudio; su método de trabajo es el Lógica deductiva, con todas sus variantes. Las ciencias formales estudian el saberen contraposición a las ciencias factuales que estudian el ser.
Algunos ejemplos de las ciencias formales son: matemáticas, la lógica, ciencias de la computación
[editar] Metodología de estudioLas que va de unas premisas generales a una conclusión particular.
El ideal metodológico de las ciencias formales se basa en constituirse en un sistema axiomático, que está compuesto de los siguienteselementos:
* Axiomas: verdades que aceptamos como verdaderas pero que no podemos razonar. Ejemplo: el todo es mayor que la parte.
* Reglas de formación: Reglas que nos indican la manera válidade relación entre los elementos lingüísticos. Todo sistema formal tiene símbolos, los elementos y los operadores.
* Reglas de transformación: transforman expresiones bien formadas del lenguaje enotras bien formadas.
* Teoremas: Verdades que se derivan de los axiomas.
La estructura y el alcance de un sistema aximático están determinados por sus axiomas. la ciencia formales tambien tienequien la hizo
[editar] Véase también
Portal:Ciencias naturales y formales. Contenido relacionado con Ciencias naturales y 'Ciencias formales'. Portal:Ciencias naturales y formales
De Wikipedia, laenciclopedia libre
Saltar a navegación, búsqueda
Arte • Ciencias Naturales • Ciencias Sociales • Deporte • Geografía • Historia • Religión • Tecnología
Portal de Ciencia

Este portal pretende...