Results for 'Representation Theorem'

989 found
Order:
  1.  74
    Probabilism, Representation Theorems, and Whether Deliberation Crowds Out Prediction.Edward Elliott - 2017 - Erkenntnis 82 (2):379-399.
    Decision-theoretic representation theorems have been developed and appealed to in the service of two important philosophical projects: in attempts to characterise credences in terms of preferences, and in arguments for probabilism. Theorems developed within the formal framework that Savage developed have played an especially prominent role here. I argue that the use of these ‘Savagean’ theorems create significant difficulties for both projects, but particularly the latter. The origin of the problem directly relates to the question of whether we can (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2. A Representation Theorem for Frequently Irrational Agents.Edward Elliott - 2017 - Journal of Philosophical Logic 46 (5):467-506.
    The standard representation theorem for expected utility theory tells us that if a subject’s preferences conform to certain axioms, then she can be represented as maximising her expected utility given a particular set of credences and utilities—and, moreover, that having those credences and utilities is the only way that she could be maximising her expected utility. However, the kinds of agents these theorems seem apt to tell us anything about are highly idealised, being always probabilistically coherent with infinitely (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  46
    Representation theorems and the semantics of decision-theoretic concepts.Mikaël Cozic & Brian Hill - 2015 - Journal of Economic Methodology 22 (3):292-311.
    Contemporary decision theory places crucial emphasis on a family of mathematical results called representation theorems, which relate criteria for evaluating the available options to axioms pertaining to the decision-maker’s preferences. Various claims have been made concerning the reasons for the importance of these results. The goal of this article is to assess their semantic role: representation theorems are purported to provide definitions of the decision-theoretic concepts involved in the evaluation criteria. In particular, this claim shall be examined from (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  4. Representation theorems and the foundations of decision theory.Christopher J. G. Meacham & Jonathan Weisberg - 2011 - Australasian Journal of Philosophy 89 (4):641 - 663.
    Representation theorems are often taken to provide the foundations for decision theory. First, they are taken to characterize degrees of belief and utilities. Second, they are taken to justify two fundamental rules of rationality: that we should have probabilistic degrees of belief and that we should act as expected utility maximizers. We argue that representation theorems cannot serve either of these foundational purposes, and that recent attempts to defend the foundational importance of representation theorems are unsuccessful. As (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   70 citations  
  5.  25
    Relational Representation Theorems for Extended Contact Algebras.Philippe Balbiani & Tatyana Ivanova - 2020 - Studia Logica 109 (4):701-723.
    In topological spaces, the relation of extended contact is a ternary relation that holds between regular closed subsets A, B and D if the intersection of A and B is included in D. The algebraic counterpart of this mereotopological relation is the notion of extended contact algebra which is a Boolean algebra extended with a ternary relation. In this paper, we are interested in the relational representation theory for extended contact algebras. In this respect, we study the correspondences between (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Representation Theorems and Radical Interpretation.Edward J. R. Elliott - manuscript
    This paper begins with a puzzle regarding Lewis' theory of radical interpretation. On the one hand, Lewis convincingly argued that the facts about an agent's sensory evidence and choices will always underdetermine the facts about her beliefs and desires. On the other hand, we have several representation theorems—such as those of (Ramsey 1931) and (Savage 1954)—that are widely taken to show that if an agent's choices satisfy certain constraints, then those choices can suffice to determine her beliefs and desires. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  7. Representation theorems and realism about degrees of belief.Lyle Zynda - 2000 - Philosophy of Science 67 (1):45-69.
    The representation theorems of expected utility theory show that having certain types of preferences is both necessary and sufficient for being representable as having subjective probabilities. However, unless the expected utility framework is simply assumed, such preferences are also consistent with being representable as having degrees of belief that do not obey the laws of probability. This fact shows that being representable as having subjective probabilities is not necessarily the same as having subjective probabilities. Probabilism can be defended on (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   50 citations  
  8.  27
    Representation theorem for distributive pseudo-Boolean algebra.Cecylis Rauszer & Bogdan Sabalski - 1974 - Bulletin of the Section of Logic 3 (3/4):17-21.
  9.  37
    A representation theorem for co-diagonalizable algebras.Jacek Hawranek - 1985 - Bulletin of the Section of Logic 14 (3):124-125.
    The present work refers directly to the investigations of Buszkowski and Prucnal [1] and that of Esakia [2], generalizing their results. Our main representation theorem for co-diagonalizable algebras is obtained by application of certain methods taken from J´onsson-Tarski [3].
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  21
    Representation Theorems for Implication Structures.Wojciech Buszkowski - 1996 - Bulletin of the Section of Logic 25:152-158.
  11.  40
    A representation theorem for languages with generalized quantifiers through back-and-forth methods.Renato H. L. Pedrosa & Antonio M. A. Sette - 1988 - Studia Logica 47 (4):401 - 411.
    We obtain in this paper a representation of the formulae of extensions ofL by generalized quantifiers through functors between categories of first-order structures and partial isomorphisms. The main tool in the proofs is the back-and-forth technique. As a corollary we obtain the Caicedo's version of Fraïssés theorem characterizing elementary equivalence for such languages. We also discuss informally some geometrical interpretations of our results.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  10
    The Representation Theorem for Cylindrical Algebras.L. Henkin - 1957 - Journal of Symbolic Logic 22 (2):215-215.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  13. A representation theorem for voting with logical consequences.Peter Gärdenfors - 2006 - Economics and Philosophy 22 (2):181-190.
    This paper concerns voting with logical consequences, which means that anybody voting for an alternative x should vote for the logical consequences of x as well. Similarly, the social choice set is also supposed to be closed under logical consequences. The central result of the paper is that, given a set of fairly natural conditions, the only social choice functions that satisfy social logical closure are oligarchic (where a subset of the voters are decisive for the social choice). The set (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  14.  53
    Completeness theorems, representation theorems: what's the difference?David C. Makinson - unknown - Hommage À Wlodek: Philosophical Papers Dedicated to Wlodek Rabinowicz, Ed. Rønnow-Rasmussen Et Al. 2007.
    A discussion of the connections and differences between completeness and representation theorems in logic, with examples drawn from classical and modal logic, the logic of friendliness, and nonmonotonic reasoning.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  27
    A representation theorem for measurable relation algebras.Steven Givant & Hajnal Andréka - 2018 - Annals of Pure and Applied Logic 169 (11):1117-1189.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  15
    A representation theorem for universal horn classes categorical in power.Steven Givant - 1979 - Annals of Mathematical Logic 17 (1-2):91-116.
  17.  7
    Representation theorems for explanatory reasoning based on cumulative models.Arelis Díaz & Carlos Uzcátegui - 2008 - Journal of Applied Logic 6 (4):564-579.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Completeness and representation theorem for epistemic states in first-order predicate calculus.Serge Lapierre & François Lepage - 1999 - Logica Trianguli 3:85-109.
    The aim of this paper is to present a strongly complete first order functional predicate calculus generalized to models containing not only ordinary classical total functions but also arbitrary partial functions. The completeness proof follows Henkin’s approach, but instead of using maximally consistent sets, we define saturated deductively closed consistent sets . This provides not only a completeness theorem but a representation theorem: any SDCCS defines a canonical model which determine a unique partial value for every predicate (...)
     
    Export citation  
     
    Bookmark   1 citation  
  19.  31
    Riesz representation theorem, Borel measures and subsystems of second-order arithmetic.Xiaokang Yu - 1993 - Annals of Pure and Applied Logic 59 (1):65-78.
    Yu, X., Riesz representation theorem, Borel measures and subsystems of second-order arithmetic, Annals of Pure and Applied Logic 59 65-78. Formalized concept of finite Borel measures is developed in the language of second-order arithmetic. Formalization of the Riesz representation theorem is proved to be equivalent to arithmetical comprehension. Codes of Borel sets of complete separable metric spaces are defined and proved to be meaningful in the subsystem ATR0. Arithmetical transfinite recursion is enough to prove the measurability (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  20.  13
    Ramsey’s representation theorem.Richard Bradley - 2004 - Dialectica 58 (4):483-497.
    This paper reconstructs and evaluates the representation theorem presented by Ramsey in his essay 'Truth and Probability', showing how its proof depends on a novel application of Hölder's theory of measurement. I argue that it must be understood as a solution to the problem of measuring partial belief, a solution that in many ways remains unsurpassed. Finally I show that the method it employs may be interpreted in such a way as to avoid a well known objection to (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  21.  23
    Representation theorems for transfinite computability and definability.Dag Normann - 2002 - Archive for Mathematical Logic 41 (8):721-741.
    We show how Kreisel's representation theorem for sets in the analytical hierarchy can be generalized to sets defined by positive induction and use this to estimate the complexity of constructions in the theory of domains with totality.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  33
    A Representation Theorem for Absolute Confirmation.Michael Schippers - 2017 - Philosophy of Science 84 (1):82-91.
    Proposals for rigorously explicating the concept of confirmation in probabilistic terms abound. To foster discussions on the formal properties of the proposed measures, recent years have seen the upshot of a number of representation theorems that uniquely determine a confirmation measure based on a number of desiderata. However, the results that have been presented so far focus exclusively on the concept of incremental confirmation. This leaves open the question whether similar results can be obtained for the concept of absolute (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  59
    A Role for Representation Theorems†.Emiliano Ippoliti - 2018 - Philosophia Mathematica 26 (3):396-412.
    I argue that the construction of representation theorems is a powerful tool for creating novel objects and theories in mathematics, as the construction of a new representation introduces new pieces of information in a very specific way that enables a solution for a problem and a proof of a new theorem. In more detail I show how the work behind the proof of a representation theorem transforms a mathematical problem in a way that makes it (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24. A representation theorem for a decision theory with conditionals.Richard Bradley - 1998 - Synthese 116 (2):187-229.
    This paper investigates the role of conditionals in hypothetical reasoning and rational decision making. Its main result is a proof of a representation theorem for preferences defined on sets of sentences (and, in particular, conditional sentences), where an agent’s preference for one sentence over another is understood to be a preference for receiving the news conveyed by the former. The theorem shows that a rational preference ordering of conditional sentences determines probability and desirability representations of the agent’s (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  25.  90
    Ramsey without Ethical Neutrality: A New Representation Theorem.Edward Elliott - 2017 - Mind 126 (501):1-51.
    Frank Ramsey's ‘Truth and Probability’ sketches a proposal for the empirical measurement of credences, along with a corresponding set of axioms for a representation theorem intended to characterize the preference conditions under which this measurement process is applicable. There are several features of Ramsey's formal system which make it attractive and worth developing. However, in specifying his measurement process and his axioms, Ramsey introduces the notion of an ethically neutral proposition, the assumed existence of which plays a key (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  26. Representation theorems of the de Finetti type for (partially) symmetric probability measures.Godehard Link - 1971 - In Richard C. Jeffrey (ed.), Studies in Inductive Logic and Probability. Berkeley: University of California Press. pp. 2--207.
     
    Export citation  
     
    Bookmark   1 citation  
  27.  3
    A representation theorem for minmax regret policies.Sanjiang Li - 2007 - Artificial Intelligence 171 (1):19-24.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. Decision Theory without Representation Theorems.Kenny Easwaran - 2014 - Philosophers' Imprint 14.
    Naive versions of decision theory take probabilities and utilities as primitive and use expected value to give norms on rational decision. However, standard decision theory takes rational preference as primitive and uses it to construct probability and utility. This paper shows how to justify a version of the naive theory, by taking dominance as the most basic normatively required preference relation, and then extending it by various conditions under which agents should be indifferent between acts. The resulting theory can make (...)
    Direct download  
     
    Export citation  
     
    Bookmark   37 citations  
  29.  70
    On representation theorems for nonmonotonic consequence relations.Ramón Pino Pérez & Carlos Uzcátegui - 2000 - Journal of Symbolic Logic 65 (3):1321-1337.
    One of the main tools in the study of nonmonotonic consequence relations is the representation of such relations in terms of preferential models. In this paper we give an unified and simpler framework to obtain such representation theorems.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  62
    Structuralism and representation theorems.George Weaver - 1998 - Philosophia Mathematica 6 (3):257-271.
    Much of the inspiration for structuralist approaches to mathematics can be found in the late nineteenth- and early twentieth-century program of characterizing various mathematical systems upto isomorphism. From the perspective of this program, differences between isomorphic systems are irrelevant. It is argued that a different view of the import of the differences between isomorphic systems can be obtained from the perspective of contemporary discussions of representation theorems and that from this perspective both the identification of isomorphic systems and the (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  31.  30
    A measure representation theorem for strong partition cardinals.E. M. Kleinberg - 1982 - Journal of Symbolic Logic 47 (1):161-168.
  32.  17
    Representation Theorems for Quantales.Silvio Valentini - 1994 - Mathematical Logic Quarterly 40 (2):182-190.
    In this paper we prove that any quantale Q is a quantale of suitable relations on Q. As a consequence two isomorphism theorems are also shown with suitable sets of functions of Q into Q. These theorems are the mathematical background one needs in order to give natural and complete semantics for Linear Logic using relations.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33. On the Martingale Representation Theorem and on Approximate Hedging a Contingent Claim in the Minimum Deviation Square Criterion.Nguyen Van Huu & Quan-Hoang Vuong - 2007 - In Ta-Tsien Li Rolf Jeltsch (ed.), Some Topics in Industrial and Applied Mathematics. World Scientific. pp. 134-151.
    In this work we consider the problem of the approximate hedging of a contingent claim in the minimum mean square deviation criterion. A theorem on martingale representation in case of discrete time and an application of the result for semi-continuous market model are also given.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  31
    The intensional side of algebraic-topological representation theorems.Sara Negri - 2017 - Synthese 198 (Suppl 5):1121-1143.
    Stone representation theorems are a central ingredient in the metatheory of philosophical logics and are used to establish modal embedding results in a general but indirect and non-constructive way. Their use in logical embeddings will be reviewed and it will be shown how they can be circumvented in favour of direct and constructive arguments through the methods of analytic proof theory, and how the intensional part of the representation results can be recovered from the syntactic proof of those (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  24
    The representation theorem for the algebras determined by the fragments of infinite-valued logic of Lukasiewicz.Barbara Wozniakowska - 1978 - Bulletin of the Section of Logic 7 (4):176-178.
    In this paper we shall give a characterization of D-algebras in terms of lattice ordered abelian groups. To make this paper self-contained we shall recall some notations from [4]. The symbols !; ^; _; serve as implication, conjunction, disjunction, and negation, respectively. By D we mean a set of connectives from the list above containing the implication connective !. By a D-formula we mean a formula built up in a usual way from an innite set of the propositional variables and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  7
    Two old representation theorems and Information Systems.L. Iturrioz - 2012 - Logic Journal of the IGPL 20 (6):1038-1045.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  55
    In praise of the representation theorem.Nancy Cartwright - 2008 - In W. K. Essler & M. Frauchiger (eds.), Representation, Evidence, and Justification: Themes From Suppes. Frankfort, Germany: Ontos Verlag. pp. 83--90.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38.  80
    A Second Look at the Logic of Explanatory Power (with Two Novel Representation Theorems).Vincenzo Crupi & Katya Tentori - 2012 - Philosophy of Science 79 (3):365-385.
    We discuss the probabilistic analysis of explanatory power and prove a representation theorem for posterior ratio measures recently advocated by Schupbach and Sprenger. We then prove a representation theorem for an alternative class of measures that rely on the notion of relative probability distance. We end up endorsing the latter, as relative distance measures share the properties of posterior ratio measures that are genuinely appealing, while overcoming a feature that we consider undesirable. They also yield a (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  39. Ramsey’s representation theorem.Richard Bradley - 2004 - Dialectica 58 (4):483–497.
    This paper reconstructs and evaluates the representation theorem presented by Ramsey in his essay 'Truth and Probability', showing how its proof depends on a novel application of Hölder's theory of measurement. I argue that it must be understood as a solution to the problem of measuring partial belief, a solution that in many ways remains unsurpassed. Finally I show that the method it employs may be interpreted in such a way as to avoid a well known objection to (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  40.  10
    A Concrete Representation Theorem for Intervals of Multirelations.David W. H. Gillam - 1978 - Mathematical Logic Quarterly 24 (25‐30):463-466.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  20
    A Concrete Representation Theorem for Intervals of Multirelations.David W. H. Gillam - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):463-466.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  22
    Henkin L.. The representation theorem for cylindrical algebras. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1955, pp. 85–97. [REVIEW]Paul R. Halmos - 1957 - Journal of Symbolic Logic 22 (2):215-215.
  43.  34
    A representation theorem for the lattice of standard consequence operations.Stephen L. Bloom - 1975 - Studia Logica 34 (3):235 - 237.
  44. The Hahn representation theorem for ℓ-groups in ZFA.D. Gluschankof - 2000 - Journal of Symbolic Logic 65 (2):519-524.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  45.  58
    Regular opens in constructive topology and a representation theorem for overlap algebras.Francesco Ciraulo - 2013 - Annals of Pure and Applied Logic 164 (4):421-436.
    Giovanni Sambin has recently introduced the notion of an overlap algebra in order to give a constructive counterpart to a complete Boolean algebra. We propose a new notion of regular open subset within the framework of intuitionistic, predicative topology and we use it to give a representation theorem for overlap algebras. In particular we show that there exists a duality between the category of set-based overlap algebras and a particular category of topologies in which all open subsets are (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46. Review: L. Henkin, The Representation Theorem for Cylindrical Algebras. [REVIEW]Paul R. Halmos - 1957 - Journal of Symbolic Logic 22 (2):215-215.
  47.  12
    Review: R. S. Pierce, Representation Theorems for Certain Boolean Algebras. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (1):100-101.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  13
    Pierce R. S.. Representation theorems for certain Boolean algebras. Proceedings of the American Mathematical Society, vol. 10 , pp. 42–50. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (1):100-101.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49. An extension theorem and a numerical representation theorem for qualitative comparative expectations.Arthur Paul Pedersen - forthcoming - Studia Logica.
  50.  21
    Unknown Probabilities, Bayesianism, and de Finetti's Representation Theorem.Jaakko Hintikka - 1970 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1970:325 - 341.
1 — 50 / 989