There's a parochial madness here that is pretty sad.

No philosophy. Just a lot of special pleading and tu quoque. — Ciceronianus

The supposed "ideological crisis" is a result of dropping any pretensions of acting ethically, in favour of just openly being inconsiderate, narcissistic twats. Trying to rake back any intellectual dignity from the mess that is the GOP is a lost cause. Intellectual dignity is not on the menu. One cannot have such an "ideological crisis" unless one is committed to at least appearing to have a standing commitment to coherence, justification, or ethical self-understanding. Those pretensions have simply been abandoned.

It’s not that the GOP can’t supply a philosophy, so much as that supplying one would be instrumentally pointless given the current incentives. Attempts to reconstruct "Trumpism" (which is not even a "thing", as the kids say) as a coherent doctrine (national conservatism, post-liberalism, etc.) are absurd; trying to smuggle normative seriousness back into a practice that now explicitly disavows it.

But I would say that.

Carry on.

I very nearly missed your post, yet it's the part of the discussion that I think is novel. Much of the rest has been gone over many times in these fora.

I'll try to be clearer about what it is I think that the Markov Blanket shows. It's to do again with the difference between the causal and the epistemic accounts. A Markov blanket can be placed in different parts of the causal chain with similar results. Consider the causal chain flower - camera - screen - eye - brain. Here are four possibilities:

• Blanket boundary: Around the brain
  
  • Internal states: Brain
  • External states: Everything outside the skull
  • Sensory states: Eye signals
• Blanket boundary: Around the eye
  
  • Internal states: Eye + Brain
  • External states: Screen + Camera + Flower
  • Sensory states: Retinal signals
• Blanket boundary: Around the screen
  
  • Internal states: Screen
  • External states: Camera + Flower
  • Sensory states: Screen pixels
• Blanket boundary: Around the camera
  
  • Internal states: everything behind the camera
  • External states: Flower
  • Sensory states: camera signal

In all three of these, the causal chain remains the same. In the first, the brain "sees" the signal from the eye; in the last, the whole apparatus "sees" the flower; now that's oddly reminiscent of the whole direct/indirect fiasco...

And causally speaking, there's where we can rest. The difference is not in the causal chain, but where one spreads one's Markov blanket.

So, and here we can reject much of the account @Michael has promulgated, since causal mediation does not entail indirect perception.

More anon.

Ok. Nuanced stuff. Noice.

I have to disagree a bit with this:

...dropping the remainder-based role that functions perfectly well in the finite case. — Esse Quam Videri

The "remainder-based role" is not dropped; the use of bijection keeps everything that the alternative has to offer, and adds the ability to deal with infinities. The shift doesn't sacrifice the old inferential roles, it enriches them.

Ok. I'll hold back. We'll see.

Yep, at least the pattern is the same.

Cheers. I'd be interested in your take on my comments regarding formal language. I see it as a refinement of, rather than distinct from, natural language.

Ok. The point of the direct vs indirect realism debate is precisely about the subject’s epistemic relation to objects, not the causal chain that brings that relation about. The causal chain is agreed.

And while they are seeing the image on the screen and they are seeing the ship and they are talking about the ship, each of these has a slightly differing sense, each is involved in a different activity. The first, they might see the screen and talk about how it fits in to the causal chain that leads to them seeing the ship. The second, they see the ship. The last, they fit the ship in to their epistemic background.

The indirect realist sees the causal chain and says that perception is indirect. The direct realist sees the chain and point out that the chain is how we know about the ship. For the direct realist, the chain is the mechanism by which the world shows itself, for the indirect realist, it is a veil hiding it.

Yeah, well, I gather you use mind as a distinct "substance" in your theology, so it works for you there. My rejection of the mind/wold divide is methodological, not just convenient. But this:

This is to mean, if you can jettison the distinction between mental states and external states on the grounds it makes reality easier to comprehend, regardless of whether it comforts with actuality, then you've made it no less logical to insert other preferences into this mix. — Hanover

I again was not able to follow. The fact that mind and world interact I hope we both take as granted, and so ought be suspicious of any doctrine of substances that appears to impede this interaction.

I guess we might also acknowledge two variants on silentism; the one that says there is no further explanation, and the one that in comfortable with lack of congruence.

Australia's health system is far from perfect, but the idea that we would do better to emulate the system in the USA can only be met with derision.

