Results for 'formalization'

947 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. Reconstructing Arguments: Formalization and Reflective Equilibrium.Georg Brun - 2014 - History of Philosophy & Logical Analysis 17 (1):94-129.
    Traditional logical reconstruction of arguments aims at assessing the validity of ordinary language arguments. It involves several tasks: extracting argumentations from texts, breaking up complex argumentations into individual arguments, framing arguments in standard form, as well as formalizing arguments and showing their validity with the help of a logical formalism. These tasks are guided by a multitude of partly antagonistic goals, they interact in various feedback loops, and they are intertwined with the development of theories of valid inference and adequate (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  5. Criteria for logical formalization.Jaroslav Peregrin & Vladimír Svoboda - 2013 - Synthese 190 (14):2897-2924.
    The article addresses two closely related questions: What are the criteria of adequacy of logical formalization of natural language arguments, and what gives logic the authority to decide which arguments are good and which are bad? Our point of departure is the criticism of the conception of logical formalization put forth, in a recent paper, by M. Baumgartner and T. Lampert. We argue that their account of formalization as a kind of semantic analysis brings about more problems (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 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.  36
    Formalization of the ad hominem argumentation scheme.Douglas Walton - 2010 - Journal of Applied Logic 8 (1):1-21.
  8. 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  
  9. 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  
  10.  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  
  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. 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  
  13.  81
    The formalization of ockham's theory of supposition.Graham Priest & Stephen Read - 1977 - Mind 86 (341):109-113.
  14.  16
    Formalization and Interaction: Toward a Comprehensive History of Technology-Related Knowledge in Early Modern Europe.Marcus Popplow - 2015 - Isis 106 (4):848-856.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Motion and the dialectical view of the world.in Formal Logic - 1990 - Studies in Soviet Thought 39:241-255.
    No categories
     
    Export citation  
     
    Bookmark  
  16. Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization.Catarina Dutilh Novaes & Erich Reck - 2017 - Synthese 194 (1):195-215.
    Explication is the conceptual cornerstone of Carnap’s approach to the methodology of scientific analysis. From a philosophical point of view, it gives rise to a number of questions that need to be addressed, but which do not seem to have been fully addressed by Carnap himself. This paper reconsiders Carnapian explication by comparing it to a different approach: the ‘formalisms as cognitive tools’ conception. The comparison allows us to discuss a number of aspects of the Carnapian methodology, as well as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  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.  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  
  23.  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  
  24.  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  
  25. (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  
  26. 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  
  27.  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  
  28.  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  
  29.  89
    A formalization of the theory of ordinal numbers.Gaisi Takeuti - 1965 - Journal of Symbolic Logic 30 (3):295-317.
  30. 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.
  31.  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  
  32.  22
    The Formalization of Intuitionism.John Myhill & Raymond Klibansky - 1975 - Journal of Symbolic Logic 40 (4):625-625.
    Direct download  
     
    Export citation  
     
    Bookmark   2 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. 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  
  35. The formalization of the dialectic of Hegel. Notebook of some proposals.Jean Michel Counet - 2012 - Logique Et Analyse 55 (218):205-227.
     
    Export citation  
     
    Bookmark   1 citation  
  36.  49
    Formalization of Counterfactual Inference by Dynamic Logic.Yuichiro Hosokawa - 2012 - Kagaku Tetsugaku 45 (1):17-33.
  37.  33
    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.
  38. 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  
  39.  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  
  40.  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  
  41.  55
    The Formalization of Implication.Kurt E. Rosinger - 1929 - The Monist 39 (2):273-280.
  42.  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  
  43. Circumscription: formalization of non-monotonic reasoning in second order logic.Michal Tyburski - 2009 - Filozofia Nauki 17 (1):107.
  44.  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  
  45. FORMALIZATION in Biology.J. H. Woodger - 1958 - Logique Et Analyse 1 (3):97.
     
    Export citation  
     
    Bookmark   1 citation  
  46.  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  
  47.  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  
  48.  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  
  49.  30
    Key Problems in Organizing and Structuring University Research in Vietnam: The Lack of an Effective Research “Behaviour Formalization” System.Huong Thi Lan Nguyen & Vincent Lynn Meek - 2016 - Minerva 54 (1):45-73.
    Structure and organization seems to be at the root of many of the questions raised about institutional behaviour; however, with respect to research on university capacity building, few studies have examined research organizational problems, particularly in developing countries. This study investigates academic reactions to the structure and organization of research at four leading Vietnamese universities. Through document analysis and semi-structured interviews with 55 participants, the study finds that the four case-study Vietnamese universities have accomplished a number of the more visible (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  78
    Formalization of that-clauses.J. -L. Gardies - 1978 - Studia Logica 37 (1):89 - 101.
1 — 50 / 947