Results for 'theories of deduction'

1000+ found
Order:
  1.  21
    Natural Deduction Based Set Theories: A New Resolution of the Old Paradoxes.Paul C. Gilmore - 1986 - Journal of Symbolic Logic 51 (2):393-411.
    The comprehension principle of set theory asserts that a set can be formed from the objects satisfying any given property. The principle leads to immediate contradictions if it is formalized as an axiom scheme within classical first order logic. A resolution of the set paradoxes results if the principle is formalized instead as two rules of deduction in a natural deduction presentation of logic. This presentation of the comprehension principle for sets as semantic rules, instead of as a (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  2.  7
    The Logical Content of Theories of Deduction.Wilfrid Hodges - 1993 - Behavioral and Brain Sciences 16 (2):353.
  3.  52
    On the Justification of Deduction and Induction.Franz Huber - forthcoming - European Journal for the Philosophy of Science.
    The thesis of this paper is that we can justify induction deductively relative to one end, and deduction inductively relative to a different end. I will begin by presenting a contemporary variant of Hume (1739; 1748)'s argument for the thesis that we cannot justify the principle of induction. Then I will criticize the responses the resulting problem of induction has received by Carnap (1963; 1968) and Goodman (1954), as well as praise Reichenbach (1938; 1940)'s approach. -/- Some of these (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  4. Natural Deduction Based Set Theories: A New Resolution of the Old Paradoxes.Paul C. Gilmore - 1986 - Journal of Symbolic Logic 51 (2):393-411.
  5.  39
    Discourse Grammars and the Structure of Mathematical Reasoning III: Two Theories of Proof,.John Corcoran - 1971 - Journal of Structural Learning 3 (3):1-24.
    ABSTRACT This part of the series has a dual purpose. In the first place we will discuss two kinds of theories of proof. The first kind will be called a theory of linear proof. The second has been called a theory of suppositional proof. The term "natural deduction" has often and correctly been used to refer to the second kind of theory, but I shall not do so here because many of the theories so-called are not of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  3
    On the Justification of Deduction and Induction.Franz Huber - forthcoming - European Journal for Philosophy of Science:1-28.
    The thesis of this paper is that we can justify induction deductively relative to one end, and deduction inductively relative to a different end. I will begin by presenting a contemporary variant of Hume ’s argument for the thesis that we cannot justify the principle of induction. Then I will criticize the responses the resulting problem of induction has received by Carnap and Goodman, as well as praise Reichenbach ’s approach. Some of these authors compare induction to deduction. (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  33
    Theories of Explanation.G. Randolph Mayes - 2001 - Internet Encyclopedia of Philosophy.
  8. Logics of Rejection: Two Systems of Natural Deduction.Allard Tamminga - 1994 - Logique Et Analyse 146:169-208.
    This paper presents two systems of natural deduction for the rejection of non-tautologies of classical propositional logic. The first system is sound and complete with respect to the body of all non-tautologies, the second system is sound and complete with respect to the body of all contradictions. The second system is a subsystem of the first. Starting with Jan Łukasiewicz's work, we describe the historical development of theories of rejection for classical propositional logic. Subsequently, we present the two (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  7
    Levels of Physical Theories.Michael Stöltzner - 1995 - Vienna Circle Institute Yearbook 3:47-64.
    Many physicists view the most sublime task of physics in presenting some day a world formula or a simple Theory of Everything that accounts for all major physical theories and from which everything follows by pure deduction.1 This striving for universality can look back on a long history, which contains the failed attempts to incorporate electrodynamics into universal mechanics, Einstein’s einheitliche Feldtheorie and Heisenberg’s explicit proposal of an Urgleichung. Those attempts were encouraged by the success of general relativity, (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  10.  72
    Some Steps Towards a Transcendental Deduction of Quantum Mechanics.Michel Bitbol - 1998 - Philosophia Naturalis 35:253-280.
    The two major options on which the current debate on the interpretation of quantum mechanics relies, namely realism and empiricism, are far from being exhaustive. There is at least one more position available, which is metaphysically as agnostic as empiricism, but which shares with realism a committment to considering the structure of theories as highly significant. The latter position has been named transcendentalism after Kant. In this paper, a generalized version of Kant's method is used. This yields a reasoning (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  11.  34
    Natural Deduction Rules for a Logic of Vagueness.J. A. Burgess & I. L. Humberstone - 1987 - Erkenntnis 27 (2):197-229.
    Extant semantic theories for languages containing vague expressions violate intuition by delivering the same verdict on two principles of classical propositional logic: the law of noncontradiction and the law of excluded middle. Supervaluational treatments render both valid; many-Valued treatments, Neither. The core of this paper presents a natural deduction system, Sound and complete with respect to a 'mixed' semantics which validates the law of noncontradiction but not the law of excluded middle.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  12.  88
    Contemporary Theories of Knowledge.John L. Pollock - 1986 - Hutchinson.
    This new edition of the classic Contemporary Theories of Knowledge has been significantly updated to include analyses of the recent literature in epistemology.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   288 citations  
  13. Categorical Abstract Algebraic Logic: Gentzen Π ‐Institutions and the Deduction‐Detachment Property.George Voutsadakis - 2005 - Mathematical Logic Quarterly 51 (6):570-578.
    Given a π -institution I , a hierarchy of π -institutions I is constructed, for n ≥ 1. We call I the n-th order counterpart of I . The second-order counterpart of a deductive π -institution is a Gentzen π -institution, i.e. a π -institution associated with a structural Gentzen system in a canonical way. So, by analogy, the second order counterpart I of I is also called the “Gentzenization” of I . In the main result of the paper, it (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  14. Reliable Misrepresentation and Tracking Theories of Mental Representation.Angela Mendelovici - 2013 - Philosophical Studies 165 (2):421-443.
    It is a live possibility that certain of our experiences reliably misrepresent the world around us. I argue that tracking theories of mental representation have difficulty allowing for this possibility, and that this is a major consideration against them.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  15. The Missing-Desires Objection to Hybrid Theories of Well-Being.William Lauinger - 2013 - Southern Journal of Philosophy 51 (2):270-295.
    Many philosophers have claimed that we might do well to adopt a hybrid theory of well-being: a theory that incorporates both an objective-value constraint and a pro-attitude constraint. Hybrid theories are attractive for two main reasons. First, unlike desire theories of well-being, hybrid theories need not worry about the problem of defective desires. This is so because, unlike desire theories, hybrid theories place an objective-value constraint on well-being. Second, unlike objectivist theories of well-being, hybrid (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  16.  49
    Marketing Dataveillance and Digital Privacy: Using Theories of Justice to Understand Consumers' Online Privacy Concerns. [REVIEW]Laurence Ashworth & Clinton Free - 2006 - Journal of Business Ethics 67 (2):107 - 123.
    Technology used in online marketing has advanced to a state where collection, enhancement and aggregation of information are instantaneous. This proliferation of customer information focused technology brings with it a host of issues surrounding customer privacy. This article makes two key contributions to the debate concerning digital privacy. First, we use theories of justice to help understand the way consumers conceive of, and react to, privacy concerns. Specifically, it is argued that an important component of consumers’ privacy concerns relates (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  17.  21
    Unconscious Pleasures and Attitudinal Theories of Pleasure.Chris Heathwood - forthcoming - Utilitas.
    This paper responds to a new objection, due to Ben Bramble, against attitudinal theories of sensory pleasure and pain: the objection from unconscious pleasures and pains. According to the objection, attitudinal theories are unable to accommodate the fact that sometimes we experience pleasures and pains of which we are, at the time, unaware. In response, I distinguish two kinds of unawareness and argue that the subjects in the examples that support the objection are unaware of their sensations in (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  18.  77
    Logical Theories of Intention and the Database Perspective.Yoav Shoham - 2009 - Journal of Philosophical Logic 38 (6):633-647.
    While logical theories of information attitudes, such as knowledge, certainty and belief, have flourished in the past two decades, formalization of other facets of rational behavior have lagged behind significantly. One intriguing line of research concerns the concept of intention. I will discuss one approach to tackling the notion within a logical framework, based on a database perspective.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  19.  30
    Representation and Content in Some (Actual) Theories of Perception.Gary Hatfield - 1988 - Studies in History and Philosophy of Science Part A 19 (2):175-214.
    Recent discussions in the philosophy of psychology have examined the use and legitimacy of such notions as “representation”, “content”, “computation”, and “inference” within a scientific psychology. While the resulting assessments have varied widely, ranging from outright rejection of some or all of these notions to full vindication of their use, there has been notable agreement on the considerations deemed relevant for making an assessment. The answer to the question of whether the notion of, say, representational content may be admitted into (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  20. Action-Based Theories of Perception.Robert Briscoe & Rick Grush - 2015 - In The Stanford Encylcopedia of Philosophy. pp. 1-66.
    Action is a means of acquiring perceptual information about the environment. Turning around, for example, alters your spatial relations to surrounding objects and, hence, which of their properties you visually perceive. Moving your hand over an object’s surface enables you to feel its shape, temperature, and texture. Sniffing and walking around a room enables you to track down the source of an unpleasant smell. Active or passive movements of the body can also generate useful sources of perceptual information (Gibson 1966, (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  21. Stoic Syllogistic.Susanne Bobzien - 1996 - Oxford Studies in Ancient Philosophy 14:133-92.
    ABSTRACT: For the Stoics, a syllogism is a formally valid argument; the primary function of their syllogistic is to establish such formal validity. Stoic syllogistic is a system of formal logic that relies on two types of argumental rules: (i) 5 rules (the accounts of the indemonstrables) which determine whether any given argument is an indemonstrable argument, i.e. an elementary syllogism the validity of which is not in need of further demonstration; (ii) one unary and three binary argumental rules which (...)
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22. Theories of Reference and Experimental Philosophy.James Genone - 2012 - Philosophy Compass 7 (2):152-163.
    In recent years, experimental philosophers have questioned the reliance of philosophical arguments on intuitions elicited by thought experiments. These challenges seek to undermine the use of this methodology for a particular domain of theorizing, and in some cases to raise doubts about the viability of philosophical work in the domain in question. The topic of semantic reference has been an important area for discussion of these issues, one in which critics of the reliance on intuitions have made particularly strong claims (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  23.  20
    Statistical Theories of Functions and the Problem of Epidemic Disease.Daniel M. Kraemer - 2013 - Biology and Philosophy 28 (3):423-438.
    Several decades ago, Christopher Boorse formulated an influential statistical theory of normative biological functions but it has often been claimed that his theory suffers from insuperable problems such as an inability to handle cases of epidemic and universal diseases. This paper develops a new statistical theory of normative functions that is capable of dealing with the notorious problem of epidemic and universal diseases. The theory is also more detailed than its predecessors and offers other important advantages over them. It is (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  24.  30
    Remarks on Compositionality and Weak Axiomatic Theories of Truth.Günther Eder - 2014 - Journal of Philosophical Logic 43 (2-3):541-547.
    The paper draws attention to an important, but apparently neglected distinction relating to axiomatic theories of truth, viz. the distinction between weakly and strongly truth-compositional theories of truth. The paper argues that the distinction might be helpful in classifying weak axiomatic theories of truth and examines some of them with respect to it.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  25.  18
    An Ordinal Analysis for Theories of Self-Referential Truth.Graham Emil Leigh & Michael Rathjen - 2010 - Archive for Mathematical Logic 49 (2):213-247.
    The first attempt at a systematic approach to axiomatic theories of truth was undertaken by Friedman and Sheard (Ann Pure Appl Log 33:1–21, 1987). There twelve principles consisting of axioms, axiom schemata and rules of inference, each embodying a reasonable property of truth were isolated for study. Working with a base theory of truth conservative over PA, Friedman and Sheard raised the following questions. Which subsets of the Optional Axioms are consistent over the base theory? What are the proof-theoretic (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  26.  13
    Culture‐Inclusive Theories of Self and Social Interaction: The Approach of Multiple Philosophical Paradigms.Kwang‐Kuo Hwang - 2015 - Journal for the Theory of Social Behaviour 45 (1):40-63.
    In view of the fact that culture-inclusive psychology has been eluded or relatively ignored by mainstream psychology, the movement of indigenous psychology is destined to develop a new model of man that incorporates both causal psychology and intentional psychology as suggested by Vygotsky . Following the principle of cultural psychology: “one mind, many mentalities” , the Mandala Model of Self and Face and Favor Model were constructed to represent the universal mechanisms of self and social interaction that can be applied (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  27.  47
    Rethinking Expressive Theories of Punishment: Why Denunciation is a Better Bet Than Communication or Pure Expression.Bill Wringe - 2017 - Philosophical Studies 174 (3):681-708.
    Many philosophers hold that punishment has an expressive dimension. Advocates of expressive theories have different views about what makes punishment expressive, what kinds of mental states and what kinds of claims are, or legitimately can be expressed in punishment, and to what kind of audience or recipients, if any, punishment might express whatever it expresses. I shall argue that in order to assess the plausibility of an expressivist approach to justifying punishment we need to pay careful attention to whether (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  28.  67
    Defending the Tracking Theories of Knowledge.Fred Adams & Murray Clarke - 2007 - The Proceedings of the Twenty-First World Congress of Philosophy 6:3-8.
    Since Kripke's attack on Nozick's Tracking Theory of knowledge, there has been strong suspicion that tracking theories are false. We think that neither Kripke's arguments and examples nor other recent attacks in the literature show that the tracking theories are false. We cannot address all of these concerns here, but we will show why some of the most discussed examples from Kripke do not demonstrate that the tracking theories are false.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  29. An Argument Against Causal Theories of Mental Content.Todd Buras - 2009 - American Philosophical Quarterly 46 (2):117-129.
    Some mental states are about themselves. Nothing is a cause of itself. So some mental states are not about their causes; they are about things distinct from their causes. If this argument is sound, it spells trouble for causal theories of mental content—the precise sort of trouble depending on the precise sort of causal theory. This paper shows that the argument is sound (§§1-3), and then spells out the trouble (§4).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  30.  10
    A Draft for Unifying Controversies in Philosophy of Science.A. Polikarov - 1998 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 29 (2):225-244.
    The basic (negative and positive) methodological maxims of three currents of philosophy of science (logical empiricism, falsificationism, and postpositivism) are formulated. Many of these maxims (stratagems) are controversial, e.g., the stance about the nonsense of metaphysics, and that of its indispensability. The restricted validity of these maxims allows for their unification. Within the framework of most of them there may be a relationship of (synchronic, or diachronic) subordination of the contradicting desiderata. In this vein ten stratagems are formulated.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  31.  73
    Descriptions, Ambiguity, and Representationalist Theories of Interpretation.Philipp Koralus - 2013 - Philosophical Studies 162 (2):275-290.
    Abstract Theories of descriptions tend to involve commitments about the ambiguity of descriptions. For example, sentences containing descriptions are widely taken to be ambiguous between de re , de dicto , and intermediate interpretations and are sometimes thought to be ambiguous between the former and directly referential interpretations. I provide arguments to suggest that none of these interpretations are due to ambiguities (or indexicality). On the other hand, I argue that descriptions are ambiguous between the above family of interpretations (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  32.  20
    Should the Changing Character of War Affect Our Theories of War?Jovana Davidovic - forthcoming - Ethical Theory and Moral Practice:1-16.
    War has changed so much that it barely resembles the paradigmatic cases of armed conflict that just war theories and international humanitarian law seemed to have had in mind even a few decades ago. The changing character of war includes not only the use of new technology such as drones, but probably more problematically the changing temporal and spatial scope of war and the changing character of actors in war. These changes give rise to worries about what counts as (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  9
    Causal Theories of Mental Content: Where is the "Causal Element" and How Does It Make Intentionality Relational?Mindaugas Gilaitis - 2015 - Problemos 87:19-30.
    This paper has two interrelated aims. The primary aim is to specify the character of philosophical theories of mental content that are usually classified as ‘Causal Theories of Intentionality’, ‘Causal Theories of Representation’, or ‘Causal Theories of Mental Content’ (CTs). More specifically, the aim is to characterize the role and place of causation in philosophical reflections on the nature of mental content, as suggested by theories of this kind. Elucidation of the role of the concept (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  6
    “Internal” Problems of Normative Theories of Thinking and Reasoning.Piotr Urbańczyk - 2016 - Zagadnienia Filozoficzne W Nauce 60:35-52.
    This paper provides moderate criticism of so-called normative theories of thinking and reasoning. The discussion focuses on the problems of idealization, adequacy, inconsistent yet non-trivial logics, logical omniscience etc. I called them “internal” to the normative approach, because they stem from the very properties of formal systems used to model these two human activities. Some arguments, however, refer to the current theories in cognitive science, including those which are developed within “descriptive” framework.
    Direct download  
     
    Export citation  
     
    My bibliography  
  35.  3
    Should the Changing Character of War Affect Our Theories of War?Jovana Davidovic - 2016 - Ethical Theory and Moral Practice 19 (3):603-618.
    War has changed so much that it barely resembles the paradigmatic cases of armed conflict that just war theories and international humanitarian law seemed to have had in mind even a few decades ago. The changing character of war includes not only the use of new technology such as drones, but probably more problematically the changing temporal and spatial scope of war and the changing character of actors in war. These changes give rise to worries about what counts as (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36.  26
    Theories of Mind: An Introductory Reader.Maureen Eckert (ed.) - 2006 - Rowman & Littlefield.
    Intended for introductory classes focusing on philosophy of mind, 'Theories of Mind' includes readings from primary sources, edited to suit the needs of the beginner. Selections focus on vivid examples and counterexamples, and give instructors concerned with assigning accessible primary source material a foundation for more advanced studies in philosophy. Selections from David Armstrong, Ned Block, David Chalmers, Patricia Churchland, Paul Churchland, Andy Clark, Daniel C. Dennett, René Descartes, Jerry A. Fodor, Keith Gunderson, Frank Jackson, David Lewis, Barbara Montero, (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  37.  14
    Biological Theories of Consciousness: The Search for Experience.Luis H. Favela - 2009 - Dissertation, San Diego State University
    Consciousness has traditionally been the subject matter of philosophy. However, especially in recent years, various branches of science have attempted to develop theories of consciousness. I evaluate the biological theories of Francis Crick, Gerald Edelman, and Antti Revonsuo in order to gauge the current state of biological accounts of consciousness. I begin with an explication of the easy and hard problems of consciousness as defined by David Chalmers. Next, I summarize how each theory defines ‘consciousness’ and then I (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  38.  59
    Meta-Ontology, Epistemology & Essence: On the Empirical Deduction of the Categories.Fraser MacBride & Frederique Janssen-Lauret - 2015 - The Monist 98 (3):290-302.
    A priori reflection, common sense and intuition have proved unreliable sources of information about the world outside of us. So the justification for a theory of the categories must derive from the empirical support of the scientific theories whose descriptions it unifies and clarifies. We don’t have reliable information about the de re modal profiles of external things either because the overwhelming proportion of our knowledge of the external world is theoretical—knowledge by description rather than knowledge by acquaintance. This (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  39.  65
    An Ethical Framework in Information Systems Decision Making Using Normative Theories of Business Ethics.Utpal Bose - 2012 - Ethics and Information Technology 14 (1):17-26.
    As business environments become more complex and reliant on information systems, the decisions made by managers affect a growing number of stakeholders. This paper proposes a framework based on the application of normative theories in business ethics to facilitate the evaluation of IS related ethical dilemmas and arrive at fair and consistent decisions. The framework is applied in the context of an information privacy dilemma to demonstrate the decision making process. The ethical dilemma is analyzed using each one of (...)
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography  
  40.  28
    Scientific Theories of Computational Systems in Model Checking.Nicola Angius & Guglielmo Tamburrini - 2011 - Minds and Machines 21 (2):323-336.
    Model checking, a prominent formal method used to predict and explain the behaviour of software and hardware systems, is examined on the basis of reflective work in the philosophy of science concerning the ontology of scientific theories and model-based reasoning. The empirical theories of computational systems that model checking techniques enable one to build are identified, in the light of the semantic conception of scientific theories, with families of models that are interconnected by simulation relations. And the (...)
    Direct download (15 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  41.  36
    The New Riddle of Induction and the New Riddle of Deduction.Gal Yehezkel - 2016 - Acta Analytica 31 (1):31-41.
    Many believe that Goodman’s new riddle of induction proves the impossibility of a purely syntactical theory of confirmation. After discussing and rejecting Jackson’s solution to Goodman’s paradox, I formulate the “new riddle of deduction,” in analogy to the new riddle of induction. Since it is generally agreed that deductive validity can be defined syntactically, the new riddle of induction equally does not show that inductive validity cannot be defined syntactically. I further rely on the analogy between induction and (...) in order to explain why some predicates, such as “grue,” are unprojectible. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  42. Self, Belonging, and Conscious Experience: A Critique of Subjectivity Theories of Consciousness.Timothy Lane - 2015 - In Rocco Gennaro (ed.), Disturbed consciousness: New essays on psychopathology and theories of consciousness. MIT Press. pp. 103-140.
    Subjectivity theories of consciousness take self-reference, somehow construed, as essential to having conscious experience. These theories differ with respect to how many levels they posit and to whether self-reference is conscious or not. But all treat self-referencing as a process that transpires at the personal level, rather than at the subpersonal level, the level of mechanism. -/- Working with conceptual resources afforded by pre-existing theories of consciousness that take self-reference to be essential, several attempts have been made (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43.  25
    Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach.Nicola Angius & Petros Stefaneas - 2016 - In Vincent Müller (ed.), Computing and Philosophy: Selected Papers from IACAP 2014 (Synthese Library). Springer. pp. 99-115.
    This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  44.  4
    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 initiated by (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  45.  7
    Deriving Properties of Belief Update From Theories of Action.Alvaro Val & Yoav Shoham - 1994 - Journal of Logic, Language and Information 3 (2):81-119.
    We present an approach to database update as a form of non monotonic temporal reasoning, the main idea of which is the (circumscriptive) minimization of changes with respect to a set of facts declared “persistent by default”. The focus of the paper is on the relation between this approach and the update semantics recently proposed by Katsuno and Mendelzon. Our contribution in this regard is twofold:We prove a representation theorem for KM semantics in terms of a restricted subfamily of the (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  46.  8
    Andina, Tiziana. The Philosophy of Art: The Question of Definition—From Hegel to Post‐Dantian Theories, Trans. Natalia Iacobelli, New York: Bloomsbury, 2013, 190 Pp., 5 B&W Illus., $37.95 Paperback, $120.00 Cloth. [REVIEW]Michel-Antoine Xhignesse - 2016 - Journal of Aesthetics and Art Criticism 74 (1):106-108.
    A review of Tiziana Andina's The Philosophy of Art: The Question of Definition: From Hegel to Post-Dantian Theories (Bloomsbury 2013).
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  47.  64
    The Ontology of Causal Process Theories.Anton Froeyman - 2012 - Philosophia 40 (3):523-538.
    There is a widespread belief that the so-called process theories of causation developed by Wesley Salmon and Phil Dowe have given us an original account of what causation really is. In this paper, I show that this is a misconception. The notion of “causal process” does not offer us a new ontological account of causation. I make this argument by explicating the implicit ontological commitments in Salmon and Dowe’s theories. From this, it is clear that Salmon’s Mark Transmission (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  48. Kant's Legal Metaphor and the Nature of a Deduction.Ian Proops - 2003 - Journal of the History of Philosophy 41 (2):209-229.
    This essay partly builds on and partly criticizes a striking idea of Dieter Henrich. Henrich argues that Kant's distinction in the first Critique between the question of fact (quid facti) and the question of law (quid juris) provides clues to the argumentative structure of a philosophical "Deduction". Henrich suggests that the unity of apperception plays a role analogous to a legal factum. By contrast, I argue, first, that the question of fact in the first Critique is settled by the (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  49.  75
    Theories of Truth and Truth-Value Gaps.Philip Hugly & Charles Sayward - 1993 - Linguistics and Philosophy 16 (6):551 - 559.
    The fact that a group of axioms use the word 'true' does not guarantee that that group of axioms yields a theory of truth. For Davidson the derivability of certain biconditionals from the axioms is what guarantees this. We argue that the test does not work. In particular, we argue that if the object language has truth-value gaps, the result of applying Davidson''s definition of a theory of truth is that no correct theory of truth for the language is possible.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography  
  50.  13
    Dual-Process Theories of Higher Cognition Advancing the Debate.Jonathan Evans & Keith E. Stanovich - 2013 - Perspectives on Psychological Science 8 (3):223-241.
    Dual-process and dual-system theories in both cognitive and social psychology have been subjected to a number of recently published criticisms. However, they have been attacked as a category, incorrectly assuming there is a generic version that applies to all. We identify and respond to 5 main lines of argument made by such critics. We agree that some of these arguments have force against some of the theories in the literature but believe them to be overstated. We argue that (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   39 citations  
1 — 50 / 1000