Transgender Q&A

[Daniel]

11 minutes ago, S:C said:

How so? Can you explain please, Daniel?

 

Finding a counter-example is often easiest by looking for the undisclosed assumptions.  These assumptions possess possibilities which were not included when producing the assertion.  

 

In this case the assertion was simple subject ---> predicate.  I introduced a "black-box" in-between the subject and the predicate then I considered what could be in this black-box?  Is there anything I can add to the sequence of events which would possibly produce the outcome which is being denied.

 

 

14 minutes ago, S:C said:

Still curious on how a mango seed becomes a apple tree in modal logic!

 

See here:

 

 " ... The ability to bring back extinct animals ... "

 

https://www.mybiosource.com/learn/future-of-cloning/

 

The same can be accomplished with a mango seed in order to produce an apple tree.

 

MangoSeed ---> AppleTree = FALSE if there is nothing else occurring other than putting it in the ground.  That's an assumption.  

 

Looking for the counter-example, I introduce a "black-box" in between the subject and the predicate.  Then I postulate what could be in that black box which produces the desired outcome.  In my mind it looks like this:

 

MangoSeed ----> [ _______________ ] ---------> AppleTree = True ???

 

I solved it by introducing DNA manipulation into the "black-box" in a future possible world.

 

MangoSeed ---> DNAManipulation ---> AppleTree = True.

[Daniel]

25 minutes ago, S:C said:

Westerners sometimes call it playing the devils advocate

 

I think that's different.  Devil's advocate is role-play in the form of:  "... for the sake of argument let's say I disagree with you ... "

 

In this case it's first expressing "I am absolutely certain", then later, "well,... my personal over arching philosophy moderates my certainty."

 

[S:C]

Quote

Finding a counter-example is often easiest by looking for the undisclosed assumptions.  These assumptions possess possibilities which were not included when producing the assertion.  

 

That too, was quite helpful and enlightening today!  Thank you @Daniel ! Do you have advice for a good book that gives an entry into modal logic (… is there something like modal logic for dummies?)
You explained it very well, I think it’s helpful for all sorts of assertions of people! 

Edited Friday at 01:02 PM by S:C

[S:C]

4 minutes ago, Daniel said:

 I think that's different. 
 

(…)

 

In this case it's first expressing "I am absolutely certain", then later, "well,... my personal over arching philosophy moderates my certainty."

I‘m not so sure anymore.
 

Isn’t truth a questionable and sometimes even dubious concept, depending on the perspective, question, context and definitions?

What’s it called in the vedas? I gotta look that up sometime…

Edited Friday at 01:06 PM by S:C

[snowymountains]

13 hours ago, Daniel said:

 

Here you go.

 

1. Zachar, male.
2. Nekevah, female.
3. Androgynos, having both male and female characteristics.
4. Tumtum, lacking sexual characteristics.
5. Aylonit hamah, identified female at birth but later naturally developing male characteristics.
6. Aylonit adam, identified female at birth but later developing male characteristics through human intervention.
7. Saris hamah, identified male at birth but later naturally developing female characteristics.
8. Saris adam, identified male at birth and later developing female characteristics through human intervention.

https://www.myjewishlearning.com/article/the-eight-genders-in-the-talmud/

 

 Rav Ammi suggests, drawing on a pair of verses from Isaish 51, that Avraham and Sarah were in fact tumtumim, and Rabbi Nachman further imagines that Sarah was an aylonit.

 

https://www.sefaria.org/sheets/263046?lang=bi

 

 

 

Interesting. Regarding 6 & 8, how was human intervention defined in the age when the Talmud was written?

[Maddie]

2 hours ago, S:C said:

 

Still curious on how a mango seed becomes a apple tree in modal logic! But maybe we should take this elsewhere, I don’t want to occupy @Maddies thread here with topics leading astray and elsewhere…

 

Maybe it takes apple hormones? 🤭

Edited Friday at 02:55 PM by Maddie

[Daniel]

2 hours ago, S:C said:

 

That too, was quite helpful and enlightening today!  Thank you @Daniel ! Do you have advice for a good book that gives an entry into modal logic (… is there something like modal logic for dummies?)
You explained it very well, I think it’s helpful for all sorts of assertions of people! 

 

You're very welcome.

 

Sadly no.  I'm not an expert.  The only aspect of modal logic that is employed here is a loosening of the restrictions that the phenomena exist here and now.  Modal logic permits consideration of what is possible.  The universal qualifier "in any possible world" signals modal logic.

 

Wikipedia has a decent article on it, if I recall tho.

 

Edited Friday at 03:13 PM by Daniel

[Daniel]

2 hours ago, S:C said:

I‘m not so sure anymore.
 

Isn’t truth a questionable and sometimes even dubious concept, depending on the perspective, question, context and definitions?

What’s it called in the vedas? I gotta look that up sometime…

 

It can be, but, rigorous language, as usual prevents ambiguity.

 

The switch on the wall is either on or off, not both, not neither.

 

Law of the excluded middle.

 

That's the foundation.

[Daniel]

21 minutes ago, Maddie said:

 

