Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Ejemplos sencillos:
Revisar este ltimo ejemplo (2) desde el punto de vista de la epistemologa feminista.
RECORDAR: el feminismo no implica el hacer visible la agencia de la mujer en la
historia; el feminismo es una postura epistemolgica que ha contribuido junto a otros
sujetos- a la deconstruccin del sujeto universal moderno.
La lgica formal es una ciencia abstracta que tiene por objeto el anlisis formal de los
argumentos o tambin y ms concisamente, como teora formal de la DEDUCCIN. La
lgica es parte de la teora de la ciencia. La teora de la ciencia estudia la metodologa
de las distintas ciencias particulares. La filosofa de la lgica se ocupa de saber en qu
consiste la verdad lgica, cmo se explica el acuerdo de las leyes lgicas 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 lgica formal: los filsofos griegos desde Aristteles y los estoicos
se plantearon el anlisis de la forma o la figura de los argumentos,
haciendo abstraccin de su materia o contenido. MODUS TOLLENS
es el nombre que se le da al primer esquema. El segundo esquema fue
llamado por los lgicos 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 ms fcil
el punto dos del programa.
Toda ciencia, de un modo general, recurre a un lenguaje artificial del que forma parte,
el repertorio de trminos tcnicos propio de cada ciencia. En este lenguaje (para el
caso de la lgica) hay smbolos constantes (con un sentido fijo dentro del lenguaje de
la lgica) y smbolos variables, cuyo sentido es oscilante.
Smbolos que denotan a objetos: las primeras letras del alfabeto castellano:
a,b,c, etc.
El Orinoco es un ro ......
Qb
(Se lee Q de b).
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 categoras del lenguaje formal
4.2. Smbolos formales
4.3. Lenguaje y metalenguaje
4.4. Frmulas
4.5. Uso de parntesis
4.6. Nociones adicionales
5. DEDUCCIN
5.1. Argumento deductivo
5.2. Deduccin directa e indirecta
5.3. Formulacin de argumentos. Deductor. Reglas de inferencia.
5.4. Los supuestos de la deduccin
5.5. El clculo lgico
5.6. Deduccin formal (derivacin)