Falacias

La palabra falacia proviene del vocablo latino fallere o falacia, que quiere decir engaño.
La falaciaes la expresión de un razonamiento falso o incorrecto que tiene apariencia de verdad y correccion.
Sofisma:Se dice que una falacia, cometida voluntariamente y con el afan de engañar al interlocutor, se le llama sofisma.
Paralogismo:La falacia que se comete por descuido en la aplicación de las reglas y se comete sin intencion de engaño.
Tipos de falacias
1-Normal
2-No Formal
Falacia formal
Se cometen cuando no se cumplen las reglas establecidas para los silogismos.
·Falacias del Silogismo Categorico:
Se cometen cuando no se cumplen las reglas generales o de la figura.
·Ejemplo
Todo oso panda es mamifero.
Todo camello es mamifero.
Todo camello es oso panda.
·El falla en las siguientes reglas:
1-El termino medio debe ser por lo menos una vez universal.
2.Una de las 2 premisas debe ser negativa, porque es de la 2da figura.
·falacias en el silogismo condicional o hipotetico:
ej. Si estas aquí, entonces no estas en casa.
Estas en casa.
Estas aquí.
Regla que falla: de la negacion del condicionado se sigue la negacion de la condicion, mas no de su afirmación.
Regla que falla: de la negacion del condicionado se sigue la negacion de la condicion,mas no de su afirmación.

·Falacias del Silogismo Disyuntivo.
Ej. O estas vivo o estas muerto.
No estas muerto.
No estas vivo.
Regla que falla: P.M. niega uno de los miembros, la conclusión afirma el otro.
·Falacias del Sorites
Ej. Todo pez es acuatico.
Algun ser acuatico es vertebrado.
Algun vertebrado es carnivoro.
Algun carnivoro es cuadrupedo.
*Algun pez es cuadrupedo.
Regla a la que falla: Solo la primera premisa debe ser particular.
Ejemplos de Figuras del Silogismo.
1-Todas las tortugas son animales con caparazón.
Algun reptil es tortuga.
Algun reptil es animal con caparazón.
2-Todos los pericos son aves.
Algun perico es un animal con alas.
Algun ave es un animal con alas.
3-Todos los leones son animales con garras.
Algun animal con garras es felino.
Algun felino es un leon.
4- Toda mesa tiene 4 patas.
Alguna mesa es de madera.
Algo de madera es una mesa.
5- Todo animal es ser vivo.
Todo lo que se mueve es animal.
Todo lo que muere es un ser vivo.

Primera figura
Todo animal es ser vivo.
Todo gato es ser vivo.
Todo gato es ser vivo.
Segunda figura
Todo rinoceronte tiene cuernos.
Ningun humano tiene cuernos
Ningun humano es rinoceronte.
Tercera figura
Todo elefante tiene trompa.
Algun elefante es mamifero.
Algun mamifero tiene trompa.
Cuarta figura
Toda tortuga es reptil.
Ningun reptil es mamifero.
Ningun mamifero es tortuga

Falacias de Palabre¡a o Ambigüedad
·Se cometen cuando se utilizan terminos en diferente sentido en las premisas, existen 3 tipos:
· Equívoco
· Composición y división
· Anfibología
>Equivoco: Se comete cuando el termino que se utiliza tiene dos o mas significados o en cada una de las premisas. Ejemplo:
Toda banca es comoda
La banca esta en crisis
Por lo tanto, algo en crisis es comodo.
>Composicion y division: La conclusion nos conduce a inferir que lo que se dice de las parte de un todo es verdadero cuando lo es solamente de las partes tomadas en conjunto o viceversa. Ejemplo:
Todo mexicano es pobre.
Carlos Slim es mexicano.
Carlos Slim es pobre.
>Anfibologia: Se comete cuando un enunciado es confuso o impresiso.

