10 found
Sort by:
  1. Marc Pauly (2013). Characterizing Referenda with Quorums Via Strategy-Proofness. Theory and Decision 75 (4):581-597.
    The paper works with a formal model of referenda, where a finite number of voters can choose between two options and abstention. A referendum will be invalid if too many voters abstain, otherwise the referendum will return one of the two options. We consider quorum rules where an option is chosen if it is preferred by the majority of voters and if at least a certain number of voters (the quorum) votes for the alternative. The paper characterizes these rules as (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Fabrizio Cariani, Marc Pauly & Josh Snyder (2008). Decision Framing in Judgment Aggregation. Synthese 163 (1):1 - 24.
    Judgment aggregation problems are language dependent in that they may be framed in different yet equivalent ways. We formalize this dependence via the notion of translation invariance, adopted from the philosophy of science, and we argue for the normative desirability of translation invariance. We characterize the class of translation invariant aggregation functions in the canonical judgment aggregation model, which requires collective judgments to be complete. Since there are reasonable translation invariant aggregation functions, our result can be viewed as a possibility (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Marc Pauly (2008). On the Role of Language in Social Choice Theory. Synthese 163 (2):227 - 243.
    Axiomatic characterization results in social choice theory are usually compared either regarding the normative plausibility or regarding the logical strength of the axioms involved. Here, instead, we propose to compare axiomatizations according to the language used for expressing the axioms. In order to carry out such a comparison, we suggest a formalist approach to axiomatization results which uses a restricted formal logical language to express axioms. Axiomatic characterization results in social choice theory then turn into definability results of formal logic. (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Marc Pauly (2007). Axiomatizing Collective Judgment Sets in a Minimal Logical Language. Synthese 158 (2):233 - 250.
    We investigate under what conditions a given set of collective judgments can arise from a specific voting procedure. In order to answer this question, we introduce a language similar to modal logic for reasoning about judgment aggregation procedures. In this language, the formula expresses that is collectively accepted, or that is a group judgment based on voting. Different judgment aggregation procedures may be underlying the group decision making. Here we investigate majority voting, where holds if a majority of individuals accepts, (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Marc Pauly & Martin Van Hees (2006). Logical Constraints on Judgement Aggregation. Journal of Philosophical Logic 35 (6):569 - 585.
    Logical puzzles like the doctrinal paradox raise the problem of how to aggregate individual judgements into a collective judgement, or alternatively, how to merge collectively inconsistent knowledge bases. In this paper, we view judgement aggregation as a function on propositional logic valuations, and we investigate how logic constrains judgement aggregation. In particular, we show that there is no non-dictatorial decision method for aggregating sets of judgements in a logically consistent way if the decision method is local, i.e., only depends on (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Marc Pauly & Martin van Hees (2006). Logical Constraints on Judgement Aggregation. Journal of Philosophical Logic 35 (6):569 - 585.
    Logical puzzles like the doctrinal paradox raise the problem of how to aggregate individual judgements into a collective judgement, or alternatively, how to merge collectively inconsistent knowledge bases. In this paper, we view judgement aggregation as a function on propositional logic valuations, and we investigate how logic constrains judgement aggregation. In particular, we show that there is no non-dictatorial decision method for aggregating sets of judgements in a logically consistent way if the decision method is local, i.e., only depends on (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  7. Marc Pauly (2005). Changing the Rules of Play. Topoi 24 (2):209-220.
    Social processes like voting procedures, debates, etc. depend crucially on the precise rules which define them. This rule sensitivity is illustrated by two examples, in the case of preference aggregation by the parliamentary debate concerning the German capital, and in the case of judgement aggregation by the doctrinal paradox or discursive dilemma. Using social choice functions and the theory of mechanism design, one can formulate what it means for a particular set of rules to be correct under a given game-theoretic (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Marc Pauly & Rohit Parikh (2003). Editorial Introduction. Studia Logica 75 (2):163-164.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Marc Pauly & Rohit Parikh (2003). Game Logic - an Overview. Studia Logica 75 (2):165 - 182.
    Game Logic is a modal logic which extends Propositional Dynamic Logic by generalising its semantics and adding a new operator to the language. The logic can be used to reason about determined 2-player games. We present an overview of meta-theoretic results regarding this logic, also covering the algebraic version of the logic known as Game Algebra.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Paul Dekker & Marc Pauly (2002). Editorial: Logic and Games. [REVIEW] Journal of Logic, Language and Information 11 (3):287-288.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation