Matematica

Lógica: es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferenciaválida. La palabra deriva del griego antiguoλογική (logike), que significa «dotadode razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio».
La lógica examina la validez de los argumentos entérminos de su estructura, (estructura lógica), independientemente del contenido específico del discurso y de la lengua utilizada en su expresión y de los estadosreales a los que dicho contenido se puedareferir. Esto es exactamente lo que quiere decir que la lógica es una ciencia «formal».
Tradicionalmente ha sido considerada como una parte de la filosofía. Pero en su desarrollo histórico, a partirdel final del siglo XIX, y su formalizaciónsimbólica ha mostrado su íntima relación con las matemáticas; de tal forma que algunos la consideran como Lógica matemática. En el siglo XX la lógica hapasado a ser principalmente la lógica simbólica. Un cálculo definido por unos símbolos y unas reglas de inferencia.1 Lo que ha permitido un campo de aplicación fundamental en la actualidad: lainformática.
Hasta entonces la lógica no tuvo este sentido de estructura formal estricta. La tradición aristotélica y estoica,2 mantuvo siempre una relación con los argumentos del lenguaje natural, concediendopor tanto a los argumentos una transmisión de contenidos verdaderos. Por ello aúnsiendo formales, no eran formalistas.3
Hoy, tras los progresos científicos relativos a la lingüística, y el conceptosemántico de verdad en su relación con el lenguaje,4 tal relación se trata bajo un punto de vista completamente diferente. La formalización estricta ha mostrado las limitaciones de la lógicatradicional interpretada actualmente como una particularidad de la lógica de clases.
Preposición: es la clase de palabra invariable que introduce el llamado sintagma preposicional. Las preposiciones...