Maybe it takes apple hormones? 🤭

 

.... Too many jokes ...

... Mind is overflowing ...

[Daniel]

1 hour ago, snowymountains said:

Interesting. Regarding 6 & 8, how was human intervention defined in the age when the Talmud was written?

 

Good question.  I don't know.

[Maddie]

https://www.nbcnews.com/nbc-out/out-news/texas-supreme-court-upholds-ban-gender-affirming-care-trans-youths-rcna159496

 

This is unfortunate 😔 🏳️‍⚧️

[Cobie]

The Texas Supreme Court upheld the state’s ban on gender-affirming care for transgender minors.

Texas law considers residents who are 18 years old or older as adults. 
 

 

Edited Friday at 10:19 PM by Cobie

[Mark Foote]

7 hours ago, Daniel said:

 

It can be, but, rigorous language, as usual prevents ambiguity.

 

The switch on the wall is either on or off, not both, not neither.

 

Law of the excluded middle.

 

That's the foundation.
 

 

About that switch. 

 

A hot topic, in the 1920's and 30's in mathematics:
 

In his second problem, [Hilbert] had asked for a mathematical proof of the consistency of the axioms of the arithmetic of real numbers.

To show the significance of this problem, he added the following observation:

"If contradictory attributes be assigned to a concept, I say that mathematically the concept does not exist" (Reid p. 71)

 

Thus, Hilbert was saying: "If p and ~p are both shown to be true, then p does not exist", and was thereby invoking the law of excluded middle cast into the form of the law of contradiction.

 

And finally constructivists … restricted mathematics to the study of concrete operations on finite or potentially (but not actually) infinite structures; completed infinite totalities … were rejected, as were indirect proof based on the Law of Excluded Middle. Most radical among the constructivists were the intuitionists, led by the erstwhile topologist L. E. J. Brouwer (Dawson p. 49)

 

The rancorous debate continued through the early 1900s into the 1920s; in 1927 Brouwer complained about "polemicizing against it [intuitionism] in sneering tones" (Brouwer in van Heijenoort, p. 492). But the debate was fertile: it resulted in Principia Mathematica (1910–1913), and that work gave a precise definition to the law of excluded middle, and all this provided an intellectual setting and the tools necessary for the mathematicians of the early 20th century:

 

Out of the rancor, and spawned in part by it, there arose several important logical developments; Zermelo's axiomatization of set theory (1908a), that was followed two years later by the first volume of Principia Mathematica, in which Russell and Whitehead showed how, via the theory of types: much of arithmetic could be developed by logicist means (Dawson p. 49)

 

Brouwer reduced the debate to the use of proofs designed from "negative" or "non-existence" versus "constructive" proof:

 

According to Brouwer, a statement that an object exists having a given property means that, and is only proved, when a method is known which in principle at least will enable such an object to be found or constructed …

Hilbert naturally disagreed.

"pure existence proofs have been the most important landmarks in the historical development of our science," he maintained. (Reid p. 155)

Brouwer refused to accept the logical principle of the excluded middle, His argument was the following:

"Suppose that A is the statement "There exists a member of the set S having the property P." If the set is finite, it is possible—in principle—to examine each member of S and determine whether there is a member of S with the property P or that every member of S lacks the property P." (this was missing a closing quote) For finite sets, therefore, Brouwer accepted the principle of the excluded middle as valid. He refused to accept it for infinite sets because if the set S is infinite, we cannot—even in principle—examine each member of the set. If, during the course of our examination, we find a member of the set with the property P, the first alternative is substantiated; but if we never find such a member, the second alternative is still not substantiated.

Since mathematical theorems are often proved by establishing that the negation would involve us in a contradiction, this third possibility which Brouwer suggested would throw into question many of the mathematical statements currently accepted.

"Taking the Principle of the Excluded Middle from the mathematician," Hilbert said, "is the same as … prohibiting the boxer the use of his fists."

"The possible loss did not seem to bother Weyl … Brouwer's program was the coming thing, he insisted to his friends in Zürich." (Reid, p. 149)

 

In his lecture in 1941 at Yale and the subsequent paper, Gödel proposed a solution: "that the negation of a universal proposition was to be understood as asserting the existence … of a counterexample" (Dawson, p. 157)

 

(Wikipedia, "Law of Excluded Middle", emphasis added)

 

Have yer counter-examples ready, when asserting the negation of universal propositions.

 

 

Edited Friday at 10:37 PM by Mark Foote

[old3bob]

Trig is enough for me.  

[Maddie]

12 hours ago, Cobie said:

The Texas Supreme Court upheld the state’s ban on gender-affirming care for transgender minors.

Texas law considers residents who are 18 years old or older as adults. 
 

 

 

The party that claims they want government out of people's lives basically took parents right to govern the healthcare of their child away.

[silent thunder]

On 6/29/2024 at 5:54 AM, Maddie said:

 

The party that claims they want government out of people's lives basically took parents right to govern the healthcare of their child away.

Always so convenient when they want and insist on government intrusion.  And it's usually on other's lives, not their own.