La logica nelle scienze economiche e sociali Marcello D’Agostino 1 Introduzione Una parte importante delle moderne teorie economiche e sociali ha co- me obiettivo la costruzione di modelli matematici in cui un insieme di agenti razionali prende decisioni individualmente (teoria della decisio- ne), interattivamente (teoria dei giochi) o collettivamente (teoria della scelta sociale). 1 I criteri che definiscono la razionalit` a di una decisione sono profondamente radicati nel paradigma della razionalit` a come coe- renza [26] che unisce i fondamenti della teoria della decisione e della teo- ria della probabilit` a a quelli della logica. Nonostante la sfida lanciata, a partire dagli anni settanta del ventesimo secolo, dalla corrente della beha- vioural economics [31] — pi ` u legata ai metodi della psicologia cognitiva — la logica contemporanea occupa un posto sempre pi` u ampio nell’ana- lisi del comportamento razionale ed ` e plausibile che possa svolgere un ruolo propulsivo analogo a quello che ha svolto, a partire dalla secon- da met` a del ventesimo secolo, nello sviluppo dell’informatica. In questa rassegna esamineremo brevemente, senza alcuna pretesa di esaustivit` a, alcune delle aree di ricerca in cui il contributo degli studiosi italiani ` e pi ` u significativo. Come hanno insegnato Karl Popper e Imre Lakatos, gli sviluppi teorici pi` u interessanti nascono dal tentativo di risolvere “problemi recalcitran- ti”. In questo spirito, prenderemo le mosse da tre problemi fondamen- tali — riguardanti il rapporto fra la Logica e la teoria della razionalit` a economica e sociale — che sono in larga misura ancora aperti e conti- nuano ad alimentare una notevole mole di ricerca interdisciplinare. Si tratta del paradosso di Condorcet, una fondamentale difficolt` a relativa all’aggregazione delle preferenze di un gruppo di individui che sta all’o- rigine di risultati epocali nella teoria della scelta sociale, tra cui il Teo- rema di Arrow; del dilemma discorsivo, che da lungo tempo ` e discusso 1 Per una discussione di questa tripartizione da un punto di vista logico si veda [30].