We present preliminary results on modelling structure of solutions to a task involving abductive reasoning. Research data were gathered using our new tool—Find Out, which has been designed in order to account empirically for abduction relatively close to everyday reasoning processes, with the necessary level of procedure standardization. The tool enables to capture abduction as a compound form of reasoning, from both product and process perspective. Find Out is set up as a game that requires playing the role of an (...) investigator seeking an explanation of what has happened in the presented enigmatic situation. The task consists of three time-limited stages that require different reasoning activities. In the paper, we present quantitative models of structures of solutions to the task proposed by the subjects in the form of situational graphs. We present also some ideas concerning qualitative characteristics of these solutions. (shrink)

In the human cognitive economy there are four grades of epistemic involvement. Knowledge partitions into distinct sorts, each in turn subject to gradations. This gives a fourwise partition on ignorance, which exhibits somewhat different coinstantiation possibilities. The elements of these partitions interact with one another in complex and sometimes cognitively fruitful ways. The first grade of knowledge I call “anselmian” to echo the famous declaration credo ut intelligam, that is, “I believe in order that I may come to know”. As (...) construed here, one knows in this anselmian way that E = mc2 just in case one knows that sentence expresses a true statement, but without having to understand the proposition it expresses. Most epistemologists ignore the significance of this grade of epistemic involvement. In a second grade of epistemic involvement, knowing that E = mc2 is knowing what that sentence means and understanding the proposition it express. This is knowledge in the propositional or semantic sense, and is the dominant target of epistemological investigation. Tacit and implicit knowledge occupies another tier. A typical example would be something that someone has “known all along” but, until now, hasn’t had occasion to put her mind to it or formulate in words. TI-knowledge remains a minority interest in today’s epistemology. Operating at a fourth grade of epistemic involvement is what I call “impact”-knowledge, which is the knowledge of a matter at its deepest and most widespread. An example, to be discussed below, is the knowledge that was generated by the Wiles proof of Fermat’s last theorem. Its true importance lies not only, or even mainly, in its verification of a commonly accepted fact about numbers, but rather in its enrichment of the mathematics of elliptical curves and the promise it holds for greater advancement into the mathematical unknown. Knowledge of this fourth grade has yet to find a seat in the parliaments of epistemology. Knowledge of the anselmian sort is independent of the other three. Tacit and implicit knowledge is incompatible with anselmian and semantic knowledge but coinstantiable with impact-knowledge. Semantic knowledge is incompatible with tacit and implicit knowledge but coinstantiable with the others. Impact-knowledge is pairwise coinstantiable with the others. Below I will bring the ignorance partitions into such alignment as they have with these ones. In doing so, I’ll propose a naturalized causal response epistemology designed to give these interactive distinctions the theoretical air they need to breathe. (shrink)