1,721,088 research outputs found
Dimensioni di Voto e Coerenza
No full textL'articolo discute il rapporto tra il teorema di Arrow e il problema della coerenza deliberativa delle giustificazioni democratiche. In particolare, si mostra come anche nel caso in cui le scelte individuali seguono una condivisa dimensione di voto, le ragioni che giustificano il voto possono essere soggette a incoerenza
Giustificazioni pubbliche e modelli di giustizia distributiva
No full textIn questo articolo, presentiamo alcune osservazioni sul concetto di giustificazione dei principi di scelta sociale nelle teorie economiche. In particolare, mostreremo come l’analisi formale consenta di individuare argomenti condivisibili ed argomenti non condivisibili in un ideale dibattito tra agenti utilitaristi ed egalitari. Presenteremo inoltre alcune osservazioni sul rapporto tra il concetto di ragioni pubbliche di John Rawls e le giustificazioni ricavabili dalle formalizzazioni economiche
Logic in social choices
No full textThis paper presents a number research topics at the interface of welfare economics, social choice theory, logic, and artificial intelligence. We will discuss in particular the role of logic in modelling the relationship between individual reasoning and group or social reasoning
Logic and Pragmatics
No full textIn this paper I disuss logic in the pragmatic apporach of (Brandom, 2008). I consider differnt logical consequence relations (classical, intuitionistic and linear) and I will argue that the formal treatment proposed by Brandom, even if I believe it provides powerful intuions and an interesting framework on logic in general, doesn't allow to state properly the relationship between differnt logics. I propose an alternative account of the elaboration of logical vocabuilaries not based on incompatibility semantics, rather on a particular notion of interaction, which I claim is implicit in the practice of giving and asking for reasons, which allows to state the relationship between differnt logics in terms of differnt aspects of the inferential practice
Deductive and Grammatical Competence: Type Logical Remarks on Nesting Phenomena
No full textThe aim of this work is to present some applications of a theory of grammatical competence to the problem of the deductive competence of cognitive agents.
The point of view here adopted is from the theory of categorial grammars and the research program from them developed, namely the so called logical approach to grammar.
This research program remarkably extended the range of linguistic phenomena that can be described by means of logical notions, applying tools from linear logic. Without entering the technical details, we present briefly the essential features of this research program, focusing on the aspects that are important for the proposed application, mainly focusing on the logical nature of this kind of formalism. After describing and limiting the kind of deductive competence we can deal with, I will make some considerations about a theory of deductive competence intended as a logical calculus, and I will present some application of a theory which can represent the grammatical competence to the problem of describing the deductive competence. At the end, I will propose an example which suggests a comparison between the notion of complexity involved in the deductive and grammatical competence
La necessità di un'isola
No full textQuesto articolo discute la ricezione dell'argomento ontologico di Anselmo in abito logico matematico e all'interno della tradizione analitica. L'articolo non si propone di valutare la correttezza dell'argomento, ma di discutere la ricchezza dei temi toccati dall'argomento ontologico in relazione alla sua formalizzazione logico-matematica
La Logica dei Giudizi Collettivi
No full textRecentemente lo studio formale del ragionamento si è applicato, oltre alla pratica inferenziale di un singolo soggetto astratto, alla pratica inferenziale di un insieme di agenti che ragionano insieme. Il problema del ragionamento collettivo è inteso in quest’ambito come lo studio delle procedure che consentono di risolvere il pos- sibile disaccordo tra agenti razionali al fine di individuare un insieme di afferma- zioni collettive che siano anch’esse razionali e che allo stesso tempo riflettano, per quanto possibile, le affermazioni degli individui.
Questa linea di ricerca, che ha coinvolto recentemente la logica matematica, è emersa principalmente a causa di un paradosso notato nella pratica deliberativa delle corti collegiali, in particolare, nelle deliberazioni della Corte Suprema degli Stat Uniti. È interessante osservare che un paradosso, che come vedremo ha una natura prettamente logica, è stato individuato nelle argomentazioni effettivamente praticate da entità istituzionalmente fondamentali. Dopo la «scoperta» del cosid- detto paradosso dottrinale, alcuni studiosi in filosofia politica e filosofia del diritto hanno argomentato che tale fenomeno costituisce una seria minaccia per la legitti- mità delle decisioni collettive. Al fine di analizzare le condizioni dalle quali tale paradosso può emergere, una teoria formale dell’aggregazione dei giudizi è stata quindi sviluppata. Tale teoria costituisce la controparte relativa all’aggregazione dei giudizi, ovvero opinioni espresse in logica proposizionale, di quella che in economia è nota come teoria delle preferenze e che costituisce il nucleo fondamentale della teoria della scelta sociale. La teoria della scelta sociale costituisce una importante teoria economica che ha ricadute sulla concezione del voto e della democrazia e che ha portato risultati culturalmente influenti come il teorema di impossibilità formulato dal premio Nobel per l’economia Kenneth Arrow.
In questo articolo presenteremo in dettaglio il caso del paradosso dottrinale e vedremo alcuni elementi della formalizzazione della teoria dell’aggregazione dei giudizi. Inoltre, presenteremo la prova di un importante teorema circa la possibilità di aggregare proposizioni logiche
Deliberating about voting dimensions
No full textIt has been claimed that deliberation is capable of overcoming so- cial choice theory impossibility results, by bringing about single- peakedness. Our aim is to better understand the relationship be- tween single-peakedness and collective justifications of preferences
A Logic for Reasoning about Group Norms
No full textWe present a number of modal logics to reason about group norms. As a preliminary step, we discuss the ontological status of the group to which the norms are applied, by adapting the classification made by Christian List of collective attitudes into aggregated, common, and corporate attitudes. Accordingly, we shall introduce
modality to capture aggregated, common, and corporate group norms. We investigate then the principles for reasoning about those types of modalities. Finally, we discuss the relationship between group norms and types of collective responsibility
Logics for collective reasoning
No full textIn this paper, we discuss the approach based on Social Choice Theory and Judgment Aggregation to the definition of collective reasoning. We shall make explicit the aggregative nature of the notion of collective reasoning that is defined in the Judgment Aggregation account and we shall stress that the notion of logical coherence plays a fundamental role in defining collective attitudes. Un- fortunately, as several results in Judgment Aggregation show, coherence is not compatible with fair aggregation procedures. On closer inspection, the notion of coherence that is jeopardized by Judgment Aggregation is based on classi- cal logic. In this work, we propose to revise the standard view of rationality of Judgment Aggregation by exploring the realm of non-classical logics. in particular, we will present possibility results for substructural logics. Those logics, we argue, provide a viable notion of collective reasonin
- …
