Logica Simbolica
Páginas: 2 (420 palabras)
Publicado: 22 de mayo de 2012
Lógica simbólica
24
Su ideal era que las disputas y diferencias de opinión se pudiesen resolvermediante el cálculo. De acuerdo con eso, los disputantes se sentarían, tomarían
sus plumas ydirían: “
Calculemus
”. Quería además crear una lógica del
descubrimiento o
lógica inventiva
.Leibniz ensayó varios cálculos lógicos: 1) trató de simbolizar los conceptos
mediante números enteros,“aritmetizando” la lógica, 2) utilizó letras en lugar de
números, 3) elaboró un cálculo de la inclusión, o sea, una lógica intencional, y 4)esbozó un cálculo con el concepto de sustracción (diferentedel de negación) delas comprensiones de los términos.De acuerdo con su tesis de que el concepto de predicado está incluido en elconcepto de sujeto, intentó elaborar una lógica en que lo importantefuese larelación conceptual entre el predicado y el sujeto, independientemente de laexistencia o no existencia del objeto designado por el sujeto. «En las escuelas[
i.e.
, en la escolástica] hablan deotra manera, no considerando las nociones, sinoejemplos sujetos a nociones universales... En verdad, preferí considerar lasnociones universales o las ideas y sus compuestos, porque no dependen delaexistencia de los individuos». A la lógica basada en esta idea se le ha llamadológica intensional.En
Algunas dificultades de la lógica
, Leibniz propone dos lecturas de lasproposiciones categóricas.Son las siguientes:Todo A es B AB = A A no B es no-enteAlgún A no es BAB AA no B es enteNingún A es BAB AB enteAB es no enteAlgún A es B AB = AB ente AB es enteEn la versión de la segunda columna puedeobservarse que, dada la tesis de lacontención o inclusión del predicado en el sujeto, tanto A como el predicado Bestán incluidos en el sujeto A, es decir, AB A; pero también podemos ver que AAB, yesto se debe a que para Leibniz todo enunciado o proposición, tanto derazón como de hecho, afirma en el fondo una identidad (o su negación). Si laidentidad es una verdad de razón, ésta se demuestra...
24
Su ideal era que las disputas y diferencias de opinión se pudiesen resolvermediante el cálculo. De acuerdo con eso, los disputantes se sentarían, tomarían
sus plumas ydirían: “
Calculemus
”. Quería además crear una lógica del
descubrimiento o
lógica inventiva
.Leibniz ensayó varios cálculos lógicos: 1) trató de simbolizar los conceptos
mediante números enteros,“aritmetizando” la lógica, 2) utilizó letras en lugar de
números, 3) elaboró un cálculo de la inclusión, o sea, una lógica intencional, y 4)esbozó un cálculo con el concepto de sustracción (diferentedel de negación) delas comprensiones de los términos.De acuerdo con su tesis de que el concepto de predicado está incluido en elconcepto de sujeto, intentó elaborar una lógica en que lo importantefuese larelación conceptual entre el predicado y el sujeto, independientemente de laexistencia o no existencia del objeto designado por el sujeto. «En las escuelas[
i.e.
, en la escolástica] hablan deotra manera, no considerando las nociones, sinoejemplos sujetos a nociones universales... En verdad, preferí considerar lasnociones universales o las ideas y sus compuestos, porque no dependen delaexistencia de los individuos». A la lógica basada en esta idea se le ha llamadológica intensional.En
Algunas dificultades de la lógica
, Leibniz propone dos lecturas de lasproposiciones categóricas.Son las siguientes:Todo A es B AB = A A no B es no-enteAlgún A no es BAB AA no B es enteNingún A es BAB AB enteAB es no enteAlgún A es B AB = AB ente AB es enteEn la versión de la segunda columna puedeobservarse que, dada la tesis de lacontención o inclusión del predicado en el sujeto, tanto A como el predicado Bestán incluidos en el sujeto A, es decir, AB A; pero también podemos ver que AAB, yesto se debe a que para Leibniz todo enunciado o proposición, tanto derazón como de hecho, afirma en el fondo una identidad (o su negación). Si laidentidad es una verdad de razón, ésta se demuestra...
Leer documento completo
Regístrate para leer el documento completo.