Search results for 'formalization regimentation' (try it on Scholar)

712 found
Order:
  1. David Bourget, Regimentation and the Science of Consciousness.
    A chief aim of the science of consciousness is to discover general principles that determine exactly which states of phenomenal consciousness occur in exactly which conditions. In this paper I argue that making progress towards the discovery of such principles requires developing a new regimented language for describing phenomenal states. This language should allow us to describe phenomenal states in a way that is commensurable with our descriptions of physical states. I suggest one way of doing this. My approach extends (...)
     
    Export citation  
     
    My bibliography  
  2.  34
    Georg Brun (2014). Reconstructing Arguments: Formalization and Reflective Equilibrium. Logical Analysis and History of Philosophy 17: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 (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3. Michael Baumgartner & Timm Lampert (2008). Adequate Formalization. Synthese 164 (1):93-115.
    This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by defining a necessary and sufficient criterion of adequate formalization. On the basis of this criterion we argue that logic should not be seen as an ars iudicandi capable of evaluating the validity or invalidity of informal arguments, but as an ars explicandi that renders transparent the formal structure of informal reasoning.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  4.  29
    Jaroslav Peregrin & Vladimír Svoboda (2013). Criteria for Logical Formalization. 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 (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  5.  3
    James Griesemer (2013). Formalization and the Meaning of “Theory” in the Inexact Biological Sciences. Biological Theory 7 (4):298-310.
    Exact sciences are described as sciences whose theories are formalized. These are contrasted to inexact sciences, whose theories are not formalized. Formalization is described as a broader category than mathematization, involving any form/content distinction allowing forms, e.g., as represented in theoretical models, to be studied independently of the empirical content of a subject-matter domain. Exactness is a practice depending on the use of theories to control subject-matter domains and to align theoretical with empirical models and not merely a state (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  6.  4
    Peter Woelert (2015). Governing Knowledge: The Formalization Dilemma in the Governance of the Public Sciences. Minerva 53 (1):1-19.
    This paper offers a conceptually novel contribution to the understanding of the distinctive governance challenges arising from the increasing reliance on formalized knowledge in the governance of research activities. It uses the current Australian research governance system as an example – a system which exhibits a comparatively strong degree of formalization as to its knowledge mechanisms. Combining theoretical reflections on the political-administrative and epistemic dimensions of processes of formalization with analyses of interview data gathered at Australian universities, it (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  10
    Catarina Dutilh Novaes & Erich Reck (forthcoming). Carnapian Explication, Formalisms as Cognitive Tools, and the Paradox of Adequate Formalization. Synthese:1-21.
    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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  50
    Georg Brun (2008). Formalization and the Objects of Logic. Erkenntnis 69 (1):1 - 30.
    There is a long-standing debate whether propositions, sentences, statements or utterances provide an answer to the question of what objects logical formulas stand for. Based on the traditional understanding of logic as a science of valid arguments, this question is firstly framed more exactly, making explicit that it calls not only for identifying some class of objects, but also for explaining their relationship to ordinary language utterances. It is then argued that there are strong arguments against the proposals commonly put (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  9.  16
    Georg Brun (2012). Adequate Formalization and de Morgan's Argument. Grazer Philosophische Studien 85 (1):325-335.
    Lampert and Baumgartner (2010) critically discuss accounts of adequate formalization focusing on my analysis in (Brun 2004). There, I investigated three types of criteria of adequacy (matching truth conditions or inferential role, corresponding syntactical surface and systematicity) and argued that they ultimately call for a procedure of formalization. Although Lampert and Baumgartner have a point about matching truth conditions, their arguments target a truncated version of my account. They ignore all aspects of systematicity which make their counter-example unconvincing.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10.  13
    Peter Woelert (2013). Technology, Knowledge, Governance: The Political Relevance of Husserl's Critique of the Epistemic Effects of Formalization. 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  
     
    My bibliography  
  11.  17
    Sybille Krämer (2014). Mathematizing Power, Formalization, and the Diagrammatical Mind Or: What Does “Computation” Mean? [REVIEW] Philosophy and Technology 27 (3):345-357.
    Computation and formalization are not modalities of pure abstractive operations. The essay tries to revise the assumption of the constitutive nonsensuality of the formal. The argument is that formalization is a kind of linear spatialization, which has significant visual dimensions. Thus, a connection can be discovered between visualization by figurative graphism and formalization by symbolic calculations: Both use spatial relations not only to represent but also to operate on epistemic, nonspatial, nonvisual entities. Descartes was one of the (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  12.  4
    Aaron Ben-Zeev (1995). Analysis of Argument Strategies of Attack and Cooption: Stock Cases, Formalization, and Argument Reconstruction. 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 (14 more)  
     
    Export citation  
     
    My bibliography  
  13.  2
    Aimable-André Dufatanye (2012). From the Logical Square to Blanché's Hexagon: Formalization, Applicability and the Idea of the Normative Structure of Thought. [REVIEW] Logica Universalis 6 (1-2):45-67.
    The square of opposition and many other geometrical logical figures have increasingly proven to be applicable to different fields of knowledge. This paper seeks to show how Blanché generalizes the classical theory of oppositions of propositions and extends it to the structure of opposition of concepts. Furthermore, it considers how Blanché restructures the Apuleian square by transforming it into a hexagon. After presenting G. Kalinowski’s formalization of Blanché’s hexagonal theory, an illustration of its applicability to mathematics, to modal logic, (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  14. Huong Thi Lan Nguyen & Vincent Lynn Meek (forthcoming). Key Problems in Organizing and Structuring University Research in Vietnam: The Lack of an Effective Research “Behaviour Formalization” System. Minerva:1-29.
    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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  10
    Catarina Dutilh Novaes & Erich Reck (forthcoming). Carnapian Explication, Formalisms as Cognitive Tools, and the Paradox of Adequate Formalization. Synthese:1-21.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  4
    Tibor Bosse, Catholijn M. Jonker & Jan Treur (2006). Formalization and Analysis of Reasoning by Assumption. Cognitive Science 30 (1):147-180.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  17.  46
    Sven Ove Hansson (2000). Formalization in Philosophy. 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 (7 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  18.  10
    John T. Baldwin (2012). Formalization, Primitive Concepts, and Purity. Review of Symbolic Logic 1 (1):1-42.
    We emphasize the role of the choice of vocabulary in formalization of a mathematical area and remark that this is a particular preoccupation of logicians. We use this framework to discuss Kennedyformalism freenessspatial contents through algebra, of the embedding theorem.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  19. Joseph Berger (2000). Theory and Formalization: Some Reflections on Experience. Sociological Theory 18 (3):482-489.
    I describe in this paper some of my efforts in developing formal theories of social processes. These include work on models of occupational mobility, on models to describe the emergence of expectations out of performance evaluations, and on the graph theory formulation of the Status Characteristics theory. Not all models have been equally significant in developing theory. However, the graph theory formulation has played a central role in the growth of the Expectation States program. It has been involved in the (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  20.  17
    André Porto (2008). Formalization and Infinity. Manuscrito 31 (1):25-43.
    This article discusses some of Chateaubriand’s views on the connections between the ideas of formalization and infinity, as presented in chapters 19 and 20 of Logical Forms. We basically agree with his criticisms of the standard construal of these connections, a view we named “formal proofs as ultimate provings”, but we suggest an alternative way of picturing that connection based on some ideas of the late Wittgenstein.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21.  10
    Norman D. Megill (1995). A Finitely Axiomatized Formalization of Predicate Calculus with Equality. 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. (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  22.  40
    C. Adam, A. Herzig & D. Longin (2009). A Logical Formalization of the Occ Theory of Emotions. 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 (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  23.  21
    Andrew Schumann (2013). On Two Squares of Opposition: The Leśniewski's Style Formalization of Synthetic Propositions. [REVIEW] Acta Analytica 28 (1):71-93.
    In the paper we build up the ontology of Leśniewski’s type for formalizing synthetic propositions. We claim that for these propositions an unconventional square of opposition holds, where a, i are contrary, a, o (resp. e, i) are contradictory, e, o are subcontrary, a, e (resp. i, o) are said to stand in the subalternation. Further, we construct a non-Archimedean extension of Boolean algebra and show that in this algebra just two squares of opposition are formalized: conventional (...)
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  24.  8
    Anita Wasilewska (1976). A Sequence Formalization for SCI. 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 (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  25.  7
    Anders Kraal (2013). The Emergence of Logical Formalization in the Philosophy of Religion: Genesis, Crisis, and Rehabilitation. 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  
     
    My bibliography  
  26.  21
    Luca Bellotti (2007). Formalization, Syntax and the Standard Model of Arithmetic. Synthese 154 (2):199 - 229.
    I make an attempt at the description of the delicate role of the standard model of arithmetic for the syntax of formal systems. I try to assess whether the possible instability in the notion of finiteness deriving from the nonstandard interpretability of arithmetic affects the very notions of syntactic metatheory and of formal system. I maintain that the crucial point of the whole question lies in the evaluation of the phenomenon of formalization. The ideas of Skolem, Zermelo, Beth and (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  27.  14
    Constantine Politis (1965). Limitations of Formalization. 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 (6 more)  
     
    Export citation  
     
    My bibliography  
  28.  19
    Czesław Lejewski (1989). Formalization of Functionally Complete Propositional Calculus with the Functor of Implication as the Only Primitive Term. Studia Logica 48 (4):479 - 494.
    The most difficult problem that Leniewski came across in constructing his system of the foundations of mathematics was the problem of defining definitions, as he used to put it. He solved it to his satisfaction only when he had completed the formalization of his protothetic and ontology. By formalization of a deductive system one ought to understand in this context the statement, as precise and unambiguous as possible, of the conditions an expression has to satisfy if it is (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  29.  15
    Wieslaw Dziobiak (1977). On Detachment-Substitutional Formalization in Normal Modal Logics. Studia Logica 36 (3):165 - 171.
    The aim of this paper is to propose a criterion of finite detachment-substitutional formalization for normal modal systems. The criterion will comprise only those normal modal systems which are finitely axiomatizable by means of the substitution, detachment for material implication and Gödel rules.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  30.  2
    M. Staude (2008). Meaning and Description in Non-Dualism: A Formalization and Extension. Constructivist Foundations 3 (3):231-248.
    Problem: The article seeks to tackle three problems of Mitterer's non-dualistic philosophy. Firstly, the key term description remains not only rather unclear and rudimentary but also isolated from relevant neighboring terms and theories of other disciplines. Secondly, a logical reconstruction and formal model of non-dualism is still lacking. Thirdly, there are hardly any extensions of philosophical non-dualism to non-philosophical disciplines and fields. Findings: The three main findings of the article are based on the abovementioned problems. Firstly, the non-dualistic term description (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  11
    Carlos Iván Chesñevar & Guillermo Ricardo Simari (2007). Modelling Inference in Argumentation Through Labelled Deduction: Formalization and Logical Properties. [REVIEW] Logica Universalis 1 (1):93-124.
    . Artificial Intelligence (AI) has long dealt with the issue of finding a suitable formalization for commonsense reasoning. Defeasible argumentation has proven to be a successful approach in many respects, proving to be a confluence point for many alternative logical frameworks. Different formalisms have been developed, most of them sharing the common notions of argument and warrant. In defeasible argumentation, an argument is a tentative (defeasible) proof for reaching a conclusion. An argument is warranted when it ultimately prevails over (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  32.  10
    James G. Williams (1990). On the Formalization of Semantic Conventions. 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 (6 more)  
     
    Export citation  
     
    My bibliography  
  33.  7
    Gabor L. Peli, Laszlo Polos & Michael T. Hannan (2000). Back to Inertia: Theoretical Implications of Alternative Styles of Logical Formalization. Sociological Theory 18 (2):195-215.
    This article applies two new criteria, desirability and faithfulness, to evaluate Peli et al.'s (1994) formalization of Hannan and Freeman's structural inertia argument (1984, 1989). We conclude that this formalization fails to meet these criteria. We argue that part of the rational reconstruction on which this formalization builds does not reflect well the substantive argument in translating the natural language theory into logic. We propose two alternative formalizations that meet both of these criteria. Moreover, both derive the (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  34.  7
    Anna Gomolińska (1997). A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection. Studia Logica 58 (1):113-127.
    The problems we deal with concern reasoning about incomplete knowledge. Knowledge is understood as ability of an ideal rational agent to make decisions about pieces of information. The formalisms we are particularly interested in are Moore's autoepistemic logic (AEL) and its variant, the logic of acceptance and rejection (AEL2). It is well-known that AEL may be seen as the nonmonotonic KD45 modal logic. The aim is to give an appropriate modal formalization for AEL2.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  35.  2
    Wilfried Sieg, Church's Thesis, "Consistency", "Formalization", "Proof Theory" : Dictionary Entries.
    Wilfred Sieg. “Church's Thesis”, “Consistency”, “Formalization”, “Proof Theory”: Dictionary Entries.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  36.  2
    Urszula Wybraniec-Skardowska (2004). Foundations for the Formalization of Metamathematics and Axiomatizations of Consequence Theories. 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 (3 more)  
     
    Export citation  
     
    My bibliography  
  37. Rudolf Carnap (1959). E. Full Formalization of Propositional Logic. In Introduction to Semantics and Formalization of Logic. Harvard University Press 399-406.
    Direct download  
     
    Export citation  
     
    My bibliography  
  38. Rudolf Carnap (1959). F. Full Formalization of Functional Logic. In Introduction to Semantics and Formalization of Logic. Harvard University Press 407-426.
    Direct download  
     
    Export citation  
     
    My bibliography  
  39. Ho Mun Chan (1994). Formalization, Complexity, and Adaptive Rationality. 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  
     
    My bibliography  
  40.  74
    Michael Detlefsen (ed.) (1992). Proof, Logic, and Formalization. Routledge.
    Proof, Logic and Formalization addresses the various problems associated with finding a philosophically satisfying account of mathematical proof. It brings together many of the most notable figures currently writing on this issue in an attempt to explain why it is that mathematical proof is given prominence over other forms of mathematical justification. The difficulties that arise in accounts of proof range from the rightful role of logical inference and formalization to questions concerning the place of experience in proof (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41. Grzegorz Malinowski (1999). Formalization of Intensional Functions and Epistemic Knowledge Representation Systems. Logica Trianguli 3:111-118.
    o formalization of intensional functions was made for the purpose of many-valued interpretation of the belief-operators within the scope of the classical logic system. The first aim of the paper is to present and discuss this rather unknown many-valued construction and its properties. The fact that the manyvaluedness of o systems is purely formal - their characteristic matrices are Boolean - calls for further consideration. Departing from intristic similarities of the tables for the epistemic operators to the information functions (...)
    No categories
     
    Export citation  
     
    My bibliography  
  42. Massimiliano Carrara, Pawel Garbacz & Pieter E. Vermaas (2011). If Engineering Function is a Family Resemblance Concept: Assessing Three Formalization Strategies. Applied Ontology 6 (2):141-163.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  43. Michael Detlefsen (ed.) (2015). Proof, Logic and Formalization. Routledge.
    The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositions. The existence of other forms, some of very significant strength, places a question mark over the prominence given to proof within mathematics. This collection of essays, by leading figures working within the philosophy of mathematics, is a response to the challenge of understanding the nature and role of the proof.
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  44. Thijs van den Broek (2013). Formalization of Informal Care in the Netherlands: Cost Containment or Gendered Cost Redistribution? International Journal of Feminist Approaches to Bioethics 6 (2):185-193.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  45. Theodora Achourioti & Michiel van Lambalgen (2011). A Formalization of Kant's Transcendental Logic. 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  
     
    My bibliography  
  46. Michael Baumgartner (2010). Informal Reasoning and Logical Formalization. In S. Conrad & S. Imhof (eds.), Ding und Begriff. Ontos
    According to a prevalent view among philosophers formal logic is the philosopher’s main tool to assess the validity of arguments, i.e. the philosopher’s ars iudicandi. By drawing on a famous dispute between Russell and Strawson over the validity of a certain kind of argument – of arguments whose premises feature definite descriptions – this paper casts doubt on the accuracy of the ars iudicandi conception. Rather than settling the question whether the contentious arguments are valid or not, Russell and Strawson, (...)
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  47.  40
    Jody Azzouni (2003). The Strengthened Liar, the Expressive Strength of Natural Languages, and Regimentation. Philosophical Forum 34 (3-4):329–350.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  48. Alfred Tarski & Steven R. Givant (1987). A Formalization of Set Theory Without Variables. Monograph Collection (Matt - Pseudo).
    Direct download  
     
    Export citation  
     
    My bibliography   20 citations  
  49.  16
    Barbara Osimani, Scientific Evidence and the Law: An Objective Bayesian Formalization of The Precautionary Principle In Pharmaceutical Regulation.
    The paper considers the legal tools that have been developed in German pharmaceutical regulation as a result of the precautionary attitude inaugurated by the Contergan decision (1970). These tools are (i) the notion of “well-founded suspicion”, which attenuates the requirements for safety intervention by relaxing the requirement of a proved causal connection between danger and source, and the introduction of (ii) the reversal of proof burden in liability norms. The paper focuses on the first and proposes seeing the precautionary principle (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  50. Harvey Friedman, 1 the Formalization of Mathematics.
    It has been accepted since the early part of the Century that there is no problem formalizing mathematics in standard formal systems of axiomatic set theory. Most people feel that they know as much as they ever want to know about how one can reduce natural numbers, integers, rationals, reals, and complex numbers to sets, and prove all of their basic properties. Furthermore, that this can continue through more and more complicated material, and that there is never a real problem.
     
    Export citation  
     
    My bibliography  
1 — 50 / 712