Results for 'general elimination rules'

1000+ found
Order:
  1. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. A General Schema for Bilateral Proof Rules.Ryan Simonelli - 2024 - Journal of Philosophical Logic (3):1-34.
    Bilateral proof systems, which provide rules for both affirming and denying sentences, have been prominent in the development of proof-theoretic semantics for classical logic in recent years. However, such systems provide a substantial amount of freedom in the formulation of the rules, and, as a result, a number of different sets of rules have been put forward as definitive of the meanings of the classical connectives. In this paper, I argue that a single general schema for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Normalisation and subformula property for a system of classical logic with Tarski’s rule.Nils Kürbis - 2021 - Archive for Mathematical Logic 61 (1):105-129.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  4. A Two-Dimensional Logic for Two Paradoxes of Deontic Modality.Fusco Melissa & Kocurek Alexander - 2022 - Review of Symbolic Logic 15 (4):991-1022.
    In this paper, we axiomatize the deontic logic in Fusco 2015, which uses a Stalnaker-inspired account of diagonal acceptance and a two-dimensional account of disjunction to treat Ross’s Paradox and the Puzzle of Free Choice Permission. On this account, disjunction-involving validities are a priori rather than necessary. We show how to axiomatize two-dimensional disjunction so that the introduction/elimination rules for boolean disjunction can be viewed as one-dimensional projections of more general two-dimensional rules. These completeness results help (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Against Harmony.Ian Rumfitt - forthcoming - In Bob Hale, Crispin Wright & Alexander Miller (eds.), The Blackwell Companion to the Philosophy of Language. Blackwell.
    Many prominent writers on the philosophy of logic, including Michael Dummett, Dag Prawitz, Neil Tennant, have held that the introduction and elimination rules of a logical connective must be ‘in harmony ’ if the connective is to possess a sense. This Harmony Thesis has been used to justify the choice of logic: in particular, supposed violations of it by the classical rules for negation have been the basis for arguments for switching from classical to intuitionistic logic. The (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  6. Stable Harmony.Nils Kurbis - 2008 - In Peliš Michal (ed.), Logica Yearbook 2007.
    In this paper, I'll present a general way of "reading off" introduction/elimination rules from elimination/introduction rules, and define notions of harmony and stability on the basis of it.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  7. Teaching the PARC System of Natural Deduction.Daryl Close - 2015 - American Association of Philosophy Teachers Studies in Pedagogy 1:201-218.
    PARC is an "appended numeral" system of natural deduction that I learned as an undergraduate and have taught for many years. Despite its considerable pedagogical strengths, PARC appears to have never been published. The system features explicit "tracking" of premises and assumptions throughout a derivation, the collapsing of indirect proofs into conditional proofs, and a very simple set of quantificational rules without the long list of exceptions that bedevil students learning existential instantiation and universal generalization. The system can be (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. The enduring scandal of deduction: is propositional logic really uninformative?Marcello D'Agostino & Luciano Floridi - 2009 - Synthese 167 (2):271-315.
    Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of growing (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  9. What does '&' mean?Axel Arturo Barceló Aspeitia - 2007 - The Proceedings of the Twenty-First World Congress of Philosophy 5:45-50.
    Using conjunction as an example, I show a technical and philosophical problem when trying to conciliate the currently prevailing views on the meaning of logical connectives: the inferientialist (also called 'syntactic') one based on introduction and elimination rules, and the representationalist (also called 'semantic') one given through truth tables. Mostly I show that the widespread strategy of using the truth theoretical definition of logical consequence to collapse both definitions must be rejected by inferentialists. An important consequence of my (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. The Normativity Question in Quine’s Naturalism: The Context of Language Learning Situation.Shonkholen Mate - 2023 - Balkan Journal of Philosophy 15 (2):165-178.
    Quine has been charged with eliminating the normative dimension from his naturalized epistemology. The aim of the paper is to look at the role of empathy in Quine's language learning situation, which in its simplest form is constituted by the parent-child relation. We will explore the normativity of the role of empathy thereof by exploiting the sociality of the language learning situation. Since the sociality of Quine's notion of empathy is implicit, to explore the normativity expression thereof, we will examine (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Time's Arrow in a Quantum Universe: On the Status of Statistical Mechanical Probabilities.Eddy Keming Chen - 2020 - In Valia Allori (ed.), Statistical Mechanics and Scientific Explanation: Determinism, Indeterminism and Laws of Nature. World Scientific. pp. 479–515.
    In a quantum universe with a strong arrow of time, it is standard to postulate that the initial wave function started in a particular macrostate---the special low-entropy macrostate selected by the Past Hypothesis. Moreover, there is an additional postulate about statistical mechanical probabilities according to which the initial wave function is a ''typical'' choice in the macrostate. Together, they support a probabilistic version of the Second Law of Thermodynamics: typical initial wave functions will increase in entropy. Hence, there are two (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  13. Non-Ideal Epistemic Spaces.Jens Christian Bjerring - 2010 - Dissertation, Australian National University
    In a possible world framework, an agent can be said to know a proposition just in case the proposition is true at all worlds that are epistemically possible for the agent. Roughly, a world is epistemically possible for an agent just in case the world is not ruled out by anything the agent knows. If a proposition is true at some epistemically possible world for an agent, the proposition is epistemically possible for the agent. If a proposition is true at (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  14. The identical rivals response to underdetermination.Greg Frost-Arnold & P. D. Magnus - 2009 - In P. D. Magnus Jacob Busch (ed.), New Waves in Philosophy of Science. Palgrave-Macmillan.
    The underdetermination of theory by data obtains when, inescapably, evidence is insufficient to allow scientists to decide responsibly between rival theories. One response to would-be underdetermination is to deny that the rival theories are distinct theories at all, insisting instead that they are just different formulations of the same underlying theory; we call this the identical rivals response. An argument adapted from John Norton suggests that the response is presumptively always appropriate, while another from Larry Laudan and Jarrett Leplin suggests (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  15. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. 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  
  17. 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  
     
    Export citation  
     
    Bookmark   1 citation  
  18. 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   2 citations  
  19.  75
    Why mental explanations are physical explanations.Julian M. Jackson - 1995 - South African Journal of Philosophy 14 (3):109-123.
    Mental explanations of behaviour are physical explanations of a special kind. Mental events are physical events. Mental explanations of physical behaviour are not mysterious, they designate events with physical causal powers. Mentalistic terms differ from physicalistic ones in the way they specify events: the former cite extrinsic properties, the latter intrinsic properties. The nature of explanation in general is discussed, and a naturalistic view of intentionality is proposed. The author shows why epistemological considerations rule out the elimination of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Origin and Resolution of Theory-Choice Situations in Modern Theory of gravity.Rinat M. Nugayev - 1987 - Methodology and Science 20 (4):177-197.
    A methodological model of origin and settlement of theory-choice situations (previously tried on the theories of Einstein and Lorentz in electrodynamics) is applied to modern Theory of Gravity. The process of origin and growth of empirically-equivalent relativistic theories of gravitation is theoretically reproduced. It is argued that all of them are proposed within the two rival research programmes – (1) metric (A. Einstein et al.) and (2) nonmetric (H. Poincare et al.). Each programme aims at elimination of the cross-contradiction (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Cross-linguistic semantics for questions.Maria Bittner - 1998 - Linguistics and Philosophy 21 (1):1-82.
    : The Hamblin-Karttunen approach has led to many insights about questions in English. In this article the results of this rule-by-rule tradition are reconsidered from a crosslinguistic perspective. Starting from the type-driven XLS theory developed in Bittner (1994a, b), it is argued that evidence from simple questions (in English, Polish, Lakhota and Warlpiri) leads to certain revisions. The revised XLS theory then immediately generalizes to complex questions — including scope marking (Hindi), questions with quantifiers (English) and multiple wh-questions (English, Hindi, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  22. Why “is at”? —On Quine’s Objection to Carnap’s Aufbau in “Two Dogmas of Empiricism”.Ka Ho Lam - 2018 - Journal for the History of Analytical Philosophy 6 (4).
    In “Two Dogmas”, Quine indicates that Carnap’s Aufbau fails “in principle” to reduce our knowledge of the external world to sense data. This is because in projecting the sensory material to reconstruct the physical world, Carnap gives up the use of operating rules and switches to a procedure informed by general principles. This procedure falls short of providing an eliminative translation for the connective “is at”, which is necessary for the reduction. In dissecting Quine’s objection, I argue that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Algorithmic correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA.Willem Conradie & Valentin Goranko - 2008 - Journal of Applied Non-Classical Logics 18 (2):175-211.
    In a previous work we introduced the algorithm \SQEMA\ for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general correspondence and canonical completeness result. \SQEMA\ is based on transformation rules, the most important of which employs a modal version of a result by Ackermann that enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative polarity condition on that variable is satisfied. In this paper we develop (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  24. 1) Divus Augustus Pater. Kult boskiego Augusta za rządów dynastii julijsko-klaudyjskiej.Ryszard Sajkowski - 2001 - Olsztyn: Wydawnictwo Uniwersytetu Warmińsko-Mazurskiego.
    Divus Augustus Pater. The cult of divine Augustus under the rule of the Julio-Claudian dynasty -/- Summary The cult of divine Augustus was one of the most important phenomena of ideological nature under the rule of the Julio-Claudian dynasty. The crucial point of its development was the apotheosis conducted on 17 September 14 AD. The new cult was derived greatly from numerous borrowings from the rites of various gods of the Roman Pantheon. As divus, Augustus received a separate priest, a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25.  14
    Computers will not acquire general intelligence, but may still rule the world.Ragnar Fjelland - 2024 - Cosmos+Taxis 12 (5+6):58-68.
    Jobst Langrebe’s and Barry Smith’s book Why Machines Will Never Rule the World argues that artificial general intelligence (AGI) will never be realized. Drawing on theories of complexity they argue that it is not only technically, but mathematically impossible to realize AGI. The book is the result of cooperation between a philosopher and a mathematician. In addition to a thorough treatment of mathematical modelling of complex systems the book addresses many fundamental philosophical questions. The authors show that philosophy is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Hume's "General Rules".James Chamberlain - forthcoming - Philosophers' Imprint.
    In this paper, I examine Hume’s account of an important class of causal belief which he calls “general rules”. I argue that he understands general rules, like all causal beliefs, as lively ideas which are habitually associated with our impressions or memories. However, I argue, he believes that they are unlike any reflectively produced causal beliefs in that they are produced quickly and automatically, such that they occur independently of any other processes of reasoning. Given this, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Професійна культура і безпека: інноваційний підхід до впровадження в медичному закладі.D. K. Hromtseva & Oleksandr Krupskyi - 2015 - European Journal of Management Issues 5 (23):15-23.
    The issue of safety culture is one of the most important in a modern medical facility because any problems during the provision of services may lead to irreversible consequences. Not only the patient may suffer, but the doctor who assisted. Unfortunately, very little attention to this issue is paid in Ukraine. Based on this, we can say that the topic is relevant and requires studying. -/- The purpose of writing this article is the analysis of the ways of forming professional (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Judgment aggregation by quota rules: Majority voting generalized.Franz Dietrich & Christian List - 2007 - Journal of Theoretical Politics 19 (4):391-424.
    The widely discussed "discursive dilemma" shows that majority voting in a group of individuals on logically connected propositions may produce irrational collective judgments. We generalize majority voting by considering quota rules, which accept each proposition if and only if the number of individuals accepting it exceeds a given threshold, where different thresholds may be used for different propositions. After characterizing quota rules, we prove necessary and sufficient conditions on the required thresholds for various collective rationality requirements. We also (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  29. General Relativity eliminates Dark Energy, Dark Matter and Universal Expansion.Rodney Bartlett - 2018
    This letter was rejected by International Knowledge Press because "we are unable to conclude that these findings would warrant publication in this journal." The letter is suggesting that dark energy, dark matter and universal expansion are intimately related. However, they aren't viewed as revolutions in cosmology which are essential to a complete understanding of the modern universe. They are instead viewed as properties which need to be added to the cosmos when Einstein's theory of gravity (General Relativity) is apparently (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. The Rule of Law and the Importance of Procedure.Jeremy Waldron - 2011 - Nomos 50:3-31.
    Proponents of the rule of law argue about whether that ideal should be conceived formalistically or in terms of substantive values. Formalistically, the rule of law is associated with principles like generality, clarity, prospectivity, consistency, etc. Substantively, it is associated with market values, with constitutional rights, and with freedom and human dignity. In this paper, I argue for a third layer of complexity: the procedural aspect of the rule of law; the aspects of rule-of-law requirements that have to do with (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  31. General Rules and the Justification of Probable Belief in Hume’s Treatise.Jack C. Lyons - 2001 - Hume Studies 27 (2):247-278.
    An examination of the role played by general rules in Hume's positive (nonskeptical) epistemology. General rules for Hume are roughly just general beliefs. The difference between justified and unjustified belief is a matter of the influence of good versus bad general rules, the good general rules being the "extensive" and "constant" ones.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  32. Belief revision generalized: A joint characterization of Bayes's and Jeffrey's rules.Franz Dietrich, Christian List & Richard Bradley - 2016 - Journal of Economic Theory 162:352-371.
    We present a general framework for representing belief-revision rules and use it to characterize Bayes's rule as a classical example and Jeffrey's rule as a non-classical one. In Jeffrey's rule, the input to a belief revision is not simply the information that some event has occurred, as in Bayes's rule, but a new assignment of probabilities to some events. Despite their differences, Bayes's and Jeffrey's rules can be characterized in terms of the same axioms: "responsiveness", which requires (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  33. The Exemplification of Rules: An Appraisal of Pettit’s Approach to the Problem of Rule-following.Daniel Watts - 2012 - International Journal of Philosophical Studies 20 (1):69-90.
    Abstract This paper offers an appraisal of Phillip Pettit's approach to the problem how a merely finite set of examples can serve to represent a determinate rule, given that indefinitely many rules can be extrapolated from any such set. I argue that Pettit's so-called ethnocentric theory of rule-following fails to deliver the solution to this problem he sets out to provide. More constructively, I consider what further provisions are needed in order to advance Pettit's general approach to the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  34. Meta-Empirical Support for Eliminative Reasoning.C. D. McCoy - 2021 - Studies in History and Philosophy of Science Part A 90:15-29.
    Eliminative reasoning is a method that has been employed in many significant episodes in the history of science. It has also been advocated by some philosophers as an important means for justifying well-established scientific theories. Arguments for how eliminative reasoning is able to do so, however, have generally relied on a too narrow conception of evidence, and have therefore tended to lapse into merely heuristic or pragmatic justifications for their conclusions. This paper shows how a broader conception of evidence not (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  35. 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 at (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. 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 will (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Eliminating episodic memory?Nikola Andonovski, John Sutton & Christopher McCarroll - forthcoming - Philosophical Transactions of the Royal Society B.
    In Tulving’s initial characterization, episodic memory was one of multiple memory systems. It was postulated, in pursuit of explanatory depth, as displaying proprietary operations, representations, and substrates such as to explain a range of cognitive, behavioural, and experiential phenomena. Yet the subsequent development of this research program has, paradoxically, introduced surprising doubts about the nature, and indeed existence, of episodic memory. On dominant versions of the ‘common system’ view, on which a single simulation system underlies both remembering and imagining, there (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  57
    Law, the Rule of Law, and Goodness-Fixing Kinds.Emad H. Atiq - forthcoming - Engaging Raz: Themes in Normative Philosophy (OUP).
    Laws can be evaluated as better or worse relative to different normative standards. But the standard set by the Rule of Law defines a kind-relative standard of evaluation: features like generality, publicity, and non-retroactivity make the law better as law. This fact about legal evaluation invites a comparison between law and other “goodness-fixing kinds,” where a kind is goodness-fixing if what it is to be a member of the kind fixes a standard for evaluating instances as better or worse. Indeed, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Is Artificial General Intelligence Impossible?William J. Rapaport - 2024 - Cosmos+Taxis 12 (5+6):5-22.
    In their Why Machines Will Never Rule the World, Landgrebe and Smith (2023) argue that it is impossible for artificial general intelligence (AGI) to succeed, on the grounds that it is impossible to perfectly model or emulate the “complex” “human neurocognitive system”. However, they do not show that it is logically impossible; they only show that it is practically impossible using current mathematical techniques. Nor do they prove that there could not be any other kinds of theories than those (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Rule-Following II: Recent Work and New Puzzles.Indrek Reiland - 2024 - Philosophy Compass 19 (5):e12976.
    ‘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 was devoted to the basic issues from Wittgenstein to Kripke. Part II is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Generalized logical operations among conditional events.Angelo Gilio & Giuseppe Sanfilippo - 2019 - Applied Intelligence 49:79-102.
    We generalize, by a progressive procedure, the notions of conjunction and disjunction of two conditional events to the case of n conditional events. In our coherence-based approach, conjunctions and disjunctions are suitable conditional random quantities. We define the notion of negation, by verifying De Morgan’s Laws. We also show that conjunction and disjunction satisfy the associative and commutative properties, and a monotonicity property. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals; in particular (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  43. 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. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  45. Rule-following and Functions.André Porto - 2013 - O Que Nos Faz Pensar 33:95-141.
    This paper presents a new reconstruction of Wittgenstein’s famous (and controversial) rule-following arguments. Two are the novel features offered by our reconstruction. In the first place, we propose a shift of the central focus of the discussion, from the general semantics and the philosophy of mind to the philosophy of mathematics and the rejection of the notion of a function. The second new feature is positive: we argue that Wittgenstein offers us a new alternative notion of a rule (to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Virtue, Rule-Following, and Absolute Prohibitions.Jeremy Reid - 2019 - Journal of the American Philosophical Association 5 (1):78-97.
    In her seminal article ‘Modern Moral Philosophy’ (1958) Elizabeth Anscombe argued that we need a new ethics, one that uses virtue terms to generate absolute prohibitions against certain act-types. Leading contemporary virtue ethicists have not taken up Anscombe's challenge in justifying absolute prohibitions and have generally downplayed the role of rule-following in their normative theories. That they have not done so is primarily because contemporary virtue ethicists have focused on what is sufficient for characterizing the deliberation and action of the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  47. Framework for Harm Elimination in Light of the Islamic Legal Maxims.Sayyed Mohamed Muhsin, Muhammad Amanullah & Luqman Zakariyah - 2019 - The Islamic Quarterly 63 (2):233-272.
    Islamic legal maxims (qawāʿʿid fiqhiyyah) provide necessary basis for extracting legal injunctions on the unprecedented cases (fiqh al-nawāzil) and make it possible for the jurists to forego the need of memorizing copious fiqh treatises. In light of this fact, this article attempts to design a framework for harm elimination, utilizing the related legal maxims, which will be arguably of great use in developing an outlook that enables a person to tackle the many challenges he or she finds in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Truth and assertion: rules vs aims.Neri Marsili - 2018 - Analysis 78 (4):638–648.
    There is a fundamental disagreement about which norm regulates assertion. Proponents of factive accounts argue that only true propositions are assertable, whereas proponents of non-factive accounts insist that at least some false propositions are. Puzzlingly, both views are supported by equally plausible (but apparently incompatible) linguistic data. This paper delineates an alternative solution: to understand truth as the aim of assertion, and pair this view with a non-factive rule. The resulting account is able to explain all the relevant linguistic data, (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  49. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. On rules of inference and the meanings of logical constants.Panu Raatikainen - 2008 - Analysis 68 (4):282-287.
    In the theory of meaning, it is common to contrast truth-conditional theories of meaning with theories which identify the meaning of an expression with its use. One rather exact version of the somewhat vague use-theoretic picture is the view that the standard rules of inference determine the meanings of logical constants. Often this idea also functions as a paradigm for more general use-theoretic approaches to meaning. In particular, the idea plays a key role in the anti-realist program of (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
1 — 50 / 1000