Il concetto di variabile, la cui prima origine è da vedere nell'uso di lettere "schematiche" da parte di Aristotele negli Analitici I, è qui strettamente collegato con quello di assunzione, da sempre presente nell'uso di ipotesi, ma solo più recentemente (con l'opera di Gentzen) esplicitamente tematizzato attraverso una regolamentazione del cosiddetto "scaricamento" delle assunzioni (corrispondente al meccanismo di "vincolamento" delle variabili). Nel lavoro si fa vedere come differenze nella disciplina di scaricamento/vincolamento si riverberino in differenze sulla scelta del tipo di logica adottato.
Di variabili e assunzioni
MORICONI, ENRICO
2005-01-01
Abstract
Il concetto di variabile, la cui prima origine è da vedere nell'uso di lettere "schematiche" da parte di Aristotele negli Analitici I, è qui strettamente collegato con quello di assunzione, da sempre presente nell'uso di ipotesi, ma solo più recentemente (con l'opera di Gentzen) esplicitamente tematizzato attraverso una regolamentazione del cosiddetto "scaricamento" delle assunzioni (corrispondente al meccanismo di "vincolamento" delle variabili). Nel lavoro si fa vedere come differenze nella disciplina di scaricamento/vincolamento si riverberino in differenze sulla scelta del tipo di logica adottato.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.