Goats are dump trucks through a middle context of material carrier. Seemingly unequivocable contexts can equate through a middle context...again "through" a middle context.PeteOlcott wrote: ↑Mon Jun 22, 2020 1:19 amIt seems that your reasoning is too incoherent to understand what I am saying.Eodnhoj7 wrote: ↑Mon Jun 22, 2020 1:10 am"Goats" are "dump trucks" through the context of "material carrier".PeteOlcott wrote: ↑Mon Jun 22, 2020 1:02 am
Cats are goats and goats are dump trucks therefore water is wet.
Has a true conclusion that does not logically follow for its premises
therefore it is both invalid and unsound.
All premises equate through a middle context, thus the premises can equate to the conclusion in light of form. The conclusion as equitable through a middle context stems from the same form and function of the premises.
Goats are never dump trucks unless they share an identical set of properties which they do not.
Simply defining Gödel Incompleteness away V8
Re: Simply defining Gödel Incompleteness away V8
-
- Posts: 1561
- Joined: Mon Jul 25, 2016 6:55 pm
Re: Simply defining Gödel Incompleteness away V8
That is ridiculous.Eodnhoj7 wrote: ↑Mon Jun 22, 2020 1:21 amGoats are dump trucks through a middle context of material carrier. Seemingly unequivocable contexts can equate through a middle context...again "through" a middle context.PeteOlcott wrote: ↑Mon Jun 22, 2020 1:19 amIt seems that your reasoning is too incoherent to understand what I am saying.Eodnhoj7 wrote: ↑Mon Jun 22, 2020 1:10 am
"Goats" are "dump trucks" through the context of "material carrier".
All premises equate through a middle context, thus the premises can equate to the conclusion in light of form. The conclusion as equitable through a middle context stems from the same form and function of the premises.
Goats are never dump trucks unless they share an identical set of properties which they do not.
https://en.wikipedia.org/wiki/Identity_ ... scernibles
Re: Simply defining Gödel Incompleteness away V8
False, both goat and dump truck share the same property of material carrying or removal (dump truck carries x and goat carries what it consumes).PeteOlcott wrote: ↑Mon Jun 22, 2020 1:25 amThat is ridiculous.Eodnhoj7 wrote: ↑Mon Jun 22, 2020 1:21 amGoats are dump trucks through a middle context of material carrier. Seemingly unequivocable contexts can equate through a middle context...again "through" a middle context.PeteOlcott wrote: ↑Mon Jun 22, 2020 1:19 am
It seems that your reasoning is too incoherent to understand what I am saying.
Goats are never dump trucks unless they share an identical set of properties which they do not.
https://en.wikipedia.org/wiki/Identity_ ... scernibles
Both seemingling different contexts share a context which equates. It is called a middle term.
There is no context which is completely equal to another context, no two rivers are the same. 1 does not equal 1 as one 1 may equate to a jet and another to a horse. They equate through a singular entity but that singular entity differs. Thus a middle term is necessary, but no two contexts share the same quality and quantity of middle terms. 1=1 and 1=/=1 simultaneously.
-
- Posts: 1561
- Joined: Mon Jul 25, 2016 6:55 pm
Re: Simply defining Gödel Incompleteness away V8
The identity of indiscernibles is an ontological principle that states that there cannot be separate objects or entities that have all their properties in common. https://en.wikipedia.org/wiki/Identity_ ... scerniblesEodnhoj7 wrote: ↑Mon Jun 22, 2020 1:27 amFalse, both goat and dump truck share the same property of material carrying or removal (dump truck carries x and goat carries what it consumes).PeteOlcott wrote: ↑Mon Jun 22, 2020 1:25 amThat is ridiculous.
https://en.wikipedia.org/wiki/Identity_ ... scernibles
Both seemingling different contexts share a context which equates. It is called a middle term.
There is no context which is completely equal to another context, no two rivers are the same. 1 does not equal 1 as one 1 may equate to a jet and another to a horse. They equate through a singular entity but that singular entity differs. Thus a middle term is necessary, but no two contexts share the same quality and quantity of middle terms. 1=1 and 1=/=1 simultaneously.
Likewise two separate objects are distinguished as separate objects on the basis that they have at least one property that is not in common.
Re: Simply defining Gödel Incompleteness away V8
There is no object or identity which holds all the same properties in common thus the principle is useless.PeteOlcott wrote: ↑Mon Jun 22, 2020 3:01 amThe identity of indiscernibles is an ontological principle that states that there cannot be separate objects or entities that have all their properties in common. https://en.wikipedia.org/wiki/Identity_ ... scerniblesEodnhoj7 wrote: ↑Mon Jun 22, 2020 1:27 amFalse, both goat and dump truck share the same property of material carrying or removal (dump truck carries x and goat carries what it consumes).PeteOlcott wrote: ↑Mon Jun 22, 2020 1:25 am
That is ridiculous.
https://en.wikipedia.org/wiki/Identity_ ... scernibles
Both seemingling different contexts share a context which equates. It is called a middle term.
There is no context which is completely equal to another context, no two rivers are the same. 1 does not equal 1 as one 1 may equate to a jet and another to a horse. They equate through a singular entity but that singular entity differs. Thus a middle term is necessary, but no two contexts share the same quality and quantity of middle terms. 1=1 and 1=/=1 simultaneously.
Likewise two separate objects are distinguished as separate objects on the basis that they have at least one property that is not in common.
-
- Posts: 1561
- Joined: Mon Jul 25, 2016 6:55 pm
Re: Simply defining Gödel Incompleteness away V8
You are contradicting yourself. Previously you said: "Goats are dump trucks" now you are saying:Eodnhoj7 wrote: ↑Mon Jun 22, 2020 3:03 amThere is no object or identity which holds all the same properties in common thus the principle is useless.PeteOlcott wrote: ↑Mon Jun 22, 2020 3:01 amThe identity of indiscernibles is an ontological principle that states that there cannot be separate objects or entities that have all their properties in common. https://en.wikipedia.org/wiki/Identity_ ... scerniblesEodnhoj7 wrote: ↑Mon Jun 22, 2020 1:27 am
False, both goat and dump truck share the same property of material carrying or removal (dump truck carries x and goat carries what it consumes).
Both seemingling different contexts share a context which equates. It is called a middle term.
There is no context which is completely equal to another context, no two rivers are the same. 1 does not equal 1 as one 1 may equate to a jet and another to a horse. They equate through a singular entity but that singular entity differs. Thus a middle term is necessary, but no two contexts share the same quality and quantity of middle terms. 1=1 and 1=/=1 simultaneously.
Likewise two separate objects are distinguished as separate objects on the basis that they have at least one property that is not in common.
"There is no object or identity which holds all the same properties" nothing is the same as anything else.
I am going to have to quit.
Re: Simply defining Gödel Incompleteness away V8
The identify of indiscernibles contradicts itself.PeteOlcott wrote: ↑Mon Jun 22, 2020 3:01 am The identity of indiscernibles is an ontological principle that states that there cannot be separate objects or entities that have all their properties in common. https://en.wikipedia.org/wiki/Identity_ ... scernibles
Likewise two separate objects are distinguished as separate objects on the basis that they have at least one property that is not in common.
If you have TWO DIFFERENT ENTITIES which are identical with respect to all their properties, you have still discerned TWO DIFFERENT ENTITIES simply from their locations in spacetime.
Schrödinger logics are a correction on Leibniz's law.
Skepdick wrote: ↑Mon Jun 15, 2020 9:55 pm https://en.wikipedia.org/wiki/Non-class ... cal_logicsAxiom: ~(x=x)Non-reflexive logic (also known as "Schrödinger logics") rejects or restricts the law of identity;
https://sci-hub.tw/10.1007/BF01057649
Abstract. Schrödinger logics are logical systems in which the principle of identity is
not true in general. The intuitive motivation for these logics is both Erwin Schrödinger's
thesis (which has been advanced by other authors) that identity lacks sense for elementary
particles of modern physics, and the way which physicists deal with this concept; normally,
they understand identity as meaning indistinguishability (agreemment with respect to attributes). Observing that these concepts are equivalent in classical logic and mathematics,
which underly the usual physical theories, we present a higher-order logical system in
which these concepts are systematically separated.
Re: Simply defining Gödel Incompleteness away V8
False, there is no contradiction as There is no context which is completely equal to another context, no two rivers are the same. 1 does not equal 1 as one 1 may equate to a jet and another to a horse. They equate through a singular entity but that singular entity differs. Thus a middle term is necessary, but no two contexts share the same quality and quantity of middle terms. 1=1 and 1=/=1 simultaneously.PeteOlcott wrote: ↑Mon Jun 22, 2020 3:40 amYou are contradicting yourself. Previously you said: "Goats are dump trucks" now you are saying:Eodnhoj7 wrote: ↑Mon Jun 22, 2020 3:03 amThere is no object or identity which holds all the same properties in common thus the principle is useless.PeteOlcott wrote: ↑Mon Jun 22, 2020 3:01 am
The identity of indiscernibles is an ontological principle that states that there cannot be separate objects or entities that have all their properties in common. https://en.wikipedia.org/wiki/Identity_ ... scernibles
Likewise two separate objects are distinguished as separate objects on the basis that they have at least one property that is not in common.
"There is no object or identity which holds all the same properties" nothing is the same as anything else.
I am going to have to quit.
-
- Posts: 1561
- Joined: Mon Jul 25, 2016 6:55 pm
Re: Simply defining Gödel Incompleteness away V8
Incoherent. That you are saying that two different things are the sameEodnhoj7 wrote: ↑Mon Jun 22, 2020 4:31 pmFalse, there is no contradiction as There is no context which is completely equal to another context, no two rivers are the same. 1 does not equal 1 as one 1 may equate to a jet and another to a horse. They equate through a singular entity but that singular entity differs. Thus a middle term is necessary, but no two contexts share the same quality and quantity of middle terms. 1=1 and 1=/=1 simultaneously.PeteOlcott wrote: ↑Mon Jun 22, 2020 3:40 amYou are contradicting yourself. Previously you said: "Goats are dump trucks" now you are saying:
"There is no object or identity which holds all the same properties" nothing is the same as anything else.
I am going to have to quit.
thing on the on the basis that they share a common property
"Goats are dump trucks through a middle context of material carrier."
Is a little too nutty for me.
https://plato.stanford.edu/entries/iden ... scernible/
This is often referred to as ‘Leibniz's Law’ and is typically understood to
mean that no two [distinctly different] objects have exactly the same properties.
-
- Posts: 1561
- Joined: Mon Jul 25, 2016 6:55 pm
Re: Simply defining Gödel Incompleteness away V8
https://plato.stanford.edu/entries/iden ... scernible/Skepdick wrote: ↑Mon Jun 22, 2020 8:47 amThe identify of indiscernibles contradicts itself.PeteOlcott wrote: ↑Mon Jun 22, 2020 3:01 am The identity of indiscernibles is an ontological principle that states that there cannot be separate objects or entities that have all their properties in common. https://en.wikipedia.org/wiki/Identity_ ... scernibles
Likewise two separate objects are distinguished as separate objects on the basis that they have at least one property that is not in common.
If you have TWO DIFFERENT ENTITIES which are identical with respect to all their properties, you have still discerned TWO DIFFERENT ENTITIES simply from their locations in spacetime.
This is often referred to as ‘Leibniz's Law’ and is typically understood to mean
that no two objects have exactly the same properties.
That spacetime is a relevant property that must be considered is an issue that
I first brought up a few years ago within 15 minutes after first encountering identity
indiscernibles. This statement of mind is documented.
I probably mentioned that here too.
Re: Simply defining Gödel Incompleteness away V8
Did you bother to read what I wrote?PeteOlcott wrote: ↑Mon Jun 22, 2020 6:02 pm https://plato.stanford.edu/entries/iden ... scernible/
This is often referred to as ‘Leibniz's Law’ and is typically understood to mean
that no two objects have exactly the same properties.
That spacetime is a relevant property that must be considered is an issue that
I first brought up a few years ago within 15 minutes after first encountering identity
indiscernibles. This statement of mind is documented.
I probably mentioned that here too.
I said.... Schrödinger logics are a correction on Leibniz's law.
Did you read the paper I pointed you to? No... you didn't...
https://en.wikipedia.org/wiki/Quasi-set_theoryBut we intend to show that it is also possible to violate Leibniz' Law within the scope of the so-called 'negative' theories concerning substance (Quinton 1973); the trick is to admit that x = y is not a well-formed formula if x and y denote m-atoms. In this way, we simply cannot talk about the identity or the diversity of these entities. Leibniz' Law is obviously violated, and the concept of identity (that is, the predicate '=') does not apply to this kind of objects, in conformity with Schrödinger's view.
-
- Posts: 1561
- Joined: Mon Jul 25, 2016 6:55 pm
Re: Simply defining Gödel Incompleteness away V8
"If you have TWO DIFFERENT ENTITIES which are identical with respect to all their properties"Skepdick wrote: ↑Mon Jun 22, 2020 8:47 amThe identify of indiscernibles contradicts itself.PeteOlcott wrote: ↑Mon Jun 22, 2020 3:01 am The identity of indiscernibles is an ontological principle that states that there cannot be separate objects or entities that have all their properties in common. https://en.wikipedia.org/wiki/Identity_ ... scernibles
Likewise two separate objects are distinguished as separate objects on the basis that they have at least one property that is not in common.
If you have TWO DIFFERENT ENTITIES which are identical with respect to all their properties, you have still discerned TWO DIFFERENT ENTITIES simply from their locations in spacetime.
then that already includes that their spacetime properties are also identical, therefore
"The identify of indiscernibles contradicts itself." is false.
Re: Simply defining Gödel Incompleteness away V8
Pete, either you have TWO THINGS e.g objects with different coordinates in space/time or you don't.PeteOlcott wrote: ↑Mon Jun 22, 2020 7:31 pm "If you have TWO DIFFERENT ENTITIES which are identical with respect to all their properties"
then that already includes that their spacetime properties are also identical, therefore
"The identify of indiscernibles contradicts itself." is false.
To have "identical spacetime properties" means to "have the same spacetime location" e.g you have one thing.
Can you even count?
-
- Posts: 1561
- Joined: Mon Jul 25, 2016 6:55 pm
Re: Simply defining Gödel Incompleteness away V8
Yes and that justifies "the identify of indiscernibles":Skepdick wrote: ↑Mon Jun 22, 2020 7:34 pmPete, either you have TWO THINGS e.g objects with different coordinates in space/time or you don't.PeteOlcott wrote: ↑Mon Jun 22, 2020 7:31 pm "If you have TWO DIFFERENT ENTITIES which are identical with respect to all their properties"
then that already includes that their spacetime properties are also identical, therefore
"The identify of indiscernibles contradicts itself." is false.
To have "identical spacetime properties" means to "have the same spacetime location" e.g you have one thing.
Can you even count?
This is often referred to as ‘Leibniz's Law’ and is typically understood to mean that no two objects have exactly the same properties.
Re: Simply defining Gödel Incompleteness away V8
It doesn't justify anything. You are stuck in a tautology.PeteOlcott wrote: ↑Mon Jun 22, 2020 7:46 pm Yes and that justifies "the identify of indiscernibles":
This is often referred to as ‘Leibniz's Law’ and is typically understood to mean that no two objects have exactly the same properties.
Even if TWO objects had exactly the same properties there would still be TWO objects.
The simple fact that there are TWO of them implies there isn't ONE. A thing is only ever identical with itself.
Leibniz's Law is stated like this: FORALL (x,y) [ x = y implies FORALL F [ F(x) = F(y) ]]
I am flat out telling you that the foundation of a logic in which: FORALL (x,y) [ x != y ]