1. Logic Lecture: Symbolic Logic

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

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

  • @TheBigbossbon
    @TheBigbossbon 11 ปีที่แล้ว +21

    Im from the Philippines and you just educated someone from the other side of the world. This is a real teacher. Salute!!

  • @ecaepevolhturt
    @ecaepevolhturt 13 ปีที่แล้ว

    This is an example of raw intelligence; making the complex more mentally digestable. You are a good teacher!

  • @NathanEvans
    @NathanEvans 9 ปีที่แล้ว +9

    Man, this is excellent! I am a computer programmer and i have been looking for a good way to explain what exactly it is what I do.. how you are required to think to be an effective programer.. and efficient thinker.. this is amazing I've already shared this link. i know it's 5 years old but.. well done... well done. I am one of the lucky ones this is an innate ability of mine, in fact this is the best explanation of how my brain operates. Thanks.

    • @arcticheroh
      @arcticheroh 6 ปีที่แล้ว

      I am majoring in software engineering as of right now. One of the first courses during your general education years is "Introduction to logic" Logic is the perfect class since it teaches you about classes, subclasses and different ways to analyze arguments. It's an extrodianary class.

  • @Nirish1183
    @Nirish1183 13 ปีที่แล้ว

    Thank you so much, that was very helpful and clear. I wish my professor was that clear. 7 Minutes of your video was more helpful than 10 weeks of class.

  • @jreylbc1
    @jreylbc1 14 ปีที่แล้ว

    Great job! So many times I've seen these things explained in a complicated manner. Thanks for keeping it simple, to the point, and using meaningful examples.

  • @tylerkenefick
    @tylerkenefick 13 ปีที่แล้ว +1

    Thank you reading through my logic book my head was spinning, you've made this a lot clearer.

  • @MrAnthonyVance
    @MrAnthonyVance 13 ปีที่แล้ว

    Ahhhh, yes, Logical Truth Sets -- I remember them from a math course I took many years back in college. Your lectures are always enriched by your visual displays. Your teaching is always very clear to me. Take a bow, Professor. You deserve applause!

  • @RicoNuko
    @RicoNuko 12 ปีที่แล้ว

    Exactly what I was looking for, this is the best video on TH-cam regarding the rules of inference in symbolic logic.

  • @rparede1
    @rparede1 13 ปีที่แล้ว

    This video is an example of what my professor should be doing. Thank you so much!

  • @wcsxwcsx
    @wcsxwcsx 11 ปีที่แล้ว

    I've just discovered this and I'm thinking about watching the series. Maybe you talked a bit fast, but in general your presentation style is excellent. Of crucial importance, you did it by writing on a whiteboard instead of using Powerpoint. This gives our brains time to absorb what you're putting out. That's how we non computer-geeks need it. And look at all those other great topics you have!

  • @brianalquist4238
    @brianalquist4238 8 ปีที่แล้ว +1

    This should be taught in primary school! Great videos.

  • @charlytaylor1748
    @charlytaylor1748 4 ปีที่แล้ว

    I think like a lot of commenters I was trying to find something specific on Yt and we got here and thought Aha! This is what i was looking for! Well done.

  • @andrew1717xx
    @andrew1717xx 12 ปีที่แล้ว

    Hypercam, capture card, and youtube to mp3 converters can be used seperately or in conjunction, depending if you want just audio, video or both.

  • @ecaepevolhturt
    @ecaepevolhturt 11 ปีที่แล้ว

    I get them all. Disjunctive syllogism reminds me of mutual exclusivity (exclusive OR function, without the cases where the events are the same value; a = 0 and b = 0 and a = 1 and b = 1). The example for conjunction seemed a bit "loose". Great vid!

  • @epistte
    @epistte 13 ปีที่แล้ว

    Thanks for posting this series on symbolic logic.

  • @wtrezel
    @wtrezel 14 ปีที่แล้ว

    You explain so clearly my friend. Thank you, I am a happy subscriber of your works.....

  • @SuperFreetochoose
    @SuperFreetochoose 9 ปีที่แล้ว

    Thank You Kind Sir.......You are an immortal benefit to this world.. To me you are amazing and can't thank you enough. Wish I could be as great as you. Gonna keep trying till I get it and thanks again

  • @TonyMrBoring
    @TonyMrBoring 12 ปีที่แล้ว

    you made this soo much easier to understand than my current geometry teacher!!! thanks you so much

  • @Europemaster
    @Europemaster 14 ปีที่แล้ว

    Great presentation, thank, you, I understand these rules much better now. Anyway we learned two more in our discrete structures class, named simplification and addition/join (translated from slovene), it would be really good if you present them too.

  • @StarlyMusic
    @StarlyMusic 14 ปีที่แล้ว

    My teacher is sooo unclear about these points!!
    You are amazing for posting these!!!

  • @Iwanttoridemybike801
    @Iwanttoridemybike801 11 ปีที่แล้ว

    Thank you for explaining it so well. You made everything very easy to understand

  • @RedSyrup66
    @RedSyrup66 5 ปีที่แล้ว

    Bro this is soo much better explained than in my textbook or my lectures. It’s actually making me interested in logic😂😂

  • @TheBeachLad
    @TheBeachLad 12 ปีที่แล้ว

    Thanks so much for your uploads. I'm taking Logic now and it's pretty difficult at the University level.

  • @roughblooduk
    @roughblooduk 11 ปีที่แล้ว +1

    Dear Dr Campbell. I am just starting logic. My BSc did not go into this at all and I have been left wanting in my research. I find your explanation a good starting point and I thank you so much for helping me. Is there a recommended book which does this in easy steps in a similar way that you do but increases the knowledge in stages? I do find some of the comments made by your followers difficult to understand though. Best Wishes George

  • @delshakincredible6251
    @delshakincredible6251 7 ปีที่แล้ว

    I'm so grateful for this, tutorials. please do you any lesson on hoare logic?

  • @Voland0
    @Voland0 11 ปีที่แล้ว

    +lazyperfectionist : In addition to the pointing to the necessary consequence that +jimmyt4311 does, please note that what modus tollens does is *negate* the antecedent, by the negation of the consequent. This is *exactly* opposite from the logical fallacy, affirming the antecedent, in which the consequent is used to *prove* the antecedent. The actual fallacy is known to be so because we recognize that consequences often come from multiple distinct causes. For instance, using the example of stomach ache, it could be caused by a virus, or being punching in the gut, so we could not say, "if I eat too much, I get stomachache; I have stomacheache, therefore, I ate too much."
    However, as +jimmyt4311 pointed out, if it is true (and we take it as so) that "If I eat too much, I get stomachache", then if I *don't* have stomachache, then I could not have eaten too much. We *don't* put a "could" in that "If ..., then"; were we to do that, we'd have to refer to some other form of logic, maybe the modal or Baysian discussed later.

  • @lazyperfectionist1
    @lazyperfectionist1 12 ปีที่แล้ว

    I have a problem with the specific example cited to illustrate Modus Tollens. It looks like affirming the antecedent. Eating too much could cause stomach pain, but not having stomach pain does not necessarily establish that one has not eaten too much. Stomach pain is only one such symptom.

  • @LuisKing150
    @LuisKing150 11 ปีที่แล้ว

    Awesome, awesome! I am studying for the final coming up this weekend and this section is where i am stuck on! This made it way clearer :D

  • @RANCE22808
    @RANCE22808 11 ปีที่แล้ว +1

    Holy Hell I wish I was watching these in the beginning of the semester.

  • @danny470
    @danny470 12 ปีที่แล้ว

    brilliant. Best explanation on youtube!

  • @mouseyc68
    @mouseyc68 11 ปีที่แล้ว +2

    Thanks for helping me understand the concepts better.

    • @philogeneenterprises5146
      @philogeneenterprises5146 10 ปีที่แล้ว

      hello Anita May I'm Phil Philogene saw your profile on "
      Health & Fitness Channel" on googleplus communities. and just wondered how your workouts, exercise and health goals were going?

    • @mouseyc68
      @mouseyc68 10 ปีที่แล้ว

      I've fallen behind just a bit but I'll get back on track shortly. With school, part - time work and tennis practice it's hard to fit it in. Guess I'll have to get up earlier huh....

  • @intruegold4882
    @intruegold4882 9 ปีที่แล้ว

    These lectures rocks brother!!! Thank you so much!!

  • @anmarsalih4314
    @anmarsalih4314 10 ปีที่แล้ว +1

    Excellent teacher, thank you.

  • @CaseNumberONeg
    @CaseNumberONeg 12 ปีที่แล้ว

    Thank you very much for this. I have a test on Friday and my teacher is really not good at teaching.

  • @95TurboSol
    @95TurboSol 15 ปีที่แล้ว

    Thanks for the video, was really helpful!

  • @cwieand
    @cwieand 14 ปีที่แล้ว

    Cool good to see someone posting on logic!

  • @itotallyhavefeelings9082
    @itotallyhavefeelings9082 8 ปีที่แล้ว

    Very good video, excellent stuff

  • @MyContext
    @MyContext 11 ปีที่แล้ว

    A: Condition (If today is examination day), B: Result (the today is a busy day)
    B: (Today is a busy day)
    A: (So, today is examination day)
    - So...
    If A then B
    if B then A
    This is what you are are presenting...which is invalid. There could be many ways to achieve B, so, claiming A on the basis of B is invalid. One can claim that if B is not present then A is not present. Look at the forms he presented.

  • @ProjektLament
    @ProjektLament 13 ปีที่แล้ว

    Very clear and concise. Thank you.

  • @Sunshinee1221
    @Sunshinee1221 12 ปีที่แล้ว

    simple and easy to understand. thank you!

  • @majidlalli8855
    @majidlalli8855 10 ปีที่แล้ว

    thanks...helped a lot with my assignment

  • @noteagod
    @noteagod 11 ปีที่แล้ว

    I really enjoy these lectures and am a big fan. However, there is a problem with some of the examples. Namely, they are causal rather logical. The language used also suggests causal rather than logical relations. "If A happens, then B will happen." "B hasn't happened, therefore a hasn't happened." For example, "if I eat too much, my stomach will hurt." "My stomach doesn't hurt, therefore I haven't eaten too much." The difference between logical and causal relations is subtle but crucial.

  • @theincredibleschalk
    @theincredibleschalk 12 ปีที่แล้ว

    thank you so much! One more question: What about the Double Negation? [not(notK)] -> K

  • @segunajibade2534
    @segunajibade2534 5 ปีที่แล้ว +1

    Thank you for your help!
    So, Will the following be considered as WFF.
    1. C v~ C v.
    2. ~ A * ~~ B
    3. ~(Z- -> Z)
    5. (A --> B) --> (C ≡ D) --> (E v F --> G)
    6. A --> (E D)
    7. ~A --> (A v ~ A)
    8. ~~A --> (A v A)
    9. Z v BB
    10. ~Z v ~BB
    Thank you for your help and support.

  • @mandimaria11
    @mandimaria11 10 ปีที่แล้ว

    I can't seem to find any videos on addition, simplification or constructive dilemma. Do you have any, but more so for anything for constructive dilemma? Your simple teaching style has made me learn the ones you have in this video very quickly so if you have one on constructive dilemma I'd appreciate a link.

  • @Plus1HD
    @Plus1HD 12 ปีที่แล้ว

    Thanks Sir, Can you make a tutorial for (Proof Techniques)

  • @lindseyrose589
    @lindseyrose589 11 ปีที่แล้ว

    I'm using you as my professor from now on...

  • @AlokKumar-lt8wf
    @AlokKumar-lt8wf 4 ปีที่แล้ว +1

    It's urgent plz reply .. Sir plz tell all the criteria for evaluation of hypothesis.

  • @MegaXavier76
    @MegaXavier76 13 ปีที่แล้ว

    this video will help me pass logic.

  • @yosychava
    @yosychava 11 ปีที่แล้ว

    great explanation...finally I understand! thanks.

  • @sanhawk6554
    @sanhawk6554 9 ปีที่แล้ว

    Dr. Cambell, do you recommend any good books to follow along with your lectures? Thank you for providing these lectures by the way.

  • @GuitarmandanXo
    @GuitarmandanXo 13 ปีที่แล้ว

    Thanks for being a bro! Keep up the great work!

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

    I still find this helpful. Thanks.

  • @Sukhvirz
    @Sukhvirz 10 ปีที่แล้ว

    Thanks, it is very good exploitation. Keep up good work.

  • @AWESOMEBLUEBERRY32
    @AWESOMEBLUEBERRY32 10 ปีที่แล้ว

    GREAT VIDEO thank you so much!!! can you please post about PROOFS
    they are so hard !!!!!

  • @himynameississy
    @himynameississy 14 ปีที่แล้ว

    thanks so much! very well laid out

  • @cirusMEDIA
    @cirusMEDIA 13 ปีที่แล้ว

    Great video!!
    -->just need to plan your examples a bit more.

  • @YanLinYing
    @YanLinYing 9 ปีที่แล้ว

    I don't entirely understand #5. I hope someone will clarify this for me - is it safe to conclude that the gallon of milk was bought from the store? or do I just leave it at having gone to the store and bought a gallon of milk as sequential events?

    • @leilacooper9441
      @leilacooper9441 9 ปีที่แล้ว

      +YanLinYing It is simply a statement that has a truth-value, also known as an assertion.

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

    very informative

  • @poochytaeny
    @poochytaeny 10 ปีที่แล้ว +1

    thank you very much! you might save me from failing! :)

  • @TheIrieFeeling
    @TheIrieFeeling 13 ปีที่แล้ว

    Oh man, why can't you be my professor? Awesome job.

  • @zemzami1
    @zemzami1 11 ปีที่แล้ว

    In what undergraduate program can i study this?

  • @Heatseaker19
    @Heatseaker19 12 ปีที่แล้ว

    That pun man! That thing was just too easy XD

  • @ImTooAbstract
    @ImTooAbstract 14 ปีที่แล้ว

    A lot better than MY teacher .

  • @Rhembot
    @Rhembot 12 ปีที่แล้ว

    You made that plain simple.....why did I seem so complex before!?

  • @ivis65
    @ivis65 14 ปีที่แล้ว

    Thank you helped me a lot

  • @alanmcdougal
    @alanmcdougal 12 ปีที่แล้ว

    good review man

  • @az2hugomora
    @az2hugomora 12 ปีที่แล้ว

    Good job, thanks

  • @nadeeshanwarapitiya3726
    @nadeeshanwarapitiya3726 12 ปีที่แล้ว

    Thanx Bro awesome

  • @DustinLowes
    @DustinLowes 14 ปีที่แล้ว

    you're the man. THANK YOU

  • @biggiemary9528
    @biggiemary9528 9 ปีที่แล้ว

    Thank you for making this video. It helps a lot ^_^

  • @samhaelterman7150
    @samhaelterman7150 12 ปีที่แล้ว

    Thank you so much!

  • @CassettePlaya1
    @CassettePlaya1 12 ปีที่แล้ว

    Thanks

  • @aidataleb1972
    @aidataleb1972 10 ปีที่แล้ว

    awesome tnk u

  • @iyalovecky
    @iyalovecky 13 ปีที่แล้ว

    rule #5 isnt rule rule of inference at all

  • @NetLurker03
    @NetLurker03 13 ปีที่แล้ว

    Thank you for Teaching Us! =))

  • @escarface
    @escarface 12 ปีที่แล้ว

    I wish you were my professor

  • @ThetrueSamurai1.0
    @ThetrueSamurai1.0 13 ปีที่แล้ว

    wish i was in his class

  • @eanschndr
    @eanschndr 12 ปีที่แล้ว

    I'm going to the movies and eat at the same time. I'd get hungry.

  • @cotefan92
    @cotefan92 14 ปีที่แล้ว

    helpful thx

  • @almaqbaliamani3965
    @almaqbaliamani3965 11 ปีที่แล้ว

    how I can symblize this argument:
    if today is examination day ,then today is a busy day.
    Today is a busy day.
    So,Today is examination day.

  • @naishjam
    @naishjam 11 ปีที่แล้ว

    Because of the Model Problem.

  • @yedediyahkingdavison5292
    @yedediyahkingdavison5292 9 ปีที่แล้ว

    M Square Gram M2 GRAM Inc.I AM HERE

  • @conceptualelegance
    @conceptualelegance 5 ปีที่แล้ว

    poor theory though, as some need time and space restrictions

  • @unslept_em
    @unslept_em 12 ปีที่แล้ว

    Do I have permission to love you?

  • @HelloAll1990
    @HelloAll1990 8 ปีที่แล้ว

    mhm, I know some of these words.

  • @macgeek21
    @macgeek21 13 ปีที่แล้ว

    this guy is making up his own symbols. there is no arrow or double arrows in SL