Results for 'the logic of rules'

1000+ found
Order:
  1.  53
    Advances in Contemporary Logic and Computer Science Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW]Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paulo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  14
    Logic as a Normative Science According to Peirce, Normative Sciences Are the “Most Purely Theoretical of Purely Theoretical Sciences”(CP 1.281, C. 1902, A Detailed Classification of the Sciences). At the Same Time, He Takes Logic to Be a Normative Science. These Two Sentences Form a Highly Interesting Pair of Assertions. Why Is. [REVIEW]Based On Rules - 2012 - In Cornelis De Waal & Krzysztof Piotr Skowroński (eds.), The Normative Thought of Charles S. Peirce. Fordham University Press.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  11
    Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK.Erica Calardo - 2006 - Logic Journal of the IGPL 14 (1):15-34.
    The paper investigates admissible inference rules for the multi-modal logic LTK, which describes a combination of linear time and knowledge. This logic is semantically defined as the set of all ℒ.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  11
    A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC.Vladimir V. Rybakov, Mehmet Terziler & Vitaliy Remazki - 2000 - Mathematical Logic Quarterly 46 (2):207-218.
    We study the problem of finding a basis for all rules admissible in the intuitionistic propositional logic IPC. The main result is Theorem 3.1 which gives a basis consisting of all rules in semi-reduced form satisfying certain specific additional requirements. Using developed technique we also find a basis for rules admissible in the logic of excluded middle law KC.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  26
    Inferential Acts and Inferential Rules. The Intrinsic Normativity of Logic.Friedrich Reinmuth & Geo Siegwart - 2016 - Analyse & Kritik 38 (2):417–431.
    We outline a pragmatic-normative understanding of logic as a discipline that is completely anchored in the sphere of action, rules, means and ends: We characterize inferring as a speech act which is in need of regulation and we connect inferential rules with consequence relations. Furthermore, we present a scenario which illustrates how one actually assesses or can in principle assess the quality of logical rules with respect to justificatory questions. Finally, we speculate on the origin of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  13
    The Modal Equivalence Rules of the Port-Royal Logic.John Grey - 2017 - History and Philosophy of Logic 38 (3):210-221.
    The Port-Royal Logic includes a brief discussion of modal propositions, containing several mnemonic devices for rules of equivalence governing the possibility, necessity, impossibility, and contingency of propositions. When the mnemonics are decoded, it can be seen that these rules treat possibility and contingency as formally equivalent modes. The aim of this paper is twofold: to show that this identification of possibility and contingency follows from the Logic’s formal treatment of those modes; and to show that such (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7.  25
    Do Syllogisms Commit the Petitio Principii? The Role of Inference-Rules in Mill's Logic of Truth.David Botting - 2014 - History and Philosophy of Logic 35 (3):237-247.
    It is a common complaint that the syllogism commits a petitio principii. This is discussed extensively by John Stuart Mill in ‘A System of Logic’ [1882. Eighth Edition, New York: Harper and Brothers] but is much older, being reported in Sextus Empiricus in chapter 17 of the ‘Outlines of Pyrrhonism’ [1933. in R. G. Bury, Works, London and New York: Loeb Classical Library]. Current wisdom has it that Mill gives an account of the syllogism that avoids being a petitio (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  8.  25
    On the Admissible Rules of Intuitionistic Propositional Logic.Rosalie Iemhoff - 2001 - Journal of Symbolic Logic 66 (1):281-294.
    We present a basis for the admissible rules of intuitionistic propositional logic. Thereby a conjecture by de Jongh and Visser is proved. We also present a proof system for the admissible rules, and give semantic criteria for admissibility.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  9.  5
    Order Without Rules: Critical Theory and the Logic of Conversation.David Bogen - 1999 - State University of New York Press.
    Questions whether the logic of language underlying Habermas's theory of communicative action is in fact the defining feature of conversational practice.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  10.  15
    Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic.Petr Cintula & George Metcalfe - 2010 - Annals of Pure and Applied Logic 162 (2):162-171.
    Uniform infinite bases are defined for the single-conclusion and multiple-conclusion admissible rules of the implication–negation fragments of intuitionistic logic and its consistent axiomatic extensions . A Kripke semantics characterization is given for the structurally complete implication–negation fragments of intermediate logics, and it is shown that the admissible rules of this fragment of form a PSPACE-complete set and have no finite basis.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  11. Reflections on the Logic of Rules.Peter Schotch - manuscript
    This account of the logic of rules is stratified. The various layers consist of the logic of states, i.e. essentially classical logic (of the usual sort), the logic of agents and action types (or as I call them routines), and the logic of rules proper, as the top layer. It is assumed in this essay that the reader has an adequate grasp of classical logic.
     
    Export citation  
     
    Bookmark  
  12.  7
    On the Admissible Rules of Intuitionistic Propositional Logic.Rosalie Iemhoff - 2001 - Journal of Symbolic Logic 66 (1):281-294.
    We present a basis for the admissible rules of intuitionistic propositional logic. Thereby a conjecture by de Jongh and Visser is proved. We also present a proof system for the admissible rules, and give semantic criteria for admissibility.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  13.  16
    The Logic of Algebraic Rules as a Generalization of Equational Logic.Tomasz Furmanowski - 1983 - Studia Logica 42 (2-3):251 - 257.
    In this paper we start an investigation of a logic called the logic of algebraic rules. The relation of derivability of this logic is defined on universal closures of special disjunctions of equations extending the relation of derivability of the usual equational logic. The paper contains some simple theorems and examples given in justification for the introduction of our logic. A number of open questions is posed.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Logic, or, the Art of Thinking: Containing, Besides Common Rules, Several New Observations Appropriate for Forming Judgment.Antoine Arnauld - 1996 - Cambridge University Press.
    Antoine Arnauld and Pierre Nicole were philosophers and theologians associated with Port-Royal Abbey, a centre of the Catholic Jansenist movement in seventeenth-century France. Their enormously influential Logic or the Art of Thinking, which went through five editions in their lifetimes, treats topics in logic, language, theory of knowledge and metaphysics, and also articulates the response of 'heretical' Jansenist Catholicism to orthodox Catholic and Protestant views on grace, free will and the sacraments. In attempting to combine the categorical theory (...)
     
    Export citation  
     
    Bookmark   36 citations  
  15. Descartes' Rules and the Workings of the Mind.Eric Palmer - 1997 - North American Kant Society:269-282.
    I briefly consider why Descartes stopped work on the _Rules_ towards the end of my paper. My main concern is to accurately characterize the project represented in the _Rules_, especially in its relation to early-modern logic.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  15
    David Bogen, Order Without Rules: Critical Theory and the Logic of Conversation.J. J. Chriss - 2002 - Human Studies 25 (2):241-249.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17. Logic, or, the Right Use of Reason in the Inquiry After Truth with a Variety of Rules to Guard Against Error in the Affairs of Religion and Human Life, as Well as in the Sciences.Isaac Watts - 1725 - Soli Deo Gloria Publications.
  18. The Improvement of the Mind, or, a Supplement to the Art of Logic: Containing a Variety of Remarks and Rules for the Attainment and Communication of Useful Knowledge in Religion, in the Sciences, and in Common Life ; to Which is Added, a Discourse on the Education of Children and Youth.Isaac Watts - 1833 - Soli Deo Gloria Publications.
  19.  10
    Pandora Logic: Rules, Moral Judgement and the Fundamental Principles of Olympism.Leon Culbertson - 2012 - Sport, Ethics and Philosophy 6 (2):195-210.
    This article is concerned with the role of moral principles, specifically the Fundamental Principles of Olympism, in the judgements of the International Olympic Committee (IOC) on matters of performance enhancement. The article begins with two pairs of distinctions, that between moral judgements and morally-laden judgements, and that between the moral judgement of cases and the ethical environment of a society. The article is concerned with working through the implications of those distinctions in the context of the IOC's judgements on performance (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  30
    Quandaries and the Logic of Rules.C. L. Hamblin - 1972 - Journal of Philosophical Logic 1 (1):74 - 85.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  21.  8
    A Procedure to Calculate Logic Programs by Replacement with the Bodies of Rules and Transformation to Disjunctive Normal Forms.Sumitaka Akiba & Taisuke Sato - 2004 - Transactions of the Japanese Society for Artificial Intelligence 19:413-420.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  14
    Completeness of a Procedure to Calculate Logic Programs by Replacement with the Bodies of Rules and a Proof Procedure with Respect to a General Axiom.Sumitaka Akiba - 2008 - Transactions of the Japanese Society for Artificial Intelligence 23:68-75.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  17
    A. N. Prior. The Ethical Copula. Papers in Logic and Ethics, by A. N. Prior, Edited by P. T. Geach and A. J. P. Kenny, University of Massachusetts Press, Amherst, and Duckworth, London, 1976, Pp. 9–24. , Pp. 137-154.) - A. N. Prior. Entities. A Reprint of XXI 318. Papers in Logic and Ethics, by A. N. Prior, Edited by P. T. Geach and A. J. P. Kenny, University of Massachusetts Press, Amherst, and Duckworth, London, 1976, , Pp. 25–32. - A. N. Prior. Berkeley in Logical Form. Papers in Logic and Ethics, by A. N. Prior, Edited by P. T. Geach and A. J. P. Kenny, University of Massachusetts Press, Amherst, and Duckworth, London, 1976, , Pp. 117–122.) - A. N. Prior. Definitions, Rules and Axioms. Papers in Logic and Ethics, by A. N. Prior, Edited by P. T. Geach and A. J. P. Kenny, University of Massachusetts Press, Amherst, and Duckworth, London, 1976, Pp. 39–55. , Pp. 199–216.) - A. N. Prior. On Some Proofs of the Existence of God. Papers in Logic and Ethics, by A. N. Prior, Edited by P. T. [REVIEW]Timothy Smiley - 1980 - Journal of Symbolic Logic 45 (1):180-183.
  24.  13
    Lambèr M. M. Royakkers. Extending Deontic Logic for the Formalisation of Legal Rules. Law and Philosophy Library, Vol. 36. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1998, Ix + 191 Pp. [REVIEW]Patrice Bailhache - 1999 - Journal of Symbolic Logic 64 (4):1841-1842.
  25.  24
    Reviews - Fred Sommers. The Ordinary Language Tree. Mind, N.S. Vol. 68 , Pp. 160–185. - Fred Sommers. Predicability. Philosophy in America, Edited by Max Black, Cornell University Press, Ithaca1965, Pp. 262–281. - L. R. Reinhardt. Dualism and Categories. Proceedings of the Aristotelian Society, N.S. Vol. 66 , Pp. 71–92. - David Massie. Sommers' Tree Theory, a Reply to de Sousa. The Journal of Philosophy, Vol. 64 , Pp. 185–193. - Susan Haack. Equivocality, a Discussion of Sommers' Views. Analysis , Vol. 28 No. 5 , Pp. 159–165. - R. Van Straaten. Sommers' Rule and Equivocality. Analysis , Vol. 29 No. 2 , Pp. 58–61. - Dan Passell. On Sommers' Logic of Sense and Nonsense. Mind, N.S. Vol. 78 , Pp. 132–133. - A. G. Elgood. Sommers' Rules of Sense. The Philosophical Quarterly, Vol. 20 , Pp. 166–169. [REVIEW]Jonathan Bennett - 1971 - Journal of Symbolic Logic 36 (4):666-670.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  7
    On the Equivalence of Systems of Rules and Systems of Axioms in Illative Combinatory Logic.M. W. Bunder - 1979 - Notre Dame Journal of Formal Logic 20 (3):603-608.
  27.  10
    Review: Haskell B. Curry, A Revision of the Fundamental Rules of Combinatory Logic; Haskell B. Curry, Consistency and Completeness of the Theory of Combinators. [REVIEW]Barkley Rosser - 1941 - Journal of Symbolic Logic 6 (4):170-170.
  28.  8
    Review: Lamber M. M. Royakkers, Extending Deontic Logic for the Formalisation of Legal Rules[REVIEW]Patrice Bailhache - 1999 - Journal of Symbolic Logic 64 (4):1841-1842.
  29. Frege and Carnap on the Normativity of Logic.Florian Steinberger - 2017 - Synthese 194 (1):143-162.
    In this paper I examine the question of logic’s normative status in the light of Carnap’s Principle of Tolerance. I begin by contrasting Carnap’s conception of the normativity of logic with that of his teacher, Frege. I identify two core features of Frege’s position: first, the normative force of the logical laws is grounded in their descriptive adequacy; second, norms implied by logic are constitutive for thinking as such. While Carnap breaks with Frege’s absolutism about logic (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  30.  13
    A Revision of the Fundamental Rules of Combinatory Logic.Haskell B. Curry - 1941 - Journal of Symbolic Logic 6 (2):41-53.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  31.  3
    A Revision of the Fundamental Rules of Combinatory Logic.Haskell B. Curry - 1941 - Journal of Symbolic Logic 6 (4):170-170.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  2
    Curry Haskell B.. A Revision of the Fundamental Rules of Combinatory Logic[REVIEW]Barkley Rosser - 1941 - Journal of Symbolic Logic 6 (4):170-170.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  65
    A Priori Rules: Wittgenstein on the Normativity of Logic.Peter Railton - 2000 - In Paul Boghossian & Christopher Peacocke (eds.), New Essays on the a Priori. Oxford University Press. pp. 170--96.
  34.  17
    Gaps in Harley's Argument on Evolutionarily Stable Learning Rules and in the Logic of “Tit for Tat”.Reinhard Selten & Peter Hammerstein - 1984 - Behavioral and Brain Sciences 7 (1):115.
  35.  3
    Personal Constructs, Rules, and the Logic of Clinical Activity.T. Mischel - 1964 - Psychological Review 71 (3):180-192.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  36.  1
    5. The Representation of Rules in Logic and Their Definition.David Braybrooke - 2006 - In Analytical Political Philosophy: From Discourse, Edification. University of Toronto Press. pp. 89-110.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  26
    Jan Dullaert of Ghent on the Foundations of Propositional Logic.Miroslav Hanke - 2017 - Vivarium 55 (4):273-306.
    _ Source: _Volume 55, Issue 4, pp 273 - 306 Jan Dullaert was a direct student of John Mair and a teacher of Gaspar Lax, Juan de Celaya, and Juan Luis Vives. His commentary on Aristotle’s _Peri Hermeneias_ addresses the foundations of propositional logic, including a detailed analysis of conditionals and the semantics of logical connectives. Dullaert’s propositional logic is limited to the immediate implications of the semantics of these connectives, i.e., their introduction and elimination rules. In (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  38. Extending Deontic Logic for the Formalisation of Legal Rules.Lamber M. M. Royakkers - 2001 - Studia Logica 69 (3):431-433.
  39.  48
    On the Rules of Intermediate Logics.Rosalie Iemhoff - 2006 - Archive for Mathematical Logic 45 (5):581-599.
    If the Visser rules are admissible for an intermediate logic, they form a basis for the admissible rules of the logic. How to characterize the admissible rules of intermediate logics for which not all of the Visser rules are admissible is not known. In this paper we give a brief overview of results on admissible rules in the context of intermediate logics. We apply these results to some well-known intermediate logics. We provide natural (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  40.  12
    On an Automated Translation of Modal Proof Rules Into Formulas of the Classical Logic.Andrzej Szalas - 1994 - Journal of Applied Non-Classical Logics 4 (2):119-127.
  41.  44
    The Logic of Peirce Algebras.Maarten De Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
    Peirce algebras combine sets, relations and various operations linking the two in a unifying setting. This paper offers a modal perspective on Peirce algebras. Using modal logic a characterization of the full Peirce algebras is given, as well as a finite axiomatization of their equational theory that uses so-called unorthodox derivation rules. In addition, the expressive power of Peirce algebras is analyzed through their connection with first-order logic, and the fragment of first-order logic corresponding to Peirce (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  42.  17
    The Logic of Peirce Algebras.Maarten Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
    Peirce algebras combine sets, relations and various operations linking the two in a unifying setting. This paper offers a modal perspective on Peirce algebras. Using modal logic as a characterization of the full Peirce algebras is given, as well as a finite axiomatization of their equational theory that uses so-called unorthodox derivation rules. In addition, the expressive power of Peirce algebras is analyzed through their connection with first-order logic and the fragment of first-order logic corresponding to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  63
    Context-Sensitivity in Jain Philosophy: A Dialogical Study of Siddharṣigaṇi’s Commentary on the Handbook of Logic[REVIEW]Nicolas Clerbout, Marie-Hélène Gorisse & Shahid Rahman - 2011 - Journal of Philosophical Logic 40 (5):633-662.
    In classical India, Jain philosophers developed a theory of viewpoints ( naya-vāda ) according to which any statement is always performed within and dependent upon a given epistemic perspective or viewpoint. The Jainas furnished this epistemology with an (epistemic) theory of disputation that takes into account the viewpoint in which the main thesis has been stated. The main aim of our paper is to delve into the Jain notion of viewpoint-contextualisation and to develop the elements of a suitable logical system (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  44.  36
    The Logic of the Knowledge Norm of Assertion.Julian J. Schlöder - 2018 - Thought: A Journal of Philosophy 7 (1):49-57.
    The knowledge norm of assertion is the subject of a lively debate on when someone is in a position to assert something. However, not much has been said about the logic that underlies such debate. In this paper, I propose a formalisation of the knowledge norm in a deontic logic that aims to be explanatory and conceptually sound. Afterwards, I investigate some problems that this formalisation makes visible. This reveals some significant limitations of the underlying logic: it (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Comments On The Logic Of Constructible Falsity.Allen Hazen - 1980 - Bulletin of the Section of Logic 9 (1):10-13.
    Nelson has presented a constructive arithmetic with a negation opera- tion () dierent from the ordinary intuitionistic one . In [5] he presents a variant of Kleene's realization semantics for intuitionistic arithmetic, and proves that relative to this interpretation the arithmetic language with { has the same expressive power as the usual intuitionistic one, and fact certain theories of arithmetic incorporating his negation are equivalent to corresponding systems of intuitionistic arithmetic. A Fitch style natural deduction formulation ) of the pure (...)
     
    Export citation  
     
    Bookmark   1 citation  
  46.  85
    The Logic of Location.Peter Simons - 2006 - Synthese 150 (3):443-458.
    I consider the idea of a propositional logic of location based on the following semantic framework, derived from ideas of Prior. We have a collection L of locations and a collection S of statements such that a statement may be evaluated for truth at each location. Typically one and the same statement may be true at one location and false at another. Given this semantic framework we may proceed in two ways: introducing names for locations, predicates for the relations (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  47. Logic, Ontological Neutrality, and the Law of Non-Contradiction.Achille C. Varzi - 2014 - In Elena Ficara (ed.), Contradictions. Logic, History, Actuality. De Gruyter. pp. 53–80.
    Abstract. As a general theory of reasoning—and as a general theory of what holds true under every possible circumstance—logic is supposed to be ontologically neutral. It ought to have nothing to do with questions concerning what there is, or whether there is anything at all. It is for this reason that traditional Aristotelian logic, with its tacit existential presuppositions, was eventually deemed inadequate as a canon of pure logic. And it is for this reason that modern quantification (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  42
    Resolving Quine's Confict: A Neo-Quinean View of the Rational Revisability of Logic.Amanda Bryant - 2017 - Australasian Journal of Logic 14 (1).
    There is an apparent conflict in Quine’s work between, on the one hand, his clear commitment to the rational revisability of logic and, on the other, his principle of charitable translation and ‘change of logic, change of subject’ argument. I argue that the apparent conflict is mostly resolved under close exegesis, but that the translation argument normatively rules out collaborative revision and allows only revision by individuals. However, I articulate a Neo-Quinean view that preserves the rational acceptability (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. Implicit Definition and the Application of Logic.Thomas Kroedel - 2012 - Philosophical Studies 158 (1):131-148.
    The paper argues that the theory of Implicit Definition cannot give an account of knowledge of logical principles. According to this theory, the meanings of certain expressions are determined such that they make certain principles containing them true; this is supposed to explain our knowledge of the principles as derived from our knowledge of what the expressions mean. The paper argues that this explanation succeeds only if Implicit Definition can account for our understanding of the logical constants, and that fully (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  50. Normativity and its Vindication: The Case of Logic.Concha Martínez Vidal - 2004 - Theoria 19 (2):191-206.
    Physical laws are irresistible. Logical rules are not. That is why logic is said to be normative. Given a system of logic we have a Norma, a standard of correctness. The problem is that we need another Norma to establish when the standard of correctness is to be applied. Subsequently we start by clarifying the senses in which the term ‘Iogic’ and the term ‘normativity’ are being used. Then we explore two different epistemologies for logic to (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000