Propositional Logic - Part 1 | Mohammed Hijab
Help us educate and mentor others to share the faith academically.
Donate now: sapienceinstitute.org/donate/
Free online courses: learn.sapienceinstitute.org/
Free books: sapienceinstitute.org/books/
Have doubts? Book a mentor: sapienceinstitute.org/lightho...
Listen (Podcast): sapienceinstitute.org/sapient...
Follow:
- Facebook: / sapienceinstitute.org
- Twitter: / sapienceorg
- Instagram: / sapienceinstitute
Articles, speaker requests & more: sapienceinstitute.org/
Пікірлер: 151
This man is taking over the internet. I am flooded with his content. Great work, Sir.
@abdulmoiz939
11 ай бұрын
May Allah help him and Keep his Niyah pure
@24_____
11 ай бұрын
It’s just the algorithm mate
@we4columbus
11 ай бұрын
@@24_____ It is, but he is working his ass off.
@AnswerEasy
11 ай бұрын
Ma sha Allah laa quwwata illa billah
@DawahDigital
11 ай бұрын
@we4columbus the algorhythm has you ;)
*Muhammad Hijab named 6 books in his entire lecture part 1, which I'm writing below to help you:* *1) Kitab al-najat by Ibn Sena* *2) Kitab mihak-al-nazar fi al-mantiq by Al-Gazali* *3) Al-Mustafa min 'ilm al-usul by Al-Gazali* *4) Dar ta'arud el-tobgui by Ibn Taymiyyah* *5) Al-iqtisad fil i'tiqad by Al-Gazali* *6) Al-qistas Al-Mustaqim by Al-Gazali*
@usmaandada121
11 ай бұрын
top man!
I m studying Computer Science Engineering and i had this "Propositional logic" as a chapter in Discrete Mathematics.
@muneeburrehman4690
11 ай бұрын
Same here
@yusufz3850
11 ай бұрын
@@muneeburrehman4690 🤝🏼 🤜🏼🤛🏼
@Shrimphat
11 ай бұрын
I remember it its was first chapter i took
@Monolith1616
11 ай бұрын
Yeah if only it were properly applied and people stopped hiding in dubious premises.
@muneeburrehman4690
11 ай бұрын
@@Monolith1616 It is actually applied in computers.
I really appreciate this way of online teaching because the students are making mistakes which we would’ve also made so it makes it more engaging. Otherwise, online lessons are a real chore.
Jazakumullahu khayra for this brilliant content. On lighter note, brother Muhammad Hijab writes like an old school medical doctor
I can't believe the timing! I was studying logic and I was searching for a Muslim speaker and now I have the best! Did you decide to do this after your discussion with the 2 guys in the park lol Alhamdulillah I am currently going through السلم المنورق and I realised I need a stronger foundation in English to be more efficient
@F78ly
11 ай бұрын
Can you tell how you're doing work السلم المنورق? I need help with resources, I'd really appreciate it, thank you in advance for any sort of help 😊
@squarecircle2347
11 ай бұрын
Hardly the best when you have someone who constantly ignores many logical fallacies that are pointed out to him.
@junaidmp4289
11 ай бұрын
@@F78lybro you can find resources for introduction to logic at AL QALAM INSTITUTE KZread CHANNEL with Arabic and english text
@Let_Me_Speak_The_Truth
11 ай бұрын
*Muhammad Hijab named 6 books in his entire lecture part 1, which I'm writing below, maybe this will help you* *1) Kitab al-najat by Ibn Sena* *2) Kitab mihak-al-nazar fi al-mantiq by Al-Gazali* *3) Al-Mustafa min 'ilm al-usul by Al-Gazali* *4) Dar ta'arud el-tobgui by Ibn Taymiyyah* *5) Al-iqtisad fil i'tiqad by Al-Gazali* *6) Al-qistas Al-Mustaqim by Al-Gazali*
What a beautifully simplified video for us at home where we can also reap the benefits! Alhmdulillah. Definitely will be participating in the ‘homework’ inshallah
the modus tolen examples such as "if it's made in Japan it's strong, it's not strong **therefore** it's not made in Japan" is actually sound, the fallacious version is "it's not strong **because** it's not made in Japan", the first version doesn't imply that only being made in Japan is a possible cause of strength, the second does.
رَبِّ أَعِنِّي وَلَا تُعِنْ عَلَيَّ، وَانْصُرْنِي وَلَا تَنْصُرْ عَلَيَّ، وَامْكُرْ لِي وَلَا تَمَكُرُ عَلَيَّ، وَاهْدِنِي وَيَسِّرْ هُدَايَ إِلَيَّ، وَانْصُرْنِي عَلَى مَنْ بَغَى عَلَى اللَّهُمَّ اجْعَلْنِي لَكَ شَاكِرًا، لَكَ ذَاكِرًا، لَكَ رَاهِبًا، لَكَ مِطْوَاعًا إِلَيْكَ، مُخْتَا، أَوْ مُنِيبًا، رَبِّ تَقَبَّلْ تَوْبَتِي، وَاغْسِلْ حَوْبَتِي، وَأَجِبْ دَعْوَتِي، وَثَبِّتْ حُجَّتِي، وَاهْدِ قَلْبِي، وَسَدَّدْ لِسَانِي، وَاسْلُلْ سَخِيمَةَ قَلْبِي
@salarakoyi1176
11 ай бұрын
Ameen
🎯 Key Takeaways for quick navigation: 00:18 🧠 Introduction to Propositional Logic 04:15 📜 Valid and Sound Arguments 10:51 🔄 Modus Ponens: If P then Q 14:05 🔄 Modus Tollens: If P then Q (Not Q), Therefore (Not P) 23:51 🔍 Introduction to Propositional Logic 28:05 🧠 Types of Syllogisms in Logic 41:38 🤔 Exploring Disjunctive Syllogism 51:22 🔀 Exploring Disjunctive Syllogism Made with HARPA AI
Thank Allah, and thank you my brother Hijab for sharing this knowledge. It is hard needed these days. May Allah increase you and everyone at Sapience Institute for your efforts.
This was extremely beneficial. I'm eagerly looking forward to watching the next session. Thanks, and may Allah reward you and everyone else at Sapience.
Love to see more of such courses !... also I like that its interactive n when they make mistakes then u clarify, it really helps me to learn too.
Peace be upon the beloved ummah. Jazak Allahu Khairun for this great content.
I love this so much. Mashallah, keep it up guys!
Very beneficial video, jazakallahu khairan
Great lessons. Thanks
Teach not just logic but more broader subjects within critical thinking like research, writing, thinking critically, think innovatively in research, media bias and news analysis, science methods and results etc. Much more brosder things are covered in critical thinking books. I have more than 50 books on critical thinking, research, writing etc.
i enjoyed this so much
Best educational way, students with a live.
JazakAllahu khayran
Alhamdulillah. New MH series on Sapience Institute.
Jazaka ALLAH kheir
Finally! True valuable content on KZread!
Salaams from South Africa 🇿🇦… we are awaiting your presence in laudium in 3 days MOHMMED … I’m hoping to meet you sir .
@alexcope8142
11 ай бұрын
god is dead
Thank you for this
Alhamdulillah ❤
I’m reading Socratic Logic by Kreeft right now. Very beneficial. I think logic (not mathematical/symbolic) is a lost area of study that we desperately need today.
@Let_Me_Speak_The_Truth
11 ай бұрын
*Muhammad Hijab named 6 books in his entire lecture part 1, which I'm writing below, maybe this will help you* *1) Kitab al-najat by Ibn Sena* *2) Kitab mihak-al-nazar fi al-mantiq by Al-Gazali* *3) Al-Mustafa min 'ilm al-usul by Al-Gazali* *4) Dar ta'arud el-tobgui by Ibn Taymiyyah* *5) Al-iqtisad fil i'tiqad by Al-Gazali* *6) Al-qistas Al-Mustaqim by Al-Gazali*
basic logic is very useful.
JazakAllah'u khairan
Mash'Allah
A Mathematical Expression known as a Type of Algebra ! The most brilliant way anyone’s ever found for handling this problem. Boolean logic : which takes two statements or expressions and applies, a logical operator. Instead of using arithmetic operators like, (addition, subtraction, and multiplication). Boolean Logic, is a type of data that has only two possible values: In order to generate a Boolean value which, can be either true or false. Boolean Logic, consists of just a value, in a set of two. For instance : If the answer is yes, the Boolean value is true. If the answer is no, the boolean value is false. Results are calculated as either True or False. Thus, truth values or truth variables. Alternatively Boolean Logic, utilizes three basic logical operators: (Three as follows) : 1. And, 2. Or, 3. Not. While Propositional logic, typically has a meaning attached to it. Which implies, if there was no meaning attached to it. Then the meaning would vanish, (given it was reduced) to True or False attribute. Furthermore : still prove to be tautological. (subject to the evaluation and reduction). Therefore : although there has been much debate on Mathematical expressions, it is clear that Algebraical logic is the best form of Modern Mathematics, explained by a Theorem. ...
You are a perfect kalami , may Allah guide you to fiqh studies
@mirrasikulislam7344
11 ай бұрын
While debating non religious ppl you need to know these things So please educate yourself bro
@keddah_ismail
11 ай бұрын
@@mirrasikulislam7344 inventing an argument with Allah tawfik is not that's hard as long as you are backed with knowledge, however knowing fiqh deeply make your claims automatically effectively persuasive and less emotionally defensive , may Allah educate me more .
@Ahle.haq0
6 ай бұрын
Name calling necessary and important and basic logic is the work of the modern psudosalfis. We are all followers of imam at tahawi in aqeedah
Modus Tollens is basically a Sharti Muttasil, with a negated تالي, which necessitates that the مقدم is negated. He says in Sullam: فإن يك الشرطي ذا اتصالِ … أنتج وضع ذاك وضع التالي [ورفع تالٍ رفعَ أولٍ….]
Thank you ustad
Communication in the Real World Via the Five Types in Propositional Logic ! 1. Negations, 2. Conjunctions, 3. Disjunctions, 4.Conditionals, 5. Biconditionals. Accordingly, Persuasive Speaking - fall's primarily into one of three categories: The Three Types of (Persuasive Speech) Propositions ! 1. Fact, 2. Value, 3. Policy. As a result 'persuasive speech' may have elements of any of the three propositions, (as of the above). The consequence of 'persuasive speech' is usually determined, by the overall proposition of a speech. Admittedly, coherent to the specific purpose, and thesis statements. On the other hand : there is Non- Proposition Sentences. For example (as follows) : The Three Non- Proposition Sentences ... 1. Interrogative : (a sentence that ask's a question, typically to request information). (Ending with a question mark (?) ). 2. Imperative : (a sentence with no subject but instead, a directive is given to an implied second person). ( such as : expression of a direct command, request, invitations, warning, or instruction). 3. Exclamatory : ( a sentence which uses exclamatory pronouns such as : “what” or “how” ) (Emphasizing an antecedent noun. for instance : “What a beautiful baby!”). ...
🎯 Key Takeaways for quick navigation: 00:00 The video introduces the topic of propositional logic and its significance. 01:28 Propositional logic is one of the branches of logic and involves studying logical rules and relationships. 04:15 The difference between a valid argument and a sound argument is explained. A valid argument follows the rules of logic, while a sound argument also has true premises. 07:43 Soundness of an argument can be disputed due to differences in understanding of truth and the justifiability of premises. 10:51 The concept of "modus ponens" in propositional logic is introduced, where if P implies Q, and P is true, then Q must also be true. 12:10 Viewers are encouraged to create examples using "modus ponens." 17:20 The concept of "modus tollens" is introduced, where if P implies Q, and Q is false, then P must also be false. 19:20 Viewers are encouraged to create examples using "modus tollens." 23:08 A discussion highlights the importance of consistency and validity in arguments, even if they may not correspond to reality. 24:46 Multiple examples of "modus tollens" are provided, demonstrating the logical structure of this argument form. 25:29 Equivocation is using a word with multiple meanings to make an argument appear valid. 27:24 Modus Tollens involves denying the consequent in a conditional statement. 31:19 Quasi-syllogism is a common form of argument in Western philosophy. 33:00 The Kalam cosmological argument is a famous example of a quasi-syllogism. 37:02 Poly syllogism involves multiple premises leading to a conclusion. 41:24 Hypothetical syllogism is based on conditional statements, connecting them to reach a conclusion. 45:55 Disjunctive syllogism involves either-or statements and leads to valid conclusions. Made with HARPA AI
All ideas are immortal.......... Socrates is an idea........... Therefore the idea of Socrates is immortal.............(after all we are still talking about him as an idea).
The First Claim, made by the Modern Mathematical World can be explained by a Theorem ! By way of explanation, a 'Theorem' is the main result of a Proposition. And it's main interest lies (objective), to prove a certain given criteria or scenario. (A larger Theorem is known as a 'Lemma'). A Mathematical Proposition aka : a Theorem ! Development in its original form : by Aristotle in his Prior Analytics, (Analytica Priora) about 350 BCE. Based on his, Logic and represented, by (Syllogistic) as the earliest branch of formal logic. (Syllogistic) is the formal analysis of logical terms and operators and their structures. This analysis makes it possible to infer True Conclusions, from a given premises. For Example 'Proposition Logic' : is a series of 'Proposition's, composed of Statement(s). These Statement(s) are either True or False. Logic in Syllogism ... A syllogism is a form of deductive argument, where the premises have, a logical implication. This implies that a deductive argument's premises, (framework) provides conclusive evidence for the truth of its conclusion. For example : Ali's Pet Theorem ! Two instances (as follows) ... First Instance : (Such as : "All cat's have four legs"). And so, a deductive argument with two premises. (Such as : "Ali's pet is a cat). And the conclusion follows from the truth of two (or more) premises. (Therefore : "Ali's pet has four legs." ). Thus, a 'deductive argument' has only one conclusion which moves from, the general to the specific. For example : the inductive argument's premises, is based on and provides, probable evidence. This (abstract) evidence is for the truth of its conclusion. For Second Instance : Ali's Pet Theorem ! In the past, fish have always come to our pond. Therefore, the fishes will come to our pond this summer. As a result, 'deductive argument(s)' opposes the 'inductive argument(s)', which move from the specific to the general for abstract idea's. This is because 'Inductive reasoning work' in arguments and for making, a hypothesis, (in mathematics or science). ...
Please start a series on The Sealed Nectar Particularly the first unit is so difficult to understand
Hope translated into Indonesian, so many can follow this knowledge
Brother this is unrelated, but can you do a live Q&A one of these days when you have a chance, I have a questions surrounding Islam and the trolley problem, how does it tackle it basically? How should we determine value, how does Allah value us, etc. Thank you :)
@uthman2281
11 ай бұрын
Why?
@muslimuddin3656
11 ай бұрын
Unrelated to you?
@sapienceinstitute how often will the classes be?
Only 1k likes for this FREE master class?!
Where are these lessons held? In London?
If someone could tell the difference between poly and hypothetical syllogisms?
Will this series be put on the Arabic channel? I'm mean sapience institute arabic
this might help me in computer science.
Can we say that ibn e taymiyyah introduced polysyllogism?
Are there any introductory books on this topic you advise ?
@thesapientstranger
11 ай бұрын
Check out Oxford's very short introduction to Logic by Graham Priest
@CAP0VELLI
11 ай бұрын
@@thesapientstranger Thank you.
@muslimuddin3656
11 ай бұрын
It's best to read from islamic source before you go to others sources
@Berke-Khan
11 ай бұрын
@@muslimuddin3656 no, islamic sources is based on aristitolian logic which is outdated in modern mathematical logic
Every men who born had a parents Men are born there for they had a parents
@n.a3642
11 ай бұрын
Not Isa a.s 😉
@MZD15
11 ай бұрын
Not Adam A.S either 😂
@n.a3642
11 ай бұрын
@@MZD15 Lol yea there are so many things wrong with this one. 1. Not all Men are born. Adam and Eve a.s were created but technically not "born" (given birth) 2. Isa a.s was born but only has 1 parent 😂
@Kimeikus
11 ай бұрын
@@n.a3642 Bro was just trying his best to show a valid argument and y’all tore his example apart 😂😂
@zaidm1134
11 ай бұрын
Your premises are tautologies and are both saying the same thing. It should be like this 1) If you are born, you had parents 2) Men are Born 3) Therefore Men have parents This is Valid but not Sound
Ma Shaa Allah
21:12 I think there was a mistake in the example. If "Tahmin does not go to Oxford University" then "Tahmin is uneducated"; "Tahmin is educated"; therefore "Tahmin did attend Oxford University". The not Q here would be NOT "Tahmin is uneducated" which becomes "Tahmin is educated". And not P here would be NOT "Tahmin does not go to Oxford University" which becomes "Tahmin goes to Oxford University" (obviously the tense changes a bit in English).
21:23 I don't understand the first Modus Tallens thing : If P then Q If not Q then not P One of the examples Mr Hijab used to suggest that it's not necessarily sound didn't make sense : If you go to Oxford, you're educated You are not educated therefore you didn't go to Oxford It is a sound argument, when you say '' you are not educated '' then you are not part of the the first premise, because the first premise doesn't give us information about uneducated people, it gives us information about people who went to Oxford. Can someone help me out here? Thanks.
@roxu8975
11 ай бұрын
Brother Hijab made a mistake in the conclusion. 1. If u will not go to Oxford u will be uneducated Conclusion should be: u are educated therefore u went to Oxford University Which is valid but not sound
@BilalAhmed-ol3lw
11 ай бұрын
You are right but The statement assumes all people who go to Oxford are educated just for the example , he doesn't actually believe every last person who attends Oxford is educated , it is just an example to demonstrate modus tollens , as it is sufficient to go to Oxford in order to be educated , not necessary, therefore you cannot Infer that someone is not educated if they didn't attend Oxford.
@QQuantumPotato
11 ай бұрын
@@BilalAhmed-ol3lw Thanks a lot for the clarification, reading it a couple of times and i was able to wrap around my head what he meant. I appriciate it.
brother would u make a video on the topic, ""different recitations of quran, their revelation, so called versions of quran". plzz❤. tnx
@dom3073
11 ай бұрын
theres hundreds of videos about this already, just search for it.
@AbdAllah_54564
11 ай бұрын
If you mean Qira'at of the Qur'an, look up Farid Responds. He always makes his videos quick and to the point.
@Huzaifa-or9sn
11 ай бұрын
@@AbdAllah_54564 tnx a lot brother, many confusions of mine are cleared JAZAKALLAH
Woah
❤❤❤🌹🌹🌹🌹
the bearded telly tubby...🤣🤣
Why dont you ever teach the categories of Tawheed like abu Hanifa did in his "Fiqh ul-Akbar/Absat pg.51" ;teach why Asharis shouldnt call to The Rasool SAW because this would be shirk akbar? You really think the masses will benefit from such critical information which is difficult for them to grasp? May Allah guide you in your methods and prevent you from degrading the scholars and those who uphold the Sunnah,
@jj-yi1ne
11 ай бұрын
your method is stupid and only useful for bedouins that worship trees. the majority of the ummah are far more brilliant than that
@kabhussain3113
11 ай бұрын
Lol trolling fail 🤣
@Tk-sh3bf
11 ай бұрын
@@kabhussain3113 calling to tawheed is trolling?
@Ahle.haq0
6 ай бұрын
Calling to rasool allah SAW is not part of the ashari manhaj
If I had a unicorn I would call it fairy.. That's a great name for a unicorn..........
I read the title of the video wrong 😂
is this Programming 101? can't wait for Hijab to prove the existence of God using Python 🤣
@zainmushtaq4347
11 ай бұрын
while True: continueTime() hereInTheNow() --- As you can see, hereInTheNow() will _NEVER_ be called since the while loop will never end and continue infinitely. The fact that we are here in the now today means that the while loop is actually _finite_ and therefore has a start: --- counter = 0 while counter continueTime() hereInTheNow() --- Then the question remains: _what_ initiated the start?
Sapience no homo
If you read books you will be smart.' U are not smart therefore you didn't read books.
This guy making a series on logic is hilariously ironic
@mirrasikulislam7344
11 ай бұрын
Why is that ?
@squarecircle2347
11 ай бұрын
@@mirrasikulislam7344 He constantly makes numerous logical fallacies just as all other apologists on youtube do.
@mirrasikulislam7344
11 ай бұрын
@@squarecircle2347 your name perfectly represents you punk 🤣
@BilalAhmed-ol3lw
11 ай бұрын
cry more 😁😁
@squarecircle2347
11 ай бұрын
@@BilalAhmed-ol3lw only immature children make comments like that when they don't have anything substantive to say
God is not logic my friend he is out of human's brain. There are no 3 GOD but GOD is 3.
@sharafathmohamed2921
11 ай бұрын
Is it 3 in 1 or 1 in 3? Edit: btw you started by saying "God is not logic" and finished your comment by saying "but God is 3" I would like to ask you, What is Logic? (Not your subjective meaning but the objective meaning that is understood)
@user-mt6ix4nv7y
11 ай бұрын
@@sharafathmohamed2921 logic means something that is reasonable (by a human brain).
@user-mt6ix4nv7y
11 ай бұрын
@@sharafathmohamed2921 you want to play chrstian muslim debate mohammed habibi. we can be junior david wood and zakir naik
Alhamdulilah
Masha Allah