Interestingly, my local government - I live in the Australian Capital Territory - recently took over control of a large religious hospital because of the incompetence of the Catholic administration. Socialism at work, for the benefit of all.

I'm not suggesting that there are not things people with disabilities cannot do. Rather, I'm pointing out that how we talk and think about what folk can't do serves to exacerbate the problem, making other things harder for them to do; and that we can as an alternative refocus on wha they are able to do, to the benefit of all.

I tried to follow that, but failed. See this response from ChatGPT. And Claude, from the same prompt, concluded

This post articulates real philosophical concerns about actual vs. potential infinity, echoing positions from intuitionism and finitism. However, it:

Makes technical errors about what Dedekind-finite infinite sets would be
Misattributes motivations to Hilbert and misrepresents Gödel
Overstates the practical impact on mathematics and science
Presents a minority foundational view as obvious "common sense"

The core intuition—that treating "1, 2, 3, ..." as a completed totality involves a conceptual leap—is worth taking seriously. But the execution here conflates technical and philosophical issues, and the dismissal of modern foundations as "adhoc" ignores their substantial mathematical and philosophical motivation.
Salience: Relevant to foundations and philosophy of mathematics, but overstated regarding impact on working mathematics. — Claud Sonnet 4.5

I'm not sure how to proceed here.

Cheers. Useful stuff. When someone makes such obvious mistakes, it's probably not worth giving detailed responses, because chances are they will not be able to recognise or understand the argument. The result will be interminable.

I think part of what’s driving the disagreement here is that two different notions of “same size as” are in play, and they come apart precisely in the infinite case. — Esse Quam Videri

Yes, but this far too charitable. There are compelling reasons for rejecting Magnus's account. The notion of "same size" he work with is inadequate to deal with infinities coherently - using it results in inconsistencies.

Here's a formalisation of Magnus's account.

• Proper Subset Principle
  If $A \subset B$ and $A \neq B$, then $A$ is smaller than $B$.
• Subtraction Principle
  If $B \setminus A \neq \varnothing$, then $B$ is larger than $A$.
• Transitivity of Size
  If $A$ is smaller than $B$ and $B$ is smaller than $C$, then $A$ is smaller than $C$.

These principles are all valid for finite sets.

Let's look at a few contradictions that result.

Contradiction 1: ℕ vs Even Numbers
Let

$\mathbb{N} = {1,2,3,4,\dots}$
$E = {2,4,6,\dots}$

• $E \subset \mathbb{N}$ and $E \neq \mathbb{N}$
  ⇒ by (N1), $E$ is smaller than $\mathbb{N}$.
  
• $\mathbb{N} \setminus E = {1,3,5,\dots}$ is infinite
  ⇒ by (N2), $\mathbb{N}$ is larger than $E$.

But define the pairing:

$f(n) = 2n$

This is a one-to-one correspondence between $\mathbb{N}$ and $E$.

So:

• $E$ and $\mathbb{N}$ are the same size.
• $E$ is strictly smaller than $\mathbb{N}$.

Thus:

$E \lt \mathbb{N} \quad \text{and} \quad E = \mathbb{N}$

This violates antisymmetry.

Contradiction 2: ℕ vs ℤ
Let

$\mathbb{N} = {1,2,3,\dots}$
$\mathbb{Z} = {\dots,-2,-1,0,1,2,\dots}$

• $\mathbb{N} \subset \mathbb{Z}$, proper subset
  ⇒ by (N1), $\mathbb{N} \lt \mathbb{Z}$.
  
• $\mathbb{Z} \setminus \mathbb{N}$ is infinite
  ⇒ by (N2), $\mathbb{Z} \gt \mathbb{N}$.

But define a pairing:

$0 \leftrightarrow 1,\quad<br /> -1 \leftrightarrow 2,\quad<br /> 1 \leftrightarrow 3,\quad<br /> -2 \leftrightarrow 4,\dots$

So:

• $\mathbb{N}$ and $\mathbb{Z}$ are the same size.
• $\mathbb{N}$ is strictly smaller than $\mathbb{Z}$.

Again:

$\mathbb{N} \lt \mathbb{Z} \quad \text{and} \quad \mathbb{N} = \mathbb{Z}$

Contradiction.

