• mosesquine
    95
    There are 18 options.
    Let's discuss the most important logician in all times.
    1. Who is the most important logician in all times? (12 votes)
        Aristotle
        33%
        Rene Descartes
          0%
        Spinoza
          0%
        G. W. Leibniz
          0%
        George Boole
          0%
        C. S. Peirce
        17%
        Gottlob Frege
        33%
        Bertrand Russell
          0%
        Frank Ramsey
          0%
        Kurt Gödel
        17%
        Rudolf Carnap
          0%
        Alfred Tarski
          0%
        George Boolos
          0%
        Richard Montague
          0%
        W. V. Quine
          0%
        David Lewis
          0%
        Saul Kripke
          0%
        Graham Priest
          0%
  • m-theory
    1.1k
    I was torn between Boole and Godel.
  • MindForged
    731
    It's obviously Frege in my opinion. Most logicians (so far as I can tell) agree that modern mathematical logic was a huge improvement on Aristotle's logic. Boole is clearly important too, but Frege's creation of Classical Logic is hard to top, and it was Frege's development of First-Order Predicate Logic that really got mathematical logic going (correct me if I'm wrong).

    Although, I wish I could have voted for Priest as well, as he's a bit of a rock star of sorts lately, and wrote perhaps the standard intro text to Non-Classical Logics. I've found him to be quite insightful on logic generally, especially on questions such as how we decide what logics to work with.
  • aletheist
    1.5k
    ... Frege's creation of Classical Logic is hard to top, and it was Frege's development of First-Order Predicate Logic that really got mathematical logic going (correct me if I'm wrong).MindForged

    Peirce independently and contemporaneously achieved the same thing - the introduction of quantifiers and bound variables. He wrote voluminously about the logic of inquiry, including abduction/retroduction and induction as well as deduction. He also was a pioneer in three-valued logic and greatly advanced diagrammatic systems of logic, although these contributions are not as well-recognized.
  • MindForged
    731
    Peirce independently and contemporaneously achieved the same thing - the introduction of quantifiers and bound variables.

    Well, several years after Frege if you want to get technical (1879 or 80, IIRC).

    But while Pierce had better contemporary acknowledgements and influence (poor Frege), I think in the long run it was Frege who had more influence on logic. Like, his (and to a lesser extent, Dedekind's) Logicist program held a lot of sway in philosophy, maths & logic, at least until Gödel's work on incompleteness (although it still has some support, though perhaps no much). A lot of Russell's work was tailored in that direction, after all.
  • Becky
    45
    Imhotep
  • Antinatalist
    153
    According to my own limited knowledge, I would say Kurt Gödel.
bold
italic
underline
strike
code
quote
ulist
image
url
mention
reveal
youtube
tweet
Add a Comment