Proofs in Symbolic Logic | Attic Philosophy

แชร์
ฝัง
  • เผยแพร่เมื่อ 10 ม.ค. 2025

ความคิดเห็น •

  • @aaronwamser3858
    @aaronwamser3858 10 หลายเดือนก่อน +1

    This video is absolutely awesome! You helped me a lot to wrap my head around why we are even doing natural deduction in Logic. Thanks!

  • @donghoshin3460
    @donghoshin3460 2 ปีที่แล้ว +1

    have meta logic exam in 1 week. your videos are really helpful. thank you

  • @parwizibrahimi5150
    @parwizibrahimi5150 ปีที่แล้ว +3

    I have AI exam in a week. You are a lifesaver.

  • @Mustafa-Mmdoh
    @Mustafa-Mmdoh ปีที่แล้ว +1

    sir , I have been reading a book called an introduction to formal logic and when it came to this part I couldnt get it at all
    I think I should thank u for ur amazing calrification , and I am happy people like u exist on our miserable earth ❤❤❤❤❤❤❤keep it up SIR

  • @Stoneman999
    @Stoneman999 11 หลายเดือนก่อน +2

    Hey, great video. But for future reference it would be nice if you didn't use a font that was so difficult to read for us non-native speakers. Thank you!

  • @zachjones6944
    @zachjones6944 3 ปีที่แล้ว +5

    Thank you so much. Our text book is very confusing. I thought that I would be up to the challenge of symbolic logic given my background in electrical theory and coding but no!

    • @AtticPhilosophy
      @AtticPhilosophy  3 ปีที่แล้ว

      You can definitely think of logic proofs as algorithms! Have you come across functional programming? Natural deduction proofs are essentially programs in a functional language. The other great way to approach logic from your background is through logic gates.

    • @Alex-bc3tt
      @Alex-bc3tt 2 ปีที่แล้ว +2

      We on the same boat I thought I was gonna cruise on this module being a software engineer with strong background in coding and electrical theory but it confused me... I am finding this channel a week before my exam and suddenly the whole semester is making sense 🤣🤣🤣🤣

    • @AtticPhilosophy
      @AtticPhilosophy  2 ปีที่แล้ว +1

      @@Alex-bc3tt That's great to hear, glad you found the channel in time!

    • @bigploppa154
      @bigploppa154 ปีที่แล้ว

      @@Alex-bc3tt unfortunately i just found the channel 50 minutes before my midterm

  • @sigurdfjeldhalvorsen1989
    @sigurdfjeldhalvorsen1989 4 ปีที่แล้ว +3

    Good video.

  • @BZRT013
    @BZRT013 2 หลายเดือนก่อน

    Might actually make it through symbolic logic after all…

  • @Thetimpson
    @Thetimpson 20 วันที่ผ่านมา

    22/12

  • @colonelradec5956
    @colonelradec5956 10 หลายเดือนก่อน

    I will say though there is a kink in the armor of logical deduction. Im great at it.. however a commentor made me realize there is a connection between that and mental gymnastics. If your not careful and honest with yourself as you do it, its possible to fill in the numbers like a sudoko and miss some or? Purposefully gloss over some.
    To me logical deduction is like a sudoku. If one number is off the whole thing can be off. Especially in really big esoteric ideas. Because you could be missing numbers you didnt even notice existed or spaces. Or possibly think ill get back to this space where its not fully clear to me.
    Like you make some pretty big wronf assumptions. The more complex something is the room for error.
    That said ideally logical deduction your proving it to yourself the whole way. Like a sudoku. If that number is this then this has to be that. And so on.
    Not sure. But i think its a good idea to keep an open mind about the possibility that you can have a number wrong and have messed up the whole puzzle.
    The human mind is great at reasoning. So great sometimes it will fill gaps with nonsense is alls im saying 😂 maybe im wrong but?
    I had a smart uncle that said that to me one day lol. Said logic is just bs being circled around over and over till you believe it xD. He didnt say exactly that but maybe he was onto something.