Results for ' “judgement,” “deduction,” “abstraction,”'

966 found
Order:
  1.  65
    Concepts, judgments, and unity in Kant's metaphysical deduction of the relational categories.Charles Nussbaum - 1990 - Journal of the History of Philosophy 28 (1):89.
    In lieu of an abstract, here is a brief excerpt of the content:Concepts, Judgments, and Unity in Kant's Metaphysical Deduction of the Relational Categories CHARLES NUSSBAUM 1. INTRODUCTION TO ANY ATTENTIVEREADERof the section of the Critique of Pure Reason' known as the "Metaphysical Deduction of the Categories" (A67/B92-A83/B to9), one paragraph in that section stands out particularly by virtue of its special importance for Kant's developing argument: The same function Which gives unity to the various representations in ajudgment also gives (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  23
    Judgement and Sense in Modern French Philosophy: A New Reading of Six Thinkers by Henry Somers-Hall.Clayton Crockett - 2022 - Review of Metaphysics 76 (2):365-367.
    In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Judgement and Sense in Modern French Philosophy: A New Reading of Six Thinkers by Henry Somers-HallClayton CrockettSOMERS-HALL, Henry. Judgement and Sense in Modern French Philosophy: A New Reading of Six Thinkers. Cambridge: Cambridge University Press, 2022. 264 pp. Cloth, $99.99Henry Somers-Hall's book examines how French philosophers in the twentieth century develop a logic of thinking based on sense that is both influenced by but also counters Kant's paradigm (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  20
    (1 other version)Believing at Will.Kieran Setiya - 1981 - In Felicia Ackerman (ed.), Midwest Studies in Philosophy. Minneapolis: University of Minnesota Press. pp. 36–52.
    This chapter contains sections titled: I II III IV References.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  16
    Judgment, Role in Science.Harold I. Brown - 2000 - In W. Newton-Smith (ed.), A companion to the philosophy of science. Malden, Mass.: Blackwell. pp. 194–202.
    According to a widely held view of science, scientific hypotheses are evaluated on the basis of observational data in accordance with the rules of inductive logic. Inductive logic, like deductive logic, is supposed to consist of a set of formal rules. These rules abstract from any details of the specific hypothesis under examination, the context in which the evaluation is taking place, and the individuals who carry out the evaluation. Observational data are also independent of the context or the observer (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  98
    Kant's Theory of Taste: A Reading of the Critique of Aesthetic Judgment (review). [REVIEW]Paul Guyer - 2002 - Journal of the History of Philosophy 40 (3):406-408.
    In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 40.3 (2002) 406-408 [Access article in PDF] Book Review Kant's Theory of Taste: A Reading of the Critique of Aesthetic Judgment Henry E. Allison. Kant's Theory of Taste: A Reading of the Critique of Aesthetic Judgment. New York: Cambridge University Press, 2001. Pp. xvi + 424. Cloth, $69.95. Paper, $24.95. In his new book, Henry Allison provides a study of the two introductions (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6. Concepts of Objects as Prescribing Laws: A Kantian and Pragmatist Line of Thought.James O'Shea - 2016 - In Robert Stern and Gabriele Gava, eds., Pragmatism, Kant, and Transcendental Philosophy (London: Routledge): pp. 196–216. London, UK: pp. 196-216.
    Abstract: This paper traces a Kantian and pragmatist line of thinking that connects the ideas of conceptual content, object cognition, and modal constraints in the form of counterfactual sustaining causal laws. It is an idea that extends from Kant’s Critique of Pure Reason through C. I. Lewis’s Mind and the World-Order to the Kantian naturalism of Wilfrid Sellars and the analytic pragmatism of Robert Brandom. Kant put forward what I characterize as a modal conception of objectivity, which he developed as (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  30
    Hegel's Concept of Life: Self-Consciousness, Freedom, Logic by Karen Ng (review).Marina F. Bykova - 2023 - Journal of the History of Philosophy 61 (3):527-528.
    In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Hegel's Concept of Life: Self-Consciousness, Freedom, Logic by Karen NgMarina F. BykovaKaren Ng. Hegel's Concept of Life: Self-Consciousness, Freedom, Logic. Oxford: Oxford University Press, 2020. Pp. iii + 319. Hardback, $85.00.In her insightful book, Karen Ng defends the fundamental significance of Hegel's concept of life, which she considers "constitutive" not merely of his dynamic account of reason but also of his "idealist program" itself (3–4), the very core (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. The Problem of Particularity in Kant’s Aesthetic Theory.Andrew Chignell - 1999 - In Kevin A. Stoehr (ed.), The Proceedings of the Twentieth World Congress of Philosophy. Philosophy Documentation Center. pp. 197-208.
    An early version of "Kant on the Normativity of Taste" above. Original abstract: In moving away from the objective, property-based theories of earlier periods to a subject-based aesthetic, Kant did not intend to give up the idea that judgments of beauty are universalizable. Accordingly, the “Deduction of Judgments of Taste” aims to show how reflective aesthetic judgments can be “imputed” a priori to all human subjects. The Deduction is not successful: Kant manages only to justify the imputation of the same (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  58
    Going Out the Window: A Comment on Tweyman.John W. Davis - 1987 - Hume Studies 13 (1):86-97.
    In lieu of an abstract, here is a brief excerpt of the content:86 GOING OUT THE WINDOW: A COMMENT ON TWEYMAN Whether your scepticism be as absolute and sincere as you pretend, we shall learn bye and bye, when the company breaks up: We shall then see, whether you go out at the door or the window; and whether you really doubt; if your body has gravity, or can be injured by its fall; according to popular opinion, derived from our (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  47
    Hegelian rhetoric.Thora Ilin Bayer - 2009 - Philosophy and Rhetoric 42 (3):pp. 203-219.
    In lieu of an abstract, here is a brief excerpt of the content:Hegelian RhetoricThora Ilin BayerIntroduction: Rhetoric and DialecticAristotle in the famous first line of his Rhetoric defines the relationship between rhetoric and dialectic: "Rhetoric is the counterpart of dialectic" (1354a). Both rhetoric and dialectic belong to no definitive science. They treat those things that come within the purview of all human beings. As an antistrophes to dialectic, rhetoric concerns particular cases and "may be defined as the faculty [dynamis] of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  64
    From applied ethics to empirical ethics to contextual ethics.Barry Hoffmaster - 2017 - Bioethics 32 (2):119-125.
    Bioethics became applied ethics when it was assimilated to moral philosophy. Because deduction is the rationality of moral philosophy, subsuming facts under moral principles to deduce conclusions about what ought to be done became the prescribed reasoning of bioethics, and bioethics became a theory comprised of moral principles. Bioethicists now realize that applied ethics is too abstract and spare to apprehend the specificity, particularity, complexity and contingency of real moral issues. Empirical ethics and contextual ethics are needed to incorporate these (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  12.  35
    Kant and the Capacity to Judge; Sensibility and Discursivity in the TranscendentaI Analytic of the Critique of Pure Reason (review).Michelle Greer - 1999 - Journal of the History of Philosophy 37 (2):372-374.
    In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Kant and the Capacity to Judge; Sensibility and Discursivity in the Transcendental Analytic of the Critique of Pure Reason by Beatrice LonguenesseMichelle GreerBeatrice Longuenesse. Kant and the Capacity to Judge; Sensibility and Discursivity in the Transcendental Analytic of the Critique of Pure Reason. Translation by Charles T. Wolfe. Princeton, NJ: Princeton University Press, 1998. Pp. xv + 420. Cloth, $59.50.Kant and the Capacity to Judge is a translation (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  13
    True Interpretations.Stephen Davies - 1988 - Philosophy and Literature 12 (2):290-297.
    In lieu of an abstract, here is a brief excerpt of the content:TRUE INTERPRETATIONS by Stephen Davies Could conflicting interpretations of a literary work be equally true? Bodi Monroe C. Beardsley and Joseph Margolis assumed fhis to be impossible in their famous debate about the relationship between the multiplicity of interpretations of literary works and the assessment of such interpretations for truth.1 The assumption was implicit in the first premise of the following argument. Although they disagreed about the argument's soundness, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14. Normalization theorems for substructural logics in Gentzen-style natural deduction, abstract of the talk at 2000 Annual Meeting of the Association for Symbolic Logic, University of Illinois at Urbana-Champaign, June 3‐7, 2000. [REVIEW]O. Watari, K. Nakatogawa & T. Ueno - 2000 - Bulletin of Symbolic Logic 6 (3):390-391.
  15.  28
    Categorical abstract algebraic logic: Gentzen π ‐institutions and the deduction‐detachment property.George Voutsadakis - 2005 - Mathematical Logic Quarterly 51 (6):570-578.
    Given a π -institution I , a hierarchy of π -institutions I is constructed, for n ≥ 1. We call I the n-th order counterpart of I . The second-order counterpart of a deductive π -institution is a Gentzen π -institution, i.e. a π -institution associated with a structural Gentzen system in a canonical way. So, by analogy, the second order counterpart I of I is also called the “Gentzenization” of I . In the main result of the paper, it (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  23
    Fichte's "Wissenschaftslehre" of 1794: A Commentary on Part I (review). [REVIEW]Wayne M. Martin - 1995 - Journal of the History of Philosophy 33 (4):693-695.
    In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 693 between the world of our sense perception and the world of objects "in and for themselves," had suggested that the failure to appreciate this distinction was a "Grundvorurteil" common to all controversies, and, finally, had argued for the need to distinguish between the self revealed in "inner sense" and the self as it is in itself, unknowable to us. In his extremely valuable article, "Funzioni logiche (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. Reflection, Enlightenment, and the Significance of Spontaneity in Kant.Melissa McBay Merritt - 2009 - British Journal for the History of Philosophy 17 (5):981-1010.
    Existing interpretations of Kant’s appeal to the spontaneity of the mind focus almost exclusively on the discussion of pure apperception in the Transcendental Deduction. The risk of such a strategy lies in the considerable degree of abstraction at which the argument of the Deduction is carried out: existing interpretations fail to reconnect adequately with any ground-level perspective on our cognitive lives. This paper works in the opposite direction. Drawing on Kant’s suggestion that the most basic picture we can have of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  18.  92
    Breve storia dell'etica.Sergio Cremaschi - 2012 - Roma RM, Italia: Carocci.
    The book reconstructs the history of Western ethics. The approach chosen focuses the endless dialectic of moral codes, or different kinds of ethos, moral doctrines that are preached in order to bring about a reform of existing ethos, and ethical theories that have taken shape in the context of controversies about the ethos and moral doctrines as means of justifying or reforming moral doctrines. Such dialectic is what is meant here by the phrase ‘moral traditions’, taken as a name for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  19.  74
    Kant on the Possibility of Thought: Universals without Language.Wayne Waxman - 1995 - Review of Metaphysics 48 (4):809 - 858.
    Kant took up the issue of origin in the Metaphysical Deduction of the Categories. He sought to demonstrate that the concepts of metaphysics, considered in themselves, are mere logical functions, that is, ways of synthesizing concepts to form judgments Accordingly, the metaphysical concept of substance/accident contains nothing more than the logical form of subject/predicate, whereby any arbitrary pair of concepts may be united in a judgment; cause and effect merely the hypothetical form of judgment, whereby any arbitrary pair of judgments (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  20. Chomsky vis-a-vis the Methodology of Science.Thomas Johnston - manuscript
    (1) In the first part of this paper, I review Chomsky's meandering journey from the formalism/mentalism of Syntactic Structures, through several methodological positions, to the minimalist theory of his latest work. Infected with mentalism from first to last, each and every position vitiates Chomsky's repeated claims that his theories will provide useful guidance to later theories in such fields as cognitive psychology and cognitive neuroscience. With the guidance of his insights, he claims, psychologists and neuroscientists will be able to avoid (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. Phenomenology: Basing Knowledge on Appearance.Avi Sion - 2003 - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
    Phenomenology is the study of appearance as such. It is a branch of both Ontology and Epistemology, since appearing is being known. By an ‘appearance’ is meant any existent which impinges on consciousness, anything cognized, irrespective of any judgment as to whether it be ‘real’ or ‘illusory.’ The evaluation of a particular appearance as a reality or an illusion is a complex process, involving inductive and deductive logical principles and activities. Opinion has to earn the status of strict knowledge. Knowledge (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  45
    Virtuous Engineers: Ethical Dimensions of Technical Decisions.Jon Alan Schmidt - 2021 - In Emanuele Ratti & Tom Stapleford (eds.), Science, Technology, and Virtues: Contemporary Perspectives. Oxford University Press. pp. 117-135.
    Modern approaches to engineering ethics typically involve the systematic application of universal abstract principles, reflecting the culturally dominant paradigm of technical rationality (techne). By contrast, virtue ethics recognizes that sensitivity to context and practical judgment (phronesis) are indispensable in particular concrete situations, and therefore focuses on the person who acts, rather than the action itself. Virtues are identified within a specific social practice in accordance with its proper purpose, its societal role and associated responsibilities, and the internal goods that are (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  58
    Natural Deduction for Modal Logic of Judgment Aggregation.Tin Perkov - 2016 - Journal of Logic, Language and Information 25 (3-4):335-354.
    We can formalize judgments as logical formulas. Judgment aggregation deals with judgments of several agents, which need to be aggregated to a collective judgment. There are several logical formalizations of judgment aggregation. This paper focuses on a modal formalization which nicely expresses classical properties of judgment aggregation rules and famous results of social choice theory, like Arrow’s impossibility theorem. A natural deduction system for modal logic of judgment aggregation is presented in this paper. The system is sound and complete. As (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  35
    Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems.Luis Cruz-Filipe, Amílcar Sernadas & Cristina Sernadas - 2008 - Logic Journal of the IGPL 16 (2):121-153.
    Fibring is a meta-logical constructor that applied to two logics produces a new logic whose formulas allow the mixing of symbols. Homogeneous fibring assumes that the original logics are presented in the same way . Heterogeneous fibring, allowing the original logics to have different presentations , has been an open problem. Herein, consequence systems are shown to be a good solution for heterogeneous fibring when one of the logics is presented in a semantic way and the other by a calculus (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25. Reflective Judgment and the Application of Logic to Nature: Kant's Deduction of the Principle of Purposiveness as an Answer to Hume.Henry E. Allison - 2003 - In Hans-Johann Glock (ed.), Strawson and Kant. New York: Oxford University Press.
  26.  23
    An Abstract Algebraic Logic Study of da Costa’s Logic and Some of its Paraconsistent Extensions.Hugo Albuquerque & Carlos Caleiro - 2022 - Bulletin of Symbolic Logic 28 (4):477-528.
    Two famous negative results about da Costa’s paraconsistent logic ${\mathscr {C}}_1$ (the failure of the Lindenbaum–Tarski process [44] and its non-algebraizability [39]) have placed ${\mathscr {C}}_1$ seemingly as an exception to the scope of Abstract Algebraic Logic (AAL). In this paper we undertake a thorough AAL study of da Costa’s logic ${\mathscr {C}}_1$. On the one hand, we strengthen the negative results about ${\mathscr {C}}_1$ by proving that it does not admit any algebraic semantics whatsoever in the sense of Blok (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  20
    Corrigendum to “Categorical abstract algebraic logic: The criterion for deductive equivalence”.George Voutsadakis - 2005 - Mathematical Logic Quarterly 51 (6):644-644.
    We give a correction to the paper [2] mentioned in the title.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. The Conclusion of the Deduction of Taste in the Dialectic of Aesthetic Power of Judgment in Kant.Manuel Sánchez Rodríguez - 2013 - Trans/Form/Ação 36 (2):45-62.
    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 illustrates this (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. The conclusion of the deduction of taste in the dialectic of the power of judgment aesthetic in Kant.Manuel Sánchez - 2013 - Trans/Form/Ação 36 (2):45-62.
    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 illustrates this (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  30.  12
    Experience and Judgement: The Metaphysical Deduction.Anthony Savile - 2005 - In Kant's Critique of Pure Reason: An Orientation to the Central Theme. Wiley-Blackwell. pp. 33–47.
    This chapter contains section titled: The Metaphysical Deduction.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  58
    Categorical Abstract Algebraic Logic: Models of π-Institutions.George Voutsadakis - 2005 - Notre Dame Journal of Formal Logic 46 (4):439-460.
    An important part of the theory of algebraizable sentential logics consists of studying the algebraic semantics of these logics. As developed by Czelakowski, Blok, and Pigozzi and Font and Jansana, among others, it includes studying the properties of logical matrices serving as models of deductive systems and the properties of abstract logics serving as models of sentential logics. The present paper contributes to the development of the categorical theory by abstracting some of these model theoretic aspects and results from the (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  32.  24
    The Deductions in the Critique of Judgment: Comments on Hampshire and Horstmann.Reinhard Brandt - 1988 - In Eckart Förster (ed.), Kant’s Transcendental Deductions: The Three ‘Critiques’ and the ‘Opus Postumum’. Stanford University Press. pp. 177-190.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  12
    Judgement, Self-Consciousness, and Imagination: Kant’s Transcendental Deduction and Beyond.Paul Crowther - 1998 - In Herman Parret (ed.), Kants Ästhetik · Kant's Aesthetics · L'esthétique de Kant. New York: De Gruyter. pp. 117-135.
  34.  63
    Automated deduction in a graphical temporal logic.L. E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty & L. K. Dillon - 1996 - Journal of Applied Non-Classical Logics 6 (1):29-47.
    ABSTRACT Real-time graphical interval logic is a modal logic for reasoning about time in which the basic modality is the interval. The logic differs from other logics in that it has a natural intuitive graphical representation that resembles the timing diagrams drawn by system designers. We have developed an automted deduction system for the logic, which includes a theorem prover and a user interface. The theorem prover checks the validity of proofs in the logic and produces counterexamples to invalid proofs. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  46
    Deductive program verification (a practitioner's commentary).David A. Nelson - 1992 - Minds and Machines 2 (3):283-307.
    A proof of ‘correctness’ for a mathematical algorithm cannot be relevant to executions of a program based on that algorithm because both the algorithm and the proof are based on assumptions that do not hold for computations carried out by real-world computers. Thus, proving the ‘correctness’ of an algorithm cannot establish the trustworthiness of programs based on that algorithm. Despite the (deceptive) sameness of the notations used to represent them, the transformation of an algorithm into an executable program is a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  36. Kant’s Deduction From Apperception: An Essay on the Transcendental Deduction of the Categories.Dennis Schulting - 2019 - Berlin, Germany: De Gruyter.
    In focusing on the systematic deduction of the categories from a principle, Schulting takes up anew the controversial project of the eminent German Kant scholar Klaus Reich, whose monograph “The Completeness of Kant's Table of Judgments” made the case that the logical functions of judgement can all be derived from the objective unity of apperception and can be shown to link up with one another systematically. -/- Common opinion among Kantians today has it that Kant did not mean to derive (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  37. Syntactical learning and judgment, still unconscious and still abstract: Comment on Dulany, Carlson, and Dewey.Arthur S. Reber, Robert F. Allen & S. Regan - 1985 - Journal of Experimental Psychology 114:17-24.
  38.  40
    Deduction Theorem in Congruential Modal Logics.Krzysztof A. Krawczyk - 2023 - Notre Dame Journal of Formal Logic 64 (2):185-196.
    We present an algebraic proof of the theorem stating that there are continuum many axiomatic extensions of global consequence associated with modal system E that do not admit the local deduction detachment theorem. We also prove that all these logics lack the finite frame property and have exactly three proper axiomatic extensions, each of which admits the local deduction detachment theorem.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  25
    Deductive and abductive argumentation based on information graphs.Remi Wieten, Floris Bex, Henry Prakken & Silja Renooij - 2022 - Argument and Computation 13 (1):49-91.
    In this paper, we propose an argumentation formalism that allows for both deductive and abductive argumentation, where ‘deduction’ is used as an umbrella term for both defeasible and strict ‘forward’ inference. Our formalism is based on an extended version of our previously proposed information graph formalism, which provides a precise account of the interplay between deductive and abductive inference and causal and evidential information. In the current version, we consider additional types of information such as abstractions which allow domain experts (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  99
    Logical limits of abstract argumentation frameworks.Leila Amgoud & Philippe Besnard - 2013 - Journal of Applied Non-Classical Logics 23 (3):229-267.
    Dung’s (1995) argumentation framework takes as input two abstract entities: a set of arguments and a binary relation encoding attacks between these arguments. It returns acceptable sets of arguments, called extensions, w.r.t. a given semantics. While the abstract nature of this setting is seen as a great advantage, it induces a big gap with the application that it is used to. This raises some questions about the compatibility of the setting with a logical formalism (i.e., whether it is possible to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  41.  43
    Deductive Cardinality Results and Nuisance-Like Principles.Sean C. Ebels-Duggan - 2021 - Review of Symbolic Logic 14 (3):592-623.
    The injective version of Cantor’s theorem appears in full second-order logic as the inconsistency of the abstraction principle, Frege’s Basic Law V (BLV), an inconsistency easily shown using Russell’s paradox. This incompatibility is akin to others—most notably that of a (Dedekind) infinite universe with the Nuisance Principle (NP) discussed by neo-Fregean philosophers of mathematics. This paper uses the Burali–Forti paradox to demonstrate this incompatibility, and another closely related, without appeal to principles related to the axiom of choice—a result hitherto unestablished. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  40
    Logic, Vol. 1: Deduction.Alexander Bain - 1870 - Longmans, Green.
    Excerpt from Logic, Vol. 1: Deduction The present work aims at embracing a full course of Logic, both Formal and Inductive. In an introductory chapter, are set forth such doctrines of psychology as have a bearing on Logic, the nature of knowledge in general, and the classification of the sciences the intention being to avoid doctrinal digressions in the course of the work. Although preparatory to the under standing of what follows, this chapter may be passed over lightly on a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  39
    Natural Deduction: An Introduction to Logic with Real Arguments, a Little History and Some Humour.Richard T. W. Arthur - 2011 - Peterborough, Ontario, Canada: Broadview Press.
    Richard Arthur’s _Natural Deduction_ provides a wide-ranging introduction to logic. In lively and readable prose, Arthur presents a new approach to the study of logic, one that seeks to integrate methods of argument analysis developed in modern “informal logic” with natural deduction techniques. The dry bones of logic are given flesh by unusual attention to the history of the subject, from Pythagoras, the Stoics, and Indian Buddhist logic, through Lewis Carroll, Venn, and Boole, to Russell, Frege, and Monty Python.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  41
    An Abstract Approach to Consequence Relations.Petr Cintula, José Gil-férez, Tommaso Moraschini & Francesco Paoli - 2019 - Review of Symbolic Logic 12 (2):331-371.
    We generalise the Blok–Jónsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multiset consequence. While Blok and Jónsson admit, in place of sheer formulas, a wider range of syntactic units to be manipulated in deductions (including sequents or equations), these objects are invariablyaggregatedvia set-theoretical union. Our approach is more general in that nonidempotent forms of premiss and conclusion aggregation, including multiset sum and fuzzy set union, are considered. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  45.  30
    (1 other version)Categorical Abstract Algebraic Logic: Truth-Equational $pi$-Institutions.George Voutsadakis - 2015 - Notre Dame Journal of Formal Logic 56 (2):351-378.
    Finitely algebraizable deductive systems were introduced by Blok and Pigozzi to capture the essential properties of those deductive systems that are very tightly connected to quasivarieties of universal algebras. They include the equivalential logics of Czelakowski. Based on Blok and Pigozzi’s work, Herrmann defined algebraizable deductive systems. These are the equivalential deductive systems that are also truth-equational, in the sense that the truth predicate of the class of their reduced matrix models is explicitly definable by some set of unary equations. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46. Metacognition and Abstract Concepts.Nicholas Shea - 2018 - Philosophical Transactions of the Royal Society B 373.
    The problem of how concepts can refer to or be about the non-mental world is particularly puzzling for abstract concepts. There is growing evidence that many characteristics beyond the perceptual are involved in grounding different kinds of abstract concept. A resource that has been suggested, but little explored, is introspection. This paper develops that suggestion by focusing specifically on metacognition—on the thoughts and feelings that thinkers have about a concept. One example of metacognition about concepts is the judgement that we (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  42
    Deduction Difficulties.Robert Howell - 2018 - Kantian Review 23 (1):111-121.
    I argue, contrary to Dennis Schulting inKant’s Radical Subjectivism, that the main reasoning of Kant’s transcendental deduction of the categories is progressive, not regressive. Schulting is right, however, to emphasize that the deduction takes the object cognized to be constituted in an idealism-entailing way. But his reasoning has gaps and bypasses Kant’s most explicit deduction argument, independent of the Transcendental Aesthetic, for idealism. Finally, Schulting’s claim that Kantian discursivity itself requires idealism overlooks the fact that Kantian general judgements can be (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  48. Signs as Means for Discoveries. Peirce and His Concepts of 'Diagrammatic Reasoning,' 'Theorematic Deduction,' 'Hypostatic Abstraction,' and 'Theoric Transformation'.Michael H. G. Hoffmann - 1996 - In Das Problem der Zukunft im Rahmen holistischer Ethiken. Im Ausgang von Platon und Peirce. Edition Tertium.
    The paper aims to show how by elaborating the Peircean terms used in the title creativity in learning processes and in scientific discoveries can be explained within a semiotic framework. The essential idea is to emphasize both the role of external representations and of experimenting with those representations , and to describe a process consisting of three steps: First, looking at diagrams "from a novel point of view" offers opportunities to synthesize elements of these diagrams which have never been perceived (...)
    No categories
     
    Export citation  
     
    Bookmark   6 citations  
  49.  57
    Aristotle'S natural deduction reconsidered.John M. Martin - 1997 - History and Philosophy of Logic 18 (1):1-15.
    John Corcoran’s natural deduction system for Aristotle’s syllogistic is reconsidered.Though Corcoran is no doubt right in interpreting Aristotle as viewing syllogisms as arguments and in rejecting Lukasiewicz’s treatment in terms of conditional sentences, it is argued that Corcoran is wrong in thinking that the only alternative is to construe Barbara and Celarent as deduction rules in a natural deduction system.An alternative is presented that is technically more elegant and equally compatible with the texts.The abstract role assigned by tradition and Lukasiewicz (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  50.  85
    On weakening the Deduction Theorem and strengthening Modus Ponens.Félix Bou, Josep Maria Font & José Luis García Lapresta - 2004 - Mathematical Logic Quarterly 50 (3):303-324.
    This paper studies, with techniques ofAlgebraic Logic, the effects of putting a bound on the cardinality of the set of side formulas in the Deduction Theorem, viewed as a Gentzen-style rule, and of adding additional assumptions inside the formulas present in Modus Ponens, viewed as a Hilbert-style rule. As a result, a denumerable collection of new Gentzen systems and two new sentential logics have been isolated. These logics are weaker than the positive implicative logic. We have determined their algebraic models (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 966