Results for 'axiomatic'

125 found
Order:
  1. Remarks on Axiomatic Rejection in Aristotle’s Syllogistic.Piotr Kulicki - 2002 - Studies in Logic and Theory of Knowledge 5:231-236.
    In the paper we examine the method of axiomatic rejection used to describe the set of nonvalid formulae of Aristotle's syllogistic. First we show that the condition which the system of syllogistic has to fulfil to be ompletely axiomatised, is identical to the condition for any first order theory to be used as a logic program. Than we study the connection between models used or refutation in a first order theory and rejected axioms for that theory. We show that (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  49
    Modelling Change in Individual Characteristics: An Axiomatic Framework.Franz Dietrich - 2012 - Games and Economic Behavior 76:471-94.
    Economic models describe individuals in terms of underlying characteristics, such as taste for some good, sympathy level for another player, time discount rate, risk attitude, and so on. In real life, such characteristics change through experiences: taste for Mozart changes through listening to it, sympathy for another player through observing his moves, and so on. Models typically ignore change, not just for simplicity but also because it is unclear how to incorporate change. I introduce a general axiomatic framework for (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  3. The Use of Axiomatic Rejection.Piotr Kulicki - 2000 - In Logica yearbook 1999. Filosophia.
    Download  
     
    Export citation  
     
    Bookmark  
  4.  82
    Axiomatic Theories of Partial Ground I: The Base Theory.Johannes Korbmacher - 2018 - Journal of Philosophical Logic 47 (2):161-191.
    This is part one of a two-part paper, in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. This allows us to connect theories of partial ground with axiomatic theories of truth. In this part of the paper, we develop an axiomatization of the relation of partial ground over the truths of arithmetic and (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  54
    Axiomatic Theories of Partial Ground II: Partial Ground and Hierarchies of Typed Truth.Johannes Korbmacher - 2018 - Journal of Philosophical Logic 47 (2):193-226.
    This is part two of a two-part paper in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. In this part of the paper, we extend the base theory of the first part of the paper with hierarchically typed truth-predicates and principles about the interaction of partial ground and truth. We show that our theory (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  60
    On the Axiomatic Systems of Syntactically-Categorial Languages.Urszula Wybraniec-Skardowska - 1984 - Bulletin of the Section of Logic 13 (4):241-249.
    The paper contains an overview of the most important results presented in the monograph of the author "Teorie Językow Syntaktycznie-Kategorialnych" ("Theories of Syntactically-Categorial Languages" (in Polish), PWN, Warszawa-Wrocław 1985. In the monograph four axiomatic systems of syntactically-categorial languages are presented. The first two refer to languages of expression-tokens. The others also takes into consideration languages of expression-types. Generally, syntactically-categorial languages are languages built in accordance with principles of the theory of syntactic categories introduced by S. Leśniewski [1929,1930]; they are (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. The Two-Envelope Paradox: An Axiomatic Approach.Franz Dietrich & Christian List - 2005 - Mind 114 (454):239-248.
    There has been much discussion on the two-envelope paradox. Clark and Shackel (2000) have proposed a solution to the paradox, which has been refuted by Meacham and Weisberg (2003). Surprisingly, however, the literature still contains no axiomatic justification for the claim that one should be indifferent between the two envelopes before opening one of them. According to Meacham and Weisberg, "decision theory does not rank swapping against sticking [before opening any envelope]" (p. 686). To fill this gap in the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  68
    Risk Attitudes in Axiomatic Decision Theory: A Conceptual Perspective.Jean Baccelli - 2018 - Theory and Decision 84 (1):61-82.
    In this paper, I examine the decision-theoretic status of risk attitudes. I start by providing evidence showing that the risk attitude concepts do not play a major role in the axiomatic analysis of the classic models of decision-making under risk. This can be interpreted as reflecting the neutrality of these models between the possible risk attitudes. My central claim, however, is that such neutrality needs to be qualified and the axiomatic relevance of risk attitudes needs to be re-evaluated (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9.  70
    Maximising Expected Value Under Axiological Uncertainty. An Axiomatic Approach.Stefan Riedener - 2015 - Dissertation, Oxford
    The topic of this thesis is axiological uncertainty – the question of how you should evaluate your options if you are uncertain about which axiology is true. As an answer, I defend Expected Value Maximisation (EVM), the view that one option is better than another if and only if it has the greater expected value across axiologies. More precisely, I explore the axiomatic foundations of this view. I employ results from state-dependent utility theory, extend them in various ways and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10.  33
    On the Untrustworthiness of Axiomatic-Founded Science.Spyridon Kakos - 2020 - Harmonia Philosophica.
    The idea of science being the best – or the only – way to reach the truth about our cosmos has been a major belief of modern civilization. Yet, science has grown tall on fragile legs of clay. Every scientific theory uses axioms and assumptions that by definition cannot be proved. This poses a serious limitation to the use of science as a tool to find the truth. The only way to search for the latter is to redefine the former (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. An Axiomatic Version of Fitch’s Paradox.Samuel Alexander - 2013 - Synthese 190 (12):2015-2020.
    A variation of Fitch’s paradox is given, where no special rules of inference are assumed, only axioms. These axioms follow from the familiar assumptions which involve rules of inference. We show (by constructing a model) that by allowing that possibly the knower doesn’t know his own soundness (while still requiring he be sound), Fitch’s paradox is avoided. Provided one is willing to admit that sound knowers may be ignorant of their own soundness, this might offer a way out of the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  12. Axiomatic Investigations of the Propositional Calculus of Principia Mathematica.Paul Bernays - 2012 - In Universal Logic: An Anthology. New York and Basel: pp. 43-58.
    Download  
     
    Export citation  
     
    Bookmark  
  13. Axiomatic Foundations of Quantum Mechanics Revisited: The Case for Systems.S. E. Perez-Bergliaffa, Gustavo E. Romero & H. Vucetich - 1996 - International Journal of Theoretical Phyisics 35:1805-1819.
    We present an axiomatization of non-relativistic Quantum Mechanics for a system with an arbitrary number of components. The interpretation of our system of axioms is realistic and objective. The EPR paradox and its relation with realism is discussed in this framework. It is shown that there is no contradiction between realism and recent experimental results.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  14. Steps Toward an Axiomatic Pregeometry of Spacetime.S. E. Perez-Bergliaffa, Gustavo E. Romero & H. Vucetich - 1998 - International Journal of Theoretical Physics 37:2281-2298.
    We present a deductive theory of space-time which is realistic, objective, and relational. It is realistic because it assumes the existence of physical things endowed with concrete properties. It is objective because it can be formulated without any reference to cognoscent subjects or sensorial fields. Finally, it is relational because it assumes that space-time is not a thing but a complex of relations among things. In this way, the original program of Leibniz is consummated, in the sense that space is (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  15. Towards an Evolutionary Account of Conceptual Change in Mathematics: Proofs and Refutations and the Axiomatic Variation of Concepts.Thomas Mormann - 2002 - In G. Kampis, L.: Kvasz & M. Stöltzner (eds.), Appraising Lakatos: Mathematics, Methodology and the Man. Kluwer Academic Publishers. pp. 1--139.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  40
    Horsten, Leon, The Tarskian Turn: Deflationism and Axiomatic Truth, MIT Press, 2011. [REVIEW]Jan Heylen - 2012 - Tijdschrift Voor Filosofie 74 (2):377-379.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  73
    Axiomatic Foundations for Metrics of Distributive Justice Shown by the Example of Needs-Based Justice.Alexander Max Bauer - 2017 - Forsch! 3 (1):43-60.
    Distributive justice deals with allocations of goods and bads within a group. Different principles and results of distributions are seen as possible ideals. Often those normative approaches are solely framed verbally, which complicates the application to different concrete distribution situations that are supposed to be evaluated in regard to justice. One possibility in order to frame this precisely and to allow for a fine-grained evaluation of justice lies in formal modelling of these ideals by metrics. Choosing a metric that is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Mathematical Knowledge, the Analytic Method, and Naturalism.Fabio Sterpetti - 2018 - In Sorin Bangu (ed.), Naturalizing Logico-Mathematical Knowledge. Approaches from Philosophy, Psychology and Cognitive Science. New York, Stati Uniti: pp. 268-293.
    This chapter tries to answer the following question: How should we conceive of the method of mathematics, if we take a naturalist stance? The problem arises since mathematical knowledge is regarded as the paradigm of certain knowledge, because mathematics is based on the axiomatic method. Moreover, natural science is deeply mathematized, and science is crucial for any naturalist perspective. But mathematics seems to provide a counterexample both to methodological and ontological naturalism. To face this problem, some authors tried to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Rejection in Łukasiewicz's and Słupecki's Sense.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Basel, Switzerland: pp. 575-597.
    The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. A Road Map of Interval Temporal Logics and Duration Calculi.Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):9-54.
    We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  21.  66
    Rejection in Łukasiewicz's and Słupecki' Sense.Urszula Wybraniec-Skardowska - 2018 - Lvov-Warsaw School. Past and Present.
    The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22. CORCORAN'S 27 ENTRIES IN THE 1999 SECOND EDITION.John Corcoran - 1999 - In Robert Audi (ed.), The Cambridge Dictionary of Philosophy. CAMBRIDGE UP. pp. 65-941.
    Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  20
    Hilbert's Metamathematical Problems and Their Solutions.Besim Karakadilar - 2008 - Dissertation, Boston University
    This dissertation examines several of the problems that Hilbert discovered in the foundations of mathematics, from a metalogical perspective. The problems manifest themselves in four different aspects of Hilbert’s views: (i) Hilbert’s axiomatic approach to the foundations of mathematics; (ii) His response to criticisms of set theory; (iii) His response to intuitionist criticisms of classical mathematics; (iv) Hilbert’s contribution to the specification of the role of logical inference in mathematical reasoning. This dissertation argues that Hilbert’s axiomatic approach was (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. What is Mathematics: Gödel's Theorem and Around (Edition 2015).Karlis Podnieks - manuscript
    Introduction to mathematical logic, part 2.Textbook for students in mathematical logic and foundations of mathematics. Platonism, Intuition, Formalism. Axiomatic set theory. Around the Continuum Problem. Axiom of Determinacy. Large Cardinal Axioms. Ackermann's Set Theory. First order arithmetic. Hilbert's 10th problem. Incompleteness theorems. Consequences. Connected results: double incompleteness theorem, unsolvability of reasoning, theorem on the size of proofs, diophantine incompleteness, Loeb's theorem, consistent universal statements are provable, Berry's paradox, incompleteness and Chaitin's theorem. Around Ramsey's theorem.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. On the Concept of Creal: The Politico-Ethical Horizon of a Creative Absolute.Luis De Miranda - 2017 - In The Dark Precursor: Deleuze and Artistic Research. Leuven University Press. pp. 510-516.
    Process philosophies tend to emphasise the value of continuous creation as the core of their discourse. For Bergson, Whitehead, Deleuze, and others the real is ultimately a creative becoming. Critics have argued that there is an irreducible element of (almost religious) belief in this re-evaluation of immanent creation. While I don’t think belief is necessarily a sign of philosophical and existential weakness, in this paper I will examine the possibility for the concept of universal creation to be a political and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. On Minimal Models for Pure Calculi of Names.Piotr Kulicki - 2013 - Logic and Logical Philosophy 22 (4):429–443.
    By pure calculus of names we mean a quantifier-free theory, based on the classical propositional calculus, which defines predicates known from Aristotle’s syllogistic and Leśniewski’s Ontology. For a large fragment of the theory decision procedures, defined by a combination of simple syntactic operations and models in two-membered domains, can be used. We compare the system which employs `ε’ as the only specific term with the system enriched with functors of Syllogistic. In the former, we do not need an empty name (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Unity for Kant’s Natural Philosophy.Marius Stan - 2014 - Philosophy of Science 81 (3):423-443.
    I uncover here a conflict in Kant’s natural philosophy. His matter theory and laws of mechanics are in tension. Kant’s laws are fit for particles but are too narrow to handle continuous bodies, which his doctrine of matter demands. To fix this defect, Kant ultimately must ground the Torque Law; that is, the impressed torque equals the change in angular momentum. But that grounding requires a premise—the symmetry of the stress tensor—that Kant denies himself. I argue that his problem would (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  28.  82
    An Improved Ontological Representation of Dendritic Cells as a Paradigm for All Cell Types.Masci Anna Maria, N. Arighi Cecilia, D. Diehl Alexander, E. Lieberman Anne, Mungall Chris, H. Scheuermann Richard, Barry Smith & G. Cowell Lindsay - 2009 - BMC Bioinformatics 10 (1):70.
    The Cell Ontology (CL) is designed to provide a standardized representation of cell types for data annotation. Currently, the CL employs multiple is_a relations, defining cell types in terms of histological, functional, and lineage properties, and the majority of definitions are written with sufficient generality to hold across multiple species. This approach limits the CL’s utility for cross-species data integration. To address this problem, we developed a method for the ontological representation of cells and applied this method to develop a (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Ontologia i analiza logiczna rzeczywistości.Barry Smith - 1994 - Filozofia Nauki 2:5-22.
    The author attempts to show how mereology, taken together with certain topological notions, can yield the foundations for future investigations in formal ontology. He also attempts to show how the mereological framework allows for the direct and natural formulation of a series of theses - for example pertaining to the concept of a boundary - which can be only indirectly formulated (if at all) in set-theoretic terms. The far-reaching ain of the present framework is to serve as a basis for (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. Objectivity Sans Intelligibility. Hermann Weyl's Symbolic Constructivism.Iulian D. Toader - 2011 - Dissertation, University of Notre Dame
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  31.  93
    Hilbert's Objectivity.Lydia Patton - 2014 - Historia Mathematica 41 (2):188-203.
    Detlefsen (1986) reads Hilbert's program as a sophisticated defense of instrumentalism, but Feferman (1998) has it that Hilbert's program leaves significant ontological questions unanswered. One such question is of the reference of individual number terms. Hilbert's use of admittedly "meaningless" signs for numbers and formulae appears to impair his ability to establish the reference of mathematical terms and the content of mathematical propositions (Weyl (1949); Kitcher (1976)). The paper traces the history and context of Hilbert's reasoning about signs, which illuminates (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  48
    On the Theory of Labels-Tokens.Urszula Wybraniec-Skardowska - 1981 - Bulletin of the Section of Logic 10 (1):30-33.
    This note is based on a lecture delivered at the Conference on the Scien- tic Research of the Mathematical Center of Opole, Turawa, May 10-11th, 1980. A somewhat extended version will be published in the Proceedings of the Conference. At the same time it is an abstract of a part of a planned larger paper, which will involve the theory of label-tokens. The theory is included into the author's monograph in Polish "Teorie Językow Syntaktycznie Kategorialnych", PWN, Warszawa-Wrocław 1985 and into (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  33. Review of Striker Translation of Aristotle's PRIOR ANALYTICS. [REVIEW]John Corcoran - 2010 - Notre Dame Philosophical Reviews:1-13.
    This review places this translation and commentary on Book A of Prior Analytics in historical, logical, and philosophical perspective. In particular, it details the author’s positions on current controversies. The author of this translation and commentary is a prolific and respected scholar, a leading figure in a large and still rapidly growing area of scholarship: Prior Analytics studies PAS. PAS treats many aspects of Aristotle’s Prior Analytics: historical context, previous writings that influenced it, preservation and transmission of its manuscripts, editions (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34.  64
    La materia della rappresentazione nella scienza assiomatizzata.Giambattista Formica - 2007 - Quaestio 7 (1):505-533.
    In "La science et l’hypothèse" Henri Poincaré scrive: «Compito dello scienziato è ordinare; si fa la scienza con i fatti, come si fa una casa con le pietre; ma un cumulo di fatti non è una scienza, proprio come un mucchio di pietre non è una casa» . Oltre a richiamare qualcosa che a molti potrebbe persino apparire ovvio – cioè che la scienza non possa in alcun modo ridursi ad un mero agglomerato di fatti che il ricercatore registra in (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  43
    How to Reach Legitimate Decisions When the Procedure is Controversial.Franz Dietrich - 2005 - Social Choice and Welfare 1 (24):363-393.
    Imagine a group that faces a decision problem but does not agree on which decision procedure is appropriate. In that case, can a decision be reached that respects the procedural concerns of the group? There is a sense in which legitimate decisions are possible even if people disagree on which procedure to use. I propose to decide in favour of an option which maximizes the number of persons whose judged-right procedure happens to entail this decision given the profile. This decision (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36.  40
    Teoria zdań odrzuconych.Urszula Wybraniec-Skardowska - 1969 - Dissertation, Opole University
    This is the PhD dissertation, written under supervision of Professor Jerzy Słupecki, published in the book: U.Wybraniec-Skardowska i Grzegorz Bryll "Z badań nad teorią zdań odrzuconych" ( "Studies of theory of rejected sentences"), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Seria B: Studia i Monografie nr 22, pp. 5-131. It is the first, original publication on the theory of rejected sentences on which are based, among other, papers: "Theory of rejected propositions. I"and "Theory of rejected propositions II" with Jerzy Słupecki (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  37. METAPHYSICAL RELATIVITY THEORY I: M-LOGIC.Eric Hahn - manuscript
    The present text provides a logical theory which originated in the unification of a number of well-known philosophical logics as well as the introduction and study of new operators. Further M-logic contains an object theory. With both the logical part and the object part we achieve a formal calculus that is able to express many metaphysical dogmas.
    Download  
     
    Export citation  
     
    Bookmark  
  38. From Traditional Set Theory – That of Cantor, Hilbert , Gödel, Cohen – to Its Necessary Quantum Extension.Edward G. Belaga - manuscript
    The original purpose of the present study, 2011, started with a preprint «On the Probable Failure of the Uncountable Power Set Axiom», 1988, is to save from the transfinite deadlock of higher set theory the jewel of mathematical Continuum — this genuine, even if mostly forgotten today raison d’être of all traditional set-theoretical enterprises to Infinity and beyond, from Georg Cantor to David Hilbert to Kurt Gödel to W. Hugh Woodin to Buzz Lightyear.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39.  24
    Gödelova Věta a Relace Logického Důsledku.Jaroslav Zouhar - 2010 - Teorie Vědy / Theory of Science 32 (1):59-95.
    In his proof of the first incompleteness theorem, Kurt Gödel provided a method of showing the truth of specific arithmetical statements on the condition that all the axioms of a certain formal theory of arithmetic are true. Furthermore, the statement whose truth is shown in this way cannot be proved in the theory in question. Thus it may seem that the relation of logical consequence is wider than the relation of derivability by a pre-defined set of rules. The aim of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40.  44
    How to Conquer the Liar - an Informal Exposition.Boris Culina - manuscript
    This article informally presents a solution to the paradoxes of truth and shows how the solution solves classical paradoxes (such as the original Liar) as well as paradoxes that were invented as counter-arguments for various proposed solutions to the paradoxes of truth (``revenges of the Liar''). Also, one erroneous critique of Kripke-Feferman axiomatic theory of truth, which is present in contemporary literature, is pointed out.
    Download  
     
    Export citation  
     
    Bookmark  
  41. Probabilistic Opinion Pooling.Franz Dietrich & Christian List - 2016 - In A. Hajek & C. Hitchcock (eds.), Oxford Handbook of Philosophy and Probability. Oxford: Oxford University Press.
    Suppose several individuals (e.g., experts on a panel) each assign probabilities to some events. How can these individual probability assignments be aggregated into a single collective probability assignment? This article reviews several proposed solutions to this problem. We focus on three salient proposals: linear pooling (the weighted or unweighted linear averaging of probabilities), geometric pooling (the weighted or unweighted geometric averaging of probabilities), and multiplicative pooling (where probabilities are multiplied rather than averaged). We present axiomatic characterisations of each class (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  42. From Choice to Chance? Saving People, Fairness, and Lotteries.Tim Henning - 2015 - Philosophical Review 124 (2):169-206.
    Many authors in ethics, economics, and political science endorse the Lottery Requirement, that is, the following thesis: where different parties have equal moral claims to one indivisible good, it is morally obligatory to let a fair lottery decide which party is to receive the good. This article defends skepticism about the Lottery Requirement. It distinguishes three broad strategies of defending such a requirement: the surrogate satisfaction account, the procedural account, and the ideal consent account, and argues that none of these (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  43.  36
    Why Did Weyl Think That Emmy Noether Made Algebra the Eldorado of Axiomatics?Iulian D. Toader - forthcoming - Hopos: The Journal of the International Society for the History of Philosophy of Science.
    The paper discusses Weyl's early view on axiomatics, then focuses on his remarks on Noether's work, and argues against assimilating her use of the axiomatic method in algebra to his late view on axiomatics, on the ground of Weyl's resistance to Noether's principle of detachment.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44. The Broadest Necessity.Andrew Bacon - 2018 - Journal of Philosophical Logic 47 (5):733-783.
    In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  45. Ontology-Based Fusion of Sensor Data and Natural Language.Erik Thomsen & Barry Smith - 2018 - Applied Ontology 13 (4):295-333.
    We describe a prototype ontology-driven information system (ODIS) that exploits what we call Portion of Reality (POR) representations. The system takes both sensor data and natural language text as inputs and composes on this basis logically structured POR assertions. The goal of our prototype is to represent both natural language and sensor data within a single framework that is able to support both axiomatic reasoning and computation. In addition, the framework should be capable of discovering and representing new kinds (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  37
    Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (4):299-317.
    Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47.  67
    First-Order Swap Structures Semantics for Some Logics of Formal Inconsistency.Marcelo E. Coniglio - forthcoming - Journal of Logic and Computation.
    The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  71
    Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - manuscript
    One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Non-Classical Metatheory for Non-Classical Logics.Andrew Bacon - 2013 - Journal of Philosophical Logic 42 (2):335-355.
    A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  50. Is risk aversion irrational? Examining the “fallacy” of large numbers.H. Orri Stefánsson - 2020 - Synthese 197 (10):4425-4437.
    A moderately risk averse person may turn down a 50/50 gamble that either results in her winning $200 or losing $100. Such behaviour seems rational if, for instance, the pain of losing $100 is felt more strongly than the joy of winning $200. The aim of this paper is to examine an influential argument that some have interpreted as showing that such moderate risk aversion is irrational. After presenting an axiomatic argument that I take to be the strongest case (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 125