I will analyse some properties of abduction that are essential from a logical standpoint. When dealing with the so-called ‘inferential problem’, I will opt for the more general concepts of input and output instead of those of premisses and conclusions, and show that in this framework two consequences can be derived that help clarify basic logical aspects of abductive reasoning: (i) it is more natural to accept the ‘multimodal’ and ‘context-dependent’ character of the inferences involved, (ii) inferences are not merely (...) conceived of in the terms of the process leading to the ‘generation of an output’ or to the proof of it, as in the traditional and standard view of deductive proofs, but rather, from this perspective abductive inferences can be seen as related to logical processes in which input and output fail to hold each other in an expected relation, with the solution involving the modification of inputs, not that of outputs. I will also describe that if we wish to naturalize the logic of the abductive processes and its special consequence relation, we should refer to the following main aspects: ‘optimization of situatedness’, ‘maximization of changeability’ of both input and output, and high ‘information-sensitiveness’. (shrink)