Results for 'Tim S. Lyon'

1000+ found
Order:
See also
Tim Lyon
Technische Universität Dresden
  1.  9
    Nested sequents for intermediate logics: the case of Gödel-Dummett logics.Tim S. Lyon - 2023 - Journal of Applied Non-Classical Logics 33 (2):121-164.
    We present nested sequent systems for propositional Gödel-Dummett logic and its first-order extensions with non-constant and constant domains, built atop nested calculi for intuitionistic logics. To obtain nested systems for these Gödel-Dummett logics, we introduce a new structural rule, called the linearity rule, which (bottom-up) operates by linearising branching structure in a given nested sequent. In addition, an interesting feature of our calculi is the inclusion of reachability rules, which are special logical rules that operate by propagating data and/or checking (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  37
    Morality, Rules, and Consequences: A Critical Reader.Brad Hooker, Elinor Mason, Dale E. Miller, D. W. Haslett, Shelly Kagan, Sanford S. Levy, David Lyons, Phillip Montague, Tim Mulgan, Philip Pettit, Madison Powers, Jonathan Riley, William H. Shaw, Michael Smith & Alan Thomas (eds.) - 2000 - Rowman & Littlefield Publishers.
    What determines whether an action is right or wrong? Morality, Rules, and Consequences: A Critical Reader explores for students and researchers the relationship between consequentialist theory and moral rules. Most of the chapters focus on rule consequentialism or on the distinction between act and rule versions of consequentialism. Contributors, among them the leading philosophers in the discipline, suggest ways of assessing whether rule consequentialism could be a satisfactory moral theory. These essays, all of which are previously unpublished, provide students in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  3. On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics.Tim Lyon - 2021 - Journal of Logic and Computation 31 (1):213-265.
    This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  76
    On the Application of the Honeycomb Conjecture to the Bee’s Honeycomb.Tim Räz - 2013 - Philosophia Mathematica 21 (3):351-360.
    In a recent paper, Aidan Lyon and Mark Colyvan have proposed an explanation of the structure of the bee's honeycomb based on the mathematical Honeycomb Conjecture. This explanation has instantly become one of the standard examples in the philosophical debate on mathematical explanations of physical phenomena. In this critical note, I argue that the explanation is not scientifically adequate. The reason for this is that the explanation fails to do justice to the essentially three-dimensional structure of the bee's honeycomb.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  5. Recent Themes in the Philosophy of Science: Scientific Realism and Commonsense.S. Clarke & T. D. Lyons (eds.) - 2010 - Dordrecht: Springer.
    Australia and New Zealand boast an active community of scholars working in the field of history, philosophy and social studies of science. Australasian Studies in History and Philosophy of Science aims to provide a distinctive publication outlet for their work. Each volume comprises a group of thematically-connected essays edited by scholars based in Australia or New Zealand with special expertise in that particular area. In each volume, a majority ofthe contributors are from Australia or New Zealand. Contributions from elsewhere are (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  6. Recent Themes in the Philosophy of Science. Australasian Studies in History and Philosophy of Science.S. Clarke & T. D. Lyons (eds.) - 2002 - Springer.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  7. Some thoughts about the hardest logic puzzle ever.Tim S. Roberts - 2001 - Journal of Philosophical Logic 30 (6):609-612.
    "The Hardest Logic Puzzle Ever" was first described by the late George Boolos in the Spring 1996 issue of the Harvard Review of Philosophy. Although not dissimilar in appearance from many other simpler puzzles involving gods (or tribesmen) who always tell the truth or always lie, this puzzle has several features that make the solution far from trivial. This paper examines the puzzle and describes a simpler solution than that originally proposed by Boolos.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  8.  7
    Spatial filter combination in human pattern vision: channel interactions revealed by adaptation.Tim S. Meese & Mark A. Georgeson - 1996 - In Enrique Villanueva (ed.), Perception. Ridgeview. pp. 25--3.
  9.  21
    The How and Why of Consciousness?Tim S. Meese - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  17
    Mathematical fortune-telling.Tim S. Hatamian - 2001 - Complexity 6 (5):27-40.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. Spencer Political Writings, ed. John Offer. [REVIEW]Tim S. Gray - 1994 - History of Political Thought 15 (1):135.
  12.  57
    An Autonomy-Based Justification for Intellectual Property Rights of Indigenous Communities.Anthony J. Stenson & Tim S. Gray - 1999 - Environmental Ethics 21 (2):177-190.
    The claim that indigenous communities are entitled to have intellectual property rights (IPRs) to both their plant varieties and their botanical knowledge has been put forward by writers who wish to protect the plant genetic resources of indigenous communities from uncompensated use by biotechnological transnational corporations. We argue that while it is necessary for indigenous communities to have suchrights, the entitlement argument is an unsatisfactory justification for them. A more convincing foundation for indigenous community IPRs is the autonomy theory developed (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  30
    Sustainable development and the international Whaling commission's moratorium on commercial Whaling.Linda A. Cotterrell & Tim S. Gray - 1998 - Philosophy and Geography 1 (2):183 – 195.
    To many observers, the moratorium on commercial whaling, which came into force under the aegis of the International Whaling Commission (IWC) in 1986, is both a moral and an environmental victory. Moreover, many governments have found it to be an advantageous, easy and costless policy to support. However, a critical analysis of the diverse viewpoints of IWC member states, especially those expressed by the delegations of the United Kingdom, Norway and Japan at the 1996 Annual Meeting of the IWC in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  16
    Sustainable Development and the International Whaling Commission's Moratorium on Commercial Whaling.Linda A. Cotterrell & Tim S. Gray - 1998 - Ethics, Place and Environment 1 (2):183-195.
    To many observers, the moratorium on commercial whaling, which came into force under the aegis of the International Whaling Commission in 1986, is both a moral and an environmental victory. Moreover, many governments have found it to be an advantageous, easy and costless policy to support. However, a critical analysis of the diverse viewpoints of IWC member states, especially those expressed by the delegations of the United Kingdom, Norway and Japan at the 1996 Annual Meeting of the IWC in Aberdeen, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  96
    The ITALK Project: A Developmental Robotics Approach to the Study of Individual, Social, and Linguistic Learning.Frank Broz, Chrystopher L. Nehaniv, Tony Belpaeme, Ambra Bisio, Kerstin Dautenhahn, Luciano Fadiga, Tomassino Ferrauto, Kerstin Fischer, Frank Förster, Onofrio Gigliotta, Sascha Griffiths, Hagen Lehmann, Katrin S. Lohan, Caroline Lyon, Davide Marocco, Gianluca Massera, Giorgio Metta, Vishwanathan Mohan, Anthony Morse, Stefano Nolfi, Francesco Nori, Martin Peniak, Karola Pitsch, Katharina J. Rohlfing, Gerhard Sagerer, Yo Sato, Joe Saunders, Lars Schillingmann, Alessandra Sciutti, Vadim Tikhanoff, Britta Wrede, Arne Zeschel & Angelo Cangelosi - 2014 - Topics in Cognitive Science 6 (3):534-544.
    This article presents results from a multidisciplinary research project on the integration and transfer of language knowledge into robots as an empirical paradigm for the study of language development in both humans and humanoid robots. Within the framework of human linguistic and cognitive development, we focus on how three central types of learning interact and co-develop: individual learning about one's own embodiment and the environment, social learning (learning from others), and learning of linguistic capability. Our primary concern is how these (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  16.  11
    Review of Epicurus and Democritean Ethics: An Archaeology of Ataraxia, by James Warren, Cambridge University Press. [REVIEW]Tim S. O'Keefe - unknown
  17. 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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  18. 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). Dagstuhl, Germany: 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 to embeddings, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  19. Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai & R. Zalila Wenkstern (eds.), PRIMA 2019: Principles and Practice of Multi-Agent Systems. Springer. pp. 202-218.
    This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20. On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems.Tim Lyon - 2020 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science. Cham: pp. 177-194.
    This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its associated (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21. Display to Labeled Proofs and Back Again for Tense Logics.Agata Ciabattoni, Tim Lyon, Revantha Ramanayake & Alwen Tiu - 2021 - ACM Transactions on Computational Logic 22 (3):1-31.
    We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form that is translatable to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.Tim Lyon - 2021 - In Anupam Das & Sara Negri (eds.), Automated Reasoning with Analytic Tableaux and Related Methods: TABLEAUX 2021. pp. 409-427.
    We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal grammars, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. A Neutral Temporal Deontic STIT Logic.Kees van Berkel & Tim Lyon - 2019 - In P. Blackburn, E. Lorini & M. Guo (eds.), Logic, Rationality, and Interaction. Springer. pp. 340-354.
    In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal frames, while preserving (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms.Kees van Berkel, Tim Lyon & Francesco Olivieri - 2020 - In Mehdi Dastani, Huimin Dong & Leon van der Torre (eds.), Logic and Argumentation. pp. 219 - 241.
    We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of this category describe which actions are obligatory, or prohibited, as instruments for certain purposes. We propose the Logic of Agency and Norms (LAN) that enables reasoning about actions, instrumentality, and normative principles in a multi-agent setting. Leveraging LAN , we formalize norms of instrumentality and compare them to two prevalent norm categories: norms to be and norms to do. Last, we pose principles relating the three (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. Automating Reasoning with Standpoint Logic via Nested Sequents.Tim Lyon & Lucía Gómez Álvarez - 2018 - In Michael Thielscher, Francesca Toni & Frank Wolter (eds.), Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR2018). pp. 257-266.
    Standpoint logic is a recently proposed formalism in the context of knowledge integration, which advocates a multi-perspective approach permitting reasoning with a selection of diverse and possibly conflicting standpoints rather than forcing their unification. In this paper, we introduce nested sequent calculi for propositional standpoint logics---proof systems that manipulate trees whose nodes are multisets of formulae---and show how to automate standpoint reasoning by means of non-deterministic proof-search algorithms. To obtain worst-case complexity-optimal proof-search, we introduce a novel technique in the context (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26. A Framework for Intuitionistic Grammar Logics.Tim Lyon - 2021 - In Pietro Baroni, Christoph Benzmüller & Yὶ N. Wang (eds.), Lecture Notes in Computer Science. 93413 Cham, Germany: pp. 495-503.
    We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call "intuitionistic path axioms". We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. Uniform and Modular Sequent Systems for Description Logics.Tim Lyon & Jonas Karge - 2022 - In Ofer Arieli, Martin Homola, Jean Christoph Jung & Marie-Laure Mugnier (eds.), Proceedings of the 35th International Workshop on Description Logics (DL 2022).
    We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common description logics, but also allows for sequent systems to be obtained for extensions of description logics with special formulae that we call "role relational axioms." All sequent systems are sound, complete, and possess favorable properties such as height-preserving admissibility of common structural rules and height-preserving invertibility of rules.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28. Cut-free Calculi and Relational Semantics for Temporal STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In Francesco Calimeri, Nicola Leone & Marco Manna (eds.), Logics in Artificial Intelligence. Springer. pp. 803 - 819.
    We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. The Basics of Display Calculi.Tim Lyon, Christian Ittner, Timo Eckhardt & Norbert Gratzl - 2017 - Kriterion - Journal of Philosophy 31 (2):55-100.
    The aim of this paper is to introduce and explain display calculi for a variety of logics. We provide a survey of key results concerning such calculi, though we focus mainly on the global cut elimination theorem. Propositional, first-order, and modal display calculi are considered and their properties detailed.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  30.  14
    Distributional versus singular approaches to probability and errors in probabilistic reasoning.Tim Reeves & Robert S. Lockhart - 1993 - Journal of Experimental Psychology: General 122 (2):207.
  31.  22
    Pictures of you: Dot stimuli cause motor contagion in presence of a still human form.S. Sparks, M. Sidari, M. Lyons & A. Kritikos - 2016 - Consciousness and Cognition 45:135-145.
  32. From Display to Labelled Proofs for Tense Logics.Agata Ciabattoni, Tim Lyon & Revantha Ramanayake - 2018 - In Anil Nerode & Sergei Artemov (eds.), Logical Foundations of Computer Science. Springer International Publishing. pp. 120 - 139.
    We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  33.  17
    That Raw and Ancient Cold: On Graham Harman’s Recasting of Archaeology.Tim Flohr Sørensen - 2021 - Open Philosophy 4 (1):1-19.
    This is a comment to Graham Harman’s 2019 response to an article by Þóra Pétursdóttir and Bjørnar Olsen (2018) in which they propose that a materially grounded, archaeological perspective might complement Harman’s historical approach in Immaterialism (2016). Harman responds that his book is indeed already more archaeological than historical, stipulating that history is the study of media with a high density of information, whereas archaeology studies media with a low density of information. History, Harman holds, ends up in too much (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  10
    Scaling sporting equipment for children promotes implicit processes during performance.Tim Buszard, Damian Farrow, Machar Reid & Rich S. W. Masters - 2014 - Consciousness and Cognition 30:247-255.
  35.  5
    ALPUK91: Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10–12 April 1991.Tim Duncan, C. S. Mellish, Geraint A. Wiggins & British Computer Society - 1992 - Springer.
    Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many challenging research issues to be addressed and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  36. Information and design: book symposium on Luciano Floridi’s The Logic of Information.Tim Gorichanaz, Jonathan Furner, Lai Ma, David Bawden, Liz Robinson, Dominic Dixon, Ken Herold, Sille Obelitz Søe, Betsy Van der Veer Martens & Luciano Floridi - 2020 - Journal of Documentation 76 (2).
    The purpose of this paper is to review and discuss Luciano Floridi’s 2019 book The Logic of Information: A Theory of Philosophy as Conceptual Design, the latest instalment in his philosophy of information (PI) tetralogy, particularly with respect to its implications for library and information studies (LIS) .
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  93
    Transforming knowledge systems for life on Earth: Visions of future systems and how to get there.Ioan Fazey, Niko Schäpke, Guido Caniglia, Anthony Hodgson, Ian Kendrick, Christopher Lyon, Glenn Page, James Patterson, Chris Riedy, Tim Strasser, Stephan Verveen, David Adams, Bruce Goldstein, Matthias Klaes, Graham Leicester, Alison Linyard, Adrienne McCurdy, Paul Ryan, Bill Sharpe, Giorgia Silvestri, Ali Yansyah Abdurrahim, David Abson, Olufemi Samson Adetunji, Paulina Aldunce, Carlos Alvarez-Pereira, Jennifer Marie Amparo, Helene Amundsen, Lakin Anderson, Lotta Andersson, Michael Asquith, Karoline Augenstein, Jack Barrie, David Bent, Julia Bentz, Arvid Bergsten, Carol Berzonsky, Olivia Bina, Kirsty Blackstock, Joanna Boehnert, Hilary Bradbury, Christine Brand, Jessica Böhme, Marianne Mille Bøjer, Esther Carmen, Lakshmi Charli-Joseph, Sarah Choudhury, Supot Chunhachoti-Ananta, Jessica Cockburn, John Colvin, Irena L. C. Connon & Rosalind Cornforth - 2020 - Energy Research and Social Science 70.
    Formalised knowledge systems, including universities and research institutes, are important for contemporary societies. They are, however, also arguably failing humanity when their impact is measured against the level of progress being made in stimulating the societal changes needed to address challenges like climate change. In this research we used a novel futures-oriented and participatory approach that asked what future envisioned knowledge systems might need to look like and how we might get there. Findings suggest that envisioned future systems will need (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  14
    A Small‐Town Heart.Tim Lahey, Jennifer L. Herbst, Marielle S. Gross & Brandi Braud Scully - 2020 - Hastings Center Report 50 (6):4-7.
    Melanie presented at twenty weeks of gestation to an obstetrics clinic in a critical access hospital in rural Vermont. She was excited to undergo routine fetal ultrasonography, but her obstetrician gave her grave news: the ultrasound revealed hypoplastic left heart syndrome, a devastating congenital heart defect. Initially, Melanie agreed in general to pursue surgical care for her fetus—a three‐stage process that has somewhat uncertain results and could only be done in tertiary care facilities far from her home in Vermont. A (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. The Varieties of Ought-implies-Can and Deontic STIT Logic.Kees van Berkel & Tim Lyon - 2021 - In Fenrong Liu, Alessandra Marra, Paul Portner & Frederik Van De Putte (eds.), Deontic Logic and Normative Systems: 15th International Conference.
    STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a central role. However, in the philosophical literature a variety of alternative OiC interpretations have been proposed and discussed. This paper provides a modular framework for deontic STIT that accounts for a multitude of OiC readings. In particular, we discuss, compare, and formalize ten such readings. We provide sound and complete sequent-style calculi for all of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. The internal disclosure policies of private-sector employers: An initial look at their relationship to employee whistleblowing. [REVIEW]Tim Barnett, Daniel S. Cochran & G. Stephen Taylor - 1993 - Journal of Business Ethics 12 (2):127 - 136.
    Whistleblowers have usually been treated as outcasts by private-sector employers. But legal, ethical, and practical considerations increasingly compel companies to encourage employees to disclose suspected illegal and/or unethical activities throughinternal communication channels. Internal disclosure policies/procedures (IDPP''s) have been recommended as one way to encourage such communication.This study examined the relationship between IDPP''s and employee whistleblowing among private-sector employers. Almost 300 human resources executives provided data concerning their organizations'' experiences.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  41.  3
    Kolmogorov’s Axiomatization and Its Discontents.Aidan Lyon - 2016 - In Alan Hájek & Christopher Hitchcock (eds.), The Oxford Handbook of Probability and Philosophy. Oxford: Oxford University Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  46
    John Mcdowell.Tim Thornton (ed.) - 2004 - New York: Routledge.
    John McDowell's contribution to philosophy has ranged across Greek philosophy, philosophy of language, philosophy of mind, metaphysics and ethics. His writings have drawn on the works of, amongst others, Aristotle, Kant, Hegel, Frege, Russell, Wittgenstein, Sellars, and Davidson. His contributions have made him one of the most widely read, discussed and challenging philosophers writing today. This book provides a careful account of the main claims that McDowell advances in a number of different areas of philosophy. The interconnections between the different (...)
  43.  23
    Imagining for real: essays on creation, attention and correspondence.Tim Ingold - 2022 - New York, NY: Routledge.
    What does imagination do for our perception of the world? Why should reality be broken off from our imagining of it? It was not always thus, and in these essays, Tim Ingold sets out to heal the break between reality and imagination at the heart of modern thought and science. Imagining for Real joins with a lifeworld ever in creation, attending to its formative processes, corresponding with the lives of its human and nonhuman inhabitants. Building on his two previous essay (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  13
    Philosophy of Probability.Aidan Lyon - 2010-01-04 - In Fritz Allhoff (ed.), Philosophies of the Sciences. Wiley‐Blackwell. pp. 92–125.
    This chapter contains sections titled: Introduction The Mathematical Theory of Probability The Philosophical Theory of Probability Conclusion References.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  16
    An open letter to the Roman catholic bishops of the united states of America regarding the morality of our nation's war on the people of afghanistan.Catholic Worker House in Lyons - unknown
    Today is dedicated to the remembrance of the Holy Innocents, who were victims of a state sponsored terrorist attack at the very beginning of the Christian era. We believe this is an appropriate spiritual time to review and question the moral judgement of the Catholic Bishops of the United States of America that our nation's war on the people of Afghanistan is just. We do this in a spirit of fidelity to the teachings of the Catholic Church and to the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  46. Two dogmas of empirical justification.Jack C. Lyons - 2020 - Philosophical Issues 30 (1):221-237.
    Nearly everyone agrees that perception gives us justification and knowledge, and a great number of epistemologists endorse a particular two-part view about how this happens. The view is that perceptual beliefs get their justification from perceptual experiences, and that they do so by being based on them. Despite the ubiquity of these two views, I think that neither has very much going for it; on the contrary, there’s good reason not to believe either one of them.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  27
    Aluminum toxicity and behavior in the weanling Long-Evans rat.B. Michael Thorne, Art Cook, Tim Donohoe, Steve Lyon, Denis M. Medeiros & Chris Moutzoukis - 1987 - Bulletin of the Psychonomic Society 25 (2):129-132.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  19
    Black Elk's Story: Distinguishing Its Lakota Purpose by Julian Rice.William S. Lyon - 1992 - Anthropology of Consciousness 3 (1-2):25-26.
    Black Elk's Story: Distinguishing Its Lakota Purpose. Julian Rice. Albuquerque, New Mexico: University of New Mexico Press, 1991. ISBN 0‐8263‐1262‐4. Cloth. $29.95. Pp. 165.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  6
    Ethics in Health Information Technology Problems and Solutions.Sabatini Monatesti, David S. Dinhofer, Peter Bachman & Joseph P. Lyons - 2016 - Ethics in Biology, Engineering and Medicine 7 (1-2):73-89.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  33
    On the relationship between anxiety and error monitoring: a meta-analysis and conceptual framework.Jason S. Moser, Tim P. Moran, Hans S. Schroder, M. Brent Donnellan & Nick Yeung - 2013 - Frontiers in Human Neuroscience 7.
1 — 50 / 1000