This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Siblings:
33 found
Search inside:
(import / add options)   Sort by:
  1. T. Achourioti & M. van Lambalgen (2011). A Formalization of Kant's Transcendental Logic. Review of Symbolic Logic 4 (2):254-289.
    Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of first-order logic, namely what (...)
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  2. Ignacio Angelelli (1967). On identity and interchangeability in Leibnitz and Frege. Notre Dame Journal of Formal Logic 8 (1-2):94-100.
    Remove from this list |
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Ignacio Angelelli (1965). Leibniz's Misunderstanding of Nisolius Notion of `Multudino'. Notre Dame Journal of Formal Logic 6 (4):319-322.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. E. J. Ashworth (1970). Some Notes on Syllogistic in the Sixteenth and Seventeenth Centuries. Notre Dame Journal of Formal Logic 11 (1):17-33.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. E. J. Ashworth (1968). Propositional Logic in the Sixteenth and Early Seventeenth Centuries. Notre Dame Journal of Formal Logic 9 (2):179-192.
  6. O. Bradley Bassler (1998). Leibniz on Intension, Extension, and the Representation of Syllogistic Inference. Synthese 116 (2):117-139.
    New light is shed on Leibniz’s commitment to the metaphysical priority of the intensional interpretation of logic by considering the arithmetical and graphical representations of syllogistic inference that Leibniz studied. Crucial to understanding this connection is the idea that concepts can be intensionally represented in terms of properties of geometric extension, though significantly not the simple geometric property of part-whole inclusion. I go on to provide an explanation for how Leibniz could maintain the metaphysical priority of the intensional interpretation while (...)
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  7. Terry Boswell (1990). The Brothers James and John Bernoulli on the Parallelism Between Logic and Algebra. History and Philosophy of Logic 11 (2):173-184.
    A short seventeenth-century text, sometimes cited as one of the first essays in mathematical logic, is introduced, translated and evaluated. Although by no means sharing the depth and magnitude of the investigations by Leibniz being undertaken at the same time, and although in particular not yet applying algebraic symbolism to logical structures, the treatise is of historical interest as an early published attempt to trace out analogies between logical and mathematical form, and may be viewed as a preliminary step toward (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Terry Boswell (1988). On the Textual Authenticity of Kant's Logic. History and Philosophy of Logic 9 (2):193-203.
    Philological background information is presented on the origin and composition of the text generally known as Kant's Logic. The text, which was not in the strict sense of the word written by Kant himself, but rather assembled by another writer whom Kant had authorized to do so on his behalf, is a mixture of materials, not all of which originate directly from Kant, and cannot claim full authenticity.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. James G. Buickerood (1985). The Natural History of the Understanding: Locke and the Rise of Facultative Logic in the Eighteenth Century. History and Philosophy of Logic 6 (1):157-190.
    Whatever its merits and difficulties, the concept of logic embedded in much of the ?new philosophy? of the early modern period was then understood to supplant contemporary views of formal logic. The notion of compiling a natural history of the understanding constituted the basis of this new concept of logic. The following paper attempts to trace this view of logic through some of the major and numerous minor texts of the period, centering on the development and influence of John Locke's (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Willem R. de Jong (1986). Hobbes's Logic: Language and Scientific Method. History and Philosophy of Logic 7 (2):123-142.
    This paper analyses the relationship between Hobbes's theory of language and his theory of science and method. It is shown that Hobbes, at least in his Computatio sive Logica (1655), deviates in some measure from the traditional (Aristotelian) model of language. In this model speech is considered to be a fairly unproblematic expression of thought, which itself is independent of language. Basing himself on a nominalist account of universals, Hobbes states that the demonstration or assertion of universal propositions presupposes speech (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Petr Dvořák & Jacob Schmutz (2008). Juan Caramuel Lobkowitz: The Last Scholastic Polymath. Academy of Sciences of the Czech Republic.
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  12. James Van Evra (2000). The Development of Logic as Reflected in the Fate of the Syllogism 1600–1900. History and Philosophy of Logic 21 (2):115-134.
    One way to determine the quality and pace of change in a science as it undergoes a major transition is to follow some feature of it which remains relatively stable throughout the process. Following the chosen item as it goes through reinterpretation permits conclusions to be drawn about the nature and scope of the broader change in question. In what follows, this device is applied to the change which took place in logic in the mid-nineteenth century. The feature chosen as (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. James Franklin (2006). Artifice and the Natural World: Mathematics, Logic, Technology. In K. Haakonssen (ed.), Cambridge History of Eighteenth-Century Philosophy. Cambridge University Press.
    If Tahiti suggested to theorists comfortably at home in Europe thoughts of noble savages without clothes, those who paid for and went on voyages there were in pursuit of a quite opposite human ideal. Cook's voyage to observe the transit of Venus in 1769 symbolises the eighteenth century's commitment to numbers and accuracy, and its willingness to spend a lot of public money on acquiring them. The state supported the organisation of quantitative researches, employing surveyors and collecting statistics to..
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  14. Eric Hammer & Sun-Joo Shin (1998). Euler's Visual Logic. History and Philosophy of Logic 19 (1):1-29.
    The evolution of Euler diagrams is examined from Euler's original system through the modifications made by Venn and Peirce. It is shown that these modifications were motivated by an attempt to increase the expressivity of the diagrams, but that a side effect of these modifications was a loss of the visual clarity of Euler's original system. Euler's original system is reconstructed from a modern, logical point of view. Formal semantics and rules of inference are provided for this reconstruction of Euler's (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. Don Emil Herget (1987). Non-Standard Categorical Syllogisms: Four That Leibniz Forgot. History and Philosophy of Logic 8 (1):1-13.
    In his Mathesis rationis Leibniz discounted out of hand four categorical propositions that would have considerably broadened the resultant syllogistic logic. He did this despite the facts both that he had devised a suitable manner for expressing the latent quantification over terms, and that he had reasoned adequately to determine which of the syllogisms in the resulting broadened logic were valid. Leibniz's reasons for discounting these non-standard propositions are shown to be inadequate, and the resultant syllogistic logic is outlined.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  16. Mehmet Karabela (2011). The Development of Dialectic and Argumentation Theory in Post-Classical Islamic Intellectual History. Dissertation, McGill University
    This dissertation is an analysis of the development of dialectic and argumentation theory in post-classical Islamic intellectual history. The central concerns of the thesis are; treatises on the theoretical understanding of the concept of dialectic and argumentation theory, and how, in practice, the concept of dialectic, as expressed in the Greek classical tradition, was received and used by five communities in the Islamic intellectual camp. It shows how dialectic as an argumentative discourse diffused into five communities (theologicians, poets, grammarians, philosophers (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. Edward King (2004). From Logic to Rhetoric: Adam Smith's Dismissal of the Logic(s) of the Schools. Journal of Scottish Philosophy 2 (1):48-68.
  18. Matthew McAndrew (2014). Kant's Theory of Inductive Reasoning: The Reflecting Power of Judgment in Kant's Logic. Kant Studies Online:43-64.
  19. Juan A. Nicolás (2011). Report: G.W. Leibniz, Obras Filosóficas y Científicas , 19 Volumes, Editorial Comares, Granada, Spain, 2007 Et Seq. History and Philosophy of Logic 31 (3):289-291.
    Remove from this list |
    Translate to English
    | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  20. Gabriel Nuchelmans (1994). Can a Mental Proposition Change its Truth‐Value? Some 17th-Century Views. History and Philosophy of Logic 15 (1):69-84.
    In the first half of the 17th century the Aristotelian view that the same statement or belief may be true at one time and false at another and, on the other hand, the conception of a mental proposition as a fully explicit thought that lends a definite meaning to a declarative sentence originated a lively debate concerning the question whether a mental proposition can change its truth-value.In this article it is shown that the defenders of a negative answer and the (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  21. Paolo Pagli (2009). Two Unnoticed Editions of Girolamo Saccheri'sLogica Demonstrativa. History and Philosophy of Logic 30 (4):331-340.
    Since its rediscovery in 1903, the Logica Demonstrativa by Girolamo Saccheri is known in three editions ?1697, 1701, and 1735, the 1735, edition being posthumous. The 1697 edition is without the name of the author. This article calls attention to two unnoticed editions (1696? and 1699), the first one unsigned and the second by ?Carolus Iosephus Saccarellus?, a Saccheri pseudonym. The publishing history of the work has been partially clarified, though a number of problems remain unsolved. Après sa redécouverte in (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. Charles Pigden (2010). Letter From a Gentleman in Dunedin to a Lady in the Countryside. In Hume on Is and Ought.
    I argue 1) That in his celebrated Is/Ought passage, Hume employs ‘deduction’ in the strict sense, according to which if a conclusion B is justly or evidently deduced from a set of premises A, A cannot be true and B false, or B false and the premises A true. 2) That Hume was following the common custom of his times which sometimes employed ‘deduction’ in a strict sense to denote inferences in which, in the words of Dr Watts’ Logick, ‘the (...)
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  23. Dennis Schulting (2010). Limitation and Idealism: Kant's 'Long' Argument From the Categories. In Dennis Schulting Jacco Verburgt (ed.), Kant's Idealism. Springer.
    I argue, without offering what Ameriks has called a 'short argument', that idealism follows already from the constraints that the use of the categories, in particular the categories of quality, places on the conceivability of things in themselves. My claim is that, although it is not only possible but also necessary to think things in themselves, it doesn't follow that by merely thinking we have a full grasp of the nature of things in themselves. For support, I look to a (...)
    Remove from this list |
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. David Sepkoski (2007). Nominalism and Constructivism in Seventeenth-Century Mathematical Philosophy. Routledge.
    Introduction: mathematization and the language of nature -- Realists and nominalists : language and mathematics before the scientific revolution -- Ontology recapitulates epistemology : Gassendi, epicurean atomism, and nominalism -- British empiricism, nominalism, and constructivism -- Three mathematicians : constructivist epistemology and the new mathematical methods -- Conclusion: mathematization and the nature of language.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  25. Leen Spruit & Guglielmo Tamburrini (1991). Reasoning and Computation in Leibniz. History and Philosophy of Logic 12 (1):1-14.
    Leibniz's overall view of the relationship between reasoning and computation is discussed on the basis of two broad claims that one finds in his writings, concerning respectively the nature of human reasoning and the possibility of replacing human thinking by a mechanical procedure. A joint examination of these claims enables one to appreciate the wide scope of Leibniz's interests for mechanical procedures, concerning a variety of philosophical themes further developed both in later logical investigations and in methodological contributions to cognitive (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. Clinton Tolley (forthcoming). Kant on the Generality of Logic. In Proceedings of the 11th International Kant Congress. Vol. 2. De Gruyter. 431-442.
  27. Clinton Tolley (2012). Bolzano and Kant on the Place of Subjectivity in a Wissenschaftslehre. Grazer Philosophische Studien 85 (1):63-88.
  28. Clinton Tolley (2012). The Generality of Kant's Transcendental Logic. Journal of the History of Philosophy 50 (3):417-446.
  29. Clinton Tolley (2012). Bolzano and Kant on the Nature of Logic. History and Philosophy of Logic 33 (4):307-327.
    Here I revisit Bolzano's criticisms of Kant on the nature of logic. I argue that while Bolzano is correct in taking Kant to conceive of the traditional logic as a science of the activity of thinking rather than the content of thought, he is wrong to charge Kant with a failure to identify and examine this content itself within logic as such. This neglects Kant's own insistence that traditional logic does not exhaust logic as such, since it must be supplemented (...)
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  30. Clinton Tolley (2008). Kant and the Normativity of Logic. In Valerio Rohden (ed.), Proceedings of the 10th International Kant Congress. de Gruyter. 1--215.
  31. Clinton Tolley (2006). Kant on the Nature of Logical Laws. Philosophical Topics 34 (1/2):371-407.
  32. Maria van Der Schaar (2008). Locke and Arnauld on Judgment and Proposition. History and Philosophy of Logic 29 (4):327-341.
    To understand pre-Fregean theories of judgment and proposition, such as those found in Locke and the Port-Royal logic, it is important to distinguish between propositions in the modern sense and propositions in the pre-Fregean sense. By making this distinction it becomes clear that these pre-Fregean theories cannot be meant to solve the propositional attitude problem. Notwithstanding this fact, Locke and Arnauld are able to make a distinction between asserted and unasserted propositions (in their sense). The way Locke makes this distinction (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  33. Edward N. Zalta (2000). A (Leibnizian) Theory of Concepts. Logical Analysis and History of Philosophy 3:137-183.
    In this paper, the author develops a theory of concepts and shows that it captures many of the ideas about concepts that Leibniz expressed in his work. Concepts are first analyzed in terms of a precise background theory of abstract objects, and once concept summation and concept containment are defined, the axioms and theorems of Leibniz's calculus of concepts (in his logical papers) are derived. This analysis of concepts is then seamlessly connected with Leibniz's modal metaphysics of complete individual concepts. (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation