Didattica del ragionamento: un esempio di deduzione logica in ambiente Mathematica

Si mostra come, in un ambiente adeguato per il calcolo simbolico, si possano introdurre elementi di programmazione logica, “traducendo” una teoria in un insieme di definizioni di funzioni. Dal punto di vista didattico, tale riduzione della programmazione logica a programmazione funzionale risulta utile per l’ampliamento dell’uso di strumenti informatici all’ambito della logica matematica. Inoltre, un ulteriore obiettivo è quello di facilitare, attraverso tali strumenti, lo sviluppo di competenze non solo nell’ambito del calcolo numerico-algebrico ma anche in quello dell’ informazione di tipo assertivo-logico. Il nostro punto di vista è che nella sperimentazione didattica sia possibile riferirsi alla logica non solo per quanto riguarda il calcolo proposizionale ma anche al suo aspetto deduttivo. E’ necessario evidenziare come il metodo assiomatico sia presente nella vita di tutti i giorni. Nozioni come quelle di “sistema di assiomi” e di “teorema” devono essere interpretate in termini di informazione disponibile, (in generale non completa) circa situazioni della vita reale, e di conseguenze che si possono ricavare a partire da tale informazione

Point-free Ultrametric Spaces and the Category of Fuzzy Subsets

Some attempts to establish a link between point-free geometry and the categorical approach to fuzzy set theory is exposed. In fact, it is possible to find functors between the category of fuzzy sets as defined by Höhle in [4] and a category whose objects are the pointless ultrametric spaces

RISCHIO, CRISI E INTERVENTO PUBBLICO NELL'AGRICOLTURA EUROPEA

Esiste un’ampia discussione tra le Istituzioni Europee (Commissione, Parlamento e Governi degli Stati Membri) sull’opportunità di istituire un quadro istituzionale di riferimento a livello europeo per la gestione del rischio e delle crisi in agricoltura. Allo scopo di analizzare la posizione assunta dalla Commissione Europea nel Marzo del 2004, l’articolo discute della possibilità di istituire un tale quadro comune di riferimento date le prospettive cui si trova di fronte la Politica Agricola Comune recentemente riformata. Nel far ciò, vengono passate in rassegna le misure esistenti nei vari Stati Membri e vengono valutati i punti di forza e di debolezza delle opzioni avanzate dalla Commissione. La conclusione è che, dati i vincoli esistenti sulla possibile espansione della spesa in agricoltura, l’istituzione di un programma comune basato sul pagamento di integrazioni di reddito o di sussidi a premi assicurativi è molto poco verosimile. Prospettive migliori sono quelle per un intervento basato sul sostegno di fondi mutualistici tra gli agricoltorie, più in generale, su sostegni indiretti al credito, alle assicurazioni e ai mercati finanziari, orientati al rendere tali strumenti più facilmente accessibili per gli agricoltor