Results for 'Harold Lloyd'

291 found
Order:
  1.  83
    Langdell and the Eclipse of Character.Harold Anthony Lloyd - forthcoming - University of Pittsburgh Law Review.
    Christopher Columbus Langdell has not only damaged the study of law with his three follies: his legal formalism, his redacted appellate case method, and his notion that legal practice taints the professor of law. His three follies have also impaired character development critical for legal actors. This Article focuses on four such critical character traits and virtues impaired by Langdell: (i) imagination, (ii) empathy, (ii) balance, and (iv) integrity. -/- This Article also calls out potential character issues with two professor (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2.  92
    Balancing Freedom and Restraint: The Role of Virtue in Legal Analysis.Harold Anthony Lloyd - 2023 - Southern California Interdisciplinary Law Journal 32:315-353.
    Even if one sees the law as “a self-contained system of legal reasoning” from which we deduce “neutral,” non-political conclusions from “general principles and analogies among cases and doctrines” (including formalist claims that judges simply call “balls and strikes” like umpires in a baseball game), one should still consider certain characteristics of the party making such deductions or calling such “balls and strikes.” [Relevant citations to quoted language are in the Article.] If such decision maker has questionable motivations, lacks proper (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. How To Do Things With Signs: Semiotics in Legal Theory, Practice, and Education.Harold Anthony Lloyd - forthcoming - University of Richmond Law Review.
    Note: This draft was updated on November 10, 2020. Discussing federal statutes, Justice Scalia tells us that “[t]he stark reality is that the only thing that one can say for sure was agreed to by both houses and the president (on signing the bill) is the text of the statute. The rest is legal fiction." How should we take this claim? If we take "text" to mean the printed text, that text without more is just a series of marks. If (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Theory without practice is empty; Practice without theory is blind: The inherent inseparability of doctrine and skills.Harold Anthony Lloyd - 2017 - In Linda H. Edwards (ed.), The Doctrine Skills Divide: Legal Education's Self-Inflicted Wound. Durham, NC, USA: pp. 77-90.
    This article maintains that the so-called theory-practice divide in legal education is not only factually false but semantically impossible. -/- As to the divide's falsity, practitioners have of course performed excellent scholarship and academics have excelled in practice. As to the divide's semantic impossibility, this article examines, among other things: -/- (1) the essential role of experience in meaning, -/- (2) the resulting inseparability of theory and practice in the world of experience, -/- (3) problems the divide shares in common (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Cognitive Emotion and the Law.Harold Anthony Lloyd - 2016 - Law and Psychology Review 41.
    Many wrongly believe that emotion plays little or no role in legal reasoning. Unfortunately, Langdell and his “scientific” case method encourage this error. A careful review of analysis in the real world, however, belies this common belief. Emotion can be cognitive, and cognition can be emotional. Additionally, modern neuroscience underscores the “co-dependence” of reason and emotion. Thus, even if law were a certain science of appellate cases (which it is not), emotion could not be torn from such “science.” -/- As (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Law's "Way of Words:" Pragmatics and Textualist Error.Harold Anthony Lloyd - 2016 - Creighton Law Review 49.
    Lawyers and judges cannot adequately address the nature of text, meaning, or interpretation without reference to the insights provided by linguists and philosophers of language. Exploring some of those insights, this article focuses upon what linguists and philosophers of language call “pragmatics.” Pragmatics examines the relations between words and users rather than the relations of words to words (syntax) or the relations of words to the world (semantics). In other words, pragmatics studies how language users actually use and interpret words (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Beyond Rawls' Fiction: The Veil of Ignorance Is Real.Harold Anthony Lloyd - 2016 - Huffington Post.
    Brief thoughts on why Rawls' "fictional" veil of ignorance is in fact real and why social morals and self-interest thus converge.
    Download  
     
    Export citation  
     
    Bookmark  
  8. Making Good Sense: Pragmatism's Mastery of Meaning, Truth, and Workable Rule of Law.Harold Anthony Lloyd - forthcoming - Wake Forest Journal of Law and Policy.
    The hermeneutic pragmatism explored in this article timely examines how “post-truth” claims over-estimate semantic freedoms while at the same time underestimating semantic and pre-semantic restraints. Such pragmatism also timely examines how formalists err by committing the reverse errors. Drawing on insights from James, Peirce, Putnam, Rorty, Gadamer, Derrida, and others, such hermeneutic pragmatism explores (1) the necessary role of both internal and objective experience in meaning, (2) the resulting instrumental nature of concepts required to deal with such experience, (3) the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Crushing Animals and Crashing Funerals: The Semiotics of Free Expression.Harold Anthony Lloyd - 2012 - First Amendment Law Review 12.
    With insights from philosophy of language and semiotics, this article addresses judicial choices and semantic errors involved in United States v. Stevens, 130 S.Ct. 1577 (2010) (refusing to read “killing” and “wounding” to include cruelty and thus striking down a federal statute outlawing videos of animal cruelty), and Snyder v. Phelps, 131 S.Ct. 1207 (2011) (finding a First Amendment right to picket military funerals and verbally attack parents of dead soldiers as part of purportedly-public expression). -/- This article maintains that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Let’s Skill All the Lawyers: Shakespearean Lessons on the Nature of Law.Harold Lloyd - 2010 - Vera Lex 11 (1/2):38-80.
    Shakespeare's works present intriguing explorations of law and legal theory. They help demonstrate the flaws in command-theory positivism, natural law theory and prediction theory accounts of the law. This is a simultaneously-published abbreviated version of a longer article published in Acta Iuridica Olomucensia in 2010.
    Download  
     
    Export citation  
     
    Bookmark  
  11. Speaker Meaning and the Interpretation and Construction of Executive Orders.Harold Anthony Lloyd - 2018 - Wake Forest Journal of Law and Policy 8 (2):319-361.
    This Article explores the interpretation and construction of executive orders using as examples President Trump’s two executive orders captioned “Protecting the Nation From Foreign Terrorist Entry Into the United States” (the “Two Executive Orders”). President Trump issued the Two Executive Orders in the context of (among other things) Candidate Trump’s statements such as: “Islam hates us,” and “[W]e can’t allow people coming into this country who have this hatred.” President Trump subsequently provided further context including his tweet about the second (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Good Legal Thought: What Wordsworth Can Teach Langdell About Forms, Frames, Choices, and Aims.Harold Anthony Lloyd - 2016 - Vermont Law Review 41 (1):1-22.
    Langdellian “science” and its “formalism” ignore ways form permits and even creates freedom of choice. For example, as Wordsworth notes, though the weaver is restricted by what his form of loom can weave, the weaver may nonetheless choose what and how he weaves. Furthermore, the loom creates weaving possibilities that do not exist without it. Such freedom alongside form is often lost on lawyers, judges, and teachers trained primarily in Langdellian redacted appellate cases where “facts” and other framed matters often (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Gorsuch and Originalism: Some Lessons from Logic, Scripture, and Art.Harold Anthony Lloyd - manuscript
    Neil Gorsuch lauds judges who purport to “apply the law as it is, focusing backward, not forward, and looking to text, structure, and history to decide what a reasonable reader at the time of the events in question would have understood the law to be . . . .” It’s hard to see how such a form of Originalism withstands scrutiny. -/- First, using “reasonable reader” understandings rather than speaker meaning turns language and law on their heads. Audiences effectively become (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Law as Trope: Framing and Evaluating Conceptual Metaphors.Lloyd Harold Anthony - 2016 - Pace Law Review 37.
    Like others who work with language, many lawyers no doubt appreciate good kennings. However, metaphors also play a much deeper role in thought and law than style, ornament, or verbal virtuosity. As we shall see, metaphors play a necessary role in our categories of thought. As a result, metaphors are a necessary part of thought itself, including legal thought.
    Download  
     
    Export citation  
     
    Bookmark  
  15. Justice Scalia and Queen Anne.Harold Anthony Lloyd - 2015 - Huffington Post.
    This article explores problems with several definitions of Originalism proposed by Justice Scalia in "Reading Law: The Interpretation of Legal Texts." It begins by looking at Justice Scalia's citation of a possible statement by Queen Anne that Justice Scalia claims in itself justifies Originalism. Queen Anne may have told Sir Christopher Wren that St. Paul's Cathedral was "awful, artificial, and amusing" at a time when those words meant "awe-inspiring, highly artistic, and thought-provoking." Conceding that one must understand how Queen Anne (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Razing Babel: Two Sonnets for Too Xenophobic Times.Harold Anthony Lloyd - 2016 - Huffington Post.
    Brief reflections in prose and verse on the vital importance of linguistic diversity.
    Download  
     
    Export citation  
     
    Bookmark  
  17. Narrative in Law and Life: Some Frequently Asked Questions.Harold Anthony Lloyd - 2015 - Second Draft 28.
    This article briefly addresses the following questions: Why should we study narrative? Does narrative have a basic overarching form or forms? How does framing drive narrative? How do concepts drive narrative? What can we do when we lack the necessary concepts for the narrative we need to tell? Are there basic storylines that repeat? Are there basic character types that we reuse? Can narrative drive the results of a Supreme Court case? Can narrative drive transactional practice? How does narrative's importance (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Leibniz on Number Systems.Lloyd Strickland - 2024 - In Bharath Sriraman (ed.), Handbook of the History and Philosophy of Mathematical Practice. Springer. pp. 167-197.
    This chapter examines the pioneering work of Gottfried Wilhelm Leibniz (1646-1716) on various number systems, in particular binary, which he independently invented in the mid-to-late 1670s, and hexadecimal, which he invented in 1679. The chapter begins with the oft-debated question of who may have influenced Leibniz’s invention of binary, though as none of the proposed candidates is plausible I suggest a different hypothesis, that Leibniz initially developed binary notation as a tool to assist his investigations in mathematical problems that were (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. In Defence of the Letter of Fictionalism.Harold Noonan - 1994 - Analysis 54 (3):133-139.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  20. Leibniz's Monadology: A New Translation and Guide.Lloyd Strickland - 2014 - Edinburgh, UK: Edinburgh University Press.
    A fresh translation and in-depth commentary of Leibniz's seminal text, the Monadology. -/- Written in 1714, the Monadology is widely considered to be the classic statement of Leibniz's mature philosophy. In the space of 90 numbered paragraphs, totalling little more than 6000 words, Leibniz outlines - and argues for - the core features of his philosophical system. Although rightly regarded as a masterpiece, it is also a very condensed work that generations of students have struggled to understand. -/- Lloyd (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  21. Logicism and the ontological commitments of arithmetic.Harold T. Hodes - 1984 - Journal of Philosophy 81 (3):123-149.
    Download  
     
    Export citation  
     
    Bookmark   121 citations  
  22. Classifying Psychopathology: Mental Kinds and Natural Kinds.Harold Kincaid & Jacqueline Anne Sullivan - 2014 - In Harold Kincaid & Jacqueline Anne Sullivan (eds.), Classifying Psychopathology: Mental Kinds and Natural Kinds. MIT Press. pp. 1-10.
    In this volume, leading philosophers of psychiatry examine psychiatric classification systems, including the Diagnostic and Statistical Manual of Mental Disorders, asking whether current systems are sufficient for effective diagnosis, treatment, and research. Doing so, they take up the question of whether mental disorders are natural kinds, grounded in something in the outside world. Psychiatric categories based on natural kinds should group phenomena in such a way that they are subject to the same type of causal explanations and respond similarly to (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  23. Empiricism, Objectivity, and Explanation.Elisabeth A. Lloyd & Carl G. Anderson - 1993 - Midwest Studies in Philosophy 18 (1):121-131.
    We sley Salmon, in his influential and detailed book, Four Decades of Scientific Explanation, argues that the pragmatic approach to scientific explanation, “construed as the claim that scientific explanation can be explicated entirely in pragmatic terms” (1989, 185) is inadequate. The specific inadequacy ascribed to a pragmatic account is that objective relevance relations cannot be incorporated into such an account. Salmon relies on the arguments given in Kitcher and Salmon (1987) to ground this objection. He also suggests that Peter Railton’s (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  24. Why Ramify?Harold T. Hodes - 2015 - Notre Dame Journal of Formal Logic 56 (2):379-415.
    This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  25. Moral Uncertainty, Proportionality and Bargaining.Patrick Kaczmarek, Harry R. Lloyd & Michael Plant - manuscript
    As well as disagreeing about how much one should donate to charity, moral theories also disagree about where one should donate. In light of this disagreement, how should the morally uncertain philanthropist allocate her donations? In many cases, one intuitively attractive option is for the philanthropist to split her donations across all of the charities that are recommended by moral views in which she has positive credence, with each charity’s share being proportional to her credence in the moral theories that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Leibniz encounters Maimonides.Lloyd Strickland - 2022 - In R. Moses Ben Maimon, Gottfried Wilhelm Leibniz, Walter Hilliger & Lloyd Strickland (eds.), Leibniz' Anthology of Maimonides' Guide. New York: Shehakol Inc.. pp. 6-13.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Some theorems on the expressive limitations of modal languages.Harold T. Hodes - 1984 - Journal of Philosophical Logic 13 (1):13 - 26.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  28. Reflections on Putnam, Wright and brains in vats.Harold W. Noonan - 1998 - Analysis 58 (1):59-62.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  29. Leibniz on Binary: The Invention of Computer Arithmetic.Lloyd Strickland & Harry R. Lewis - 2022 - Cambridge, MA, USA: The MIT Press.
    The first collection of Leibniz's key writings on the binary system, newly translated, with many previously unpublished in any language. -/- The polymath Gottfried Wilhelm Leibniz (1646–1716) is known for his independent invention of the calculus in 1675. Another major—although less studied—mathematical contribution by Leibniz is his invention of binary arithmetic, the representational basis for today's digital computing. This book offers the first collection of Leibniz's most important writings on the binary system, all newly translated by the authors with many (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. On modal logics which enrich first-order S5.Harold T. Hodes - 1984 - Journal of Philosophical Logic 13 (4):423 - 454.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  31. Axioms for actuality.Harold T. Hodes - 1984 - Journal of Philosophical Logic 13 (1):27 - 34.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  32. Leibniz and the two Sophies: the philosophical correspondence.Gottfried Wilhelm Leibniz & Lloyd Strickland - 2011 - Toronto: Iter. Edited by Sophia, Sophie Charlotte & Lloyd Strickland.
    LEIBNIZ AND THE TWO SOPHIES is a critical edition of all of the philosophically important material from the correspondence between the philosopher Gottfried Wilhelm Leibniz (1646-1716) and his two royal patronesses, Electress Sophie of Hanover (1630-1714), and her daughter, Queen Sophie Charlotte of Prussia (1668-1705). In this correspondence, Leibniz expounds in a very accessible way his views on topics such as the nature and operation of the mind, innate knowledge, the afterlife, ethics, and human nature. The correspondence also contains the (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  33. On The Sense and Reference of A Logical Constant.Harold Hodes - 2004 - Philosophical Quarterly 54 (214):134-165.
    Logicism is, roughly speaking, the doctrine that mathematics is fancy logic. So getting clear about the nature of logic is a necessary step in an assessment of logicism. Logic is the study of logical concepts, how they are expressed in languages, their semantic values, and the relationships between these things and the rest of our concepts, linguistic expressions, and their semantic values. A logical concept is what can be expressed by a logical constant in a language. So the question “What (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  34. The Shorter Leibniz Texts: A Collection of New Translations.Gottfried Wilhelm Leibniz & Lloyd Strickland - 2006 - London: Continuum. Edited by Lloyd Strickland.
    This volume contains more than 60 original translations of papers written by the German philosopher Gottfried Wilhelm Leibniz (1646-1716). As well as contributing to Leibniz scholarship, it is intended to function as an introductory text for students.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  35. God's problem of multiple choice.Lloyd Strickland - 2006 - Religious Studies 42 (2):141-157.
    A question that has been largely overlooked by philosophers of religion is how God would be able to effect a rational choice between two worlds of unsurpassable goodness. To answer this question, I draw a parallel with the paradigm cases of indifferent choice, including Buridan's ass, and argue that such cases can be satisfactorily resolved provided that the protagonists employ what Otto Neurath calls an ‘auxiliary motive’. I supply rational grounds for the employment of such a motive, and then argue (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  36. The composition of Fregean thoughts.Harold T. Hodes - 1982 - Philosophical Studies 41 (2):161 - 178.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  37. Leibniz’s Harmony between the Kingdoms of Nature and Grace.Lloyd Strickland - 2016 - Archiv für Geschichte der Philosophie 98 (3):302-329.
    One of the more exotic and mysterious features of Leibniz’s later philosophical writings is the harmony between the kingdom of nature and the kingdom of grace. In this paper I show that this harmony is not a single doctrine, but rather a compilation of two doctrines, namely (1) that the order of nature makes possible the rewards and punishments of rational souls, and (2) that the rewards and punishments of rational souls are administered naturally. I argue that the harmony is (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  38. Staying Optimistic: The Trials and Tribulations of Leibnizian Optimism.Lloyd Strickland - 2019 - Journal of Modern Philosophy 1 (1):1-21.
    The oft-told story of Leibniz’s doctrine of the best world, or optimism, is that it enjoyed a great deal of popularity in the eighteenth century until the massive earthquake that struck Lisbon on 1 November 1755 destroyed its support. Despite its long history, this story is nothing more than a commentators’ fiction that has become accepted wisdom not through sheer weight of evidence but through sheer frequency of repetition. In this paper we shall examine the reception of Leibniz’s doctrine of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Leibniz Reinterpreted.Lloyd Strickland - 2006 - London, UK: Continuum.
    Leibniz Reinterpreted tackles head on the central idea in Leibniz's philosophy, namely that we live in the best of all possible worlds. Strickland argues that Leibniz's theory has been consistently misunderstood by previous commentators. In the process Strickland provides both an elucidation and reinterpretation of a number of concepts central to Leibniz's work, such as 'richness', 'simplicity', 'harmony' and 'incompossibility', and shows where previous attempts to explain these concepts have failed. This clear and concise study is tightly focussed and assumes (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  40. Determining the best of all possible worlds.Lloyd Strickland - 2005 - Journal of Value Inquiry 39 (1):37-47.
    The concept of the best of all possible worlds is widely considered to be incoherent on the grounds that, for any world that might be termed the best, there is always another that is better. I note that underlying this argument is a conviction that the goodness of a world is determined by a single kind of good, the most plausible candidates for which are not maximizable. Against this I suggest that several goods may have to combine to determine the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  41. Leibniz's Tactile Binary Clock.Lloyd Strickland - 2023 - L.I.S.A. Wissenschaftsportal Gerdal Henkel Stiftung.
    Download  
     
    Export citation  
     
    Bookmark  
  42. F Things You (Probably) Didn't Know About Hexadecimal.Lloyd Strickland & Owain Daniel Jones - 2023 - The Mathematical Intelligencer 45:126-130.
    Download  
     
    Export citation  
     
    Bookmark  
  43. Moderate monism, persistence and sortal concepts.Harold Noonan - manuscript
    Coincidence comes in two varieties – permanent and temporary. Moderate monism is the position that permanent coincidence, but not temporary coincidence, entails identity. Extreme monism is the position that even temporary coincidence entails identity. Pluralists are opponents of monism tout court. The intuitively obvious, commonsensical position is moderate monism. It is therefore important to see if it can be sustained.
    Download  
     
    Export citation  
     
    Bookmark  
  44. Plenitude, Pluralism, and Neo-Lockean Persons.Harold Noonan - 2015 - Journal of Consciousness Studies 22 (11-12):108-131.
    The paper discusses the arguments for and against animalism and concludes that a pluralist position which rejects animalism and embraces a multiplicity of thinkers is the best option.
    Download  
     
    Export citation  
     
    Bookmark  
  45. Autonomism Reconsidered.James Harold - 2011 - British Journal of Aesthetics 51 (2):137-147.
    This paper has three aims: to define autonomism clearly and charitably, to offer a positive argument in its favour, and to defend a larger view about what is at stake in the debate between autonomism and its critics. Autonomism is here understood as the claim that a valuer does not make an error in failing to bring her moral and aesthetic judgements together, unless she herself values doing so. The paper goes on to argue that reason does not require the (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  46. Where Do the Cardinal Numbers Come From?Harold T. Hodes - 1990 - Synthese 84 (3):347-407.
    This paper presents a model-theoretic semantics for discourse "about" natural numbers, one that captures what I call "the mathematical-object picture", but avoids what I can "the mathematical-object theory".
    Download  
     
    Export citation  
     
    Bookmark  
  47. Ontological Commitments, Thick and Thin.Harold T. Hodes - 1990 - In George Boolos (ed.), Method, Reason and Language: Essays in Honor of Hilary Putnam. Cambridge University Press. pp. 235-260.
    Discourse carries thin commitment to objects of a certain sort iff it says or implies that there are such objects. It carries a thick commitment to such objects iff an account of what determines truth-values for its sentences say or implies that there are such objects. This paper presents two model-theoretic semantics for mathematical discourse, one reflecting thick commitment to mathematical objects, the other reflecting only a thin commitment to them. According to the latter view, for example, the semantic role (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  48. Immoralism and the Valence Constraint.James Harold - 2008 - British Journal of Aesthetics 48 (1):45-64.
    Immoralists hold that in at least some cases, moral fl aws in artworks can increase their aesthetic value. They deny what I call the valence constraint: the view that any effect that an artwork’s moral value has on its aesthetic merit must have the same valence. The immoralist offers three arguments against the valence constraint. In this paper I argue that these arguments fail, and that this failure reveals something deep and interesting about the relationship between cognitive and moral value. (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  49. Identity eliminated.Harold W. Noonan - 2007 - Analysis 67 (2):122-127.
    Download  
     
    Export citation  
     
    Bookmark  
  50. One-step Modal Logics, Intuitionistic and Classical, Part 1.Harold T. Hodes - 2021 - Journal of Philosophical Logic 50 (5):837-872.
    This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 291