Results for 'formalization'

949 found
Order:
  1.  18
    Dov M. Gabbay and John Woods.Formal Approaches To Practical - 2002 - In Dov M. Gabbay, Handbook of the logic of argument and inference: the turn towards the practical. New York: Elsevier.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2. Recombinant dna: Science. Ethics. And politics.Samuel B. Formal - 1978 - In John Richards, Recombinant DNA: science, ethics, and politics. New York: Academic Press. pp. 127.
  3.  7
    The Pathogenicity of Escherichia CoIi.Samuel B. Formal - 1978 - In John Richards, Recombinant DNA: science, ethics, and politics. New York: Academic Press. pp. 127.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  85
    A formalization of the propositional calculus of H-B logic.Cecylia Rauszer - 1974 - Studia Logica 33 (1):23 - 34.
  5.  41
    Formalization and Informalization: Changing Tension Balances in Civilizing Processes.Cas Wouters - 1986 - Theory, Culture and Society 3 (2):1-18.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  6.  76
    Formalization in Philosophical Logic.Dale Jacquette - 1994 - The Monist 77 (3):358-375.
    The tools of logic are used properly or improperly relative to two interrelated purposes. Logic is both a symbolism for the expression of the formal structures of thought and an inference mechanism. Formalization in philosophical logic is justified to the extent that it contributes to our understanding of logical properties and the conceptual problems they may help to state, clarify, or resolve. This view of the value and limits of formalization in logic affords a pragmatic perspective that in (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7. A formalization of kant’s transcendental logic.Theodora Achourioti & Michiel van Lambalgen - 2011 - Review of Symbolic Logic 4 (2):254-289.
    Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of first-order logic, namely what (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  8. A logical formalization of the OCC theory of emotions.C. Adam, A. Herzig & D. Longin - 2009 - Synthese 168 (2):201-248.
    In this paper, we provide a logical formalization of the emotion triggering process and of its relationship with mental attitudes, as described in Ortony, Clore, and Collins’s theory. We argue that modal logics are particularly adapted to represent agents’ mental attitudes and to reason about them, and use a specific modal logic that we call Logic of Emotions in order to provide logical definitions of all but two of their 22 emotions. While these definitions may be subject to debate, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  19
    caracteristica-actividad. See part-whole relation/steps-activity causal relation certainty in. See certainty.Basic Formal Ontology - 2010 - In Alain Auger & Caroline Barrière, Probing Semantic Relations: Exploration and Identification in Specialized Texts. John Benjamins. pp. 149.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. The following classification is pragmatic and is intended merely to facilitate reference. No claim to exhaustive categorization is made by the parenthetical additions in small capitals.Psycholinguistics Semantics & Formal Properties Of Languages - 1974 - Foundations of Language: International Journal of Language and Philosophy 12:149.
  11.  5
    398 Sachindex.Formale Existenz Siehe Aktuale - 2003 - In Uwe Meixner & Albert Newen, Seele, Denken, Bewusstsein: zur Geschichte der Philosophie des Geistes. Walter de Gruyter. pp. 397.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  49
    Formalization of Counterfactual Inference by Dynamic Logic.Yuichiro Hosokawa - 2012 - Kagaku Tetsugaku 45 (1):17-33.
  13. On The Logical Formalization of Ansem's Ontological Argument.Ricardo Silvestre - 2015 - Revista Brasileira de Filosofia da Religião 2 (1):142–161.
    he general theme of this paper is the issue of formalization in philosophy; in a more specific way, it deals with the issue of formalization of arguments in analytic philosophy of religion. One argument in particular – Anselm’s Proslogion II ontological argument – and one specific attempt to formalize it – Robert Adams’ formalization found in his paper “The Logical Structure of Anselm’s Arguments”, published in The Philosophical Review in 1971 – are taken as study cases. The purpose (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  81
    The formalization of ockham's theory of supposition.Graham Priest & Stephen Read - 1977 - Mind 86 (341):109-113.
  15. A Formalization of the Transcendental Principle of Reasoning.D. A. Rohatyn - 1977 - International Logic Review 15:75.
    No categories
     
    Export citation  
     
    Bookmark  
  16. Motion and the dialectical view of the world.in Formal Logic - 1990 - Studies in Soviet Thought 39:241-255.
    No categories
     
    Export citation  
     
    Bookmark  
  17.  33
    Foundations for the formalization of metamathematics and axiomatizations of consequence theories.Urszula Wybraniec-Skardowska - 2004 - Annals of Pure and Applied Logic 127 (1-3):243-266.
    This paper deals with Tarski's first axiomatic presentations of the syntax of deductive system. Andrzej Grzegorczyk's significant results which laid the foundations for the formalization of metalogic, are touched upon briefly. The results relate to Tarski's theory of concatenation, also called the theory of strings, and to Tarski's ideas on the formalization of metamathematics. There is a short mention of author's research in the field. The main part of the paper surveys research on the theory of deductive systems (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  18.  71
    The Emergence of Logical Formalization in the Philosophy of Religion: Genesis, Crisis, and Rehabilitation.Anders Kraal - 2013 - History and Philosophy of Logic 34 (4):351 - 366.
    The paper offers a historical survey of the emergence of logical formalization in twentieth-century analytically oriented philosophy of religion. This development is taken to have passed through three main ?stages?: a pioneering stage in the late nineteenth and early twentieth centuries (led by Frege and Russell), a stage of crisis in the 1920s and early 1930s (occasioned by Wittgenstein, logical positivists such as Carnap, and neo-Thomists such as Maritain), and a stage of rehabilitation in the 1930s, 1940s, and 1950s (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  99
    Formalization of the concept "about".Hilary Putman - 1958 - Philosophy of Science 25 (2):125-130.
    The question, what a given statement is “about,” often occurs in philosophic discussion. I shall use this question in the hope of illustrating how a relatively simple application of symbolic logic can clarify a problem which might otherwise turn into a maze of complications.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  20. Problems arising in the formalization of intensional logic.John Myhill - 1958 - Logique Et Analyse 1 (1):78-83.
  21. The Formalization of Hegel’s Dialectical Logic: Its Formal Structure, Logical Interpretation and Intuitive Foundation.Michael Kosok - 1966 - International Philosophical Quarterly 6 (4):596-631.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  22.  14
    The Formalization of a Psychological Theory.J. H. Woodger - 1937 - Erkenntnis 7 (1):195-198.
  23.  37
    A sequence formalization for SCI.Anita Wasilewska - 1976 - Studia Logica 35 (3):213 - 217.
    This paper can be treated as a simplification of the Gentzen formalization of SCI-tautologies presented by A. Michaels in [1].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  24.  60
    A QBF-based formalization of abstract argumentation semantics.Ofer Arieli & Martin W. A. Caminada - 2013 - Journal of Applied Logic 11 (2):229-252.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  25.  49
    Limitations of formalization.Constantine Politis - 1965 - Philosophy of Science 32 (3/4):356-360.
    After several decades during which formalization has flourished it now becomes possible to detect its shortcomings. A definition of formalization is given at the outset. It is next shown that the main justification of formalization as making explicit the form of a proof has serious difficulties. An important shortcoming is found in the fact that many validation procedures in logic and mathematics are not adequately represented deductively. Several such procedures relating to the validation of logical and mathematical (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26. (1 other version)The formalization of mathematics.Hao Wang - 1954 - Journal of Symbolic Logic 19 (4):241-266.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  27. Versuch einer Kritik der logischen Vernunft.Formale Und Transzendentale Logik - 1929 - Jahrbuch für Philosophie Und Phänomenologische Forschung 10.
    No categories
     
    Export citation  
     
    Bookmark  
  28.  81
    Introduction: The Formalization of Dialectics.Elena Ficara & Graham Priest - 2023 - History and Philosophy of Logic 44 (2):115-118.
    The idea at the basis of this special issue is that reopening the old debate about the logical status of Hegel’s dialectics is extremely interesting, for various reasons.1 The first reason is that...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  84
    Analysis of Argument Strategies of Attack and Cooption: Stock Cases, Formalization, and Argument Reconstruction.Aaron Ben-Zeev - 1995 - Informal Logic 17 (2).
    Three common strategies used by informal logicians are considered: (1) the appeal to standard cases, (2) the attempt to partially formalize so-called "informal fallacies," and (3) restatement of arguments in such a way as to make their logical character more perspicuous. All three strategies are found to be useful. Attention is drawn to several advantages of a "stock case" approach, a minimalist approach to formalization is recommended, and doubts are raised about the applicability, from a logical point of view, (...)
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark  
  30.  89
    A formalization of the theory of ordinal numbers.Gaisi Takeuti - 1965 - Journal of Symbolic Logic 30 (3):295-317.
  31. A formalization of essenin-volpin's proof theoretical studies by means of nonstandard analysis.James R. Geiser - 1974 - Journal of Symbolic Logic 39 (1):81-87.
  32.  90
    Thought Experiments, Formalization, and Disagreement.Sören Häggqvist - 2019 - Topoi 38 (4):801-810.
    In the last decade, philosophers have offered a number of proposals concerning the logical form of hypothetical cases, or thought experiments, as these are used for purposes of testing philosophical claims. In this paper, I discuss what the desiderata for a formal proposal are. Employing a comparison with general philosophy of science, I suggest that one important desideratum is to highlight recurrent patterns of disagreement surrounding cases. I advocate a proposal in propositional modal logic which, I argue, better meets this (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  33.  94
    The desirability of formalization in science.Patrick Suppes - 1968 - Journal of Philosophy 65 (20):651-664.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  34. A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant.Ricardo Silvestre - 2018 - Journal of Applied Logics 5 (7):1441-1474.
    The purpose of this paper is twofold. First, it aims at introducing the ontological argument through the analysis of five historical developments: Anselm’s argument found in the second chapter of his Proslogion, Gaunilo’s criticism of it, Descartes’ version of the ontological argument found in his Meditations on First Philosophy, Leibniz’s contribution to the debate on the ontological argument and his demonstration of the possibility of God, and Kant’s famous criticisms against the (cartesian) ontological argument. Second, it intends to critically examine (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35.  61
    Formalization of O Notation in Isabelle/HOL.Kevin Donnelly - unknown
    We are working on formalizing a proof of the prime number theorem using Isabelle/HOL. In support of this project we formalized a very general notion of O notation.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  78
    A Finitely Axiomatized Formalization of Predicate Calculus with Equality.Norman D. Megill - 1995 - Notre Dame Journal of Formal Logic 36 (3):435-453.
    We present a formalization of first-order predicate calculus with equality which, unlike traditional systems with axiom schemata or substitution rules, is finitely axiomatized in the sense that each step in a formal proof admits only finitely many choices. This formalization is primarily based on the inference rule of condensed detachment of Meredith. The usual primitive notions of free variable and proper substitution are absent, making it easy to verify proofs in a machine-oriented application. Completeness results are presented. The (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  37.  55
    The Formalization of Implication.Kurt E. Rosinger - 1929 - The Monist 39 (2):273-280.
  38.  59
    Introduction to Semantics and Formalization of Logic.Rudolf Carnap - 1959 - Harvard University Press.
  39. If engineering function is a family resemblance concept: Assessing three formalization strategies.Massimiliano Carrara, Pawel Garbacz & Pieter E. Vermaas - 2011 - Applied ontology 6 (2):141-163.
    In this paper we argue that the challenge of the formalization of functions not merely consists of analyzing and formalizing yet another concept; the challenge may also consist of formalizing a con...
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  40.  32
    Formalization of Leibniz's notion of existence and of God with Suszko's non-Fregean logic.Jerzy Pluta - 2009 - Bulletin of the Section of Logic 38 (3/4):135-150.
  41.  26
    (1 other version)A simplified formalization of predicate logic with identity.Alfred Tarski - 1964 - Archive for Mathematical Logic 7 (1-2):61-79.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  42. Circumscription: formalization of non-monotonic reasoning in second order logic.Michal Tyburski - 2009 - Filozofia Nauki 17 (1):107.
  43.  13
    Formalization of security patterns as a means to infer security controls in business processes.A. J. Varela-Vaca & R. M. Gasca - 2015 - Logic Journal of the IGPL 23 (1):57-72.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. FORMALIZATION in Biology.J. H. Woodger - 1958 - Logique Et Analyse 1 (3):97.
     
    Export citation  
     
    Bookmark   1 citation  
  45.  37
    True Consumer Autonomy: A Formalization and Implications.Michael R. Hyman, Alena Kostyk & David Trafimow - 2022 - Journal of Business Ethics 183 (3):841-863.
    Consumer autonomy is a fundamental topic for marketing ethics scholars. Nonetheless, autonomy’s philosophical treatment may have compromised its conceptual clarity. After reviewing the relevant ethics literature on consumer autonomy, the benefits of formally defining consumer autonomy are illustrated, and a novel formalization is adapted from potential performance theory mathematics. The goal is to transfigure a hitherto amorphous topic via a mathematical formalization that defines true autonomy, actual autonomy, reliability of wills, and reliability of product choice. The crucial and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  38
    On the formalization of classical categorial grammar.Urszula Wybraniec-Skardowska - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 89:269.
    This article summarizes the main ideas for formalizing categorial languages genrated by classical categorial grammar originated by K. Ajdukiewicz [1935,1960].This formalization is presented in detail in the author's monographs in Polish "Teorie Języków Syntaktycznie Kategorialnych" ("Theories of Syntactically Categorical Languages"), PWN, Warszawa-Wrocław 1985 and in English "Theory of Language Syntax, Categorial Approach", Kluwer Academic Publishers, Boston-London-Dordrecht 1991.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  24
    A sociological formalization of Searle's social ontology.Kevin McCaffree - 2018 - Journal for the Theory of Social Behaviour 48 (3):330-349.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  78
    Formalization of that-clauses.J. -L. Gardies - 1978 - Studia Logica 37 (1):89 - 101.
  49.  61
    On the formalization of semantic conventions.James G. Williams - 1990 - Journal of Symbolic Logic 55 (1):220-243.
    This paper discusses six formalization techniques, of varying strengths, for extending a formal system based on traditional mathematical logic. The purpose of these formalization techniques is to simulate the introduction of new syntactic constructs, along with associated semantics for them. We show that certain techniques (among the six) subsume others. To illustrate sharpness, we also consider a selection of constructs and show which techniques can and cannot be used to introduce them. The six studied techniques were selected on (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  50.  88
    Notes on a formalization of the prime number theorem.Jeremy Avigad - unknown
    On September 6, 2004, using the Isabelle proof assistant, I verified the following statement: (%x. pi x * ln (real x) / (real x)) ----> 1 The system thereby confirmed that the prime number theorem is a consequence of the axioms of higher-order logic together with an axiom asserting the existence of an infinite set. All told, our number theory session, including the proof of the prime number theorem and supporting libraries, constitutes 673 pages of proof scripts, or roughly 30,000 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 949