Definiciones De Terminos De Filosofia

Teorema
Un teorema es una afirmación que puede ser demostrada dentro de un sistema formal. Demostrar teoremas es un asunto central en la matemática.
Un teorema generalmente posee un número de premisas que deben ser enumeradas o aclaradas de antemano. Luego existe una conclusión, una afirmación matemática, la cual es verdadera bajo las condiciones dadas. El contenido informativo del teorema esla relación que existe entre la hipótesis y la tesis o conclusión.
Se llamará corolario a una afirmación lógica que sea consecuencia inmediata de un teorema, pudiendo ser demostrada usando las propiedades del teorema previamente demostrado.

Terminología
En matemática una afirmación debe ser interesante o importante dentro de la comunidad matemática para ser considerada un teorema. Lasafirmaciones menos importantes se denominan:
* Lema: una afirmación que forma parte de un teorema más amplio. El lema de Gauss y el lema de Zorn, por ejemplo, son considerados demasiado importantes per se para algunos autores, por lo cual consideran que la denominación lema no es adecuada.
* Corolario: una afirmación que sigue inmediatamente a un teorema. Una proposición A es un corolario de unaproposición o teorema B siA puede ser deducida sencillamente de B.
* Proposición: una afirmación o resultado no asociado a ningún teorema en particular.
Una afirmación matemática que se cree verdadera pero no ha sido demostrada se denomina conjetura o hipótesis. Por ejemplo: la conjetura de Gold Bach o la hipótesis de Riemann.

Teoremas dentro de la lógica matemática
Un teorema requiere deun marco lógico; este marco consistirá en un conjunto de axiomas (sistema axiomático) y un proceso de inferencia, el cual permite derivar teoremas a partir de los axiomas y teoremas que han sido derivados previamente.
En lógica matemática y lógica proposicional, cualquier afirmación demostrada se denomina teorema. Más concretamente en lógica matemática se llama demostración a una secuencia finitade fórmulas bien formadas (fórmulas lógicas bien formadas) F1,...,Fn, tales que cada Fi es o bien un axioma o bien un teorema que se sigue de dos fórmulas anteriores Fj y Fk(tales que j<i y k<i) mediante una regla de deducción. Dada una demostración como la anterior si el elemento final Fn no es un axioma entonces es un teorema.
Resumiendo lo anterior puede decirse formalmente, un teoremaes una fórmula bien formada, que no es un axioma, y que puede ser el elemento final de alguna demostración, es decir, un teorema es una fórmula lógica bien formada para la cual existe una demostración.
Pseudociencia
Las Pseudociencias son serie de actividades humanas pretenden presentar conocimientos y formas de saber diferentes de los presentados por la ciencia. En ciertos casos, estas formasde conocimiento son hostiles a la ciencia, y las veremos en otro trabajo bajo la denominación de “anti ciencia”. Pero otras pretenden tener el mismo nivel jerárquico que la ciencia, y no sólo no se oponen a ella, sino que en principio la apoyan e imitan. A estas formas de conocimiento, que se presentan como “alternativas” o “complementarias” de la ciencia “oficial”, las llamaremos Pseudociencias(de pseudos, falsedad) o paraciencias (de para, junto a). La Pseudociencia no es lo mismo que lo sobrenatural, que por definición es algo de algún modo fuera de la naturaleza. Por eso, la Pseudociencia busca explicaciones que en principio, son “racionales” y legales. Las Pseudociencias pueden tener un tratamiento científico de sus procedimientos, por ejemplo, la numerología y la astrologíahacen uso de correlaciones y cálculos matemáticos, y razonamientos lógicos, que son herramientas científicas. Lo que falla es que los postulados de donde parten estas deducciones son irracionales, dogmáticos, y no se produce un estudio crítico para contrastarlos a través de sus consecuencias con la realidad.
Es decir, falta el control interno que da su poder inmenso a la ciencia: la facultad...