Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Logica Simbolica
Logica Simbolica
Ejemplos sencillos:
Revisar este último ejemplo (2) desde el punto de vista de la epistemología feminista.
RECORDAR: el feminismo no implica el hacer visible la agencia de la mujer en la
historia; el feminismo es una postura epistemológica que ha contribuido –junto a otros
sujetos- a la deconstrucción del sujeto universal moderno.
La lógica formal es una ciencia abstracta que tiene por objeto el análisis formal de los
argumentos o también y más concisamente, como teoría formal de la DEDUCCIÓN. La
lógica es parte de la teoría de la ciencia. La teoría de la ciencia estudia la metodología
de las distintas ciencias particulares. La filosofía de la lógica se ocupa de saber en qué
consiste la verdad lógica, cómo se explica el acuerdo de las leyes lógicas con la realidad.
Si A, entonces B;
Pero no B.
Por tanto, no A
Todo P es Q
Todo Q es R
Por tanto todo P es R
1.1.3. La lógica formal: los filósofos griegos desde Aristóteles y los estoicos
se plantearon el análisis de la forma o la figura de los argumentos,
haciendo abstracción de su materia o contenido. MODUS TOLLENS
es el nombre que se le da al primer esquema. El segundo esquema fue
llamado por los lógicos medievales BARBARA.
Toda esta parte del texto de Garrido, introduce a las y los estudiantes a
la siguiente parte del programa de TyMI. Si bien no es necesario que
conozcan los detalles de todos estos autores, es oportuno que se
familiaricen con sus nombres, época, aportes, debates en los que han
intervenido. De esta forma, a las y los estudiantes se les hará más fácil
el punto dos del programa.
Toda ciencia, de un modo general, recurre a un lenguaje artificial del que forma parte,
el repertorio de términos técnicos propio de cada ciencia. En este lenguaje (para el
caso de la lógica) hay símbolos constantes (con un sentido fijo dentro del lenguaje de
la lógica) y símbolos variables, cuyo sentido es oscilante.
Símbolos que denotan a objetos: las primeras letras del alfabeto castellano:
a,b,c, etc.
x es pintor
Pa
Pb
Pc
3.3. Cuantores
3.3.1. Enunciados generales y particulares
3.3.2. Generalizador
3.3.3. Particularizador
3.3.4. Resumen de lo anterior
3.3.5. Reducibilidad de cuantores a juntores
4. LENGUAJE FORMAL
4.1. Las categorías del lenguaje formal
4.2. Símbolos formales
4.3. Lenguaje y metalenguaje
4.4. Fórmulas
4.5. Uso de paréntesis
4.6. Nociones adicionales
5. DEDUCCIÓN
5.1. Argumento deductivo
5.2. Deducción directa e indirecta
5.3. Formulación de argumentos. Deductor. Reglas de inferencia.
5.4. Los supuestos de la deducción
5.5. El cálculo lógico
5.6. Deducción formal (derivación)