Results for 'Logic, Symbolic and mathematical'

1000+ found
Order:
  1.  5
    Dictionary of Symbols of Mathematical Logic.Robert Feys (ed.) - 1969 - Amsterdam: North-Holland Pub. Co..
  2.  29
    Foundations of Logic and Mathematics.Rudolf Carnap - 1937 - Chicago, IL, USA: U. Of Chicago P.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   100 citations  
  3. Logic, Sets and Information: Proceedings of the Tenth Brazilian Conference on Mathematical Logic.Walter A. Carnielli & Luiz Carlos P. D. Pereira (eds.) - 1995 - Centro de Lógica, Epistemologia e História da Ciência, Unicamp.
    Proceedings of the Tenth Brazilian Conference on Mathematical Logic. Coleção CLE, volume 14, 1995. Centro De Lógica, Epistemologia e História da Ciência, Unicamp, Campinas, SP, Brazil.
     
    Export citation  
     
    Bookmark  
  4.  36
    Foundations of Logic and Mathematics. [REVIEW]E. N. - 1939 - Journal of Philosophy 36 (23):636-637.
  5.  55
    Advances in Experimental Philosophy of Logic and Mathematics.Andrew Aberdein & Matthew Inglis (eds.) - 2019 - London: Bloomsbury Academic.
    This book explores the results of applying empirical methods to the philosophy of logic and mathematics. Much of the work that has earned experimental philosophy a prominent place in twenty-first century philosophy is concerned with ethics or epistemology. But, as this book shows, empirical methods are just as much at home in logic and the philosophy of mathematics. -/- Chapters demonstrate and discuss the applicability of a wide range of empirical methods including experiments, surveys, interviews, and data-mining. Distinct themes emerge (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Reviews: Mathematics and Logic-Symbols, Impossible Numbers, and Geometric Entanglements: British Algebra through the Commentaries on Newton's Universal Arithmetick. [REVIEW]Helena M. Pycior & M. Seltman - 1998 - Annals of Science 55 (4):438-439.
     
    Export citation  
     
    Bookmark  
  7. Lewis Carroll's Symbolic Logic Part I, Elementary, 1896, Fifth Edition, Part Ii, Advanced, Never Previously Published : Together with Letters From Lewis Carroll to Eminent Nineteenth-Century Logicians and to His "Logical Sister," and Eight Versions Of.Lewis Carroll & William Warren Bartley - 1977
     
    Export citation  
     
    Bookmark  
  8.  58
    Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW]Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  17
    Gödel '96 Logical Foundations of Mathematics, Computer Science and Physics Kurt GÖdel's Legacy.Petr Hájek & Jiří Zlatuška - 1996 - Bulletin of Symbolic Logic 2 (4):473-473.
  10. Foundations of Logic and Mathematics.Ernest Bloomfield Zeisler - 1955 - Chicago: A.J. Isaacs.
  11. Compound Statements and Mathematical Logic.Vincent E. Cangelosi - 1967 - Columbus, Ohio, C.E. Merrill Books.
  12.  4
    Mathematical Logic and Hilbert's & Symbol.A. C. Leisenring - 1969 - London: Macdonald Technical & Scientific.
  13. Symbolic Logic, Method and Development.Henry Bradford Smith - 1927 - New York: F. S. Crofts & Co..
  14.  6
    Logic in Elementary Mathematics.Robert M. Exner - 1959 - New York: Mcgraw-Hill.
    "This accessible, applications-related introductory treatment explores some of the structure of modern symbolic logic useful in the exposition of elementary mathematics. Topics include axiomatic structure and the relation of theory to interpretation. No prior training in logic is necessary, and numerous examples and exercises aid in the mastery of the language of logic. 1959 edition"--.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Philosophical and Mathematical Correspondence. [REVIEW]A. Reix - 1982 - Revue Philosophique de la France Et de l'Etranger 172 (1):64-64.
     
    Export citation  
     
    Bookmark   167 citations  
  16.  1
    Language, Logic and Mathematics.Cliff W. Kilmister - 1967 - New York: Barnes & Noble.
  17. Logical Foundations of Mathematics for Behavioral Scientists [by] Abraham S. Luchins [and] Edith H. Luchins. --.Abraham S. Luchins - 1965 - Holt, Rinehart and Winston.
  18.  13
    Kolmogorov and mathematical logic.Vladimir A. Uspensky - 1992 - Journal of Symbolic Logic 57 (2):385-412.
  19.  38
    Logic, Methodology and Philosophy of Science.Patrick Suppes (ed.) - 1963 - New York: American Elsevier Pub. Co..
    ELEMENTARY LOGIC GR. C. MOISIL Institute of Mathematics, Rumanian Academy, Bucharest, Rumania 1. We shall consider a typified logic of propositions. ...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  20. The Theory of Probability: An Inquiry Into the Logical and Mathematical Foundations of the Calculus of Probability.Hans Reichenbach - 1949 - Berkeley: University of California Press.
    We must restrict to mere probability not only statements of comparatively great uncertainty, like predictions about the weather, where we would cautiously ...
    Direct download  
     
    Export citation  
     
    Bookmark   217 citations  
  21. Logic and mathematics in the seventeenth century. History and Philosophy of Logic, vol. 31.Massimo Mugnai - 2011 - Bulletin of Symbolic Logic 17 (2):270-271.
     
    Export citation  
     
    Bookmark  
  22.  7
    Aristotelian and Mathematical Logic.Johannes Bendiek - 1951 - Journal of Symbolic Logic 16 (2):149-149.
  23.  96
    Constructibility and Mathematical Existence.Charles S. Chihara - 1990 - Oxford, England: Oxford University Press.
    This book is concerned with `the problem of existence in mathematics'. It develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things. It explores the philosophical implications of such an approach through an examination of the writings of Field, Burgess, Maddy, Kitcher, and others.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   101 citations  
  24. Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995.Andrea Cantini, Ettore Casari & Pierluigi Minari (eds.) - 1999 - Dordrecht, Netherland: Springer.
    The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offered a vivid and comprehensive picture of the present state of research in all directions of Logic and Philosophy of Science. The final program counted 51 invited lectures and around 700 contributed papers, distributed in 15 sections. Following the tradition of previous LMPS-meetings, some authors, whose papers aroused particular interest, were invited to submit their works for publication in a collection of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  41
    Joseph R. Shoenfield. Mathematical logic. Republication of JSL XL 234. Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2001, viii + 344 pp. [REVIEW]J. Donald Monk - 2001 - Bulletin of Symbolic Logic 7 (3):376-376.
  26.  48
    Wilfried Buchholz. Notation systems for infinitary derivations_. Archive for mathematical logic, vol. 30 no. 5–6 (1991), pp. 277–296. - Wilfried Buchholz. _Explaining Gentzen's consistency proof within infinitary proof theory_. Computational logic and proof theory, 5th Kurt Gödel colloquium, KGC '97, Vienna, Austria, August 25–29, 1997, Proceedings, edited by Georg Gottlob, Alexander Leitsch, and Daniele Mundici, Lecture notes in computer science, vol. 1289, Springer, Berlin, Heidelberg, New York, etc., 1997, pp. 4–17. - Sergei Tupailo. _Finitary reductions for local predicativity, I: recursively regular ordinals. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Háajek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., etc., 2000, pp. 465–499. [REVIEW]Toshiyasu Arai - 2002 - Bulletin of Symbolic Logic 8 (3):437-439.
  27. Internal Logic Foundations of Mathematics From Kronecker to Hilbert.Yvon Gauthier - 2002
  28. Paul C. Gilmore. Logicism renewed: logical foundations for mathematics and computer science. Lecture Notes in Logic, vol. 23. Association for Symbolic Logic / A K Peters, Ltd., Wellesley, Massachusetts, 2005, xvii + 230 pp.P. C. Gilmore & James H. Andrews - 2007 - Bulletin of Symbolic Logic 13 (1):104-105.
  29.  21
    Logic, Methodology and Philosophy of Science.Ernest Nagel (ed.) - 1962 - Stanford, Calif., Stanford University Press.
  30.  2
    The Theory of Probability an Inquiry Into the Logical and Mathematical Foundations of the Calculus of Probability.Hans Reichenbach - 1949 - Berkeley, CA, USA: University of California Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  31.  9
    Foundations of Logic and Mathematics.M. Kokoszyńska - 1939 - Journal of Symbolic Logic 4 (3):117-118.
    Direct download  
     
    Export citation  
     
    Bookmark   32 citations  
  32. Proofs and Refutations: The Logic of Mathematical Discovery.Imre Lakatos (ed.) - 1976 - Cambridge and London: Cambridge University Press.
    Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion (which mirrors certain real developments in the history of mathematics) raises some philosophical problems and some problems about the nature of mathematical discovery or (...)
  33.  49
    Logic and Philosophy of Mathematics in the Early Husserl.Stefania Centrone - 2009 - Dordrecht, Netherland: Springer.
    This volume will be of particular interest to researchers working in the history, and in the philosophy, of logic and mathematics, and more generally, to ...
  34.  23
    Stewart Shapiro. Second-order languages and mathematical practice. The journal of symbolic logic, vol. 50 , pp. 714–742. [REVIEW]Geoffrey Hellman - 1989 - Journal of Symbolic Logic 54 (1):291-293.
  35. Two Papers on Symbolic Logic Form and Content in Quantification Theory and Reductions in the Theory of Types.Jaakko Hintikka - 1955 - [Suomalaisen Kirjallisuuden Seuran Kirjapainon,].
     
    Export citation  
     
    Bookmark  
  36.  6
    Logic, Methodology and Philosophy of Science: Proceedings of the 1964 International Congress.Yehoshua Bar-Hillel (ed.) - 1965 - Amsterdam: North-Holland Pub. Co..
  37.  34
    Philosophical Grammar: Part I, the Proposition, and its Sense, Part Ii, on Logic and Mathematics.Ludwig Wittgenstein - 1974 - Oxford, England: University of California Press.
    i How can one talk about 'understanding' and 'not understanding' a proposition? Surely it is not a proposition until it's understood ? ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  38.  56
    Logic, Meaning and Computation: Essays in Memory of Alonzo Church.Alonzo Church, C. Anthony Anderson & Michael Zelëny (eds.) - 2001 - Dordrecht, Netherland: Kluwer Academic Publishers.
    This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound fundamental significance in those areas. The volume will be of interest to logicians, computer (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  39.  3
    Logic, Computers, and Sets.Hao Wang - 1962 - New York: Chelsea Pub. Co..
  40. Logic, Methodology, and Philosophy of Science Proceedings.Ernest Nagel & International Union of the History and Philosophy of Science - 1962 - Stanford University Press.
  41.  3
    Essays in the Philosophy and History of Logic and Mathematics.Roman Murawski (ed.) - 2010 - Rodopi.
    The book is a collection of the author’s selected works in the philosophy and history of logic and mathematics. Papers in Part I include both general surveys of contemporary philosophy of mathematics as well as studies devoted to specialized topics, like Cantor's philosophy of set theory, the Church thesis and its epistemological status, the history of the philosophical background of the concept of number, the structuralist epistemology of mathematics and the phenomenological philosophy of mathematics. Part II contains essays in the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  97
    19th century logic between philosophy and mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
    The history of modern logic is usually written as the history of mathematical or, more general, symbolic logic. As such it was created by mathematicians. Not regarding its anticipations in Scholastic logic and in the rationalistic era, its continuous development began with George Boole's The Mathematical Analysis of Logic of 1847, and it became a mathematical subdiscipline in the early 20th century. This style of presentation cuts off one eminent line of development, the philosophical development of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  43. Logic Colloquium '80 Papers Intended for the European Summer Meeting of the Association for Symbolic Logic.D. van Dalen, Daniel Lascar, T. J. Smiley & Association for Symbolic Logic - 1982
  44. Logic, Methodology, and Philosophy Proceedings.Yehoshua Bar-Hillel, Jerusalem, Akademyah Ha-le Umit Ha-Yi Sre Elit le-Mada Im & International Union of the History and Philosophy of Science - 1965 - North-Holland Pub. Co.
  45. Introduction to Symbolic Logic and its Applications.Rudolf Carnap - 1958 - New York: Dover Publications.
    Clear, comprehensive, intermediate introduction to logical languages, applications of symbolic logic to physics, mathematics, biology.
  46.  39
    The Theory of Probability. An Inquiry into the Logical and Mathematical Foundations of the Calculus of Probability. [REVIEW]Ernest Nagel - 1950 - Journal of Philosophy 47 (19):551-555.
  47. Logic and Combinatorics Proceedings of the Ams-Ims-Siam Joint Summer Research Conference Held August 4-10, 1985.Stephen G. Simpson, American Mathematical Society, Institute of Mathematical Statistics & Society for Industrial and Applied Mathematics - 1987
     
    Export citation  
     
    Bookmark  
  48.  1
    Logic, Methodology and Philosophy of Science: Proceedings.Patrick Suppes - 1973 - North-Holland.
  49.  38
    An Investigation of the Laws of Thought: On Which Are Founded the Mathematical Theories of Logic and Probabilities.George Boole - 1951 - London, England: Cambridge University Press.
    Self-taught mathematician and father of Boolean algebra, George Boole (1815-1864) published An Investigation of the Laws of Thought in 1854. In this highly original investigation of the fundamental laws of human reasoning, a sequel to ideas he had explored in earlier writings, Boole uses the symbolic language of mathematics to establish a method to examine the nature of the human mind using logic and the theory of probabilities. Boole considers language not just as a mode of expression, but as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   115 citations  
  50.  1
    Proceedings of the Fifth International Congress of Logic, Methodology, and Philosophy of Science, London, Ontario, Canada, 1975: Logic, Foundations of Mathematics, and Computability Theory.Robert E. Butts & Jaakko Hintikka - 1977
1 — 50 / 1000