View topic on PhilPapers for more information
Related categories

60 found
Order:
More results on PhilPapers
1 — 50 / 60
  1. LOGIC TEACHING IN THE 21ST CENTURY.John Corcoran - manuscript
    We are much better equipped to let the facts reveal themselves to us instead of blinding ourselves to them or stubbornly trying to force them into preconceived molds. We no longer embarrass ourselves in front of our students, for example, by insisting that “Some Xs are Y” means the same as “Some X is Y”, and lamely adding “for purposes of logic” whenever there is pushback. Logic teaching in this century can exploit the new spirit of objectivity, humility, clarity, observationalism, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Tarski’s Convention T: Condition Beta.John Corcoran - forthcoming - South American Journal of Logic 1 (1).
    Tarski’s Convention T—presenting his notion of adequate definition of truth (sic)—contains two conditions: alpha and beta. Alpha requires that all instances of a certain T Schema be provable. Beta requires in effect the provability of ‘every truth is a sentence’. Beta formally recognizes the fact, repeatedly emphasized by Tarski, that sentences (devoid of free variable occurrences)—as opposed to pre-sentences (having free occurrences of variables)—exhaust the range of significance of is true. In Tarski’s preferred usage, it is part of the meaning (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. The Limits and Basis of Logical Tolerance: Carnap’s Combination of Russell and Wittgenstein.Adam Tamas Tuboly - forthcoming - In Peter Stone (ed.), Bertrand Russell’s Life and Legacy. Vernon Press.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. Logical Categories, Signs, and Elucidation in Frege.Wim Vanrie - 2021 - Dissertation, University of Ghent
    Frege's conception of the logical categories has vexed commentators for decades. In this dissertation, I argue that it revolves around two forms of internality. The first is the internality of its use in the expression of judgment to the sign. A proper understanding of that internality reveals how Frege's philosophical logic cannot be fit into the framework given by the contemporary syntax/semantics distinction. The second is the internality that obtains between the way in which Begriffsschrift signs stratify into different categories, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. Towards a Feminist Logic: Val Plumwood’s Legacy and Beyond.Maureen Eckert & Charlie Donahue - 2020 - In Dominic Hyde (ed.), Noneist Explorations II: The Sylvan Jungle - Volume 3 (Synthese Library, 432). Dordrecht: pp. 424-448.
    Val Plumwood’s 1993 paper, “The politics of reason: towards a feminist logic” (hence- forth POR) attempted to set the stage for what she hoped would begin serious feminist exploration into formal logic – not merely its historical abuses, but, more importantly, its potential uses. This work offers us: (1) a case for there being feminist logic; and (2) a sketch of what it should resemble. The former goal of Plumwood’s paper encourages feminist theorists to reject anti-logic feminist views. The paper’s (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. Frege, Gottlob (1848-1925).Nikolay Milkov - 2020 - Bloomsbury Encyclopedia of Philosophers.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. Frege on Referentiality and Julius Caesar in Grundgesetze Section 10.Bruno Bentzen - 2019 - Notre Dame Journal of Formal Logic 60 (4):617-637.
    This paper aims to answer the question of whether or not Frege's solution limited to value-ranges and truth-values proposed to resolve the "problem of indeterminacy of reference" in section 10 of Grundgesetze is a violation of his principle of complete determination, which states that a predicate must be defined to apply for all objects in general. Closely related to this doubt is the common allegation that Frege was unable to solve a persistent version of the Caesar problem for value-ranges. It (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  8. Willard Van Orman Quine's Philosophical Development in the 1930s and 1940s.Frederique Janssen-Lauret - 2018 - In Walter Carnielli, Frederique Janssen-Lauret & William Pickering (eds.), The Significance of the New Logic. Cambridge: Cambridge University Press.
    As analytic philosophy is becoming increasingly aware of and interested in its own history, the study of that field is broadening to include, not just its earliest beginnings, but also the mid-twentieth century. One of the towering figures of this epoch is W.V. Quine (1908-2000), champion of naturalism in philosophy of science, pioneer of mathematical logic, trying to unite an austerely physicalist theory of the world with the truths of mathematics, psychology, and linguistics. Quine's posthumous papers, notes, and drafts revealing (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. 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   Download  
     
    Export citation  
     
    Bookmark  
  10. Tarski.Benedict Eastaugh - 2017 - In Alex Malpass & Marianna Antonutti Marfori (eds.), The History of Philosophical and Formal Logic: From Aristotle to Tarski. London: Bloomsbury. pp. 293-313.
    Alfred Tarski was one of the greatest logicians of the twentieth century. His influence comes not merely through his own work but from the legion of students who pursued his projects, both in Poland and Berkeley. This chapter focuses on three key areas of Tarski's research, beginning with his groundbreaking studies of the concept of truth. Tarski's work led to the creation of the area of mathematical logic known as model theory and prefigured semantic approaches in the philosophy of language (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. An Observation About Truth.David Kashtan - 2017 - Dissertation, University of Jerusalem
    Tarski's analysis of the concept of truth gives rise to a hierarchy of languages. Does this fragment the concept all the way to philosophical unacceptability? I argue it doesn't, drawing on a modification of Kaplan's theory of indexicals.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. Frege's Begriffsschrift is Indeed First-Order Complete.Yang Liu - 2017 - History and Philosophy of Logic 38 (4):342-344.
    It is widely taken that the first-order part of Frege's Begriffsschrift is complete. However, there does not seem to have been a formal verification of this received claim. The general concern is that Frege's system is one axiom short in the first-order predicate calculus comparing to, by now, the standard first-order theory. Yet Frege has one extra inference rule in his system. Then the question is whether Frege's first-order calculus is still deductively sufficient as far as the first-order completeness is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  13. Logic in the Tractatus.Max Weiss - 2017 - Review of Symbolic Logic 10 (1):1-50.
    I present a reconstruction of the logical system of the Tractatus, which differs from classical logic in two ways. It includes an account of Wittgenstein’s “form-series” device, which suffices to express some effectively generated countably infinite disjunctions. And its attendant notion of structure is relativized to the fixed underlying universe of what is named. -/- There follow three results. First, the class of concepts definable in the system is closed under finitary induction. Second, if the universe of objects is countably (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. LOGIC TEACHING IN THE 21ST CENTURY.John Corcoran - 2016 - Quadripartita Ratio: Revista de Argumentación y Retórica 1 (1):1-34.
    We are much better equipped to let the facts reveal themselves to us instead of blinding ourselves to them or stubbornly trying to force them into preconceived molds. We no longer embarrass ourselves in front of our students, for example, by insisting that “Some Xs are Y” means the same as “Some X is Y”, and lamely adding “for purposes of logic” whenever there is pushback. Logic teaching in this century can exploit the new spirit of objectivity, humility, clarity, observationalism, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Présuppositions linguistiques et enjeux philosophiques des paralogismes liés à la forme de l’expression dans les Réfutations sophistiques d’Aristote.Leone Gazziero - 2016 - In Béatrice Godart-Wendling & Layla Raïd (eds.), B. Godart-Wendling et L. Raïd (éd.), A la recherche de la présupposition, London, Iste Editions, 2016. London: Iste. pp. 33-52.
    Pour des raisons essentiellement liées à la vocation des textes où la notion de présupposition a fait son apparition, c’est la présupposition d’existence qui s’est imposée la première à l’attention des philosophes du langage. Elle a également déterminé l’orientation des débats en les focalisant sur quelques problèmes traditionnels, au premier chef desquels le problème de l’absence de référence de certaines expressions et celui des imperfections du langage naturel. Contrairement aux noms propres et aux descriptions définies, les termes qui signifient des (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. How Tarski Defined the Undefinable.Cezary Cieśliński - 2015 - European Review 23 (01):139 - 149.
    This paper describes Tarski’s project of rehabilitating the notion of truth, previously considered dubious by many philosophers. The project was realized by providing a formal truth definition, which does not employ any problematic concept.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  17. Teaching the PARC System of Natural Deduction.Daryl Close - 2015 - American Association of Philosophy Teachers Studies in Pedagogy 1:201-218.
    PARC is an "appended numeral" system of natural deduction that I learned as an undergraduate and have taught for many years. Despite its considerable pedagogical strengths, PARC appears to have never been published. The system features explicit "tracking" of premises and assumptions throughout a derivation, the collapsing of indirect proofs into conditional proofs, and a very simple set of quantificational rules without the long list of exceptions that bedevil students learning existential instantiation and universal generalization. The system can be used (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  18. Carnap’s Principle of Tolerance and Logical Pluralism.Diogo Dias - 2015 - Argumentos 13:225-236.
    Logical pluralism is the claim that there is more than one adequate logic. Many authors consider Carnap as one of the forerunners of logical pluralism. More than that, they claim that Carnap’s Principle of Tolerance consists in one of the first explicit formulations a logical pluralism. Nonetheless, there is little detailed investigation to evaluate if the Principle of Tolerance necessarily implies a logical pluralism, and if so, of which kind. The aim of this paper is to analyze the Principle of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Logic and Ontology in Hegel's Theory of Predication.Kevin J. Harrelson - 2015 - European Journal of Philosophy 23 (4):1259-1280.
    In this paper I sketch some arguments that underlie Hegel's chapter on judgment, and I attempt to place them within a broad tradition in the history of logic. Focusing on his analysis of simple predicative assertions or ‘positive judgments’, I first argue that Hegel supplies an instructive alternative to the classical technique of existential quantification. The main advantage of his theory lies in his treatment of the ontological implications of judgments, implications that are inadequately captured by quantification. The second concern (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Heinrich Behmann’s 1921 Lecture on the Decision Problem and the Algebra of Logic.Paolo Mancosu & Richard Zach - 2015 - Bulletin of Symbolic Logic 21 (2):164-187.
    Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic remarks on (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  21. Quine and Quantified Modal Logic – Against the Received View.Adam Tamas Tuboly - 2015 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 22 (4):518-545.
    The textbook-like history of analytic philosophy is a history of myths, re-ceived views and dogmas. Though mainly the last few years have witnessed a huge amount of historical work that aimed to reconsider our narratives of the history of ana-lytic philosophy there is still a lot to do. The present study is meant to present such a micro story which is still quite untouched by historians. According to the received view Kripke has defeated all the arguments of Quine against quantified (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Deontic ‘Cocktail’ According to E. Mally’s Receipt.Lisanyuk Elena - 2013 - Logical Investigations 19:5-27.
    In 1926, Ernst Mally, an Austrian logician, has introduced a system of deontic logic in which he has proposed three fundamental distinctions which proved to be important in the context of the further development of the logic of norms. It is argued that in his philosophical considerations Mally has introduced a number of important distinctions concerning the very concept of norm, but by getting them confused in introducing the subsequent formalisms he failed to formally preserve them. In some of his (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  23. Verità d'imperativi in Kalle Sorainen.Federico Faroldi - 2013 - Rivista Internazionale di Filosofia Del Diritto 90 (1):93–98.
    This brief note explores Sorainen's (1939) contribution to the birth of deontic logic. He maintained that imperatives can be true or, respectively, false.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. Sobre s História da Paraconsistência e a Obra de Da Costa: A Instauração da Lógica Paraconsistente.Evandro Luis Gomes - 2013 - Dissertation, University of Campinas, Brazil
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  25. On material and logical implication: clarifying some common little mistakes.Renato Mendes Rocha - 2013 - Intuitio 6 (2):239-252.
    The aim of this paper is to clarify the truth-functional interpretation of the logical connective of the material implication. The importance of such clarification lies in the fact that it allows avoiding the supposed paradoxes introduced by C. I. Lewis (1918). I argue that an adequate understanding of the history and purposes of logic is enough to dissolve them away. The defense is based on an exposition of propositional compositionalism. To compare, I also present Stalnaker’s (1968) alternative that seeks to (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. Peirce's Arrow and Satzsystem: A Logical View for the Language-Game.Rafael Duarte Oliveira Venancio - 2013 - Asian Journal of Humanities and Social Studies 1 (5):265-273.
    This article is an effort to understand how the Peirce's Arrow (Logical NOR), as a logical operation, can act within the concept of Ludwig Wittgenstein's language-game, considering that the language game is a satzsystem, i.e., a system of propositions. To accomplish this task, we will cover four steps: (1) understand the possible relationship of the thought of C. S. Peirce with the founding trio of analytic philosophy, namely Frege-RussellWittgenstein, looking for similarities between the logic of Peirce and his students (notably (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  27. Axiomatic Investigations of the Propositional Calculus of Principia Mathematica.Paul Bernays - 2012 - In Universal Logic: An Anthology. New York and Basel: pp. 43-58.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  28. The Vicissitudes of Mathematical Reason in the 20th Century. [REVIEW]Thomas Mormann - 2012 - Metascience 21 (2):295-300.
    The vicissitudes of mathematical reason in the 20th century Content Type Journal Article Pages 1-6 DOI 10.1007/s11016-011-9556-y Authors Thomas Mormann, Department of Logic and Philosophy of Science, University of the Basque Country UPV/EPU, Donostia-San Sebastian, Spain, Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  29. 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   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  30. Mantığın zaman tüneli.Besim Karakadılar - 2011 - Felsefe Dünyasi 54:117-122.
    Mantık tarihi ondokuzuncu yüzyılın ikinci yarısından bu yana matematiğin temelleriyle ilgili soruların yanıtlanmasına sahne olmuştur. Bugün tarihsel gelişiminin bir sonucu olarak mantık bilgisayar kullanımı aracılığıyla yaşam ile etkileşmektedir. Bu yazıda söz konusu etkileşimin geleceğine ilişkin bilgisel ufukların geçmişte hangi soruları yanıtlamak amacıyla belirlendiği çok kısaca özetlenmektedir.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31. The History of Categorical Logic: 1963-1977.Jean-Pierre Marquis & Gonzalo Reyes - 2011 - In Dov Gabbay, Akihiro Kanamori & John Woods (eds.), Handbook of the history of logic. Elsevier.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  32. Russell on Logicism and Coherence.Conor Mayo-Wilson - 2011 - Russell: The Journal of Bertrand Russell Studies 31 (1):89-106.
    According to Quine, Charles Parsons, Mark Steiner, and others, Russell's logicist project is important because, if successful, it would show that mathematical theorems possess desirable epistemic properties often attributed to logical theorems, such as a prioricity, necessity, and certainty. Unfortunately, Russell never attributed such importance to logicism, and such a thesis contradicts Russell's explicitly stated views on the relationship between logic and mathematics. This raises the question: what did Russell understand to be the philosophical importance of logicism? Building on recent (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  33. On a Perceived Expressive Inadequacy of Principia Mathematica.Burkay T. Öztürk - 2011 - Florida Philosophical Review 12 (1):83-92.
    This paper deploys a Cantor-style diagonal argument which indicates that there is more possible mathematical content than there are propositional functions in Russell and Whitehead's Principia Mathematica and similar formal systems. This technical result raises a historical question: "How did Russell, who was himself an expert in diagonal arguments, not see this coming?" It turns out that answering this question requires an appreciation of Russell's understanding of what logic is, and how he construed the relationship between logic and Principia Mathematica.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  34. Getting the Wrong Anderson? A Short and Opinionated History of New Zealand Philosophy.Charles Pigden - 2011 - In Graham Oppy & Nick Trakakis (eds.), The Antipodean Philosopher: Public Lectures on Philosophy in Australia and New Zealand. Lexington Books. pp. 169-195.
    Is the history of philosophy primarily a contribution to PHILOSOPHY or primarily a contribution to HISTORY? This paper is primarily contribution to history (specifically the history of New Zealand) but although the history of philosophy has been big in New Zealand, most NZ philosophers with a historical bent are primarily interested in the history of philosophy as a contribution to philosophy. My essay focuses on two questions: 1) How did New Zealand philosophy get to be so good? And why, given (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  35. Counterarguments and Counterexamples.John Corcoran - 2010 - In Luis Vega (ed.), Luis Vega, Ed. Compendio de Lógica, Argumentación, y Retórica. Madrid: Trotta. pp. 137-142.
    English translation of an entry on pages 137–42 of the Spanish-language dictionary of logic: Luis Vega, Ed. Compendio de Lógica, Argumentación, y Retórica. Madrid: Trotta. -/- DEDICATION: To my friend and collaborator Kevin Tracy. -/- This short essay—containing careful definitions of ‘counterargument’ and ‘counterexample’—is not an easy read but it is one you’ll be glad you struggled through. It contains some carefully chosen examples suitable for classroom discussion. -/- Using the word ‘counterexample’ instead of ‘counterargument’ in connection with Aristotle’s invalidity (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  36. Herbert Marcuse's “Review of John Dewey's Logic: The Theory of Inquiry”.Herbert Marcuse & Phillip Deen - 2010 - Transactions of the Charles S. Peirce Society 46 (2):258-265.
    Dewey’s book is the first systematic attempt at a pragmatistic logic (since the work of Peirce). Because of the ambiguity of the concept of pragmatism, the author rejects the concept in general. But, if one interprets pragmatism correctly, then this book is ‘through and through Pragmatistic’. What he understands as ‘correct’ will become clear in the following account. The book takes its subject matter far beyond the traditional works on logic. It is a material logic first in the sense that (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  37. Life and Works of Giovanni Vailati.Paola Cantù & De Zan Mauro - 2009 - In Arrighi Claudia, Cantù Paola, De Zan Mauro & Suppes Patrick (eds.), Life and Works of Giovanni Vailati. CSLI Publications.
    The paper introduces Vailati’s life and works, investigating Vailati’s education, the relation to Peano and his school, and the interest for pragmatism and modernism. A detailed analysis of Vailati’s scientific and didactic activities, shows that he held, like Peano, a a strong interest for the history of science and a pluralist, anti-dogmatic and anti-foundationalist conception of definitions in mathematics, logic and philosophy of language. Vailati’s understanding of mathematical logic as a form of pragmatism is not a faithful interpretation of Peano’s (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. The Development of Mathematical Logic From Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
    The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   14 citations  
  39. Hilbert's Metamathematical Problems and Their Solutions.Besim Karakadilar - 2008 - Dissertation, Boston University
    This dissertation examines several of the problems that Hilbert discovered in the foundations of mathematics, from a metalogical perspective. The problems manifest themselves in four different aspects of Hilbert’s views: (i) Hilbert’s axiomatic approach to the foundations of mathematics; (ii) His response to criticisms of set theory; (iii) His response to intuitionist criticisms of classical mathematics; (iv) Hilbert’s contribution to the specification of the role of logical inference in mathematical reasoning. This dissertation argues that Hilbert’s axiomatic approach was guided primarily (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  40. Alfred Tarski - the Man Who Defined Truth.Urszula Wybraniec-Skardowska - 2008 - Filozofia, Scientific Works of Jan Długosz Academy, Częstochowa:67-71.
    This article is a translation of the paper in Polish (Alfred Tarski - człowiek, który zdefiniował prawdę) published in Ruch Filozoficzny 4 (4) (2007). It is a personal Alfred Tarski memories based on my stay in Berkeley and visit the Alfred Tarski house for the invitation of Janusz Tarski.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  41. Russell and the Universalist Conception of Logic.Ian Proops - 2007 - Noûs 41 (1):1–32.
    The paper critically scrutinizes the widespread idea that Russell subscribes to a "Universalist Conception of Logic." Various glosses on this somewhat under-explained slogan are considered, and their fit with Russell's texts and logical practice examined. The results of this investigation are, for the most part, unfavorable to the Universalist interpretation.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  42. Alfred Tarski - człowiek, który zdefiniował prawdę.Urszula Wybraniec-Skardowska - 2007 - Ruch Filozoficzny 4 (4).
    This article is a characteristic of Alfred Tarski's profile, seen from a personal perspective after a long visit to Berkeley, at the invitation of Jan Tarski, in the house where Alfred Tarski lived. It takes into account the scientific achievements and research results of Tarski, as well as certain impressions of the author of these memories concerning the exotic life of this great Polish logician and mathematician of the 20th century.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43. C. I. Lewis: History and Philosophy of Logic.John Corcoran - 2006 - Transactions of the Charles S. Peirce Society 42 (1):1-9.
    C. I. Lewis (I883-I964) was the first major figure in history and philosophy of logic—-a field that has come to be recognized as a separate specialty after years of work by Ivor Grattan-Guinness and others (Dawson 2003, 257).Lewis was among the earliest to accept the challenges offered by this field; he was the first who had the philosophical and mathematical talent, the philosophical, logical, and historical background, and the patience and dedication to objectivity needed to excel. He was blessed with (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  44. Kurt Gödel and Computability Theory.Richard Zach - 2006 - In Arnold Beckmann, Ulrich Berger, Benedikt Löwe & John V. Tucker (eds.), Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea. Proceedings. Berlin: Springer. pp. 575--583.
    Although Kurt Gödel does not figure prominently in the history of computabilty theory, he exerted a significant influence on some of the founders of the field, both through his published work and through personal interaction. In particular, Gödel’s 1931 paper on incompleteness and the methods developed therein were important for the early development of recursive function theory and the lambda calculus at the hands of Church, Kleene, and Rosser. Church and his students studied Gödel 1931, and Gödel taught a seminar (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação).Tomás Barrero - 2004 - Dissertation, Universidade Estadual de Campinas
    This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive com- pleteness method proposed by Leon Henkin for classical fragments endowed with implication, and advance some reasons explaining what makes difficult to extend this constructive (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  46. Was Tarski's Theory of Truth Motivated by Physicalism?Greg Frost-Arnold - 2004 - History and Philosophy of Logic 25 (4):265-280.
    Many commentators on Alfred Tarski have, following Hartry Field, claimed that Tarski's truth-definition was motivated by physicalism—the doctrine that all facts, including semantic facts, must be reducible to physical facts. I claim, instead, that Tarski did not aim to reduce semantic facts to physical ones. Thus, Field's criticism that Tarski's truth-definition fails to fulfill physicalist ambitions does not reveal Tarski to be inconsistent, since Tarski's goal is not to vindicate physicalism. I argue that Tarski's only published remarks that speak approvingly (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
  47. Kurt Gödel, Paper on the Incompleteness Theorems (1931).Richard Zach - 2004 - In Ivor Grattan-Guinness (ed.), Landmark Writings in Mathematics. Amsterdam: North-Holland. pp. 917-925.
    This chapter describes Kurt Gödel's paper on the incompleteness theorems. Gödel's incompleteness results are two of the most fundamental and important contributions to logic and the foundations of mathematics. It had been assumed that first-order number theory is complete in the sense that any sentence in the language of number theory would be either provable from the axioms or refutable. Gödel's first incompleteness theorem showed that this assumption was false: it states that there are sentences of number theory that are (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  48. ¿qué Tan Matemática Es La Lógica Matemática?Axel Barceló Aspeitia - 2003 - Dianoia 48 (51):3-28.
    La lógica matemática es matemática en cuanto que usa herramientas matemáticas. En este sentido, la lógica matemática es matemática en el mismo sentido que lo es, digamos, la mecánica newtoniana. En ambos casos, el método es matemático, pero las ciencias mismas no lo son, pues su objeto de estudio pertenece a una realidad objetiva e independiente. En particular, las herramientas matemáticas que usa la lógica simbólica contemporánea —tanto en su simbolismo como en su cálculo— se crearon originalmente para el desarrollo (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. Introduction.Juliette Kennedy & Gabriel Sandu - 2003 - Synthese 137 (1):1-1.
    The present volume collects presented at a symposium on The History of Logic held in Helsinki in June 11–13, 2000 hosted by the University of Helsinki, Finland. They bear on issues in the history of logic and foundations of mathematics and are contributions by some of the most renown scholars in the field.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  50. Hilbert's Program Revisited.Panu Raatikainen - 2003 - Synthese 137 (1):157-177.
    After sketching the main lines of Hilbert's program, certain well-known and influential interpretations of the program are critically evaluated, and an alternative interpretation is presented. Finally, some recent developments in logic related to Hilbert's program are reviewed.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 60