Bonjour,
Voici une autre manière d’interpréter les choses :
Il est facile de remarquer qu'il y a de la logique dedans, qui joue le rôle de support dans la phrase : "s'il n'y avait pas le néant, il n'y aurait pas d'existence". Si : (il n'y avait pas le néant), alors : (il n'y aurait pas d'existence).
En d'autres termes, cela se traduit en langage de la logique par : Il n'y a pas le néant ===> Il n'y a pas d'existence.
Par contraposée : Il y a l'existence ===> il y a le néant. Car, en mathématiques : non (P) ===> non (Q) est équivalent à Q ===> P
La question qui se pose à la fin : Est-ce que la proposition suivante : (Il y a l'existence) ===> (il y a le néant) est vraie ?
En logique, la proposition : P ===> Q équivaut à non (P) ou Q - c'est-à-dire : non (existence) ou (néant) - c'est-à-dire : (néant) ou (néant) - c'est-à-dire : (néant) qui est une proposition "valide" : "Il y a le néant".
Par conséquent, la proposition : "s'il n'y avait pas le néant, il n'y aurait pas d'existence" est une proposition vraie (c-à-d valide).
Voici une autre manière d’interpréter les choses :
Il est facile de remarquer qu'il y a de la logique dedans, qui joue le rôle de support dans la phrase : "s'il n'y avait pas le néant, il n'y aurait pas d'existence". Si : (il n'y avait pas le néant), alors : (il n'y aurait pas d'existence).
En d'autres termes, cela se traduit en langage de la logique par : Il n'y a pas le néant ===> Il n'y a pas d'existence.
Par contraposée : Il y a l'existence ===> il y a le néant. Car, en mathématiques : non (P) ===> non (Q) est équivalent à Q ===> P
La question qui se pose à la fin : Est-ce que la proposition suivante : (Il y a l'existence) ===> (il y a le néant) est vraie ?
En logique, la proposition : P ===> Q équivaut à non (P) ou Q - c'est-à-dire : non (existence) ou (néant) - c'est-à-dire : (néant) ou (néant) - c'est-à-dire : (néant) qui est une proposition "valide" : "Il y a le néant".
Par conséquent, la proposition : "s'il n'y avait pas le néant, il n'y aurait pas d'existence" est une proposition vraie (c-à-d valide).