Contradiction 3: Self-Subtraction
Let $A = \mathbb{N}$.

Partition $A$ into two disjoint infinite subsets:

$A = E \cup O$

where

$E = {2,4,6,\dots}$
$O = {1,3,5,\dots}$

By (N1):

• $E \lt A$
• $O \lt A$

But:

$A = E \cup O$

So $A$ is the union of two sets each strictly smaller than $A$.

This is impossible under the naïve size rules, which are now mutually inconsistent.

Contradiction 4: Hilbert’s Hotel
Let hotel $H$ have rooms ${1,2,3,\dots}$, all occupied.

Define:

$f(n) = n+1$

This moves each guest up one room, freeing room 1.

• No guests are removed.
• A new room becomes available.
• The hotel is both “the same size” and “larger”.

Under subtraction-based size:

• Adding capacity without increasing size is impossible.
• Removing nothing yet gaining space is impossible.

The governing rules of “size” break down.

Conclusion
Once infinite sets are admitted, the principles:

• proper subset ⇒ smaller,
• remainder ⇒ larger,
• antisymmetry and transitivity,

cannot all be maintained. The naïve notion of “same size” does not merely yield counter-intuitive results — it generates outright contradictions.

This is the sense in which the mathematical objection applies: the concept fails to define a coherent ordering on infinite collections.

Thanks to ChatGPT for help with the formatting, but even so the time taken to respond to the sort of nonsense promulgated by maths sceptics is far more than the net benefit.

Once that distinction is on the table, the question isn’t really “who is right,” but what we want the concept of “same size” to do in this context. Mathematics answers that one way; ordinary language answers it another. — Esse Quam Videri

The question is, "who is right?", and the answer is, the contradictions above show that Magnus' ideas cannot be made consistent. Formal language is nothing more than tight use of natural language - it is not unnatural. What is shown by the contradictions is not a conflict between natural and formal languages, but a lack of adequate tightness in Magnus's argument. Magnus’s argument lacks sufficient precision to handle the case he wants it to handle.

Notice also that the arguments stand alone, they are not appeals to authority.

The correct diagnosis is not conceptual pluralism, but logical failure.

ChatGPT will summarise a discussion:


Summarise the argument and responses at https://thephilosophyforum.com/discussion/16296/disability/p1 and the next few pages, by topic.


Result: https://chatgpt.com/share/6962116e-63d8-800f-ad10-77d861ed4b8a


This seems to have given a reasonable summary of the conversation and offered to do the next few pages.

Sorry, I hadn't noticed this:

That a bijective function exists, cretin, does not mean that the two sets can be put into a one-to-one correspondence. — Magnus Anderson

:lol:

Oh, well. :roll:

Reading isn't thinking. — Magnus Anderson

Nor is your making shit up.

Reading a maths book isn’t just passive; it’s fuel for precise thinking, especially when you’re debating infinite sets. It shows how folk have thought about these issues in the past, and the solutions they came up with that work.

Your responses are now a bit too sad to bother with. Thanks for the chat.

What you provided is the definition of the countable infinity. That's not the same as infinity. — Magnus Anderson

Well, it's one infinity amongst a few others...

If you want to prove that my definition is false — Magnus Anderson

Your "definition" of infinity is not a definition of infinity. It's not false, it's just an intuitive approximation.

Simply asserting that my definition is a heuristic that is useful for intuition is not an argument. — Magnus Anderson

Yep. So I went the step further, presenting one of the standard definitions.

That goes against what Cantor said. — Magnus Anderson

It seems then that you haven't understood Cantor, either.

And I am pretty sure you won't be able to prove it — Magnus Anderson

A bijection exists between N and A — e.g., $f(n) = \frac{1}{n+1}, \quad n \in \mathbb{N}$


You really should take 's advice and read a maths book.

Let A be a finite set that is { 1, 2, 3, ..., 100 }.
Let B be a finite set that is { 1, 2, 3, ..., 99 }. — Magnus Anderson

Matching one to one from the left, the one left out is the 100. :meh:

With your
A = { 1/2, 1/3, 1/4, ... }
and
N = { 1, 2, 3, .. . }

There isn't last element. Nothing is left out.

They aren't the same size. The set of even numbers has two times smaller. Doesn't matter what Cantor and mathematical establishment say. They aren't reality. — Magnus Anderson

