Re: Artem Kaznatcheev • Reductionism : To Computer Science From Philosophy
The sense of reduction operative in complexity theory has its roots in Aristotle’s απαγωγη, variously translated as abduction or reduction and sometimes glossed as retroduction by C.S. Peirce. See my project report on Inquiry and Analogy for a discussion, especially the following section:
Inquiry Into Inquiry 
Pingback: Survey of Abduction, Deduction, Induction, Analogy, Inquiry • 1 | Inquiry Into Inquiry
Pingback: Survey of Abduction, Deduction, Induction, Analogy, Inquiry • 2 | Inquiry Into Inquiry
Pingback: Survey of Abduction, Deduction, Induction, Analogy, Inquiry • 3 | Inquiry Into Inquiry