Results for 'Structural rule elimination'

1000+ found
Order:
  1.  80
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  23
    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. 93413 Cham, Germany: 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3.  37
    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, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  49
    Normalisation and Subformula Property for a System of Intuitionistic Logic with General Introduction and Elimination Rules.Nils Kürbis - 2021 - Synthese 199 (5-6):14223-14248.
    This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Reduction, Elimination and Radical Uninterpretability.David Roden - manuscript
    In this paper I argue that the anti-reductionist thesis supports a case for the uselessness of intentional idioms in the interpretation of highly flexible, self-modifying agents that I refer to as “hyperplastic” agents. An agent is hyperplastic if it can make arbitrarily fine changes to any part of its functional or physical structure without compromising its agency or its capacity for hyperplasticity. Using Davidson’s anomalous monism (AM) as an exemplar of anti-reductionism, I argue that AM implies that no hyperplastic could (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Rationality as the Rule of Reason.Antti Kauppinen - 2021 - Noûs 55 (3):538-559.
    The demands of rationality are linked both to our subjective normative perspective (given that rationality is a person-level concept) and to objective reasons or favoring relations (given that rationality is non-contingently authoritative for us). In this paper, I propose a new way of reconciling the tension between these two aspects: roughly, what rationality requires of us is having the attitudes that correspond to our take on reasons in the light of our evidence, but only if it is competent. I show (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  7. Rules of Language and First Person Authority.Martin F. Fricke - 2012 - Polish Journal of Philosophy 6 (2):15-32.
    This paper examines theories of first person authority proposed by Dorit Bar-On (2004), Crispin Wright (1989a) and Sydney Shoemaker (1988). What all three accounts have in common is that they attempt to explain first person authority by reference to the way our language works. Bar-On claims that in our language self-ascriptions of mental states are regarded as expressive of those states; Wright says that in our language such self-ascriptions are treated as true by default; and Shoemaker suggests that they might (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  8. Acceptance, Aggregation and Scoring Rules.Jake Chandler - 2013 - Erkenntnis 78 (1):201-217.
    As the ongoing literature on the paradoxes of the Lottery and the Preface reminds us, the nature of the relation between probability and rational acceptability remains far from settled. This article provides a novel perspective on the matter by exploiting a recently noted structural parallel with the problem of judgment aggregation. After offering a number of general desiderata on the relation between finite probability models and sets of accepted sentences in a Boolean sentential language, it is noted that a (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  9. The Rules of Logic Composition for the Bayesian Epistemic E-Values.Wagner Borges & Julio Stern - 2007 - Logic Journal of the IGPL 15 (5-6):401-420.
    In this paper, the relationship between the e-value of a complex hypothesis, H, and those of its constituent elementary hypotheses, Hj, j = 1… k, is analyzed, in the independent setup. The e-value of a hypothesis H, ev, is a Bayesian epistemic, credibility or truth value defined under the Full Bayesian Significance Testing mathematical apparatus. The questions addressed concern the important issue of how the truth value of H, and the truth function of the corresponding FBST structure M, relate to (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  10. Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents.Carlo Nicolai - manuscript
    The paper studies a cluster of systems for fully disquotational truth based on the restriction of initial sequents. Unlike well-known alternative approaches, such systems display both a simple and intuitive model theory and remarkable proof-theoretic properties. We start by showing that, due to a strong form of invertibility of the truth rules, cut is eliminable in the systems via a standard strategy supplemented by a suitable measure of the number of applications of truth rules to formulas in derivations. Next, we (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11.  25
    Analogical Arguments: Inferential Structures and Defeasibility Conditions.Fabrizio Macagno, Douglas Walton & Christopher Tindale - 2017 - Argumentation 31 (2):221-243.
    The purpose of this paper is to analyze the structure and the defeasibility conditions of argument from analogy, addressing the issues of determining the nature of the comparison underlying the analogy and the types of inferences justifying the conclusion. In the dialectical tradition, different forms of similarity were distinguished and related to the possible inferences that can be drawn from them. The kinds of similarity can be divided into four categories, depending on whether they represent fundamental semantic features of the (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  12.  33
    Normalisation and Subformula Property for a System of Classical Logic with Tarski’s Rule.Nils Kürbis - forthcoming - Archive for Mathematical Logic:1-25.
    This paper considers a formalisation of classical logic using general introduction rules and general elimination rules. It proposes a definition of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system, and gives reduction procedures for them. It is then shown that deductions in the system convert into normal form, i.e. deductions that contain neither maximal formulas nor maximal segments, and that deductions in normal form satisfy the subformula property. Tarski’s Rule is treated as a general introduction (...) for implication. The general introduction rule for negation has a similar form. Maximal formulas with implication or negation as main operator require reduction procedures of a more intricate kind not present in normalisation for intuitionist logic. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  13. The Logical and Pragmatic Structure of Arguments From Analogy.Fabrizio Macagno - 2017 - Logique Et Analyse 240:465-490.
    The reasoning process of analogy is characterized by a strict interdependence between a process of abstraction of a common feature and the transfer of an attribute of the Analogue to the Primary Subject. The first reasoning step is regarded as an abstraction of a generic characteristic that is relevant for the attribution of the predicate. The abstracted feature can be considered from a logic-semantic perspective as a functional genus, in the sense that it is contextually essential for the attribution of (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  14. The Normative Structure of Responsibility.Federico L. G. Faroldi - 2014 - College Publications.
    The Normative Structure of Responsibility deals with responsibility in legal, moral, and linguistic contexts. The book builds on conceptual analysis and data from everyday language, ethics, and the law in order to defend the thesis that responsibility is fundamentally normative, that is, it cannot be reduced to purely descriptive factors. The book is divided in three parts: the first part draws a conceptual map of various responsibility concepts, conceptions and conditions and their interaction with different kinds of rules; the second (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Autonomous Weapons and the Nature of Law and Morality: How Rule-of-Law-Values Require Automation of the Rule of Law.Duncan MacIntosh - 2016 - Temple International and Comparative Law Journal 30 (1):99-117.
    While Autonomous Weapons Systems have obvious military advantages, there are prima facie moral objections to using them. By way of general reply to these objections, I point out similarities between the structure of law and morality on the one hand and of automata on the other. I argue that these, plus the fact that automata can be designed to lack the biases and other failings of humans, require us to automate the formulation, administration, and enforcement of law as much as (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Rule Following, Anxiety, and Authenticity.David Egan - 2021 - Mind 130 (518):567-593.
    This paper argues that the problematic of rule following in Wittgenstein's Philosophical Investigations and Heidegger's analysis of anxiety in Being and Time have analogous structures. Working through these analogies helps our interpretation of both of these authors. Contrasting sceptical and anti-sceptical readings of Wittgenstein helps us to resolve an interpretive puzzle about what an authentic response to anxiety looks like for Heidegger. And considering the importance of anxiety to Heidegger's conception of authenticity allows us to locate in Wittgenstein's later (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. To Blend or to Compose: A Debate About Emotion Structure.Larry A. Herzberg - 2012 - In Paul Wilson (ed.), Dynamicity in Emotion Concepts. Peter Lang.
    An ongoing debate in the philosophy of emotion concerns the relationship between two prima facie aspects of emotional states. The first is affective: felt and/or motivational. The second, which I call object-identifying, represents whatever the emotion is about or directed towards. “Componentialists” – such as R. S. Lazarus, Jesse Prinz, and Antonio Damasio – assume that an emotion’s object-identifying aspect can have the same representational content as a non-emotional state’s, and that it is psychologically separable or dissociable from the emotion’s (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   8 citations  
  18. Husserl on Meaning, Grammar, and the Structure of Content.Matteo Bianchin - 2018 - Husserl Studies 34 (2):101-121.
    Husserl’s Logical Grammar is intended to explain how complex expressions can be constructed out of simple ones so that their meaning turns out to be determined by the meanings of their constituent parts and the way they are put together. Meanings are thus understood as structured contents and classified into formal categories to the effect that the logical properties of expressions reflect their grammatical properties. As long as linguistic meaning reduces to the intentional content of pre-linguistic representations, however, it is (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  19. Against the Unrestricted Applicability of Disjunction Elimination.Marcel Jahn - 2017 - Rerum Causae 9 (2):92-111.
    In this paper, I argue that the disjunction elimination rule presupposes the principle that a true disjunction contains at least one true disjunct. However, in some contexts such as supervaluationism or quantum logic, we have good reasons to reject this principle. Hence, disjunction elimination is restricted in at least one respect: it is not applicable to disjunctions for which this principle does not hold. The insight that disjunction elimination presupposes the principle that a true disjunction contains (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Rules, Norms and Basic Knowledge.Brian Weatherson - manuscript
    Lewis Carroll’s 1895 paper “Achilles and the Tortoise” showed that we need a distinction between rules of inference and premises. We cannot, on pain of regress, treat all rules simply as further premises in an argument. But Carroll’s paper doesn’t say very much about what rules there must be. Indeed, it is consistent with what Carroll says there to think that the only rule is -elimination. You might think that modern Bayesians, who seem to think that the only (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. The Rule of St. Benedict and Modern Liberal Authority.Linda Zagzebski - 2010 - European Journal for Philosophy of Religion 2 (1):65 - 84.
    In this paper I examine the sixth century ’Rule of St. Benedict’, and argue that the authority structure of Benedictine communities as described in that document satisfies well-known principles of authority defended by Joseph Raz. This should lead us to doubt the common assumption that premodern models of authority violate the modern ideal of the autonomy of the self. I suggest that what distinguishes modern liberal authority from Benedictine authority is not the principles that justify it, but rather the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Narrative Structures, Narratives of Abuse, and Human Rights.Diana Tietjens Meyers - 2009 - In Lisa Tessman (ed.), Feminist Ethics and Social and Political Philosophy: Theorizing the Non- Ideal. Kluwer Academic Publishers.
    This paper explores the relation between victims’ stories and normativity. As a contribution to understanding how the stories of those who have been abused or oppressed can advance moral understanding, catalyze moral innovation, and guide social change, this paper focuses on narrative as a variegated form of representation and asks whether personal narratives of victimization play any distinctive role in human rights discourse. In view of the fact that a number of prominent students of narrative build normativity into their accounts, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  23. The Structure of Analog Representation.Andrew Y. Lee, Joshua Myers & Gabriel Oak Rabin - forthcoming - Noûs.
    This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. The Ontology of Quantum Field Theory: Structural Realism Vindicated?David Glick - 2016 - Studies in History and Philosophy of Science Part A 59:78-86.
    In this paper I elicit a prediction from structural realism and compare it, not to a historical case, but to a contemporary scientific theory. If structural realism is correct, then we should expect physics to develop theories that fail to provide an ontology of the sort sought by traditional realists. If structure alone is responsible for instrumental success, we should expect surplus ontology to be eliminated. Quantum field theory (QFT) provides the framework for some of the best confirmed (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  25. Deontic Modals and Probability: One Theory to Rule Them All?Fabrizio Cariani - forthcoming - In Nate Charlow & Matthew Chrisman (eds.), Deontic Modality. Oxford University Press.
    This paper motivates and develops a novel semantic framework for deontic modals. The framework is designed to shed light on two things: the relationship between deontic modals and substantive theories of practical rationality and the interaction of deontic modals with conditionals, epistemic modals and probability operators. I argue that, in order to model inferential connections between deontic modals and probability operators, we need more structure than is provided by classical intensional theories. In particular, we need probabilistic structure that interacts directly (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  26. Update Rules and Semantic Universals.Luca Incurvati & Giorgio Sbardolini - manuscript
    We discuss a well-known puzzle about the lexicalization of logical operators in natural language, in particular connectives and quantifiers. Of the many logically possible functions of the relevant type, only few appear in the lexicon of natural languages: the connectives in English, for example, are only 'and', 'or', and perhaps 'nor' (expressing negated disjunction). The logically possible 'nand' (negated conjunction) is not expressed by a lexical entry of English, or of any natural language. The explanation we propose is based on (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27.  79
    Modeling the concept of truth using the largest intrinsic fixed point of the strong Kleene three valued semantics (in Croatian language).Boris Culina - 2004 - Dissertation, University of Zagreb
    The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. CRITIQUE OF IMPURE REASON: Horizons of Possibility and Meaning.Steven James Bartlett - 2021 - Salem, USA: Studies in Theory and Behavior.
    PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29.  38
    Solving the Ideal Worlds Problem.Caleb Perl - 2021 - Ethics 132 (1):89-126.
    I introduce a new formulation of rule consequentialism, defended as an improvement on traditional formulations. My new formulation cleanly avoids what Parfit calls “ideal world” objections. I suggest that those objections arise because traditional formulations incorporate counterfactual comparisons about how things could go differently. My new formulation eliminates those counterfactual comparisons. Part of the interest of the new formulation is as a model of how to reformulate structurally similar views, including various kinds of contractualism.
    Download  
     
    Export citation  
     
    Bookmark  
  30. Identity Syntax.Roger Wertheimer - 1999 - In T. Rockmore (ed.), The Proceedings of the Twentieth World Congress of Philosophy. Philosophy Document Center. pp. 171-186.
    Like '&', '=' is no term; it represents no extrasentential property. It marks an atomic, nonpredicative, declarative structure, sentences true solely by codesignation. Identity (its necessity and total reflexivity, its substitution rule, its metaphysical vacuity) is the objectual face of codesignation. The syntax demands pure reference, without predicative import for the asserted fact. 'Twain is Clemens' is about Twain, but nothing is predicated of him. Its informational value is in its 'metailed' semantic content: the fact of codesignation (that 'Twain' (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31.  16
    Identity Syntax.Roger Wertheimer - 1999 - In Proceedings of the Twentieth World Congress of Philosophy, Vol II: Metaphysics,. Philosophy Documentation Center, Bowling Green, OH. pp. 171-86.
    Like '&', '=' is no term; it represents no extrasentential property. It marks an atomic, nonpredicative, declarative structure, sentences true solely by codesignation. Identity (its necessity and total reflexivity, its substitution rule, its metaphysical vacuity) is the objectual face of codesignation. The syntax demands pure reference, without predicative import for the asserted fact. 'Twain is Clemens' is about Twain, but nothing is predicated of him. Its informational value is in its 'metailed' semantic content: the fact of codesignation (that 'Twain' (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32.  22
    Identity Syntax.Roger Wertheimer - 1999 - In Tom Rockmore (ed.), Proceedings of the Twentieth World Congress of Philosophy, Vol II: Metaphysics. Philosophy Document Center. pp. 171-86.
    Like ‘&’, ‘=’ is no term; it represents no extrasentential property. It marks an atomic, nonpredicative, declarative structure, sentences true solely by codesignation. Identity (its necessity and total reflexivity, its substitution rule, its metaphysical vacuity) is the objectual face of codesignation. The syntax demands pure reference, without predicative import for the asserted fact. ‘Twain is Clemens’ is about Twain, but nothing is predicated of him. Its informational value is in its ‘metailed’ semantic content: the fact of codesignation (that ‘Twain’ (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33.  27
    A Model for Constructing the Physical Universe.White Paul - manuscript
    In the introduction I argue that the basic element (or primitive) for constructing the physical universe is "displacement from a prior level", and the basic structure is "a sequence of such displacements" (summarized as postulates 1 and 2). The displacements are then defined as one-dimensional objects with a direction (postulate 3). The relations between these displacements are stated in postulate 4. In section 2 we discuss basic consequences of the postulates, and in section 3 we use the postulates to derive (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. United Humanity: From "UN 2.0" to "UN 3.0" The Conceptual Model of the United Nations for the XXI Century.Vladimir Rogozhin - 2018 - Academia.
    The conceptual model of United Nations reform - "UN 3.0" includes the General Program of Action on UN Reform, consisting of two stages. The first stage for 2020-2025 envisages the transformation of the main organs of the UN - the General Assembly and the Security Council with measures to improve the effectiveness of the management system, address the "veto problem", problem of financing, improve staff work and administrative and financial control, strengthen UN media, improvement of work with the global civil (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Graph of Socratic Elenchos.John Bova - manuscript
    From my ongoing "Metalogical Plato" project. The aim of the diagram is to make reasonably intuitive how the Socratic elenchos (the logic of refutation applied to candidate formulations of virtues or ruling knowledges) looks and works as a whole structure. This is my starting point in the project, in part because of its great familiarity and arguable claim to being the inauguration of western philosophy; getting this point less wrong would have broad and deep consequences, including for philosophy’s self-understanding. -/- (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Meaning and the Structure of Consciousness: An Essay in Psycho-Aesthetics.Bruce Burridge Mangan - 1991 - Dissertation, University of California, Berkeley
    This study explores the interface between conscious and nonconscious mental processes using phenomenological analysis, information processing cognitive psychology, connectionism and traditional aesthetic theories. It attempts to explain how global, evaluative information--especially the primitive feeling of 'rightness' or 'making sense'--is represented in consciousness. ;Many lines of evidence confirm and extend William James' nucleus/fringe model of consciousness: surrounding clear experience in focal attention is a fringe of vague experience. Context information in general, and the feeling of rightness in particular, occupy the fringe. (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  37. Whither Structured Representation?Arthur B. Markman & Eric Dietrich - 1999 - Behavioral and Brain Sciences 22 (4):626-627.
    The perceptual symbol system view assumes that perceptual representations have a role-argument structure. A role-argument structure is often incorporated into amodal symbol systems in order to explain conceptual functions like abstraction and rule use. The power of perceptual symbol systems to support conceptual functions is likewise rooted in its use of structure. On Barsalou's account, this capacity to use structure (in the form of frames) must be innate.
    Download  
     
    Export citation  
     
    Bookmark  
  38.  2
    Protecting Tenants Without Preemption: How State and Local Governments Can Lessen the Impact of HUD's One-Strike Rule.Rob Van Someren Greve - 2017 - Georgetown Journal on Poverty Law and Policy 25 (1):135-167.
    Under a policy first enacted in 1988 and expanded in 1996, federally funded public housing authorities (“PHAs”) and private landlords renting their properties to tenants receiving federal housing assistance have been required to include a provision in all leases under which drug-related criminal activity as well as criminal activity that in any way poses a threat to other tenants or nearby residents constitutes ground for initiating eviction proceedings. This strict liability eviction policy, which has become known as the “One-Strike (...),” was part of a broader congressional effort to combat the “reign of terror” that Congress believed drug dealers were imposing on public housing and assisted housing tenants. Like many of the crime-related policies enacted in the 1980s and 1990s, the One-Strike Rule has done little to reduce crime rates, but has been wildly successful in ensuring that the situation of poor households receiving federal assistance remains highly precarious. Calls for reform of the One-Strike Rule are almost as old as the policy itself, but given the political outlook of the current administration, the prospects for reform at the federal level are dim. While federal law and a combination of gridlock and unwillingness in the congressional and executive branches foreclose a range of possible strategies for reform, there is nonetheless room to mitigate the socially corrosive effects of the One-Strike Rule through legislative efforts at the state and local level. Courts in various jurisdictions have upheld state laws that protect vulnerable tenants despite the federal strict liability policy, and these holdings help to provide a framework for how state and local governments seeking to protect tenants can do so without their efforts necessarily falling prey to the Supremacy Clause. This article describes that framework and proposes three concrete measures that fit it. The article is structured as follows: after explaining the One-Strike Rule and the threat it poses to vulnerable tenants (Section II), the article discusses the burden the Rule imposes on tenants and the benefits it is supposed to bring to other parties, and argues that the resulting distribution of burdens and benefits is unjust (Section III). The article then lays out three concrete measures that state and local governments can enact to protect tenants who face eviction for criminal activity under the Rule without falling prey to a federal preemption challenge: requiring “good cause” for eviction, giving tenants the right to cure a breach of their lease, and providing tenants with free counsel in landlord-tenant court (Section IV). (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Discourse Grammars and the Structure of Mathematical Reasoning III: Two Theories of Proof,.John Corcoran - 1971 - Journal of Structural Learning 3 (3):1-24.
    ABSTRACT This part of the series has a dual purpose. In the first place we will discuss two kinds of theories of proof. The first kind will be called a theory of linear proof. The second has been called a theory of suppositional proof. The term "natural deduction" has often and correctly been used to refer to the second kind of theory, but I shall not do so here because many of the theories so-called are not of the second kind--they (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Changing the Rules: Architecture and the New Millennium.David Kirsh - 2001 - Convergence 7 (2):113-125.
    Architecture is about to enter its first magical phase: a time when buildings actively co-operate with their inhabitants; when objects know what they are, where they are, what is near them; when social and physical space lose their type coupling; when wall and partitions change with mood and task. As engineers and scientists explore how to digitse the world around us, the classical constraints of design, ruled so long by the physics of space, time, and materials, are starting to crumble. (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. Regulatory Governance: Rules, Resistance and Responsibility.Poul F. Kjaer & Antje Vetterlein - 2018 - Contemporary Politics 24 (5).
    Regulatory governance frameworks have become essential building blocks of world society. From supply chains to the regimes surrounding international organizations, extensive governance frameworks have emerged which structure and channel a variety of social exchanges, including economic, political, legal and cultural, on a global scale. Against this background, this special issue sets out to explore the multifaceted meaning, potential and impact as well as the social praxis of regulatory governance. Under the notions rules, resistance and responsibility the special issue pins out (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Kant’s Perspectival Solution to the Mind-Body Problem—Or, Why Eliminative Materialists Must Be Kantians.Stephen R. Palmquist - 2016 - Culture and Dialogue 4 (1):194-213.
    Kant’s pre-1770 philosophy responded to the mind-body problem by applying a theory of “physical influx”. His encounter with Swedenborg’s mysticism, however, left him disillusioned with any dualist solution to Descartes’ problem. One of the major goals of the Critical philosophy was to provide a completely new solution to the mind-body problem. Kant’s new solution is “perspectival” in the sense that all Critical theories are perspectival: it acknowledges a deep truth in both of the controversy’s extremes (i.e., what we might nowadays (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43. The Causal Structure of Emotions in Aristotle: Hylomorphism, Causal Interaction Between Mind and Body, and Intentionality.Gabriela Rossi - 2018 - In Marcelo Boeri, Yasuhira Y. Kanayama & Jorge Mittelmann (eds.), Soul and Mind in Greek Thought. Psychologial Issues in Plato and Aristotle. Springer. pp. 177-198.
    Recently, a strong hylomorphic reading of Aristotelian emotions has been put forward, one that allegedly eliminates the problem of causal interaction between soul and body. Taking the presentation of emotions in de An. I 1 as a starting point and basic thread, but relying also on the discussion of Rh. II, I will argue that this reading only takes into account two of the four causes of emotions, and that, if all four of them are included into the picture, then (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44.  54
    Classical Mature Theory Structure in Economics.Rinat M. Nugayev - 2009 - In Ildar T. Nasretdinoff (ed.), The economical mechanisms of sustained development in cooperation. pp. 233-238.
    It is exhibited that mature scientific economical theory is a set of propositions that describe the relationship between theoretical objects of two types - basic objects and derivative ones. The set of basic objects makes up the aggregate of initial idealizations (the Fundamental Theoretical Scheme or FTS) with no direct reference to experimental data. The derivative theoretical objects are formed from the basic ones according to certain rules. The sets of derivative objects form partial theoretical schemes or PTS. Any mature (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45. Mind as Conceptual Structure: On Ethical Theory of C. I. Lewis’s Conceptual Pragmatism.Cheongho Lee - 2017 - Journal of Ethics: The Korean Association of Ethics 1 (113):73-89.
    Clarence I. Lewis (1883-1964) delineated the structure of mind based on his “conceptual pragmatism.” Human mind grounds itself on the ongoing dynamic interaction of relational processes, which is essentially mediated and structural. Lewis’s pragmatism anchors itself on the theory of knowledge that has the triadic structure of the given or immediate data, interpretation, and the concept. Lewis takes the a priori given as a starting point of meaningful experience. The interpretative work of mind is the mediator of the a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle: Articles and Reviews 2006-2016.Michael Starks - 2016 - Michael Starks.
    This collection of articles was written over the last 10 years and the most important and longest within the last year. Also I have edited them to bring them up to date (2016). The copyright page has the date of this first edition and new editions will be noted there as I edit old articles or add new ones. All the articles are about human behavior (as are all articles by anyone about anything), and so about the limitations of having (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. How the Seven Sociopaths Who Rule China Are Winning World War Three and Three Ways to Stop Them.Michael Starks - 2019 - In Suicide by Democracy-an Obituary for America and the World . Las Vegas, NV USA: Reality Press. pp. 54-60.
    The first thing we must keep in mind is that when saying that China says this or China does that, we are not speaking of the Chinese people, but of the Sociopaths who control the CCP -- Chinese Communist Party, i.e., the Seven Senile Sociopathic Serial Killers (SSSSK) of the Standing Committee of the CCP or the 25 members of the Politburo etc.. -/- The CCP’s plans for WW3 and total domination are laid out quite clearly in Chinese govt publications (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48.  50
    ANXIETY, AUTHENTICITY, AND STRUCTURE OF RATIONALITY (ТРЕВОГА, АУТЕНТИЧНОСТЬ И СТРУКТУРА РАЦИОНАЛЬНОСТИ).Francois-Igor Pris - 2021 - Philosophy of Science (Философия Науки) 2 (89):44-68.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. The Language of Geometry : Fast Comprehension of Geometrical Primitives and Rules in Human Adults and Preschoolers.Pierre Pica & Mariano Sigman & Stanislas Dehaene With Marie Amalric, Liping Wang - 2017 - PLoS Biology 10.
    Article Authors Metrics Comments Media Coverage Abstract Author Summary Introduction Results Discussion Supporting information Acknowledgments Author Contributions References Reader Comments (0) Media Coverage (0) Figures Abstract During language processing, humans form complex embedded representations from sequential inputs. Here, we ask whether a “geometrical language” with recursive embedding also underlies the human ability to encode sequences of spatial locations. We introduce a novel paradigm in which subjects are exposed to a sequence of spatial locations on an octagon, and are asked to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. On Reading the Laws as a Whole: Horizon, Vision, and Structure.Mitchell Miller - 2013 - In Eric Sanday & Gregory Recco (eds.), Plato's Laws: Force and Truth in Politics. Indiana University Press. pp. 11-30.
    A reflection intended to orient a reading of the Laws as a whole, with special attention to the range of philosophical issues included and excluded from the Athenian's reach, as this is indicated by the dramatic context, to the vision of the god as the measure of the laws that provides the centering goal of the Athenian's labors, and to the dialectical structure of the Athenian's address to the Magnesians.
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000