Prawitz, Dag

Enciclopedia on line

Logico e filosofo svedese (n. Stoccolma 1936), prof. di filosofia all'univ. del Michigan (1969), di Stanford (1970), di Oslo (1971-77) e (dal 1976) di filosofia teoretica all'univ. di Stoccolma; membro permanente dell'Accademia reale delle scienze svedese (1981). Importanti i suoi contributi al ramo dell'intelligenza artificiale mirante all'automazione del ragionamento e noto come deduzione automatica, alla teoria del significato e alla teoria della dimostrazione: a quest'ultima branca della logica ha dato un contributo decisivo in Natural deduction (1965), mettendo poi in evidenza il nesso tra teoria generale della dimostrazione e teoria del significato. Come filosofo del linguaggio ha analizzato, tra l'altro, le ripercussioni dell'opzione per una data teoria del significato sul contrasto tra logica classica e logica intuizionistica.

Vedi anche
verità verità Conformità o coerenza a principi dati o a una realtà obiettiva. filosofia 1. Definizione e criterio di verità Nella storia della filosofia il concetto di verita è stato concepito in almeno due diverse prospettive, l’una ontologica, l’altra strettamente connessa al discorso umano. Nella prospettiva ... deduzione filosofia Rapporto per il quale una conclusione deriva da una o più premesse. Nella storia della filosofia si distinguono tre principali interpretazioni di tale rapporto. Secondo la prima, esso è fondato sull’essenza necessaria o sostanza degli oggetti cui si riferiscono le proposizioni: è questa l’interpretazione ... razionalità razionalità Facoltà propria degli esseri dotati di ragione. economia La razionalita è una caratteristica dell’homo oeconomicus. Nella teoria economica tradizionale e moderna si distinguono due approcci alla razionalita: il primo definisce la scelta razionale in base alla coerenza interna che rispetta ... logica filosofia Disciplina che studia le condizioni di validità delle argomentazioni deduttive. 1. La logica antica I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio e della conoscenza» nell’ambiente protostoico, pur conservando λογικός per tutta la grecità ...
Categorie
Tag
Altri risultati per Prawitz, Dag
  • Prawitz
    Enciclopedia della Matematica (2013)
    Prawitz Dag (Stoccolma 1936) logico e filosofo svedese. È conosciuto soprattutto per i suoi lavori sulla teoria della dimostrazione e la fondazione della deduzione naturale, a partire dal suo lavoro Natural deduction (1965). Si è occupato anche di deduzione automatica (nell’ambito dell’intelligenza ...