Our server costs ~$56 per month to run. Please consider donating or becoming a Patron to help keep the site running. Help us gain new members by following us on Twitter and liking our page on Facebook!
Current time: December 1, 2024, 8:19 am

Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
First order logic, set theory and God
#51
RE: First order logic, set theory and God
(November 28, 2018 at 5:50 am)Mathilda Wrote: No engineer builds a bridge for example using the 'law' of Causation.

All engineers use the law of causation when they build a bridge.

They know that if a lot of cars are on the bridge, it will cause the load on the bridge to increase. Without the law of causation, they could imagine that lots of cars on the bridge would not cause the weight to increase. They assume that the continued properties of the steel and concrete will cause the bridge to behave in certain ways. (These assumptions, not ideas about origins, are what the first cause arguments refer to.) 

Engineers take it so much for granted that they don't have to name it, but they know it applies.
Reply
#52
RE: First order logic, set theory and God
(November 28, 2018 at 6:22 am)Belaqua Wrote:
(November 28, 2018 at 5:50 am)Mathilda Wrote: No engineer builds a bridge for example using the 'law' of Causation.

All engineers use the law of causation when they build a bridge.

They know that if a lot of cars are on the bridge, it will cause the load on the bridge to increase. Without the law of causation, they could imagine that lots of cars on the bridge would not cause the weight to increase. They assume that the continued properties of the steel and concrete will cause the bridge to behave in certain ways. (These assumptions, not ideas about origins, are what the first cause arguments refer to.) 

Engineers take it so much for granted that they don't have to name it, but they know it applies.

That argument really is a case of if all you have is a hammer then everything looks like a nail. Philosophers generally only know how to talk about the world with the highest level of abstraction.

No engineering school would teach the law of causation. And if they did then they wouldn't turn out good engineers. Engineers need to work at a far more refined level than that. They wouldn't be considering stuff like if there are too many cars then the bridge collapses. They'd be working out how much stress a bridge can cope with under different environmental conditions. And from that they'd then be able to work out exactly how many vehicles it would take to cause it to collapse and the probability of it ever reaching that level.

And this is exactly what I am trying to express. It's all a framework to reason about reality and talking about first order logic and the law of causation is too high a level of abstraction to be meaningful or useful, especially when talking about and making predictions of the nature of reality.

First order logic is a language. A framework. It is not a part of reality itself. It doesn't matter if a logical proof is internally consistent if it does not properly map to the real world.

You use it for stuff like heavily constrained computer programs. Most of us have even given up using it for artificial intelligence because it does not adequately describe the real world which is noisy and continuous.
Reply
#53
RE: First order logic, set theory and God
(November 28, 2018 at 6:22 am)Belaqua Wrote:
(November 28, 2018 at 5:50 am)Mathilda Wrote: No engineer builds a bridge for example using the 'law' of Causation.

All engineers use the law of causation when they build a bridge.

They know that if a lot of cars are on the bridge, it will cause the load on the bridge to increase. Without the law of causation, they could imagine that lots of cars on the bridge would not cause the weight to increase. They assume that the continued properties of the steel and concrete will cause the bridge to behave in certain ways. (These assumptions, not ideas about origins, are what the first cause arguments refer to.) 

Engineers take it so much for granted that they don't have to name it, but they know it applies.

You're referring to material and/or formal causation, it seems ... if we're talking Aristotelian language, that is. Or maybe final cause, I don't know. But it still wouldn't get us to the logical need for a supernatural "sustainer" of the universe. This universe may very well be due to -say- an absolute logical principle behind modal realism (all possibilities are necessarily actual). Since this universe is clearly possible, it necessarily is actual (if modal realism is [necessarily] true, that is). This is just one example of course, and perhaps it's something else happening that's nevertheless purely naturalistic, but there needn't be any "first cause" in the traditional sense (as far as I know).
Reply
#54
RE: First order logic, set theory and God
(November 28, 2018 at 7:13 am)Grandizer Wrote: But it still wouldn't get us to the logical need for a supernatural "sustainer" of the universe. 

