Mathematical logic

Cambridge,: Harvard University Press (1951)
  Copy   BIBTEX

Abstract

INTRODUCTION MATHEMATICAL logic differs from the traditional formal logic so markedly in method, and so far surpasses it in power and subtlety, ...

Categories

Keywords

Reprint years

1962, 1981

Call number

BC135.Q48 1951

ISBN(s)

0674554507   0674554515   9780674042469   1258187809   1258082241

DOI

10.4159/9780674042469
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Introduction

1. Conjunction, Alternation, and Denial

2. The Conditional

3. Iterated Composition

4. Use versus Mention

5. Statements about Statements

6. Quasi-Quotation

7. Parentheses and Dots

8. Reduction to Three Primitives

9. Reduction to One Primitive

10. Tautology

11. Selected Tautologous Forms

12. The Quantifier

13. Formulae

14. Bondage, Freedom, Closure

15. Axioms of Quantification

16. Theorems

17. Metatheorems

18. Substitutivity of the Biconditional

19. Existential Quantification

20. Distribution of Quantifiers

21. Alphabetic Variance

22. Class and Member

23. Logical Formulae

24. Abstraction

25. Identity

26. Abstraction Resumed

27. Descriptions and Names

28. Stratification

29. Further Axioms of Membership

30. Substitutivity of Identity

31. Substitution for Variables

32. Further Consequences

33. Logical Product, Sum, Complement

34. Inclusion

35. Unit Classes

36. Pairs and Relations

37. Abstraction of Relations

38. Converse, Image, Relative Product

39. The Ancestral

40. Functions

41. Abstraction of Functions

42. Identity and Membership as Relations

43. Zero, One, Successor

44. Natural Numbers

45. Counter Sets

46. Finite and Infinite

47. Powers of Relations

48. Arithmetical Sum, Product, Power

49. Familiar Identities of Arithmetic

50. Ratios

51. Real Numbers

52. Further Extensions

53. Formality

54. The Syntactical Primitive

55. Protosyntax

56. Formula and Matrix Defined

57. Axioms of Quantification Defined

58. Theorem Defined

59. Protosyntax Self-Applied

60. Incompleteness

APPENDIX. Theorem versus Metatheorem

List of Definitions

List of Theorems and Metatheorems

Bibliographical References

Index of Proper Names

Index of Subjects

Similar books and articles

Dictionary of symbols of mathematical logic.Robert Feys (ed.) - 1969 - Amsterdam,: North-Holland Pub. Co..
From Peirce to Skolem: a neglected chapter in the history of logic.Geraldine Brady - 2000 - New York: North-Holland/Elsevier Science BV.
Mathematical logic: a first course.Joel W. Robbin - 1969 - Mineola, N.Y.: Dover Publications.
19th century logic between philosophy and mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
Popular lectures on mathematical logic.Hao Wang - 1981 - New York: Dover Publications.
Thought and logic: the debates between German-speaking philosophers and symbolic logicians at the turn of the 20th century.Jarmo Pulkkinen - 2005 - New York: P. Lang.
Principles of mathematical logic.David Hilbert - 1950 - Providence, R.I.: AMS Chelsea. Edited by W. Ackermann & Robert E. Luce.
The two-valued iterative systems of mathematical logic.Emil Leon Post - 1941 - London,: H. Milford, Oxford university press.
What is mathematical logic?John Newsome Crossley (ed.) - 1972 - New York: Dover Publications.
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.

Analytics

Added to PP
2009-09-15

Downloads
144 (#125,931)

6 months
12 (#198,566)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Names Are Predicates.Delia Graff Fara - 2015 - Philosophical Review 124 (1):59-117.
Coreference and meaning.N. Ángel Pinillos - 2011 - Philosophical Studies 154 (2):301 - 324.

View all 146 citations / Add more citations

References found in this work

No references found.

Add more references