Results for 'Thomas Lyon'

993 found
Order:
  1. Acknowledgment.Pauline Jacobson, Kent Bach, Daniel Buring, Paul Dekker, Shalom Lappin, Peter Lasersohn, Beth Levin, Julie Sedivy, Martin Stokhof, Thomas Ede & Ian Lyons - 2004 - Linguistics and Philosophy 27:777-778.
     
    Export citation  
     
    Bookmark  
  2.  19
    Effects of extradimensional training on stimulus generalization.David R. Thomas, Frederick Freeman, John G. Svinicki, D. E. Scott Burr & Joseph Lyons - 1970 - Journal of Experimental Psychology 83 (1p2):1.
  3.  80
    Tweetjacked: The Impact of Social Media on Corporate Greenwash.Thomas P. Lyon & A. Wren Montgomery - 2013 - Journal of Business Ethics 118 (4):747-757.
    We theorize that social media will reduce the incidence of corporate greenwash. Drawing on the management literature on decoupling and the economic literature on information disclosure, we characterize specifically where this effect is likely to be most pronounced. We identify important differences between social media and traditional media, and present a theoretical framework for understanding greenwash in which corporate environmental communications may backfire if citizens and activists feel a company is engaging in excessive self-promotion. The framework allows us to draw (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  4.  7
    Beliefs Matter: Local Climate Concerns and Industrial Greenhouse Gas Emissions in the United States.Glen Dowell & Thomas Lyon - forthcoming - Journal of Business Ethics:1-24.
    Industrial emissions of greenhouse gases are significant contributors to climate change, which poses a grave threat to social and economic systems. Our understanding of what might drive firms to reduce their emissions of these gases, however, is incomplete, and it is not clear that the knowledge gained from other environmental issues will readily apply to these emissions. We argue and find that indicators of environmental injustice previously shown to relate to toxic pollutants, for example, are poor predictors of greenhouse gas (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  29
    Effects of interdimensional training on stimulus generalization: II. Within-subjects design.Joseph Lyons & David R. Thomas - 1967 - Journal of Experimental Psychology 75 (4):572.
  6.  19
    Influence of postural distortion on the perception of visual vertical in pigeons.Joseph Lyons & David R. Thomas - 1968 - Journal of Experimental Psychology 76 (1p1):120.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  23
    Effects of interdimensional training on stimulus generalization.Richard W. Switalski, Joseph Lyons & David R. Thomas - 1966 - Journal of Experimental Psychology 72 (5):661.
  8.  46
    Environmental Disclosure: Evidence From Newsweek’s Green Companies Rankings. [REVIEW]Jay P. Shimshack & Thomas P. Lyon - 2015 - Business and Society 54 (5):632-675.
    Corporate-level environmental information disclosure is increasingly common. This article studies the impact of a prominent media-generated sustainability ratings program, Newsweek’s 2009 ranking of the 500 largest U.S. firms. Using an event study methodology, the authors find the rankings had a significant impact on shareholder value. Firms in the top 100 experienced abnormal returns after the information release that were 0.6%–1.0% higher than returns of firms in the bottom 400. The form of the information released had significant effects as well. Nuanced (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  34
    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  
  10. Arabella Lyon, Intentions: Negotiated, Contested, and Ignored Reviewed by.Thomas Adajian - 1999 - Philosophy in Review 19 (6):432-434.
     
    Export citation  
     
    Bookmark  
  11.  44
    Memoirs of Fellows and Corresponding Fellows of the Medieval Academy of America.James Brodman, J. N. Hillgarth, James F. Powers, Thomas N. Bisson, William M. Bowsky, Nancy Partner, Gene Brucker, Karl F. Morrison, Nancy van Deusen, Paul W. Knoll, Maureen Boulton, Malcolm B. Parkes, Margaret Switten, David Nicholas, Walter Prevenier & Bryce Lyon - 2003 - Speculum 78 (3):1044-1055.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. Thomas Henry Huxley: The Evolution of a Scientist.Sherrie Lyons - 2000 - Journal of the History of Biology 33 (3):594-597.
  13.  14
    Natural Categorization: Electrophysiological Responses to Viewing Natural Versus Built Environments.Salif Mahamane, Nick Wan, Alexis Porter, Allison S. Hancock, Justin Campbell, Thomas E. Lyon & Kerry E. Jordan - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  31
    Thomas huxley: Fossils, persistence, and the argument from design.Sherrie L. Lyons - 1993 - Journal of the History of Biology 26 (3):545-569.
    In struggling to free science from theological implications, Huxley let his own philosophical beliefs influence his interpretation of the data. However, he was certainly not unique in this respect. Like the creationists he despised, he made many important contributions to the issue of progression in the fossil record and its relationship to evolutionary theory. Certainly other factors were involved as well. Undoubtedly, just the sheer inertia of ideas played a role. He was committed to a theory of type and was (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  27
    Terror in Lyon.Chantal Thomas & David F. Bell - 1998 - Substance 27 (2):33.
  16. Arabella Lyon, Intentions: Negotiated, Contested, and Ignored. [REVIEW]Thomas Adajian - 1999 - Philosophy in Review 19:432-434.
     
    Export citation  
     
    Bookmark  
  17. In Incognito: The Principle of Double Effect in American Constitutional Law.Edward C. Lyons - 2005 - Florida Law Review 57 (3):469-563.
    Abstract: In Vacco v. Quill, 521 U.S. 793 (1997), the Supreme Court for the first time in American case law explicitly applied the principle of double effect to reject an equal protection claim to physician-assisted suicide. Double effect, traced historically to Thomas Aquinas, proposes that under certain circumstances it is permissible unintentionally to cause foreseen evil effects that would not be permissible to cause intentionally. The court rejected the constitutional claim on the basis of a distinction marked out by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  22
    The view from nowhere: Thomas Nagel , xi + 244 pp., £17.50. [REVIEW]William Lyons - 1988 - History of European Ideas 9 (3):360-362.
  19.  30
    Morality, politics, and contingency.Johnny Lyons - 2022 - European Journal of Philosophy 31 (1):179-194.
    The influential realist thesis that politics and morals are distinct and mutually exclusive spheres of interest is one that has been challenged within the tradition of analytic moral and political theory. Over the last 50 years, several notable liberal analytic philosophers, including Isaiah Berlin, Stuart Hampshire, and Thomas Nagel, have argued that not only is politics not separate from and inimical to ethics but that there exists such a thing as political morality. This article contends that while the notion (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  8
    The persistence of evil: a cultural, literary and theological analysis.Fintan Lyons - 2023 - London: T&T Clark.
    Theodicy: God or evil?: Irenaeus -- Augustine -- Thomas Aquinas -- John Hick -- Alvin Plantinga -- God and evil: Friedrich Nietzsche -- Richard Dawkins -- Divine hiddenness -- Rudolf Otto -- The Kabbalah -- Karl Barth -- Karl Rahner -- Empirical science -- A cultural, historical and literary survey: Does the devil exist? A persistent belief -- Stepping stones to Europe -- Demonology in medieval literary culture -- The Reformation: Two magisterial reformers: Martin Luther -- John Calvin -- (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. La philosophie de Hobbes. Bibliothèque de philosophie contemporaine.Georges Lyon - 1893 - Revue Philosophique de la France Et de l'Etranger 36:644-646.
     
    Export citation  
     
    Bookmark  
  22. avant de le publier dans son Histoire «véritable» de Lyon qui n'avait aucun besoin de ce hors-d'œuvre.V. —Thomas Fortin - forthcoming - Bibliothèque d'Humanisme Et Renaissance.
    No categories
     
    Export citation  
     
    Bookmark  
  23.  15
    Henri Ellenberger, Ethno‐psychiatrie, herausgegeben von Emmanuel Delille, (Sociétés, Espaces, Temps) Lyon: ENS Éditions 2017. 308 S., € 25,00. ISBN 978‐2‐84788‐931‐4. [REVIEW]Samuel Thoma - 2018 - Berichte Zur Wissenschaftsgeschichte 41 (2):204-205.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  18
    The Controversy on Methusalem's Death.Thomas O'loughlin - 1995 - Recherches de Theologie Et Philosophie Medievales 62:182-225.
    From, at least, the mid-fourth century until the mid-fifth-century AD a controversy concerning a seemingly trivial fact engaged Christian scholars: when did Methuselah die? Although most of the major Latin fathers were drawn into the fray — and echoes of the debate continued in Latin exegesis for another five centuries — this controversy has escaped historians and is today unknown. So this paper has a double task. First, uncover from its remnants what we can know of this problem that elicited (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. In pursuit of the rarest of birds: an interview with Gilbert Faccarello.Gilbert Faccarello, Joost Hengstmengel & Thomas R. Wells - 2014 - Erasmus Journal for Philosophy and Economics 7 (1):86-108.
    GILBERT JEAN FACCARELLO (Paris, 1950) is professor of economics at Université Panthéon-Assas, Paris, and a member of the Triangle research centre (École Normale Supérieure de Lyon and CNRS). He is presently chair of the ESHET Council (European Society for the History of Economic Thought). He completed his doctoral research in economics at Université de Paris X Nanterre. He has previously taught at the Université de Paris-Dauphine, Université du Maine and École Normale Supérieure de Fontenay/Saint-Cloud (now École Normale Supérieure de (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26. Sherrie L. Lyons, Thomas Henry Huxley: The Evolution of a Scientist.M. Ghiselin - 2002 - History and Philosophy of the Life Sciences 23 (2):309-309.
     
    Export citation  
     
    Bookmark  
  27. Saint Thomas au XXe siècle: Actes du colloque du Centenaire de la “Revue thomiste”.Gregory M. Reichberg - 1996 - The Thomist 60 (3):479-484.
    In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 479 Saint Thomas au XXe siecle: Actes du colloque du Centenaire de la "Revue thomiste." Paris: Saint-Paul, 1994. Pp. 475 (paper). In March of 1993 the Revue thomiste marked its centenary by sponsoring a three-day colloquium at the lnstitut Catholique of Toulouse on "St. Thomas in the 20th century." The commemoration resumed the following month with a conference at the University of Fribourg (Switzerland), site (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. Mathematical Explanations Of Empirical Facts, And Mathematical Realism.Aidan Lyon - 2012 - Australasian Journal of Philosophy 90 (3):559-578.
    A main thread of the debate over mathematical realism has come down to whether mathematics does explanatory work of its own in some of our best scientific explanations of empirical facts. Realists argue that it does; anti-realists argue that it doesn't. Part of this debate depends on how mathematics might be able to do explanatory work in an explanation. Everyone agrees that it's not enough that there merely be some mathematics in the explanation. Anti-realists claim there is nothing mathematics can (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   76 citations  
  29. Deterministic Probability: Neither chance nor credence.Aidan Lyon - 2011 - Synthese 182 (3):413-432.
    Some have argued that chance and determinism are compatible in order to account for the objectivity of probabilities in theories that are compatible with determinism, like Classical Statistical Mechanics (CSM) and Evolutionary Theory (ET). Contrarily, some have argued that chance and determinism are incompatible, and so such probabilities are subjective. In this paper, I argue that both of these positions are unsatisfactory. I argue that the probabilities of theories like CSM and ET are not chances, but also that they are (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  30. 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  
  31. 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  
  32. Why are Normal Distributions Normal?Aidan Lyon - 2014 - British Journal for the Philosophy of Science 65 (3):621-649.
    It is usually supposed that the central limit theorem explains why various quantities we find in nature are approximately normally distributed—people's heights, examination grades, snowflake sizes, and so on. This sort of explanation is found in many textbooks across the sciences, particularly in biology, economics, and sociology. Contrary to this received wisdom, I argue that in many cases we are not justified in claiming that the central limit theorem explains why a particular quantity is normally distributed, and that in some (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  33.  40
    Thomas Reid on the Animate Creation: Papers Relating to the Life Sciences.Thomas Reid & Paul Wood - 2022 - Edinburgh University Press.
    This volume brings together for the first time a significant number of Reid's manuscript papers on natural history, physiology and materialist metaphysics. An important contribution not only to Reid studies but also to our understanding of eighteenth-century science and its context.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  34. 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  
  35. Causality.Ardon Lyon - 1967 - British Journal for the Philosophy of Science 18 (1):1-20.
    In this article I try to give an account of the meaning of phrases of the form ‘A causes B’ as they are most usefully used in everyday life and the applied sciences. This account covers narrower uses of such phrases, but we find that in our usage of the term, ‘A causes B’ neither entails nor is entailed by ‘A is always followed by B’. Logically necessary and sufficient conditions of this general term can be given, however, by reference (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  36. From quorum to cooperation: Lessons from bacterial sociality for evolutionary theory.Pamela Lyon - 2007 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 38 (4):820-833.
    Copyright © 2007 Elsevier Ltd All rights reserved.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  37. Philosophy of Probablilty.Aidan Lyon - 2009 - In Fritz Allhoff (ed.), Philosophies of the Sciences: A Guide. Malden, MA: Wiley-Blackwell.
    In the philosophy of probability there are two central questions we are concerned with. The first is: what is the correct formal theory of probability? Orthodoxy has it that Kolmogorov’s axioms are the correct axioms of probability. However, we shall see that there are good reasons to consider alternative axiom systems. The second central question is: what do probability statements mean? Are probabilities “out there”, in the world as frequencies, propensities, or some other objective feature of reality, or are probabilities (...)
     
    Export citation  
     
    Bookmark   6 citations  
  38. Biometrics, identification and surveillance.David Lyon - 2008 - Bioethics 22 (9):499-508.
    Governing by identity describes the emerging regime of a globalizing, mobile world. Governance depends on identification but identification increasingly depends on biometrics. This 'solution' to difficulties of verification is described and some technical weaknesses are discussed. The role of biometrics in classification systems is also considered and is shown to contain possible prejudice in relation to racialized criteria of identity. Lastly, the culture of biometric identification is shown to be limited to abstract data, artificially separated from the lived experience of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  39.  6
    What is Rhythmanalysis?Dawn Lyon - forthcoming - Rhuthmos.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  29
    Environmental complexity, adaptability and bacterial cognition: Godfrey-Smith’s hypothesis under the microscope.Pamela Lyon - 2017 - Biology and Philosophy 32 (3):443-465.
    The paper presents evidence in bacteria for the utility of Godfrey-Smith’s environmental complexity thesis, using certain kinds of signal transduction systems as proxies for cognitive/behavioral complexity. Microbiologists already accept that the number of signal transduction proteins in a bacterial genome indicates the level of ecological complexity to which the organism is subject: the more signalling proteins, the greater the complexity. Sheer numbers are not always a reliable indicator of behavioral complexity, however. The paper proposes a new, ECT-based procedure for identifying, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  41. 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  
  42.  40
    Surveillance and the Eye of God.David Lyon - 2014 - Studies in Christian Ethics 27 (1):21-32.
    Surveillance is sometimes spoken of as a God’s eye view of the world. This idea is explored in relation to the ‘objective gaze’ of disengaged reason in the Enlightenment and its technologically-reinforced modes in the twenty-first century. The rise of the eye-centred viewpoint is coincident with the ‘great disembedding’ of individuals from the social. This in turn also prompted the self-disciplines of modernity, which are now key aspects of the power-base of modern institutions. A crucial moment in this shift was (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  42
    Relativism: A Contemporary Anthology.Michael Krausz (ed.) - 2010 - Columbia University Press.
    The thirty-three essays in <I>Relativism: A Contemporary Anthology</I> grapple with one of the most intriguing, enduring, and far-reaching philosophical problems of our age. Relativism comes in many varieties. It is often defined as the belief that truth, goodness, or beauty is relative to some context or reference frame, and that no absolute standards can adjudicate between competing reference frames. Michael Krausz's anthology captures the significance and range of relativistic doctrines, rehearsing their virtues and vices and reflecting on a spectrum of (...)
  44. 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  
  45. A Framework for Intuitionistic Grammar Logics.Tim Lyon - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes In Computer Science. Springer Verlag. 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  
  46.  30
    The triple burden: the impact of time poverty on women’s participation in coffee producer organizational governance in Mexico.Sarah Lyon, Tad Mutersbaugh & Holly Worthen - 2017 - Agriculture and Human Values 34 (2):317-331.
    In the mid-1990s, fairtrade-organic registration data showed that only 9 % of Oaxaca, Mexico’s organic coffee ‘farm operators’ were women; by 2013 the female farmer rate had increased to 42 %. Our research investigates the impact of this significant increase in women’s coffee association participation among 210 members of two coffee producer associations in Oaxaca, Mexico. We find that female coffee organization members report high levels of household decision-making power and they are more likely than their male counterparts to report (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  47.  4
    Postmodernity.David Lyon - 1994 - Taylor & Francis Group.
    In the second edition of this highly successful text, postmodernity is seen as the social condition of the twenty-first century, in which some of the most familiar features of the modern world are not only called into question, but actually undermined by novel trends. The key carriers of the postmodern--new technologies and consumerism--emerged in thoroughly modern contexts, but so profoundly affect everyday social life that modernity itself is changing shape. Postmodernity is a way of describing a new society-in-the-making without supposing (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  48.  14
    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  
  49.  29
    Criteria and evidence.Ardon Lyon - 1974 - Mind 83 (330):211-227.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  30
    Why ‘Is’ Must Entail ‘Ought’.Ardon Lyon - 2022 - Philosophical Investigations 46 (1):5-21.
    I argue below for the view that non-moral truths entail moral ones. I first argue that moral claims do have truth values which are objectively true or false. I then argue that this objectivism does not entail non-relativism. I produce a simple possible worlds argument for the entailment view. I then give some examples where p entails q but many intelligent people have thought it does not, and where it does not, but many intelligent people have thought that it does. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 993