That's the question at hand. I'm glad to see this formulation of it, as it is accurate about the First Cause argument. "Sustainer" not "beginner." 

I dunno. There are elaborate arguments as to why there has to be an end to the chain of causes in this sense. And, as I said earlier, whereas science is content with "that's just the way it is" after they get past a certain point, metaphysicians aren't. 

I have read some attempts to argue for an end to the causal chain. Why at some point there must be an uncaused thing that causes all the following causes. Sad to say, while I could kind of make out the reasoning, I am not clever enough either to show that the reasoning must be true or to show why it's false. 

Mostly I just make noise by whinging when people mis-describe the argument, since I can't manage any more than that. 

The most elaborate, careful, and (I suspect) easy to understand argument is in Edward Feser's book Scholastic Metaphysics. I read it. It made sense at the time. I can't say why it's wrong. But that isn't enough to overcome my skepticism.
Reply
#55
RE: First order logic, set theory and God
(November 28, 2018 at 1:58 am)Belaqua Wrote:
(November 28, 2018 at 1:03 am)dr0n3 Wrote: from a transtemporal perspective


Although First Cause arguments come up on forums like this every few months, I despair of ever having people address the real argument.

For example, it's clear from earlier responses that everyone here is thinking of a temporal series of events leading back to a beginning in time. It doesn't seem to matter that this is not what the First Cause argument addresses. As far as I know the only temporal argument is the so-called Kalaam argument, and that is rejected by both Aristotelians and Thomists. 

It's hard to point out that the causal chain in question is essential, logical, and simultaneous. So the question is better posed as something like "what exists in order that people may exist?" or "what is it that holds people in existence?" The answer is then something like "the earth and its atmosphere." And again, "what exists in order that the earth and its atmosphere exist?" And pretty soon we're down to atoms and their parts, and then the fundamental laws of nature. That's where science stops, because it says that the fundamental laws of nature just are, with no further cause. 

As far as I can tell, it was alchemist, Bible critic, and physicist Isaac Newton who changed metaphysics so as to allow this sort of "it just is" argument -- a brute fact -- to end the causal chain. First Cause arguments wish to ask what holds these brute facts in existence as well. 

Quote:As for the rest of your post, perhaps it must be clarified that Hatcher's proof was meant to provide a cut-and-dried deduction of the existence of a minimal concept (ie. a "universal uncaused cause") from a set of self-evident and empirically grounded axioms. While the proof doesn't tackle the fuller characterizations of God, there is at least little logical doubt that something akin to this minimalist understanding of a "God" is entirely believable and plausible as a distinct entity that has an existence, though perhaps little relation to what religious folks these days think of as a personal God.

Likewise, many people object to First Cause arguments because such arguments don't prove that the God of the Bible has the characteristics which (they assume) he is supposed to have. But as you rightly point out, First Cause arguments only attempt to demonstrate a first cause, and anything more than that demands different arguments. 

I really don't know why people who have been posting on atheist sites for years haven't learned this yet.

Re Thomists, if they are against the chain of causality argument as you suggest, then they are against Aquinas, as that is his first cause argument, ie that everything must have a cause, therefore god (and don't ask about god's cause). This is because Aquinas restated Kalaam for a christian audience.
Urbs Antiqua Fuit Studiisque Asperrima Belli

Home
Reply
#56
RE: First order logic, set theory and God
(November 28, 2018 at 8:01 am)Wololo Wrote: Re Thomists, if they are against the chain of causality argument as you suggest, then they are against Aquinas, as that is his first cause argument, ie that everything must have a cause, therefore god (and don't ask about god's cause).  This is because Aquinas restated Kalaam for a christian audience.

My reading would indicate something different. I checked the ultimate cause of all truth (Wikipedia) just now. Their summary of Kalam is this way:

1. Whatever begins to exist has a cause;
2. The universe began to exist;
Therefore:
3. The universe has a cause.

I may be wrong, but I see that as a temporal beginning. 

