Switch to: Citations

Add references

You must login to add references.
  1. A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
    A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • Is intertheoretic reduction feasible?Kenneth Friedman - 1982 - British Journal for the Philosophy of Science 33 (1):17-40.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Axiomatic Foundations of Rigid Body Mechanics.Ernest Wilcox Adams - 1956 - Dissertation, Stanford University
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Categories for the Working Mathematician.Saunders Maclane - 1971 - Springer.
    Category Theory has developed rapidly. This book aims to present those ideas and methods which can now be effectively used by Mathe­ maticians working in a variety of other fields of Mathematical research. This occurs at several levels. On the first level, categories provide a convenient conceptual language, based on the notions of category, functor, natural transformation, contravariance, and functor category. These notions are presented, with appropriate examples, in Chapters I and II. Next comes the fundamental idea of an adjoint (...)
    Download  
     
    Export citation  
     
    Bookmark   173 citations  
  • Introduction to logic.Patrick Suppes - 1957 - Mineola, N.Y.: Dover Publications.
    Coherent, well organized text familiarizes readers with complete theory of logical inference and its applications to math and the empirical sciences. Part I deals with formal principles of inference and definition; Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Last section introduces numerous examples of axiomatically formulated theories in both discussion and exercises. Ideal for undergraduates; no background in math or philosophy required.
    Download  
     
    Export citation  
     
    Bookmark   217 citations  
  • New foundations for metascience.David Pearce & Veikko Rantala - 1983 - Synthese 56 (1):1 - 26.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Mathematical logic.Joseph Robert Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
    8.3 The consistency proof -- 8.4 Applications of the consistency proof -- 8.5 Second-order arithmetic -- Problems -- Chapter 9: Set Theory -- 9.1 Axioms for sets -- 9.2 Development of set theory -- 9.3 Ordinals -- 9.4 Cardinals -- 9.5 Interpretations of set theory -- 9.6 Constructible sets -- 9.7 The axiom of constructibility -- 9.8 Forcing -- 9.9 The independence proofs -- 9.10 Large cardinals -- Problems -- Appendix The Word Problem -- Index.
    Download  
     
    Export citation  
     
    Bookmark   222 citations  
  • Non-standard Analysis.Gert Heinz Müller - 2016 - Princeton University Press.
    Considered by many to be Abraham Robinson's magnum opus, this book offers an explanation of the development and applications of non-standard analysis by the mathematician who founded the subject. Non-standard analysis grew out of Robinson's attempt to resolve the contradictions posed by infinitesimals within calculus. He introduced this new subject in a seminar at Princeton in 1960, and it remains as controversial today as it was then. This paperback reprint of the 1974 revised edition is indispensable reading for anyone interested (...)
    Download  
     
    Export citation  
     
    Bookmark   172 citations  
  • A mathematical introduction to logic.Herbert Bruce Enderton - 1972 - New York,: Academic Press.
    A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional (...)
    Download  
     
    Export citation  
     
    Bookmark   121 citations  
  • The structuralist view of theories: a possible analogue of the Bourbaki programme in physical science.Wolfgang Stegmüller - 1979 - New York: Springer Verlag.
    This is the basis of the first part of the book.
    Download  
     
    Export citation  
     
    Bookmark   67 citations  
  • The structure and dynamics of theories.Wolfgang Stegmüller - 1976 - New York: Springer Verlag.
    Download  
     
    Export citation  
     
    Bookmark   102 citations  
  • Axioms for abstract model theory.K. J. Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.
    Download  
     
    Export citation  
     
    Bookmark   60 citations  
  • Correspondence, Invariance and Heuristics: In Praise of Conservative Induction.H. R. Post - 1971 - Studies in History and Philosophy of Science Part A 2 (3):213.
    Download  
     
    Export citation  
     
    Bookmark   111 citations  
  • Intertheoretic approximation: the Kepler-Newton case.C. Ulises Moulines - 1980 - Synthese 45 (3):387-412.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Correspondence Principle and Growth of Science.W. Krajewski & Władysław Krajewski - 1977 - Springer.
    This book is devoted to the problems of the growth of science. These prob lems, neglected for a long time by the philosophers of science, have become in the 60's and 70's a subject of vivid discussion. There are philosophers who stress only the dependence of science upon various sociological, psycho logical and other factors and deny any internal laws of the development of knowledge, like approaching the truth. The majority rejects such nihilism and searches for the laws of the (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Topics in the Formal Methodology of Empirical Sciences.Ryszard Wójcicki - 1979 - Dordrecht, Netherland: Springer.
    11 original. Modifications which I introduced are radical and often far going. In my opinion the Polish text had two main drawbacks. It was overloaded with informal considerations and at the same time formal concepts included in some parts of the book were presented in a too complicated way. Of course one of the motives to revise it was also the fact that much time has passed since I finished writing the Polish version and obviously certain decisions and ideas contained (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • (2 other versions)The logical structure of mathematical physics.C. A. Hooker - 1975 - Tijdschrift Voor Filosofie 37 (1):151-152.
    Download  
     
    Export citation  
     
    Bookmark   173 citations  
  • Symmetry in intertheory relations.M. L. G. Redhead - 1975 - Synthese 32 (1-2):77 - 112.
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  • Investigations of the Concept of Reduction I: A Discussion of the Sneed-Stegmüller-Reduction-Relations; A Modified Relation of Reduction and the Explanation of Anomalies.Dieter Mayr - 1976 - Erkenntnis 10 (3):275-294.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • On theoreticity.Wolfgang Balzer & C. Ulises Moulines - 1980 - Synthese 44 (3):467 - 494.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Investigations of the Concept of Reduction II: Approximative Reduction of Theories with Inaccuracy-Sets: Uniform Structures on Theories, Their Completion and Embedding.Dieter Mayr - 1981 - Erkenntnis 16 (1):109 - 129.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Constructing general models of theory dynamics.David Pearce & Veikko Rantala - 1983 - Studia Logica 42 (2-3):347 - 362.
    This essay is an attempt to consider dynamic aspects of scientific theorising from a formal perspective. Our emphasis will be on the aims and methods for constructing formal models of theory dynamics which will be conceived from a general or 'theoretical' rather than 'applied' standpoint.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Lectures on Non- Standard Analysis.Moshe Machover & Joram Hirschfeld - 1969 - Lecture Notes in Mathematics.
    The hope of this work is that these notes will help to convince more mathematicians that non-standard analysis can make a useful addition to the tools of their trade.
    Download  
     
    Export citation  
     
    Bookmark   6 citations