Self Study Mathematical Logic

Поделиться
HTML-код
  • Опубликовано: 13 дек 2024

Комментарии • 84

  • @mkwarlock
    @mkwarlock 10 месяцев назад +40

    Mathematical logic has always been one of my favorite areas, and this seems like an awesome book. Keep up the good work, Mr. Math Sorcerer!

  • @douglasstrother6584
    @douglasstrother6584 10 месяцев назад +18

    Back in the day, I used "Logic and Philosophy: A Modern Introduction" (4th ed.) (it's now in it's 13th) by Howard Kahane.
    The first half covers the mechanics of Symbolic Logic and the second half cover applications to Science and Philosophy.

    • @sir_albaxious1909
      @sir_albaxious1909 10 месяцев назад +1

      Will get that book if it has what you said it has!

    • @douglasstrother6584
      @douglasstrother6584 10 месяцев назад

      @@sir_albaxious1909 A used copy shouldn't cost too much.

  • @henrikswedish378
    @henrikswedish378 10 месяцев назад +6

    I had, still have it, the book, for the first semester in Philosophy, Uppsala University, spring 1987. It is a great book.

  • @OrdenJust
    @OrdenJust 10 месяцев назад +7

    Interesting that the Math Sorceror mentions Halmos. Some years ago, "I read I Want to Be a Mathematician: An Automathography in Three Parts" by Paul R. Halmos. One of the things that made me pause was that although Paul Hamos himself made contributions in mathematical logic, he seemed to be somewhat diffident about the endeavor. Not sure I can put my finger on his uneasiness with it. He seemed almost apologetic about it. (My memory though may be foggy here, and in any case, Halmos mentioned it in only a few sentences.)
    At some point, the study of logic becomes less about mathematics and more about philosophy, IMHO. While we are on the topic, I really liked Susan Haack's Philosophy of Logics. (It is a philosophical question whether there is just One Logic, or whether there are multiple logics!)

  • @johnwickham
    @johnwickham 10 месяцев назад +10

    Awesome, I just found a modern print of this book on Amazon. Used for only $2 (!). Thanks Sorcerer

  • @jonathanhantke6314
    @jonathanhantke6314 10 месяцев назад +2

    That looks like the exact book I had when I took the course in 1969! Just 3-4 days ago I was talking to my wife about classes I enjoyed in undergraduate work and that was one that I actually remembered the content and the teacher. The course name was The Philosophy of Logic.

  • @boogerie
    @boogerie 10 месяцев назад +2

    I studied logic using Howard Pospesel's books on Propositional Logic and Predicate Logic. Good books but the author introduces "dependency lists" in the second book and makes it a lot more trouble than it's worth. Also the instructor introduced us to "truth trees"which he felt rendered truth tables redundant

  • @gopalparam6401
    @gopalparam6401 10 месяцев назад

    Thank you Mr. Math Sorcerer for your thoughtful comments on learning "Logic" on your own. This book is still available in Dover edition and the same author has also written a book on "Set Theory", which is mentioned by none other than Paul Halmos. Cheers!

  • @zowqfn4412
    @zowqfn4412 10 месяцев назад +7

    Woww, really interesting book, I'm 17 years old and I'm actually taking a mathematical logic course in my first computer engineering semester as a freshman college student, and it seems really mysterious for me, but also really interesting and it kinda seems like the magical mathematical secrets I dont know yet but I'm curious about 🧐

  • @whitb62
    @whitb62 10 месяцев назад +8

    "A philosopher who has nothing to do with geometry is only half a philosopher, and a mathematician with no element of philosophy in him is only half a mathematician. These disciplines have estranged themselves from one another to the detriment of both." -Frege
    It shouldn't be surprising that a book on logic would be written by a philosophy professor. You have to have a logic course in most colleges to graduate with a degree in philosophy and most schools offer a practical reasoning/symbolic logic course taught by the philosophy department. Logic was started by Aristotle and has remained a pillar of philosophy ever since. Frege, Gödel, and Russell were the main pioneers of mathematical logic and all were deeply involved with philosophy. Analytic philosophy is essentially nothing but formal logic.

    • @Logic101-PhiUoa
      @Logic101-PhiUoa 6 месяцев назад +1

      spot on

    • @SeanAnthony-j7f
      @SeanAnthony-j7f 6 месяцев назад

      If you guys wanted historical sound bites. Aristotle logic from his Organon:
      Law of excluded middle and double negation elimination
      Law of noncontradiction, and the principle of explosion
      Monotonicity of entailment and idempotency of entailment
      Commutativity of conjunction
      De Morgan duality: every logical operator is dual to another.
      Are precursors to modern and formal logic. His Law of noncontradiction that there should be no both true and false, Law of excluded middle logical reasoning entailed that there is NO middle ground; therefore no either/or or both true or false. It should be in fact either true or false. These are taken-for-granted in the modern logical world. Surprisingly, studying classical logic: Aristotle Organon and the commentaries by scholastic philosophers and Islamic philosophers about his logical treatise would not harm you if you wanted to take courses in analytic philosophy and mathematical logic. Well, of course in moderation. You will also need to take a formal mathematics class which is not going to be much harder if you are already enthusiastic in logic.

  • @muzzletov
    @muzzletov 10 месяцев назад +3

    Please make a model theory book review. Ever since I had that course, looking for books on the subject, I felt like the course was way better designed than any book ive come a cross so far.

  • @muchomacho2504
    @muchomacho2504 10 месяцев назад

    I took a course in Boolean Algebra to optimize digital circuits through truth tables. A classmate wondered why it was taught in the 19th century before the invention of computers. I conjectured it was useful in philosophy as part of the study of formal logic.

  • @philpollack8140
    @philpollack8140 10 месяцев назад +1

    I love the enthusiasm of your book discussions. But, in this case, I consider this book about Logic per se, but not about Mathematical Logic (the logical study of mathematical systems), as you imply in your title and also when talking about the deer's presumed interest (nice touch by the way!). The same series by Van Nostrand includes Introduction to Mathematical Logic by Elliott Mendelson (1966), my textbook in 1967 for Mathematical Logic (in the Mathematics Department). Many college Logic courses are in fact offered in their Philosophy Departments, so no surprise that Suppes is a philosopher. (Also, "Suppes" pronunciation is two syllables.)

  • @orang1921
    @orang1921 10 месяцев назад +1

    Looking to get a better (and, since the book is old, hopefully more rigorous) understanding of mathematical logic before starting college. Purchased this book along with a few others. I see that the book link is an affiliate link, so hopefully I was able to support you too in the process.

  • @martinhawrylkiewicz2025
    @martinhawrylkiewicz2025 10 месяцев назад +2

    Great book. I have both this book snd his other Axiomatic Set Theory by Suppes, but in soft cover. Halmos is my hero!

  • @jimb6554
    @jimb6554 10 месяцев назад

    Thank you, Math Wizard, for responding to my request. In another video, I commented that I wondered if you made a video on Aristotelian/Philosophical Logic & Euclid's Elements. Two days later, you made a video on Logic.

  • @physicsg33k
    @physicsg33k 10 месяцев назад +1

    Dr. Van Nostrand, Julliard trained physician and surgeon. Jokes aside. Thanks, I ordered a copy. Love, love, love your channel.

    • @BennettAustin7
      @BennettAustin7 10 месяцев назад +1

      I heard that dr von nostrand has seen moles that have their own moles

  • @orang1921
    @orang1921 10 месяцев назад

    0:29
    It seems like Cosmo Kramer, Dr. Van Nostrand, may have written this book.

  • @Matt-jc5zm
    @Matt-jc5zm 10 месяцев назад

    As a philosophy major, I can share the second original name of philosophy was natural science. It was different from knowledge of the heavens.
    Natural philosophy included topics such as biology, chemistry, physics, mathematics, politics, ethic, etc.

  • @charlessmyth
    @charlessmyth 10 месяцев назад +3

    Clean book for one that was produced a month after I went into production. :-)

  • @t0wbo2t
    @t0wbo2t 8 месяцев назад +1

    Could you review "Mathematical Logic" by Jospeh R. Shoenfield ?
    I currently reading your recommended book "Principles of Logic" by Alex C. Michalos and it's great.
    I am thinking of reading "Mathematical Logic" next.

  • @bhz8947
    @bhz8947 10 месяцев назад +3

    I’m surprised that you’re surprised that a logic book would be written by a philosopher!

    • @scottthomas7876
      @scottthomas7876 10 месяцев назад

      Indeed. How does a professor not know that logic is a part of philosophy? Mathematics departments and philosophy departments have quite a few famous people who have been part of both. IIRC, Russell, Church, Kleene are three examples.

    • @theelectricant98
      @theelectricant98 10 месяцев назад

      ​@@scottthomas7876probably just because of the particular textbooks his classes in the math dept used, though surely those math professors were influenced by philosophers

  • @UnconventionalReasoning
    @UnconventionalReasoning 10 месяцев назад

    Cool book, thanks for the introduction to it!

  • @pinedelgado4743
    @pinedelgado4743 10 месяцев назад +4

    I have it as a Dover reprint!!!! 😊

  • @postyoda
    @postyoda 10 месяцев назад +4

    I think Suppes is pronounced differently. I'm not sure but I think I've heard it pronounced something like "Soupies".

    • @OrdenJust
      @OrdenJust 10 месяцев назад +2

      Yes. According to his obituary in the New York Times (Dec. 3, 2014): "Suppes (pronounced SUE-peas) ...."

    • @WFHermans
      @WFHermans 10 месяцев назад

      @@OrdenJust (/ˈsuːpiːz/ you are correct!

    • @OrdenJust
      @OrdenJust 10 месяцев назад

      @@WFHermansThank you, but credit goes to @postyoda and the New York Times! :)

  • @samuelmelo483
    @samuelmelo483 10 месяцев назад

    You are like one of those friends I'd love to have in person. A warm greeting from Finland sorcerer...

  • @Nafeej-no2un
    @Nafeej-no2un 10 месяцев назад +3

    Sir can you make videos on conic sections including ellipse, parabola and hyperbola and their applications related math and practice book for self study. Please sir

  • @concertautist4474
    @concertautist4474 10 месяцев назад

    I'm struggling with basic algebra at the moment. My gut tells me one rule and then I second guess myself and end up applying another interpretation of the equation. I need to source a book with lots of worked examples and practice questions.

  • @headlibrarian1996
    @headlibrarian1996 10 месяцев назад

    Agustín Rayo was a philosophy professor too, so this author isn't entirely surprising.

  • @genghisgalahad8465
    @genghisgalahad8465 10 месяцев назад

    Fantastic Find, Math Sorcerer!! 🎉 As Finn from Adventure Time would say, Mathematical!! And the affiliate link as well to Basic Physics is on point!! 🎉 🛡🗡🐕 🌌 🧠 ✨️🧮🧙‍♂️

  • @crnojaje9288
    @crnojaje9288 10 месяцев назад +6

    There is a Dover publication reprint of this book

    • @TheMathSorcerer
      @TheMathSorcerer  10 месяцев назад +3

      Thanks, I put a link in the description to it.

    • @crnojaje9288
      @crnojaje9288 10 месяцев назад +1

      ​@@TheMathSorcerer No problem. Glad I could help

    • @lesonyrra
      @lesonyrra 10 месяцев назад

      Beat me to it! :^)

  • @xylh5085
    @xylh5085 10 месяцев назад +1

    I gotta get back into logic and rhetoric. I wanna find a way to be efficient in my argumentation and develop more clarity in my writing. Also, the people who don't get a good smell of old books are the weirdos :p

  • @martinhawrylkiewicz2025
    @martinhawrylkiewicz2025 10 месяцев назад +1

    Great vid! I would also highly recommend studying first 2 or 3 chapters in Discrete Mathematics by Susanna Epp on Logic. Superbly written with many great examples and awesome exercises.

  • @BennettAustin7
    @BennettAustin7 10 месяцев назад +2

    I think all logic books should at least be edited by philosophers

    • @SeanAnthony-j7f
      @SeanAnthony-j7f 6 месяцев назад

      Scholastic philosophers to contemporary, always studied logic. It is not surprising at all.

  • @billtruttschel
    @billtruttschel 10 месяцев назад

    FYI, the author, Patrick Suppes, has a wikipedia page.

  • @GenXican84
    @GenXican84 10 месяцев назад

    I'm the opposite..I like the fields of Intuition-ing, Sentimentalism and Outrage..My Emotional I.Q. is..Yes.

  • @Dark_Souls_3
    @Dark_Souls_3 10 месяцев назад +1

    I have been working through Velleman’s how to prove it so I get my proofs fix. I graduated in chem E so I didn’t get past matrix algebra and diff eq, but I’ve been really interested in abstract algebra lately. Do you have past videos recommending a particular book for group/ring/field theory? Any categories of math I should study before committing myself to more than RUclips videos on modern algebra?

    • @CalBruin
      @CalBruin 10 месяцев назад

      Bridge to Abstract Mathematics: Mathematical Proof and Structures by Ronald P. Morash
      is far better for learning how to do proofs

    • @CalBruin
      @CalBruin 10 месяцев назад

      For Algebra (covering group, rings, fields) is Artin's Algebra -- 1st edition I think is better than 2nd edition.
      Other favorites include Dummit & Footer, Farleigh, and Lang's Graduate Algebra

  • @Edward-zw9ld
    @Edward-zw9ld 10 месяцев назад

    great vid, kudos

  • @willrose5424
    @willrose5424 10 месяцев назад

    We live on a giant volcanic rock filled with an enormous amount of water that rotates constantly. The atmosphere is filled with lightning while a giant star, which is millions of miles away, called the sun, keeps everyone from freezing. While small germs and wildlife wants to eat us. 😂⛳️🕳

  • @theelectricant98
    @theelectricant98 10 месяцев назад

    I wish I made a better effort in my undergraduate Philosophy of Logic class, it's the only philosophy class I didnt excel in and it's because i didn't put in the time

  • @NoDrizzy630
    @NoDrizzy630 10 месяцев назад

    I have a logic course coming up so this book would be great for me.

  • @memlagu
    @memlagu 9 месяцев назад

    Dover has it under $12 on Amazon.

  • @dragglewaffle6742
    @dragglewaffle6742 10 месяцев назад

    Any chance you could pick up the mir book on logic, tried reading it (as a math undergrad) but really struggled with it

  • @shellyreynolds8948
    @shellyreynolds8948 10 месяцев назад

    Keep smelling books! There is magic right there within those scents.

  • @HasturYellowSign
    @HasturYellowSign 10 месяцев назад

    There’s a Dover Reprint

  • @metatron4890
    @metatron4890 6 месяцев назад

    What logic book do you recommend for studying logic as a beginner?

  • @BC-2
    @BC-2 10 месяцев назад

    I can't get past 0^0....nothing to a nothing power, and by works of wizardry, you have something. What's logical about that?? Nothing.

  • @emerzongonzalez2585
    @emerzongonzalez2585 10 месяцев назад

    Is there a specific textbook you recommended for reviewing college algebra? I’m going back to college this coming fall after a 2 1/2 year break. I last completed trigonometry and was heading into calculus 1.

  • @douglasstrother6584
    @douglasstrother6584 10 месяцев назад +1

    "Data Deer" approves.

  • @omaralsakit9057
    @omaralsakit9057 10 месяцев назад +1

    I’m a beginner can I study this book ?

  • @seamusmoran4776
    @seamusmoran4776 10 месяцев назад

    Smelling books is bad for you???
    Also thank you for your content as always Dan, makes my Saturdays here at the office much better.

  • @ssmith5048
    @ssmith5048 10 месяцев назад

    Bambi wants Logic.

  • @matthewthompson6455
    @matthewthompson6455 10 месяцев назад

    beautiful logic deer

  • @SeanAnthony-j7f
    @SeanAnthony-j7f 7 месяцев назад

    Set theory pls!

  • @jimbobago
    @jimbobago 10 месяцев назад

    I found a 1958 edition as a PDF.

    • @taufeeqimran4062
      @taufeeqimran4062 10 месяцев назад

      Good
      Please can you send the pdf of the book? Thanks

    • @jimbobago
      @jimbobago 10 месяцев назад

      @@taufeeqimran4062 You can google the name of the book and get the pdf.

  • @sverrirjensson9772
    @sverrirjensson9772 10 месяцев назад

    This book exist in Dover edition.

  • @kaiservenom270
    @kaiservenom270 9 месяцев назад

    Math Sorcerers need their moldy page smell to function.

  • @RobertMarcelo-q2v
    @RobertMarcelo-q2v 10 месяцев назад +1

    Hello, I really want to learn more about mathematics. If it is possible, can someone who is passionate about reading mathematics books and theories contact me? Whoever just wants to help me with advice and provide some books that I can start with as a beginner, thank you.
    Your friend from the African continent.❤

  • @vegnewb
    @vegnewb 10 месяцев назад

    I took a course in Logic but it was taught by a Philosophy professor and there was not a single formula, or anything mathematical. It was about arguments and logical fallacies. So, for me, logic is unrelated to math.

  • @terencemeikle534
    @terencemeikle534 10 месяцев назад

    Has there ever been a higher premium on logical thinking than right now, in our 'post-truth' world❔️

    • @rusi6219
      @rusi6219 10 месяцев назад +1

      Is this a joke

  • @johnryskamp2943
    @johnryskamp2943 10 месяцев назад

    Until you read
    A. Garciadiego, Bertrand Russell and the Origins of the Set-theoretic 'Paradoxes'
    you will not understand anything about logic or math. Period. Don't be a clown. Just do it.

  • @gord01100
    @gord01100 10 месяцев назад

    Just what I needed :D