Related categories

156 found
Order:
1 — 50 / 156
  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. What Achilles Did and the Tortoise Wouldn't.Catherine Legg - manuscript
    This paper offers an expressivist account of logical form, arguing that in order to fully understand it one must examine what valid arguments make us do (or: what Achilles does and the Tortoise doesn’t, in Carroll’s famed fable). It introduces Charles Peirce’s distinction between symbols, indices and icons as three different kinds of signification whereby the sign picks out its object by learned convention, by unmediated indication, and by resemblance respectively. It is then argued that logical form is represented by (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. 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  
  4. 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  
  5. 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  
  6. 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 (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. 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   1 citation  
  8. 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.
  9. 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  
  10. 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  
  11. 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  
  12. 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  
  13. 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   1 citation  
  14. 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  
  15. 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  
  16. 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  
  17. 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  
  18. 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  
  19. 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  
  20. Š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  
  21. 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  
     
    Export citation  
     
    Bookmark   1 citation  
  22. 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  
  23. 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  
  24. 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  
  25. 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  
  26. 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   4 citations  
  27. Logic Gallery.David Marans - 2015 - Great Britan: HUMBOX.
  28. 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 (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29. 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  
  30. 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   1 citation  
  31. 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.
  32. 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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. The Emergence of Modern Dialectic.Mehmet Karabela - 2013 - Proceedings of the XXIII World Congress of Philosophy 8.
    This paper compares the trajectories and defining moments in the evolution of dialectic in Islamic and European civilizations in the early modern intellectual history. The paper begins with a discussion of the concept of contradiction in the history of dialectic, and traces the shifts in the meaning of contradiction in the pre- and post-Hegel periods by focusing on the works of Immanuel Kant, G.W.F. Hegel and Karl Marx to illuminate how Islamic intellectuals understood dialectic at the very moment in which (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. Fregean Quantification Theory.Saul A. Kripke - 2013 - Journal of Philosophical Logic (5):1-3.
    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  
  35. Lesniewski's Systems of Logic and Foundations of Mathematics.Rafal Urbaniak - 2013 - 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 (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  36. 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  
  37. 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 (3 more)  
     
    Export citation  
     
    Bookmark  
  38. 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  
  39. 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  
  40. 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 (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  41. 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  
  42. 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  
  43. 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  
  44. 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 (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45. The Axiomatic Method, the Order of Concepts and the Hierarchy of Sciences: An Introduction.Arianna Betti, Willem R. de Jong & Marije Martijn - 2011 - Synthese 183 (1):1-5.
  46. The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper.John Corcoran & José Miguel Sagüillo - 2011 - History and Philosophy of Logic 32 (4):359 - 374.
    This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  47. P. F. Strawson on Predication.Danny Frederick - 2011 - Polish Journal of Philosophy 5 (1):39-57.
    Strawson offers three accounts of singular predication: a grammatical, a category and a mediating account. I argue that the grammatical and mediating accounts are refuted by a host of counter-examples and that the latter is worse than useless. In later works Strawson defends only the category account. This account entails that singular terms cannot be predicates; it excludes non-denoting singular terms from being logical subjects, except by means of an ad hoc analogy; it depends upon a notion of identification that (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48. The Development of Modern Logic.Leila Haaparanta (ed.) - 2011 - Oxford University Press.
    This edited volume presents a comprehensive history of modern logic from the Middle Ages through the end of the twentieth century.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  49. The Development of Dialectic and Argumentation Theory in Post-Classical Islamic Intellectual History.Mehmet Karabela - 2011 - 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 (3 more)  
     
    Export citation  
     
    Bookmark  
  50. Relations Vs Functions at the Foundations of Logic: Type-Theoretic Considerations.Paul Oppenheimer & Edward N. Zalta - 2011 - Journal of Logic and Computation 21:351-374.
    Though Frege was interested primarily in reducing mathematics to logic, he succeeded in reducing an important part of logic to mathematics by defining relations in terms of functions. By contrast, Whitehead & Russell reduced an important part of mathematics to logic by defining functions in terms of relations (using the definite description operator). We argue that there is a reason to prefer Whitehead & Russell's reduction of functions to relations over Frege's reduction of relations to functions. There is an interesting (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
1 — 50 / 156