novembro 30, 2008
«A memória é essa claridade fictícia das sobreposições
que se anulam. O significado é essa espécie
de mapa das interpretações que se cruzam
como cicatrizes de sucessivas pancadas.
Os nossos sentimentos.
A intensidade do sentir é intolerável.
Do sentir ao sentido do sentido ao significado:
o que resta é impacto que substitui impacto
— eis a invenção.»
Ana Hatherly, in 'Tisanas'
novembro 29, 2008
Eis os três primeiros indemonstráveis
da lógica estóica de Crisipo (277-204),
cf. expostos por Gilbert Hottois:
1º ) Primeiro Indemonstrável:
«Se o primeiro, então o segundo;
ora o primeiro, logo o segundo.»
= modus (ponendo) ponens:
[(p>q)•p]>q
2º) Segundo Indemonstrável:
«Se o primeiro, o segundo;
ora não o segundo, logo não o primeiro.»
= modus (tollendo) tollens:
[(p>q)•-q]>-p
3º) Terceiro Indemonstrável:
«Não (o primeiro e o segundo);
ora o primeiro, logo não o segundo.»
= modus ponendo-tollens:
[-(p•q)•p]>-p