Se refiere, en términos de Peirce, a los diversos modos en que una conclusión verdadera puede seguirse de unas premisas, ya sea tanto de un modo necesario o bien con alguna probabilidad. La Lógica-Semiótica de Peirce pretende ampliar sus perspectivas con respecto a la lógica tradicional aristotélica que se ocupaba de las inferencias estrictamente demostrativas. Es en este sentido que Peirce postula que los modos de inferencia que existen son tres: la inducción, la deducción y la abducción. Una inferencia es un razonamiento hipotético, por lo tanto no necesariamente debe tener un carácter meramente probable. Las hipótesis pueden ser muy variadas, pero en todos los casos se generan para explicar un fenómeno observado