David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Teaching Philosophy 23 (2):169-187 (2000)
Newell and Simon’s seminal Human Problem Solving (1972) characterized a problem in terms of a goal state, a starting state, and a set of transition rules which define legitimate transitions from one state to another.1 Problem solving thus becomes a process of searching through a set of alternative states (the "problem space") in an effort to find a path leading from starting state to the goal state. The search process can be guided by heuristic principles which function to reduce the problem space by judging some alternatives to be more worthy of exploration than others. This characterization of a problem and the problem solving process fits well the nature of deductive proof construction. Premise(s) and conclusion play the role of starting state and goal state, and valid rules of transformation serve as rules of legitimate transition among states. In fact, Human Problem Solving empirically investigated three particular problem solving tasks, and one of these is proof construction.... in sentential logic using an inferencereplacement rule set. This empirical research identifies several strategies which facilitate problem solving, such as means-ends reasoning, difference reduction, and working backwards from goal toward starting state. As detailed below, these methods have obvious applications to proof construction as taught in logic textbooks. Newell and Simon’s aim was to explain and predict the actual behavior of problem solvers. Beyond this, however, their empirical findings have normative consequences for how problem solvers should behave if they want to be successful. Moreover, these findings can have normative pedagogical consequences for the teaching of proof construction.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
M. A. van Rees (2003). Pragma-Dialectical Analysis and Evaluation of Problem-Solving Discussion. Argumentation 17 (4):465-479.
Herbert Simon (1995). Machine Discovery. Foundations of Science 1 (2):171-200.
Alvin I. Goldman (1983). Epistemology and the Theory of Problem Solving. Synthese 55 (1):21 - 48.
David Kirsh (2009). Problem Solving and Situated Cognition. In Philip Robbins & M. Aydede (eds.), The Cambridge Handbook of Situated Cognition. Cambridge 264--306.
Aldo Zanga & Jean-Fran (2004). Implicit Learning in Rule Induction and Problem Solving. Thinking and Reasoning 10 (1):55 – 83.
Magda Osman (2008). Observation Can Be as Effective as Action in Problem Solving. Cognitive Science 32 (1):162-183.
Halil A. Guvenir & Varol Akman (1992). Problem Representation for Refinement. Minds and Machines 2 (3):267-282.
Dongming Xu (2010). Beyond Simon's Means-Ends Analysis: Natural Creativity and the Unanswered 'Why' in the Design of Intelligent Systems for Problem-Solving. [REVIEW] Minds and Machines 20 (3):327-347.
Added to index2009-01-28
Total downloads36 ( #107,455 of 1,789,998 )
Recent downloads (6 months)10 ( #83,046 of 1,789,998 )
How can I increase my downloads?