<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="3.10.0">Jekyll</generator><link href="https://alexa-pan.github.io/feed.xml" rel="self" type="application/atom+xml" /><link href="https://alexa-pan.github.io/" rel="alternate" type="text/html" /><updated>2026-10-01T00:27:27+00:00</updated><id>https://alexa-pan.github.io/feed.xml</id><title type="html">Alexa Pan</title><subtitle>Alexa Pan&apos;s personal site and blog.</subtitle><entry><title type="html">Scrutability Bases / Hello World</title><link href="https://alexa-pan.github.io/blog/scrutability-bases/" rel="alternate" type="text/html" title="Scrutability Bases / Hello World" /><published>2026-09-30T00:00:00+00:00</published><updated>2026-09-30T00:00:00+00:00</updated><id>https://alexa-pan.github.io/blog/scrutability-bases</id><content type="html" xml:base="https://alexa-pan.github.io/blog/scrutability-bases/"><![CDATA[<p>Two clouds obscure the reason<sup id="fnref:1" role="doc-noteref"><a href="#fn:1" class="footnote" rel="footnote">1</a></sup> why a blog is overdue: there being nothing to say<sup id="fnref:2" role="doc-noteref"><a href="#fn:2" class="footnote" rel="footnote">2</a></sup>, or uncertainty about what to say and when and how to say them.</p>

<p>Here, I describe the character of future content which readers can expect from this blog, in order to gently dissipate the second cloud.</p>

<h2 id="what-ill-say">What I’ll say</h2>

<p>While my original ambition was to say every true thing once, I’ve realized that some readers may prefer that I write more sparingly—about only their scrutability base—instead.</p>

<p>A scrutability base is “a class of truths from which all truths are scrutable, for a given notion of scrutability”. Say the notion of scrutability is “a priori knowable by an ideal reasoner”. (I assume the reader is competent with these terms and satisfied with this definition, as she is no doubt an ideal reasoner. I myself am not certain e.g. what the relevant notion of a class is, but let’s move on!)</p>

<p>So, what goes into our scrutability base? Taking Chalmers and Jackson (2001) for a start, there are four kinds of contingent truths from which ideal reasoners can deduce<sup id="fnref:3" role="doc-noteref"><a href="#fn:3" class="footnote" rel="footnote">3</a></sup> all other contingent truths: <em>P,</em> the microphysical truths; <em>Q,</em> the phenomenal truths; <em>T</em>, a “that’s all” truth; and <em>I,</em> the indexical truths. Call this the <em>PQTI</em> base.<sup id="fnref:4" role="doc-noteref"><a href="#fn:4" class="footnote" rel="footnote">4</a></sup> PQTI leaves some blog posts unpublished, but leaves nothing unknown.<sup id="fnref:5" role="doc-noteref"><a href="#fn:5" class="footnote" rel="footnote">5</a></sup></p>

<p>While the ideal blog would tackle at least the PQTI base, observe that this even this seems like a lot of work. Below, I sketch what subsets of PQTI I intend to cover.</p>

<h3 id="p-microphysical-coverage">P: Microphysical coverage</h3>

<p>It seems fair to cover some, but not all, of the microphysical truths. I’d like to learn some physics again, and blogging about what I’ve learned would be a fine reward. (For example, I would like to remember how a superconducting qubit works, and what part of the circuit I soldered all day. I’d like to be able to read philosophy of physics papers for various topics in physics.)</p>

<p>While I would <em>never</em> so much as insinuate that the reader could fail to compute macrophysical truths from the relevant microphysical truths, I would nevertheless extraneously cover some macrophysical truths. For example, I might discuss candidates for physical bottlenecks to self-sufficient AI and how soon / at what levels of AI capability they might be removed. (Most metaphysical truths pertaining to AI takeover threat models will probably go on Lesswrong or Substack, but we’ll see.)</p>

<h3 id="q-phenomenal-coverage">Q: Phenomenal coverage</h3>

<p>A lot of the phenomenal truths on offer in this blog will pertain to what exactly it is like to be me at time T. While most such truths will be reserved for private musing, some are already haphazardly circulated, and it seems fine for them to go down on this blog and amount to a public record<sup id="fnref:6" role="doc-noteref"><a href="#fn:6" class="footnote" rel="footnote">6</a></sup> of my most formative and influential thoughts, feelings, attitudes, (literal) dreams, recollections, aspirations, etc. Perhaps not much else can be scried from this record, but I hope they will at least be entertaining.</p>

<p>I am not confident, to say the least, in my ability to offer the reader other phenomenal truths. The least I can do is try to acquire other points of view which affords access to more phenomenal truths over time (such as birdwatching, I’m told, and perseverant blogging which affords the point of view of a blogger).</p>

