Correct because snow is an aggregate of frozen ice crystals that are an external referents in the idiomatic self referencing system of symbols used in language between communicants.
I spit out my coffee reading this
Correct because snow is an aggregate of frozen ice crystals that are an external referents in the idiomatic self referencing system of symbols used in language between communicants.
Uh, no. That is not what it means. Which word are you having trouble with? "Semantic"? "Word"? "Game"? In any way, just look up those words in the dictionary and you will have a very clear idea of what I mean.
Can you link some article about this kind of measurement? Thank you.
Qualia can't be shown to exist?
How do you know they exist?
![]()
Essentially, phiwum is correct, isn't he. You are using the term "semantic word games" to dismiss something you are not interested in.
I do not believe qualia can be shown to exist in the empirical, physical, measurable sense because there is no way to directly or indirectly quantify nor measure an emotional state like "anger". Hard problem of consciousness and all that. Perhaps there will be a breakthrough one day, but I don't see how at this point. You're essentially trying to quantify a qualitative, internal state with a physical model. No idea what that would even look like.
I spit out my coffee reading this
You don't actually need to overcome the hard problem to quantify emotional states. Not in principle anyway. There is neural correlation. That's enough to quantify.
I am talking about a mechanistic model (a why/how does a neural network give rise to an emotional state). Not a statistical correlation model. The correlation part is "easy" in principle given a powerful enough set of measuring tools.
To do something like this with consciousness we would need to derive some set of equations using first principles and consciousness would "pop out" the way gravity comes about due to the curvature of spacetime. I don't see how this is possible since consciousness is a qualitative internal state (where everything that is physical is observable and quantifiable, at least in principle).
Formal logic is thus a useful tool for making explicit philosophical claims. Of course, it doesn't work well in every domain, but it can be useful in certain cases.
One minor question: you said that humans can't solve a SAT problem with 1000 variables. Is this currently feasible with automated SAT solvers?
I agree that it can be useful for eliminating ambiguity. But when it advances to constructing actual proofs, it often gets quite fishy. I have to admit that I haven't read that many papers in philosophy, I don't have strong enough background with the terminology so it's always an effort for me. But I've occasionally had to examine proofs that have been presented in such papers. And most of those have been cringe-worthy. Though, there may be some amount of selection bias involved with this where only the bad proofs catch my attention and I'm just unaware of the good ones. As I said, I haven't read much philosophy.
Actually, I wrote a human can't create a problem with 1000 variables. For solving them the limit is much smaller. You need really good dedication and attention to details to solve a problem with something like 20 variables unless it is a trivial one. When it comes to difficult instances my personal limit for hand-solving would be somewhere around 5-6 variables, at that point the proof trees grow large enough that I don't trust myself to not make some simple stupid mistake somewhere along the way.
SAT problem is interesting in that there is a huge difference between difficulty in solving different instances. Most are easy. They either have lots of models so one can be found easily, are so overconstrained that they can be proved inconsistent fast, or they have simple structure that allows solvers to use truth-value propagation rules efficiently.
When you have a nice clean instance that has clean structure, then modern solvers can handle hundreds of thousands of atoms and millions of clauses.
However, some instances are very difficult. The most difficult area is called the phase-transition area for SAT (transition is from underconstrained to overconstrainted problems). It's an area of random instances that have no structure and approximately half of them have a model and a half are unsatisfiable. I'm not certain how well the best current solvers handle the area, but about 5 years ago they could get to about 700 variables.
Can you link some article about this kind of measurement? Thank you.
Not sure if you're joking due to the smiley, but...
I do not believe qualia can be shown to exist in the empirical, physical, measurable sense because there is no way to directly or indirectly quantify nor measure an emotional state like "anger". Hard problem of consciousness and all that. Perhaps there will be a breakthrough one day, but I don't see how at this point. You're essentially trying to quantify a qualitative, internal state with a physical model. No idea what that would even look like.
You could assume neurons interacting across time domains gives rise to some kind of emotion. But this is a black box model and we would still have no idea "why" neural networks when in some configurations gives rise to consciousness. Not in the same way we understand how electrons moving around gives rise to a computer -- because we can actually quantify electron movement and map that to information content and build a computer as a result. Emotions and personal experience are not simply "information content"; subjective experience appears to be something different.
However, I still know qualia actually do exist because I experience them. No idea why I (or anyone else) experiences them if we are indeed just a mass of particles interacting, but nonetheless we do.
What if you substitute 'perception' for 'qualia'?
Not perfect understanding but growing area. They are not just a mass of particles randomly interacting.
Can you see qualia of color if you are color blind. Or blind?
1889: Heavier-than-air flying machines are imaginary!That computer is also imaginary.
1889: Heavier-than-air flying machines are imaginary!
1939: Bombs that convert matter into energy are imaginary!
1979: Personal computers with 20,000 million transistors that run at 8GHz are imaginary!
In 1979 I built my first computer with 1k of RAM and a 1MHz CPU. If you had told me back then that within a few short years I would be building a PC with Gigabytes of RAM and a CPU running at microwave frequency, I would not have believed you. And yet, here we are...

Qualia can't be shown to exist?
How do you know they exist?
'The researchers successfully measured the electrical impulses correlating with subatomic particles hitting the sensors, not the particles themselves'.
When an animal experiences fear, hate or love it is a measurable physiological effect - but when humans do it we insist that it is something else. To that argument I ask, what does it feel like to be a computer? Do they experience 'qualia' like us? Of course they do, just like humans do when specific parts of the brain are stimulated with electrical impulses. We only think we are different due to how our conscious mind interprets these 'feelings'.
You don't actually need to overcome the hard problem to quantify emotional states. Not in principle anyway. There is neural correlation. That's enough to quantify.