What Is Mathematical Logic? A Survey

@inproceedings{Crossley2011WhatIM,
  title={What Is Mathematical Logic? A Survey},
  author={John Newsome Crossley},
  booktitle={Proof, Computation and Agency},
  year={2011}
}
What is mathematical logic? Mathematical logic is the application of mathematical techniques to logic. What is logic? I believe I am following the ancient Greek philosopher Aristotle when I say that logic is the (correct) rearranging of facts to find the information that we want. Logic has two aspects: formal and informal. In a sense logic belongs to everyone although we often accuse others of being illogical. Informal logic exists whenever we have a language. In particular Indian Logic has… CONTINUE READING
Recent Discussions
This paper has been referenced on Twitter 2 times over the past 90 days. VIEW TWEETS

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 22 references

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory

  • Kurt Gödel
  • 1940
Highly Influential
8 Excerpts

A New Introduction to Modal Logic

  • Maxwell John Cresswell, George Edward Hughes
  • Taylor & Francis Inc.,
  • 1996
2 Excerpts

Über einen die trigonometrischen Reihen betreffenden Lehrsatz

  • Georg Cantor
  • Handbook of mathematical logic
  • 1977

What is mathematical logic

  • John Newsome Crossley, Chris Brickhill, Christopher John Ash, John Colin Stillwell, Neil Hale Williams
  • Latest edition,
  • 1972

The collected papers of Gerhard Gentzen

  • Michael E.Szabo, editor
  • North-Holland Pub. Co., Amsterdam,
  • 1969
1 Excerpt

Similar Papers

Loading similar papers…