Falacias Reales
·Se cometen cuando no se tienen conceptos claros de aquello sobre lo que se esta razonando y la verdad  de las preposiciones no esta suficientemente aprobada.
·De accidente: Se cometen cuando la cualidad que es accidental se considera como propiedad única y fundamental.
Ejemplo: Todos los jovenes son delincuentes.
Todos los mexicanos son corruptos.
Todos los disciplinados son alemanes.
·De Falsa Analogia: Son aquellas que se cometen cuando se pone atencion solo a las semejanzas y se desconocen las diferencias.
Ejemplo:Si la gallina y el avestruz tienen las mismas caracteristicas que las aves,¿Por qué no vuelan? Porque tener las mismas.
·Falsa Disyunción:
Ejemplo: Todo lo que existe es real o no es real.
·De Pregunta Compleja
Ejemplo: P.M. Si no vienes a clase, puedes tener o no derecho a examen o reprobar.
P.M. ¿Verdad que no quieres tener derecho a examen?

·De peticion de Principio
Ejemplo: P.M. Si robó, entonces, merece un castigo.
P.m. Merece castigo porque creo que es culpable
C. Es culpable.
·De Circulo Vicioso: Se comete cuando se hace una doble peticion de principio.
P.M. Si cometio un crimen, entonces, merece la pena de muerte .
C. Si le dan pena de muerte, entonces cometio un crimen.

Falacias de Atinencia
Se cometen cuando estados de animo se tuerce el sentido de una prueba.
·De Causa falsa: Se cometen cuando en lugar de anexar se tuerce el sentido.
Ejemplo: P.M. El dia que me robaron , pase por debajo de una escalera.
C. Ya no volveré a pasar  debajo de una escalerapara que no me roben.
·De conclusion Inatingente: Es cuando se muestra un razonamiento y no tiene que ver con las premisas ya que el razonamiento generalmente es absurdo.
·De Apelacion a la Fuerza (Ad Baculum): Es cuando se apela la fuerza de una autoridad para demostrar tener la razon:
Ejemplo: ¡Pague impuestos! , porque de no hacerlo irá a la carcel.
·A la persona (Ad Hominem)Se comete cuando en verdad de ver el razonamiento se ataca a la persona.
Ejemplo: El racismo es una violencia activa, poreso es que violentan a los negros, porque no son personas.
·Apelacion a la Autoridad(Ad Verecurdiam): Ocurre cuando se le llama a la autoridad de una persona para demostrar la verdad.
Ejemplo: Un grupo de cientificos dife que el atomo es indivisible, y como ellos lo dicen es verdad.
·Por lo que el pueblo dice(Ad Populum) es cuando se hace caso que lo que dicen todos es verdad.
·Por la ignorancia (Ad Ignorantiam) Se comete cuando se afirma que una proposicion es verdadera por no haber probado su falsedad.
Ejemplo: Si no se ha probado la existencia de vida en otros planetas, entonces, todo lo que dicen de los OVNIS es verdad.

El Razonamiento

Razonamiento: acto mental mediante el cual se obtienen nuevos conocimientos mediante los ya adquiridos.
Elementos del razonamiento
Hay tres tipos los cuales son :
Concepto : atravez de este se enlazan los juicios
El juicio son de 2 tipos :antecedente y consecuente
Antecedente : se da en juicios q están antes de la coinclusion
Consecuente se dan en juicios que están después del antecedente .
Conclusión : es el resultado lógico de la relación entre juicios y por lo que la caracteriza distintivamente del razonamiento.
PREMISAS
Se definen como juicios o preposiciones que emiten un razonamiento

ARGUMENTACION Y TIPOS DE RAZONAMIENTO
Es  la expresión externa de un tema especifico
Hay 2 tipos de inferencias: mediatas(2 o mas proposiciones) e inmediatas (1 sola proposicion)
INFERENCIAS MEDIATAS
CONVERSION:
simple : E= ningún S es P
POR LO TANTO ningún S es P
I= algún S es P
POR LO TANTO : algún P  no es S

Accidente : A= todo S es P
POR LO TANTO : algún P es S
E = ningún S es P
POR LO TANTO :algún P es S

Equivalencia =
A = todo S es P
No todo S es P
POR LO TANTO  todo S no es P

SUBALTERNACION:
A = todo S es P
POR LO TANTO algún S es P
E = ningún S es P

OBSERVACION :
A= todo S es P
PORLO TANTO : ningún S no es P
E= ningún S es P
POR LO TANTO:   todos S son P
I = algún S es P
PORLO TANTO : algún S no es P
O= algún S no es P
POR LO TANTO : algún S no es P

