1. Conectivas extensionales
1.1. Cuando el valor de verdad de una proposición atómica depende de cada uno de sus elementos, sus conectivas son de este tipo
1.1.1. De conjunción: y, pero, aunque
1.1.2. Disyunción inclusiva: o lo uno, o lo otro
1.1.3. Disyunción Exclusiva: uno, u otro pero no ambos
1.1.4. Negación: No es verdad
1.1.5. Condicional: si, Entonces
2. Tablas de Verdad
2.1. Cuadros que muestran los resultados de combinar los valores de verdad de una forma proposicional
2.1.1. Se pueden hacer empleando las conectivas extensionales, analizando bajo que circunstancias pueden ser verdaderas o falsas las proposiciones en determinado orden
2.1.2. Cuando todos los valores son "V" Es una Tautología, una proposición formalmente verdadera
2.1.3. Cuando todos los valores dan resultado "F" es una contradicción, una proposición Lógicamente falsa
2.1.4. Cuando los valores que se dan son alternados, entonces se tiene una contingencia, donde algunos casos son verdaderos y otros falsos
3. Los Principios Lógicos
3.1. La lógica descansa sobre tres principios básicos, los cuales se pueden ver desde tres enfoques diferentes
3.1.1. Principio de Iidentidad
3.1.1.1. Formulación Ontológica: "Todo objeto s idéntico a si mismo"
3.1.1.2. Formulación lógica (tradicional):"Todo juicio equivale a si mismo"
3.1.1.3. Formulación lógica (Moderna):"Si p, entonces p" y tambien "p equivale a p"
3.1.2. Principio de no contradicción
3.1.2.1. Formulación Ontológica: "Es imposible que una cosa sea y no sea, al mismo tiempo y en el mismo sentido"
3.1.2.2. Formulación lógica (tradicional): " Dos juicios contradictorios entre si, no pueden ser al mismo tiempo ambos verdaderos"
3.1.2.3. Formulación lógica (Moderna): "No se da p y no p" o bien - (p,-p)
3.1.3. Principio del tercero excluido
3.1.3.1. Formulación Ontológica: "Algo es o no es, y no hay otra posibilidad"
3.1.3.2. Formulación lógica (tradicional): " Dos juicios contradictorios entre si, no pueden ser ambos falsos"
3.1.3.3. Formulación lógica (Moderna): p v -p, o bien "Toda proposición es verdadera o falsa"
4. Nociones Generales
4.1. Unidad de enunciación, indica si es verdadero o falso.
4.1.1. Son construcciones que nos permiten decir algo de los individuos o de las propiedades
4.1.1.1. Tienen que tener la función enunciativa, afirmar o negar algo, antes de significar.
4.2. Una proposición puede ser dicha en distintas formas, en idiomas distintos o en el mismo idioma.
4.2.1. La única condición para formar una proposición es que esta pueda atribuir verdad o falsedad
4.2.1.1. No tiene que estar afectado por interrogaciones o exclamaciones que interfieran
5. Clasificación
5.1. Vista por la Lógica Clásica
5.1.1. Calidad
5.1.1.1. Estas pueden ser afirmativas o negativas
5.1.2. Cantidad
5.1.2.1. Pueden ser universales
5.1.2.2. Particulares
5.1.2.3. Singulares
5.1.3. Modalidad
5.1.3.1. Aertórica= algo es de hecho
5.1.3.2. Problemática = puede ser
5.1.3.3. Apodictica = Es necesario
5.1.4. Relación
5.1.4.1. Categórica = no stan sujetas a ninguna condición
5.1.4.2. Disyuntiva = Dos o más alternativas
5.1.4.3. Hipotética = afirman algo sujeto a una condición al menos
5.1.4.4. Universal afirnativa y negativa
5.1.4.4.1. Su relación es de Contrariedad, poseen los mismos elemenos pero cuantificadores distintos,
5.1.4.5. Partucular afirmativa y negativa
5.1.4.5.1. Su relación es de subcontrariedad, mismos elementos pero uno afirmativo y otro negativo
5.2. Visto por la Lógica Proposicional
5.2.1. Atómicas
5.2.1.1. Proposiciones que no estan afectadas por conectivas extensionales
5.2.2. Moleculares
5.2.2.1. Afectadas por al menos una conectiva extensional
5.3. Epistemología
5.3.1. Analíticas
5.3.1.1. La verdad se determina por procesos Lógicos, por un análisis formal
5.3.1.1.1. Las verdaderas se denominan Tautologías, necesariamente verdaderas
5.3.1.1.2. Las falsas se denominan contradicciones, necesariamente falsas
5.3.2. Sintéticas
5.3.2.1. Requieren comparar las proposiciones con el estado de las cosas que describen
5.3.2.1.1. Son consideradas contingentes desde el punto de vista Lógico
5.4. Desde la visión de la Naturaleza de sus términos
5.4.1. Denotativas
5.4.1.1. Se refieren a individuos localizables en el tiempo y espacio
5.4.2. Ficcionales
5.4.2.1. Se refieren a entes ideales que solo son pensados