Results for 'Scandal of deduction'

967 found
Order:
  1. 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   60 citations  
  2.  88
    Does This Post Contain Any Information? Resolving the Scandal of Deduction Through a “Copernican Turn” Towards Cognitive Science.Timothy K. Brown - manuscript
    This short blog article presents a solution to the “Scandal of Deduction,” the counter-intuitive finding that no new information is generated by either deduction or deterministic computation. I argue that, since physical computation necessarily involves communications, we cannot expect computation to reduce our uncertainty until it has been completed and its output received as a “message.” This has a number of implications for how we understand semantic theories of information.
    Download  
     
    Export citation  
     
    Bookmark  
  3. Wittgenstein, Peirce, and Paradoxes of Mathematical Proof.Sergiy Koshkin - 2020 - Analytic Philosophy 62 (3):252-274.
    Wittgenstein's paradoxical theses that unproved propositions are meaningless, proofs form new concepts and rules, and contradictions are of limited concern, led to a variety of interpretations, most of them centered on rule-following skepticism. We argue, with the help of C. S. Peirce's distinction between corollarial and theorematic proofs, that his intuitions are better explained by resistance to what we call conceptual omniscience, treating meaning as fixed content specified in advance. We interpret the distinction in the context of modern epistemic logic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. The Scandal of the Irrationality of Academia.Nicholas Maxwell - 2019 - Philosophy and Theory in Higher Education 1 (1):105-128..
    Academic inquiry, in devoting itself primarily to the pursuit of knowledge, is profoundly and damagingly irrational, in a wholesale, structural fashion, when judged from the standpoint of helping to promote human welfare. Judged from this standpoint, academic inquiry devoted to the pursuit of knowledge violates three of the four most elementary rules of rational problem-solving conceivable. Above all, it fails to give intellectual priority to the tasks of (1) articulating problems of living, including global problems, and (2) proposing and critically (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. What is the Scandal of Philosophy?Roberto Horácio de Sá Pereira - 2018 - International Journal for the Study of Skepticism 8 (3):141-166.
    The central question of this paper is: what has Kant’s Refutation of Idealism argument proven, if anything? What is the real scandal of philosophy and universal human reason? I argue that Kant’s Refutation argument can only be considered sound if we assume that his target is what I call ‘metaphysical external-world skepticism.’ What is in question is not the ‘existence’ of outside things but their very ‘nature,’ that is, the claim that the thing outside us, which appears to us (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. 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   2 citations  
  7. 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   13 citations  
  8. Copi's method of deduction.Frederick A. Johnson - 1979 - Notre Dame Journal of Formal Logic 20 (2):295-300.
    Copi's method of deduction is formalized and shown to be complete.
    Download  
     
    Export citation  
     
    Bookmark  
  9. Semantics and the Justification of Deductive Inference.Ebba Gullberg & Sten Lindström - 2007 - Hommage À Wlodek: Philosophical Papers Dedicated to Wlodek Rabinowicz.
    Is it possible to give a justification of our own practice of deductive inference? The purpose of this paper is to explain what such a justification might consist in and what its purpose could be. On the conception that we are going to pursue, to give a justification for a deductive practice means to explain in terms of an intuitively satisfactory notion of validity why the inferences that conform to the practice coincide with the valid ones. That is, a justification (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  96
    Justification Logic and the Epistemic Contribution of Deduction.Nancy Abigail Nuñez Hernández & Francisco Hernández-Quiroz - 2024 - Logic and Logical Philosophy 33:381-402.
    Accounting for the epistemic contribution of deduction has been a pervasive problem for logicians interested in deduction, such as, among others, Jakko Hintikka. The problem arises because the conclusion validly deduced from a set of premises is said to be “contained” in that set; because of this containment relation, the conclusion would be known from the moment the premises are known. Assuming this, it is problematic to explain how we can gain knowledge by deducing a logical consequence implied (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. A PHILOSOPHICAL ENQUIRY INTO THE SCANDAL OF EVIL AND SUFFERING.Edvard Kristian Foshaugen - 2004 - Baptis Journal South Africa (q):q.
    In 1 Peter 1:3-7 we read that the Christians were facing persecution because of their faith and the author reminds them that every trial is a test of their faith. The trials and consequential suffering can be withstood because they are able to look forward to an inheritance – eternal life with God. Christians can endure all trials and suffering because of the hope of glory and ultimate joy. There is a grace afforded by God in the presence to match (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Knowledge of logical generality and the possibility of deductive reasoning.Corine Besson - 2019 - In Anders Nes & Timothy Hoo Wai Chan (eds.), Inference and Consciousness. London: Routledge. pp. 172-196.
    I address a type of circularity threat that arises for the view that we employ general basic logical principles in deductive reasoning. This type of threat has been used to argue that whatever knowing such principles is, it cannot be a fully cognitive or propositional state, otherwise deductive reasoning would not be possible. I look at two versions of the circularity threat and answer them in a way that both challenges the view that we need to apply general logical principles (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  13. The justification of deductive inference and the rationality of believing for a reason.Gian-Andri Toendury - 2007 - Dissertation, Université de Fribourg
    The present PhD thesis is concerned with the question whether good reasoning requires that the subject has some cognitive grip on the relation between premises and conclusion. One consideration in favor of such a requirement goes as follows: In order for my belief-formation to be an instance of reasoning, and not merely a causally related sequence of beliefs, the process must be guided by my endorsement of a rule of reasoning. Therefore I must have justified beliefs about the relation between (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. A PHILOSOPHICAL ENQUIRY INTO THE SCANDAL OF EVIL AND SUFFERING.Edvard Kristian Foshaugen - 2004 - Baptist SA (x):x.
    This paper will explore some of the issues and arguments and offer some critical reflection on the ideas and ways that people have proposed to overcome or uphold the dilemma or conflict between the existence of the God of classical theism and evil and the consequence of evil - suffering. I seek explanation of the plain fact of evil and suffering but I do not seek it in the arrogant belief that I can explain evil away. My Christian faith is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Semantic Information and the Complexity of Deduction.Salman Panahy - 2023 - Erkenntnis 88 (4):1-22.
    In the chapter “Information and Content” of their Impossible Worlds, Berto and Jago provide us with a semantic account of information in deductive reasoning such that we have an explanation for why some, but not all, logical deductions are informative. The framework Berto and Jago choose to make sense of the above-mentioned idea is a semantic interpretation of Sequent Calculus rules of inference for classical logic. I shall argue that although Berto and Jago’s idea and framework are hopeful, their definitions (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Consideration of Hegel, Heidegger and Rangos with Respect to the Relationships of Deductions in the Parmenides of Plato.Brad Thomson - manuscript
    Analysis of the Deductions in Plato's Parmenides.
    Download  
     
    Export citation  
     
    Bookmark  
  17. The Kierkegaardian ideal of 'essential knowing' and the scandal of modern philosophy.Rick Anthony Furtak - 2010 - In Kierkegaard's 'Concluding Unscientific Postscript': A Critical Guide. New York: Cambridge University Press. pp. 87-110.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Deduction in TIL: From Simple to Ramified Hierarchy of Types.Marie Duží - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (2):5-36.
    Tichý’s Transparent Intensional Logic (TIL) is an overarching logical framework apt for the analysis of all sorts of discourse, whether colloquial, scientific, mathematical or logical. The theory is a procedural (as opposed to denotational) one, according to which the meaning of an expression is an abstract, extra-linguistic procedure detailing what operations to apply to what procedural constituents to arrive at the product (if any) of the procedure that is the object denoted by the expression. Such procedures are rigorously defined as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. (1 other version)Analogical Deduction via a Calculus of Predicables.Joseph P. Li Vecchi - 2010 - Philo 13 (1):53-66.
    This article identifies and formalizes the logical features of analogous terms that justify their use in deduction. After a survey of doctrines in Aristotle, Aquinas, and Cajetan, the criteria of “analogy of proper proportionality” are symbolized in first-order predicate logic. A common genus justifies use of a common term, but does not provide the inferential link required for deduction. Rather, the respective differentiae foster this link through their identical proportion. A natural-language argument by analogy is formalized so as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. 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   7 citations  
  21. 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   26 citations  
  22. A nonconceptualist reading of the B-Deduction.Roberto Horácio de Sá Pereira - 2017 - Philosophical Studies 174 (2):425-442.
    In this paper, I propose a new nonconceptual reading of the B-Deduction. As Hanna correctly remarks :399–415, 2011: 405), the word “cognition” has in both editions of the first Critique a wide sense, meaning nonconceptual cognition, and a narrow meaning, in Kant’s own words “an objective perception”. To be sure, Kant assumes the first meaning to account for why the Deduction is unavoidable. And if we take this meaning as a premise of the B-Deduction, then there is (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  23. Electrophysiological connectivity of logical deduction: Early cortical MEG study.Anton Toro Luis F., Salto Francisco, Requena Carmen & Maestu Fernando - 2023 - Cortex 166:365-376.
    Complex human reasoning involves minimal abilities to extract conclusions implied in the available information. These abilities are considered “deductive” because they exemplify certain abstract relations among propositions or probabilities called deductive arguments. However, the electrophysiological dynamics which supports such complex cognitive pro- cesses has not been addressed yet. In this work we consider typically deductive logico- probabilistically valid inferences and aim to verify or refute their electrophysiological functional connectivity differences from invalid inferences with the same content (same relational variables, same (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Problems of Kantian Nonconceptualism and the Transcendental Deduction.Dennis Schulting - 2017 - In Kant's Radical Subjectivism: Perspectives on the Transcendental Deduction. London, UK: Palgrave-Macmillan. pp. 195-255.
    In this paper, I discuss the debate on Kant and nonconceptual content. Inspired by Kant’s account of the intimate relation between intuition and concepts, McDowell (1996) has forcefully argued that the relation between sensible content and concepts is such that sensible content does not severally contribute to cognition but always only in conjunction with concepts. This view is known as conceptualism. Recently, Kantians Robert Hanna and Lucy Allais, among others, have brought against this view the charge that it neglects the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. The deduction paradox.Matheus Silva - manuscript
    Two definitions of deduction are offered. The first is that deduction is an inference type that is both possibly valid and possibly invalid. No inference can satisfy this definition, because valid inferences are not possibly invalid and invalid inferences are not possibly valid. In the second definition, deduction is understood as an inference that aims for validity. This definition also has unwanted consequences, including the fact that invalid inferences are only deductive when they are thought to be (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Circumventing the Metaphysical Deduction: Kant's Table of Categories as "The Form of Understanding in Relation to Space and Time".Berker Basmaci - forthcoming - Idealistic Studies.
    Kant’s derivation of the table of categories from logical functions of judgments in the metaphysical deduction remains one of the least convincing arguments of the Critique of Pure Reason. This article presents an alternative approach to the question of the a priori origin of the table of categories. By circumventing the metaphysical deduction, I show the possibility of demonstrating the exact functions and necessity of the twelve categorial forms as emerging from the interaction of the synthetic unity of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Consideration of Hegel, Heidegger and Rangos with Respect to the Deductions in the Parmenides of Plato.Brad Thomson - manuscript
    Analysis of the Deductions in Plato's Parmenides.
    Download  
     
    Export citation  
     
    Bookmark  
  28. 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  
  29. Fichte's Deduction of the Moral Law.Owen Ware - 2019 - In Steven Hoeltzel (ed.), The Palgrave Fichte Handbook. Palgrave Macmillan. 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  
  30. Non-deductive Logic in Mathematics: The Probability of Conjectures.James Franklin - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Dordrecht, Netherland: 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  
  31. 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 systems (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  32. Deduction as a dialogical device: Catarina Dutilh Novaes: The dialogical roots of deduction: historical, cognitive, and philosophical perspectives on reasoning. New York: Cambridge University Press, 2021, xiii + 271 pp, £75.00 HB. [REVIEW]Preston Stovall - 2021 - Metascience 31 (1):41-44.
    Download  
     
    Export citation  
     
    Bookmark  
  33. 'Deduction' versus 'inference' and the denotation of conditional sentences.Carsten Breul - manuscript
    The paper defends a variant of the material implication approach to the meaning of conditional sentences against some arguments that are considered to be widely subscribed to and/or important in the philosophical, psychological and linguistic literature. These arguments are shown to be wrong, debatable, or to miss their aim if the truth conditions defining material implication are viewed as determining nothing but the denotation of conditional sentences and if the function of conditional sentences in deduction (logic) is focused on (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. 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  
     
    Export citation  
     
    Bookmark   7 citations  
  35. 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  
  36. Mind Critical Notice of Kant's Transcendental Deduction, by Henry Allison.Golob Sacha - 2017 - Mind 126 (501):278-289.
    Critical Notice of Kant's Transcendental Deduction, by Henry Allison. Oxford: Oxford University Press, 2015. Pp. Xv + 477.
    Download  
     
    Export citation  
     
    Bookmark  
  37. 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  
     
    Export citation  
     
    Bookmark  
  38. The Central Role of Cognition in Kant's Transcendental Deduction.Curtis Sommerlatte - 2016 - Dissertation, Indiana University, Bloomington
    I argue that Kant’s primary epistemological concern in the Critique of Pure Reason’s transcendental deduction is empirical cognition. I show how empirical cognition is best understood as “rational sensory discrimination”: the capacity to discriminate sensory objects through the use of concepts and with a sensitivity to the normativity of reasons. My dissertation focuses on Kant’s starting assumption of the transcendental deduction, which I argue to be the thesis that we have empirical cognition. I then show how Kant’s own (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. 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   5 citations  
  40. 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   6 citations  
  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  
     
    Export citation  
     
    Bookmark  
  42. 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  
  43. Deductive Computing over Knowledge Bases: Prolog and Datalog.Luis M. Augusto - 2024 - Journal of Knowledge Structures and Systems 5 (1):1-62.
    Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. (1 other version)Teaching the PARC System of Natural Deduction.Daryl Close - 2015 - American Association of Philosophy Teachers Studies in Pedagogy 1:201-218.
    PARC is an "appended numeral" system of natural deduction that I learned as an undergraduate and have taught for many years. Despite its considerable pedagogical strengths, PARC appears to have never been published. The system features explicit "tracking" of premises and assumptions throughout a derivation, the collapsing of indirect proofs into conditional proofs, and a very simple set of quantificational rules without the long list of exceptions that bedevil students learning existential instantiation and universal generalization. The system can be (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Transcendental Deduction Against Hume's Challenge to Reason.de Sá Pereira Roberto Horácio - 2020 - Kant-e-Print 15 (2):6-31.
    From the second half of the last century, there has been a widespread view in the Anglophone world that Kant’s transcendental deduction (aka TD) aims to vindicate our common-sense view of the world as composed of public and objective particulars against some unqualified forms of skepticism. This widespread assumption has raised serious doubt not only about the success of TD but also about the very nature of its argument in both editions of the Critique. Yet, if there is a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Systematic construction of natural deduction systems for many-valued logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - In Unknown (ed.), Proceedings of The Twenty-Third International Symposium on Multiple-Valued Logic, 1993. 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   14 citations  
  47. (1 other version)The Proof Structure of Kant's A-Edition Objective Deduction.Corey W. Dyck - 2019 - In Dennis Schulting (ed.), Kant’s Deduction From Apperception: An Essay on the Transcendental Deduction of the Categories. Berlin, Germany: De Gruyter.
    Kant's A-Edition objective deduction is naturally (and has traditionally been) divided into two arguments: an " argument from above" and one that proceeds " von unten auf." This would suggest a picture of Kant's procedure in the objective deduction as first descending and ascending the same ladder, the better, perhaps, to test its durability or to thoroughly convince the reader of its soundness. There are obvious obstacles to such a reading, however; and in this chapter I will argue (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. 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   65 citations  
  49. 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   1 citation  
  50. 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   25 citations  
1 — 50 / 967