Yep, the evens only has every second number, so it must be half the size... Thanks for the giggle!

...a number that is larger than every integer... — Magnus Anderson

...is not the definition of infinity. “Larger than every integer” is a heuristic, useful for intuition, but the mathematical definitions depend on limits or cardinality. Something like:

S is countably infinite ⟺∃f:N→S that is bijective (one-to-one and onto).

A heuristic for sets is the Infinite means the set never ends; there’s no last element. That allows for sets with transfinite elements.

And adding four to an integer is still an integer. — Magnus Anderson

Sure. Infinities are not integers.

If "add" means "increase in size" — Magnus Anderson

But it doesn't.

Adding four to infinity is still infinity.

By definition, to add an element X to an existing set of elements S means to increase the size of that set. — Magnus Anderson

Not for infinite sets. For obvious reasons.

ℕ and ℕ ∪ {0} really are the same size
Take:

ℕ = {1,2,3,…}
ℕ₀ = {0,1,2,3,…}

here:

f(n) = n - 1

This is:

• injective (no collisions)
• surjective (every element of ℕ₀ is hit)
• Total

That is a proof of equal cardinality. Nothing is “pretended”.
The fact that this offends finite intuition is exactly what “infinite” means in modern mathematics.

You should get on well with Meta.

I'll leave you to it.

The topic attracts cranks.

See The Enumeration of the Positive Rationals

It should be pretty clear.

It lacks exactly one element. — Magnus Anderson

Which element is missing?

I didn't take Cantor's word for it, I read his diagonal argument.

Consider A = { 0, 1, 2, 3, 4, 5 } and B = { 1, 2, 3, 4, 5 }.

0↔︎1
1↔︎2
2↔︎3
3↔︎4
4↔︎5
5↔︎?

There are not enough items in your second set to map one-to-one to the first set. Hence the cardinality of the first is larger than that of the second. Looks pretty convincing to me.

We should take your word for this?

I gave an argument - albeit briefly. Fractions can be placed in a sequence, and so are no more than countably infinite.

Were did I go wrong?

The paperback finally arrived today.

Might be some revision for this thread ensuing.

And I'd still like to get back to How to Prove Hume’s Law.

See how we go.

Here's an article from a few months back - starting with quote from Charlie Kirk - about disability as the canary in the coal mine of social policy.

The US right is coming for disabled people. Here’s why that threatens everyone

It makes pretty sad reading.

This quote struck me as salient to this thread:

“Disabled people were not always marginalized; we were incorporated into society in the ancient past,” said Dr Alexandra F Morris, a lecturer in classical studies at the University of Lincoln who studies disability in ancient Egypt. “We have the means to create and return to a more equitable society if we wish to, but it is our modern-day thinking that sees disability as marginalized … and a burden.”

I know.

You are right that there are infinite infinities, but even with all those fractions, there are still only the same number as there are integers - ℵ₀, the smallest infinity - countably many. You can list them in a sequence, 1/1,1/2, 1/3, 2/3, 1/4, and so on, and so you can count them - line them up one-to-one with the integers.

Cantor showed that some infinities are larger, uncountably infinite. And then there are more than that. It's an interesting, curious area of maths. Check out Cantor's diagonal argument.

Yep. Consider these:

Trans

word-forming element meaning "across, beyond, through, on the other side of; go beyond," from Latin trans (prep.) "across, over, beyond," perhaps originally present participle of a verb *trare-, meaning "to cross," from PIE *tra-, variant of root *tere- (2) "cross over, pass through, overcome" [Watkins].

Besides its use in numerous English words taken from Latin words with this prefix, it is used to some extent as an English formative .... It is commonly used in its literal sense, but also as implying complete change, as in transfigure, transform, etc. [Century Dictionary]

In chemical use indicating "a compound in which two characteristic groups are situated on opposite sides of an axis of a molecule" [Flood].

Many trans- words in Middle English via Old French arrived originally as tres-, due to sound changes in French, but most English spellings were restored later; trespass and trestle being exceptions. — https://www.etymonline.com/search?q=trans

transgender(adj.)
also trans-gender, by 1974 in reference to persons whose sense of personal identity does not correspond with their anatomical sex, from trans- + gender (n.). Related: Transgendered.

cisgender(adj.)
also cis-gender, "not transgender," in general use by 2011, in the jargon of psychological journals from 1990s, from cis- "on this side of" + gender. — Etymonline

