Related categories

178 found
Order:
1 — 50 / 178
  1. Is Every Deductively Valid Argument Circular?Danny Frederick - manuscript
    David Miller claims that every valid deductive argument begs the question. Other philosophers and logicians have made similar claims. I show that the claim is false. Its appeal depends on the existence of logical terminology, particularly concerning what a proposition 'contains' or its 'logical content,' that is best understood as metaphoric and that, given its aptness to mislead, would be better eschewed. I show how the terminology appears to derive from early modern theories of the nature of mind, ideas and (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. Husserl on Kant and the Critical View of Logic.Mirja Hartimo - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy:1-18.
    ABSTRACTThis paper seeks to clarify Husserl’s critical remarks about Kant’s view of logic by comparing their respective views of logic. In his Formal and Transcendental Logic Husserl c...
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3. Cantor's Abstractionism and Hume's Principle.Claudio Ternullo & Luca Zanetti - forthcoming - History and Philosophy of Logic:1-17.
    Richard Kimberly Heck and Paolo Mancosu have claimed that the possibility of non-Cantorian assignments of cardinalities to infinite concepts shows that Hume's Principle (HP) is not implicit in the concept of cardinal number. Neologicism would therefore be threatened by the ‘good company' HP is kept by such alternative assignments. In his review of Mancosu's book, Bob Hale argues, however, that ‘getting different numerosities for different countable infinite collections depends on taking the groups in a certain order – but it is (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. Kant, Frege, and the Normativity of Logic: MacFarlane 's Argument for Common Ground.Tyke Nunez - 2021 - European Journal of Philosophy 29 (4):988-1009.
    According to what was the standard view (Poincaré; Wang, etc.), although Frege endorses, and Kant denies, the claim that arithmetic is reducible to logic, there is not a substantive disagreement between them because their conceptions of logic are too different. In his “Frege, Kant, and the logic in logicism,” John MacFarlane aims to establish that Frege and Kant do share enough of a conception of logic for this to be a substantive, adjudicable dispute. MacFarlane maintains that for both Frege and (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. On the Origin of Logical Determinism in Babylonia.Andrew Schumann - 2021 - Logica Universalis 15 (3):331-357.
    In this paper, I show that the idea of logical determinism can be traced back from the Old Babylonian period at least. According to this idea, there are some signs which can explain the appearance of all events. These omens demonstrate the will of gods and their power realized through natural forces. As a result, each event either necessarily appears or necessarily disappears. This idea can be examined as the first version of eternalism – the philosophical belief that each temporal (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. Categorical Propositions and Existential Import: A Post-Modern Perspective.Byeong-Uk Yi - 2021 - History and Philosophy of Logic 42 (4):307-373.
    This article examines the traditional and modern doctrines of categorical propositions and argues that both doctrines have serious problems. While the doctrines disagree about existential imports...
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7. Introduction to ‘Studies in Post-Medieval Logic’.Christophe Geudens & Steven Coesemans - 2020 - History and Philosophy of Logic 41 (4):305-308.
    This special issue contains three papers on evolutions in logic during the so-called ‘post-medieval’ period. The papers discuss the following topics: traditions of...
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8. Race, Gender, and the History of Early Analytic Philosophy.Matt LaVine - 2020 - Lexington Books.
    Matt LaVine argues that there is more potential in bringing the history of early analytic philosophy and critical theories of race and gender together than has been traditionally recognized. In particular, he explores the changes associated with a shift from revolutionary aspects of early analytic philosophy.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. The Principle of Equivalence as a Criterion of Identity.Ryan Samaroo - 2020 - Synthese 197 (8):3481-3505.
    In 1907 Einstein had the insight that bodies in free fall do not “feel” their own weight. This has been formalized in what is called “the principle of equivalence.” The principle motivated a critical analysis of the Newtonian and special-relativistic concepts of inertia, and it was indispensable to Einstein’s development of his theory of gravitation. A great deal has been written about the principle. Nearly all of this work has focused on the content of the principle and whether it has (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  10. Categoricity and Negation. A Note on Kripke’s Affirmativism.Constantin C. Brîncuș & Iulian D. Toader - 2019 - In The Logica Yearbook 2018. London: College Publications. pp. 57-66.
    We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  11. The Talmudic Logic Project, Ongoing Since 2008.Dov M. Gabbay, Uri Schild & Esther David - 2019 - Logica Universalis 13 (4):425-442.
    We describe the state of the Talmudic Logic project as of end of 2019. The Talmud is the most comprehensive and fundamental work of Jewish religious law, employing a large number of logical components centuries ahead of their time. In many cases the basic principles are not explicitly formulated, which makes it difficult to formalize and make available to the modern student of Logic. This project on Talmudic Logic, aims to present logical analysis of Talmudic reasoning using modern logical tools. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12. On the Arithmetical Truth of Self‐Referential Sentences.Kaave Lajevardi & Saeed Salehi - 2019 - Theoria 85 (1):8-17.
    We take an argument of Gödel's from his ground‐breaking 1931 paper, generalize it, and examine its validity. The argument in question is this: "the sentence G says about itself that it is not provable, and G is indeed not provable; therefore, G is true".
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Formality of Logic and Frege’s Begriffsschrift.Daniele Mezzadri - 2019 - Canadian Journal of Philosophy 49 (2):182-207.
    This paper challenges a standard interpretation according to which Frege’s conception of logic (early and late) is at odds with the contemporary one, because on the latter’s view logic is formal, while on Frege’s view it is not, given that logic’s subject matter is reality’s most general features. I argue that Frege – in Begriffsschrift – retained the idea that logic is formal; Frege sees logic as providing the ‘logical cement’ that ties up together the contentful concepts of specific sciences, (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14. Oskari Kuusela, Wittgenstein on Logic as the Method of Philosophy: Re‐Examining the Roots and Development of Analytic Philosophy . Xi + 297, £55.00 Hb. [REVIEW]Alessio Persichetti - 2019 - Philosophical Investigations 42 (4):424-427.
  15. On Certain Axiomatizations of Arithmetic of Natural and Integer Numbers.Urszula Wybraniec-Skardowska - 2019 - Axioms 2019 (Deductive Systems).
    The systems of arithmetic discussed in this work are non-elementary theories. In this paper, natural numbers are characterized axiomatically in two di erent ways. We begin by recalling the classical set P of axioms of Peano’s arithmetic of natural numbers proposed in 1889 (including such primitive notions as: set of natural numbers, zero, successor of natural number) and compare it with the set W of axioms of this arithmetic (including the primitive notions like: set of natural numbers and relation of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  16. Frege on Dichtung and Elucidation.Gisela Bengtsson - 2018 - In Gisela Bengtsson, Simo Säätelä & Alois Pichler (eds.), New Essays on Frege: Between Science and Literature. Dordrecht: Springer. pp. 101-119.
    In this paper, I identify an assumption at play in anti-semantic interpretative approaches to Frege: the notion that translatability to Frege’s concept script functions as a criterion for deciding whether a thought is expressed in a sentence or utterance. I question the viability of this assumption by pointing to Frege’s accounts of the aim and character of his logical language and scientific discourse more generally, and by looking at his remarks on poetic forms of language, literature and fiction (Dichtung). Since (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  17. Husserl on Completeness, Definitely.Mirja Hartimo - 2018 - Synthese 195 (4):1509-1527.
    The paper discusses Husserl’s notion of definiteness as presented in his Göttingen Mathematical Society Double Lecture of 1901 as a defense of two, in many cases incompatible, ideals, namely full characterizability of the domain, i.e., categoricity, and its syntactic completeness. These two ideals are manifest already in Husserl’s discussion of pure logic in the Prolegomena: The full characterizability is related to Husserl’s attempt to capture the interconnection of things, whereas syntactic completeness relates to the interconnection of truths. In the Prolegomena (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  18. Husserl's Logical Grammar.Ansten Klev - 2018 - History and Philosophy of Logic 39 (3):232-269.
    Lecture notes from Husserl's logic lectures published during the last 20 years offer a much better insight into his doctrine of the forms of meaning than does the fourth Logical Investigation or any other work published during Husserl's lifetime. This paper provides a detailed reconstruction, based on all the sources now available, of Husserl's system of logical grammar. After having explained the notion of meaning that Husserl assumes in his later logic lectures as well as the notion of form of (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19. The Totality of Predicates and the Possibility of the Most Real Being.Srećko Kovač - 2018 - Journal of Applied Logics - The IfCoLog Journal of Logics and Their Applications 5 (7):1523-1552.
    We claim that Kant's doctrine of the "transcendental ideal of pure reason" contains, in an anticipatory sense, a second-order theory of reality (as a second-order property) and of the highest being. Such a theory, as reconstructed in this paper, is a transformation of Kant's metatheoretical regulative and heuristic presuppositions of empirical theories into a hypothetical ontotheology. We show that this metaphysical theory, in distinction to Descartes' and Leibniz's ontotheology, in many aspects resembles Gödel's theoretical conception of the possibility of a (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  20. Rejection in Łukasiewicz's and Słupecki's Sense.Wybraniec-Skardowska Urszula - 2018 - In The Lvov-Warsaw School, Past and Present. Cham: pp. 575-597.
    The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz and developed by (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  21. Introduction. The School: Its Genesis, Development and Significance.U. Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), in: The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer. pp. 3-14.
    The Introduction outlines, in a concise way, the history of the Lvov-Warsaw School – a most unique Polish school of worldwide renown, which pioneered trends combining philosophy, logic, mathematics and language. The author accepts that the beginnings of the School fall on the year 1895, when its founder Kazimierz Twardowski, a disciple of Franz Brentano, came to Lvov on his mission to organize a scientific circle. Soon, among the characteristic features of the School was its serious approach towards philosophical studies (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Rejection in Łukasiewicz's and Słupecki's Sense.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Basel, Switzerland: pp. 575-597.
    The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Rejection in Łukasiewicz's and Słupecki' Sense.Urszula Wybraniec-Skardowska - 2018 - Lvov-Warsaw School. Past and Present.
    The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. Para além das Colunas de Hércules, uma história da paraconsistência.Evandro Luis Gomes & Itala Maria Loffredo D'Ottaviano - 2017 - Campinas, Brazil: Editora da Unicamp.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. Husserl and Gödel’s Incompleteness Theorems.Mirja Hartimo - 2017 - Review of Symbolic Logic 10 (4):638-650.
    The paper examines Husserl’s interactions with logicians in the 1930s in order to assess Husserl’s awareness of Gödel’s incompleteness theorems. While there is no mention about the results in Husserl’s known exchanges with Hilbert, Weyl, or Zermelo, the most likely source about them for Husserl is Felix Kaufmann (1895–1949). Husserl’s interactions with Kaufmann show that Husserl may have learned about the results from him, but not necessarily so. Ultimately Husserl’s reading marks on Friedrich Waismann’s Einführung in das mathematische Denken: die (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Štyri antické argumenty o budúcich nahodnostiach (Four Ancient Arguments on Future Contingencies).Vladimir Marko - 2017 - Bratislava, Slovakia: Univerzita Komenského.
    Essays on Aristotle's Sea-Battle, Lazy Argument, Argument Reaper, Diodorus' Master Argument.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. The Logical Structure of Socrates’ Expert-Analogies.Petter Sandstad - 2017 - In Alessandro Stavru & Christopher Moore (eds.), Socrates and the Socratic Dialogue. Leiden: Brill. pp. 319-335.
    Socrates’ expert-analogies is frequent both in Plato’s dialogues and in the Socratic writings of Xenophon, and is also ascribed to Socrates by Aristotle and Aeschines. Socrates makes an analogy from a non-controversial expert (or an expertise) like the cobbler or ship-captain, to another (often controversial) expert (or expertise) like the statesman. This paper defends an interpretation of the expert-analogy as valid deductions. It infers from one type of expert (such as the ship-captain) to another type of expert (such as the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28. The Sign of Consequence.Francesco Bellucci - 2016 - The Commens Encyclopedia: The Digital Encyclopedia of Peirce Studies.
    The “sign of consequence” is a notation for propositional logic that Peirce invented in 1886 and used at least until 1894. It substituted the “copula of inclusion” which he had been using since 1870.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Excerpt From the Doctrine of Reason by Georg Friedrich Meier.Lawrence Pasternack & Pablo Muchnik (eds.) - 2016 - Bloomsbury Academic.
    The aim of Kant’s Sources in Translation is to retrieve the rich intellectual world that influenced Kant’s philosophical development. In its first stage, the series makes available the most important textbooks Kant used throughout his long teaching career. Many of these textbooks are in Latin or in German and remain inaccessible to Anglophone readers. Lacking this material, however, it is difficult to appreciate Kant’s originality and process of philosophical maturation, for readers are unable to understand what prompted Kant to introduce (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  30. Francis Bacon and the Laws of Ramus.Peter R. Anstey - 2015 - Hopos: The Journal of the International Society for the History of Philosophy of Science 5 (1):1-23.
    This article assesses the role of the laws of the French logician and educational reformer Petrus Ramus in the writings of Francis Bacon. The laws of Ramus derive from Aristotle’s grounds for necessary propositions. Necessary propositions, according to Aristotle, Ramus, and Bacon, are required for the premises of scientific syllogisms. It is argued that in Bacon’s Advancement of Learning and De augmentis scientiarum the only role for these laws is in the transmission of knowledge that has already been acquired. However, (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  31. Ancient Logic (Substantive Revision Dec 29, 2015).Susanne Bobzien - 2015 - Stanford Encyclopedia of Philosophy.
    ABSTRACT: A comprehensive introduction to ancient (western) logic from earliest times to the 6th century CE, with an emphasis on topics which may be of interest to contemporary logicians.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32. Towards a Historical Notion of ‘Turing—the Father of Computer Science’.Edgar G. Daylight - 2015 - History and Philosophy of Logic 36 (3):205-228.
    In the popular imagination, the relevance of Turing's theoretical ideas to people producing actual machines was significant and appreciated by everybody involved in computing from the moment he published his 1936 paper ‘On Computable Numbers’. Careful historians are aware that this popular conception is deeply misleading. We know from previous work by Campbell-Kelly, Aspray, Akera, Olley, Priestley, Daylight, Mounier-Kuhn, Haigh, and others that several computing pioneers, including Aiken, Eckert, Mauchly, and Zuse, did not depend on Turing's 1936 universal-machine concept. Furthermore, (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  33. Logic Gallery.David Marans - 2015 - Great Britan: HUMBOX.
  34. Frege on the Normativity and Constitutivity of Logic for Thought I.Daniele Mezzadri - 2015 - Philosophy Compass 10 (9):583-591.
    This two-part paper reviews a scholarly debate on an alleged tension in Frege ’s philosophy of logic. In Section 1 of Part I, I discuss Frege ’s view that logic is concerned with establishing norms for correct thinking and is therefore a normative science. In Section 2, I explore a different understanding of the role of logic that Frege seems to advance: logic is constitutive of the very possibility of thought, because it sets forth necessary conditions for thought. Hence, the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  35. Deduction and Novelty Again.Danny Frederick - 2014 - The Reasoner 8 (5):51-52.
    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.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Mill's System of Logic.David Godden - 2014 - In W. J. Mander (ed.), Oxford handbook of British philosophy in the nineteenth century. Oxford University Press. pp. 44-70.
    This chapter situates Mill’s System of Logic (1843/1872) in the context of some of the meta-logical themes and disputes characteristic of the 19th century as well as Mill’s empiricism. Particularly, by placing the Logic in relation to Whately’s (1827) Elements of Logic and Mill’s response to the “great paradox” of the informativeness of syllogistic reasoning, the chapter explores the development of Mill’s views on the foundation, function, and the relation between ratiocination and induction. It provides a survey of the Mill-Whewell (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37. Future Determination of Entities in Talmudic Public Announcement Logic.M. Abraham, I. Belfer, D. M. Gabbay & U. Schild - 2013 - Journal of Applied Logic 11 (1):63-90.
  38. Prova e Giustificazione.Alfredo Di Giorgio & Daniele Chiffi (eds.) - 2013 - G. Giappichelli Editore.
    I saggi che compongono questo libro intendono presentare in maniera organica e interdisciplinare, anche se da una prospettiva fondazionale logico-filosofica, il ruolo che il concetto di prova svolge in differenti ambiti del sapere. L’elemento innovativo e caratterizzante del volume è quello di stabilire e formulare quali sono le condizioni di adeguatezza materiale e formale per una corretta esplicazione del concetto di prova nelle sue differenti applicazioni. Si cercherà, inoltre, di cogliere cosa ha qualificato storicamente e qualifica tuttora il concetto di (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39. The Emergence of Modern Dialectic.Mehmet Karabela - 2013 - Proceedings of the XXIII World Congress of Philosophy 8.
  40. Fregean Quantification Theory.Saul A. Kripke - 2013 - Journal of Philosophical Logic 43 (5):879-881.
    Frege’s system of first-order logic is presented in a contemporary framework. The system described is distinguished by economy of expression and an unusual syntax.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Leśniewski's Systems of Logic and Foundations of Mathematics.Rafal Urbaniak - 2013 - Cham, Switzerland: Springer.
    With material on his early philosophical views, his contributions to set theory and his work on nominalism and higher-order quantification, this book offers a uniquely expansive critical commentary on one of analytical philosophy’s great ...
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  42. Robert Leslie Ellis's Work on Philosophy of Science and the Foundations of Probability Theory.Lukas M. Verburgt - 2013 - Historia Mathematica 40 (4):423-454.
    The goal of this paper is to provide an extensive account of Robert Leslie Ellisʼs largely forgotten work on philosophy of science and probability theory. On the one hand, it is suggested that both his ‘idealist’ renovation of the Baconian theory of induction and a ‘realism’ vis-à-vis natural kinds were the result of a complex dialogue with the work of William Whewell. On the other hand, it is shown to what extent the combining of these two positions contributed to Ellisʼs (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  43. The Discovery of Chinese Logic. [REVIEW]Stephen C. Angle - 2012 - History and Philosophy of Logic 33 (3):293-296.
    History and Philosophy of Logic, Volume 33, Issue 3, Page 293-296, August 2012.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44. Review of Truth, Reference and Realism. [REVIEW]Jamin Asay - 2012 - International Studies in the Philosophy of Science 26 (3):345-348.
    International Studies in the Philosophy of Science, Volume 26, Issue 3, Page 345-348, September 2012.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45. The Evolution of Logic, by W. D. Hart. [REVIEW]Luca Incurvati - 2012 - Mind 121 (483):822-825.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  46. Bolzano and Kant on the Nature of Logic.Clinton Tolley - 2012 - 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)  
     
    Export citation  
     
    Bookmark   4 citations  
  47. Bolzano and Kant on the Place of Subjectivity in a Wissenschaftslehre.Clinton Tolley - 2012 - Grazer Philosophische Studien 85 (1):63-88.
    Throughout his career, Bolzano presents his account of knowledge and science as an alternative to 'the Critical philosophy' of Kant and his followers. The aim of this essay is to evaluate the success of Bolzano's own account—and especially, its heavy emphasis on the objectivity of cognitive content—in enabling him to escape what he takes to be the chief shortcomings of the 'subjective idealist philosophy'. I argue that, because Bolzano's own position can be seen to be beset by problems that are (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48. Introduction to Mathematical Logic.Micha? Walicki - 2012 - World Scientific.
    A history of logic -- Patterns of reasoning -- A language and its meaning -- A symbolic language -- 1850-1950 mathematical logic -- Modern symbolic logic -- Elements of set theory -- Sets, functions, relations -- Induction -- Turning machines -- Computability and decidability -- Propositional logic -- Syntax and proof systems -- Semantics of PL -- Soundness and completeness -- First order logic -- Syntax and proof systems of FOL -- Semantics of FOL -- More semantics -- Soundness and (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  49. Sentido, significado y el principio de contexto en Frege.Kurt Wischin - 2012 - Disputatio. Philosophical Research Bulletin 1 (2):94--104.
    [ES] El principio de contexto que Frege establece en Fundamentos de la Aritmética no reaparece en sus escritos posteriores, hecho que podría sugerir que a consecuencia de la sustitución de la noción de contenido juzgable por las de sentido y significado Frege lo rechazara después de 1890. Dummett arguye en 1995 que el principio de contexto continúa formando una parte central de la filosofía de lenguaje de Frege, pero que las teorías establecidas a partir del tomo I de Leyes fundamentales (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. Logical Analysis of the Talmudic Rules of General and Specific (Klalim-U-Pratim).Michael Abraham, Dov M. Gabbay, Gabriel Hazut, Yosef E. Maruvka & Uri Schild - 2011 - History and Philosophy of Logic 32 (1):47-62.
    This article deals with a set-theoretic interpretation of the Talmudic rules of General and Specific, known as Klal and Prat (KP), Prat and Klal (PK), Klal and Prat and Klal (KPK) and Prat and Klal and Prat (PKP).
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 178