Newsgroup: it.cultura.filosofia.moderato
Titolo: fuori gioco

 
non A => (A (non A))
 
che vale solo in un senso e
si oppone socraticamente al
 
A <=> (non (non A))
 
che è fra il parmenideo e il nichilistico.
 
Tale formuletta deriva dal socratico
 
credo che esista almeno un A tale che (A(non A))
 
che è la forma debole di quanto sopra.
 
C'è il trucco?
 
ciao
Massimo
 
-- 
Creato con il client email di Opera: 
http://www.opera.com/mail/
 


 
La (2) va scritta:
 
Ipotesi2:
 
A sia una incognita che può assumere il valore 0, oppure il valore 1.
 
 
Tesi2:
 
allora, ne segue che,
 
A = NOT (NOT A)
 
Dimostrazione:
 
0 = NOT (NOT 0) = NOT (1) = 0
 
1 = NOT (NOT 1) = NOT (0) = 1
 
cvd.
 
++
 
In merito alla (1) .. la (1) va scritta, rispettando le stesse regole 
della logica applicate sulla (2), come segue:
 
Ipotesi1=Ipotesi2:
A sia una incognita che può assumere il valore 0, oppure il valore 1.
 
Tesi1:
 
allora, ne segue che,
 
NOT A =/= A * (NOT A)
 
Dimostrazione:
 
Infatti "*" è un operatore detto AND
 
0*0=0
0*1=0
1*0=0
1*1=1
 
Che dice che A*B=1 solo se sia A che B sono 1
 
Ora applicando la logica e gli operatori come sopra definiti:
 
a)
NOT 0 = 1
 
b)
NOT 1 = 0
 
Viceversa
 
a')
0 * (NOT 0)=0*1=0 che contraddice "a)"
infatti: se fosse vero NOT A = A * (NOT A)
dovrebbero dare sia NOT A che A * (NOT A) gli stessi valori.
 
b')
1 * (NOT 0)=1*1=1 che contraddice "b)"
infatti: se fosse vero NOT A = A * (NOT A)
dovrebbero dare sia NOT A che A * (NOT A) gli stessi valori.
 
 
da cui è vero che
 
NOT A = A * (NOT A)
 
è falso.
 
oppure si può dire che
 
NOT A =/= A * (NOT A)
 
cvd.
 
Commento generale:
 
La aporia (contraddizione logica) dipende dal fatto che in uno spazio 
con 2 soli enti
 
A intersecato con il suo spazio complementare, cioé NOT A, è un insieme 
vuoto.
Nel dire "A * (NOT A)" noi stiamo intersecando un insieme, che è A, con 
il suo spazio complementare, che è NOT A.
 
Viceversa A .. è detta -in matematica- etichetta (o simbolo) del valore 
variabile, oppure "variabile".
Per cui non può essere sempre un insieme vuoto(*), bensì assumerà 
(potenzialmente, e in un caso per volta) sia il valore 0 e sia 1.
 
(*)
una "variabile", poiché varia, non contiene un solo valore, poiché è 
"variabile", quindi A è un simbolo che si riferisce al fatto che quel 
contenitore, indicato con A, è su uno spazio di due elementi 
nell'esempio attuale.
 
Nella teoria degli insiemi, A è la etichetta del contenitore, la scatola 
che contiene nell'esempio attuale un elemento per volta (detto A 
"insieme atomico", in letteratura booleana). Dove "atomico" significa 
che non è originato da una composizione di altri enti.
 
Avremmo potuto considerare che A sia una "stringa" (quindi non più 
atomico) ma avremmo dovuto specificare gli operatori sulla composizione 
delle stringhe di caratteri atomici, e però il risultato dei teoremi 
attuali sarebbe stato confermato nella rilevazione delle aporie.
 
In logica booleana gli "operatori" fondamentali -tra gli enti- sono:
 
NOT, OR, AND (a volte estesi ad altri come NOT(AND)=NAND, etc).
 
In teoria degli insiemi gli "operatori" fondamentali sono:
 
spazio complementare, insieme unione, insieme intersezione.
 
 
cvd.

 ha scritto:

il trucchetto però Lino c'è.
La logica in cui si può trascrivere
Socrate è quella modale dove
le condizioni Credere C e Comoscere K
sono fondamentali.
Dunque dobbiamo per forza di cose
sostituire quella A con C e K
nel modo opportuno.
Cosa ne viene fuori?
Un dibattito... non ancora risolto.


 Massimo
 
Nella linguistica il tema che tu poni è detto "linguaggio oggetto" & 
"compilatore".
 
Il compilatore è soggetto nell'esame di una stringa, dove 
stringa=linguaggio oggetto.
 
Quindi esaminerò nel seguito le modalità del soggettivismo e 
dell'oggettivismo nella teoria della informazione:
 
Il linguaggio oggetto esegue delle azioni e svolge le decisioni anche 
tramite la conoscenza di variabili di input.
 
Però _prima_ e anche durante la esecuzione di un software="linguaggio 
oggetto", vi è un linguaggio "soggetto" che compie l'azione di giudicare 
se il linguaggio oggetto ha il diritto di dire.
 
Per la precisione prima della processazione del linguaggio oggetto ad 
opera di un microprocessore (o una architettura di processori) il 
linguaggio oggetto è visionato da un compilatore, che riconosce se il 
linguaggio oggetto rispetta la sintassi.
 
Durante la processazione del linguaggio oggetto potrebbero ugualmente 
manifestarsi delle anomalie, ed è compito di uno o più "arbiter" 
(software, oppure hardware) interrompere la processazione o correggerla.
 
Nel caso umano, ciò equivale al fatto che la mente umana può ripetere 
cose imparate a memoria, ed in tal caso ripete ciò in cui crede.
 
Oppure la mente umana può correggere quanto sta dicendo.
Ponendosi in questo caso, se corregge, in modalità di supervisore o 
anche detta soggetto che agisce sul linguaggio oggetto: in inglese 
"arbiter" di decisione.
 
Saluti e auguri