Definición de lógica tradicional

La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. La lógica investiga los principios por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica. La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde finales del Siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática. En el Siglo XX la lógica ha pasado a ser principalmente la lógica simbólica, un cálculo definido por símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática. Hasta el Siglo XIX, la lógica aristotélica y estoica mantuvieron siempre una relación con los argumentos formulados en lenguaje natural. Por eso aunque eran formales, no eran formalistas.Hoy esa relación se trata bajo un punto de vista completamente diferente.La formalización estricta ha mostrado las limitaciones de la lógica tradicional o aristotélica, que hoy se interpreta como una parte pequeña de la lógica de clases.

La lógica según Irving Copi:

El estudio de la lógica es el estudio de los métodos y los principios usados para distinguir el razonamiento correcto del incorrecto , naturalmente , esta definición no pretende afirmar que solo es posible razonar correctamente si se ha estudiado lógica . Sostener esto seria tan erróneo como pretender que solo es posible correr bien si se ha estudiado la física y la fisiología. La persona que ha estudiado lógica tiene mayor posibilidad de razonar correctamente que aquella que nunca ha considerado los principios generales implicados en esa actividad. Ello se debe a varias razones , ante todo , un estudio adecuado de la lógica la enfocara como un arte tanto como una ciencia , y el estudiante deberá hacer ejercicios relativos a todos los aspectos de la teoría que aprende. Aquí , como en todo , la practica ayuda a perfeccionarse. En segundo lugar, una parte tradicional del estudio de la lógica consiste en el examen y el análisis de los métodos incorrectos de razonamiento , o sea de las falacias. Por ultimo el estudio de la lógica suministrara al estudiante ciertas técnicas y ciertos métodos de fácil aplicación para determinar la corrección o incorrección de todos los razonamientos , incluso los propios. La lógica ha sido definida a menudo como la ciencia de las leyes del pensamiento , pero esta definición , aunque ofrece un indicio acerca de la naturaleza de la lógica , no es exacta , en primer lugar , el pensamiento es uno de los procesos estudiados por los psicólogos . La lógica no puede ser la ciencia de las leyes del pensamiento porque también la psicología es una ciencia que trata de las leyes del pensamiento y la lógica no es una rama de la psicológica , es un cmapo e estudio separado y distinto. E n segundo lugar , si pensamiento es cualquier proceso mental que se produce en la psiquisis de las personas no todo pensamiento es un objeto de estudio para el lógico . Todo razonamiento es pensamiento , pero no todo pensamiento es razonamiento. Otra definicon común de la lógica es aquella que la señala como la ciencia del razonamiento.

Lógica formal:

Estudia las condiciones para que un pensamiento sea correcto y se basa en conceptos,juicios,razonamientos(lógica aristotélica).

Lógica material

Estudia las condiciones para llegar al pensamiento verdadero , es decir se basa en verdad,certeza y método de la ciencia.

Lógica aristotélica:

Se basa en los conceptos , términos , /ideas , juicios y razonamientos o inferencias.) Concepto: Es el elemento lógico que resulta de la captación intelectual de ciertas características de un objero o de una base de objetos , los conceptos no afirman ni niegan y pueden ser cualquier tipo de entidad : real,fictisia,psíquica,física,psicológica,ideal e imaginaria . Puede ser un objeto individual o una clase de objetos.

Concepto juicios:

El juicio es una relación entre conceptos que se caracteriza por constituir una aceveracion , pudiendo ser afirmativa (hay mucha gente) o negativa ( no hay mucha gente). Todo juicio acevera algo, por lo tanto todo juicio a de ser o verdadero o falso. 

Clasificación de los juicios:

se pueden clasificar según diversos criteros , como por ejemplo puede adoptarce como pauta la amplitud con la que se toma en el juicio la extensión del concepto, en el sujeto o la forma afirmativa o negaiva en la que se enuncia la relación entre sujeto y predicado.

Lógica proposicional:

El termino proposición generalmente se utiliza en las oraciones declarativas , no importa el idioma, así por ejemplo : hace frio - its cold. 2 oraciones distintas que expresan una misma propocicion , en este sentido una proposición es similar a lo que conocemos como juicio y se caracterizan por afirmar o negar algo , por lo tanto tienen valor de verdad o falsedad.

Razonamiento:

Lógica Simbólica:

 La lógica simbólica es un sistema formal que analiza los signos y lo que designan.El positivismo lógico entiende que el significado es la relación que existe entre laspalabras y las cosas, y su estudio tiene un fundamento empírico: puesto que ellenguaje, idealmente, es un reflejo de la realidad, sus signos se vinculan concosas y hechos. Ahora bien, la lógica simbólica usa una notación matemática paraestablecer lo que designan los signos, y lo hace de forma más precisa y clara quela lengua también constituye por sí misma un lenguaje, concretamente unmetalenguaje (lenguaje técnico formal) que se emplea para hablar de la lenguacomo si de otro objeto se tratara: la lengua es objeto de un determinado estudiosemántico. Una de las figuras más destacadas del Círculo de Viena, el filósofoalemán Rudolf Carnap, realizó su más importante contribución a la semánticafilosófica cuando desarrolló la lógica simbólica