Switch to: Citations

Add references

You must login to add references.
  1. Mathematical logic.Stephen Cole Kleene - 1967 - Mineola, N.Y.: Dover Publications.
    Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part II supplements (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   85 citations  
  • Mathematical Logic.Mariko Yasugi - 1967 - Journal of Symbolic Logic 35 (3):438-440.
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  • On the Very Idea of a Conceptual Scheme.Donald Davidson - 1973 - Proceedings and Addresses of the American Philosophical Association 47:5-20.
    Davidson attacks the intelligibility of conceptual relativism, i.e. of truth relative to a conceptual scheme. He defines the notion of a conceptual scheme as something ordering, organizing, and rendering intelligible empirical content, and calls the position that employs both notions scheme-content dualism. He argues that such dualism is untenable since: not only can we not parcel out empirical content sentence per sentence but also the notion of uninterpreted content to which several schemes are relative, and the related notion of a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   582 citations  
  • On the Very Idea of a Conceptual Scheme.Donald Davidson - 1974 - In Robert B. Talisse & Scott F. Aikin (eds.), The Pragmatism Reader: From Peirce Through the Present. Princeton University Press. pp. 286-298.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   405 citations  
  • Making It Explicit: Reasoning, Representing, and Discursive Commitment.Robert Brandom - 1994 - Cambridge, Mass.: Harvard University Press.
    What would something unlike us--a chimpanzee, say, or a computer--have to be able to do to qualify as a possible knower, like us? To answer this question at the very heart of our sense of ourselves, philosophers have long focused on intentionality and have looked to language as a key to this condition. Making It Explicit is an investigation into the nature of language--the social practices that distinguish us as rational, logical creatures--that revises the very terms of this inquiry. Where (...)
  • The Last Word.Simon Blackburn & Thomas Nagel - 1998 - Philosophical Review 107 (4):653.
    Like all of Nagel's work, this is a book with a message: an apparently clear, simple message, forcefully presented and repeated. The message is that there is a limit to the extent to which we can "get outside" fundamental forms of thought, including logical, mathematical, scientific, and ethical thought. "Getting outside" means taking up a biological or psychological or sociological or economic or political view of ourselves as thinkers. It also inclines many people to talk of the contingency or subjectivity (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   68 citations  
  • The nature of mathematical knowledge.Philip Kitcher - 1983 - Oxford: Oxford University Press.
    This book argues against the view that mathematical knowledge is a priori,contending that mathematics is an empirical science and develops historically,just as ...
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   272 citations  
  • hilosophie der Arithmetik. [REVIEW]E. G. Husserl - 1891 - Ancient Philosophy (Misc) 2:627.
  • Tractatus logico-philosophicus.Ludwig Wittgenstein, G. C. M. Colombo & Bertrand Russell - 1994 - New York: Routledge. Edited by Luciano Bazzocchi & P. M. S. Hacker.
    Bazzocchi disposes the text of the Tractatus in a user-friendly manner, exactly as Wittgenstein's decimals advise. This discloses the logical form of the book by distinct reading units, linked into a fashioned hierarchical tree. The text becomes much clearer and every reader can enjoy, finally, its formal and literary qualities.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   483 citations  
  • Introduction to mathematical philosophy.Bertrand Russell - 1919 - New York: Dover Publications.
  • The Philosophy of Logical Atomism.Bertrand Russell - 1918 - In ¸ Iterussell1986. Open Court. pp. 193-210..
  • Science, Perception and Reality.Wilfrid Sellars (ed.) - 1963 - New York,: Humanities Press.
    A collection of some of Sellars' lectures and articles from 1951 to 1962.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   682 citations  
  • Nachgelassene Schriften.R. H. Stoothoff - 1971 - Philosophical Quarterly 21 (82):77.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   87 citations  
  • The Philosophy of Logical Atomism.Bertrand Russell - 1919 - The Monist 29 (2):190-222.
  • The Philosophy of Logical Atomism.Bertrand Russell - 1918 - The Monist 28 (4):495-527.
  • From stimulus to science.Willard Van Orman Quine - 1997 - Cambridge, Mass.: Harvard University Press.
    For the faithful there is much to ponder. In this short book, based on lectures delivered in Spain in 1990, Quine begins by locating his work historically.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   143 citations  
  • From Stimulus to Science.W. V. Quine, Paolo Leonardi & Marco Santambrogio - 1997 - Philosophical Quarterly 47 (189):519-523.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   107 citations  
  • The "natural" and the "formal".Jaroslav Peregrin - 2000 - Journal of Philosophical Logic 29 (1):75-101.
    The paper presents an argument against a "metaphysical" conception of logic according to which logic spells out a specific kind of mathematical structure that is somehow inherently related to our factual reasoning. In contrast, it is argued that it is always an empirical question as to whether a given mathematical structure really does captures a principle of reasoning. (More generally, it is argued that it is not meaningful to replace an empirical investigation of a thing by an investigation of its (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • Doing Worlds with Words: Formal Semantics Without Formal Metaphysics.Jaroslav Peregrin - 1995 - Dordrecht, Netherland: Springer.
    Doing Worlds with Words throws light on the problem of meaning as the meeting point of linguistics, logic and philosophy, and critically assesses the possibilities and limitations of elucidating the nature of meaning by means of formal logic, model theory and model-theoretical semantics. The main thrust of the book is to show that it is misguided to understand model theory metaphysically and so to try to base formal semantics on something like formal metaphysics; rather, the book states that model theory (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  • Making it Explicit.Isaac Levi & Robert B. Brandom - 1996 - Journal of Philosophy 93 (3):145.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   925 citations  
  • Mathematical Logic.D. G. Londey - 1968 - Philosophical Quarterly 18 (72):273-275.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   38 citations  
  • The Nature of Mathematical Knowledge.Penelope Maddy - 1985 - Philosophy of Science 52 (2):312-314.
  • The Nature of Mathematical Knowledge by Philip Kitcher. [REVIEW]Mark Steiner - 1984 - Journal of Philosophy 81 (8):449-456.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  • Philosophie der Arithmetik.E. S. Husserl - 1892 - Philosophical Review 1 (3):327-330.
  • Logic as calculus and logic as language.Jean Heijenoort - 1967 - Synthese 17 (1):324 - 330.
  • What is logic?Ian Hacking - 1979 - Journal of Philosophy 76 (6):285-319.
  • The Philosophy of Logical Atomism.Bertrand Russell (ed.) - 1940 - Routledge.
    Logical Atomism is a philosophy that sought to account for the world in all its various aspects by relating it to the structure of the language in which we articulate information. In _The Philosophy of Logical Atomism,_ Bertrand Russell, with input from his young student Ludwig Wittgenstein, developed the concept and argues for a reformed language based on pure logic. Despite Russell’s own future doubts surrounding the concept, this founding and definitive work in analytical philosophy by one of the world’s (...)
    Direct download  
     
    Export citation  
     
    Bookmark   313 citations  
  • The concept of logical consequence.John Etchemendy - 1990 - Cambridge, Mass.: Harvard University Press.
    Of course we all know now that mathematics has proved that logic doesn't really make sense, but Etchemendy (philosophy, Stanford Univ.) goes further and challenges the received view of the conceptual underpinnings of modern logic by arguing that Tarski's model-theoretic analysis of logical consequences is wrong. He may have found the soft underbelly of the dead horse. Annotation copyrighted by Book News, Inc., Portland, OR.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   178 citations  
  • The mathematical structure of the world: The world as graph.Randall R. Dipert - 1997 - Journal of Philosophy 94 (7):329-358.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  • Lingua Universalis vs. Calculus Ratiocinator:: An Ultimate Presupposition of Twentieth-Century Philosophy.Jaakko Hintikka - 1996 - Springer.
    R. G. Collingwood saw one of the main tasks of philosophers and of historians of human thought in uncovering what he called the ultimate presuppositions of different thinkers, of different philosophical movements and of entire eras of intellectual history. He also noted that such ultimate presuppositions usually remain tacit at first, and are discovered only by subsequent reflection. Collingwood would have been delighted by the contrast that constitutes the overall theme of the essays collected in this volume. Not only has (...)
    Direct download  
     
    Export citation  
     
    Bookmark   41 citations  
  • The Bounds of Logic: A Generalized Viewpoint.Gila Sher - 1991 - MIT Press.
    The Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic development. Extracting central philosophical ideas from Tarski’s early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic. By generally characterizing logical terms, Sher establishes a fundamental result in semantics. Her (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   94 citations  
  • Mind, Meaning and Mathematics. Essays on the Philosophy of Husserl and Frege.L. Haaparanta (ed.) - 1994 - Kluwer Academic Publishers.
    At the turn of the century, Gottlob Frege and Edmund Husserl both participated in the discussion concerning the foundations of logic and mathematics. Since the 1960s, comparisons have been made between Frege's semantic views and Husserl's theory of intentional acts. In quite recent years, new approaches to the two philosophers' views have appeared. This collection of articles opens with the first English translation of Dagfinn Føllesdal's early classic on Husserl and Frege of 1958. The book brings together a number of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  • The Last Word.Thomas Nagel - 1997 - Oxford: Oxford University Press.
    In this important new book Nagel, one of the most distinguished philosophers writing in English today, presents a sustained defence of reason against the attacks of subjectivism. He offers systematic rebuttals of relativistic claims with respect to language, logic, science, and ethics.
  • Grundlagen der Arithmetik: Studienausgabe mit dem Text der Centenarausgabe.Gottlob Frege - 1884 - Breslau: Wilhelm Koebner Verlag.
    Die Grundlagen gehören zu den klassischen Texten der Sprachphilosophie, Logik und Mathematik. Frege stützt sein Programm einer Begründung von Arithmetik und Analysis auf reine Logik, indem er die natürlichen Zahlen als bestimmte Begriffsumfänge definiert. Die philosophische Fundierung des Fregeschen Ansatzes bilden erkenntnistheoretische und sprachphilosophische Analysen und Begriffserklärungen. Studienausgabe aufgrund der textkritisch herausgegebenen Jubiläumsausgabe (Centenarausgabe). Mit Einleitung, Anmerkungen, Literaturverzeichnis und Namenregister.
    Direct download  
     
    Export citation  
     
    Bookmark   308 citations  
  • The philosophy of mathematics.Jaakko Hintikka (ed.) - 1969 - London,: Oxford University Press.
  • Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Halle a.d.S.: Louis Nebert.
    Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens / von Dr. Gottlob Frege,...Date de l'edition originale : 1879Ce livre est la reproduction fidele d'une oeuvre publiee avant 1920 et fait partie d'une collection de livres reimprimes a la demande editee par Hachette Livre, dans le cadre d'un partenariat avec la Bibliotheque nationale de France, offrant l'opportunite d'acceder a des ouvrages anciens et souvent rares issus des fonds patrimoniaux de la BnF.Les oeuvres faisant partie de cette collection ont ete numerisees (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   309 citations  
  • The Mathematical Structure of the World.Randall R. Dipert - 1997 - Journal of Philosophy 94 (7):329-358.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   39 citations  
  • Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.
    No categories
     
    Export citation  
     
    Bookmark   1830 citations  
  • Introduction to mathematical philosophy.Bertrand Russell - 1920 - Revue de Métaphysique et de Morale 27 (2):4-5.
    No categories
     
    Export citation  
     
    Bookmark   238 citations  
  • The Concept of Logical Consequence.John Etchemendy - 1990 - Mind 100 (3):382-385.
    No categories
     
    Export citation  
     
    Bookmark   159 citations  
  • Begriffsschrift.Gottlob Frege - 1967 - In Jean Van Heijenoort (ed.), From Frege to Gödel. Cambridge: Harvard University Press. pp. 1-83.
     
    Export citation  
     
    Bookmark   162 citations  
  • Introduction to Mathematical Philosophy.Bertrand Russell - 1919 - Revue Philosophique de la France Et de l'Etranger 89:465-466.
     
    Export citation  
     
    Bookmark   483 citations  
  • Tractatus Logico-Philosophicus.Ludwig Wittgenstein - 1956 - Revista Portuguesa de Filosofia 12 (1):109-110.
    No categories
     
    Export citation  
     
    Bookmark   1009 citations  
  • The 'causal story' and the 'justificatory story'.Jaroslav Peregrin - manuscript
    Suppose for a moment, that J.R.R. Tolkien, the famous author of the cult fantasy saga Lord of the Rings, did not publish anything of his writings during his lifetime; suppose that after his death the manuscripts of all his writings are lying on his table. Where, then, is the Middlearth, the glorious land of hobbits, dwarfs, elfs and human heroes, situated? We might be tempted to say that it is within our world, namely inside the pile of the papers on (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Language and its Models: Is Model Theory a Theory of Semantics?Jaroslav Peregrin - 1997 - Nordic Journal of Philosophical Logic 2 (1):1-23.
    Tarskian model theory is almost universally understood as a formal counterpart of the preformal notion of semantics, of the “linkage between words and things”. The wide-spread opinion is that to account for the semantics of natural language is to furnish its settheoretic interpretation in a suitable model structure; as exemplified by Montague 1974.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  • The Last Word.Thomas Nagel - 1999 - Philosophical Quarterly 49 (197):529-536.
    No categories
     
    Export citation  
     
    Bookmark   121 citations  
  • Philosophie der Arithmetik.E. G. Husserl - 1891 - The Monist 2:627.
  • Nachgelassene Schriften.Gotlob Frege - 1970 - Synthese 21 (3):488-493.
    No categories
     
    Export citation  
     
    Bookmark   52 citations  
  • The Concept of Logical Consequence.John Etchemendy - 1994 - Erkenntnis 41 (2):281-284.
    No categories
     
    Export citation  
     
    Bookmark   155 citations  
  • Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. pp. 138--157.
    Direct download  
     
    Export citation  
     
    Bookmark   172 citations