パラドックス
日本語では逆説、逆理、背理と訳される。語源はギリシャ語（παράδοξον < παρα-, para-:反対の + δόξα, dóxa: 意見）。有名なものに、自己言及のパラドックス、リシャールのパラドックス、ベリーのパラドックスがある。
モラベックのパラドックス
このパラドックスについて考えられる説明の1つはモラベックが提唱したもので、進化に基づいている。人間のスキルは全て生物学的に実装されており、自然淘汰の過程を経て設計されている。その進化の過程で、自然淘汰はデザインの改良と最適化を高める方向に働く。スキルの起源が古いほど、自然淘汰によるデザインの改良が何度も行われることになる。抽象的思考が発展しはじめたのはごく最近であり、その実装が効率的であることはあまり期待できない。