Switch to: References

Citations of:

A diagrammatic proof search procedure as part of a formal approach to problem solving

In L. Magnani (ed.), Model Based Reasoning in Science and Engineering. College Publications. pp. 2--265 (2006)

Add citations

You must login to add citations.

(2 other versions)Abduction through semantic tableaux versus abduction through goal-directed proofs.Joke Meheus & Dagmar Provijn - 2007 - Theoria 22 (3):295-304.details In this paper, we present a goal-directed proof procedure for abductive reasoning. This procedure will be compared with Aliseda’s approach based on semantic tableaux. We begin with some comments on Aliseda’s algorithms for computing conjunctive abductions and show that they do not entirely live up to their aims. Next we give a concise account of goal-directed proofs and we show that abductive explanations are a natural spin-off of these proofs. Finally, we show that the goal-directed procedure solves the problems we (...) Download Export citation Bookmark 1 citation
Multimodal Abduction: External Semiotic Anchors and Hybrid Representations.Lorenzo Magnani - 2006 - Logic Journal of the IGPL 14 (2):107-136.details Our brains make up a series of signs and are engaged in making or manifesting or reacting to a series of signs: through this semiotic activity they are at the same time engaged in “being minds” and so in thinking intelligently. An important effect of this semiotic activity of brains is a continuous process of “externalization of the mind” that exhibits a new cognitive perspective on the mechanisms underling the semiotic emergence of abductive processes of meaning formation. To illustrate this (...) Download Export citation Bookmark 2 citations
Logic, Reasoning, and Rationality.Erik Weber, Joke Meheus & Dietlinde Wouters (eds.) - 2014 - Dordrecht, Netherland: Springer.details This book contains a selection of the papers presented at the Logic, Reasoning and Rationality 2010 conference in Ghent. The conference aimed at stimulating the use of formal frameworks to explicate concrete cases of human reasoning, and conversely, to challenge scholars in formal studies by presenting them with interesting new cases of actual reasoning. According to the members of the Wiener Kreis, there was a strong connection between logic, reasoning, and rationality and that human reasoning is rational in so far (...) Download Export citation Bookmark

1