logica

Aristóteles en su lógica investiga como nuestro concepto se encadena en el espíritu, formula la teoría de dicho encadenamiento abstracto en forma de silogismo. Es la deducción formal cuya regla estableció de un modo inconmovible hasta el extremo de que Kant consideraba que la Lógica Aristotélica era algo perfecto y acabado.

Leer más:http://www.monografias.com/trabajos72/definiciones-principios-logica/definiciones-principios-logica2.shtml#ixzz2IRc0fKHY

Una de las figuras más destacadas del Círculo de Viena, el filósofo alemán Rudolf Carnap, realizó su más importante contribución a la semántica filosófica cuando desarrolló la lógica simbólica: Sistema Formal que analiza los signos y lo que designan. El positivismo lógico entiende que el significado es la relación que existe entrelas palabras y las cosas, y su estudio tiene un fundamento empírico: puesto que el lenguaje, idealmente es un reflejo de la realidad, sus signos se vinculan con cosas y hechos. Ahora bien, la lógica simbólica usa una notación matemática para establecer lo que designan los signos, y lo hacen de forma más precisa y clara que la lengua también constituye por si misma un lenguaje, concretamente unmetalenguaje (lenguaje técnico formal) que se emplea para hablar de la lengua como si de otro objeto se tratara: la lengua es un objeto de un determinado estudio semántico.
Una lengua objeto tiene un hablante (por ejemplo una francesa) que emplea expresiones (como por ejemplo la plume rouge) para designar un significado, (en este caso para indicar una determinada pluma –plume- de color rojo –rouge-.La descripción completa de una lengua objeto se denomina semiótica de esa lengua. La semiótica presenta los siguientes aspectos: 1) un aspecto semántico, en el que reciben designaciones específicas los signos (palabras, expresiones y oraciones); 2) un aspecto pragmático, en el que se indican las relaciones contextuales entre hablantes y los signos; 3) un aspecto sintáctico, en el que se indican lasrelaciones formales que existen entre los elementos que conforman un signo (por ejemplo, entre los sonidos que forman una oración).
Cualquier lengua interpretada según la lógica simbólica es un objeto que tiene unas reglas que vinculan los signos a sus designaciones. Cada signo que se interpreta tiene una condición de verdad –una condición que hay que encontrar para que el signo sea verdadero–.El significado de un signo es lo que designa cuando se satisface su condición de verdad. Por ejemplo la expresión o signo la luna es una esfera la comprende cualquiera que sepa español; sin embargo, aunque se comprenda, puede o no ser verdad. La expresión es verdadera si la cosa a la que la expresión o signo se vincula –la luna- es de verdad una esfera. Para determina los valores de verdad delsigo cada cual tendrá que comprobarlo mirando la luna.
Esta lógica simbólica, de la que nos estamos refiriendo, emplea un lenguaje artificial en la que simboliza las proposiciones generalmente con las letras p, q, r, s, t utilizando de operadores lógicos, también llamados conectores, functores, juntores, para poder construir formulas operando sobre las variables proposicionales y las proposicionescomplejas

Leer más: http://www.monografias.com/trabajos72/definiciones-principios-logica/definiciones-principios-logica2.shtml#ixzz2IRc0fKHY
La lógica formal se ocupa, justamente, de determinar que es lo que hace que un argumento sea bueno o no lo sea. Iniciada por los griegos hace 25 siglos, esta ciencia ha tenido un proceso de desarrollo (como cualquiera de las disciplinas científicas) por elque en nuestros días aparece como una ciencia rigurosa, con un lenguaje técnico elaborado y preciso, pues la utilización que hace del simbolismo le permite evitar las confusiones y ambigüedades del lenguaje natural. A la lógica formal, en su actual estado de desarrollo se le conoce como lógica simbólica o lógica matemática, nombres que hacen alusión a su uso sistemático del simbolismo y al...