Resumen Gamut 1

Historia de la lgica
Aristteles
Lgica silogstica: tipos particulares de inferencias donde la

conclusin se obtiene a partir de dos premisas. (Todo A es B Univ
Afirmativa-; Todo A es no-B Univ Negativa-; Algn a es B Part.
Afirmativa-; Algn a es no-B Part Negativa).
Tambin hace mencin de otras inferencias como el Modus Ponens
(Si A, B. A, entonces B) o expresiones singulares como particulares
afirmativas o negativas.
En la lingstica cre un pensamiento sistemtico. Inici el anlisis
gramtical (dividir las oraciones en palabras y grupos de ellas
segn su funcin) y el anlisis morfo-sintctico (categoras de
palabras).
Estoicos: sistematizaron las inferencias de expresiones singulares

como a es B y a es no-B.
Dionisio de Tracia: con influencia aristotlica y distingui por primera
vez sustantivo, verbo, participio, artculo y pronombre.
Edad Media
La principal preocupacin durante la edad media fue la de

encontrarle a la gramtica reglas fundamentales y nicas. De ah
la bsqueda en muchos filsofos de gramticas especulativas que
se relacionaran con la naturaleza del pensamiento. Haba un ideal
de gramtica universal.
Se consideraba a la lgica una ciencia del discurso que se ocupaba
de los trminos y no de los conceptos indispensable para el
desarrollo de la gramtica y la bsqueda de la verdad.
Distinguieron entre trminos categoremticos y
sincategoremticos segn tenga referencia en la realidad o no.
Teora de la suposicin (uso y mencin) y de la inferencia.
Leibniz
Lenguaje universal sin ambigedades del habla que se

corresponda con el pensamiento. Consideraba que a partir de este
programa se podra resolver diferencias de opiniones por medio de
clculos. No hay verdades accidentales, todas son necesarias.
Su programa inspir a filsofos como Frege y Pierce que entre
otros aportes desarrollaron la lgica de predicados que es ms
poderosa que la lgica silogstica.
Siglo XX:
A partir de la tesis de Rusell de que la forma gramtical superficial de
ciertas expresiones se desva de su forma lgica y que la tarea de la
filosofa es la de clarificar lo que no es conocimiento genuino ya que la

verdad slo se encuentra con el mtodo cientfico; surgieron dos corrientes:
Positivismo lgico:
Contra la MFsica: tesis de incorreccin gramtical. Demostraba la

falta de sentido de las proposiciones metafsicas en trminos de su
incorreccin gramatical. Dos tipos de incorreccin:
o Errores sintcticos: Csar es un. No genera ningn dao ya que
tales expresiones son evidentemente gramaticalmente
incorrectas.
o Errores categoriales: Csar es un nmero primo. En este caso
hay una oracin gramaticalmente correcta que resulta ser
falsa. Carnap sostiene que se trata de una pseudoafirmacin y
que la MFsica tiene muchos ejemplos similares. Carnap toma
como ejemplo la oracin de Heidegger Slo debe ser
investigado lo que es, y fuera de esto nada. Donde, segn esta
tsis, el lenguaje natural es engoso ya que no est
claramente definido ni es lo suficientemente sistemtico ya
que nada equivale a ciertos trminos gramticalmente (como
nieve) pero no lgicamente.
Filosofa analtica:
Tambin consideran que el lenguaje lleva al pensamiento a

conclusiones errneas. Pero en vez de postular la posibilidad de
lenguajes artificiales que lo superaran se dedicaron a analizar el
lenguaje natural y el modo en que este llevaba al pensamiento a
conclusiones errneas.
Propusieron un anlisis crtico del lenguaje, el anlisis conceptual.
Para esto, por ejemplo, se consider la manera en que el sustantivo
conocimiento y el verbo conocer podran ser empleados en un
lenguaje natural. De este modo el lenguaje natural no es slo una
fuente de confusin filosfica sino tambin una fuente de ideas
filosficas valiosas.
Reinterpretacin de la tesis de Rusell. Donde el actual Rey de Francia
no es ni verdadera ni falsa, no expresa realmente una afirmacin.
Strawson no diferenci entre la forma gramatical superficial de las
oraciones y su forma lgica subyacente. Sin embargo afirm que el
lenguaje natural no tiene una lgica exacta.
Filosofia teraputica.
Argumentos validos y esquemas de argumentos

