Logical abductivism on abductive logic | Synapse