Documente Academic
Documente Profesional
Documente Cultură
1. Ciencia formal
Las ciencias formales son conjuntos sistemáticos de conocimientos racionales y
coherentes. Su objeto de estudio no es el mundo, ni la realidad físico-natural, sino objetos
puramente abstractos, pero cuyos conocimientos pueden ser aplicados a dicha realidad
Commented [jpr1]: Método deductivo es un método
físico-natural. El método propio de las ciencias formales es el método deductivo ► científico que considera que la conclusión se halla implícita
dentro las premisas. Esto quiere decir que las conclusiones
Es aquella que trabaja con formas, es decir, con objetos ideales, que son creados por son una consecuencia necesaria de las premisas: cuando las
premisas resultan verdaderas y el razonamiento deductivo
el hombre, que existen en su mente y son obtenidos por abstracción. Les interesan las formas tiene validez, no hay forma de que la conclusión no sea
y no los contenidos; no les importa lo que se dice, sino cómo se dice. La verdad de las verdadera.
Las primeras descripciones del razonamiento deductivo
ciencias formales es necesaria y formal. fueron realizadas por filósofos en la Antigua Grecia, entre
ellos Aristóteles. Cabe destacar que la palabra deducción
Las ciencias formales► son las ramas de la ciencia que estudian sistemas formales. proviene del verbo deducir (del latín deducĕre), que hace
referencia a la extracción de consecuencias a partir de una
Las ciencias formales validan sus teorías con base en proposiciones, definiciones, axiomas y proposición.
El método deductivo logra inferir algo observado a partir de
reglas de inferencia. Todas ellas son analíticas, a diferencia de las ciencias sociales y las una ley general. Esto lo diferencia del llamado método
inductivo, que se basa en la formulación de leyes partiendo
ciencias naturales, que las comprueban de manera empírica, es decir, observando el mundo de los hechos que se observan.
3. Razonamiento lógico
Razonar es la actividad mental que permite lograr la estructuración y la organización
de las ideas para llegar a una conclusión. Cuando una persona razona, desarrolla un
razonamiento.
La lógica es la ciencia dedicada a la exposición de las formas, los métodos y los
principios del conocimiento científico. Algo lógico, en este sentido, es aquello que respeta Commented [jpr5]: Se denomina silogismo a una forma
estas reglas y cuyas consecuencias resultan justificadas, válidas o naturales. de razonamiento deductivo, o sea, de un argumento en el
cual la conclusión se obtiene sin excepción a partir de las
Así, un razonamiento lógico es un proceso mental que implica la aplicación de la premisas. En este caso, hay tres proposiciones: dos premisas
y la conclusión. El primero en formular un silogismo fue el
lógica. A partir de esta clase de razonamiento, se puede partir de una o de varias premisas filósofo y lógico griego Aristóteles en su obra titulada “El
Órganon“, que se puede traducir como “el instrumento”
para arribar a una conclusión que puede determinarse como verdadera, falsa o posible.
Commented [jpr6]: El concepto se utiliza para nombrar al
El razonamiento lógico se puede iniciar a partir de una observación (es decir, una indicio, síntoma o conjetura que permite inferir algo y sacar
una conclusión.
experiencia) o de una hipótesis. El proceso mental de análisis puede desarrollarse de Para la lógica y la filosofía, por lo tanto, las premisas son
aquellas proposiciones que anteceden a la conclusión. Esto
distintas maneras y convertirse en un razonamiento inductivo, deductivo ►, etc. Según la clase quiere decir que dicha conclusión deriva de las premisas,
aunque éstas pueden ser falsas o verdaderas. También, la
de razonamiento empleada, la conclusión tendrá mayor o menor posibilidad de resultar conclusión puede ser falsa aun cuando las premisas sean
verdaderas.
válida. La conclusión encuentra su base en las premisas► iniciales: el razonamiento lógico es
el camino que vincula ambas partes. El resultado del razonamiento tendrá un cierto grado de
probabilidad en cuanto a su veracidad, siempre que los razonamientos lógicos sean válidos.
4. Entidad abstracta
La ontología► (del griego οντος 'del ente', genitivo del participio del verbo εἰμί 'ser, Commented [jpr7]: La ontología intenta responder
preguntas generales como: ¿Qué es la materia? ¿Qué es un
estar'; y λóγος 'ciencia, estudio, teoría') es una rama de la metafísica que estudia lo que hay. proceso? ¿Qué es el espacio-tiempo? ¿Hay propiedades
emergentes? ¿Se ajustan todos los eventos a alguna(s)
Los discípulos de Aristóteles utilizaron el término metafísica por primera vez ley(es)? ¿Hay especies naturales? ¿Qué hace real a un
objeto? ¿Hay causas finales? ¿Es real el azar?
(literalmente quiere decir "después de la física") para referirse a lo que su maestro describió
Preguntas tradicionales de la filosofía pueden ser
como "filosofía primera", posteriormente conocida como ontología. La ontología es la
entendidas como preguntas de ontología: ¿Dios existe?
investigación del ser en tanto que es, o del ser en general, más allá de cualquier cosa en ¿Existen entidades mentales, como ideas y pensamientos?
¿Existen entidades abstractas, como los números? ¿Existen
particular que es o existe. los universales?
Algunos filósofos, sobre todo de la escuela de Platón, sostienen que todos los Además, la ontología estudia la manera en que se
relacionan las entidades que existen.
sustantivos► se refieren a entidades existentes. Otros afirman que los sustantivos no siempre
Commented [jpr8]: El nombre o sustantivo es aquel tipo
nombran entidades, sino que ofrecen una forma de referencia a una colección de objetos o de palabras cuyo significado determina la realidad.
sucesos. En este sentido, la mente, en lugar de referirse a una entidad, se refiere a una
colección de sucesos mentales experimentados por una persona.
El problema central de la ontología fue presentado Willard van Orman Quine► en su Commented [jpr9]: https://math.boisestate.edu/~holme
s/Phil209/Quine%20-%20On%20What%20There%20Is.pdf
artículo “Sobre lo que hay”:
Un rasgo curioso del problema ontológico es su simplicidad. Puede formularse
en dos monosílabos castellanos: “¿Qué hay?”. Sin embargo, esto es sólo decir
que hay lo que hay. Queda lugar para discrepancias en casos particulares; y
así la cuestión ha persistido a través de los siglos.
Cada uno de estos "casos particulares" presenta un problema distinto. Desde la
segunda mitad del siglo XX, el naturalismo imperante ha determinado que los debates
metafísicos sean principalmente acerca de la existencia o no de todo aquello que parece
entrar en conflicto con la descripción del mundo provista por las teorías científicas más
exitosas. Esto se refleja en la elección de algunos de los casos que se mencionan a
continuación:
Las entidades abstractas: Es ampliamente aceptado que las ideas se conciben según
se articulan por la cognición de cada individuo en una de dos categorías: como entidades
abstractas, o como entidades concretas. Los números, los conjuntos y los conceptos son
algunos ejemplos de entidades que intuitivamente clasificamos como abstractas, mientras
que el planeta Venus, este árbol y aquella persona son ejemplos intuitivos de entidades
concretas. Sin embargo, todavía no existe un criterio aceptado para decidir cuándo una
entidad es abstracta y cuándo concreta, aparte de la intuición. Además, tampoco existe
acuerdo sobre si las entidades abstractas siquiera existen, y en caso de que existan, sobre
cuáles existen.
Otras discrepancias en casos particulares son:
Las entidades del sentido común► Commented [jpr10]: Al encontrar una silla, ¿debemos
decir que lo que hay en el mundo es una silla? ¿O sería más
Los universales ► correcto decir que lo que hay, estrictamente hablando, es
un montón de moléculas? ¿O quizás un montón de átomos?
La mente y lo mental► Y está claro que este argumento puede extenderse a
muchas otras entidades del sentido común.
Los agujeros►
Commented [jpr11]: Los universales (también llamados
propiedades, atributos o cualidades) son los supuestos
referentes de los predicados como "verde", "áspero",
"amigo" o "insecto". El problema de los universales es
acerca de si los universales existen, y en caso de que así sea,
cuál es su naturaleza: si existen en las cosas (in re), o
independientemente de ellas (ante rem), o en nuestra
mente, por mencionar algunas posturas.
Además, hay ramas de las matemáticas conectadas a otros campos como la lógica y Commented [jpr15]: Números
naturales Enteros Números racionales Números
teoría de conjuntos, y las matemáticas aplicadas. reales Números complejos
Commented [jpr16]: Combinatoria Teoría de
números Teoría de grupos Teoría de grafos Teoría del
Matemáticas aplicadas► orden Álgebra
Commented [jpr17]: Cálculo Cálculo
Estadística y ciencias de la decisión► vectorial Ecuaciones diferenciales Sistemas
dinámicos Teoría del caos Análisis complejo
Matemática computacional►
Commented [jpr18]: El término matemáticas aplicadas se
refiere a aquellos métodos y herramientas matemáticas que
pueden ser utilizados en el análisis o resolución de
problemas pertenecientes al área de las ciencias básicas o
aplicadas. Muchos métodos matemáticos han resultado
efectivos en el estudio de problemas en física, química,
biología, medicina, ciencias sociales, ingeniería, economía,
finanzas, ecología entre otras.
René Descartes desarrolló simultáneamente el álgebra de ecuaciones y la geometría Commented [jpr25]: En lógica y matemáticas, un sistema
axiomático consiste en un conjunto de axiomas que se
analítica, marcando una nueva etapa, donde las figuras geométricas, tales como las curvas utilizan, mediante deducciones, para demostrar teoremas.
Ejemplos de sistemas axiomáticos deductivos son la
planas, podrían ser representadas analíticamente, es decir, con funciones y ecuaciones. En geometría euclidiana compilada por Euclides en los
Elementos1 y el sistema axiomático de la lógica
geometría analítica, los axiomas se definen en función de ecuaciones de puntos, basándose en proposicional.
el análisis matemático y el álgebra. Adquiere otro nuevo sentido hablar de puntos, rectas o El primer trabajo de axiomatización se realiza en los
Elementos de Euclides (siglo IV-III a. C.), vinculado a la
planos. f(x) puede definir cualquier función, llámese recta, circunferencia, plano, etc. geometría plana. Euclides enuncia cinco postulados y cinco
nociones comunes (axiomas), de los que deduce sus
La geometría se enriquece con el estudio de la estructura intrínseca de los entes teoremas de la geometría. Al mismo tiempo, Aristóteles
aporta el primer enfoque de la lógica formal en el Órganon,
geométricos que analizan Euler y Gauss, que condujo a la creación de la topología y la recogiendo diversos axiomas de Platón y otros filósofos. ...
geometría diferencial. Commented [jpr26]:
La topología (del griego τόπος, 'lugar', y λόγος, 'estudio') es la rama de las
matemáticas dedicada al estudio de aquellas propiedades de los cuerpos geométricos que
permanecen inalteradas por transformaciones continuas.
Tipos de geometría
Desde los antiguos griegos, ha existido numerosas contribuciones a la geometría,
particularmente a partir del siglo XVIII. Eso ha hecho que proliferen numerosas subramas de
la geometría con enfoques muy diferentes. Para clasificar los diferentes desarrollos de la
geometría moderna se pueden recurrir a diferentes enfoques:
axioma también el quinto postulado. Los griegos consideraron dos variantes de geometría
Cuerpos celestiales o figuras geométricas «sólidas» que
euclídea: delimitan volúmenes.
La geometría del espacio (también llamada geometría
Geometría euclídea del plano espacial o geometría de los cuerpos sólidos) es la rama de la
geometría que se encarga del estudio de las figuras
Geometría euclídea del espacio geométricas voluminosas que ocupan un lugar en el
espacio; estudia las propiedades y medidas de las figuras
geométricas en el espacio tridimensional o espacio euclídeo.
La geometría clásica es una recopilación de resultados para las geometrías euclídeas. Entre estas figuras, también llamadas sólidos, se encuentran
el cono, el cubo, el cilindro, la pirámide, la esfera, el prisma,
los poliedros regulares (los sólidos platónicos, convexos, y
los sólidos de Kepler-Poinsot, no convexos) y otros
A partir del siglo XIX se llegó a la conclusión de que podían definirse geometrías no poliedros.
La geometría del espacio amplía y refuerza las proposiciones
euclídeas entre ellas: de la geometría plana, y es la base fundamental de la
trigonometría esférica, la geometría analítica del espacio, la
La geometría elíptica geometría descriptiva y otras ramas de las matemáticas.
La geometría esférica
La geometría finita
La geometría hiperbólica
La geometría riemanniana