Propositional Logic - Part 1 | Mohammed Hijab
Вставка
- Опубліковано 3 лис 2024
- Help us educate and mentor others to share the faith academically.
Donate now: sapienceinstit...
Free online courses: learn.sapience...
Free books: sapienceinstit...
Have doubts? Book a mentor: sapienceinstit...
Listen (Podcast): sapienceinstit...
Follow:
- Facebook: / sapienceinstitute.org
- Twitter: / sapienceorg
- Instagram: / sapienceinstitute
Articles, speaker requests & more: sapienceinstit...
This man is taking over the internet. I am flooded with his content. Great work, Sir.
May Allah help him and Keep his Niyah pure
It’s just the algorithm mate
@@24_____ It is, but he is working his ass off.
Ma sha Allah laa quwwata illa billah
@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*
top man!
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
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 😊
Hardly the best when you have someone who constantly ignores many logical fallacies that are pointed out to him.
@@F78lybro you can find resources for introduction to logic at AL QALAM INSTITUTE UA-cam CHANNEL with Arabic and english text
*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*
I m studying Computer Science Engineering and i had this "Propositional logic" as a chapter in Discrete Mathematics.
Same here
@@muneeburrehman4690 🤝🏼 🤜🏼🤛🏼
I remember it its was first chapter i took
Yeah if only it were properly applied and people stopped hiding in dubious premises.
@@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.
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
Jazakumullahu khayra for this brilliant content.
On lighter note, brother Muhammad Hijab writes like an old school medical doctor
🎯 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
jazakAllahu khair fid-dunya wa fil-akhirah brother
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.
رَبِّ أَعِنِّي وَلَا تُعِنْ عَلَيَّ، وَانْصُرْنِي وَلَا تَنْصُرْ عَلَيَّ، وَامْكُرْ لِي وَلَا تَمَكُرُ عَلَيَّ، وَاهْدِنِي وَيَسِّرْ هُدَايَ إِلَيَّ، وَانْصُرْنِي عَلَى مَنْ بَغَى عَلَى اللَّهُمَّ اجْعَلْنِي لَكَ شَاكِرًا، لَكَ ذَاكِرًا، لَكَ رَاهِبًا، لَكَ مِطْوَاعًا إِلَيْكَ، مُخْتَا، أَوْ مُنِيبًا، رَبِّ تَقَبَّلْ تَوْبَتِي، وَاغْسِلْ حَوْبَتِي، وَأَجِبْ دَعْوَتِي، وَثَبِّتْ حُجَّتِي، وَاهْدِ قَلْبِي، وَسَدَّدْ لِسَانِي، وَاسْلُلْ سَخِيمَةَ قَلْبِي
Ameen
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.
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.
Peace be upon the beloved ummah. Jazak Allahu Khairun for this great content.
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 love this so much. Mashallah, keep it up guys!
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.
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.
*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*
You are a perfect kalami , may Allah guide you to fiqh studies
While debating non religious ppl you need to know these things
So please educate yourself bro
@@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 .
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
Never thought I'd be learning freaking propositional logic from Muhammad Hijab, don't know why I'm so surprised, it is basic philosophy after all
Reading the trivium: the liberal arts of logic, grammar, and rhetoric by sister miriam joseph, inshaAllah these will help
Salaams from South Africa 🇿🇦… we are awaiting your presence in laudium in 3 days MOHMMED … I’m hoping to meet you sir .
god is dead
Finally! True valuable content on UA-cam!
Best educational way, students with a live.
🎯 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
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.
...
Modus Tollens is basically a Sharti Muttasil, with a negated تالي, which necessitates that the مقدم is negated.
He says in Sullam:
فإن يك الشرطي ذا اتصالِ … أنتج وضع ذاك وضع التالي
[ورفع تالٍ رفعَ أولٍ….]
Alhamdulillah. New MH series on Sapience Institute.
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!”).
...
Very beneficial video, jazakallahu khairan
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 :)
Why?
Unrelated to you?
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).
...
Great lessons. Thanks
i enjoyed this so much
Please start a series on The Sealed Nectar
Particularly the first unit is so difficult to understand
JazakAllahu khayran
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).
basic logic is very useful.
Jazaka ALLAH kheir
Alhamdulillah ❤
Thank you for this
Only 1k likes for this FREE master class?!
Hope translated into Indonesian, so many can follow this knowledge
Every men who born had a parents
Men are born there for they had a parents
Not Isa a.s 😉
Not Adam A.S either 😂
@@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
😂
@@n.a3642
Bro was just trying his best to show a valid argument and y’all tore his example apart 😂😂
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
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).
Mash'Allah
Thank you ustad
Masha Allah
this might help me in computer science.
Are there any introductory books on this topic you advise ?
Check out Oxford's very short introduction to Logic by Graham Priest
@@thesapientstranger Thank you.
It's best to read from islamic source before you go to others sources
@@muslimuddin3656 no, islamic sources is based on aristitolian logic which is outdated in modern mathematical logic
@sapienceinstitute how often will the classes be?
Where are these lessons held? In London?
Will this series be put on the Arabic channel? I'm mean sapience institute arabic
If someone could tell the difference between poly and hypothetical syllogisms?
Can we say that ibn e taymiyyah introduced polysyllogism?
brother would u make a video on the topic, ""different recitations of quran, their revelation, so called versions of quran". plzz❤.
tnx
theres hundreds of videos about this already, just search for it.
If you mean Qira'at of the Qur'an, look up Farid Responds. He always makes his videos quick and to the point.
@@AbdAllah_54564 tnx a lot brother, many confusions of mine are cleared
JAZAKALLAH
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.
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
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.
@@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.
Ma Shaa Allah
the bearded telly tubby...🤣🤣
Woah
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,
Lol trolling fail 🤣
@@kabhussain3113 calling to tawheed is trolling?
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..........
❤❤❤🌹🌹🌹🌹
is this Programming 101? can't wait for Hijab to prove the existence of God using Python 🤣
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 < 13.7 billion years:
continueTime()
hereInTheNow()
---
Then the question remains: _what_ initiated the start?
I read the title of the video wrong 😂
If you read books you will be smart.'
U are not smart therefore you didn't read books.
Who is the guy breathing soo heavily nearthe 🎤 , so irritating!!!
Sapience no homo
This guy making a series on logic is hilariously ironic
Why is that ?
@@mirrasikulislam7344 He constantly makes numerous logical fallacies just as all other apologists on youtube do.
@@squarecircle2347 your name perfectly represents you punk 🤣
cry more 😁😁
@@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.
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)
@@sharafathmohamed2921 logic means something that is reasonable (by a human brain).
@@sharafathmohamed2921 you want to play chrstian muslim debate mohammed habibi. we can be junior david wood and zakir naik
God is at least logical plus more.
Alhamdulilah
JazakAllah'u khairan