Foros de matemática
18/11/2017, 08:38:38 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Renovado el procedimiento de inserción de archivos GEOGEBRA en los mensajes.
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Duda sobre lógica aristotélica  (Leído 101 veces)
0 Usuarios y 1 Visitante están viendo este tema.
diego_tentor
Semi pleno
***

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 50


Ver Perfil
« : 16/07/2017, 09:27:07 am »

Buen día.
Les presento una duda acerca de lógica proposicional y lógica aristotélica.

Admito que en el foro suele presentarse mas bien cuestiones de lógica formal, pero siendo Aristóteles el padre de la lógica moderna me parece que es pertinente la cuestión en tanto de ella se derivan cuestiones actuales, una de ellas por ejemplo estriba en el hecho de que la lógica formal no hace distinción entre el ser y el ser verdadero.

Por ejemplo en la siguiente proposición:

    Si A entonces B
    A
    Por lo tanto B

Puede decirse indistintamente.
Si A es entonces B es,  A es, por lo tanto B es
o
Si A es verdadero entonces B es verdadero,  A e verdadero, por lo tanto B es verdadero.


Es decir, la lógica formal no hace distintinción entre el solo ser y el ser verdadero.

En Metafísica, Libro Quinto, Sobre el Ser Aristóteles dice:
   " Ser, esto es, significan que una cosa es verdadera; no-ser, que no es verdadera, que es falsa, y esto se verifica en el caso de la afirmación como en el de la negación. Decimos: Sócrates es músico, porque esto es verdadero; o bien, Sócrates es no-blanco, porque esto también es cierto. Pero decimos, que la relación de la diagonal con el lado del cuadrado no es conmensurable, porque es falso que lo sea."(1)


Esto significa que cuando decimos que algo es, decimos, en el mismo acto, que es verdadero, y cuando decimos que algo no-es decimos también que ese algo es falso.
La duda surge porque necesariamente decimos de lo falso que es, es decir "es falso", con lo que se infiere (siempre según el propio decir de Aristóteles), que lo falso, por ser, es verdadero.
Y decir que lo falso es verdadero es decir una contradicción.


Entoces voy poner lo que dice aristóteles formalmente.
A: no-ser
B: falsedad

Si A entonces B
A
Entonces B

Que dicho sería: Si se da el no ser, se da la falsedad
Se da el no-ser
Luego se da la falsedad

¿Pero la falsedad depende de que el "no-ser" sea?

Entonces  ¿habría contradicción en la afirmación de Aristóteles?
¿Se puede demostrar que decir A, decir A es y decir A es verdadero es decir lo mismo.?

Pareciera que mediante un silogismo no pueden determinarse cuestiones sobre el "ser" y la "verdad" sin caer en paradojas(2) o contradicciones.

Desde ya agradezco respuestas sus y opiniones.

1 - Aristóteles se refiere muchas veces a la cuestion del ser y lo verdadero, se pueden seguir los enlaces acá:http://www.filosofia.org/cla/ari/azc10162.htm. Sin embargo en este párrafo es donde la aparente contradicción se hcae más evidente.
2 - Indeterminacion, bucle infinito.
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.1 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!