Para que un argumento sea vlido no es necesario que sus premisas
sean verdaderas, sino que la conclusin a la que llevan las premisas se
sigan de estas. Tal es el ejemplo de:
Todos los peces son mamferos; Moby Dick es un pez, entonces, Moby
Dick es un mamfero.
No se puede pensar en ninguna situacin en la cual las premisas sean
todas verdaderas sin que automticamente se trate de una situacin en la
cual la conclusin tambin lo sea.
Si la verdad o falsedad de las premisas y de la conclusin de un
razonamiento no determina su validez, qu es lo que la determina? En el
ejemplo (7) Juan vendr a la fiesta o Mara vendr a la fiesta; Pedro no
vendr, entonces, Mara si vendr la vlidez depende del hecho de que una
de las premisas consiste en dos oraciones vinculadas mediante la
conjuncin o, que la otra premisa es una negacin de la primera oracin de
la primera premisa, y que la conclusin es la segunda oracin de la primera
premisa. Es decir, la vlidez no depende de quines sean Juan y Mara, sino
de la forma en que se relacionan las oraciones. Esta forma puede
expresarse as:
AoB
No A
B
Otra forma de argumento es la siguiente:
Todos los P son Q
a es P
a es Q
Donde P y Q reemplazan expresiones que refieren propiedades y a a
un individuo o entidad, es decir, un objeto material o abstracto. La vlidez
del argumento deriva, entre otras cosas del significado de la expresin
cuantificadora todos. Otras expresiones de este tipo son algunos y ninguno.
La lgica, en tanto ciencia del razonamiento, investiga la validez de
los argumentos mediante el estudio de la validez de los esquemas de
argumento. De ah que los esquemas de argumentos eliminan de los
argumentos concretos todos los elementos que no tengan relacin con su
vlidez.
Lgica y significado
El significado de ciertos tipos de expresiones desempea un papel
esencial en la determinacin de validez de los esquemas en que aparecen.
Es por eso que la lgica, adems de estudiar la validez de esquemas de
argumentos, tambin se ocupa el significado de expresiones.
Investigar la validez de los argumentos implica estudiar una relacin

particular que se da entre los significados de las oraciones, la relacin de
consecuencia lgica y, por ende, implica estudiar el significado de las
expresiones particulares que llevan a la consecuencia lgica.
La lgica desde un punto de vista lingstico contribuye no solo con
proporcionar descripciones preccisas de los significados de las conjunciones
gramaticales, la negacin, las expresiones cuantificadoras, etc; sino que
proporciona interpretaciones semnticas de las operaciones sintcticas. Es
decir que cuando investigamos los argumentos que son vlidos sobre la
base del significado de las conjunciones gramaticales y la negacin, no nos
interesa el significado real de las oraciones vinculadas por medio de esas
conjunciones (por ejemplo: A o B; no B/A y no el contenido de A o B). Aun as
decimos algo acerca del significado de oraciones; por ello, en algn punto
debemos decir qu tipo de entidades son los significados de las oraciones
y de qu forma el significado de las oraciones compuestas depende del
significado de sus partes componentes.
La lgica no se ocupa del significado real de las expresiones
predicativas particulares, sino que determina la naturaleza del significado
de estas y da una interpretacin semntica de las reglas sintcticas
mediantes las cuales se pueden obtener oraciones a partir de expresiones
predicativas y cuantificadores. Otorga un contenido preciso al principio
segn el cual el significado de una expresin compuesta debe construirse a
partir del significado de sus partes componentes.
Conectivas veritativo-funcionales
Son constantes lgicas que operan sobre dos oraciones. Se
caracterizan porque dan lugar a oraciones cuyo valor de verdad depende
slo del valor de verdad de las oraciones conectadas. A diferencia, por
ejemplo, del conectivo porque, donde el valor de verdad de la oracin no
depende exclusivamente de la veracidad de las proposiciones que conecta:
Juan est llorando porque se golpe la cabeza. Juan puede haberse golpeado la
cabeza y estar llorando
pero no necesariamente porque se golpe la cabeza sino
porque su novia lo dej.
En el caso de la oracin: Juan se golpe la cabeza y est llorando, la

oracin es verdadera si y slo si ambas proposiciones lo son tambin.
Conectivas y tablas de verdad

Resumen Gamut 1

Cargado por

Copyright:

Formatos disponibles

Resumen Gamut 1

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Resumen Gamut 1

Cargado por

Copyright:

Formatos disponibles

Historia de la lgica

Lgica silogstica: tipos particulares de inferencias donde la

Estoicos: sistematizaron las inferencias de expresiones singulares

La principal preocupacin durante la edad media fue la de

Lenguaje universal sin ambigedades del habla que se

filosofa es la de clarificar lo que no es conocimiento genuino ya que la

Contra la MFsica: tesis de incorreccin gramtical. Demostraba la

Tambin consideran que el lenguaje lleva al pensamiento a

Argumentos validos y esquemas de argumentos

Investigar la validez de los argumentos implica estudiar una relacin

En el caso de la oracin: Juan se golpe la cabeza y est llorando, la

También podría gustarte