%0 Generic %D 2007 %T Abduction as a strategy for concept formation in mathematics: Cardano postulating a negative. %A Heeffer, Albrecht %E Pombo, Olga %E Gerner, Alexander %X

When dealing with abductive reasoning in scientific discovery, historical case studies are focused mostly on the physical sciences, as with the discoveries of Kepler, Galilei and Newton. We will present a case study of abductive reasoning in early algebra. Two new concepts introduced by Cardano in his Ars Magna, imaginary numbers and a negative solution to a linear problem, can be explained as a result of a process of abduction. We will show that the first appearance of these new concepts fits very well Peirce’s original description of abductive reasoning. Abduction may be regarded as one important strategy for the formation of new concepts in mathematics.

%B Abduction and the process of scientific discovery %I Centro de Filosofia das Ciências da Universidade de Lisboa %P 179–194 %G eng %0 Generic %D 2007 %T Adaptive Logics for Abduction and the Explication of Explanation-Seeking Processes %A Meheus, Joke %E Pombo, Olga %E Gerner, Alexander %X

In this paper, I illustrate the main characteristics of abductive reasoning processes by means of an example from the history of the sciences. The example is taken from the history of chemistry and concerns a very small episode from Lavoisier’s struggle with the ‘air’ obtained from mercury oxide. Eventually, this struggle would lead to the discovery of oxygen. I also show that Lavoisier’s reasoning process can be explicated by means of a particular formal logic, namely the adaptive logic LAr. An important property of LAr is that it not only nicely integrates deductive and abductive steps, but that it moreover has a decent proof theory. This proof theory is dynamic, but warrants that the conclusions derived at a given stage are justified in view of the insight in the premises at that stage. Another advantage of the presented logic is that, as compared to other existing systems for abductive reasoning, it is very close to natural reasoning.

%B Abduction and the Process of Scientific Discovery %I Centro de Filosofia das Ciências da U. de Lisboa %C Lisboa %P 97–119 %G eng %0 Generic %D 2007 %T Content Guidance in Formal Problem Solving Processes %A Batens, Diderik %E Pombo, Olga %E Gerner, Alexander %X

In this paper, a formal framework to problem-solving processes is presented. The framework is not complete. Nevertheless, even its present sophistication allows one to see that it is promising.\par The framework demonstrably allows one to understand scientific change as content-guided. It will be argued that a formal framework is required in order to make definite and precise statements about the content-guided aspects of scientific problem solving.

%B Abduction and the Process of Scientific Discovery %I Centro de Filosofia das Ciências da U. de Lisboa %C Lisboa %P 121–156 %G eng