Which categories did Popper agree with Kant on? Do you think Popper believed in the types of categories I described?
I think practically every philosopher we would call “a priori thinkers” tries to prove that some knowledge is a priori valid, as in guaranteed to be true. It would be contrary to Popper’s fallibilism to claim anything as guaranteed to be true.
So it seems you think Popper believes in inborn ideas like something akin to Plato? C&R:
The theory of inborn ideas is absurd, I think; but every organism has inborn reactions or responses; and among them, responses adapted to impending events. These responses we may describe as ‘expectations’ without implying that these ‘expectations’ are conscious. The new-born baby ‘expects’, in this sense, to be fed (and, one could even argue, to be protected and loved). In view of the close relation between expectation and knowledge we may even speak in quite a reasonable sense of ‘inborn knowledge’. This ‘knowledge’ is not, however, valid a priori; an inborn expectation, no matter how strong and specific, may be mistaken. (The newborn child may be abandoned, and starve.)
Thus we are born with expectations; with ‘knowledge’ which, although not valid a priori, is psychologically or genetically a priori, i.e. prior to all observational experience. One of the most important of these expectations is the expectation of finding a regularity. It is connected with an inborn propensity to look out for regularities, or with a need to find regularities, as we may see from the pleasure of the child who satisfies this need.
I don’t think Math knowledge would not be among the expectations that Popper hesitates to call “knowledge”.
I don’t know if Popper thought this would be knowledge of the mind or just instinct like animals have.
In LScD Popper implies he is against “apriorism”:
In short, like every other form of inductive logic, the logic of probable inference, or ‘probability logic’, leads either to an infinite regress, or to the doctrine of apriorism.
I don’t really want to just dismiss the Weyl quote, but I think it’s hard to interpret correctly, so a more clearcut example of Popper arguing for a priori could save me effort trying to understand this quote.
I tried searching Popper books for “laden” and some other keywords, but I couldn’t find any chapters on observation before theory or “theory laden observation”. If someone knows about chapters that discuss this I would like to read them.