RECIPROCA :
A= todo S es P
POR LO TANTO : todo P es S

CONTRAPOSICION :
A= todo S es P
POR LO TANTO: todo P es S

SUBALTERNACION : es el paso de una proposición universal a una particular y viceversa
OBSERVACION : consiste en cambiar de cualidad una proposición y negar el predicado
RECIPROCA : consiste en cambiar el sujeto y el predicado en un enunciado de tipo A

INFERENCIAS MEDIATAS
Deducción : (silogismo)
Razonamiento que va de lo general a lo particular
Se emplea en razonamientos mate maticos
Induccion :  (parcial o total)
Es el razonamiento que va de lo particular a lo general hay 2 tipos
Parcial
Total
Analogía : razonamiento q tiene el mismo grado de generalidad en sus premisas q en la conclusión.

Calculo Proposicional

Cálculo Proposicional

Es una traducción a través de símbolos, signos, letras de lenguaje natural. El cálculo proposicional es una parte de la lógica simbólica que se encarga de analizar y sistematizar las nociones generales de verdad.

1) Las proposiciones

2) Las conectivas Lógicas.
3) Los signos de Agrupación.

Atómicas: Son aquellas que carecen de conectivas lógicas.
Ejemplo: 1) Aristóteles era filósofo.
2) Piña come la pluma.

Compuestas: Son las que tienen conectivas lógicas y tienen más de una idea.
Ejemplo: 1) Aristóteles era filósofo y Platón era su alumno.

Conectiva Lógica

2) Piña se come la pluma   o se toma su yakult.

Conectiva Lógica

Moleculares Monádicas: Proposiciones negativas.
Ejemplo: 1) Aristóteles era filósofo y no nació en Atenas.

Moleculares Binarias: Negación de una proposición que afecta directamente a la conectiva y a la proposición.

Conectivas Lógicas: Son proposiciones que ayudan a enlazar a dos o más preposiciones.
Ejemplo:
Por lo Tanto

Entonces

Sí y solo sí

Y

O
Signos de agrupación: Símbolos que sirven para distinguir unas preposiciones de otras y la función de un conectivo con respecto a una proposición.
Ejemplo: /  ( ) ; , [ ]  \

Traducción del  Lenguaje Natural al Cálculo Proposicional

Es una simplificación del lenguaje natural a través de letras, símbolos y signos.
Ejemplo:
Aristóteles era filósofo             y             Platón era su maestro.
P                   (P^Q) = (PyQ)                Q

Y              Conjunción                INCLUDEPICTURE «http://upload.wikimedia.org/math/1/b/a/1ba4f06f68614e5da79a8ebd378d532a.png» \* MERGEFORMATINET

O             Disyunción            INCLUDEPICTURE «http://upload.wikimedia.org/math/7/2/7/727ea4c8c49862411edae46adf506e3e.png» \* MERGEFORMATINET

Entonces     Condicional

Sí, y solo sí     Bicondicional

No        Negación                ¬

Tablas de Verdad

