Logical Proof of God's Existence
ฝัง
- เผยแพร่เมื่อ 4 ก.พ. 2021
- Support the channel by joining The Reinforcements: brianholdsworth.ca
Music written and generously provided by Paul Jernberg. Find out more about his work as a composer here: pauljernberg.com
Spanish translations by Vélez Translations, www.veleztranslations.com
A few weeks ago, I made a video that I titled “Undeniable Proof of God’s Existence.” The point of the video was to illustrate how inconsistent and illogical it is for people to expect undeniable proof before they will honestly explore the possibility of God’s existence.
And, unfortunately, a large portion of viewers of that video felt cheated by the title, apparently, anticipating that I had promised to offer undeniable proof rather than talk about this unreasonable standard - which essentially proves the point of the video.
The thesis of the video was left unanswered by these critics, some of whom made video responses of their own. So, I thought I’d do a follow up to that video here in which I will illustrate that thesis in, what I hope will be a more convincing way, as well as offer an actual proof in the process.
[intro]
Before I present the proof in question, I want to provide a little context as well as an explanation for how I’m going to present it and why.
The first thing I’ll say is that it isn’t well known. I only learned about it relatively recently in spite of the fact that I’ve been reading about various arguments and proofs for God’s existence for as long as I’ve been a theist and Christian - which is over 15 years now.
And whenever I’ve mentioned it to other, well-read, and well-educated theists, I’ve yet to find someone who is familiar with it.
And that’s revealing. There aren’t many commentaries you can read about this proof and there are even fewer people who understand it well enough to discuss it in any meaningful way.
The fact that it is less conspicuous than more popular proofs like the Kalam Cosmological argument or St. Thomas Aquinas’ 5 ways isn’t because of some deficiency in the argument, but rather because I don’t think many people are up to the task of wrestling with it.
The point here being that it is so sophisticated, that there are only a select few who can make heads or tails of it. What that means is, it may very well represent the limits of what human thought can produce on the question of God’s existence.
There are critiques of the proof, but even they appear to lack the kind of confidence you usually find in an explicit refutation. They appear to be more questioning its implications and axioms than anything else.
And yes, it does rely on axioms which seems to be the source of any of the complaints I’ve read about it, but if your only complaint is that the axioms can’t be proven, then you run the risk of throwing the baby out with the bathwater in order to avoid accepting the God’s existence.
Because the fundamental laws of logic are axioms which cannot be proven, not the least of which is the assumption that the universe is intelligible such that our reason can be meaningfully applied to.
For example, in many of the responses to my previous video, people said that anything that exists should be empirically demonstrable and since nobody has managed to this in the case of God, or so it’s claimed, then there is no proof of God’s existence.
But the claim that the only kind of valid knowledge is empirical knowledge, is not itself, proven empirically which either makes it an axiom adopted on faith, which atheists like Bertrand Russel admitted, or it’s self refuting.
The other thing I should mention, because this may seem curious, but I have a good reason which reinforces the point of this video, is that I’m not going to tell you who came up with this proof except to say that this person is acknowledged by anyone familiar with them, to be one of the greatest minds ever - full stop.
I was tempted to close comments on this video, even though I've never done that before, so that nobody gives away the origin of the argument, but I've decided not to. I'll leave it up to you to be honest with yourself. If you have to go look it up in order to find supposed refutations of it, then you've conceded that you're not looking for something to be proven to you. You're looking to win an argument, even if that means getting someone else to do the heavy lifting. Like I said in the video, that's not an exercise in reason, on your part, but on faith in someone else's reason to tell you what to think about something that exceeds your reason.
I'm going to have to refer to others to understand all that math but from what I can make of it after a single pass over, it appears to be another form of the ontological argument.
Ima try and make sense of it and ask maybe some math-y friends or prof at my university if I can but I usually just wanna know the original creator in order to make sense of it lmao
If u haven't seen this lecture ur definitely thinking along the same lines. U would be hard pressed to find anyone who suffered more for his science than Godel. He is very definitely highly thought of- by all the best minds too. I'm just not sure it is for anyone other than Godel and a very select few anything more than a thought problem. I mean it's not a matter of this thing being above the head of the average bear it really is in the stratosphere. Anyway, take a look at this vid it will be the easyest hour u ever spent on grey matter stuff (who knew mathamaticians/physicsts were so fun)
(The limits of understanding)
th-cam.com/video/DfY-DRsE86s/w-d-xo.html
Ahh, one of gödel’s ontological arguments. Yea, they’re cool. No, they aren’t solid. The reason they weren’t published has a lot to do with the things he posits in the argument (I imagine, at least). What is essence? What is a “positive property.” These terms, among others, aren’t super strong. I don’t think there’s a strong proof for God’s existence, but I think there’s just as good a proof for god’s nonexistence. “It’s been confirmed confidently that it’s valid logic.” That is a trick phrase. It’s probably valid, but definitely not completely sound. You got any vids on job/ Ecclesiastes?
Impossibly over my head, but I'll play. Quick question. What does "possibly exemplified" mean in Theorem 1? I can make sense of necessarily, but what does possibly exemplified mean in this context?
Your first mistake was assuming I understand even basic mathematical formulas.
I do understand. Doesn't mean a thing.
Zac it is Jesus speaking. Look at his cool 🎸 guitars. Look at the beard. The hair. That's Jesus right there. I'm just wondering why he decided to do a TH-cam video thats all.
@Aqua Fyre My religion doesn't believe in that sort of thing?
You don't need to understand any mathematics at all to realize that his argument is complete nonsense. Basic logic tells us that a finite being cannot prove or disprove the existence of an infinite being. No amount of mental or mathematical gymnastics can change this. There are pre-teens who understand this; it takes an "educated" person to arrogantly and falsely think they can prove that God exists.
@@jimpeschke3435 Which is exactly was he says in the video. Maybe you should've watched it first
“A God you understood would be less than yourself.” -Flannery O'Connor
Not really, especially when God allowed Himself to be understood through His own self-revelation to humans in history. Is God 100% comprehensible? No. But did the eternal, almighty, triune God reveal certain understandable things about Himself that are beyond dispute? Yes!
It is a case of both, and - God is transcendent and immanent.
"Flannery O'Connor is wrong" - Jim Peschke
It is fallacious to believe that you cannot understand a superior mind.
@@jimpeschke3435 Can an orangutan at the San Diego zoo understand why non-furry bipeds are entering their enclosure and giving them a COVID-19 vaccine? Why would it be fallacious to believe that humans cannot fully understand God, when defined as an all powerful, all knowing, non-contingent being who dwells outside of space and time?
@@williamswenson3970 Non sequitur. A God can be whatever He wants, including a being completely understandable to humans. The orangutan metaphor doesn't hold either, since recognition of motive is not a "greater than/less than" phenomenon.
I never cease to be amazed that those to whom theology seems most important are usually the ones who give it the least amount of logical thought. Atheists and agnostics seem to have a much better grasp of these concepts, probably because they are not blinded by a "I already know the answers" mindset.
"The axioms can't be proven". Yes, that's why they're called axioms.
More properly, "Axioms need are taken to be true within the context of the broader truth or theorem." It is perhaps a subtle distinction, but nevertheless, an important one.
@x Florio I think you have misunderstood what is meant by "proof" and "axiom" within mathematics and formal logic. Their meanings are different in that context than you might use them colloquially. The standards of proof within mathematics are incredibly high. So high in fact, that most things that are taken to have been proven in other fields, do not meet the rigorous standards of mathematics.
Similarly, axioms are not arbitrary, but are foundational. In fact, you can think of them almost as definitions. For example. Euclid's first geometric axiom is that a point is specific location in n-space. It has position, but no size and no shape. This is an axiom and is far from arbitrary.
@x Florio This is incorrect. Axioms are the most basic foundational statements of any proof and are, by definition, self-evident. Otherwise, they would be merely arbitrary statements. The self-evidence gets to your "justificatory force" statement. Consult any intro book on formal logic for more details. I use Peter Smith's "An Introduction to Formal Logic" in the course I teach.
@x Florio I'd respond in more detail, but then I'd have to start charging tuition. Haha.
I think this conversation has served it's purpose. Have a great day and all the best to you.
No, that’s not.
An axiom is, by definition, a statement that is self evident or accepted.
If I say as an axiom that “the sky is green”, then I have a faulty axiom.
Axioms are truths we agree upon, which are used as the rules for a rational pathway to prove something we might not already have agreed upon.
The criticism of this theory’s axioms then isn’t baseless; it means that the argument is using faulty or not agreed premises.
The axioms used in this argument, then, are either intentionally false to get the desired conclusion, or are intentionally made for a Christian audience, which already agrees and thus doesn’t need to be persuaded.
If you understand the argument, and you have an atheistic perspective, this will become instantly obvious to you. One of the axioms (axiom 5) is only true if you already assume God is true, which defeats the point of using outside logic to prove His existence.
Brian: "I'm not going to say who came up with this argument"
Me: "Please let this not be the Ontological argument"
Brian: shows the argument
Me: "Darn"
You dont believe in it?
He also has an incompleteness theorem which states that the any mathematical formula with two axioms will need something outside the formula to prove it. Can you prove numbers are infinite? No. Same way with the universe. You will need something outside the universe to explain it.
@@safidif of course one can prove the infinitude of numbers
It is one of the most basic properties of the structure of natural numbers, "one can always add 1 more".
@@lucasdasilva23 um no. You cant prove it. You can only assume. You will never be able to prove you can always add one
@@safidif
The incompleteness theorem blew my mind when I heard about it.
"I like your funny words magic man"
You mean Magic Mike
*Magic Mike then starts stripping*
I'm halfway through and you're talking about, essentially, if I (the viewer) can refute the argument, then I should do it myself, and that I shouldn't be asking for proof that's beyond my ability to understand, which I think is fair enough.
I will point out that I can't know if the proof is beyond my comprehension until I encounter it; which means I've either already encountered it and didn't understand it, or I haven't encountered it.
But yes, I do assume that I'm capable of grasping the proof, because other people believe, so presumably they can grasp it too, right? It may be that I don't understand at first glance but I do assume I'm capable of wrapping my head around it eventually, because if somebody else could, why not me?
Or are you just admitting that you believe something you can barely understand? You can't have it both ways. You either believe based on sound reason, or you believe on faith which means you didn't investigate yourself, you just believed somebody else.
And now that I've seen the proof, I would ask, do _you_ understand it? Is this the reason for your belief? If it is, but others struggle to understand, then why not explain? If it's not, then how do you know it's proof?
Supposing I don't understand it, and therefore cannot refute it, does that make it any more valid? It just means that I'm out of my depth, which is something that I would have to accept in the interests of intellectual honesty but has nothing to do with whether the proof is valid. Similarly, Usain Bolt smashed world records for sprinting. The fact that I can't run as fast as Bolt doesn't mean his record-breaking sprints are invalid, nor does it mean the previous records should be upheld as current.
The Kalam was a dud from the outset and Bill Craig's attempts to resurrect it from the dead is universally considered a flop as well. The premises just don't hold up to even cursory review as an argument for the existence of a god.
The formulator of this was a Titan and one of my favourite logicians.
Had he lived in a time with deep influence/debate on Divine Simplicity, I think he would've taken it to the next level by showing an example of it.
One can only hope to reach the level of genius he had on a bad day.
One could say your comment was "Incomplete" without mentioning his name, could they? But yes He was a genius without equal even today
@@rossdsouza Thanks for that hint. Now I know whose proof it is!
The logic is ok but it relies on the axioms a lot of them which can be false and I think there are false
@@rotorblade9508 You think they are false? OK, mr. nobody. thanks for your opinion.
@@Darksaga28 Rotor is correct. Axioms can be false in the world of quantum physics. Logic breaks down. Do you understand the Heisenberg Uncertainty Priciple, or Retro-causation? Go look then up. Axioms are often solid in the world of Relativity, but not in the world of Quantum physics.
Based and Christpilled
What does that mean?
@@Mateo-et3wl it's meme, he's basically calling this video good
indeed
Based on what?
@@Leon-zu1wp math
I dont really understand how you can complain about people disappointed with your previous video about undeniable proof of god.
You literally clickbaited that exact thing.
I quit trying to understand God when I realized I wouldnt want a God I could understand.
Self-contradictory nonsense.
@@WhelandNorm how so. Is it possible to fully understand god, enlighten me.
@@WhelandNorm now you have 2 people to enlighten.
@@psychoskate970
Why would one have to fully understand something to believe in it?
@@HarpsDad22 you dont, that is what faith is.
I'm sorry, Brian, but I find it disingenuous that you are intentionally discouraging your viewers from looking up this theory to understand the points and counter-points. This is not an exercise in reason, but a push for us to believe your word that this really smart guy came up with a valid proof of God.
I am very happy to see that someone else actually researched this. When I was an atheist I was in a very deep "scientistism" mindset but when I went down the mathematics and logic route I learned of this proof. It was critical to my return to christianity. Thank you for doing a video on this!
I’ve been a math junkie for more than four decades. I was also an atheist steeped in scientism when I was young. I wish that I had encountered this proof then; I wasn’t even aware of it until this video.
@@JohnAlbertRigali so, now that you have been convinced by this logic (developed by a man who was not convinced by this logic), are you just a theist, or have you determined which religion is the only one that recognizes the true god? And, if so, what logic was used?
Why Christianity though? The proof says nothing about any specific god. Heck, the proof is _exactly as valid_ if you replace "God" with "unicorn".
@Based Jane-senist Try it. Replace "God-like" with "unicorn-like" and check whether the proof is logically consistent. You will find that it is so.
@@ribozyme2899 I mean that works if a unicorn is defined as an ever existing, omniscient, rational being, which rules out 99% of religions already.
My pastor, Fr. Pat once said to me when I demanded proof of God's existence, read the Bible, pray every day and when you come to a belief in Him and His Son Jesus, why...there's your proof. He was a good man and I miss him every day.
best reply that man can give - God never fails those who seek Him!
What about people who’ve done those things, believed in God, and then later came to see things differently, becoming unbelievers? Did they have the proof and deny it? Did they seek in the wrong manner? Did they pray too infrequently? What about people in other faiths who simply commit themselves to their religious teachings and practices and find their proof? Is that proof for their religion?
The fact that you managed to convince yourself that Christianity is real did not actually prove whether or not it is real. It simply changed your own perception of it, using a deeply biased book that would obviously wants you to believe in its unproven doctrines.
@Rachel Goldberg To whom are you ferring with your comment, ma'am?
Wtf kinda proof is that?
Yeah chief Imma need that in English.
you're not alone!
It is in English. It's just in the form of mathematical proofs, which is the nerd's English.😋
I'll wager a substantial amount that Brian can't provide what you need. He just heard someone say that it was a good proof...
@@amish-ish We're gonna need that in layman's English!
7:45 It's in plain English. Seems a bit redundant, but it is logical IF you follow the assumption that mathematics are an expression of pure logic. (from my very limited autodidactic understanding, the presenter is not really addressing mathematics honestly because he is ignoring mathematical paradox, and he should address examples of paradox, not only in pursuit of wisdom, but also because to assume that theoretical formulation is unable to be logically paradoxical is irresponsible. Contrary to what most people understand, physicists apply some paradoxical ideas to reality- as we know, paradox is logically fallacious in a Socratic sense... Maybe I am confusing the idea of fallacy between science and philosophy... Idunno...) What the presenter fails to address is that mathematics can be paradoxical, especially when dealing with creation models of the universe (in spots where infinite sequences arise) . I am not a mathematician, and I am totally lost in the Greek formulation- however, these are premises of logic which can be followed; they're just really cumbersome for most people. This was purposeful in part of the presenter, so that you would accept his premise as an absolute, while discounting other formulations which (while not directly doing so) might contradict his formulation.
I like how everyone who knew what it was saw it coming a mile away, and almost all of us think that there are better versions…
It doesn't matter what you say. If there is a god, he would know what would be convincing to a non-believer. The trouble is that, if he does exists, he has chosen to remain hidden.
The argument could be made that Him appearing any more than He does would make any action we make meaningless. This quandary is only a problem if you believe the one high God would force people to love Him and not do everything He could do to let them choose for themselves whether to do so. Personally, I find God very present; if I didn’t want to love Him, I believe He would out of His great love, not be present. Remember the type of Being we are talking about; “our ways are not His ways” and we should be careful not to impose our own ideals or how we wish or think He should do things if we want to truly gain an even small understanding of who He is.
@@sky365dt8 God, if he is real, could do something/anything to show that he exists. It would show to non-believers that he is real. It wouldn't compromise the choice to worship him or not. Personally speaking, I would not choose to worship him after having read the bible but I would believe him to be real. As for forcing people to worship him, we are told that if you don't worship him, you will be sent to hell forever. That, in my opinion, is forcing you to worship him, it is blackmail.
@@asianhippy He has shown many things to many non believers that have changed them into believers such as myself.
@Seek Jesus Christ Why can he not show his existence to all non-believers. If I had all power he is supposed to have, I do not think it would be a difficult thing to do. Why does he allow people to believe that there other god/s, when he is supposed to be the only god?
@@asianhippy Bible explains all your questions in the first chapter of Romans
I'm just like Abraham, i don't understand everything about God, i just believe, trust, and have faith in Him, Jesus and the Holy Spirit.
I don't think old Abe had the slightest idea who Jesus was...
@@chokin78 Or even the Holy Spirit, LoL.
I was dialoguing with a Fundamentalist the other day and he was arguing that the reason Cain burned fruit of the ground was because, unlike Abel who burned the blood of the lamb, Cain had a works salvation that God did not regard. Therefore do not respect any of the false religions, since they are going in the way of Cain. I asked if God commanded Cain to burn the lamb and they were like, “No, but they knew about Christ” 😅🤦🏻♂️
😂😂😂😂
@@chokin78 Bwahahaha amen 🙏 that was foolish comment. Ugh, god, what 😮 a complicated topic.
@@chokin78 John 8 56 Your father Abraham rejoiced at the thought of seeing my day; he saw it and was glad."
That argument you used when saying you’d have to be able to understand a claim to believe it, this can be easily taken advantage of. If someone says
“I saw a unicorn at my house yesterday” and some one else says
“Really? Is there any evidence, did you take a picture?” Then they reply
“Well you just can’t understand it, it was there and I saw it”
You can see where this is problematic when humans claim they’ve seen visions of god, and the argument you made enables that.
Agreed, he conflates a reasonable belief in scientific theories with faith in a god, which is a dangerous idea. A person can have a justified reasonable belief in a scientific theory that was developed through the scientific method and backed by evidence. To whatever extent that reasonable trust in the scientific process is "faith", it's far more reasonable than faith in a god that's unprovable or somehow beyond our comprehension.
...because a person disagreeing with Brian necessarily hasn't read them? Their arguments aren't as convincing as you claim they are.
I knew who it was gonna be when you mentioned one of the greatest minds and logicians of all time. I've always struggled to come to understand it. This is more to say with the brilliance of the man who I think pushed the limits of what human intelligence are capable of. The end of his life is a sad one unfortunately. God Bless and thank you for all of your videos
Can you please tell me who the man was?
@@myrddingwynedd2751 Kurt Godel
@@myrddingwynedd2751
Yes it is Kurt Godel and Einstein used to get up early in the morning just so he could walk with Godel to lessons in order to pick his brains. Godels incompleteness theorems also buried Logical positivism.
This seems like a mathematical variant of the Ontological Argument, which I find hard enough for most people to really gets their heads around, but thanks for bringing it to everyone’s attention.
If only logic classes were taught in schools.
@rcormon thank you for this comment now I can look this up.
I was thinking the same thing
It's a variant, but the conclusion is not exactly the same.
The conclusion presented in this video is basically the completely possible logical necessity of an entity with the property of "God" to exist.
So it's not that God exists perse... it's that, assuming the axioms apply to our understanding of what "God" and "existence" entail, then an entity with "God" properties is a logically valid conclusion.
Saying God exists is a bit... flimsy imo, it kind of begs the question of what we understand of a godly being even being able to be percieved as an existing entity.
This seems more lovecraftian than anything 😂
@rcormon The same guy who showed that there are unknowable truths in mathematics? Love his stuff and yes, I understand it.
Another *lengthy* but excellent lead-in. My college logic professor would’ve enjoyed it.
The proof’s font size is too small to read on my smartphone. Will revisit later.
Could you please post the last two images or slides so I can read them. It would be much appreciated.
Hi there, thanks for sharing your thoughs, they are always very inspiring. Btw, I believe the definitions for "Axiom 1" and "Axiom 2" are interchanged; ie: the definition of Axiom 1 is explaining Ax2, and the definition of Axiom 2 is explaining Ax1.
The only thing that this, and every other argument, for the "existence" of a god does is prove that the believer believes. No argument can prove objective existence, that a thing is a part of objective reality, the reality that we all share.
Me, waiting for 'Mathematical Proof of God's Existence'
Video is over and I'm still waiting for Mathematical Proof of God's Existence.
Me too. Yawn.
With all this talk of essences and necessities, I am reminded of a immensely intelligent visiting RC Professor during my studies at Lutheran seminary who introduced us to an even more immensely intelligent person: St. Thomas Aquinas.... Boy, after those classes I thought that all apologetics of the post enlightenment era are like Kindergarten in comparison. The closest I can get to describing this is me cooking away as a student thinking myself a rather good cook and then watching Master Chef Australia and literally having my jaw on the floor the whole time, realizing that there is a whole new level of food out there in the world, and what I have been doing wasn't really cooking, it was more like...pathetic food agglomeration in boiled water and oven.
I thought you were going to give a mathematical proof of God's existence.
how silly of me to expect you to actually do it.
Reading the whole thing, it does look like a variation of an argument proposed by a certain archbishop a long time ago. And that's not me lapsing into argument from authority. I find it very convincing.
I also find a variation of one of Aquinas's arguments, the argument of the improbability of contingent being, to be even more convincing on a metaphysical level.
Its Gödel's ontological argument.
No variation is required for any of Aquinas's proofs, only clarification. People think they know what Aquinas means, but moderns seldom do.
@@grailcountry some moderns who have graduate degrees in medieval philosophy understand him fine. and we also understand that citing Thomas as an authority uncritically is completely contrary to the spirit of Thomas's own thinking.
@@gregorcutt1199 some moderns who have graduate degrees in medieval philosophy understand him fine. (Appeal to authority) employed to critique my appeal to authority. Look, I'm not going to get into the finer points of Aquinas in a TH-cam comment. What I wanted you to see is that you had an unjustified, and typically modernist bias that just automatically assumes that all knowledge is like technology and that newer is always better. In philosophy this bias has no place. Challenge it, or don't challenge it, you will be the one who suffers. I have my own bias, everything a since Descartes is total rubbish. But I would be a fool to stop engaging with new ideas and challenging my own bias. I was trying to do you the favor of pointing out your bias to you. My purpose wasn't to get into a long discussion over the finer points of Thomism.
@@grailcountry You took an innocent, honest comment about one of the five proofs and instead of asking what my take on it was, you immediately accused me of not understanding Aquinas. You should have started this conversation with "Interesting. What is your variation on the argument from contingency?" That would have been more charitable and productive.
If you wish to have intelligent conversations, you might consider a starting position that's less hostile.
I'm done with this thread.
You should write a book, documenting all of your studies and proof. Please!
This is not his "proof"; it's Gödel's. And it's a proof with known flaws.
@@level3143
And you came up with those flaws, yourself... Or you went to some other sources to do that for you like he already predicted? 🤣😂
@@emmanuel8310 no I did not go to some other source upon watching the video. I am a mathematician and was already well aware of both this "proof" and the volumes of refutations of it.
Furthermore, it's a bit odd/dishonest of Brian to post someone else's long debunked "proof", and then refuse to cite it to prevent people from finding said refutations.
@@level3143
Hahaha!
Very funny?!
Are you Isaac Newton or something??
You saw it from somewhere, you're not the source yourself...
And it's not a mathematics that's so ubiquitous... You came across it at some point (no matter what you claim to be).
And... How much do we know that you even understand it yourself??! 🙄
So, it still stands that... You're quoting external sources of what you can't exactly phantom yourself... And that's exactly what he said.
@@emmanuel8310 The dogma of scientism is a funny thing
Thanks. I believe that it's worth while to think about logic and rationality like you do. I have a point to make concerning axiom nr. 5: Nescessary existance is positive. As existance means coping with the lack of substance (, see Spinoza, e.g.),there is a slight contradicting tendency to take positiveness for granted in that axiom. The outcoming of existance may be nescessarily positive, but then you have to take the category time for absolutely valid, which it is not.
Most beautiful aspect of this video's message is how I personally experienced it in my mind. Immediately I began to defend myself with replying how I'm not demanding anything from a suggested video. Then realized it was suggested to me and what that implied since I selected it... Defence again came to battle as I feel I'm being led towards helping nonbelievers to come around (not necessarily my place but hey, I'm just being real about my thoughts lol) and I closed out with realizing this is divine love telling me to take A chill pill and perhaps stop taking things so deep that I'm no longer enjoying myself :)
Thanks for delivering the message brother I love you for this from all others like myself out there! sometimes we need called out on our lack of gauging our own abilities... No biggie or issue because it's not delivered hatefully or belittling. Just someone being kind enough to speak truth
I don’t need proof
Man you are enlightened!
You mean you don’t need proof that Allah is the one and only true God because your faith is enough proof?
Yes you do. Otherwise you’re lying about what you actually believe, if you don’t believe it without proof
Thank you for the video. I appreciate your position on this and look forward to more videos.
How did you get definition 3? Also would things like physical and visible be a positive property?
The definitions are just that, definitions. They're not derived from other terms of the argument.
@@ed9957 The problem is that it is not a definition. It says that x exists if every essence of x is necessarily exemplified.
If you're arguing that this treats "existence" as a property and misuses that to define God into existence, you've hit the nail on the head. Agreed
@@ed9957 Existence is a property, but the problem lies when you say that something exists if its whole essence is a necessity. It's just a non sequitur.
They didn’t get it, the argument is incredibly fallacious, and you’ve found one of them.
By the way, by positive, I strongly believe they mean objectively morally good; based on the context
Love the way you speak. My favourite quote on proof is from Edward de Bono - 'Proof is only a lack of imagination'. It would however be good to try to tackle this mathematical proof and at least attempt to explain it and understand it. Would you be up to the task of trying?
*"The carnal intellect is enmity against God; it is not subject to the law of God and neither indeed can it be"...Romans chapter 8:7*
You cannot prove the bible by quoting the bible, it is a logical fallacy thus your post is void and means nothing. I challenge you to prove your God without the bible!
@@genome616 you actually just confirmed and proved the scripture i just quoted by your comment and reply!
@@genome616 "The only argument against the Bible is an unholy life. When someone argues against the Word of God, follow him home and see if you cant discover the reason of his hatred and enmity; It always lies in some sort of secret sins"...C H Spurgeon
@@genome616 can you prove science without looking at the science?
can you prove science without using and testing the science?
@@genome616 Can you get a building without a builder?
Can you get a painting without a painter?........Neither can you get a creation without a creator!
Scientists have proven that DNA is coded: how do you get code without a coder?
How do we get design, as we see within the human body, without a designer?
How do we have universal laws without a lawgiver?
Scientists have proven that in just one strand of our DNA molecule there are millions of bits of information: how do you get information without an informer?
Where does the conscience come from? This is why we feel guilt whenever we say or do things we know intuitively that are morally wrong?
This is 7+ minutes of preempting "You won't understand this so better just accept my proposition". The argument structure is at 7:40 and in words at 7:45.
It basically defines by axioms a thing G that has a set of things (x) and we can just go ahead and assume that the axioms are good AND that G(x) is Brian's god.
@@UncleShamus the field is called logic, look up "Gödel's ontological proof" (this paper is somewhat known, is from the 1940s and has been criticized/disproven, so make what you want out of it).
You can look up others logicians from the same era, like Wittgenstein (Tractatus Logico-Philosophicus) and Russell (Principia Mathematica), btw logic spans across a lot of subjects.
There is a TON of literature on the subject but remember that logic is math and, just like math, doesn't care about principle of authority.
@@UncleShamus I think the specific notation is called "predicate logic". As with any branch of logic, it cannot be any more truthful or revealing than the assumptions or axioms that go into the logic.
For those who are wondering what the Mathematical proof is, it's known as Gödel's ontological proof. Gödel is using symbols( as this is symbolic logic) in order to simplify the premises made in his argument. I have to admit I do not understand what the symbols mean as I never took symbolic logic but basically he's using premises, a subject and a predicate in order to form his argument for the existence of God. Hope that helps!!!!
What one can understand of God is only what He has revealed to us for salvation; if/when one is fortunate to “glean” more than this, there are no human ways of describing it ( but one’s life changes and impacts those of others).
Read a little about the life and mathematical philosophy of Blais Pascal.
(Pascal's wager fame)
He opined that reason will only take one so far in understanding God. The rest is a matter of faith.
Just interesting.
Faith is a light that guides reasoning. I agree, reasoning has a limit
Much more wisdom than in this mathematical "proof".
A potential weakness in this proof: even if it successfully proves existence, it says nothing about uniqueness. In mathematics, existence and uniqueness are independent statements that must be proven separately, and the latter is often harder than the former.
But I don’t need mathematics to feel God’s presence. :) Thank you for your videos and God bless!
Very interesting. I suppose that if this proof is true, that basically forces everyone to either be a monotheist or a polytheist
Do you accept that Bible and Koran are incomprehensible and thus meaning less.
@@swamivardana9911 Nope because that is incorrect
@@JacketOff99If you understand "GOD'S BOOK" then why is God incomprehensible.
@@swamivardana9911 Understanding God's book doesn't equal understanding God.
Great video. As a professional statistician I particularly appreciated:
1. You comments on empirical evidence. I know space was limited, but empirical evidence in the strictest sense is actually the weakest form. There are ideas in mathematics which would have not been considered settled and "proven" in any other field (physics, chemistry, etc.) centuries ago, but for mathematicians they are still not proven (infinite prime couplets for example). Mathematical (i.e. logical) proofs are by far the most rigorous.
2. Your comments on demands of proof but resistance to the effort required to understand them. When I teach certain concepts to third year undergrads, they will sometimes balk because they are counter-intuitive. I then provide a few demonstrations and "almost" proofs that satisfy most, but not all, students. I then offer to refer them to the papers which provide the proof they say they want (and to answer any questions they have on them) and they either don't follow up or complain, "I can't understand that." Which is your point precisely.
Well done!
(Don’t hate if I’m missing something)
Why should any property entailed by a positive property be positive?
My example: Kindness is a positive property. Being overly kind can cause harm to one’s self (because people tend to care less about themselves and more about others in such cirumstances), so a property which is inherently positive consequently ends in a negative property (here the reduced health).
You haven't defined "negative" and "positive" so your argument is based on assumptions.
I REALLY wish I had someone who could attempt to explain this to me 😭
This is Gödel's Ontological argument for god. It was discovered after he died in his night stand and was probably never meant to be published. It essentially formalizes an ontological argument in Modal Logic, which means: It attempts to prove that a characteristic of a maximally great being would be existence. In other words, in order for a being to be maximally great it must exist, otherwise it would not be as great as a being that did exist. While sort of subverting the problems Kant raised with ontological arguments of his day, it does run into two major problems. The first being an idea with in Modal Logic call Modal Collapse. In Modal Logical propositions can be possible, necessary, contingent, or impossible. Where possible is: not necessarily false, necessary is: not possibly false, contingent is: not necessarily false and not necessarily true, and impossible is not possibly true. Simple enough, but the problem of Modal Collapse comes in when every true statement becomes necessary and no true statement can be contingent. What does this actually mean? Well this maximally great being must do great things by its definition and it cannot do things that are not great. Meaning that its existence is fully reliant on its inability to do any action, thought, or any tangentially related verb that would negate whatever adjective ascribed to the being. At best this removes free will, as this being no longer has the choice to not be great, at worst this destroys the argument as it has become circular, the being has to exist since there was never the option of the being not to exist. The second problem is David Hilbert's problem of element substitution, which is where we get the majority of modern geometric mathematics, but the core concept is simple. When talking about axioms, the elements within those axioms (in this case the adjective maximally great would be one) do not need to be treated with any explicit meaning. In the axioms that make up geometry we have point, line, and plane but we can change the words to tables, chairs, and glasses (this is David Hilbert's example) and the axioms are still valid, it is there relation to each other that matters. So, where does that leave us? Well we can change the elements, the adjectives, in the axioms of Gödel's proof to prove the maximally evil being or the maximally purple being. The relationship between the axioms still holds, the fundamental logic that it is built upon, but the intuition that we now have about the being has changed (Is God evil? Is God Purple?). In fact we could prove the existence of just about any being given we chose our adjectives correctly. In short, we have had nearly 100 years to look at this proof, a proof that really wasn't meant to be publish and was more of a play thing of Gödel in his spare time.
@@dbob132 that was mind blowing, thank you Sm for you effort❤️
A great being is not one that can ONLY do great things, but that is capable of them in the first place. I can be super buff and never use most of my strength on my job, but that oesnt mean im not buff anymore.@@dbob132
I believe in HIM WHO LIVES IN ME IN A REALITY I CAN UNDERSTAND.. NOT WITH WRITTEN FORMULA’S.
4:43
Well believing doesn’t really count man. Why? Because we all are commanded to know G-d. Believe and knowledge are obviously two different concepts
@@sidtapia09 Even knowledge isn't good enough. "You believe that God is one; you do well. Even the demons believe-and shudder!" (James 2:19). "Believe" and "knowledge" are fairly closely connected. I'm not a Greek scholar but here is a copy and paste from the E-Sword program:
The word "Believe" in John 3:15:
πιστεύω
pisteuō
pist-yoo'-o
From G4102; to have faith (in, upon, or with respect to, a person or thing), that is, credit; by implication to entrust (especially one’s spiritual well being to Christ): - believe (-r), commit (to trust), put in trust with.
So we see it's not "believe" as in "I believe there is an apple on the table", but there is that trust aspect.
I believe in Christ and His work and love for me because I've gained knowledge about God through His Word, which leads me to "trust" or "rest" in Him. Obviously, there is a work of God first in the new birth or being "born again".
I admit I don’t completely understand this argument, but from what I understood I feel fairly confident in saying it didn’t imply God’s sentience, or him creating the universe or him being powerful, or him existing as a real being rather than existing as just an idea. It doesn’t say anything about what being God-like means, other than it being consistent. This means that you could exchange God-like with any other word, or letter, or symbol.
Bingo
The definition of God-like is questionable, but you're asking the proof to prove too much. The proof attempts to show that such a thing with the essense of God necessarily exists. It does not attempt to show, for instance, that such a thing with the essense of God necessarily does what God has been proported to have done according to some religion; showing such a thing takes work beyond what is demonstrated in the proof. Demonstrating that such a thing with the essence of God is all-powerful, to take another example, is an entirely different exercise than demonstrating that such a thing with the essence of God exists; they are simply different questions.
Most proofs for the existence of God actually prove that some specific property must necessarily exist. They then demonstrate from that necessarily existing property that other properties must necessarily exist--and exist within the same entity. What results (if the demonstrations succeed, obviously) is a necessarily existing entity with a bunch of necessary properties: a god of some sort, or whatever you want to call it. It is an even further exercise to then contend that the necessarily existing god with these necessary properties lines up with the deity described by a given religion.
In fact, I switched "God-like" with "unicorn-like", and proved to my little sister that unicorns exist somewhere.
I've had dreams of myself reading a cultic book that I can only assume is cultic as my knowledge on cults are quite limited however waking up in reality I read my Bible and for a few seconds the words started moving around until I started to see pictures of symbolism representing the birth the death the resurrection and the uprising I'm actually confused with what I seen as I try to make sense of it by searching for others who may have a better understanding of what I experienced however I'm skeptical of doing so because they may try and drug me again just for having hallucinations from reading books
Person with a math degree here. I've spent the last two hours studying this "proof" (the formal logic version presented first, not the English version which is vague and confusing with its terms, I suspect deliberately so.) I can assure you that it is total garbage.
First we define the quality of having all positive properties in the universe as being "God-like." God-like-ness is itself a property (already treading into dangerous territory in terms of set theory). Then we say that if one property of something logically implies all its other properties, then that is that thing's "essence." It follows directly from this that god-like-ness is an "essence." Then we define necessary existence to mean that if something has an essence, then that essence implies that something with that property must exist. (Keep in mind, this is a definition, not an axiom or theorem, so nothing has been asserted yet--a weak and futile attempt to hide a circular argument.) We then declare as axiom that necessary existence (the defined version, not the real world or formal logic version) is a positive property.
The proof is never given, but obviously the chain of logic is supposed to be, consider x such that x is God-like. God-like-ness is an essence of x, by definition. Also by definition, x has all positive properties, including the property of "Necessarily existing" (the defined version, not the real world version). Then by definition of "necessarily existing," God-like-ness being an essence of x implies that something must exist (real world version of existence this time) with the property of god-like-ness. Therefore it is necessary that something god-like exists (real world definition).
The proof attempts to avoid a circular argument by adding a new defintion of "necessary existence" distinct from but still relying on the real world definition. It doesn't work, it's still circular just with extra steps to hide it.
I could write hundreds of pages about all my objections to this proof. For example, even if we agree and say that something "god-like" exists, we haven't proven that any other positive properties exist. "Necessary existence" might be the only positive property possible. So in the end anything that exists could possibly fall under the definition of "God-like." You, me, the tree, the rock. For everything you want to claim about god, you now have to prove that it's a "positive property" consistent with the definitions and logic of this proof. Note that axiom 2 (in the formal logic version with the if and only if statement) specifically disallows god from having any non-positive qualities, since for every non-positive quality, not having it is axiomatically a positive quality. (Again, this is from the formal logic version that uses the if and only if, not axiom 1 from the English version that is much weaker.)
Let's consider the property of "having allowed your own son to die when you could have easily saved him." You could argue that it was positive in that circumstance, but then you're going to have a hard time convincing me that that meets axiom 4 (positive properties are necessarily positive). Or maybe that's not a "property," a concept that, after all, is only introduced axiomatically. We can see that to defend this proof for the existence of a Specific god, then we either have to take on an impossible task of defining and classifying all the properties that god does or does not possess, or we have to hide behind the vagueness of the axioms, to the point where they become totally meaningless. That's IF the proof wasn't invalid to begin with, which it is.
Yes, I cannot see how he derives his Th. 4. Also the notion of positive property is not adequately defined. Is being a god of war a positive property? Is being a god of peace a positive property?
It was both the Father's and the Son's collective plan for the Son to die to reconcile humanity to Themselves. So why would the Father "save" the Son of his death when the Father planned to raise the Son from death after three days? Why would They "spare" the Son's death and leave all of humanity doomed when the plan was to save humanity in the first place?
In order to truly argue against something, you have to know what you are arguing against and represent it properly. Otherwise it's just a straw man fallacy.
@@lukasbryant9881 Wanted to put in a thought to your post here but the first part isn't making sense.
You said:
"So why would the Father "save" the Son of his death when the Father planned to raise the Son from death after three days?"
That sounds like this (I'm not trying to be insulting):
Why did Beth eat the bread when she planned to make bread in the first place?
The fact that Beth made bread points to someone eating it. So I don't understand your question. Can you re-phrase it some other way?
By "They" do you mean the Trinity? What do you mean by "spare"?
People were not doomed as such by Christ's death and resurrection. By Christ's death and resurrection, many people are saved and the way to God has been opened.
How do you see Christ's death and resurrection? What do they mean to you? I ask to see where you are coming from.
@@lukasbryant9881 Yes, we should, however, be very careful when we say that the Son died. The Son is the second Person of the Holy Trinity and the second Person of the Holy Trinity cannot die. What died is human nature of the incarnate Son. What did Jesus say to the RH thief? Today you will be with Me in Paradise. The second Person was going to be in Paradise also, because he was going to be everywhere: In the Throne with the Father and the Holy Spirit; in Paradise; in Hades along with the human soul, while the body was dead in the tomb.
But the real issue of the video was the proof of the old ontological argument which you correctly do not call an ontological argument. For once you start using existential quantifiers, the meaning of the proof becomes epistemic and not ontological. When I say 'I exist' what I express is the immediate awareness of my lived experience. And this is not something that can be externalized as a property. If the French existentialists after the war make a valid point, this is it. It was a good reaction against the epistemic direction of philosophy that became dominant after Descartes.
When I say: (there is an x such that) (x=I), i.e, in the epistemic way that Descartes approached existence, what I say is that I put in doubt and question the validity of the immediate awareness of my existence. I am after finding that x which is identical with me. Descartes' proof was that by doing that I already have found the object that I am looking for. However, the very formulation of existence in epistemic terms brought philosophy upside down.
Now, if we look closer, what Descartes managed to prove was that the 'I' that does the searching move right now indeed must exist. But how does he know that my 'I' right now is identical with my 'I' a second ago. He cannot prove that. The epistemic 'I' is not identical with my existential ontological 'I' of which, by the way, I am sure about.
In Hume, the Cartesian plague that has struck philosophy is even more obvious, because in Hume the point that I have just make is explicitely made. Hume epistemically concludes that he cannot be certain that he himself exists, although we are all sure that he was certain that he himself existed.
Along the same lines Kant read and reinterpreted the old ontological argument. If it were to be legitimate, his legitimacy ought to be guaranteed by the new epistemic approach. God was a being of infinite perfections, but his existence was to be understood in the way we understand the epistemic quantifiers in logic. His existence was something for us to find, in the same way as we understand in science the expression "the exist a planet that disturbs the trajectory of Neptune", and our scientific task is to find that planet.
As far as I know, Kant was the first to make clear and explicit the distinction between epistemic and ontological existence. This is very good, but he followed the modern tradition which recognized epistemic existence as the only legitimate one scientifically, which means that ontological existence is only of psychological value and has very little to do with truth.
As I said above, the existentialists came back to stress the importance of the ontological existence. To make the point more clear, let's suppose that I go to ancient Athens and I am looking for Socrates. I have been given an adequate description of the man such that I am pretty sure that I will recognize him. The situation can be articulated as follows:
(there exists x) such that (x=Socrates), where the name 'Socrates' here means the set of characteristics which are adequate for me to recognize Socrates. But this is not what Socrates means when he says 'I exist'. And this is not what Plato means when he says 'Socrates exists'. Socrates has an immediate awareness of his lived experience, which cannot be seriously compared with my adequate characteristics to recognize Socrates. Plato also has a direct acquaintance of Socrates life. Most of it can be lived but cannot be conceptualized, and if we were to ask about Socrates' essence, it would be more fair to look at his lived experience as closely as possible. The philosophical or biological definition of being human, and the list of my descriptive characteristics have very little to do with the essence of Socrates' life, which was a life in search of truth is a glorious city in a state of rapid demoralization and decay. That existence has nothing to do with existential quantifiers, and if that is true for Socrates, to a much higher degree is true of God.
For a saint the existence of God is the mystical awareness of the presence of the Life of God in his heart. The saints live the life of God, and Kant's point that if I remove existence from the notion of God the notion does not changes is philosophical nonsense par excellence. If you remove existence from the notion of God you end up with a dead notion of God in your understanding and an empty nothing in your heart. This is the difference between St Anselm and Kant.
Now, if we go back to the epistemic approach of necessary existence, we would have to me a distinction between 'necessary finding' and finding a 'necessarily existing object'. There is a huge difference between saying
(it is necessary that I find) F(x); namely, necessity operator, followed by an existential quantifier and,
(I am after finding) (F(x) which necessarily exists); namely, existential quantifier, followed by the operator of necessity.
I think that you formally write down the first but you mean the second.
If there is a valid proof along the lines that you present, it needs to be spelled out in more detail because a lot is involved here.
If your brain is the result of guideless
Processes and a random clump of cells...why would you believe anything it says? As in your last post.
It's 42 isn't?
Life, The Universe...Everything. Sounds about right, my friend.
😂😂😂😂😂.
Respect, man!
Dammit! I thought it was fish. Guess I have to start all over.
Well done. Thank you - and you've framed your talk with as much empiricism as is practicable.
First of all, I would like to point out that regardless of objections to any of steps taken or axioms assumed, the proposition fails on the basis that its conclusion reduces to a useless tautology.
Definition 1 establishes a label (God-like) for the set of all essential positive properties.
Definition 2 defines an "essence" as a property which implies exactly all of the properties of the subject.
Definition 3 declares "necessary exemplification" in terms of the universal exemplification of the property's set of possible essences.
Axiom 5 declares "necessary exemplification" defined in Definition 3 to be a member of the set "God-like properties" defined in Definition 1
Thus, the conclusion in Theorem 3 essentially reduces to the following: "Necessarily, the property of being exemplified is exemplified", or in other words: "If something necessarily exists, then it exists".
Unfortunately, this is useless information that does nothing to prove the existence of anything.
Secondly, and equally important, an axiomatic failure of this argument lies in Theorem 1 and Corollary 1. There is no reason (or at least there is no reason provided) to think that all positive properties are required to be possible. Necessary existence is a member of the set of positive "inconsistent" properties (using the definition from the argument) because, at its root, it is derived from equivocal redefinition of the term "possible world" (making it inconsistent [standard definition] to use with a standard definition of "possible world"). Thus, in Corollary 1, the set of properties labeled as "God-like" is in fact NOT consistent, Theorem 2 cannot succeed to show the property "God-like" as an essence of anything, and Theorem 3 falls flat.
As someone who believes in God, I think the flaws you point out here are very valid.
In summary, "I think god exists, therefore god must exist"
The absolute fulfillment of prophecies come true fortold from hundreds to thousands of years before, an honest observation visit to a zoo and a look in a mirror is plenty of overwhelming proof alone. He is that he is the great I Am.
The absolute fulfillment of prophecies come true ???
You are right to be worried about people appealing to authority: most of the time reasoning is based on faith in other people, rather than on the qualities of the arguments themselves. Nevertheless, you can't escape this: even if a person completely understands an argument/proof, it's still very important that the seek out third-party critiques of it. People all process knowledge at different paces and many might miss one thing or another while assessing an argument. People make mistakes, mathematicians make a lot of mistakes before establishing their theorems, and any person's thought process is faulty at best. Only through hard work and COOPERATION can we efficiently improve on knowledge.
As a student of mathematics and logic, I can confidently say about this argument: these axioms have little bearing if any at all in the real world. And don't fool yourself: any theorem is only as good and valid as its weakest axiom. Being "right", "consistent" is not a "positive" quality of theorems, after all they can only be constructed through sound undeniable logic since logic is a rigorous non-ambiguous system. The only metric for how good a theorem is is your faith in the axioms. This brings the whole matter back to personal faith and empirical observation. As will always be!
In the 1990's I was a bridge builder. I spent a decade building bridges.
While we were unloading a 98 Link-belt off a Lowboy, I went to grab a chain and binder that was laying on the trailer, sitting in the open. I tried several times and couldn't push my hands within a foot of the chain, with nothing but air between my hands and the chain, until large surges of sparks caused us workers to quickly back up from the trailer. The crane had rotated, and the boom was hitting a power line.
Blue flame was sparking.
I had just waded in the small stream cutting creosote piling with a chainsaw
while waiting on the truck to arrive with the crane
My pants and boots were soaking wet.
I was the ground.
Should've been burned alive.
It's been nearly 30 years now.
As time passed, my mother let me borrow her copy of Corrie Ten-boom's
book "Tramp for the Lord". It showed me how to pray.
Through the years, many more times God has "shown up" in my life.
Good times, bad times, real bad times,through joys, and triumphs, failures, and great loss ... but God has always been there. Always with me, always with you.
No argument can dissuade me from what life has shown, time and time again. That God does exist.
You see the power line on the left, the sandy part on the left is close to where the low boy was parked and the bridge is just ahead a bit
I'm a traditional Latin Catholic, a doctoral student of early Patristic theology and I understand the argument. I did not Google any critiques. I am not particularly confident in my own ability to reason. I have a horse in this race, I would love good arguments for the existence of God. This argument will be dismantled by our atheist brothers and sisters. It's not good to market these things as irrefutable, you'll only seem more 'silly' when a good counter arrives.
I didn't catch where he marketed the argument as irrefutable. In fact I specifically remember him saying that the logic is sound but the axioms can be questioned.
If you understand where he's coming from, his point is not to offer irrefutable proof of the existence of God but to make people think for themselves and hopefully realize that all reason relies on unprovable axioms. He's mainly going after the atheist that was taught at some point that smart people don't believe in things that can't be proven empirically and abandoned their inquiry there.
@@danwheeler5530 by saying “‘mathematical proof for God’s existence”
@@rotorblade9508 From Wikipedia: "A mathematical proof is an inferential argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion."
This is indeed what is presented here.
That makes no sense watch the video again cuz your clearly weren’t listening
@@natea8255 Hi Nate, can you specify exactly what I've missed? I'm not precious about being wrong, just interested.
man, this takes me back to my math days
This isn’t about you
@@DaGubah501 certainly not. I'm not that smart.
@@fr.thomasherge3504 teach math side gig, cash 💵, that’ll definitely be about you. Nothing wrong with that. Sounds like your good with numbers. Life is annoyingly loving 🥰
Thank you for your service father
@@mikethemonsta15 His attire is giving me alter boy flashbacks 😳
Is it possible to add subtitles to this video please🙈
Thanks Brian👍🏼
I'm not so sure about theorem 1... But perhaps I don't understand what is meant by a "property" here. Is "infinitely large" a property? Is it not a positive property because "infinite" is in fact a negation of "finite"?
I don’t understand why you’d fault an atheist for looking up someone else’s refutation of the argument.
You say it’s an exercise in faith in someone else’s reason. Sure, if you want to call it that. But there’s nothing wrong with it epistemically. If someone else _has_ done the heavy lifting in refuting the argument, great then I don’t have to do that heavy lifting.
But if you’re so keen on atheists trying to refute the argument themselves, why aren’t you equally as keen on theists to try to come up with the argument themselves?
After all, coming here to see someone else present an argument for God’s existence is an exercise in faith in someone else’s reason, is it not?
Sorry he uses the “you’re .... [deficit]” form of reasoning. You are not allowed to say anything else, or...
@@eddyrand6952 Sorry, I did not understand your comment.
I was an atheist then an agnostic for about 4.5-5 years, and the genius guy who you are talking about is the one who made me believe in God! He is the mathematician who was a nightmare to the great genius mathematician "David Hilbert" when he said "we are here to know and we shall know!" in a mathematics conference, then just a while after that another great genius (whiich was a great friend of Einstein) came up with this mind-blowin and scary mathematical theorem!!! Hats off to him. Just let me finish with a quote by another French mathemtician after he studied that theorem, he said "God exists because we know that Maths is consistent, however the devil exist because we cannot prove that Maths is consistent"! Enjoy
God cannot make something objectively true...If something is an eternal truth, it's neither created or invented... Unlike God
the fuck? that literally dont make sense@@gazagxrlx2974
Axiom 1 and Axiom 2 are inverted from formula to description
easy for you to say
A God Who desires to have a personal relationship with the beings He created should endow those beings with an ability to perceive His existence in a comprehensible manner. Stating that "we shouldn't demand to understand God because He's too complex and we're too stupid" would work in a deistic worldview in which God doesn't interact with the beings He created and doesn't punish them with eternal damnation for their inability to believe in His existence, an existence which they were not endowed with an ability to perceive in a way that would make them believe in.
It's impossible to see things that exist outside of your conscience existence. God might be like air, something so there you cannot see it like air.
@@brokenmummy232 how do you know you have picked the right god
@@brokenmummy232 how did you improve why doesn’t god just exist among us then no one will not believe in him I know the Bible says no one can see him and live but he could have just stopped that verse from being written
Jesus: knock knock let me in
Me: what do you need?
Jesus: I want to save you
Me: from what?
Jesus: from what I’ll do to you if you don’t let me in!
@@brokenmummy232, you misunderstood me. I am not an atheist. I know that God exists. I have read The Bible and experienced supernatural signs from Him many times. I am certain of His existence, and I have experienced the change of heart you spoke of too. It didn't last long because I fell back into sin, and then I got hit with chronic pain, which led me to currently be intellectually aware of His existence, but emotionally antagonistic to the way He runs things. Also, I don't consider that the intellectual inferiority of a being should be an argument to deny its right to use an ability it was endowed with, namely reason. If it uses it faulty, an omnipotent and omnibenevolent Being would make the inferior being understand the errors of its arguments, not shame it and threaten it with punishment.
@@brokenmummy232 funny, life experience did the same thing for me - no God required. Perhaps you should give yourself more credit?
This is so amazing to me...my dad used to say mathematics prove God! He was born in 1914. He also used to say “don’t go to Hell, don’t go to Jail, and don’t go to the poor house! I took that as faith, honesty, and effort. Hmmm.
Many people are under the delusion that poverty = goodness under Christian teaching, but that's BS and I wish people would stop it. Poverty is a kind of hell in itself.
1914?! How old are you?!
@@BokanProductions Old!
: )
Sounds like you have a good father brother cherish those blessings mate not everyone gets parents. I say the same thing to my boys by the way when God returns some sort of math algorithm is gonna come out and say there was proof all along lol the proof is in the word just seek him first in all of your ways and he will direct your path, also says my people parish for lack of knowledge. Look up folks he's giving us signs for the season. Love yal stay prayed up. Maranatha!!!
This is brilliant! Thank you so much for it! I had never seen this argument thoughout my philosophical years of Seminary formation. This will be truly helpful, as we have some youth groups in our Parishes made up by advanced Physics students, who have just converted and are seeking to understand and to better live their faith.
I did. But in my theology degree we only learned the Godel Ontological fallacy as an example of an argument that is logically unsound hence fallacious. There's a good reason it is not taught in majority of philosophical and theological education institutions, especially christian institutions, as it inevitably leads to 'proving' every god ever claimed to exist. Which runs the high risk of leading to the problematic outsider test of faith. Unlike the Kalam, it's impossible to change the axioms (which are fallacious themselves) without changing the mathematical equation and making it invalid.
If you want kids to leave christianity, show them the Godel ontological argument. Even better show it in a class with christian, hindu and islamic students and get them to each solve the equation using their own gods. surprise surprise, they will all come to the same 'correct' answer. Vishnu is real. lol.
I think this proof essentially boils down to: Anything with properties exists. Which is true in the abstract. That doesn't mean there is an instance in the "program" that has these properties. Which is the essential question atheist are asking. Show me the memory value or a pointer to where this instance is in memory before I will believe that this instance in fact exists.
I love using computer science to translate logic, it works really well.
‘I know there is an omnipotent, omnipresent and omniscient being… I also know what this being wants… but if you question my knowing, you’re automatically contradicting yourself, because you cannot understand this being. You’re just being silly and you should stop asking for proof my claims’
🙄😒
Another blurring of definitions to get the desired result. These are complex maths concepts even for professionals, and should not be misused to delude the innocent viewer.
I disagree actually, he did promote the argument really well and in a mostly ethical way because yes most of us aren't Mathematicians or don't understand Mathematics in a professional way so to dismiss the argument would be dishonest or let anyone else interpret and refute/reinforce it for you than you are being dishonest as you are letting someone else do your intellectual heavy work. But he was being arrogant about it acting like this argument is undefeatable and all, he probably overstated the argument but...I don't underatand the argument myself so it would be dishonest to say he overstated it, I mean it is from Kurt Gödel, a well reputable Mathematician, Logician (considered one of the greatest Logicians infact) and Philosopher ofcourse so it must be really good.
"Insanely arrogant"
Yep, that's atheism alright
It's not atheists or Christians that are arrogant its the individual person
Atheist await God demonstrate His existence. Till then it's a no no.
@@swamivardana9911 If Atheists "wait" for God to prove his existence by then it would be to late for them to come to belief in said God.
@@gaiusoctavius5935Acquainted with Brahma. It will be too late for you. Not me, I am set for life n death.
@@swamivardana9911 Okay well I hope for your sake your opinion holds some weight.
Pax Christi
Yup that is above me by a bit, but being that I am in the midst of reading the Shorter Summa (also above me by a bit) this appears to be a mathematical rendition of Aquinas’ thought process.
I knew I should have paid better attention in Geometry class. The one theorem I remember isn’t even a theorem per say because the teacher was telling a student how there is no such thing as the Heinie postulate (ASS triangle). Some of the math problems in the textbook had those kind of answers which would be confusing to any 15 or 16 year old kid learning how to accept this stuff on faith.
If I wanted to figure out what that proof means what could I do?
"Elephant Philosophy" has a long video about ontological arguments, one of which is the one from this Video
Start studying logic. Organon is supposedly a great place to start. I bought sister Mary Joseph trivium book but can't give a review yet. I also enjoyed Michael Penn proof writing series on YT. It's for beginners and it should lead you on a good direction.
@@conovan5081 - good advice, should only take 10 years or so
@@marcokite probably
It reminds me why I study biology.
I like how you articulate you ideas.
Reminds*
@@IzichiUchiha oops thank you
I'm really sad to see someone who studies biology like me falling to this bunch of fallacies. Do better my friend our area doesn't need professionals with this kind of limited thinking.
@@rafaelbrisolara7599 Please tell me how this is limited thinking ? I think it's interesting.
I agree with you that our area needs open/creative minds. But here Brian presents an idea and you are the one how seem to close his mind to it.
Thank you for desiring the best for me.
Have a nice day mate !
@@Herghun the limited thinking is in the fact that you can't see through his fallacies. He is clearly trying to make you all believe blindly in what he says when he criticized the need to know his sources or to even when he attacka who disagree with his argument as if a intelligent person can't make mistakes and their words can't be criticized. He is fooling you with big world and a mild manner presentation but he is nothing more than a sophist.
Brian Holdsworth: if you have to look up the refutations, you've conceded that someone else is doing the heavy lifting.
Also Brian: here's a proof someone famous wrote over 50 years ago.
The TLDR of the proof is that a god-like being would have all positive properties by definition, and that existence is a positive property, therefore a god-like being exists (doesn't specify which one). While often praised as being logically consistent, it relies on axioms and loose definitions that are not agreed upon. If any of those axioms or definitions are false, then a conclusion cannot be reached.
The Jesuit professor teaching my theology class at Georgetown shut a strident Christian student down using your critique. It was satisfying to watch.
Proof of god is always going to be a sort of “reading between the lines”. To directly see the meaning of of anything written, you must not focus on a single word. Sometimes the best lessons we learn are not the specific ability to read itself, nor the meaning imparted by words on a page, but the act of reading in motion as a symbol. A functional symbol of how to find God. Especially with my favorite poem, the universe. 🥰🙏🏻 No matter what you read, the meaning is the thing, not those squiggly black lines on the paper, or any other material thing. Their great beauty is in the meaning.
The 'proof' was of 'a god' not necessarily the Abrahamic god.
I didn’t know this particular logical argument in this form. Kurt Goedel, Austrian logician, who indeed was one of the greatest minds in the world’ history developed “ incompleteness theorem “ that says that any logical system is necessarily dependent on the proposition that can’t be proven within this logical system. There is no human construct or system of thought that is not reliant on some reality outside itself. Goedel told Einstein who was his close friend that he thought he developed the mathematical prove of the existence of God.
Have you read Isaac Newton’s or Galileo’s proof for the Existence of God?
This is Gödel's Ontological Argument.
@@richardlopez6226 no , I didn’t
For those questioning, I think identifying the three definitions at the onset is necessary. The definitions themselves leave numerous openings, which without support, create cracks in the logic. Hoping and wishing but still not convinced
4:05 Kurt Godel was a 24 years old when he challenged Hilbert. The argument of authority here is really not needed, in my humble opinion. Honest question here tho, how was the leap from learning about this proof on gods existence to becoming a christian?
Was the first screen he showed the proof and the second screen the explanations for the axioms and such or is the second screen the proof written in a more understandable way?
Kinda both. The first was the actual formulas. The second was the explaination.
The first screen in the symbolic proof. The second screen describes the symbolic statements, but the second screen is not in the order of the proof.
The Knights of the Holy Sepulcre want you to get rid of that sword of yours. After that, they'll demand your guitars.
Maybe he has a helmet that belongs to me...
Our God is big enough to transcend culture. Wouldn't you agree?
@@Exitnextright2 God does not transcend Culture. He Transforms it.
@@thomasjorge4734 good point. Thanks for raising my understanding
Here’s the thing. We are trying to understand that which is by definition, beyond our understanding. A creation can never fully understand its creator.
yeah because this creator probably doesn't exist.
I understand my parents. Not always but mostly.
We can always try.
@@tonguemybumb I’m sorry you feel that way
@@user-vf5mx8fh8j absolutely. Never said there was any harm in trying.
Hi Brian,
I don't know if I fit the description for the 0.1% that understans the proof, but I can guarantee I've studied it (I made my bachelor degree out of it), and I think your intruduction miss some of the key points of the proof itself. This proof is just a logical rappresentation of the ontological argument, in a form that tries to get rid of some semantic problem Leibniz had with his defeinition of "positive attribute" and the author never published it. It's found in his personal diary and it's really clear that he didn't think that the proof was good enough. (that doesn't mean that you have to agree with him, of course, but it explains what you say at 1:15)
About what you say at 2:22, that the critics at the argument involve the axioms and the implication I can say this: every critic to a logical argument shoud be about those two tings (given that the rules of derivation and logical deduction are followed, obviously). That's the whole point of making arguments.
At 2:45 you say that the fundamental laws of logic can't be proven (and that's true), but it doesn't mean they can't be defended in other ways. They can't be proven by derivation because they're needed in logic derivation itself, the defence is: "you cannot use logic without these axiom". It's not strictly logical: it's broadly philosophical, but it's a defence nontheless. The axioms are non arbitrary, and you cannot propose an argument like this proof of thi existence of god without justify your axioms. (Maybe it could be impossible to demonstrate them, but you have to justify why you choose them)
At 3:50 you make a move that I honestly find unfair: the fact that the argument had been written by a very intelligent person is not (in any way) a good defence of the argument itself. Everyone, however clever, can make mistakes and anyone can be mislead by the common knowledge of its time. There are numerous examples of this, I preset you just one: Aristotle is one of the best thinker ever lived, especially in regards to ethics, but he finds arguments to justify slavery. Does this make him a poor philosoper? I don't think so. And this doesn't diminish his accomplishment in ethics either. In philosophy (and more so in logic) there's no need to accept the arguments of a thinker all together. So if there's an error (and I think there is at leat one) then anyone can find it, or else we are stuck with Aristotle's logic and ethics, and this would be very limiting.
At 4:20 you say that if I have to go somewhere else to find a good argument against the one you presented then this is an act of faith. I'm afraid that's blatantly false: in the same way you learned this argument and didn't come up with it yourself, you should expect that everybody could do the same. The fact that you present someone else's argument is not an act of faith, you can have your rational reason to be convinced, and present these reasons in your videos. And if somene quotes you a good refutation you shoudn't assume that this refutation was not comprehended in the first place. You shoud just respond to it as it is.
At 5:44, are you saying that nobody can ever comprehend god in any way? Because if "god is by definition beyond the human capacity of fully understand" then we could never have anithing to say about it. Remember that the difference is not finite, it should be infinite, so it's not hard like it could be hard to talk about quantum physics: it would be infinitely hard. And if that is true then any judgement about god should be suspended, even the one about the existence and more so the ones about plans, covenants, volition, creation, goodness etc. because it should be impossible to comprehend them.
At 6:35 you say "human logic will always be contentious", and I'm afraid that's just wrong. Every valid argument Arisotle made is still valid today, and the laws of logic can be reformulated, but all logicians agrees with them. It's more like math: 2+2 is equal to 4 no matter how smart you are. If you are realle smart you can discover new areas of logic and mathemathics, redifine terms and discover new proofs, but you cannot prove Euclid wrong on his demonstrations.
Finally, about the proof: as you don't have the need to explain it, I think you'll know what I'm saying, if I'm not clear let me know and I'll expand for you.
The axioms combine make collapse modal logic, in the sense that every possible statement is also true and is also necessary. So it means also that everything that doesn't actually exist is logically impossible. It also means that all the axioms lose theire meaning, and logically that's a really big problem.
The fifth axiom just says that existence is a property, and that's simply not the case, the author surely knew this, and maybe that's why he choose to never give a real thought about publishing the argument.
If you've red this far, thank you. In any case I'll have to apologize for my english, I'm not a native speaker and I'm pretty sure I made some mistake, I hope this is readable.
Should we not allow the citing of a historically respected source to reinforce and support our argument? So then our argument must stand solely on its own merits? That sounds crazy. I like that.
Happen to have a background in Mathematics, and have heard of this one. Although I have not tried to critique it. I won't mention who it was, but yeah, their mathematical credentials are off the charts.
Kurt Gödel
When I was an atheist I met two logic professors (a man and a woman) at University who I esteemed as the smartest people I have ever known personally. Huge was my shock when I found out that BOTH of them were devout catholics. Since then I stopped being the type of atheist that deems religious people as fools, and gradually this contributed to my conversion.
Thank God for you. Imagine an atheist calling Newton a fool! I don't argue with atheist anymore.
Well there were people with great scientific minds who thought God exists...like Max Planck, Werner Karl Heisenberg (the physicist), Arno Allan Penzias, Albert Einstein, Sir Isaac Newton. But that does not mean God exists.
Touching on Presup! I so enjoy the TAG position! They don't need proof, they need the Gospel. I would have LOVED if you included the Gospel... Even if you're Catholic, you need the Gospel.
The Sagnac experiment indeed proves that the speed of light is not invariant c. The relativistic derivation produced to show that the Sagnac effect is in fact relativistic is nothing but a crafty mathematical trick. Houdini method.
This is too deep for me. I just know that God exists and that's enough for me.
You're a old man
😂😂❤️❤️💯
Oh ya? Well i just saved 15% by switching my insurance to Geico. And that's enough for me. Lol
I know that the Flying Spaghetti Monster exists. That's good enough for me.
Brian: "Stay away from refutations of the arguments I'm presenting here ladies and gentlemen. They might influence you to believe that I'm wrong, and my ego cant take it " lol
By not revealing his name, it seems this will contribute more to his relegation into the real of the obscure.
I do understand your reasoning though.
I've began to realize that this relegation is very more pervasive. It seems fueled by deception.
Your analogy of explaining Boyle's law to your 4-year-old son is good. Also, your point about the assumption of one being intelligent enough to understand what is likely unintelligible is good.
This is Gödel’s Ontological Argument. Here's a Wikipedia article for it where Brian probably cut and pasted the slides in his video: en.wikipedia.org/wiki/G%C3%B6del%27s_ontological_proof . It's pretty obvious that he doesn't understand how the math workers because he failed to copy the text setting up the problem. There are a number of defeaters of the argument. For those that don't have a mathematics background. When they use the word "proof" in the article, they are using it in a mathematical scene, not in the scene that most people use it. It is only an argument for god in that context.
"...it makes you look silly." That was a great line.
@Sven Andersson "More than likely" tells me that you are unsure.
@@Warrior99980 you say that like it’s a bad thing. Science is truth seeking with objective means, and the truth is sometimes that something is unknown
@@kaleb749 If you take into account the mathematical probability and the time it would actually take for basic cells to form from evolution, we would still be waiting for a fully functional human being.
@@Warrior99980 Evolution is a fact.
@@aspiknf I know that's the narrative they're pushing in school these days. However, evolution is still just a theory. Our "Common ancestor" has never been found.
First off: Myself and others have explained why the central idea behind that other video was faulty. You just ignored it.
You are amazing man! You make my faith grow stronger!
hey I would like to know either who did that proof or a german translation please :)
Cool ! Now I only need to prove God's unicity, then derive the Holy Trinity's existence as an essential property from the axioms.
I hope my brain can finish the required computations before the heat death of the universe. Wish me luck guys 😄
I'm one of the minority who rejects the Trinity absolutely. However, nobody gets hurt by believing it, so it's fine if everyone else believes it.
@@Biosynchro one zygote can form triplets. Let us STRETCH our imagination outside the realms of biological to celestial science.What if the three 'individuals' Mary, Jane, and Alice could share one mind but still retains the privacy of their minds (personality) and share same body (but still retains their own distinct bodily experiences). They know something the other knows but they don't know everything of the other. This mean they both have a shared and different personality . Now science are researching mind uploading, clones etc. Downloading shared memories to different individuals
@@goodman4093 See, I have no objection to the idea of the Trinity. It's supposed to be a mystery and that's fine by me. After all, the union of marriage is also a mystery. But is it authentic Christian teaching? I say, no.
It's not that it's confusing or anything like that. I'm just focused in whether or not it's true. Is Jesus God? I conclude that he is not.
@@Biosynchro Are you a Muslim or a Jehovah’s Witness?
@@kidus_1010 I am not either, although I appreciate what JWs have to say about Christian theology. They're objectively right about some things, and objectively wrong about others. Just like pretty much most churches.
To those who are wondering who it is, their initials are K.G. and they literally have the word "God" in their name. You should be able to find it knowing that.
Not just the letters "God," but "El" just happens to be the Hebrew word for "god"
Consider the Heisenberg indeterminacy application of exactly what electrons will do in the neuro-chemical processes of consciousness in the brain proves a measure of free will beyond the physical world. What is in that indeterminacy which is not dictated by physics which at the atomic scale because here, physics itself is a set of laws of probability only.