Results for 'representation theorems'

998 found
Order:
  1. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   43 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  89
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. 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. Shanghai, China: 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.
    Download  
     
    Export citation  
     
    Bookmark  
  5.  69
    Representation in Models of Epistemic Democracy.Patrick Grim, Aaron Bramson, Daniel J. Singer, William J. Berger, Jiin Jung & Scott E. Page - 2020 - Episteme 17 (4):498-518.
    Epistemic justifications for democracy have been offered in terms of two different aspects of decision-making: voting and deliberation, or ‘votes’ and ‘talk.’ The Condorcet Jury Theorem is appealed to as a justification in terms votes, and the Hong-Page “Diversity Trumps Ability” result is appealed to as a justification in terms of deliberation. Both of these, however, are most plausibly construed as models of direct democracy, with full and direct participation across the population. In this paper, we explore how these results (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  53
    The Kochen - Specker Theorem in Quantum Mechanics: A Philosophical Comment (Part 2).Vasil Penchev - 2013 - Philosophical Alternatives 22 (3):74-83.
    The text is a continuation of the article of the same name published in the previous issue of Philosophical Alternatives. The philosophical interpretations of the Kochen- Specker theorem (1967) are considered. Einstein's principle regarding the,consubstantiality of inertia and gravity" (1918) allows of a parallel between descriptions of a physical micro-entity in relation to the macro-apparatus on the one hand, and of physical macro-entities in relation to the astronomical mega-entities on the other. The Bohmian interpretation ( 1952) of quantum mechanics proposes (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Bell's Theorem Versus Local Realism in a Quaternionic Model of Physical Space.Joy Christian - 2019 - IEEE Access 7:133388-133409.
    In the context of EPR-Bohm type experiments and spin detections confined to spacelike hypersurfaces, a local, deterministic and realistic model within a Friedmann-Robertson-Walker spacetime with a constant spatial curvature (S^3 ) is presented that describes simultaneous measurements of the spins of two fermions emerging in a singlet state from the decay of a spinless boson. Exact agreement with the probabilistic predictions of quantum theory is achieved in the model without data rejection, remote contextuality, superdeterminism or backward causation. A singularity-free Clifford-algebraic (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  8. What Matters and How It Matters: A Choice-Theoretic Representation of Moral Theories.Franz Dietrich & Christian List - 2017 - Philosophical Review 126 (4):421-479.
    We present a new “reason-based” approach to the formal representation of moral theories, drawing on recent decision-theoretic work. We show that any moral theory within a very large class can be represented in terms of two parameters: a specification of which properties of the objects of moral choice matter in any given context, and a specification of how these properties matter. Reason-based representations provide a very general taxonomy of moral theories, as differences among theories can be attributed to differences (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  9.  34
    General Representation of Epistemically Optimal Procedures.Franz Dietrich - 2006 - Social Choice and Welfare 2 (26):263-283.
    Assuming that votes are independent, the epistemically optimal procedure in a binary collective choice problem is known to be a weighted supermajority rule with weights given by personal log-likelihood-ratios. It is shown here that an analogous result holds in a much more general model. Firstly, the result follows from a more basic principle than expected-utility maximisation, namely from an axiom (Epistemic Monotonicity) which requires neither utilities nor prior probabilities of the ‘correctness’ of alternatives. Secondly, a person’s input need not be (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  10. On the Gibbs-Liouville Theorem in Classical Mechanics.Andreas Henriksson - manuscript
    In this article, it is argued that the Gibbs-Liouville theorem is a mathematical representation of the statement that closed classical systems evolve deterministically. From the perspective of an observer of the system, whose knowledge about the degrees of freedom of the system is complete, the statement of deterministic evolution is equivalent to the notion that the physical distinctions between the possible states of the system, or, in other words, the information possessed by the observer about the system, is never (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. Description, Construction and Representation. From Russell and Carnap to Stone.Thomas Mormann - 2006 - In Guido Imagire & Christine Schneider (eds.), Untersuchungen zur Ontologie.
    The first aim of this paper is to elucidate Russell’s construction of spatial points, which is to be <br>considered as a paradigmatic case of the "logical constructions" that played a central role in his epistemology and theory of science. Comparing it with parallel endeavours carried out by Carnap and Stone it is argued that Russell’s construction is best understood as a structural representation. It is shown that Russell’s and Carnap’s representational constructions may be considered as incomplete and sketchy harbingers (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  12.  70
    The Kochen - Specker Theorem in Quantum Mechanics: A Philosophical Comment (Part 1).Vasil Penchev - 2013 - Philosophical Alternatives 22 (1):67-77.
    Non-commuting quantities and hidden parameters – Wave-corpuscular dualism and hidden parameters – Local or nonlocal hidden parameters – Phase space in quantum mechanics – Weyl, Wigner, and Moyal – Von Neumann’s theorem about the absence of hidden parameters in quantum mechanics and Hermann – Bell’s objection – Quantum-mechanical and mathematical incommeasurability – Kochen – Specker’s idea about their equivalence – The notion of partial algebra – Embeddability of a qubit into a bit – Quantum computer is not Turing machine – (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13.  88
    Elementary Canonical Formulae: Extending Sahlqvist’s Theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.
    We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  14. The Analytic Versus Representational Theory of Measurement: A Philosophy of Science Perspective.Zoltan Domotor & Vadim Batitsky - 2008 - Measurement Science Review 8 (6):129-146.
    In this paper we motivate and develop the analytic theory of measurement, in which autonomously specified algebras of quantities (together with the resources of mathematical analysis) are used as a unified mathematical framework for modeling (a) the time-dependent behavior of natural systems, (b) interactions between natural systems and measuring instruments, (c) error and uncertainty in measurement, and (d) the formal propositional language for describing and reasoning about measurement results. We also discuss how a celebrated theorem in analysis, known as Gelfand (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  15.  57
    Who Cares About Axiomatization? Representation, Invariance, and Formal Ontologies.R. Ferrario - 2006 - Epistemologia 29 (2):323-342.
    The philosophy of science of Patrick Suppes is centered on two important notions that are part of the title of his recent book (Suppes 2002): Representation and Invariance. Representation is important because when we embrace a theory we implicitly choose a way to represent the phenomenon we are studying. Invariance is important because, since invariants are the only things that are constant in a theory, in a way they give the “objective” meaning of that theory. Every scientific theory (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16.  87
    Do Goedel's Incompleteness Theorems Set Absolute Limits on the Ability of the Brain to Express and Communicate Mental Concepts Verifiably?Bhupinder Singh Anand - 2004 - Neuroquantology 2:60-100.
    Classical interpretations of Goedels formal reasoning, and of his conclusions, implicitly imply that mathematical languages are essentially incomplete, in the sense that the truth of some arithmetical propositions of any formal mathematical language, under any interpretation, is, both, non-algorithmic, and essentially unverifiable. However, a language of general, scientific, discourse, which intends to mathematically express, and unambiguously communicate, intuitive concepts that correspond to scientific investigations, cannot allow its mathematical propositions to be interpreted ambiguously. Such a language must, therefore, define mathematical truth (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  31
    On Rudimentarity, Primitive Recursivity and Representability.Saeed Salehi - 2020 - Reports on Mathematical Logic 55:73–85.
    It is quite well-known from Kurt G¨odel’s (1931) ground-breaking Incompleteness Theorem that rudimentary relations (i.e., those definable by bounded formulae) are primitive recursive, and that primitive recursive functions are representable in sufficiently strong arithmetical theories. It is also known, though perhaps not as well-known as the former one, that some primitive recursive relations are not rudimentary. We present a simple and elementary proof of this fact in the first part of the paper. In the second part, we review some possible (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Non-Deterministic Algebraization of Logics by Swap Structures1.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Logic Journal of the IGPL 28 (5):1021-1059.
    Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  19.  44
    Votes and Talks: Sorrows and Success in Representational Hierarchy.Patrick Grim, Daniel J. Singer, Aaron Bramson, William J. Berger, Jiin Jung & Scott Page - manuscript
    Epistemic justifications for democracy have been offered in terms of two different aspects of decision-making: voting and deliberation, or 'votes' and 'talk.' The Condorcet Jury Theorem is appealed to as a justification in terms of votes, and the Hong-Page "Diversity Trumps Ability" result is appealed to as a justification in terms of deliberation. Both of these, however, are most plausibly construed as models of direct democracy, with full and direct participation across the population. In this paper, we explore how these (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Bayesian Decision Theory and Stochastic Independence.Philippe Mongin - 2020 - Philosophy of Science 87 (1):152-178.
    As stochastic independence is essential to the mathematical development of probability theory, it seems that any foundational work on probability should be able to account for this property. Bayesian decision theory appears to be wanting in this respect. Savage’s postulates on preferences under uncertainty entail a subjective expected utility representation, and this asserts only the existence and uniqueness of a subjective probability measure, regardless of its properties. What is missing is a preference condition corresponding to stochastic independence. To fill (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  21. Risk and Tradeoffs.Lara Buchak - 2014 - Erkenntnis 79 (S6):1091-1117.
    The orthodox theory of instrumental rationality, expected utility (EU) theory, severely restricts the way in which risk-considerations can figure into a rational individual's preferences. It is argued here that this is because EU theory neglects an important component of instrumental rationality. This paper presents a more general theory of decision-making, risk-weighted expected utility (REU) theory, of which expected utility maximization is a special case. According to REU theory, the weight that each outcome gets in decision-making is not the subjective probability (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  22. Non-Archimedean Preferences Over Countable Lotteries.Jeffrey Sanford Russell - 2020 - Journal of Mathematical Economics 88 (May 2020):180-186.
    We prove a representation theorem for preference relations over countably infinite lotteries that satisfy a generalized form of the Independence axiom, without assuming Continuity. The representing space consists of lexicographically ordered transfinite sequences of bounded real numbers. This result is generalized to preference orders on abstract superconvex spaces.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  23. Preference-Based Arguments for Probabilism.David Christensen - 2001 - Philosophy of Science 68 (3):356-376.
    Both Representation Theorem Arguments and Dutch Book Arguments support taking probabilistic coherence as an epistemic norm. Both depend on connecting beliefs to preferences, which are not clearly within the epistemic domain. Moreover, these connections are standardly grounded in questionable definitional/metaphysical claims. The paper argues that these definitional/metaphysical claims are insupportable. It offers a way of reconceiving Representation Theorem arguments which avoids the untenable premises. It then develops a parallel approach to Dutch Book Arguments, and compares the results. In (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  24. Surreal Decisions.Eddy Keming Chen & Daniel Rubio - 2020 - Philosophy and Phenomenological Research 100 (1):54-74.
    Although expected utility theory has proven a fruitful and elegant theory in the finite realm, attempts to generalize it to infinite values have resulted in many paradoxes. In this paper, we argue that the use of John Conway's surreal numbers shall provide a firm mathematical foundation for transfinite decision theory. To that end, we prove a surreal representation theorem and show that our surreal decision theory respects dominance reasoning even in the case of infinite values. We then bring our (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  25. Decision Theory.Lara Buchak - 2016 - In Christopher Hitchcock & Alan Hajek (eds.), The Oxford Handbook of Probability and Philosophy. Oxford University Press.
    Decision theory has at its core a set of mathematical theorems that connect rational preferences to functions with certain structural properties. The components of these theorems, as well as their bearing on questions surrounding rationality, can be interpreted in a variety of ways. Philosophy’s current interest in decision theory represents a convergence of two very different lines of thought, one concerned with the question of how one ought to act, and the other concerned with the question of what (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  26. A Semantic Approach to Nonmonotonic Reasoning: Inference Operations and Choice, Uppsala Prints and Preprints in Philosophy, 1994, No 10.Sten Lindström - manuscript
    This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premises. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred ones. A (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Scoring Imprecise Credences: A Mildly Immodest Proposal.Conor Mayo-Wilson & Gregory Wheeler - 2016 - Philosophy and Phenomenological Research 92 (1):55-78.
    Jim Joyce argues for two amendments to probabilism. The first is the doctrine that credences are rational, or not, in virtue of their accuracy or “closeness to the truth” (1998). The second is a shift from a numerically precise model of belief to an imprecise model represented by a set of probability functions (2010). We argue that both amendments cannot be satisfied simultaneously. To do so, we employ a (slightly-generalized) impossibility theorem of Seidenfeld, Schervish, and Kadane (2012), who show that (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  28. Betting Against the Zen Monk: On Preferences and Partial Belief.Edward Elliott - 2019 - Synthese 198 (4):3733-3758.
    According to the preference-centric approach to understanding partial belief, the connection between partial beliefs and preferences is key to understanding what partial beliefs are and how they’re measured. As Ramsey put it, the ‘degree of a belief is a causal property of it, which we can express vaguely as the extent to which we are prepared to act on it’ The Foundations of Mathematics and Other Logical Essays, Routledge, Oxon, pp 156–198, 1931). But this idea is not as popular as (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Infinite Prospects.Jeffrey Sanford Russell & Yoaav Isaacs - 2021 - Philosophy and Phenomenological Research 103 (1):178-198.
    People with the kind of preferences that give rise to the St. Petersburg paradox are problematic---but not because there is anything wrong with infinite utilities. Rather, such people cannot assign the St. Petersburg gamble any value that any kind of outcome could possibly have. Their preferences also violate an infinitary generalization of Savage's Sure Thing Principle, which we call the *Countable Sure Thing Principle*, as well as an infinitary generalization of von Neumann and Morgenstern's Independence axiom, which we call *Countable (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. AGM-Like Paraconsistent Belief Change.Rafael R. Testa, Marcelo E. Coniglio & Marcio M. Ribeiro - 2017 - Logic Journal of the IGPL 25 (4):632-672.
    Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the three usual (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  31. The Priority View.David McCarthy - 2017 - Economics and Philosophy 33 (2):215–57.
    According to the priority view, or prioritarianism, it matters more to benefit people the worse off they are. But how exactly should the priority view be defined? This article argues for a highly general characterization which essentially involves risk, but makes no use of evaluative measurements or the expected utility axioms. A representation theorem is provided, and when further assumptions are added, common accounts of the priority view are recovered. A defense of the key idea behind the priority view, (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  32. A Simpler and More Realistic Subjective Decision Theory.Haim Gaifman & Yang Liu - 2018 - Synthese 195 (10):4205--4241.
    In his classic book “the Foundations of Statistics” Savage developed a formal system of rational decision making. The system is based on (i) a set of possible states of the world, (ii) a set of consequences, (iii) a set of acts, which are functions from states to consequences, and (iv) a preference relation over the acts, which represents the preferences of an idealized rational agent. The goal and the culmination of the enterprise is a representation theorem: Any preference relation (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  33. A Model of Non-Informational Preference Change.Franz Dietrich & Christian List - 2011 - Journal of Theoretical Politics 23 (2):145-164.
    According to standard rational choice theory, as commonly used in political science and economics, an agent's fundamental preferences are exogenously fixed, and any preference change over decision options is due to Bayesian information learning. Although elegant and parsimonious, such a model fails to account for preference change driven by experiences or psychological changes distinct from information learning. We develop a model of non-informational preference change. Alternatives are modelled as points in some multidimensional space, only some of whose dimensions play a (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  34. An Intrinsic Theory of Quantum Mechanics: Progress in Field's Nominalistic Program, Part I.Eddy Keming Chen - manuscript
    In this paper, I introduce an intrinsic account of the quantum state. This account contains three desirable features that the standard platonistic account lacks: (1) it does not refer to any abstract mathematical objects such as complex numbers, (2) it is independent of the usual arbitrary conventions in the wave function representation, and (3) it explains why the quantum state has its amplitude and phase degrees of freedom. -/- Consequently, this account extends Hartry Field’s program outlined in Science Without (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  35. Bayesian Variations: Essays on the Structure, Object, and Dynamics of Credence.Aron Vallinder - 2018 - Dissertation, London School of Economics
    According to the traditional Bayesian view of credence, its structure is that of precise probability, its objects are descriptive propositions about the empirical world, and its dynamics are given by conditionalization. Each of the three essays that make up this thesis deals with a different variation on this traditional picture. The first variation replaces precise probability with sets of probabilities. The resulting imprecise Bayesianism is sometimes motivated on the grounds that our beliefs should not be more precise than the evidence (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Context-Dependent Utilities.Haim Gaifman & Yang Liu - 2015 - In Wiebe Van Der Hoek, Wesley H. Holliday & Wen Fang Wang (eds.), Logic, Rationality, and Interaction. Springer. pp. 90-101.
    Savage's framework of subjective preference among acts provides a paradigmatic derivation of rational subjective probabilities within a more general theory of rational decisions. The system is based on a set of possible states of the world, and on acts, which are functions that assign to each state a consequence€. The representation theorem states that the given preference between acts is determined by their expected utilities, based on uniquely determined probabilities (assigned to sets of states), and numeric utilities assigned to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  37. Begging the Question and Bayesians.Brian Weatherson - 1999 - Studies in History and Philosophy of Science Part A 30:687-697.
    The arguments for Bayesianism in the literature fall into three broad categories. There are Dutch Book arguments, both of the traditional pragmatic variety and the modern ‘depragmatised’ form. And there are arguments from the so-called ‘representation theorems’. The arguments have many similarities, for example they have a common conclusion, and they all derive epistemic constraints from considerations about coherent preferences, but they have enough differences to produce hostilities between their proponents. In a recent paper, Maher (1997) has argued (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  38. Choice-Based Cardinal Utility. A Tribute to Patrick Suppes.Jean Baccelli & Philippe Mongin - 2016 - Journal of Economic Methodology 23 (3):268-288.
    We reexamine some of the classic problems connected with the use of cardinal utility functions in decision theory, and discuss Patrick Suppes's contributions to this field in light of a reinterpretation we propose for these problems. We analytically decompose the doctrine of ordinalism, which only accepts ordinal utility functions, and distinguish between several doctrines of cardinalism, depending on what components of ordinalism they specifically reject. We identify Suppes's doctrine with the major deviation from ordinalism that conceives of utility functions as (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  39. Dutch Books, Additivity, and Utility Theory.Brad Armendt - 1993 - Philosophical Topics 21 (1):1-20.
    One guide to an argument's significance is the number and variety of refutations it attracts. By this measure, the Dutch book argument has considerable importance.2 Of course this measure alone is not a sure guide to locating arguments deserving of our attention—if a decisive refutation has really been given, we are better off pursuing other topics. But the presence of many and varied counterarguments at least suggests that either the refutations are controversial, or that their target admits of more than (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  40. A Foundation for Causal Decision Theory.Brad Armendt - 1986 - Topoi 5 (1):3-19.
    The primary aim of this paper is the presentation of a foundation for causal decision theory. This is worth doing because causal decision theory (CDT) is philosophically the most adequate rational decision theory now available. I will not defend that claim here by elaborate comparison of the theory with all its competitors, but by providing the foundation. This puts the theory on an equal footing with competitors for which foundations have already been given. It turns out that it will also (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  41. Emulation, Reduction, and Emergence in Dynamical Systems.Marco Giunti - 2005 - In Proceedings of the 6th Systems Science European Congress, Paris, September 19-22, 2005. (CD-ROM). AFSCET.
    The received view about emergence and reduction is that they are incompatible categories. I argue in this paper that, contrary to the received view, emergence and reduction can hold together. To support this thesis, I focus attention on dynamical systems and, on the basis of a general representation theorem, I argue that, as far as these systems are concerned, the emulation relationship is sufficient for reduction (intuitively, a dynamical system DS1 emulates a second dynamical system DS2 when DS1 exactly (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  42. A Model-Theoretic Analysis of Fidel-Structures for mbC.Marcelo E. Coniglio - 2020 - In Can Baskent and Thomas Ferguson (ed.), Graham Priest on Dialetheism and Paraconsistency. Springer. pp. 189-216.
    In this paper the class of Fidel-structures for the paraconsistent logic mbC is studied from the point of view of Model Theory and Category Theory. The basic point is that Fidel-structures for mbC (or mbC-structures) can be seen as first-order structures over the signature of Boolean algebras expanded by two binary predicate symbols N (for negation) and O (for the consistency connective) satisfying certain Horn sentences. This perspective allows us to consider notions and results from Model Theory in order to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43.  72
    A Generalised Model of Judgment Aggregation.Franz Dietrich - 2007 - Social Choice and Welfare 4 (28):529-565.
    The new field of judgment aggregation aims to merge many individual sets of judgments on logically interconnected propositions into a single collective set of judgments on these propositions. Judgment aggregation has commonly been studied using classical propositional logic, with a limited expressive power and a problematic representation of conditional statements ("if P then Q") as material conditionals. In this methodological paper, I present a simple unified model of judgment aggregation in general logics. I show how many realistic decision problems (...)
    Download  
     
    Export citation  
     
    Bookmark   64 citations  
  44.  2
    A Multi-Succedent Sequent Calculus for Logical Expressivists.Daniel Kaplan - 2018 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2017. College Publications. pp. 139-153.
    Expressivism in logic is the view that logical vocabulary plays a primarily expressive role: that is, that logical vocabulary makes perspicuous in the object language structural features of inference and incompatibility (Brandom, 1994, 2008). I present a precise, technical criterion of expressivity for a logic (§2). I next present a logic that meets that criterion (§3). I further explore some interesting features of that logic: first, a representation theorem for capturing other logics (§3.1), and next some novel logical vocabulary (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Radical Interpretation and Decision Theory.Anandi Hattiangadi & H. Orri Stefánsson - 2021 - Synthese 199 (3-4):6473-6494.
    This paper takes issue with an influential interpretationist argument for physicalism about intentionality based on the possibility of radical interpretation. The interpretationist defends the physicalist thesis that the intentional truths supervene on the physical truths by arguing that it is possible for a radical interpreter, who knows all of the physical truths, to work out the intentional truths about what an arbitrary agent believes, desires, and means without recourse to any further empirical information. One of the most compelling arguments for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46.  95
    A System of Axioms for Minkowski Spacetime.Lorenzo Cocco & Joshua Babic - 2020 - Journal of Philosophical Logic:1-37.
    We present an elementary system of axioms for the geometry of Minkowski spacetime. It strikes a balance between a simple and streamlined set of axioms and the attempt to give a direct formalization in first-order logic of the standard account of Minkowski spacetime in [Maudlin 2012] and [Malament, unpublished]. It is intended for future use in the formalization of physical theories in Minkowski spacetime. The choice of primitives is in the spirit of [Tarski 1959]: a predicate of betwenness and a (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. Second Order Inductive Logic and Wilmers' Principle.M. S. Kliess & J. B. Paris - 2014 - Journal of Applied Logic 12 (4):462-476.
    We extend the framework of Inductive Logic to Second Order languages and introduce Wilmers' Principle, a rational principle for probability functions on Second Order languages. We derive a representation theorem for functions satisfying this principle and investigate its relationship to the first order principles of Regularity and Super Regularity.
    Download  
     
    Export citation  
     
    Bookmark  
  48.  59
    Fidelity and Mistaken Identity for Symplectic Quantum States.Andreas Henriksson - manuscript
    The distinguishability between pairs of quantum states, as measured by quantum fidelity, is formulated on phase space. The fidelity is physically interpreted as the probability that the pair are mistaken for each other upon an measurement. The mathematical representation is based on the concept of symplectic capacity in symplectic topology. The fidelity is the absolute square of the complex-valued overlap between the symplectic capacities of the pair of states. The symplectic capacity for a given state, onto any conjugate plane (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  61
    The Value of Normative Information.Jeffrey Sanford Russell - manuscript
    This paper explores the idea that it is instrumentally valuable to learn normative truths. We consider an argument for "normative hedging" based on this principle, and examine the structure of decision-making under moral uncertainty that arises from it. But it also turns out that the value of normative information is inconsistent with the principle that learning *empirical* truths is instrumentally valuable. We conclude with a brief comment on "metanormative regress.".
    Download  
     
    Export citation  
     
    Bookmark  
  50.  86
    Expressing Truth Directly Within a Formal System with No Need for Model Theory.Pete Olcott - manuscript
    Because formal systems of symbolic logic inherently express and represent the deductive inference model formal proofs to theorem consequences can be understood to represent sound deductive inference to deductive conclusions without any need for other representations.
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 998