Son un análisis de los conectivos lógicos y las proposiciones de acuerdo a sus valores de verdad.
Conjunción                    y    ( P         INCLUDEPICTURE «http://upload.wikimedia.org/math/1/b/a/1ba4f06f68614e5da79a8ebd378d532a.png» \* MERGEFORMATINET          Q )

Un permiso por su mamá y su papá                INCLUDEPICTURE «http://upload.wikimedia.org/math/1/b/a/1ba4f06f68614e5da79a8ebd378d532a.png» \* MERGEFORMATINET     V    V    V    Sólo es
verdadera
V    F    F    cuando el
antecedente y el
F    F    V    consecuente son
verdaderos
F    F    F

Disyunción                    O    ( P         INCLUDEPICTURE «http://upload.wikimedia.org/math/7/2/7/727ea4c8c49862411edae46adf506e3e.png» \* MERGEFORMATINET         Q)

Un permiso por su mamá ó su papá         INCLUDEPICTURE «http://upload.wikimedia.org/math/7/2/7/727ea4c8c49862411edae46adf506e3e.png» \* MERGEFORMATINET     V    V    V    Sólo es falsa
cuando el
V    V    F    antecedente
y el consecuente
F    V    V    son falsos

F    F    F

Condicional                Entonces    (P                Q)

Si quieres irte, entonces debes             V    V    V    Sólo es falsa cuando
hacer lo que te ordene                                el antecedente es
V    F    F    verdadero y el
consecuente falso
F    V    V

F    V    F

Bicondicional                Sí y solo sí    (P                Q)

Puedes irte sí, y solo sí, haces            V    V    V    Sólo es verdadera
lo que te ordené                                cuando ambos, el
V    F    F    antecedente y el
consecuente son
F    F    V    verdaderos o
falsos
F    V    F

Negación                No        (  ¬ P )

No quiero                ¬        V    F

Resultados de Tabla de Verdad

Tautología: Cuando se obtienen solo resultados verdaderos.

Contradictorio: Cuando se obtienen solo resultados falsos.

Contingente: Cuando se obtienen resultados verdaderos y falsos.

Ejemplo de Tabla de verdad:

(P                Q)         INCLUDEPICTURE «http://upload.wikimedia.org/math/7/2/7/727ea4c8c49862411edae46adf506e3e.png» \* MERGEFORMATINET          P

V    V    V    V    V    Tautología

V    F    F    V    V

F    V    V    V    F

F    V    F    V    F

El Jucio

El juicio

El juicio significa Juzgar al ser

Clasificaion de los juicios

*cantidad: *universales*particulares *singulares

Cualidad : *afirmativos * negativos

Compresión*analíticos

Compresión: *analíticos*sinteticos

Modalidad:*poblematica*asorterico*apodíctico

Relación:*disyuntivo*hipoteico*categorico

CANTIDAD

Universales: son aquellos que tienen como sujeto a un concepto de amplia extencion     TODOS/NINGUN

PARTICULARES

Son aquellos que  tienen un sujeto o concepto

SINGULARES

• Son aquellos que tienen un sujeto determinado

CUALIDAD:

• Afirmativo: son aquellos que unen al sujeto con el predicado

COMPRESION

• Analíticos : son aquellos que tienen contenido en el sujeto y el predicado
• Sinteticos : son los que no tienen contenido en el sujeto ni en el predicado

MODALIDAD:

• problematico:   son aquellos que indican una posibilidad es decir que pueden ser o no ser.
• Asertorico : son aquellos que enuncian un objeto.
• Apodíctico: son aquellos que indican una necesidad

RELACION:

• Disyuntivo: son aquellos que excluyen o abren posibilidades
• Hipotético: son aquellos que indican un deseo bajo ciertas condiciones
• Categorico: son los que mandan o ejercen un juicio sin condiciones

RELACION ENTRE CANTIDAD Y CUALIDAD

Universales afirmativos (A)

Universales negativos (B)

Particulares afirmativos (I)

Particulares negativos (O)

CANTIDAD Y CUALIDAD

A	E
A	I
E	O
I	O
A	O
I	E

A	E
V	F
F	V
F	F

VERDAD Y FALSEDAD

A

A	I
V	V
F	V
V	F

E	O
V	V
F	V
V	F

E	O
V	V
F	V
V	F

E	O
V	F
F	V

A	O
V	F
F	V

E	I
V	F
f	V

Diagrama de ven

Son representaciones  graficas de los conjuntos

DIAGRAMA DE VENN CON CUADRO DE OPOSIOCION

A = todo  S es P                                                                                        E: ningún S es P

I = algún S es P                                                                      O = algún S no es P

Silogismo

Silogismo
Es  una forma de razonamiento deductivo mediante el cual las premisas enlazan dos términos con un tercero y la conclusión expresa la relación de estos dos términos.
El silogismo tiene 2 elementos o materia que son:
Materia próxima: Son las proposiciones que forman al silogismo
Materia remota: Está constituida por los términos que forman el silogismo

REGLAS DEL SILOGISMO
El silogismo no puede tener más de tres términos.
Los términos no deben tener mayor extensión en la conclusión que en las premisas.
El término medio ha de tomarse en su extensión universal por lo menos en una de las premisas.
El término medio no puede entrar en la conclusión.
REGLAS DE LAS PREMISAS

De 2 premisas negativas no puede obtenerse conclusión alguna.
De dos premisas afirmativas no puede sacarse una conclusión negativa.
La conclusión siempre sigue la peor parte. Entendiendo por peor parte, la negativa respecto a la afirmativa y lo particular respecto a lo universal.
De dos premisas particulares no se saca conclusión.
FIGURAS DEL SILOGISMO
Teniendo en cuenta la disposición de los términos en las premisas y en la conclusión se pueden dar las siguientes FIGURAS SILOGÍSTICAS, que se denominan:
1ª FIGURA
2ª FIGURA
3ª FIGURA
4ª FIGURA
M P
P M
M P
P M
Premisa mayor
S M
S M
M S
M S
Premisa menor
S P
S P
S P
S P
Conclusión

MODOS DEL SILOGISMO
modos de la primer figura                    modos de la segunda figura

load…

MODOS VÁLIDOS DE LA TERCERA FIGURA

loading… …

MODOS VÁLIDOS DE LA CUARTA FIGURA

EJEMPLOS:
Dios es amor.
El amor es ciego.
Steve Wonder es ciego.
Conclusión: Steve Wonder es Dios.

Me dijeron que Yo soy nadie.
Nadie es perfecto.
Luego, yo soy perfecto.
Pero, solo Dios es perfecto.
Por lo tanto, Yo soy Dios.
Si Steve Wonder es Dios
Yo soy Steve Wonder !!!
Mierda!!! Soy ciego!!!
SILOGISMOS IRREGULARES
ENTIMEMA: Es el silogismo en el que no a parece una de las premisas
Todo oso es plantígrado
El osezno es plantígrado
EPIQUEREMA: es el silogismo en el que una de las dos premisas van acompañadas de su correspondiente demostración
Todo periodista es veraz
Porque su vida tiene sentido
Solo cuando busca la verdad
Carmen Aristegui es periodista
Carmen Aristegui es veraz
POLISILOGISMO: Es un grupo de silogismos que se unen por la conclusión. La conclusión del primero se convierte en la premisa menor del segundo y así sucesivamente
Quien autoriza las empresas violentas ataca la justicia
Quien ataca la justicia rompe el lazo que une a los ciudadanos
Quien rompe el lazo que une los ciudadanos hace nacer divisiones en el Estado
Quien crea divisiones en el Estado lo expone a un peligro evidente
Luego, quien autoriza empresas violentas expone al Estado a un peligro evidente
SORITES: Es el silogismo en el que el predicado de la primera  premisa pasa a ser el sujeto de la segunda
Toda flor es vegetal
Todo vegetal es ser vivo
Todo ser vivo es sensible
Todo ser vivo de alimenta
Toda flor se alimenta
ESQUEMA DE SORITES Y POLISILOGISMO
POLISILOGISMO           SORITES
BAR                        A es B
BA                        B es C
RACA                                       C es D
MES                        A es E
TRE FE                        A es E
SA PO
DO
CON
SILOGISMOS COMPUESTOS
HIPOTETICO: Es aquel en que la premisa es una condición
Si estudias pasa
Estudiaste
Pasaste
DISYUNTIVO: Es aquel en que la premisa mayor es una disyunción
DILEMA: Es aquel en que las consecuentes de las condicionales nos llevan a las misma conclusión
O tu mal tiene cura o no
Si la tiene de que te preocupas
Si no de que te preocupas

Pruebas de validez o invalidez

Modus Ponendo Ponens

Nos indica que un silogismo condicional, al afirmar el antecedente es valido afirmar el consecuente.

Modus Tollendo Tollens

Nos indica que cuando tenemos una proposicon condicional y se niega en consecuente, entonces es valido negar el antecedente.

La Validez logica de los argumentos

En un argumento hay que distinguir las premisas y la conclusion. Las premisas son las proposiciones a partir de las cuales se obtiene un nuevo conocimiento que se llama conclusion. Lo importante desde el punto de vista de la logica es el nexo que une a las premisas con la conclusion. Se trata de un nexo necesario. Cuando se capta un nexo necesario entre las premisas y la conclusion decimos entonces que el raciocinio es correcto lo cual se expresa tambien con el termino validez. La logica ha analizado diferentes tipos de argumentos y ha encontrado ciertos nexos necesarios entre premisas y conclusion. Estos nexos descritos por la logica se refieren a la pura forma independiente del contenido.
La validez logica de un argumento consiste, pues, en la necesidad que se da entre las premisas y la conclusion sin tener que recurrir al analisis de los contenidos.

Las Demostraciones Formales

El camino para demostrar la validez de un argumento consiste en confrontar su forma general con las leyes de implicacion y de equivalencia. Para eso se siguen varios pasos:
a)Se recomienda escribir cada proposicion es una linea diferente y enumerarlas en orden progresivo.
b)Traducir cada linea de acuerdo a los simbolos.
c)Analizar y colocar las abreviaturas de las leyes que ahi se encuentren.

