Escolar Documentos
Profissional Documentos
Cultura Documentos
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.
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 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.
2.1. Enunciados atmicos: el lenguaje nos da la posibilidad de designar objetos o
individuos que en gramtica llamamos nombres propios. Este mismo
lenguaje nos da la posibilidad de designar propiedades de los objetos
mediante palabras que la gramtica llama nombres comunes. A los
nombres propios, la lgica, los llama sujetos, y a las palabras que denotan
propiedades de objetos se les llama predicados. Tanto los sujetos como los
predicados son llamados trminos.
Los predicados implican cierta complejidad: algunas veces un predicado es un
rasgo de un objeto (el Orinoco es un ro). Estos son predicados mondicos.
pero otras veces el predicado denota una propiedad que involucra dos o ms
objetos (estar al norte de, estar entre, etc. A este segundo tipo de
predicados, que denotan relaciones se les llama predicados relativos o
polidicos (hasta n).
Los enunciados atmicos, tambin se llaman predicaciones, y son siempre
positivos: El Orinoco es un ro.
Smbolos que denotan a objetos: las primeras letras del alfabeto castellano:
a,b,c, etc.
Smbolos que denotan propiedades y relaciones se llaman: letras
predicativas.
Si se conviene en utilizar el siguiente esbozo de diccionario simblico:
b como constante individual denotativa del objeto individual Orinoco
Q como letra predicativa para denotar la propiedad de ser un ro
El Orinoco es un ro ......
Qb
(Se lee Q de b).
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)
6. REGLAS BASICAS DEL CLCULO DE JUNTORES
7. REGLAS DERVIADAS DEL CLCULO DE JUNTORES
8. SILOGISTICA
9. SEMNTICA: MODELOS; TAUTOLOGIAS; TABLAS SEMNTICAS