Results for 'Interpolation'

26 found
Order:
  1. Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.Tim Lyon, Alwen Tiu, Rajeev Gore & Ranald Clouston - 2020 - In Maribel Fernandez & Anca Muscholl (eds.), 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). pp. 1-16.
    We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  2. Interpol and the Emergence of Global Policing.Meg Stalcup - 2013 - In William Garriott (ed.), Policing and Contemporary Governance: The Anthropology of Police in Practice. Palgrave MacMillan. pp. 231-261.
    This chapter examines global policing as it takes shape through the work of Interpol, the International Criminal Police Organization. Global policing emerges in the legal, political and technological amalgam through which transnational police cooperation is carried out, and includes the police practices inflected and made possible by this phenomenon. Interpol’s role is predominantly in the circulation of information, through which it enters into relationships and provides services that affect aspects of governance, from the local to national, regional and global. The (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Interpolation in 16-Valued Trilattice Logics.Reinhard Muskens & Stefan Wintein - 2018 - Studia Logica 106 (2):345-370.
    In a recent paper we have defined an analytic tableau calculus PL_16 for a functionally complete extension of Shramko and Wansing's logic based on the trilattice SIXTEEN_3. This calculus makes it possible to define syntactic entailment relations that capture central semantic relations of the logic---such as the relations |=_t, |=_f, and |=_i that each correspond to a lattice order in SIXTEEN_3; and |=, the intersection of |=_t and |=_f,. -/- It turns out that our method of characterising these semantic relations---as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Interpolating Decisions.Jonathan Cohen & Elliott Sober - 2023 - Australasian Journal of Philosophy 101 (2):327-339.
    Decision theory requires agents to assign probabilities to states of the world and utilities to the possible outcomes of different actions. When agents commit to having the probabilities and/or utilities in a decision problem defined by objective features of the world, they may find themselves unable to decide which actions maximize expected utility. Decision theory has long recognized that work-around strategies are available in special cases; this is where dominance reasoning, minimax, and maximin play a role. Here we describe a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. The Craig interpolation theorem for prepositional logics with strong negation.Valentin Goranko - 1985 - Studia Logica 44 (3):291 - 317.
    This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  6. Weakly Aggregative Modal Logic: Characterization and Interpolation.Jixin Liu, Yanjing Wang & Yifeng Ding - 2019 - In Patrick Blackburn, Emiliano Lorini & Meiyun Guo (eds.), Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings. Springer. pp. 153-167.
    Weakly Aggregative Modal Logic (WAML) is a collection of disguised polyadic modal logics with n-ary modalities whose arguments are all the same. WAML has some interesting applications on epistemic logic and logic of games, so we study some basic model theoretical aspects of WAML in this paper. Specifically, we give a van Benthem-Rosen characterization theorem of WAML based on an intuitive notion of bisimulation and show that each basic WAML system Kn lacks Craig Interpolation.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. To Discern Divinity- A Discussion and Interpolation of Spinoza's "Ethics" Part 1- Concerning God.Charles Saunders - 2016 - Lake Oswego, Or.: Pulayana Press.
    Spinoza's insistence that a deductive metaphysics built from a single Principle or 'Deus sive Natura' and from there proceeding to deduce in descending order all of the 'common properties' or 'Infinite Modalities', is far superior to the inductive method which begins with observation and measurement of particulars and then proceeds to the general. In fact Spinoza recognized in a universe of an infinite number of particulars no metaphysical assertions could be conjectured with any certainty from any investigation of the 'modes' (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. To Discern Divinity- A Discussion and Interpolation of Spinoza's Ethics Part 1 Concerning God.Charles Saunders - 2016 - Amazon Books.
    Although numerous commentators have attempted to decipher Spinoza's intended meaning within the "Ethics Part 1- Concerning God",it does not appear as if anyone has effectively identified 'Concerning God' as the controlling idea which holds the key to the absolutely unique contribution which Baruch has bequeathed to human knowledge within the unity of thought achieved in the "Ethics". Part 1 is the linchpin for Baruch's entire philosophy. As we approach the 340th anniversary of his passing in February of 1677, and with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Refining Labelled Systems for Modal and Constructive Logics with Applications.Tim Lyon - 2021 - Dissertation, Technischen Universität Wien
    This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  10. Dancing with Nine Colours: The Nine Emotional States of Indian Rasa Theory.Dyutiman Mukhopadhyay - manuscript
    This is a brief review of the Rasa theory of Indian aesthetics and the works I have done on the same. A major source of the Indian system of classification of emotional states comes from the ‘Natyasastra’, the ancient Indian treatise on the performing arts, which dates back to the 2nd Century AD (or much earlier, pg. LXXXVI: Natyasastra, Ghosh, 1951). The ‘Natyasastra’ speaks about ‘sentiments’ or ‘Rasas’ (pg.102: Natyasastra, Ghosh, 1951) which are produced when certain ‘dominant states’ (sthayi Bhava), (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Towards a Taxonomy of the Model-Ladenness of Data.Alisa Bokulich - forthcoming - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association.
    Model-data symbiosis is the view that there is an interdependent and mutually beneficial relationship between data and models, whereby models are not only data-laden, but data are also model-laden or model filtered. In this paper I elaborate and defend the second, more controversial, component of the symbiosis view. In particular, I construct a preliminary taxonomy of the different ways in which theoretical and simulation models are used in the production of data sets. These include data conversion, data correction, data (...), data scaling, data fusion, data assimilation, and synthetic data. Each is defined and briefly illustrated with an example from the geosciences. I argue that model-filtered data are typically more accurate and reliable than the so-called raw data, and hence beneficially serve the epistemic aims of science. By illuminating the methods by which raw data are turned into scientifically useful data sets, this taxonomy provides a foundation for developing a more adequate philosophy of data. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  12. A Synopsis of the Minimal Modal Interpretation of Quantum Theory.Jacob Barandes & David Kagan - manuscript
    We summarize a new realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes but leaves the theory's basic dynamical content essentially intact. Much as classical systems have specific states that evolve along definite trajectories through configuration spaces, the traditional formulation of quantum theory permits assuming that closed quantum systems have specific states that evolve unitarily along definite trajectories through Hilbert spaces, and our interpretation extends this intuitive (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Compact propositional Gödel logics.Matthias Baaz & Richard Zach - 1998 - In Baaz Matthias (ed.), 28th IEEE International Symposium on Multiple-Valued Logic, 1998. Proceedings. IEEE Press. pp. 108-113.
    Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ. It is shown that there is a rich structure of infinite-valued Gödel logics, only one of which is compact. It is also shown that the compact infinite-valued Gödel logic is the only one which interpolates, and the only one with an r.e. entailment relation.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  14. The Minimal Modal Interpretation of Quantum Theory.Jacob Barandes & David Kagan - manuscript
    We introduce a realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes but leaves the theory’s basic dynamical content essentially intact. Much as classical systems have specific states that evolve along definite trajectories through configuration spaces, the traditional formulation of quantum theory permits assuming that closed quantum systems have specific states that evolve unitarily along definite trajectories through Hilbert spaces, and our interpretation extends this intuitive picture (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. On Partial and Paraconsistent Logics.Reinhard Muskens - 1999 - Notre Dame Journal of Formal Logic 40 (3):352-374.
    In this paper we consider the theory of predicate logics in which the principle of Bivalence or the principle of Non-Contradiction or both fail. Such logics are partial or paraconsistent or both. We consider sequent calculi for these logics and prove Model Existence. For L4, the most general logic under consideration, we also prove a version of the Craig-Lyndon Interpolation Theorem. The paper shows that many techniques used for classical predicate logic generalise to partial and paraconsistent logics once the (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  16. Code biology and the problem of emergence.Arran Gare - 2021 - Biosystems 208.
    It should now be recognized that codes are central to life and to understanding its more complex forms, including human culture. Recognizing the ‘conventional’ nature of codes provides solid grounds for rejecting efforts to reduce life to biochemistry and justifies according a place to semantics in life. The question I want to consider is whether this is enough. Focussing on Eigen’s paradox of how a complex code could originate, I will argue that along with Barbieri’s efforts to account for the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Why Gaia?Massimo Pigliucci - 2014 - Ethics and the Environment 19 (2):117.
    In lieu of an abstract, here is a brief excerpt of the content:Why Gaia?Massimo Pigliucci (bio)The Gaia Hypothesis: Science on a Pagan Planet, Michael Ruse, Chicago: University of Chicago Press, 2013. 272 pages.“The Gaia Hypothesis: Science on a Pagan Planet tells a story that comes out of the 1960s, a story that reflects all of the beliefs and enthusiasms and tensions of that decade.” So begins Michael Ruse’s fascinating, if at times puzzling, exploration of James Lovelock’s famous idea that our (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Two-method errors: having it both ways.John Corcoran & Idris Samawi Hamid - forthcoming - Bulletin of Symbolic Logic.
    ►JOHN CORCORAN AND IDRIS SAMAWI HAMID, Two-method errors: having it both ways. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: [email protected] Philosophy, Colorado State University, Fort Collins, CO 80523-1781 USA E-mail: [email protected] Where two methods produce similar results, mixing the two sometimes creates errors we call two-method errors, TMEs: in style, syntax, semantics, pragmatics, implicature, logic, or action. This lecture analyzes examples found in technical and in non-technical contexts. One can say “Abe knows whether Ben draws” in two other (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. The dao of kongzi.Bryan W. van Norden - 2002 - Asian Philosophy 12 (3):157 – 171.
    This paper introduces the Analects of Kongzi (better known to English-speakers as 'Confucius') to non-specialist readers, and discusses two major lines of interpretation. According to one group of interpretations, the key to understanding the Analects is passage 4.15, in which a disciple says that 'loyalty' and 'reciprocity' together make up the 'one thread' of the Master's teachings. More recently, some interpreters have emphasised passage 13.3, which discusses 'correcting names': bringing words and things into proper alignment. This paper argues that both (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Sensation-growth equations for non-zero threshold sensation, evaluated using non-traditional, bounded Fechnerian integration, for Fechner’s Law and for Ekman’s Law, using 12 different Weber Fractions.Lance Nizami - 2020 - In InterNoise 2020. Seoul, South Korea: pp. 1-16.
    An ongoing mystery in sensory science is how sensation magnitude F(I), such as loudness, increases with increasing stimulus intensity I. No credible, direct experimental measures exist. Nonetheless, F(I) can be inferred algebraically. Differences in sensation have empirical (but non-quantifiable) minimum sizes called just-noticeable sensation differences, ∆F, which correspond to empirically-measurable just-noticeable intensity differences, ∆I. The ∆Is presumably cumulate from an empirical stimulus-detection threshold I_th up to the intensity of interest, I. Likewise, corresponding ∆Fs cumulate from the sensation at the stimulus-detection (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Методика підготовки майбутніх IT-фахівців до стратегічної та тактичної діяльності в бізнес-організаціях.Olena Lavrentieva & Oleksandr P. Krupskyi - 2023 - Вісник Університету Імені Альфреда Нобеля. Серія «Педагогіка І Психологія». Педагогічні Науки 1 (25):51-61.
    The article emphasizes the relevance of revising the content of professional activities and the range of powers of specialists of IT departments in business organizations and, accordingly, the conceptual foundations of their professional training. The need for forming future IT specialists with unique skills and abilities to carry out strategic and tactical activities and develop the relevant competencies, which allows them to be active participants in the construction and implementation of the organization’s business strategies, has been clarified. The purpose of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Potential of Sustainable Regional Development in View of Smart Specialisation/Igor Britchenko, Tetiana Romanchenko, Oleksandr Hladkyi//Списание «Икономически изследвания (Economic Studies)». – Институт за икономически изследвания при БАН, София (България). – № 6. – Volume 28, Issue 6 - 2019. – P. 88 - 110. ISSN 02053292.Igor Britchenko, Tetiana Romanchenko & Oleksandr Hladkyi - 2019 - Списание «Икономически Изследвания (Economic Studies)» 28 (6):88 - 110.
    Potential of sustainable regional development is studied through demographic, economic, social, socio-cultural and ecological indicators in order to determine the strategy development areas of regional SMART specialisation on the example of Cherkasy oblast (the central region of Ukraine).Cherkasy oblast was selected for the study because it is one of the pilot regions for the implementation of the SMART specialisation strategies. The following methods were used in the course of the study: the system-structure analysis, comparative-geographic method, mapping (GIS – MapInfo Professional, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. An evolutionary psychology model of ego, risk, and cognitive dissonance.Baruch Feldman - manuscript
    I propose a novel model of the human ego (which I define as the tendency to measure one’s value based on extrinsic success rather than intrinsic aptitude or ability). I further propose the conjecture that ego so defined both is a non-adaptive by-product of evolutionary pressures, and has some evolutionary value as an adaptation (protecting self-interest). I explore ramifications of this model, including how it mediates individuals’ reactions to perceived and actual limits of their power, their ability to cope with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Can Two Wrongs Make A Right? Herders and Farmers Conflicts on the Plateau: The Study of Barkin Ladi Local Government Area, 2001-2018.Cinjel Nandes Dickson, Ugwoke Chikaodilli Juliet & Amina Ibrahim - 2019 - International Journal of Academic Multidisciplinary Research (IJAMR) 3 (5):28-33.
    Abstract: Herders and farmers conflicts in Nigeria have enjoyed a lot of construal and different connotations. The confrontations mostly started as farmers and herder’s conflict, then the attacks of suspected Fulani herders, then rustlers and bandits and a lot of others. The mode of attacks and nature of the clashes varies in different times and different places. The conflicts have further opened ways to menace such as the spread of Fulani bandit, the rise of cattle rustlers and other criminalities such (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Seeking safety in knowledge.Jennifer Nagel - 2023 - Proceedings and Addresses of the American Philosophical Association 97:186-214.
    Knowledge demands more than accuracy: epistemologists are broadly agreed that those who know are non-accidentally right, satisfying some kind of safety condition. However, it is hard to formulate any adequate account of safety, and harder still to explain exactly why we care about it. This paper approaches the problem by looking at a concrete human cognitive capacity, face recognition, to see where epistemic safety shows up in it. Drawing on new models in artificial intelligence, and making a case that human (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. The Physicist and the Philosopher.Rodney Bartlett - manuscript
    This is a brief discussion I started in the "Questions" section of ResearchGate's website. It's largely based on posts by Valentyn Nastasenko (the Physicist) and myself (the Philosopher), with just a few minor additions to make my position clearer. Topics include "Intergalactic and time travel via division by zero" as well as "Computer Science Brings Changes to Medicine and Physics That Give Everyone in History Eternal Life NOW".
    Download  
     
    Export citation  
     
    Bookmark