<p>In order to know the phenomenal truths I plan to convey, the reader must have, as a prerequisite, the relevant phenomenal concepts (referring to a phenomenal property which is also its own mode of presentation), such as redness or the smell of <a href="https://hermanoscoffeeroasters.com/blogs/blog/all-about-yellow-fruits?srsltid=AU7gw4XZMnHw6HY-XSikukwVFidYunrRLNgpNKPcqj7z5_6HdvRy46xd">Yellow Fruits</a> when you squeeze air out of the valve (see below).</p>

<p>Because it is difficult to convey phenomenal truths, I may wax poetic or speak loosely and figuratively and even resort to non-standard punctuation or none at all. I may lavish other forms of media. This deviation from my usual upright writing style must be construed as form forced by function rather than defects in ability or character.</p>

<h3 id="i-indexical-coverage">I: Indexical coverage</h3>

<p>Indexical truths are truths like “I am 24601” or “Now it’s Wednesday morning, 3 A.M.” which involve indexical expressions whose reference depends on context. My rough understanding is that we only need, for the PQTI base, some small number of self-locating indexical truths.</p>

<p>Unfortunately, my self-locating truths (“I am Alexa”) are just ordinary macrophysical facts (“the author of this text is Alexa”) to you. In order to complete the PQTI base, readers will need to locate themselves.<sup id="fnref:7" role="doc-noteref"><a href="#fn:7" class="footnote" rel="footnote">7</a></sup></p>

<h3 id="t-thats-all-coverage">T: “That’s all” coverage</h3>

<p>A “that’s all” truth says “that’s all—there are no further truths”. This truth is thrown in to save us the trouble of enumerating (the infinite and innumerable) negative truths about what doesn’t exist and what isn’t the case (e.g. “there are no pelicans”).</p>

<p>I haven’t looked closely into the motivation for including this in the base; at a glance it seems kind of silly, which makes me reluctant to blog about it.</p>

<p>More importantly, it seems unlikely that I will ever exhaust PQI through writing. So let’s not say “that’s all”, only “until I write again”.</p>

<h3 id="exceptions-and-disclaimers">Exceptions and disclaimers</h3>

<ol>
  <li>I’ll say some things outside the scrutability base, e.g. mathematical and logical truths which are already apparent to the ideal reasoner.</li>
  <li>I’ll say some things whose status in relation to the base are still yet to be determined by further reflection, e.g. normative facts, grounding principles.</li>
  <li>I may say some things that are false, unknowingly, since I will say what I believe to be true but some beliefs may be false. (Just in case readers mistook me for infallible.)</li>
  <li>I may say some things that are false, knowingly, for ironic effect (“O do not love too long”).</li>
  <li>I may say some things that are not truth-apt (“boo neuralese”, or bad poems).</li>
  <li>All opinions are not my employer’s.</li>
</ol>

<h2 id="when-ill-say-them">When I’ll say them</h2>

<p>The present aspiration is to publish substantive posts regularly if infrequently (perhaps with each full moon), with occasional short notes.</p>

<p>There is a further question of how long one should wait to say certain facts. Should one say them immediately, from a first-person perspective, while the fact still obtains according to the present time, or with substantial delay, from a third-person perspective, when the fact no longer obtains according to the present time? (If these facts are in fact temporary, but almost all facts benefit from some fermentation and reflection.)</p>

<p>I’d guess the right approach depends on the material (Yellow Fruits go stale, black vinegar and presumably wine improves with time). I’ll think of this blog as closer to coffee for now.<sup id="fnref:8" role="doc-noteref"><a href="#fn:8" class="footnote" rel="footnote">8</a></sup></p>

<h2 id="why-ill-say-them">Why I’ll say them</h2>

<p>Maybe I should have mentioned this earlier. The goal is, of course, to scry the (your, my) universe and to be scried.</p>

<p>Sadly, even if we have done our best and written down all of PQTI, the universe and I may remain inscrutable. The a priori entailment thesis may not hold<sup id="fnref:9" role="doc-noteref"><a href="#fn:9" class="footnote" rel="footnote">9</a></sup>; I and the reader may not be able to infer all truths a priori from only the fundamental truths.</p>

<p>Nevertheless, we can talk as if smiles exist.<sup id="fnref:10" role="doc-noteref"><a href="#fn:10" class="footnote" rel="footnote">10</a></sup></p>

<h2 id="how-ill-say-things">How I’ll say things</h2>

<p>Mostly clearly. Sometimes idiosyncratically, hopefully beautifully, hopefully.</p>

<p>I’ll say some in purple and some in pink, some in klein blue.</p>

<p>I’ll say them like Bob Dylan and Jackson Browne.</p>