Concepto

El Concepto
El concepto es la determinación de un objeto cualquiera, a partir de sus características esenciales o generales, sin negar o afirmar nada sobre el.
Ejemplo: ave Características esenciales
.animal vertebrado
.tener 2 patas, 2 alas, y vuela
.tener sangre roja y caliente
.ser ovíparo
.tener pico y respiración pulmonar
El concepto se puede caracterizar por su extensión o comprensión
*extensión*
Es el número de objetos a los cuales conviene o que abarca un concepto.
Ejemplo: .animal
.vertebrados
.mamífero
.cuadrúpedo
.carnívoro
.felino
.tigre
*comprensión*
Son las cualidades que caracterizan o hacen único a un concepto. (Chico o pequeño)
**ley de la extensión y la comprensión**
Se dice que la relación entre extensión y comprensión es inversa. Esto ha dado origen a la ley que dice «a mayor extensión, menos comprensión y a mayor comprensión, menor extensión»

Introducción

Lógica

La lógica es un análisis de los pensamientos de los razonamientos en nuestro lenguaje, además de una herramienta que es auxiliar de las ciencias y de las diferentes disciplinas que se dedican a estudiar la naturaleza y las sociedades humanas. Existen dos ramas de la lógica:

Lógica formal: estudia las relaciones estructurales entre razonamientos, pensamientos, juicios y conceptos. Es decir, estudia como y porque es posible que relacionemos ideas.
Lógica material: estudia la materia del pensamiento. Es decir, como y porque pensamos lo que pensamos. Si pensamos es que hay una relación implícita entre nuestra realidad y nuestros pensamientos.
Objeto del pensamiento:
*ideal
*material
Expresión:
Es el lenguaje y el sistema de símbolos en los que se manifiestan los pensamientos.
Hay otras maneras como: pintura o música.
Forma o estructura:
Relacionan las ideas entre si y les dan consistencia
Actividad intelectual:
Capacidad para proyectar ideas, producir pensamientos y el pensar.
Sujeto pensante:
Es aquel que tiene las ideas, que las dice, que las escribe, que las plasma.
¿Qué es el pensamiento?
Es la actividad mental que nos ayuda a expresar, en el lenguaje una idea que proviene de nuestra realidad material o de nuestra imaginación, y que se encuentra ligada a la solución de un problema, a un recuerdo o a la estructura de nuestros deseos consientes o inconscientes.
*objeto del pensamiento*
Existen dos objetos esenciales del pensamiento:
.ideal: es aquel que produce los recuerdos, la imaginación, los deseos.
.material: es aquel producido por nuestra realidad objetiva.
*sujeto pensante*
En el hecho de pensar decimos que hay un productor, es decir, aquel que tiene las ideas, que las dice, que las escribe, que las plasma
*forma y estructura del pensamiento *
Son aquellas que relacionan a las ideas entre si y que le dan consistencia, coherencia interna a un discurso, a un sistema de símbolos, a un lenguaje.
*expresión*
Es el lenguaje y sistema de símbolos en los que se manifiestan los pensamientos. La expresión no se limita al habla, hay otras maneras de expresión.
*contenido del pensamiento*
.el sujeto
.la expresión
.el proceso
.el contenido
*forma del pensamiento*
Son aquellas estructuras que relacionan a las ideas entre si.

