Interesting, although I'm not sure what you say follows:
As the number of clauses increases, so should the number of variables (randomly chosen). That is, the alpha that your result mentions can well fluctuate between over-and-underconstrained values even with a googol clauses. Alpha, being the clauses-to-variables ratio does not increase solely because the clauses increase, since the variables are randomly filled in as well.
Even for overconstrained values of alpha, the problem is still in NP, i.e. exponential in the worst case. Being able to make an accurate prediction for overconstrained values is certainly possible, but would we call that heuristic an "intuition"?
As the number of clauses increases, so should the number of variables (randomly chosen). That is, the alpha that your result mentions can well fluctuate between over-and-underconstrained values even with a googol clauses.
For any particular 3-SAT instance, you can calculate α. If the random algorithm that generated it doesn't favor any particular clause types, then the distribution of outputs with c clauses and v variables should be uniform among all such 3-SAT instances, and therefore we can use α to figure out if the formula is (most likely) satisfiabl...
Closely related to some of Luke's recent discussions about philosophy, philosopher Paul Thagard has recently called for changes to the way we do philosophy:
In the same article, Thagard also lists eleven areas where modern philosophy goes awry. For example:
Source: Philosopher, Paul Thagard