Search results for 'Deduction' (try it on Scholar)

1000+ found
Sort by:
  1. Historicizing Deduction (2004). Malachi Hacohen Historicizing Deduction: Scientific Method, Critical Debate, and the Historian. In Friedrich Stadler (ed.), Induction and Deduction in the Sciences. Springer. 11--17.score: 210.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Mark Jago (2012). The Content of Deduction. Journal of Philosophical Logic 42 (2):317-334.score: 24.0
    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 (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  3. Melissa McBay Merritt (2010). Kant on the Transcendental Deduction of Space and Time: An Essay on the Philosophical Resources of the Transcendental Aesthetic. Kantian Review 14 (2):1-37.score: 24.0
    I take up Kant's remarks about a "transcendental deduction" of the "concepts of space and time" (A87/B119-120). 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 (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Susan Haack (1976). The Justification of Deduction. Mind 85 (337):112-119.score: 24.0
    It is often taken for granted by writers who propose--and, for that matter, by writers who oppose--'justifications' of inductions, that deduction either does not need, or can readily be provided with, justification. The purpose of this paper is to argue that, contrary to this common opinion, problems analogous to those which, notoriously, arise in the attempt to justify induction, also arise in the attempt to justify deduction.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Ian Proops (2003). Kant's Legal Metaphor and the Nature of a Deduction. Journal of the History of Philosophy 41 (2):209-229.score: 24.0
    This essay partly builds on and partly criticizes a striking idea of Dieter Henrich. Henrich argues that Kant's distinction in the first Critique between the question of fact (quid facti) and the question of law (quid juris) provides clues to the argumentative structure of a philosophical "Deduction". Henrich suggests that the unity of apperception plays a role analogous to a legal factum. By contrast, I argue, first, that the question of fact in the first Critique is settled by the (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Dennis Schulting (2012). Kant's Deduction and Apperception. Palgrave Macmillan.score: 24.0
    This book offers a thoroughgoing, analytic account of the first half of the Transcendental Deduction of the Categories in the B-edition of Kant's Critique of Pure Reason that is different from existing interpretations in at least one important aspect: its central claim is that each of the 12 categories is wholly derivable from the principle of apperception, which goes against the current view that the Deduction is not a proof in a strict philosophical sense and the standard reading (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Anil Gomes (2010). Is Kant's Transcendental Deduction of the Categories Fit for Purpose? Kantian Review 15 (2):118-137.score: 24.0
    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, (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  8. Moritz Cordes & Friedrich Reinmuth, A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-Theory.score: 24.0
    Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e. a natural deduction calculus that incorporates illocutionary operators at the formal level, and prove its adequacy. In contrast to other linear calculi of natural deduction, derivations in this calculus are sequences of object-language sentences which do not require graphical or other means of commentary in order to keep track of assumptions or to indicate subproofs. (Translation of our German paper (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. Maria Lasonen-Aarnio (2008). Single Premise Deduction and Risk. Philosophical Studies 141 (2):157 - 173.score: 24.0
    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 (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Nathan Bauer (2010). Kant's Subjective Deduction. British Journal for the History of Philosophy 18 (3):433-460.score: 24.0
    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 (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11. Bruno G. Bara & Monica Bucciarelli (2000). Deduction and Induction: Reasoning Through Mental Models. [REVIEW] Mind and Society 1 (1):95-107.score: 24.0
    In this paper we deal with two types of reasoning: induction, and deduction First, we present a unified computational model of deductive reasoning through models, where deduction occurs in five phases: Construction, Integration, Conclusion, Falsification, and Response. Second, we make an attempt, to analyze induction through the same phases. Our aim is an explorative evaluation of the mental processes possibly shared by deductive and inductive reasoning.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. William P. Bechtel (1994). Natural Deduction in Connectionist Systems. Synthese 101 (3):433-463.score: 24.0
    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 (11 more)  
     
    My bibliography  
     
    Export citation  
  13. Anil Gomes (2014). Kant on Perception: Naive Realism, Non-Conceptualism, and the B-Deduction. Philosophical Quarterly 64 (254):1-19.score: 24.0
    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.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. Susan Rogerson (2007). Natural Deduction and Curry's Paradox. Journal of Philosophical Logic 36 (2):155 - 179.score: 24.0
    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 (6 more)  
     
    My bibliography  
     
    Export citation  
  15. Marcello D'Agostino & Luciano Floridi (2009). The Enduring Scandal of Deduction. Synthese 167 (2):271 - 315.score: 24.0
    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 (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  16. Dennis Schulting (2012). Kant's Deduction and Apperception. Explaining the Categories. Palgrave Macmillan.score: 24.0
    Dennis Schulting offers a thoroughgoing, analytic account of the first half of the Transcendental Deduction of the Categories in the B-edition of Kant’s Critique of Pure Reason that is different from existing interpretations in at least one important aspect: its central claim is that each of the 12 categories is wholly derivable from the principle of apperception, which goes against the current view that the Deduction is not a proof in a strict philosophical sense and the standard reading (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. Nikolaos Galatos & Hiroakira Ono (2006). Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics Over FL. Studia Logica 83 (1-3):279 - 308.score: 24.0
    Substructural logics have received a lot of attention in recent years from the communities of both logic and algebra. We discuss the algebraization of substructural logics over the full Lambek calculus and their connections to residuated lattices, and establish a weak form of the deduction theorem that is known as parametrized local deduction theorem. Finally, we study certain interpolation properties and explain how they imply the amalgamation property for certain varieties of residuated lattices.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  18. Huajie Liu (2006). Instability, Modus Ponens and Uncertainty of Deduction. Frontiers of Philosophy in China 1 (4):658-674.score: 24.0
    Considering the instability of nonlinear dynamics, the deductive inference rule Modus ponens itself is not enough to guarantee the validity of reasoning sequences in the real physical world, and similar results cannot necessarily be obtained from similar causes. Some kind of stability hypothesis should be added in order to draw meaningful conclusions. Hence, the uncertainty of deductive inference appears to be like that of inductive inference, and the asymmetry between deduction and induction becomes unrecognizable such as to undermine the (...)
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  19. Danny Frederick (2014). Deduction and Novelty Again. The Reasoner 8 (5):51-52.score: 24.0
    It is commonly claimed that the conclusion of a valid deductive argument is contained in its premises and says nothing new. In 'Deduction and Novelty,' in The Reasoner 5 (4), pp. 56-57, I refuted that claim. In The Reasoner, 8 (3), pp. 24-25, David McBride criticised my refutation. I show that McBride’s arguments are unsound.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  20. Marcello D'Agostino & Luciano Floridi (2009). The Enduring Scandal of Deduction: Is Propositional Logic Really Uninformative? Synthese 167 (2):271 - 315.score: 24.0
    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 (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  21. Manuel Sánchez Rodríguez (2013). The Conclusion of the Deduction of Taste in the Dialectic of Aesthetic Power of Judgment in Kant. Trans/Form/Ação 36 (2):45-62.score: 24.0
    In this paper, it is argued that only in the section on dialectic in the Critique of Judgment does Kant reach a definitive and conclusive version of deduction, after discovering the concept of the supersensible. In the section on the deduction of pure aesthetic judgments, Kant does not satisfactorily explain the critical distinction between the sensible nature of humanity and the supersensible nature of human reason presupposed in the concept of universal communicability. While the concept of the supersensible (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. Torben BraÜner (2005). Natural Deduction for First-Order Hybrid Logic. Journal of Logic, Language and Information 14 (2):173-198.score: 24.0
    This is a companion paper to Braüner (2004b, Journal of Logic and Computation 14, 329–353) where a natural deduction system for propositional hybrid logic is given. In the present paper we generalize the system to the first-order case. Our natural deduction system for first-order hybrid logic can be extended with additional inference rules corresponding to conditions on the accessibility relations and the quantifier domains expressed by so-called geometric theories. We prove soundness and completeness and we prove a normalisation (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  23. George Couvalis (2004). Is Induction Epistemologically Prior to Deduction? Ratio 17 (1):28–44.score: 24.0
    Most philosophers hold that the use of our deductive powers confers an especially strong warrant on some of our mathematical and logical beliefs. By contrast, many of the same philosophers hold that it is a matter of serious debate whether any inductive inferences are cogent. That is, they hold that we might well have no warrant for inductively licensed beliefs, such as generalizations. I argue that we cannot know that we know logical and mathemati- cal truths unless we use induction. (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  24. Raul Hakli & Sara Negri (2012). Does the Deduction Theorem Fail for Modal Logic? Synthese 187 (3):849-867.score: 24.0
    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 (...)
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  25. Nissim Francez (2014). Harmony in Multiple-Conclusion Natural-Deduction. Logica Universalis 8 (2):215-259.score: 24.0
    The paper studies the extension of harmony and stability, major themes in proof-theoretic semantics, from single-conclusion natural-deduction systems to multiple-conclusions natural-deduction, independently of classical logic. An extension of the method of obtaining harmoniously-induced general elimination rules from given introduction rules is suggested, taking into account sub-structurality. Finally, the reductions and expansions of the multiple-conclusions natural-deduction representation of classical logic are formulated.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. Torben Braüner (2004). Two Natural Deduction Systems for Hybrid Logic: A Comparison. [REVIEW] Journal of Logic, Language and Information 13 (1):1-23.score: 24.0
    In this paper two different natural deduction systems forhybrid logic are compared and contrasted.One of the systems was originally given by the author of the presentpaper whereasthe other system under consideration is a modifiedversion of a natural deductionsystem given by Jerry Seligman.We give translations in both directions between the systems,and moreover, we devise a set of reduction rules forthe latter system bytranslation of already known reduction rules for the former system.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  27. Allen P. Hazen & Francis Jeffry Pelletier (forthcoming). Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different. Studia Logica:1-40.score: 24.0
    Gentzen’s and Jaśkowski’s formulations of natural deduction are logically equivalent in the normal sense of those words. However, Gentzen’s formulation more straightforwardly lends itself both to a normalization theorem and to a theory of “meaning” for connectives (which leads to a view of semantics called ‘inferentialism’). The present paper investigates cases where Jaskowski’s formulation seems better suited. These cases range from the phenomenology and epistemology of proof construction to the ways to incorporate novel logical connectives into the language. We (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. Jan von Plato (forthcoming). From Axiomatic Logic to Natural Deduction. Studia Logica:1-18.score: 24.0
    Recently discovered documents have shown how Gentzen had arrived at the final form of natural deduction, namely by trying out a great number of alternative formulations. What led him to natural deduction in the first place, other than the general idea of studying “mathematical inference as it appears in practice,” is not indicated anywhere in his publications or preserved manuscripts. It is suggested that formal work in axiomatic logic lies behind the birth of Gentzen’s natural deduction, rather (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. Jaime Bohórquez V. (2008). Intuitionistic Logic According to Dijkstra's Calculus of Equational Deduction. Notre Dame Journal of Formal Logic 49 (4):361-384.score: 24.0
    Dijkstra and Scholten have proposed a formalization of classical predicate logic on a novel deductive system as an alternative to Hilbert's style of proof and Gentzen's deductive systems. In this context we call it CED (Calculus of Equational Deduction). This deductive method promotes logical equivalence over implication and shows that there are easy ways to prove predicate formulas without the introduction of hypotheses or metamathematical tools such as the deduction theorem. Moreover, syntactic considerations (in Dijkstra's words, "letting the (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  30. Normal D. Megill & Mladen Pavičić (2002). Deduction, Ordering, and Operations in Quantum Logic. Foundations of Physics 32 (3):357-378.score: 24.0
    We show that in quantum logic of closed subspaces of Hilbert space one cannot substitute quantum operations for classical (standard Hilbert space) ones and treat them as primitive operations. We consider two possible ways of such a substitution and arrive at operation algebras that are not lattices what proves the claim. We devise algorithms and programs which write down any two-variable expression in an orthomodular lattice by means of classical and quantum operations in an identical form. Our results show that (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  31. Jan J. Wilbanks (2010). Defining Deduction, Induction, and Validity. Argumentation 24 (1):107-124.score: 24.0
    In this paper I focus on two contrasting concepts of deduction and induction that have appeared in introductory (formal) logic texts over the past 75 years or so. According to the one, deductive and inductive arguments are defined solely by reference to what arguers claim about the relation between the premises and the conclusions. According to the other, they are defined solely by reference to that relation itself. Arguing that these definitions have defects that are due to their simplicity, (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  32. J. G. Raftery (2011). Contextual Deduction Theorems. Studia Logica 99 (1-3):279-319.score: 24.0
    Logics that do not have a deduction-detachment theorem (briefly, a DDT) may still possess a contextual DDT —a syntactic notion introduced here for arbitrary deductive systems, along with a local variant. Substructural logics without sentential constants are natural witnesses to these phenomena. In the presence of a contextual DDT, we can still upgrade many weak completeness results to strong ones, e.g., the finite model property implies the strong finite model property. It turns out that a finitary system has a (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  33. Cassiano Terra Rodrigues (2011). The Method of Scientific Discovery in Peirce's Philosophy: Deduction, Induction, and Abduction. [REVIEW] Logica Universalis 5 (1):127-164.score: 24.0
    In this paper we will show Peirce’s distinction between deduction, induction and abduction. The aim of the paper is to show how Peirce changed his views on the subject, from an understanding of deduction, induction and hypotheses as types of reasoning to understanding them as stages of inquiry very tightly connected. In order to get a better understanding of Peirce’s originality on this, we show Peirce’s distinctions between qualitative and quantitative induction and between theorematical and corollarial deduction, (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  34. Dominique Duval (2013). Deduction as Reduction, From a Categorical Point of View. Logica Universalis 7 (3):275-289.score: 24.0
    Deduction systems and graph transformation systems are compared within a common categorical framework. This comparison results in a proposal for a new deduction method in diagrammatic logics, allowing the deletion of intermediate lemmas.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  35. Jonathan Payne (forthcoming). Natural Deduction for Modal Logic with a Backtracking Operator. Journal of Philosophical Logic:1-22.score: 24.0
    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. (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. Athanassios Tzouvaras (1996). Aspects of Analytic Deduction. Journal of Philosophical Logic 25 (6):581 - 596.score: 24.0
    Let ⊢ be the ordinary deduction relation of classical first-order logic. We provide an "analytic" subrelation ⊢a of ⊢ which for propositional logic is defined by the usual "containment" criterion Γ ⊢a φ iff Γ⊢φ and Atom(φ) ⊆ Atom(Γ), whereas for predicate logic, ⊢a is defined by the extended criterion Γ⊢aφ iff Γ⊢aφ and Atom(φ) ⊆' Atom(Γ), where Atom(φ) ⊆' Atom(Γ) means that every atomic formula occurring in φ "essentially occurs" also in Γ. If Γ, φ are quantifier-free, then (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  37. Norihiro Kamide & Motohiko Mouri (2007). Natural Deduction Systems for Some Non-Commutative Logics. Logic and Logical Philosophy 16 (2-3):105-146.score: 24.0
    Varieties of natural deduction systems are introduced for Wansing’s paraconsistent non-commutative substructural logic, called a constructive sequential propositional logic (COSPL), and its fragments. Normalization, strong normalization and Church-Rosser theorems are proved for these systems. These results include some new results on full Lambek logic (FL) and its fragments, because FL is a fragment of COSPL.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  38. Hans Lycke (2009). Fitch-Style Natural Deduction for Modal Paralogics. Logique Et Analyse 207:193-218.score: 24.0
    In this paper, I will present a Fitch–style natural deduction proof theory for modal paralogics (modal logics with gaps and/or gluts for negation). Besides the standard classical subproofs, the presented proof theory also contains modal subproofs, which express what would follow from a hypothesis, in case it would be true in some arbitrary world.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. Jiří Raclavský (2013). On the Interaction of Semantics and Deduction in Transparent Intensional Logic (Is Tichý's Logic a Logic?). Logic and Logical Philosophy 23 (1):57-68.score: 24.0
    It is sometimes objected that Tichý’s logic is not a logic because it underestimates deduction, providing only logical analyses of expressions. I argue that this opinion is wrong. First of all, to detect valid arguments, which are formulated in a language, there needs to be logical analysis to ascertain which semantical entities (Tichý’s so-called constructions) are involved. Entailment is defined as an extralinguistic affair relating those constructions. The validity of an argument, composed of propositional constructions, stems from the properties (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  40. Barry Hartley Slater (2008). Harmonising Natural Deduction. Synthese 163 (2):187 - 198.score: 24.0
    Prawitz proved a theorem, formalising 'harmony' in Natural Deduction systems, which showed that, corresponding to any deduction there is one to the same effect but in which no formula occurrence is both the consequence of an application of an introduction rule and major premise of an application of the related elimination rule. As Gentzen ordered the rules, certain rules in Classical Logic had to be excepted, but if we see the appropriate rules instead as rules for Contradiction, then (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  41. Carlos Iván Chesñevar & Guillermo Ricardo Simari (2007). Modelling Inference in Argumentation Through Labelled Deduction: Formalization and Logical Properties. [REVIEW] Logica Universalis 1 (1):93-124.score: 22.0
    . Artificial Intelligence (AI) has long dealt with the issue of finding a suitable formalization for commonsense reasoning. Defeasible argumentation has proven to be a successful approach in many respects, proving to be a confluence point for many alternative logical frameworks. Different formalisms have been developed, most of them sharing the common notions of argument and warrant. In defeasible argumentation, an argument is a tentative (defeasible) proof for reaching a conclusion. An argument is warranted when it ultimately prevails over other (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  42. Dennis Schulting (2012). Kant, Non-Conceptual Content, and the 'Second Step' of the B-Deduction. Kant Studies Online:51-92.score: 21.0
    This article is a modified version in translation of the original Dutch version that appeared in Tijdschrift voor Filosofie 4 (2010) / * Inspired by Kant's account of intuition and concepts, John McDowell 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, Robert Hanna and Lucy Allais, among others, have brought against this view (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. Susan Haack (1982). Dummett's Justification of Deduction. Mind 91 (362):216-239.score: 21.0
  44. Peter Slezak (1983). Descartes's Diagonal Deduction. British Journal for the Philosophy of Science 34 (March):13-36.score: 21.0
    I OFFER AN ANALYSIS OF DESCARTES'S COGITO WHICH IS RADICALLY NOVEL WHILE INCORPORATING MUCH AVAILABLE INSIGHT. BY ENLARGING FOCUS FROM THE DICTUM ITSELF TO THE REASONING OF DOUBT, DREAMING AND DEMON, I DEMONSTRATE A CLOSE PARALLEL TO THE LOGIC OF THE LIAR PARADOX. THIS HELPS TO EXPLAIN FAMILIAR PARADOXICAL FEATURES OF DESCARTES'S ARGUMENT. THE ACCOUNT PROVES TO BE TEXTUALLY ELEGANT AND, MOREOVER, HAS CONSIDERABLE INDEPENDENT PHILOSOPHICAL PLAUSIBILITY AS AN ACCOUNT OF MIND AND SELF.
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  45. Avshalom M. Adam (2000). Farewell to Certitude: Einstein's Novelty on Induction and Deduction, Fallibilism. [REVIEW] Journal for General Philosophy of Science 31 (1):19-37.score: 21.0
    In the late 19th century great changes in theories of light and electricity were in direct conflict with certitude, the view that scientific knowledge is infallible. What is, then, the epistemic status of scientific theory? To resolve this issue Duhem and Poincaré proposed images of fallible knowledge, Instrumentalism and Conventionalism, respectively. Only in 1919–1922, after Einstein's relativity was published, he offered arguments to support Fallibilism, the view that certainty cannot be achieved in science. Though Einstein did not consider Duhem's Instrumentalism, (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  46. Johan van Benthem, Giovanna D'Agostino, Angelo Montanari & Alberto Policriti (1998). Modal Deduction in Second-Order Logic and Set Theory - II. Studia Logica 60 (3):387-420.score: 21.0
    In this paper, we generalize the set-theoretic translation method for poly-modal logic introduced in [11] to extended modal logics. Instead of devising an ad-hoc translation for each logic, we develop a general framework within which a number of extended modal logics can be dealt with. We first extend the basic set-theoretic translation method to weak monadic second-order logic through a suitable change in the underlying set theory that connects up in interesting ways with constructibility; then, we show how to tailor (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  47. Lloyd Humberstone (2007). Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCsK Fragment of S. [REVIEW] Journal of Philosophical Logic 36 (5):435 - 487.score: 21.0
    We recapitulate (Section 1) some basic details of the system of implicative BCSK logic, which has two primitive binary implicational connectives, and which can be viewed as a certain fragment of the modal logic S5. From this modal perspective we review (Section 2) some results according to which the pure sublogic in either of these connectives (i.e., each considered without the other) is an exact replica of the material implication fragment of classical propositional logic. In Sections 3 and 5 we (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  48. Lloyd Humberstone (2006). Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCsK Fragment of S. [REVIEW] Journal of Philosophical Logic 35 (5):435 - 487.score: 21.0
    We recapitulate (Section 1) some basic details of the system of implicative BCSK logic, which has two primitive binary implicational connectives, and which can be viewed as a certain fragment of the modal logic S5. From this modal perspective we review (Section 2) some results according to which the pure sublogic in either of these connectives (i.e., each considered without the other) is an exact replica of the material implication fragment of classical propositional logic. In Sections 3 and 5 we (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  49. Marilia Espirito Santo (2011). On the Transcendental Deduction in Kant's Groundwork III. On the Transcendental Deduction in Kant’s Groundwork Iii 4 (30):1 - 19.score: 21.0
    The purpose of the third section of Kant�s Groundwork is to prove the possibility of the categorical imperative. In the end of the second section, Kant establishes that a proof like this is necessary to show that morality is �something� and �not a chimerical idea without any truth� or a �phantom� (1785: 445). Since the categorical imperative was established as a synthetic a priori practical proposition, in order to prove its possibility it is necessary �to go beyond cognition of objects (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  50. Ernst Zimmermann (2010). Full Lambek Calculus in Natural Deduction. Mathematical Logic Quarterly 56 (1):85-88.score: 21.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000