Results for 'Deduction'

1000+ found
Order:
  1. Mark Siderits Deductive, Inductive, Both or Neither?Inductive Deductive - 2003 - Journal of Indian Philosophy 31:303-321.
    No categories
     
    Export citation  
     
    Bookmark  
  2.  22
    Malachi Hacohen Historicizing Deduction: Scientific Method, Critical Debate, and the Historian.Historicizing Deduction - 2004 - In Friedrich Stadler (ed.), Induction and Deduction in the Sciences. Springer. pp. 11--17.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  2
    A Deduction Model of Belief.Kurt Konolige - 1986 - Morgan Kaufmann Publishers.
  4.  41
    Deductive and Inductive: Types of Validity, Not Types of Argument.David Hitchcock - 1979 - Informal Logic 2 (3).
  5.  10
    Deduction.Philip Nicholas Johnson-Laird & Ruth M. J. Byrne - 1991 - Psychology Press.
    In this study on deduction, the authors argue that people reason by imagining the relevant state of affairs, ie building an internal model of it, formulating a tentative conclusion based on this model and then searching for alternative models.
    Direct download  
     
    Export citation  
     
    Bookmark   306 citations  
  6. Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.
    This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   308 citations  
  7.  54
    Labelled Deductive Systems: Volume 1.Dov M. Gabbay - 1996 - Oxford, England: Oxford University Press.
    This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   44 citations  
  8.  9
    Deductive Systems and the Decidability Problem for Hybrid Logics.Michal Zawidzki - 2014 - Cambridge University Press.
    This book stands at the intersection of two topics: the decidability and computational complexity of hybrid logics, and the deductive systems designed for them. Hybrid logics are here divided into two groups: standard hybrid logics involving nominals as expressions of a separate sort, and non-standard hybrid logics, which do not involve nominals but whose expressive power matches the expressive power of binder-free standard hybrid logics.The original results of this book are split into two parts. This division reflects the division of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Natural Deduction for Three-Valued Regular Logics.Yaroslav Petrukhin - 2017 - Logic and Logical Philosophy 26 (2):197–206.
    In this paper, I consider a family of three-valued regular logics: the well-known strong and weak S.C. Kleene’s logics and two intermedi- ate logics, where one was discovered by M. Fitting and the other one by E. Komendantskaya. All these systems were originally presented in the semantical way and based on the theory of recursion. However, the proof theory of them still is not fully developed. Thus, natural deduction sys- tems are built only for strong Kleene’s logic both with (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  10. Deductive Cogency, Understanding, and Acceptance.Finnur Dellsén - 2018 - Synthese 195 (7):3121-3141.
    Deductive Cogency holds that the set of propositions towards which one has, or is prepared to have, a given type of propositional attitude should be consistent and closed under logical consequence. While there are many propositional attitudes that are not subject to this requirement, e.g. hoping and imagining, it is at least prima facie plausible that Deductive Cogency applies to the doxastic attitude involved in propositional knowledge, viz. belief. However, this thought is undermined by the well-known preface paradox, leading a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  11.  20
    Deduction Difficulties.Robert Howell - 2018 - Kantian Review 23 (1):111-121.
    I argue, contrary to Dennis Schulting inKant’s Radical Subjectivism, that the main reasoning of Kant’s transcendental deduction of the categories is progressive, not regressive. Schulting is right, however, to emphasize that the deduction takes the object cognized to be constituted in an idealism-entailing way. But his reasoning has gaps and bypasses Kant’s most explicit deduction argument, independent of the Transcendental Aesthetic, for idealism. Finally, Schulting’s claim that Kantian discursivity itself requires idealism overlooks the fact that Kantian general (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12. Why the Transcendental Deduction is Compatible with Nonconceptualism.Sacha Golob - 2016 - In Dennis Schulting (ed.), Kantian Nonconceptualism. Palgrave-Macmillan. pp. 27-52.
    One of the strongest motivations for conceptualist readings of Kant is the belief that the Transcendental Deduction is incompatible with nonconceptualism. In this article, I argue that this belief is simply false: the Deduction and nonconceptualism are compatible at both an exegetical and a philosophical level. Placing particular emphasis on the case of non-human animals, I discuss in detail how and why my reading diverges from those of Ginsborg, Allais, Gomes and others. I suggest ultimately that it is (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  13. The Deductive-Nomological Account of Metaphysical Explanation.Tobias Wilsch - 2016 - Australasian Journal of Philosophy 94 (1):1-23.
    The paper explores a deductive-nomological account of metaphysical explanation: some truths metaphysically explain, or ground, another truth just in case the laws of metaphysics determine the latter truth on the basis of the former. I develop and motivate a specific conception of metaphysical laws, on which they are general rules that regulate the existence and features of derivative entities. I propose an analysis of the notion of ‘determination via the laws’, based on a restricted form of logical entailment. I argue (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  14.  7
    The Shaping of Deduction in Greek Mathematics: A Study in Cognitive History.Reviel Netz - 1999 - Cambridge and New York: Cambridge University Press.
    An examination of the emergence of the phenomenon of deductive argument in classical Greek mathematics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   84 citations  
  15.  13
    The Dialogical Roots of Deduction: Historical, Cognitive, and Philosophical Perspectives on Reasoning.Catarina Dutilh Novaes - 2020 - Cambridge University Press.
    This comprehensive account of the concept and practices of deduction is the first to bring together perspectives from philosophy, history, psychology and cognitive science, and mathematical practice. Catarina Dutilh Novaes draws on all of these perspectives to argue for an overarching conceptualization of deduction as a dialogical practice: deduction has dialogical roots, and these dialogical roots are still largely present both in theories and in practices of deduction. Dutilh Novaes' account also highlights the deeply human and (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  16. Non-Deductive Logic in Mathematics.James Franklin - 1987 - British Journal for the Philosophy of Science 38 (1):1-18.
    Mathematicians often speak of conjectures as being confirmed by evidence that falls short of proof. For their own conjectures, evidence justifies further work in looking for a proof. Those conjectures of mathematics that have long resisted proof, such as Fermat's Last Theorem and the Riemann Hypothesis, have had to be considered in terms of the evidence for and against them. It is argued here that it is not adequate to describe the relation of evidence to hypothesis as `subjective', `heuristic' or (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  17. A Deductive-Nomological Model of Probabilistic Explanation.Peter Railton - 1978 - Philosophy of Science 45 (2):206-226.
    It has been the dominant view that probabilistic explanations of particular facts must be inductive in character. I argue here that this view is mistaken, and that the aim of probabilistic explanation is not to demonstrate that the explanandum fact was nomically expectable, but to give an account of the chance mechanism(s) responsible for it. To this end, a deductive-nomological model of probabilistic explanation is developed and defended. Such a model has application only when the probabilities occurring in covering laws (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   122 citations  
  18.  53
    Deductive Intuitions and Lay Rationality.David Galloway - 2014 - Journal of Philosophical Research 39:1-15.
    This is a discussion of L. Jonathan Cohen’s argument against the possibility that empirical psychological research might show that lay deductive competence is inconsistent. I argue that, within the framework Cohen provides, the consistency of lay deductive practice is indeterminate.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.
    This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  20.  2
    Deductive Logic: An Introduction to Evaluation Techniques and Logical Theory.David S. Clarke - 1973 - Carbondale: Southern Illinois University Press.
    This introduction to the basic forms of deductive inference as evaluated by methods of modern symbolic logic is de­signed for sophomore-junior-level stu­dents ready to specialize in the study of deductive logic. It can be used also for an introductory logic course. The inde­pendence of many sections allows the instructor utmost flexibility. The text consists of eight chapters, the first six of which are designed to intro­duce the student to basic topics of sen­tence and predicate logic. The last two chapters extend (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  21.  10
    Kant's Transcendental Deduction: An Analytic-Historical Commentary.Henry E. Allison - 2015 - Oxford University Press UK.
    Henry E. Allison presents an analytical and historical commentary on Kant`s transcendental deduction of the pure concepts of the understanding in the Critique of Pure Reason. He argues that, rather than providing a new solution to an old problem, it addresses a new problem, and he traces the line of thought that led Kant to the recognition of the significance of this problem in his 'pre-critical' period. In addition to the developmental nature of the account of Kant`s views presented (...)
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  22.  53
    Relevant Deduction.Gerhard Schurz - 1991 - Erkenntnis 35 (1-3):391 - 437.
    This paper presents an outline of a new theory of relevant deduction which arose from the purpose of solving paradoxes in various fields of analytic philosophy. In distinction to relevance logics, this approach does not replace classical logic by a new one, but distinguishes between relevance and validity. It is argued that irrelevant arguments are, although formally valid, nonsensical and even harmful in practical applications. The basic idea is this: a valid deduction is relevant iff no subformula of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   79 citations  
  23.  9
    Deductive Intuitions and Lay Rationality.David Galloway - 2014 - Journal of Philosophical Research 39:1-15.
    This is a discussion of L. Jonathan Cohen’s argument against the possibility that empirical psychological research might show that lay deductive competence is inconsistent. I argue that, within the framework Cohen provides, the consistency of lay deductive practice is indeterminate.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  26
    Deductive Schemas with Uncertain Premises Using Qualitative Probability Expressions.Guy Politzer & Jean Baratgin - 2016 - Thinking and Reasoning 22 (1):78-98.
    ABSTRACTThe new paradigm in the psychology of reasoning redirects the investigation of deduction conceptually and methodologically because the premises and the conclusion of the inferences are assumed to be uncertain. A probabilistic counterpart of the concept of logical validity and a method to assess whether individuals comply with it must be defined. Conceptually, we used de Finetti's coherence as a normative framework to assess individuals' performance. Methodologically, we presented inference schemas whose premises had various levels of probability that contained (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  25. Deductive Reasoning in the Structuralist Approach.Holger Andreas - 2013 - Studia Logica 101 (5):1093-1113.
    The distinction between the syntactic and the semantic approach to scientific theories emerged in formal philosophy of science. The semantic approach is commonly considered more advanced and more successful than the syntactic one, but the transition from the one approach to the other was not brought about without any loss. In essence, it is the formal analysis of atomic propositions and the analysis of deductive reasoning that dropped out of consideration in at least some of the elaborated versions of the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  26.  18
    The Subjective Deduction and Kant’s Methodological Skepticism.Huaping Lu-Adler - 2022 - In Giuseppe Motta, Dennis Schulting & Udo Thiel (eds.), Kant’s Transcendental Deduction and the Theory of Apperception. Berlin, Germany: pp. 341-60.
    The deduction of categories in the 1781 edition of the Critique of the Pure Reason (A Deduction) has “two sides”—the “objective deduction” and the “subjective deduction”. Kant seems ambivalent about the latter deduction. I treat it as a significant episode of Kant’s thinking about categories that extended from the early 1770s to around 1790. It contains his most detailed answer to the question about the origin of categories that he formulated in the 1772 letter to (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. The Logic of Conditionals: An Application of Probability to Deductive Logic.Ernest Wilcox Adams - 1996 - Dordrecht, Netherland: D. Reidel Pub. Co..
    THE INDICATIVE CONDITIONAL. A PROBABILISTIC CRITERION OF SOUNDNESS FOR DEDUCTIVE INFERENCES Our objective in this section is to establish a prima facie case ...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   250 citations  
  28.  55
    Deduction: Introductory Symbolic Logic.Daniel Bonevac - 2002 - Blackwell.
    New features in this edition, in addition to truth tree systems for classical and nonclassical logics, include new and simpler rules for modal logic, deontic ...
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  29.  30
    Deductive Reasoning.Philip Johnson-Laird - 1999 - Annual Review of Psychology 50 (1):109-135.
    This chapter describes the main accounts of deductive competence, which explain what is computed in carrying out deductions. It argues that people have a modicum of competence, which is useful in daily life and a prerequisite for acquiring logical expertise. It outlines the three main sorts of theory of deductive performance, which explain how people make deductions: They rely on factual knowledge, formal rules, or mental models. It reviews recent experimental studies of deductive reasoning in order to help readers to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  30. Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and Any Other Truth-Functional Connective).Richard Zach - 2015 - Journal of Philosophical Logic 45 (2):183-197.
    Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Against Deductive Closure.Paul D. Thorn - 2017 - Theoria 83 (2):103-119.
    The present article illustrates a conflict between the claim that rational belief sets are closed under deductive consequences, and a very inclusive claim about the factors that are sufficient to determine whether it is rational to believe respective propositions. Inasmuch as it is implausible to hold that the factors listed here are insufficient to determine whether it is rational to believe respective propositions, we have good reason to deny that rational belief sets are closed under deductive consequences.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  32. Moral Knowledge By Deduction.Declan Smithies - forthcoming - Philosophy and Phenomenological Research.
    How is moral knowledge possible? This paper defends the anti-Humean thesis that we can acquire moral knowledge by deduction from wholly non-moral premises. According to Hume’s Law, as it has become known, we cannot deduce an ‘ought’ from an ‘is’, since it is “altogether inconceivable how this new relation can be a deduction from others, which are entirely different from it” (Hume, 1739, 3.1.1). This paper explores the prospects for a deductive theory of moral knowledge that rejects Hume’s (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. Closure, Deduction and Hinge Commitments.Xiaoxing Zhang - 2021 - Synthese 198 (Suppl 15):3533-3551.
    Duncan Pritchard recently proposed a Wittgensteinian solution to closure-based skepticism. According to Wittgenstein, all epistemic systems assume certain truths. The notions that we are not disembodied brains, that the Earth has existed for a long time and that one’s name is such-and-such all function as “hinge commitments.” Pritchard views a hinge commitment as a positive propositional attitude that is not a belief. Because closure principles concern only knowledge-apt beliefs, they do not apply to hinge commitments. Thus, from the fact that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34. Hypothetico-Deductive Confirmation.Jan Sprenger - 2011 - Philosophy Compass 6 (7):497-508.
    Hypothetico-deductive (H-D) confirmation builds on the idea that confirming evidence consists of successful predictions that deductively follow from the hypothesis under test. This article reviews scope, history and recent development of the venerable H-D account: First, we motivate the approach and clarify its relationship to Bayesian confirmation theory. Second, we explain and discuss the tacking paradoxes which exploit the fact that H-D confirmation gives no account of evidential relevance. Third, we review several recent proposals that aim at a sounder and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  35.  1
    Deduction: Introductory Symbolic Logic.Daniel Bonevac - 2002 - Wiley-Blackwell.
  36.  58
    A Deduction From Apperception?Andrew Stephenson - 2014 - Studi Kantiani 27:77-86.
    I discuss three elements of Dennis Schulting’s new book on the transcendental deduction of the pure concepts of the understanding, or categories. First, that Schulting gives a detailed account of the role of each individual category. Second, Schulting’s insistence that the categories nevertheless apply ‘en bloc’. Third, Schulting’s defence of Kant’s so-called reciprocity thesis that subjective unity of consciousness and objectivity in the sense of cognition’s objective purport are necessary conditions for the possibility of one another. I endorse these (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  37.  7
    Natural Deduction for Four-Valued Both Regular and Monotonic Logics.Yaroslav Petrukhin - 2018 - Logic and Logical Philosophy 27 (1):53-66.
    The development of recursion theory motivated Kleene to create regular three-valued logics. Remove it taking his inspiration from the computer science, Fitting later continued to investigate regular three-valued logics and defined them as monotonic ones. Afterwards, Komendantskaya proved that there are four regular three-valued logics and in the three-valued case the set of regular logics coincides with the set of monotonic logics. Next, Tomova showed that in the four-valued case regularity and monotonicity do not coincide. She counted that there are (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38. Communist Conventions for Deductive Reasoning.Sinan Dogramaci - 2015 - Noûs 49 (4):776-799.
    In section 1, I develop epistemic communism, my view of the function of epistemically evaluative terms such as ‘rational’. The function is to support the coordination of our belief-forming rules, which in turn supports the reliable acquisition of beliefs through testimony. This view is motivated by the existence of valid inferences that we hesitate to call rational. I defend the view against the worry that it fails to account for a function of evaluations within first-personal deliberation. In the rest of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  39. Deductive Irrationality: A Commonsense Critique of Economic Rationalism.Stephen McCarthy & David Kehl (eds.) - 2008 - Lexington Books.
    Deductive Irrationality examines and critiques economic rationalism by assessing the work of influential political philosophers and economic theorists such as Thomas Hobbes, John Locke, Adam Smith, Friedrich Hayek, Gunnar Myrdal, and John F. Muth. It is one of the first serious attempts to investigate the dominant sub-fields in economic theory through the lens of political philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. Natural Deduction for Diagonal Operators.Fabio Lampert - 2017 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. Cham: Birkhäuser. pp. 39-51.
    We present a sound and complete Fitch-style natural deduction system for an S5 modal logic containing an actuality operator, a diagonal necessity operator, and a diagonal possibility operator. The logic is two-dimensional, where we evaluate sentences with respect to both an actual world (first dimension) and a world of evaluation (second dimension). The diagonal necessity operator behaves as a quantifier over every point on the diagonal between actual worlds and worlds of evaluation, while the diagonal possibility quantifies over some (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41. Natural Deduction in Connectionist Systems.William Bechtel - 1994 - Synthese 101 (3):433-463.
    The relation between logic and thought has long been controversial, but has recently influenced theorizing about the nature of mental processes in cognitive science. One prominent tradition argues that to explain the systematicity of thought we must posit syntactically structured representations inside the cognitive system which can be operated upon by structure sensitive rules similar to those employed in systems of natural deduction. I have argued elsewhere that the systematicity of human thought might better be explained as resulting from (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  42. Fichte's Deduction of the Moral Law.Owen Ware - 2019 - In Steven Hoeltzel (ed.), Palgrave Fichte Handbook. Palgrave. pp. 239-256.
    It is often assumed that Fichte's aim in Part I of the System of Ethics is to provide a deduction of the moral law, the very thing that Kant – after years of unsuccessful attempts – deemed impossible. On this familiar reading, what Kant eventually viewed as an underivable 'fact' (Factum), the authority of the moral law, is what Fichte traces to its highest ground in what he calls the principle of the 'I'. However, scholars have largely overlooked a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  2
    Natural Deduction - Second Edition: An Introduction to Logic with Real Arguments, a Little History and Some Humour.Richard T. W. Arthur - 2016 - Broadview Press.
    In lively and readable prose, Arthur presents a new approach to the study of logic, one that seeks to integrate methods of argument analysis developed in modern “informal logic” with natural deduction techniques. The dry bones of logic are given flesh by unusual attention to the history of the subject, from Pythagoras, the Stoics, and Indian Buddhist logic, through Lewis Carroll, Venn, and Boole, to Russell, Frege, and Monty Python. A previous edition of this book appeared under the title (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  11
    Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
    Direct download  
     
    Export citation  
     
    Bookmark   170 citations  
  45. Natural Deduction and Curry's Paradox.Susan Rogerson - 2007 - Journal of Philosophical Logic 36 (2):155 - 179.
    Curry's paradox, sometimes described as a general version of the better known Russell's paradox, has intrigued logicians for some time. This paper examines the paradox in a natural deduction setting and critically examines some proposed restrictions to the logic by Fitch and Prawitz. We then offer a tentative counterexample to a conjecture by Tennant proposing a criterion for what is to count as a genuine paradox.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  46.  38
    Natural Deduction with General Elimination Rules.Jan von Plato - 2001 - Archive for Mathematical Logic 40 (7):541-567.
    The structure of derivations in natural deduction is analyzed through isomorphism with a suitable sequent calculus, with twelve hidden convertibilities revealed in usual natural deduction. A general formulation of conjunction and implication elimination rules is given, analogous to disjunction elimination. Normalization through permutative conversions now applies in all cases. Derivations in normal form have all major premisses of elimination rules as assumptions. Conversion in any order terminates.Through the condition that in a cut-free derivation of the sequent Γ⇒C, no (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   48 citations  
  47.  23
    Local Deductions Theorems.Janusz Czelakowski - 1986 - Studia Logica 45 (4):377 - 391.
    The notion of local deduction theorem (which generalizes on the known instances of indeterminate deduction theorems, e.g. for the infinitely-valued ukasiewicz logic C ) is defined. It is then shown that a given finitary non-pathological logic C admits the local deduction theorem iff the class Matr(C) of all matrices validating C has the C-filter extension property (Theorem II.1).
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  48.  1
    The Psychology of Proof: Deductive Reasoning in Human Thinking.Lance J. Rips - 1994 - MIT Press.
    In this provocative book, Lance Rips describes a unified theory of natural deductive reasoning and fashions a working model of deduction, with strong experimental support, that is capable of playing a central role in mental life.Rips argues that certain inference principles are so central to our notion of intelligence and rationality that they deserve serious psychological investigation to determine their role in individuals' beliefs and conjectures. Asserting that cognitive scientists should consider deductive reasoning as a basis for thinking, Rips (...)
    Direct download  
     
    Export citation  
     
    Bookmark   133 citations  
  49. Uncertain Deductive Reasoning.Niki Pfeifer & G. D. Kleiter - 2011 - In K. Manktelow, D. E. Over & S. Elqayam (eds.), The Science of Reason: A Festschrift for Jonathan St B.T. Evans. Psychology Press. pp. 145--166.
    Probabilistic models have started to replace classical logic as the standard reference paradigm in human deductive reasoning. Mental probability logic emphasizes general principles where human reasoning deviates from classical logic, but agrees with a probabilistic approach (like nonmonotonicity or the conditional event interpretation of conditionals). -/- This contribution consists of two parts. In the first part we discuss general features of reasoning systems including consequence relations, how uncertainty may enter argument forms, probability intervals, and probabilistic informativeness. These concepts are of (...)
    Translate
     
     
    Export citation  
     
    Bookmark   19 citations  
  50. Does the Deduction Theorem Fail for Modal Logic?Raul Hakli & Sara Negri - 2012 - Synthese 187 (3):849-867.
    Various sources in the literature claim that the deduction theorem does not hold for normal modal or epistemic logic, whereas others present versions of the deduction theorem for several normal modal systems. It is shown here that the apparent problem arises from an objectionable notion of derivability from assumptions in an axiomatic system. When a traditional Hilbert-type system of axiomatic logic is generalized into a system for derivations from assumptions, the necessitation rule has to be modified in a (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   27 citations  
1 — 50 / 1000