<p>(Look, I warned you about the phenomenal facts.)</p>

<h2 id="who-ill-say-them-to">Who I’ll say them to</h2>

<p>Following Frank, <a href="https://web.english.upenn.edu/~cavitch/pdf-library/OHara_Personism.pdf">I will write to you</a>.</p>

<div class="footnotes" role="doc-endnotes">
  <ol>
    <li id="fn:1" role="doc-endnote">
      <p>One could argue that clearing either cloud still leaves an explanatory gap as to why a blog has not been created. I agree that there remains an <a href="https://www.tandfonline.com/doi/abs/10.1080/05568649209506380">open question</a>. <a href="#fnref:1" class="reversefootnote" role="doc-backlink">&#8617;</a></p>
    </li>
    <li id="fn:2" role="doc-endnote">
      <p>Whereof I cannot speak, thereof my blog must be silent. But thankfully this is not often the issue. <a href="#fnref:2" class="reversefootnote" role="doc-backlink">&#8617;</a></p>
    </li>
    <li id="fn:3" role="doc-endnote">
      <p>I’m not yet sure what ideal reasoners do for inductive or abductive reasoning, but they are definitely competent in deduction. <a href="#fnref:3" class="reversefootnote" role="doc-backlink">&#8617;</a></p>
    </li>
    <li id="fn:4" role="doc-endnote">
      <p>I do not claim that the PQTI base is minimal; I do at least think that being physicalist about mind is compatible with accepting that Q is not scrutable from P and therefore Q must be in the base. I don’t have any settled take on T and I yet. I’m not sure if PQTI would be sufficient, though I do at least think that no non-natural normative facts need to be added. <a href="#fnref:4" class="reversefootnote" role="doc-backlink">&#8617;</a></p>
    </li>
    <li id="fn:5" role="doc-endnote">
      <p>Will the ideal reasoner want to know everything? As a matter of aesthetics one may also not only prefer that we leave some things unsaid, but that we leave some things unknown. Such aspiring non-ideal reasoners should approach this blog with caution. <a href="#fnref:5" class="reversefootnote" role="doc-backlink">&#8617;</a></p>
    </li>
    <li id="fn:6" role="doc-endnote">
      <p>They are not tamper proof, but there is a much higher bar to destroying them. <a href="#fnref:6" class="reversefootnote" role="doc-backlink">&#8617;</a></p>
    </li>
    <li id="fn:7" role="doc-endnote">
      <p>Readers having trouble locating themselves may refer to <a href="https://jc.gatspress.com/pdf/SIA_vs_SSA_revised.pdf">Carlsmith</a>, <a href="https://casparoesterheld.com/2023/08/17/on-pragmatist-critiques-of-self-locating-beliefs/">Oesterheld</a>, <a href="https://philpapers.org/archive/ADEATT.pdf">Adelstein.</a> I would have loved to help confused readers locate themselves, and maybe in principle I could, by saying something like “Only Bob is reading this text now”, and when reading this text the reader can then infer that he is Bob. But of course I have no grounds for saying so, unless I made the blog only visible to Bob, which I have not done. <a href="#fnref:7" class="reversefootnote" role="doc-backlink">&#8617;</a></p>
    </li>
    <li id="fn:8" role="doc-endnote">
      <p>Because it contains the <em>grounds</em>, geddit? <a href="#fnref:8" class="reversefootnote" role="doc-backlink">&#8617;</a></p>
    </li>
    <li id="fn:9" role="doc-endnote">
      <p>It isn’t shocking. My cursory impression is that it deals with e.g. incompleteness very badly. <a href="#fnref:9" class="reversefootnote" role="doc-backlink">&#8617;</a></p>
    </li>
    <li id="fn:10" role="doc-endnote">
      <p>I hadn’t realized certain difficulties with knowing things a priori. It was upsetting to realize that “If he is smiling, then there is a smile on his face” may not be an analytic truth, because existence claims are arguably not analytic truths, to bar the ontological argument, and it is therefore less obvious how we can say this sentence is true a priori. There are ways to deal with this, but lightweightism would deflate smiles. <a href="#fnref:10" class="reversefootnote" role="doc-backlink">&#8617;</a></p>
    </li>
  </ol>
</div>]]></content><author><name></name></author><summary type="html"><![CDATA[Two clouds obscure the reason1 why a blog is overdue: there being nothing to say2, or uncertainty about what to say and when and how to say them. One could argue that clearing either cloud still leaves an explanatory gap as to why a blog has not been created. I agree that there remains an open question. &#8617; Whereof I cannot speak, thereof my blog must be silent. But thankfully this is not often the issue. &#8617;]]></summary></entry></feed>