Results for 'deduction'

605 found
Order:
  1. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  2. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  3. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. 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.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  5. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  6. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Aristotle's Natural Deduction System.John Corcoran - 1974 - In Ancient Logic and its Modern Interpretations. Boston: Reidel. pp. 85--131.
    This presentation of Aristotle's natural deduction system supplements earlier presentations and gives more historical evidence. Some fine-tunings resulted from conversations with Timothy Smiley, Charles Kahn, Josiah Gould, John Kearns,John Glanvillle, and William Parry.The criticism of Aristotle's theory of propositions found at the end of this 1974 presentation was retracted in Corcoran's 2009 HPL article "Aristotle's demonstrative logic".
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  8. Is Kant’s Transcendental Deduction of the Categories Fit for Purpose?Anil Gomes - 2010 - Kantian Review 15 (2):118-137.
    James Van Cleve has argued that Kant’s Transcendental Deduction of the categories shows, at most, that we must apply the categories to experience. And this falls short of Kant’s aim, which is to show that they must so apply. In this discussion I argue that once we have noted the differences between the first and second editions of the Deduction, this objection is less telling. But Van Cleve’s objection can help illuminate the structure of the B Deduction, (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  9. Single Premise Deduction and Risk.Maria Lasonen-Aarnio - 2008 - Philosophical Studies 141 (2):157 - 173.
    It is tempting to think that multi premise closure creates a special class of paradoxes having to do with the accumulation of risks, and that these paradoxes could be escaped by rejecting the principle, while still retaining single premise closure. I argue that single premise deduction is also susceptible to risks. I show that what I take to be the strongest argument for rejecting multi premise closure is also an argument for rejecting single premise closure. Because of the symmetry (...)
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  10. Deductive Reasoning Under Uncertainty: A Water Tank Analogy.Guy Politzer - 2016 - Erkenntnis 81 (3):479-506.
    This paper describes a cubic water tank equipped with a movable partition receiving various amounts of liquid used to represent joint probability distributions. This device is applied to the investigation of deductive inferences under uncertainty. The analogy is exploited to determine by qualitative reasoning the limits in probability of the conclusion of twenty basic deductive arguments (such as Modus Ponens, And-introduction, Contraposition, etc.) often used as benchmark problems by the various theoretical approaches to reasoning under uncertainty. The probability bounds imposed (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  11. Two Deductions: (1) From the Totality to Quantum Information Conservation; (2) From the Latter to Dark Matter and Dark Energy.Vasil Penchev - 2020 - Information Theory and Research eJournal (Elsevier: SSRN) 1 (28):1-47.
    The paper discusses the origin of dark matter and dark energy from the concepts of time and the totality in the final analysis. Though both seem to be rather philosophical, nonetheless they are postulated axiomatically and interpreted physically, and the corresponding philosophical transcendentalism serves heuristically. The exposition of the article means to outline the “forest for the trees”, however, in an absolutely rigorous mathematical way, which to be explicated in detail in a future paper. The “two deductions” are two successive (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. The Content of Deduction.Mark Jago - 2013 - Journal of Philosophical Logic 42 (2):317-334.
    For deductive reasoning to be justified, it must be guaranteed to preserve truth from premises to conclusion; and for it to be useful to us, it must be capable of informing us of something. How can we capture this notion of information content, whilst respecting the fact that the content of the premises, if true, already secures the truth of the conclusion? This is the problem I address here. I begin by considering and rejecting several accounts of informational content. I (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  13. Natural Deduction for Modal Logic with a Backtracking Operator.Jonathan Payne - 2015 - Journal of Philosophical Logic 44 (3):237-258.
    Harold Hodes in [1] introduces an extension of first-order modal logic featuring a backtracking operator, and provides a possible worlds semantics, according to which the operator is a kind of device for ‘world travel’; he does not provide a proof theory. In this paper, I provide a natural deduction system for modal logic featuring this operator, and argue that the system can be motivated in terms of a reading of the backtracking operator whereby it serves to indicate modal scope. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  14. Kant's Subjective Deduction.Nathan Bauer - 2010 - British Journal for the History of Philosophy 18 (3):433-460.
    In the transcendental deduction, the central argument of the Critique of Pure Reason, Kant seeks to secure the objective validity of our basic categories of thought. He distinguishes objective and subjective sides of this argument. The latter side, the subjective deduction, is normally understood as an investigation of our cognitive faculties. It is identified with Kant’s account of a threefold synthesis involved in our cognition of objects of experience, and it is said to precede and ground Kant’s proof (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  15. The Enduring Scandal of Deduction: Is Propositional Logic Really Uninformative?Marcello D'Agostino & Luciano Floridi - 2009 - Synthese 167 (2):271-315.
    Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of growing (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  16. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  17. Deductive Arguments.Jake Wright - manuscript
    This essay presents deductive arguments to an introductory-level audience via a discussion of Aristotle's three types of rhetoric, the goals of and differences between deductive and non-deductive arguments, and the major features of deductive arguments (e.g., validity and soundness).
    Download  
     
    Export citation  
     
    Bookmark  
  18. On 'Deduction' and the Inductive/Deductive Distinction.Jeffrey Goodman & Daniel Flage - 2012 - Studies in Logic 5 (3).
    The definitions of ‘deduction’ found in virtually every introductory logic textbook would encourage us to believe that the inductive/deductive distinction is a distinction among kinds of arguments and that the extension of ‘deduction’ is a determinate class of arguments. In this paper, we argue that that this approach is mistaken. Specifically, we defend the claim that typical definitions of ‘deduction’ operative in attempts to get at the induction/deduction distinction are either too narrow or insufficiently precise. We (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Deductive Reasoning.Joshua Schechter - 2013 - In Hal Pashler (ed.), The Encyclopedia of the Mind. SAGE Reference.
    Deductive reasoning is the kind of reasoning in which, roughly, the truth of the input propositions (the premises) logically guarantees the truth of the output proposition (the conclusion), provided that no mistake has been made in the reasoning. The premises may be propositions that the reasoner believes or assumptions that the reasoner is exploring. Deductive reasoning contrasts with inductive reasoning, the kind of reasoning in which the truth of the premises need not guarantee the truth of the conclusion.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  43
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Is There a Deductive Argument for Semantic Externalism? Reply to Yli-Vakkuri.Sarah Sawyer - 2018 - Analysis 78 (4):675-681.
    Juhani Yli-Vakkuri has argued that the Twin Earth thought experiments offered in favour of semantic externalism can be replaced by a straightforward deductive argument from premisses widely accepted by both internalists and externalists alike. The deductive argument depends, however, on premisses that, on standard formulations of internalism, cannot be satisfied by a single belief simultaneously. It does not therefore, constitute a proof of externalism. The aim of this article is to explain why.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  22. Deductively-Inductively.Fred Johnson - 1980 - Informal Logic 3 (1):4-5.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  23. Kant’s Deductions of Morality and Freedom.Owen Ware - 2017 - Canadian Journal of Philosophy 47 (1):116-147.
    It is commonly held that Kant ventured to derive morality from freedom in Groundwork III. It is also believed that he reversed this strategy in the second Critique, attempting to derive freedom from morality instead. In this paper, I set out to challenge these familiar assumptions: Kant’s argument in Groundwork III rests on a moral conception of the intelligible world, one that plays a similar role as the ‘fact of reason’ in the second Critique. Accordingly, I argue, there is no (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  24. Fichte's Deduction of the Moral Law.Owen Ware - 2019 - In Steven Hoeltzel (ed.), The 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  6
    Skepticism, Deduction, and Reason’s Maturation.G. Anthony Bruno - 2018 - In Skepticism: Historical and Contemporary Inquiries. Routledge. pp. 203-19.
    This paper offers an account of the role that critical skepticism plays in the transcendental deduction of the categories of the understanding, arguing that deferred trust in our cognitive faculty is pivotal for reason’s maturation as Kant conceives it and as Hegel subsequently redefines it in his science of the experience of consciousness.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. Systematic Construction of Natural Deduction Systems for Many-Valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - In Proceedings of The Twenty-Third International Symposium on Multiple-Valued Logic, 1993. Los Alamitos, CA: IEEE Press. pp. 208-213.
    A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness, and normal-form theorems for natural deduction systems.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  27. Deductive Proof That You Are Awake and Not Dreaming. (Descartes Argument of Dreaming) (This is a Rough Draft My Views Are Constantly Changing).Benjamin Arturo Villalobos - manuscript
    Looking at every sense this article proves through deduction; that your mind needs a source to dream. Dreams are old experienced essences of platonic forms. You can only experience new forms essences when you are awake because of initial experiences. If dreams are old, experienced essences (what this article proves) therefore you know you are awake when you initially sense new experienced essences.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. Kant on Perception: Naive Realism, Non-Conceptualism, and the B-Deduction.Anil Gomes - 2014 - Philosophical Quarterly 64 (254):1-19.
    According to non-conceptualist interpretations, Kant held that the application of concepts is not necessary for perceptual experience. Some have motivated non-conceptualism by noting the affinities between Kant's account of perception and contemporary relational theories of perception. In this paper I argue (i) that non-conceptualism cannot provide an account of the Transcendental Deduction and thus ought to be rejected; and (ii) that this has no bearing on the issue of whether Kant endorsed a relational account of perceptual experience.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  29. Moral Knowledge By Deduction.Declan Smithies - 2022 - Philosophy and Phenomenological Research 104 (3):537-563.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. On the Justification of Deduction and Induction.Franz Huber - 2017 - European Journal for Philosophy of Science 7 (3):507-534.
    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. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  9
    La déduction mathématique et la théorie physique. Exemple de solutions numériques physiquement utiles.Sara Franceschelli - 2014 - In Modéliser & simuler. Tome 2. Ed. Matériologiques.
    Cette étude montre comment le météorologue Edward Lorenz, dans deux articles de 1963 et 1964, explore les propriétés des systèmes chaotiques par des allers-retours entre une déduction mathématique (basée sur la théorie des systèmes dynamiques) et une étude des solutions numériques du système dit « de Lorenz » dans un régime d’instabilité. This study aims at showing how the metereologist Edward Lorenz, in two papers of 1963 and 1964, explores the properties of chaotic systems thanks to the interplay between a (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  24
    Deduction as a Dialogical Practice. [REVIEW]Preston Stovall - forthcoming - Metascience:1-4.
    Download  
     
    Export citation  
     
    Bookmark  
  33. Non-Deductive Logic in Mathematics: The Probability of Conjectures.James Franklin - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Springer. pp. 11--29.
    Mathematicians often speak of conjectures, yet unproved, as probable or well-confirmed by evidence. The Riemann Hypothesis, for example, is widely believed to be almost certainly true. There seems no initial reason to distinguish such probability from the same notion in empirical science. Yet it is hard to see how there could be probabilistic relations between the necessary truths of pure mathematics. The existence of such logical relations, short of certainty, is defended using the theory of logical probability (or objective Bayesianism (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Remarks on Stoic Deduction.John Corcoran - 1974 - In Ancient Logic and its Modern Interpretations. Boston: Reidel. pp. 169--181.
    This paper raises obvious questions undermining any residual confidence in Mates work and revealing our embarrassing ignorance of true nature of Stoic deduction. It was inspired by the challenging exploratory work of JOSIAH GOULD.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  35. Kant's Deduction of Freedom and Morality.Karl Ameriks - 1981 - Journal of the History of Philosophy 19 (1):53-79.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  36. Epistemic Closure Under Deductive Inference: What is It and Can We Afford It?Assaf Sharon & Levi Spectre - 2013 - Synthese 190 (14):2731-2748.
    The idea that knowledge can be extended by inference from what is known seems highly plausible. Yet, as shown by familiar preface paradox and lottery-type cases, the possibility of aggregating uncertainty casts doubt on its tenability. We show that these considerations go much further than previously recognized and significantly restrict the kinds of closure ordinary theories of knowledge can endorse. Meeting the challenge of uncertainty aggregation requires either the restriction of knowledge-extending inferences to single premises, or eliminating epistemic uncertainty in (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  37.  18
    Kant’s Transcendental Deduction of the Categories: Critical Re-Examination, Elucidation and Corroboration, by Kenneth R. Westphal. [REVIEW]Andrew Stephenson - forthcoming - Hegel Bulletin.
    Download  
     
    Export citation  
     
    Bookmark  
  38.  36
    Gunk in the Third Deduction of Plato's Parmenides.Samuel Meister - 2022 - In Luc Brisson, Arnaud Macé & Olivier Renaut (eds.), Plato's Parmenides: Selected Papers of the Twelfth Symposium Platonicum. Academia.
    The third deduction in Plato’s Parmenides is often given a constructive reading on which Plato’s Parmenides, or even Plato himself, presents us with a positive account of the relation between parts and wholes. However, I argue that there is a hitch in the third deduction which threatens to undermine the mereology of the third deduction by the lights of the dialogue. Roughly, even if the Others partake of the One, the account of the third deduction leads (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Kant on the Transcendental Deduction of Space and Time: An Essay on the Philosophical Resources of the Transcendental Aesthetic.Melissa McBay Merritt - 2010 - Kantian Review 14 (2):1-37.
    I take up Kant's remarks about a " transcendental deduction" of the "concepts of space and time". I argue for the need to make a clearer assessment of the philosophical resources of the Aesthetic in order to account for this transcendental deduction. Special attention needs to be given to the fact that the central task of the Aesthetic is simply the "exposition" of these concepts. The Metaphysical Exposition reflects upon facts about our usage to reveal our commitment to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. La conception déductive de l'explication scientifique et l'économie.Philippe Mongin - 2002 - Social Science Information 41 (2):139-165.
    This essay presents and discusses the currently most famous among the deductive conceptions of explanation, i.e., the deductive-nomological one, and proceeds to apply it to microeconomic theory. After restating the basic ideas, the essay investigates some of the important objections raised against it, with a view to decide whether or not they invalidate the proposed application to economics.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  41. Mathematical Deduction by Induction.Christy Ailman - 2013 - Gratia Eruditionis:4-12.
    In attempt to provide an answer to the question of origin of deductive proofs, I argue that Aristotle’s philosophy of math is more accurate opposed to a Platonic philosophy of math, given the evidence of how mathematics began. Aristotle says that mathematical knowledge is a posteriori, known through induction; but once knowledge has become unqualified it can grow into deduction. Two pieces of recent scholarship on Greek mathematics propose new ways of thinking about how mathematics began in the Greek (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (2):81-97.
    This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  43. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  44. Application of Natural Deduction in Renaissance Geometry.Mirek Ryszard - 2014 - Argument: Biannual Philosophical Journal 4 (2):425-438.
    my goal here is to provide a detailed analysis of the methods of inference that are employed in De prospectiva pingendi. For this purpose, a method of natural deduction is proposed. the treatise by Piero della Francesca is a manifestation of a union between the ne arts and the mathematical sciences of arithmetic and geometry. He de nes painting as a part of perspective and, speaking precisely, as a branch of geometry, which is why we nd advanced geometrical exercises (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Apodeictic Syllogisms: Deductions and Decision Procedures.Fred Johnson - 1995 - History and Philosophy of Logic 16 (1):1-18.
    One semantic and two syntactic decision procedures are given for determining the validity of Aristotelian assertoric and apodeictic syllogisms. Results are obtained by using the Aristotelian deductions that necessarily have an even number of premises.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  46. Modus Tollens Probabilized: Deductive and Inductive Methods in Medical Diagnosis.Barbara Osimani - 2009 - MEDIC 17 (1/3):43-59.
    Medical diagnosis has been traditionally recognized as a privileged field of application for so called probabilistic induction. Consequently, the Bayesian theorem, which mathematically formalizes this form of inference, has been seen as the most adequate tool for quantifying the uncertainty surrounding the diagnosis by providing probabilities of different diagnostic hypotheses, given symptomatic or laboratory data. On the other side, it has also been remarked that differential diagnosis rather works by exclusion, e.g. by modus tollens, i.e. deductively. By drawing on a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Can Kants Deduction of Judgments of Taste Be Saved?Miles Rind - 2002 - Archiv für Geschichte der Philosophie 84 (1):20-45.
    Kant’s argument in § 38 of the *Critique of Judgment* is subject to a dilemma: if the subjective condition of cognition is the sufficient condition of the pleasure of taste, then every object of experience must produce that pleasure; if not, then the universal communicability of cognition does not entail the universal communicability of the pleasure. Kant’s use of an additional premise in § 21 may get him out of this difficulty, but the premises themselves hang in the air and (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  48. Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction.Moritz Cordes & Friedrich Reinmuth - 2017 - Logic and Logical Philosophy 26 (2).
    We argue that the need for commentary in commonly used linear calculi of natural deduction is connected to the “deletion” of illocutionary expressions that express the role of propositions as reasons, assumptions, or inferred propositions. We first analyze the formalization of an informal proof in some common calculi which do not formalize natural language illocutionary expressions, and show that in these calculi the formalizations of the example proof rely on commentary devices that have no counterpart in the original proof. (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  49. Kant's Transcendental Deduction: An Analytical‐Historical Commentary, by Henry Allison. Oxford University Press, 2015, 496 Pp. ISBN 13: 978‐0‐19‐872485‐8 Hb £75.00. [REVIEW]Colin McLear - 2017 - European Journal of Philosophy 25 (2):546-554.
    Download  
     
    Export citation  
     
    Bookmark  
  50.  45
    Genealogy and Jurisprudence in Fichte’s Genetic Deduction of the Categories.G. Anthony Bruno - 2018 - History of Philosophy Quarterly 35 (1):77-96.
    Fichte argues that the conclusion of Kant’s transcendental deduction of the categories is correct yet lacks a crucial premise, given Kant’s admission that the metaphysical deduction locates an arbitrary origin for the categories. Fichte provides the missing premise by employing a new method: a genetic deduction of the categories from a first principle. Since Fichte claims to articulate the same view as Kant in a different, it is crucial to grasp genetic deduction in relation to the (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 605