Diferencias entre lógica y teoría del conocimiento
Disciplina Objeto de estudios (diferencias)
*teoría del conocimiento Es con lo que se aprende a aprender
*lógica Es aquello que nos ayuda a decidir el pensamiento..epistemología: es el estudio de la producción y validación del conocimiento científico.
.gnoseología: es una disciplina filosófica que busca determinar el alcance, la naturaleza y el origen del conocimiento.
.problema crítico: es el problema central del conocimiento, ocupa por si solo la mayor parte de la epistemología y se descompone en tres subordinados:
-la posibilidad del conocimiento cierto en general.
-las distintas fuentes de conocimiento.
-la existencia de un fundamento ultimo de corteza.
.criteriología: «la verdad es una relación representativa, pues la verdad esta en descubrir la correspondencia de la representación de la mente con el objeto representado» Desirve Mercier.
.lógica mayor: «otra división entre los autores antiguos se daba atendiendo al objeto formal en lógica mayor, esto es critica, y en lógica menor es dialéctica» Leovigildo Salcedo.
Diferencias de algunas de las disciplinas anteriores con la lógica
Disciplina Objeto de estudios (diferencias)
*epistemología y lógica formal Son diferentes en cuanto a su objeto de estudio
*gnoseología y lógica formal Objeto de estudio diferente
*criteriología y la lógica mayor La criteriología quiere descubrir la (verdad, como) correspondencia de la representación de la mente con el objeto representado y la lógica mayor se fija en las normas o reglas necesarias para la verdad.Diferencias y semejanzas entre la lógica y otras disciplinas
disciplina Objeto de estudios (diferencias) Actividad intelectual (relaciones)
*lógica Estudia la estructura del pensamiento
*psicología Es la disciplina que trabaja en la teoría del pensamiento Ambos estudian el pensamiento.
*gramática Es el estudio de las reglas y principios que regulan el uso de la lengua. Porque emplea a la lógica para el estudio de estructuras de la lógica.
*matemáticas Es la ciencia que estudia lo propio de las regularidades. En cuanto a su investigación de estructuras abstractas a partir de formas.*****principios lógicos*****
Son una serie de leyes, necesarias y universales, de las cuales parte la lógica para explicarse a si misma. Es decir los principios lógicos son las proposiciones que son «siempre» verdaderas, con las que se estructura toda la lógica y el pensamiento, tanto el de la investigación, como el pensamiento común y corriente.
*características de los principios lógicos*
.su verdad es formal
.tienen validez universal
.cualquier otra proposición carecerá de validez si se opone a ellas
.son siempre verdaderas
Proposiciones siempre verdaderas

