The roles of abductive inference in dynamic heuristics allows scientific methodologies to test novel explanations for the world’s ways. Deliberate reasoning often follows abductive patterns, as well as patterns dominated by deduction and induction, but complex mixtures of these three modes of inference are crucial for scientific explanation. All possible mixed inferences are formulated and categorized using a novel typology and nomenclature. Twenty five possible combinations among abduction, induction, and deduction are assembled and analyzed in order of complexity. There are (...) five primary categories for sorting these inferential procedures: fallacies, non-scientific procedures, quasi-scientific procedures, scientific procedures, and scientific heuristics. (shrink)

The paper proposes a logical framework representing the notion of explicit knowledge as the combination of awareness of and awareness that. The setting, semantically combining neighbourhood models with ideas from awareness logic, separates the mere fact of entertaining some information (being aware of $\varphi$) from the acknowledgement that the information is indeed the case (being aware that $\varphi$ holds). The text discusses not only the main properties these concepts obtain under the given representation, but also several of the epistemic actions (...) that can be defined, and the way they affect the agent’s awareness (and thus her knowledge). (shrink)