So it's indicative of a "crossing over, passing through, overcoming" of binary gender identities.

I knew you were going to say that...

...and yet we get on, regardless. Yep. It's what we do.

Cheers.

That it has a use doesn't mean it can be had. — Hanover

Not at all sure what that means.

The choice here is between on the one hand an account that divides the world into mind and object, then finds itself unable to explain objects; and an account that makes no such presumption.

One account begins by dividing mind from world and then cannot recover the world. The other refuses that division and never loses it.

Perception is a activity within the world, not an impassible bridge between worlds.

And here's the thing: we do manage to talk about ships, cups, walls and each other.

"Troll" for you is an effective, articulate debater with an opposing viewpoint.

Please! Distract me! — Ecurb

Here you go:



The world is still a good place.

You are under no obligation to respond. or even to read, to my posts.

keep the discussion on topic and engaging with ideas instead of petty insults. — Philosophim

:lol:


Here's my contribution:
Page four
Page three
Page two
Page one

I've argued that the claim “trans women are women” can be true. We are not obligated to use only a single fixed biological definition of "woman". Words such as man and woman are polysemous—they have multiple legitimate meanings that vary with context (social, legal, everyday use) and are not rigidly fixed by biology. Hence in contexts of gender identity and social role, “trans women are women” is true; rejecting it by privileging one narrow biological sense is to misunderstand how language works. The idea that there is a single true or default meaning of these terms independent of context is faulty, and insisting on such a view is arbitrary and ignores existing usages. The aim is to show the opposition’s original claim (that the slogan is categorically false) collapses once we acknowledge legitimate linguistic contexts in which the slogan is true.

You just doubled down on your erroneous understanding of language use, and your fascination with genitalia.

Why not? — Hanover

Because at some stage the conversation has a use.

Explain it then. — Philosophim

26 pages of your obsession with the contents of other people's underwear and the supposition that those contents dictate which toilette they must use, shows that there is not much point.

You're seriously trying to redefine "direct perception" in such a way that even with these visors and their computer-generated images on a screen they still directly see their shared environment? — Michael

That's not a redefinition. What this shows is how you misdiagnose the the argument. In your visor world, the visors drop out of the discussion when folk talk about ships. They are not seeing the image on the screen, they are seeing ship.

Direct realism doesn't claim that direct perception is perception without mediation. That would rule out glasses, mirrors, telescopes, microscopes, hearing aids, telephones — and even eyes and nerves. Mediation is ubiquitous and trivial. What matters is not causal mediation but epistemic termination. This is why your visor world makes no difference. The visor drops out of consideration, much as the beetle in a box does in discussions of private language. The function of the visor is irrelevant, in that the moment you insist — as the indirect realist must — that what we really ever see is only the visor-image, the example collapses.

When you hear your mother on the phone, you do not hear sound waves and then infer your mother as a hypothesis about an inner item. You hear your mother speaking, by means of sound waves, transmission systems, speakers, etc. The fact that you do not experience the causal chain as such is irrelevant — because direct realism never required that.

Direct realism is not the thesis that perception includes awareness of causal links. It is the thesis that perceptual verbs take worldly objects as their logical objects. You hear your mother, not a sound-wave-token; you see the ship, not a retinal image. The mediation is causal, not epistemic.

We can talk about the image on the visor, but this is derivative, dependent on our being able to talk about an image of the ship, and hence being able to talk about the ship.

The argument here is not redefining “direct”; but refusing to accept a Cartesian picture in which perception must either be inner and certain or outer and inferential.

This is were a Markov Blanket helps. On the indirect realist construal, the Markov blanket is treated as epistemically opaque. On the direct realist construal, the blanket is only causally isolating. Information flows across it, but that does not lead to epistemic confinement. The organism’s perceptual capacities are attuned to environmental states across the blanket; perception is an interaction spanning the boundary, not an encounter with an inner surrogate. What is perceived is the ship, not a mental image that stands in for it.

The indirect realist uses the debunked picture of a theatre of consciousness; the homunculus, sitting inside only ever seeing the ship on the visor. The better picture is that we see the ship, using the visor. There is no phenomenal state that is what we see in the place of the ship; rather, the neural process that constructs vision constitutes your seeing the ship.