.material ontológicos
.formal lógicos.
*diferencias en las proposiciones siempre verdaderas*
.las proposiciones materiales, son verdaderas por su contenido empírico, es decir, contrastable con la realidad.
.las proposiciones formales, son verdaderas por su estructura, por su forma.
*los 4 principios lógicos*
.el principio de identidad: en este caso, el principio nos dice que al tener un concepto «x» respecto del objeto «z», dicho objeto será aplicable a todos los demás de la misma especie, porque todos son iguales a «z» en cuanto a esencia. Que si cualquier enunciado es verdadero entonces es verdadero. [Representación grafica A=A cualquier cosa es idéntica a si misma y diferente de otra.]
.el principio de no contradicción: no es posible que al mismo tiempo se de A y no de A. ningún enunciado puede ser verdadero y falso a la vez. Dos proposiciones contradictorias, no pueden ser verdaderas simultáneamente. [Representación grafica: A no es no A (A ≠ no A)]
.el principio de tercero excluido: este principio consta de dos versiones: 1. Cualquier enunciado es verdadero o falso. 2. Entre dos proposiciones contradictorias, no hay una tercera posibilidad intermedia. [Representación grafica: o A es B o A no es B (A V ¬A)]
.el principio de razón suficiente (Leibniz): este principio consta de dos versiones: 1. Todas las cosas tiene una causa y un fin para el que fueron hechas. 2. No se produce ningún hecho, sin que haya una razón suficiente para que sea así y no de otro modo.