filosoxfia

LA LÓGICA

Andrés ronaldo torres hernandez

daniel prieto acevedo 

Sergio Alejandro salguero

La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logia), que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logis), «palabra, pensamiento, idea, argumento, razón o principio».

La lógica examina la validez de los argumentos en términos de su estructura lógica, independientemente del contenido específico del discurso y de la lengua utilizada en su expresión y de los estados reales a los que dicho contenido se pueda referir.

Esto es exactamente lo que quiere decir que la lógica es una ciencia «formal».

es importante porque nos ayuda a conocer normas de lógica para poder desarrollarse bien y para conocer la verdad 

formas de lógica

- concepto
- juicio 
- razona miento
- proporción

lógica tradicional 

Lógica Tradicional:
1. Es exclusivamente una Lógica de términos. Utiliza el lenguaje común o material.
2. Sólo se simboliza los términos (los variables).
3. El único modelo de proposición que debe ser considerado es el tipo A de B (o A no es B). Sólo es capaz de formular proposiciones que expresar cualidades.

Todo razonamiento consta de oraciones, y de una de ellas(conclusión), se sigue lógicamente de las demás (premisas).Todas son proposiciones(oraciones enunciativas q V/F)

La verdad/ falsa. depende de la forma del mismo.La validez lógica depende únicamente de la relación entre los valores de verdad de las premisas y los de la conclusión .No es posible 1raz.sea valido si a partir de premisas V-->conclusión falsa. 
Lógica tradicional:utilizaba ciertas letras como símbolos.
Lógica moderna(simbólica o matemática):simbolizar conjunciones,negaciones,condicionales..H… diseñado símbolos similares a matemáticos.caracteriza.Mayor simbolizacion.

lógica clásica

Expresión que se utiliza para referirse al conjunto de cálculos lógicos como los desarrollados en los Principia Matemática de Russell y Whitehead. La lógica clásica reconoce solamente dos valores de verdad a sus fórmulas (verdadero o falso), por lo que también se la denomina lógica bivalente o lógica estandarizada, e incluye a la lógica proposicional, a la lógica de predicados, a la lógica de clases y a la lógica de relaciones.

A veces también se llama lógica clásica o lógica tradicional a la lógica aristotélica junto con sus desarrollos medievales, una lógica que no dispone del aparato matemático de la moderna lógica simbólica.

Aristotle's Método introduce su teoría de syllogisms, que es una lógica con una forma restricta de juicios: toma una de las aserciones de cuatro formas, Todo el picosegundo es Q, Un cierto picosegundo es Q, No hay picosegundo Q, y Un cierto picosegundo no es Q. Estos juicios se encuentran si dos pares de dos operadores duales, y cada operador es la negación de otra, las relaciones que Aristotélica resumió con la suya cuadrado de oposiciones. Aristotle formuló explícitamente la ley del centro excluido y la ley de la no-contrafacción en justificar su sistema, aunque estos leyes no se pueden expresar como juicios dentro del marco syllogistic.

silogismos

El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusión, siendo la última una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristóteles, en su obra lógica recopilada como El Organon, de sus libros conocidos como Primeros Analíticos, (en griego Proto Analytika, en latín –idioma en el que se reconoció la obra en Europa Occidental-, Analytica Priora).

Aristóteles consideraba la lógica como lógica de relación de términos. Los términos se unen o separan en los juicios. Los juicios aristotélicos son considerados desde el punto de vista de unión o separación de dos términos, un Sujeto y un predicado. Hoy se hablaría de proposición.

La diferencia entre juicio y proposición es importante. La proposición afirma un hecho como un todo, que es o no es, como contenido lógico del conocimiento. El juicio, en cambio, atribuye un predicado a un sujeto lógico del conocimiento otorgando a los términos al mismo tiempo una función lingüística de significado (semántica) y una función formal lógica (sintáctica). Esto tiene su importancia en el concepto mismo del contenido de uno, el juicio, y la otra, la proposición, especialmente en los casos de negación, como se considera, más adelante, en la problemática de la lógica silogística.

ejemplo
todos los hombres son mortales
________________________
socrates es un hombre
________________________
socrates es mortal

el concepto

Representación abstracta o general del objeto. Según la filosofía tradicional, formamos conceptos por un proceso de abstracción, es decir, por aquella operación mental mediante la cual prescindimos unas características presentes en el objeto con el fin de fijar aquellas que son esenciales. Los conceptos poseen la propiedades de la comprensión o intensión (conjunto de propiedades definitorias del objeto) y de la extensión (conjunto de objetos que caen bajo el concepto).

Según el materialismo filosófico, los Conceptos se utilizan en correlación con las Ideas.
Nos referimos a los «conceptos objetivos», no a los «conceptos subjetivos» (entendidos por la escolástica como resultados del primer acto de la mente).
Concepto (objetivo) es la determinación (delimitada frente a otras) de cualquier contenido (términos, relaciones, operaciones) dado principalmente en un proceso de cierre categoría («concepto de triángulo»-término, «concepto de homotecia»-relación, «concepto de adicción»-operación).

tipos de conceptos

particulares : cuando se refiere a la totalidad de los individuos que contienen sus notas mínimas ejemplo " bicicleta roja " no incluye totalidad de bicicletas 

universales : cuando se refiere a la totalidad de los individuos que contienen sus notas mínimas ejemplo "bicicleta" contiene el numero máximo de individuos

individuales : cuando se refiere a un solo individuo ejemplo " la bicicleta de mi hermana " se refiere a un individuo en concreto

el juicio

El juicio es un pensamiento en el que se afirma o se niega algo de algo. Según Aristóteles, el juicio es el "pensamiento compuesto de más de una idea, pero dotado, a la vez, de una unidad especial que se logra por medio de la cópula"

Sujeto: es el concepto del objeto del juicio, es decir, es el concepto de quien se predica o se dice algo.

Predicado: es el concepto que se aplica al sujeto, es decir, es lo que se afirma o niega acerca del sujeto.

Cópula: aquello que establece que lo pensado en el predicado es propio o no es propio del objeto del juicio, como una atribución que manifiesta la realidad.

ejemplo

los campesinos son trabajado res 

todos los hombres son mortales

tipo de juicios

universales : cuando el predicado se refiere a todos lo elementos que puede incluir el sujeto "todos los colombianos son americanos " 

particulares : cuando el predicado considera alguno de los elementos del concepto o sujeto " algunos colombianos son blancos "

singulares :cuando el sujeto es singular osea que se refiere a uno de los elementos " felpe es americano "

por cualidad o calidad

afirmativo : cuando el predicado se afirma del sujeto " felpe es colombiano " es afirmativo porque el predicado le consta al sujeto

negativo : cuando el predicado se niega del sujeto  " los colombianos no son europeos " es negativo porque el predicado no les conviene al sujeto

por la relación

categoricos : lo que se afirma o se niega rotundamente " la tierra es una planeta - el agua no es un metal

 hipotéticos :esta introducido por el condicional " si estudio aprendo " y se debe usar el solo si y solo si " soy alumno de colegio si solo si estoy matriculado "

disyuntivo : indica a una posibilidad o otras por ejemplo " Pedro o Juan retiran el dinero " 


por la modalidad

problematicos : cuando el predicado conviene de manera probable el sujeto " mañana lloverá "

asertoricos : cuando el predicado conviene en forma segura al sujeto " la tierra es un planeta " el sujeto es asertorico 

apodicticos : cuando el predicado conviene  en forma absoluta o necesario al sujeto " la suma de los ángulos internos de un triángulo "