Results for 'Cut Rule'

995 found
Order:
  1. Gentzen’s “cut rule” and quantum measurement in terms of Hilbert arithmetic. Metaphor and understanding modeled formally.Vasil Penchev - 2022 - Logic and Philosophy of Mathematics eJournal 14 (14):1-37.
    Hilbert arithmetic in a wide sense, including Hilbert arithmetic in a narrow sense consisting by two dual and anti-isometric Peano arithmetics, on the one hand, and the qubit Hilbert space (originating for the standard separable complex Hilbert space of quantum mechanics), on the other hand, allows for an arithmetic version of Gentzen’s cut elimination and quantum measurement to be described uniformy as two processes occurring accordingly in those two branches. A philosophical reflection also justifying that unity by quantum neo-Pythagoreanism links (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences.Jared Millson - 2019 - Studia Logica (6):1-34.
    In recent years, the e ffort to formalize erotetic inferences (i.e., inferences to and from questions) has become a central concern for those working in erotetic logic. However, few have sought to formulate a proof theory for these inferences. To fill this lacuna, we construct a calculus for (classes of) sequents that are sound and complete for two species of erotetic inferences studied by Inferential Erotetic Logic (IEL): erotetic evocation and regular erotetic implication. While an attempt has been made to (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  3. A cut-free sequent calculus for the bi-intuitionistic logic 2Int.Sara Ayhan - manuscript
    The purpose of this paper is to introduce a bi-intuitionistic sequent calculus and to give proofs of admissibility for its structural rules. The calculus I will present, called SC2Int, is a sequent calculus for the bi-intuitionistic logic 2Int, which Wansing presents in [2016a]. There he also gives a natural deduction system for this logic, N2Int, to which SC2Int is equivalent in terms of what is derivable. What is important is that these calculi represent a kind of bilateralist reasoning, since they (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Capturing naive validity in the Cut-free approach.Eduardo Barrio, Lucas Rosenblatt & Diego Tajer - 2016 - Synthese 199 (Suppl 3):707-723.
    Rejecting the Cut rule has been proposed as a strategy to avoid both the usual semantic paradoxes and the so-called v-Curry paradox. In this paper we consider if a Cut-free theory is capable of accurately representing its own notion of validity. We claim that the standard rules governing the validity predicate are too weak for this purpose and we show that although it is possible to strengthen these rules, the most obvious way of doing so brings with it a (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  5. 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  
  6. Reply to Goldman: Cutting Up the One to Save the Five in Epistemology.Selim Berker - 2015 - Episteme 12 (2):145-153.
    I argue that Alvin Goldman has failed to save process reliabilism from my critique in earlier work of consequentialist or teleological epistemic theories. First, Goldman misconstrues the nature of my challenge: two of the cases he discusses I never claimed to be counterexamples to process reliabilism. Second, Goldman’s reply to the type of case I actually claimed to be a counterexample to process reliabilism is unsuccessful. He proposes a variety of responses, but all of them either feature an implausible restriction (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  7. A Binary Quantifier for Definite Descriptions for Cut Free Free Logics.Nils Kürbis - 2021 - Studia Logica 110 (1):219-239.
    This paper presents rules in sequent calculus for a binary quantifier I to formalise definite descriptions: Ix[F, G] means ‘The F is G’. The rules are suitable to be added to a system of positive free logic. The paper extends the proof of a cut elimination theorem for this system by Indrzejczak by proving the cases for the rules of I. There are also brief comparisons of the present approach to the more common one that formalises definite descriptions with a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Logic: The Stoics (Part Two).Susanne Bobzien - 1999 - In Keimpe Algra, Jonathan Barnes, Jaap Mansfeld & Malcolm Schofield (eds.), The Cambridge History of Hellenistic Philosophy. New York: Cambridge University Press.
    ABSTRACT: A detailed presentation of Stoic theory of arguments, including truth-value changes of arguments, Stoic syllogistic, Stoic indemonstrable arguments, Stoic inference rules (themata), including cut rules and antilogism, argumental deduction, elements of relevance logic in Stoic syllogistic, the question of completeness of Stoic logic, Stoic arguments valid in the specific sense, e.g. "Dio says it is day. But Dio speaks truly. Therefore it is day." A more formal and more detailed account of the Stoic theory of deduction can be found (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  9. A recovery operator for nontransitive approaches.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Review of Symbolic Logic 13 (1):80-104.
    In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  10. Stoic Syllogistic.Susanne Bobzien - 1996 - Oxford Studies in Ancient Philosophy 14:133-92.
    ABSTRACT: For the Stoics, a syllogism is a formally valid argument; the primary function of their syllogistic is to establish such formal validity. Stoic syllogistic is a system of formal logic that relies on two types of argumental rules: (i) 5 rules (the accounts of the indemonstrables) which determine whether any given argument is an indemonstrable argument, i.e. an elementary syllogism the validity of which is not in need of further demonstration; (ii) one unary and three binary argumental rules which (...)
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  11. Assertion, denial, content, and (logical) form.Jack Woods - 2016 - Synthese 193 (6):1667-1680.
    I discuss Greg Restall’s attempt to generate an account of logical consequence from the incoherence of certain packages of assertions and denials. I take up his justification of the cut rule and argue that, in order to avoid counterexamples to cut, he needs, at least, to introduce a notion of logical form. I then suggest a few problems that will arise for his account if a notion of logical form is assumed. I close by sketching what I take to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Assertion, denial, content, and (logical) form.Jack Woods - 2016 - Synthese 193 (6).
    I discuss Greg Restall’s attempt to generate an account of logical consequence from the incoherence of certain packages of assertions and denials. I take up his justification of the cut rule and argue that, in order to avoid counterexamples to cut, he needs, at least, to introduce a notion of logical form. I then suggest a few problems that will arise for his account if a notion of logical form is assumed. I close by sketching what I take to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Android Based Diet Consultant using Rule Pattern-based algorithm.M. Dhurgadevi - 2021 - Journal of Science Technology and Research (JSTAR) 2 (1):120-127.
    The proposed project is based on a Dietitian app. The proposed app lets us discover what should we eat based on our weight, height, age, sex, and physical activity. It calculates BMI and BMR and tells us how many calories should we ideally need to intake per day. The calories we should intake will be feed in and based on the RETE algorithm the amount of food intake for the day will be decided. The proposed application is for any type (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Stoic Sequent Logic and Proof Theory.Susanne Bobzien - 2019 - History and Philosophy of Logic 40 (3):234-265.
    This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much of Stoic (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  15. Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC.Richard Zach - 2018 - Australasian Journal of Logic 15 (3):609-628.
    Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  17. 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, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  19. The Arbitrariness of Aesthetic Judgment.David Sackris - 2021 - Journal of Value Inquiry 55 (4):625-646.
    Realists about aesthetic judgment believe something like the following: for an aesthetic judgment of be correct, it must respond to the intrinsic aesthetic properties possessed by the object in question (e.g., Meskin et al., 2013; Kieran 2010). However, Cutting’s (2003) empirical research on aesthetic judgment puts pressure on that position. His work indicates that unconscious considerations extrinsic to an artwork can underpin said judgements. This paper takes Cutting’s conclusion a step further: If philosophers grant that it’s possible to appreciate artwork (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Paraconsistency: Logic and Applications.Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.) - 2013 - Dordrecht, Netherland: Springer.
    A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  21. The Universe:a Philosophical derivation of a Final Theory.John F. Thompson - manuscript
    The reason for physics’ failure to find a final theory of the universe is examined. Problems identified are: the lack of unequivocal definitions for its fundamental elements (time, length, mass, electric charge, energy, work, matter-waves); the danger of relying too much on mathematics for solutions; especially as philosophical arguments conclude the universe cannot have a mathematical basis. It does not even need the concept of number to exist. Numbers and mathematics are human inventions arising from the human predilection for measurement. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. The purpose of qualia: What if human thinking is not (only) information processing?Martin Korth - manuscript
    Despite recent breakthroughs in the field of artificial intelligence (AI) – or more specifically machine learning (ML) algorithms for object recognition and natural language processing – it seems to be the majority view that current AI approaches are still no real match for natural intelligence (NI). More importantly, philosophers have collected a long catalogue of features which imply that NI works differently from current AI not only in a gradual sense, but in a more substantial way: NI is closely related (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Hypersequents and the proof theory of intuitionistic fuzzy logic.Matthias Baaz & Richard Zach - 2000 - In Clote Peter G. & Schwichtenberg Helmut (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Springer. pp. 187– 201.
    Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Gödel logics by Avron. It is shown that the system is sound and complete, and (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  24. Boghossian's template and transmission failure.Alessia Marabini & Luca Moretti - 2018 - Al Mukhatabat 26:71-90.
    Within his overarching program aiming to defend an epistemic conception of analyticity, Boghossian (1996 and 1997) has offered a clear-cut explanation of how we can acquire a priori knowledge of logical truths and logical rules through implicit definition. The explanation is based on a special template or general form of argument. Ebert (2005) has argued that an enhanced version of this template is flawed because a segment of it is unable to transmit warrant from its premises to the conclusion. This (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. I Laugh Because it's Absurd: Humor as Error Detection.Chris A. Kramer - 2021 - In Steven Gimbel & Jennifer Marra Henrigillis (eds.), It's Funny 'Cause It's True: The Lighthearted Philosophers Society's Introduction to Philosophy through Humor. pp. 82-93.
    “ A man orders a whole pizza pie for himself and is asked whether he would like it cut into eight or four slices. He responds, ‘Four, I’m on a diet ”’ (Noël Carroll) -/- While not hilarious --so funny that it induces chortling punctuated with outrageous vomiting--this little gem is amusing. We recognize that something has gone wrong. On a first reading it might not compute, something doesn’t quite make sense. Then, aha! , we understand the hapless dieter has (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Identity logics.John Corcoran & Stanley Ziewacz - 1979 - Notre Dame Journal of Formal Logic 20 (4):777-784.
    In this paper we prove the completeness of three logical systems I LI, IL2 and IL3. IL1 deals solely with identities {a = b), and its deductions are the direct deductions constructed with the three traditional rules: (T) from a = b and b = c infer a = c, (S) from a = b infer b = a and (A) infer a = a(from anything). IL2 deals solely with identities and inidentities {a ± b) and its deductions include both (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Rancière and Aristotle: Parapolitics, Part-y Politics and the Institution of Perpetual Politics.Adriel Trott - 2012 - Journal for Speculative Philosophy 26 (4):627-646.
    This article addresses Rancière’s critique of Aristotle’s political theory as parapolitics in order to show that Aristotle is a resource for developing an inclusionary notion of political community. Rancière argues that Aristotle attempts to cut off politics and merely police (maintain) the community by eliminating the political claim of the poor by including it. I respond to three critiques that Rancière makes of Aristotle: that he ends the political dispute by including the demos in the government; that he includes the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. The ethics of placebo-controlled trials in developing countries to prevent mother-to-child transmission of HIV.John N. Williams - 2000 - Annals, Academy of Medicine, Singapore 29 (5):557-562.
    Placebo-trials on HIV-infected pregnant women in developing countries like Thailand and Uganda have provoked recent controversy. Such experiments aim to find a treatment that will cut the rate of vertical transmission more efficiently than existing treatments like zidovudine. This scenario is first stated as generally as possible, before three ethical principles found in the Belmont Report, itself a sharpening of the Helsinki Declaration, are stated. These three principles are the Principle of Utility, the Principle of Autonomy and the Principle of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Refining Labelled Systems for Modal and Constructive Logics with Applications.Tim Lyon - 2021 - Dissertation, Technischen Universität Wien
    This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  30. The Separation of Powers Principle: Is it a Lynchpin or Pushpin for the Voyage of American Public?Kiyoung Kim - 2014 - International Journal of Advanced Research 8 (2):887-895.
    The separation of powers principle deeply heritaged in the US constitutionalism affected and continues to influence the law and public policy in the nation. The tripartite scheme of government was quarreled over the history how we have to perceive any best adequate interaction among the Congress, Executive and Judiciary. The Constitution itself merely quibbles on this point, and the Supreme Court justices, in some cases, would not be done as a clear cut for the scope of constitutional power conferred on (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Short Note on Unification of Field Equations and Probability.Mesut Kavak - manuscript
    Is math in harmony with existence? Is it possible to calculate any property of existence over math? Is exact proof of something possible without pre-acceptance of some physical properties? This work is realized to analysis these arguments somehow as simple as possible over short cuts, and it came up with some compatible results finally. It seems that both free space and moving bodies in this space are dependent on the same rule as there is no alternative, and the (...) is determined by mathematics. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Cutting God in Half - And Putting the Pieces Together Again: A New Approach to Philosophy.Nicholas Maxwell - 2010 - Pentire Press.
    Cutting God in Half argues that, in order to tackle climate change, world poverty, extinction of species and our other global problems rather better than we are doing at present we need to bring about a revolution in science, and in academia more generally. We need to put our problems of living – personal, social, global – at the heart of the academic enterprise. How our human world, imbued with meaning and value, can exist and best flourish embedded in the (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  33. Cut-conditions on sets of multiple-alternative inferences.Harold T. Hodes - 2022 - Mathematical Logic Quarterly 68 (1):95 - 106.
    I prove that the Boolean Prime Ideal Theorem is equivalent, under some weak set-theoretic assumptions, to what I will call the Cut-for-Formulas to Cut-for-Sets Theorem: for a set F and a binary relation |- on Power(F), if |- is finitary, monotonic, and satisfies cut for formulas, then it also satisfies cut for sets. I deduce the CF/CS Theorem from the Ultrafilter Theorem twice; each proof uses a different order-theoretic variant of the Tukey- Teichmüller Lemma. I then discuss relationships between various (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Regulative Rules: A Distinctive Normative Kind.Reiland Indrek - 2024 - Philosophy and Phenomenological Research 108 (3):772-791.
    What are rules? In this paper I develop a view of regulative rules which takes them to be a distinctive normative kind occupying a middle ground between orders and normative truths. The paradigmatic cases of regulative rules that I’m interested in are social rules like rules of etiquette and legal rules like traffic rules. On the view I’ll propose, a rule is a general normative content that is in force due to human activity: enactment by an authority or acceptance (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Rule-Following I: The Basic Issues.Indrek Reiland - 2024 - Philosophy Compass 19 (1):e12900.
    Rule-following’ is a name for a cluster of phenomena where we seem both guided and “normatively” constrained by something general in performing particular actions. Understanding the phenomenon is important because of its connection to meaning, representation, and content. This article gives an overview of the philosophical discussion of rule-following with emphasis on Kripke’s skeptical paradox and recent work on possible solutions. Part I of this two-part contribution is devoted to the basic issues from Wittgenstein to Kripke. Part II (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Cut-free Calculi and Relational Semantics for Temporal STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In Francesco Calimeri, Nicola Leone & Marco Manna (eds.), Logics in Artificial Intelligence. Springer. pp. 803 - 819.
    We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames.
    Download  
     
    Export citation  
     
    Bookmark  
  37. Cut-off points for the rational believer.Lina Maria Lissia - 2022 - Synthese 200 (2):1-19.
    I show that the Lottery Paradox is just a version of the Sorites, and argue that this should modify our way of looking at the Paradox itself. In particular, I focus on what I call “the Cut-off Point Problem” and contend that this problem, well known by Sorites scholars, ought to play a key role in the debate on Kyburg’s puzzle. Very briefly, I show that, in the Lottery Paradox, the premises “ticket n°1 will lose”, “ticket n°2 will lose”… “ticket (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  38. Sustaining rules: a model and application.John Turri - 2017 - In J. Adam Carter, Emma C. Gordon & Benjamin W. Jarvis (eds.), Knowledge First: Approaches in Epistemology and Mind. Oxford: Oxford University Press.
    I introduce an account of when a rule normatively sustains a practice. My basic proposal is that a rule normatively sustains a practice when the value achieved by following the rule explains why agents continue following that rule, thus establishing and sustaining a pattern of activity. I apply this model to practices of belief management and identifies a substantive normative connection between knowledge and belief. More specifically, I proposes one special way that knowledge might set the (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  39. Constitutive Rules: Games, Language, and Assertion.Indrek Reiland - 2018 - Philosophy and Phenomenological Research 100 (1):136-159.
    Many philosophers think that games like chess, languages like English, and speech acts like assertion are constituted by rules. Lots of others disagree. To argue over this productively, it would be first useful to know what it would be for these things to be rule-constituted. Searle famously claimed in Speech Acts that rules constitute things in the sense that they make possible the performance of actions related to those things (Searle 1969). On this view, rules constitute games, languages, and (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  40. Rules of Use.Indrek Reiland - 2023 - Mind and Language 38 (2):566-583.
    In the middle of the 20th century, it was a common Wittgenstein-inspired idea in philosophy that for a linguistic expression to have a meaning is for it to be governed by a rule of use. In other words, it was widely believed that meanings are to be identified with use-conditions. However, as things stand, this idea is widely taken to be vague and mysterious, inconsistent with “truth-conditional semantics”, and subject to the Frege-Geach problem. In this paper I reinvigorate the (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  41. II*—Rule-Consequentialism, Incoherence, Fairness1.Brad Hooker - 1995 - Proceedings of the Aristotelian Society 95 (1):19-36.
    Brad Hooker; II*—Rule-Consequentialism, Incoherence, Fairness1, Proceedings of the Aristotelian Society, Volume 95, Issue 1, 1 June 1995, Pages 19–36, https://d.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  42. Rule-Consequentialism's Assumptions.Kevin P. Tobia - 2018 - Utilitas 30 (4):458-471.
    Rule-Consequentialism faces “the problem of partial acceptance”: How should the ideal code be selected given the possibility that its rules may not be universally accepted? A new contender, “Calculated Rates” Rule-Consequentialism claims to solve this problem. However, I argue that Calculated Rates merely relocates the partial acceptance question. Nevertheless, there is a significant lesson from this failure of Calculated Rates. Rule-Consequentialism’s problem of partial acceptance is more helpfully understood as an instance of the broader problem of selecting (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  43. Cut-offs and their Neighbors.Achille C. Varzi - 2003 - In J. C. Beall (ed.), Liars and Heaps: New Essays on Paradox. Oxford, England: Oxford University Press UK. pp. 24–38.
    In ‘Towards a Solution to the Sorites Paradox’, Graham Priest gives us a new account of the sorites based on fuzzy logic. The novelty lies in the suggestion that truth-value assignments should themselves be treated as fuzzy objects, i.e., objects about which we can make fuzzy identity statements. I argue that Priest’s solution does not have the explanatory force that Priest advocates. That is, it does not explain why we find the existence of a cut-off point counter-intuitive. I also argue (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  44. Metal Cutting Tool Position Control using Static Output Feedback and Full State Feedback H2 Controllers.Mustefa Jibril, Messay Tadese & Roman Girma - 2020 - Report and Opinion Journal 12 (9):27-32.
    In this paper, a metal cutting machine position control have been designed and simulated using Matlab/Simulink Toolbox successfully. The open loop response of the system analysis shows that the system needs performance improvement. Static output feedback and full state feedback H 2 controllers have been used to increase the performance of the system. Comparison of the metal cutting machine position using static output feedback and full state feedback H 2 controllers have been done to track a set point position using (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Dispositions, rules, and finks.Toby Handfield & Alexander Bird - 2007 - Philosophical Studies 140 (2):285 - 298.
    This paper discusses the prospects of a dispositional solution to the Kripke–Wittgenstein rule-following puzzle. Recent attempts to employ dispositional approaches to this puzzle have appealed to the ideas of finks and antidotes—interfering dispositions and conditions—to explain why the rule-following disposition is not always manifested. We argue that this approach fails: agents cannot be supposed to have straightforward dispositions to follow a rule which are in some fashion masked by other, contrary dispositions of the agent, because in all (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  46. Unfollowed Rules and the Normativity of Content.Eric V. Tracy - 2020 - Analytic Philosophy 61 (4):323-344.
    Foundational theories of mental content seek to identify the conditions under which a mental representation expresses, in the mind of a particular thinker, a particular content. Normativists endorse the following general sort of foundational theory of mental content: A mental representation r expresses concept C for agent S just in case S ought to use r in conformity with some particular pattern of use associated with C. In response to Normativist theories of content, Kathrin Glüer-Pagin and Åsa Wikforss propose a (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  47. Semantic Rules, Modal Knowledge, and Analyticity.Antonella Mallozzi - 2023 - In Duško Prelević & Anand Vaidya (eds.), Epistemology of Modality and Philosophical Methodology. New York, NY: Routledge.
    According to Amie Thomasson's Modal Normativism (MN), knowledge of metaphysical modality is to be explained in terms of a speaker’s mastery of semantic rules, as opposed to one’s epistemic grasp of independent modal facts. In this chapter, I outline (MN)'s account of modal knowledge (§1) and argue that more than semantic mastery is needed for knowledge of metaphysical modality. Specifically (§2), in reasoning aimed at gaining such knowledge, a competent speaker needs to further deploy essentialist principles and information. In response, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Blind Rule-Following and the Regress of Motivations.Zachary Mitchell Swindlehurst - 2023 - Inquiry: An Interdisciplinary Journal of Philosophy 66 (6):1170-1183.
    Normativists about belief hold that belief formation is essentially rule- or norm-guided. On this view, certain norms are constitutive of or essential to belief in such a way that no mental state not guided by those norms counts as a belief, properly construed. In recent influential work, Kathrin Glüer and Åsa Wikforss develop novel arguments against normativism. According to their regress of motivations argument, not all belief formation can be rule- or norm-guided, on pain of a vicious infinite (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Rule Consequentialism and the Problem of Partial Acceptance.Kevin Tobia - 2013 - Ethical Theory and Moral Practice 16 (3):643-652.
    Most plausible moral theories must address problems of partial acceptance or partial compliance. The aim of this paper is to examine some proposed ways of dealing with partial acceptance problems as well as to introduce a new Rule Utilitarian suggestion. Here I survey three forms of Rule Utilitarianism, each of which represents a distinct approach to solving partial acceptance issues. I examine Fixed Rate, Variable Rate, and Optimum Rate Rule Utilitarianism, and argue that a new approach, Maximizing (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  50. The Rule of Law and Equality.Paul Gowder - 2013 - Law and Philosophy 32 (5):565-618.
    This paper describes and defends a novel and distinctively egalitarian conception of the rule of law. Official behavior is to be governed by preexisting, public rules that do not draw irrelevant distinctions between the subjects of law. If these demands are satisfied, a state achieves vertical equality between officials and ordinary people and horizontal legal equality among ordinary people.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
1 — 50 / 995