Newsgroup: it.discussioni.litigi
Titolo: Fondamenti Logici dello Snobismo

FONDAMENTI LOGICI DELLO SNOBISMO
by keroppi
I. Preliminari
Sia Ind={a1...an} un insieme di n individui (esempio: i postatori di
un forum)
Sia Rel={R1...Rm} un insieme di m proprieta' e relazioni definite
sull'insieme Ind (esempio: R1="x1 plonka x2", R2="x3 e' uno spammer",
ecc.)
Sia T una teoria per la spiegazione e predizione delle dinamiche di
gruppo dei membri dell'insieme Ind sulla base delle loro proprieta' e
relazioni in Rel.
Si supponga che T sia assiomatizzabile nella logica del primo ordine.
Si supponga, cioe', che esista un insieme ricorsivo di enunciati, che
chiamiamo gli assiomi di T, a partire dei quali tutti i teoremi di T
siano dimostrabili. Esempio:
Assioma1) "a1 plonka a2"
Assioma2) "a2 e' uno spammer"
Teorema) "Qualcuno plonka uno spammer" [da 1,2 & generalizzazione
esistenziale]
II. La Logica dello Snobismo
Supponiamo di voler snobbare un certo individio ak appartenente a Ind,
con 1<k<n. (Consideriamo solo un individuo per semplicita', ma la
procedura seguente e' generalizzabile a ogni sottoinsieme {ai...ak} di
Ind, 1<i<k<m).
Sulla base di quanto assunto nei preliminari, e' possibile costruire
in soli tre passi una teoria in cui sia eliminato ogni riferimento ad
ak.
Passo 1) Prendi il sottoinsieme Tsnob di tutti gli enunciati di T che
non contengano occorrenze di nomi che donotano ak. In altre parole,
prendi tutte le conseguenze di T che non facciano alcun riferimento ad
ak. Siccome abbiamo assunto che T e' assiomatizzabile, Tsnob e' un
insieme di enunciati ricorsivamente enumerabile.
Passo 2) Applica a Tsnob il teorema di Craig secondo cui ogni insieme
ricorsivamente enumerabile di enunciati nella logica del primo ordine
e' assiomatizzabile.
Passo 3) Dunque, Tsnob e' una teoria con lo stesso contenuto
snobistico di T, ma i cui assiomi (a differenza di quelli di T) sono
formulabili senza fare alcun riferimento ad ak.
III. Pro & Contro
Vantaggi: nessuna menzione dell'individuo snobbato ak e' necessaria
per formulare coerentemente gli assiomi di Tsnob.
Svantaggi: e' possibile che Tsnob sia semanticamente piu' debole di T:
in generale, non vi e' alcuna garanzia che Tsnob sia vera soltanto
sotto interpretazioni che possano essere estese a T. Se Tsnob e'
semanticamente piu' debole di T nel senso appena definito, i termini
che denotano ak non sono eliminativisticamente definibili a partire
dai restanti termini della teoria. (Perche'? Questa e' una conseguenza
del teorema di definibilita' di Beth). Quando questo si verifica, si
parla di "fallimento di Ramsey-eliminabilita'".
IV. Conclusione
Dati alcuni presupposti minimali, e' sempre possibile ridurre
sintatticamente la propria teoria di partenza in modo da eliminare
ogni riferimento a un individuo o insieme di individui reputati
fastidiosi, indesiderati o semplicemente inutili. Tuttavia, se
l'individuo/i eliminati sono semanticamente significativi, la
riduzione puo' comportare una corrispondente perdita di contenuto. In
altre parole: se vuoi mantenere intatto il tuo potere espressivo,
elimina dal tuo linguaggio solo i termini che denotano entita' che non
contano nulla.
--
keroppi
www.geocities.com/rosacrux

 contano nulla.
esatto
eliminate tutte le possibili variazioni sul tema
non mi resta altro che pensare a me stessa
no, dico.. non sia mai che mi venga un'altra volta
una simile idea.. 'io spero che muoia' .. no dico
che senso avrebbe? e se muore davvero?
naaaa impossibile
il solo pensiero mi fa tremare...
mah! ed intanto il tempo passa e non si sa mai
mi chiedo se potrò mai esprimere nell'aldilà
il mio senso d'inquietudine così bene come lo
esprimo nell'aldiqua...
mah
101

 contano nulla.
Che??? Qualcuno ha detto qualcosa?
A parte queste facili battute devi stare attento a non trascurare un altro
aspetto importante: a priori T è una teoria generica, potenzialmente
inconsistente ed è possibile che questa inconsistenza sia interamente
imputabile a certe persone semanticamente "troppo significative" il cui
snobbamento diventa a questo punto necessario per indebolire T quanto basta
per cancellare le inquietanti incoerenze e ristabilire un equilibrio
ontologico nel mondo ed una maggiore pace interiore.
--
   LordBeotian
  ICQ 18262621

 ontologico nel mondo ed una maggiore pace interiore.
Assumendo che la teoria T e' un sistema formale assiomatizzabile, ho
implicitamente assunto anche che T e' coerente. Se invece consideriamo
una teoria T' che non e' coerente, allora non si puo' piu' parlare in
senso esatto (cioe' nel senso della teoria dei modelli) di una
semantica per T' (ne' tantomeno di individui piu' o meno
"significativi" denotati dai termini di T'). Secondo la classica
definzione semantica di coerenza, il sistema formale che esprime le
proposizioni di T e' coerente se e solo se e' vero sotto almeno
un'interpretazione (cioe' se esiste almeno un modello per T). Se poi
vogliamo parlare di "teorie paraconsistenti", allora ovviamente sono
d'accordo con te: in generale, dato un insieme di enunciati da cui si
puo' derivare una contraddizione, e' possibile selezionarne un
sottoinsieme che ha un modello, e che dunque e' coerente. In questo
caso, lo snobismo non e' piu' un optional, ma una necessita'.

 caso, lo snobismo non e' piu' un optional, ma una necessita'.
burp
-,,,
Posted from X-Privat Free NNTP server - 
www.x-privat.org


sono d'accordo col lord....
io aspetto che sia lui a farsi
avanti e nel caso butto li il
discorso dell'amicizia...
come dice Kero..
' j