Aristotle thought the universe had no temporal beginning; it was eternal. Aquinas reasoned that neither science nor logic can show that the universe began. If we think that it had a temporal beginning point, as in a literal reading of Genesis, we have to take it on faith. 

But I'm pretty sure that Kalam goes for a temporal first cause, whereas Aquinas/Aristotle is talking about a non-temporal, essential series.

Here is how it was explained to me by a guy I chat with on line sometimes. He's at the University of Chicago, and is a leading expert on Aristotle:

Quote:Try: an essentially ordered series vs. a temporally ordered one.

e.g. Parents are temporally and necessarily prior to their children. Even should the parents die/vanish, the children remain (temporally ordered series)

Space-time is essentially and necessarily prior to carbon atoms. Should space-time vanish, so too, simultaneously, do any and allcarbon atoms vanish (i.e. there can be space-time without carbon atoms, but there can't be carbon atoms without space-time)
Reply
#57
RE: First order logic, set theory and God
(November 28, 2018 at 1:03 am)dr0n3 Wrote:
(November 27, 2018 at 8:39 am)Jörmungandr Wrote: Since the first cause need not be a god, the proof is an example of ignoratio elenchi, at minimum.  It is not a proof of the existence of God.

There are other problems, but that is sufficient.  This is simply the basic first cause argument fleshed out with formalism.  Hardly worth even bringing up.

The point sailed over your head it seems. You'd have to provide some compelling and convincing arguments to support your position, instead of pointing out the fallacy that I'm allegedly guilty of.

No, I wouldn't have. The existence of a fallacy indicates that your conclusion doesn't follow from the premises. That's how logic works, dumbass. I could have pointed out other errors, but there was no need to do so having established the one. A point that apparently sailed over your head.

Are you really this stupid?
[Image: extraordinarywoo-sig.jpg]
Reply
#58
RE: First order logic, set theory and God
(November 26, 2018 at 10:47 pm)dr0n3 Wrote: Below is a copy-paste of my own thread that was posted in another forum. I'm reposting it here in hopes to spark an intelligent discourse on what I believe to be the most refined proof of God's existence.

Here it goes.



With that being said, I would be more than curious to see if anyone could spot a noticeable error in Hatcher's logical deduction

Which version of set theory are you using for your 'component' relation? In particular, what allows you to form the system V? How do you avoid Russell's paradox in your set theory? We *know* that naive set theory is inconsistent and no 'set' of the form V can exist in standard ZF set theory.

At the very least, you don't have a first order system when you allow the formation of arbitrary collections (that being a second order construction), *unless* you specifically give the rules of set formation.

This doesn't even address whether the axioms used  for the causality relation have anything at all to do with reality (and others have commented that issue).
Reply
#59
RE: First order logic, set theory and God
(November 28, 2018 at 4:21 am)Reltzik Wrote:
(November 28, 2018 at 1:03 am)dr0n3 Wrote: A composite phenomenon, based on the principle of limitation, cannot be a self-caused phenomenon. That is one thing we should keep in mind.

Yes, but I am questioning the principle of self-limitation's validity as an axiom.

(November 28, 2018 at 1:03 am)dr0n3 Wrote: As for the rest of your post, perhaps it must be clarified that Hatcher's proof was meant to provide a cut-and-dried deduction of the existence of a minimal concept (ie. a "universal uncaused cause") from a set of self-evident and empirically grounded axioms. While the proof doesn't tackle the fuller characterizations of God, there is at least little logical doubt that something akin to this minimalist understanding of a "God" is entirely believable and plausible as a distinct entity that has an existence, though perhaps little relation to what religious folks these days think of as a personal God.



To field one more objection to the proof, it does not handle a scenario of cyclical time, perhaps from Big Bang/Crunch cycles.  Here you can have A causing B which turns around to cause A, with a sequence of causes regressing into the (repeated) past ad infinitum.


The validity of the principle is as clear as daylight - there is absolutely no way of rationally conceiving a counterargument to the notion that a composite can never be the cause of one of its own components. The logic is impeccable. The reason you're questioning it is because of the ambiguity of your previous example. Namely that, cells in a human body are continually dying out and being replaced by new cells through the process of mitosis. Yes, at first glance you might think it nullifies the principle in some way since one could consequently deduce that the whole (human body) has been the cause of one of its own parts (new cell).

Yet, upon careful analysis, the conclusion doesn't hold water.


First, we know that your example hinges on several time-parametered phenomena coming to being through a succession of stages( where a stage is the state of the phenomenon at a given instant of time), which of course logically presupposes a causal discrete-time system. Secondly, one must make a clear distinction that the new human body (the one that contains the new cell) is different than the (old) human body that manufactured the new cell.

In light of the above points, we can now suppose the old body H1 at time T1 and the new body H2 at time T2 where we understand that H2=H'+B, where H' is H1 however transformed in the process in producing the white cell B. Thus, the correct causality relation (logically and temporally) is then H1→B|B⊄H1 and not H2→B|B⊂H1.

As for your last argument, temporality is not necessary within the scope of Hatcher's proof. The notion of causality is first and foremost logical and relational.

Quote:Yes, but why call it god?  It's so divorced from both the common conception and most philosophical conceptions that the choice of term can only engender confusion.  This is an equivocation land mine just waiting for someone to trigger it.

For sake of simplicity and because "god" is the more-or-less standard term for a "universal uncaused cause". Regardless, it's not as if nitpicking over terminology will render the substance of the original argument any less valid.

(November 28, 2018 at 5:50 am)Mathilda Wrote: My point is though that first order logic is still nothing more than a way of describing reality.

Exactly, which makes it inherently linked to reality through its connection to truth. In that sense, one could just as confidently say that physical laws are descriptions of the dynamic behavior of matter in space-time.

I'm sorry, but what is your point again? 


Quote:Exactly. True and False are abstractions. They do not exist in nature.

Mathematics is abstract, yet inherently grounded in reality. Guess what? Same goes for True and False. Consequently, this renders your argument completely false.


Quote:Rubbish. It's extremely important.

What causes a hammer to exist for example?  When someone connects a handle to a head? When a wood is reshaped to create the handle? When metal is melted down and shaped into a head? When a tree is cut down? When ore is mined from the Earth? When a tree is grown? When a planet is formed? What is the single cause of a hammer? There isn't one. All we have is energy flowing through and reshaping matter in accordance of the laws of Thermodynamics. Your abstraction of True, False and causation miss all that because they are abstractions.


What you fail to grasp is that the law of causality is not descriptive but rather relational. A hammer's existence is not contingent upon whether or not the cause of its existence has to be known to us. Rather, the hammer's existence is already necessitated by an external cause preceding it, whatever that cause may be. Just as it is necessary for number 4, for instance, to occur between the numbers 3 and 5.

But just for argument's sake, the answer to your question would simply be - the causal link of all phenomenon that has brought the necessary and suffi­cient conditions for the realization of the hammer. That's it. Causality is merely established by the interdependence and relation between the cause and the effect.

 
(November 28, 2018 at 8:39 am)Jrörmungandr Wrote:
(November 28, 2018 at 1:03 am)dr0n3 Wrote: The point sailed over your head it seems. You'd have to provide some compelling and convincing arguments to support your position, instead of pointing out the fallacy that I'm allegedly guilty of.

No, I wouldn't have.  The existence of a fallacy indicates that your conclusion doesn't follow from the premises.  That's how logic works, dumbass.  I could have pointed out other errors, but there was no need to do so having established the one.  A point that apparently sailed over your head.

Are you really this stupid?


In all honesty, the impression one gets by reading your posts is akin to a douche on a futile endeavor of throwing around "fallacy" this and "fallacy" that, and not even understanding what they're talking about. Perhaps you should understand that you don't get the decisive edge in an argument by simply brandishing retardedly your "Fallacy" wand at every chance you get and cramming your goddamn post with an impressive-sounding Latin term. Ironically enough, you're just as guilty of committing the fallacy of supposing you can defeat an argument simply by appealing to a named fallacy. You fucking dunce.
Reply
#60
RE: First order logic, set theory and God
(November 30, 2018 at 2:19 am)dr0n3 Wrote:
(November 28, 2018 at 5:50 am)Mathilda Wrote: My point is though that first order logic is still nothing more than a way of describing reality.

Exactly, which makes it inherently linked to reality through its connection to truth. In that sense, one could just as confidently say that physical laws are descriptions of the dynamic behavior of matter in space-time.

I'm sorry, but what is your point again? 

My point is that first order logic doesn't describe reality very well.

There is an awful lot of fundamentally important stuff that it cannot describe at all. Making your so called proof worthless if you are trying to say something about the nature of reality. For example thermodynamics, complexity and chaos.


(November 30, 2018 at 2:19 am)dr0n3 Wrote:
(November 28, 2018 at 5:50 am)Mathilda Wrote: Exactly. True and False are abstractions. They do not exist in nature.

Mathematics is abstract, yet inherently grounded in reality. Guess what? Same goes for True and False. Consequently, this renders your argument completely false.

It is not grounded in reality any more than the English language.


(November 30, 2018 at 2:19 am)dr0n3 Wrote:
(November 28, 2018 at 5:50 am)Mathilda Wrote: Rubbish. It's extremely important.

What causes a hammer to exist for example?  When someone connects a handle to a head? When a wood is reshaped to create the handle? When metal is melted down and shaped into a head? When a tree is cut down? When ore is mined from the Earth? When a tree is grown? When a planet is formed? What is the single cause of a hammer? There isn't one. All we have is energy flowing through and reshaping matter in accordance of the laws of Thermodynamics. Your abstraction of True, False and causation miss all that because they are abstractions.


What you fail to grasp is that the law of causality is not descriptive but rather relational. A hammer's existence is not contingent upon whether or not the cause of its existence has to be known to us. Rather, the hammer's existence is already necessitated by an external cause preceding it, whatever that cause may be. Just as it is necessary for number 4, for instance, to occur between the numbers 3 and 5.

But just for argument's sake, the answer to your question would simply be - the causal link of all phenomenon that has brought the necessary and suffi­cient conditions for the realization of the hammer. That's it. Causality is merely established by the interdependence and relation between the cause and the effect.

Which completely misses the point I am making in that reality is continuous whereas your arguments of causality are discrete.

As I said, your description of reality is not sufficiently powerful enough to say anything worthwhile at all.
Reply



Possibly Related Threads...
Thread Author Replies Views Last Post
  How many of you atheists believe in the Big Bang Theory? Authari 95 9008 January 8, 2024 at 3:21 pm
Last Post: h4ym4n
  It's Darwin Day tomorrow - logic and reason demands merriment! Duty 7 962 February 13, 2022 at 10:21 am
Last Post: BrianSoddingBoru4
Photo The atrocities of religiosity warrant our finest. Logic is not it Ghetto Sheldon 86 8276 October 5, 2021 at 8:41 pm
Last Post: Rahn127
  When and where did atheism first start ? hindu 99 12339 July 16, 2019 at 8:45 pm
Last Post: comet
Tongue Disproving Odin - An Experiment in arguing with a theist with Theist logic Cecelia 983 184309 June 6, 2018 at 2:11 pm
Last Post: Raven Orlock
  "How do I know God exists?" - the first step to atheism Mystic 51 32685 April 23, 2018 at 8:44 pm
Last Post: Edwardo Piet
  a challenge All atheists There is inevitably a Creator. Logic says that suni_muslim 65 17021 November 28, 2017 at 5:02 pm
Last Post: Fidel_Castronaut
  What is logic? Little Rik 278 65345 May 1, 2017 at 5:40 pm
Last Post: Cyberman
  A loose “theory” of the dynamics of religious belief Bunburryist 6 1850 August 14, 2016 at 2:14 pm
Last Post: Bunburryist
  Top misconceptions of Theory of Evolution you had to deal with ErGingerbreadMandude 76 14951 March 7, 2016 at 6:08 pm
Last Post: Alex K



Users browsing this thread: 2 Guest(s)