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. Formalization in philosophy.Sven Ove Hansson - 2000 - Bulletin of Symbolic Logic 6 (2):162-175.
    The advantages and disadvantages of formalization in philosophy are summarized. It is concluded that formalized philosophy is an endangered speciality that needs to be revitalized and to increase its interactions with non-formalized philosophy. The enigmatic style that is common in philosophical logic must give way to explicit discussions of the problematic relationship between formal models and the philosophical concepts and issues that motivated their development.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   66 citations  
  5.  30
    A formalization of Descartes’ causal argument for existence of God.Vincenzo Ciccarelli - 2024 - Principia: An International Journal of Epistemology 28 (1):39-61.
    In this paper I attempt a formalization of Descartes’ causal argument for the existence of God presented in the Third Meditation. By taking into account the philosophical setting of Descartes’ Meditations, I argue that the best logical theory to carry out the formalization is quantified modal logic where free logic is used for the first-order axioms. This fact is related to Descartes’ distinction between formal and objective reality which — to my mind — suggests both the adoption of (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  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  
  7. 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  
  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. 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  
  10.  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  
  11. Semantic Criteria of Correct Formalization.Timm Lampert - 2010 - In Lampert Timm, Proceedings of Gap Conference.
    This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas. However, as will be shown, different versions of an implicitly applied or explicitly stated criterion of correctness depend on different understandings of “interpretation” in this context.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  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  
  13.  81
    The formalization of ockham's theory of supposition.Graham Priest & Stephen Read - 1977 - Mind 86 (341):109-113.
  14.  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  
  15. Formalization, Complexity, and Adaptive Rationality.Ho Mun Chan - 1994 - Dissertation, University of Minnesota
    This work examines the importance of distinguishing different levels of psychological explanation and the primacy of the computational level over implementational levels. The framework of levels allows us to recognize the role of formal theories as tools for specifying reasoning tasks at the computational level. It is shown that formal specifications of reasoning tasks allow us to analyze the complexity of the specified tasks and also serve to define reasoning competence and performance errors. Complexity analysis helps us identify tractable, practically (...)
    No categories
     
    Export citation  
     
    Bookmark  
  16. 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.
  17.  55
    The Formalization of Implication.Kurt E. Rosinger - 1929 - The Monist 39 (2):273-280.
  18. Motion and the dialectical view of the world.in Formal Logic - 1990 - Studies in Soviet Thought 39:241-255.
    No categories
     
    Export citation  
     
    Bookmark  
  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. (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  
  21.  89
    A formalization of the theory of ordinal numbers.Gaisi Takeuti - 1965 - Journal of Symbolic Logic 30 (3):295-317.
  22. Problems arising in the formalization of intensional logic.John Myhill - 1958 - Logique Et Analyse 1 (1):78-83.
  23.  36
    Formalization of the ad hominem argumentation scheme.Douglas Walton - 2010 - Journal of Applied Logic 8 (1):1-21.
  24. 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  
  25.  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  
  26.  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  
  27.  14
    The Formalization of a Psychological Theory.J. H. Woodger - 1937 - Erkenntnis 7 (1):195-198.
  28.  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  
  29. Circumscription: formalization of non-monotonic reasoning in second order logic.Michal Tyburski - 2009 - Filozofia Nauki 17 (1):107.
  30.  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  
  31. 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  
  32.  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  
  33. 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  
  34.  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  
  35.  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  
  36.  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  
  37. 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  
  38.  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  
  39.  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  
  40.  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  
  41.  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  
  42.  54
    Bocheński's Formalization of Summa Theologiae (Ia,75,6) Reconsidered.Paolo Maffezioli - 2020 - History and Philosophy of Logic 41 (2):191-198.
    I investigate Bocheński's first-order logic formalization of the argument for the incorruptibility of the human soul given by Aquinas in Summa Theologiae (Ia,75,6). I suggest a slightly different axiomatization that reflect better Aquinas' informal argument. Along the way, I also fix a mistake in Bocheński's derivation that the human soul is not corruptible per se.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  43.  75
    Technology, knowledge, governance: The political relevance of Husserl’s critique of the epistemic effects of formalization.Peter Woelert - 2013 - Continental Philosophy Review 46 (4):487-507.
    This paper explores the political import of Husserl’s critical discussion of the epistemic effects of the formalization of rational thinking. More specifically, it argues that this discussion is of direct relevance to make sense of the pervasive processes of ‘technization’, that is, of a mechanistic and superficial generation and use of knowledge, to be observed in current contexts of governance. Building upon Husserl’s understanding of formalization as a symbolic technique for abstraction in the thinking with and about numbers, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  36
    Background to Formalization.Dana S. Scott - 1977 - Journal of Symbolic Logic 42 (2):316-316.
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  45.  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  
  46.  49
    Formalization of Counterfactual Inference by Dynamic Logic.Yuichiro Hosokawa - 2012 - Kagaku Tetsugaku 45 (1):17-33.
  47.  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  
  48.  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.
  49. 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  
  50.  56
    A formalization of elenctic argumentation.Sergio Galvan - 1995 - Erkenntnis 43 (1):111 - 126.
1 — 50 / 949