
Systems, Machines, and Problem-Solving
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
The notion of problem solving has become central to science education and the cognitive sciences, but it is still peripheral to many philosophies of knowledge and science. In fact, the term only became popular in the course of the twentieth century, as humanity's ability to solve theoretical and practical problems grew at a seemingly exponential rate. This book questions both the nature of problem solving and its effectiveness in transforming our human practices. We argue that this is linked to the idea that some of our enquiries can be summarized in systematic procedures. Examples are the proof of a theorem within an axiomatic theory, a production line within an industrial factory, or an administrative procedure within a bureaucratic system. Although such a form has been common in mathematics since antiquity, it was only in modern times that the possibility of being systematic in the natural sciences and technical disciplines was discovered. The emergence of the modern concepts of system and machine was key to this expansion and to the scientific, industrial and digital revolutions. Problem solving thus appears as the fundamental form of the modern concept of knowledge.
More details
Other editions
Additional editions


Person
Henri Stephanou , Paris 1 Panthéon-Sorbonne University, Paris, France.
Content
- Intro
- Systems, Machines, and Problem-Solving
- Contents
- List of abbreviations
- Aristotle's works
- Acknowledgments
- 1 Introduction
- 1.1 Motivation and guiding question
- 1.2 Procedures and problems: preliminary framing
- 1.3 Approach of the book
- 2 Design and deliberation (Simon)
- 2.1 Design and practical deliberation
- 2.1.1 Design and the artefact
- 2.1.2 Design and deliberation
- 2.1.3 The reflexivity of design
- 2.2 Programming as exemplary design
- 2.2.1 A descriptive logic for intentional objects
- 2.2.2 Computation and deliberation
- 2.2.3 Programming and design science
- 2.3 Difficulties in Simon's theses
- 2.3.1 The illegibility of books of procedure
- 2.3.2 Practice and technique: a terminological analysis
- 2.3.3 Human practices according to MacIntyre
- 2.3.4 Practical sense (Bourdieu)
- 3 Technical practices and industrial logic
- 3.1 The role of procedures within human practices
- 3.1.1 Practical reason: a matter of organisation?
- 3.1.2 The notion of cognitive ecology
- 3.1.3 The inadequacy of books of procedures
- 3.2 Practical reason vs procedural rationality
- 3.2.1 The role of ambiguity in human action
- 3.2.2 Systematicity and adaptability
- 3.2.3 Rules as paradigms and as algorithms
- 3.3 Computing and industry
- 3.3.1 Historical and conceptual proximity
- 3.3.2 The notion of industry
- 3.3.3 A general industrial logic
- 3.3.4 The problem of systematicity
- 4 Technè and method (Aristotle)
- 4.1 How technè achieves universality
- 4.1.1 The possibility of a reductionist interpretation
- 4.1.2 The interpretation from Lorenz and Morison
- 4.1.3 The à propos of practical syllogisms
- 4.1.4 Technè and prudence
- 4.2 The truth of technè
- 4.2.1 Technè's modality of truth
- 4.2.2 Technical knowledge and scientific knowledge
- 4.2.3 The inferior status of technè
- 4.3 Method and logic
- 4.3.1 The methods of inquiry
- 4.3.2 The pons asinorum
- 4.3.3 Science and systematicity
- 4.3.4 The unicity of inquiry and its species
- 4.4 Contingency and technical systems
- 4.4.1 Method vs quick-wit
- 4.4.2 Contingency and necessity
- 4.4.3 The problem of technical systems
- 5 The rules of judgement and action
- 5.1 The rules of judgement and action
- 5.1.1 The speculative unity of knowledge according to Thomas
- 5.1.2 The concept as a rule of judgement
- 5.1.3 Technical rules
- 5.2 The objective and modal distinctions of knowledge
- 5.2.1 The intentional order
- 5.2.2 Pure descriptions?
- 5.2.3 The modal interpretation
- 5.2.4 The relational reading of rules
- 5.3 Type theory as a logic of problems
- 5.3.1 Problem forms
- 5.3.2 Type theory
- 5.3.3 The scope of type theory
- 5.3.4 Complex action and interdependent types
- 6 The theory of inquiry (Dewey)
- 6.1 Experience and meaning
- 6.1.1 The unity of experience
- 6.1.2 Action
- 6.1.3 Inference and meaning
- 6.1.4 Language
- 6.1.5 Existential and universal propositions
- 6.2 Inquiry and judgment
- 6.2.1 Material and procedural means
- 6.2.2 The reconstruction of inquiry in reasoning
- 6.2.3 Judgement as an act in experience
- 6.3 Mathematics and procedural means
- 6.3.1 Mathematics as procedural systems
- 6.3.2 Logical calculus and proof
- 6.3.3 Dewey and intuitionism
- 7 Systems and problem-solving
- 7.1 Systems as objects of global inquiry
- 7.1.1 The limited horizon of technical knowledge
- 7.1.2 Scientists, artisans of reason
- 7.1.3 Global and local inquiry
- 7.2 Systems of meanings
- 7.2.1 The theory of the situation
- 7.2.2 Systems of meanings
- 7.2.3 Decontextualization and systematicity
- 7.2.4 The dynamics of science
- 7.3 Systems and theories
- 7.3.1 The notion of system in the early modern period
- 7.3.2 La Ramée - method and system
- 7.3.3 Systems and method
- 7.3.4 Leibniz: the Characteristic against procedures
- 7.3.5 The criticism of systems and the systematic spirit
- 7.4 Geometry and the decoupling of systems and problems
- 7.4.1 The decoupling of systems and problems
- 7.4.2 The engineer and the quotation
- 7.4.3 Systematic problem-solving
- 8 Machines and problem-solving
- 8.1 Geometric machines
- 8.1.1 What is a "mechanical" behaviour?
- 8.1.2 Machines and judgements
- 8.1.3 The mechanistic interpretation
- 8.1.4 Scientific problem-solving
- 8.2 Inference machines
- 8.2.1 Machine as regular dynamic objects
- 8.2.2 Machines as devices of inquiry
- 8.2.3 The machine as a category
- 8.3 Programmable machines
- 8.3.1 A contractual definition of programming
- 8.3.2 Programmability
- 8.3.3 Versatility
- 8.4 The effectiveness of rules, machines, systems
- 8.4.1 The coherence of intentions
- 8.4.2 The effectiveness of machines and the coherence of intentions
- 8.4.3 The productive detours of knowledge
- Conclusion
- Appendices
- A The General Problem Solver
- A.1 Introduction and illustration of the algorithm
- A.2 Running the algorithm
- B A constructive interpretation of geometry
- B.1 Interpretations of geometry
- B.1.1 The proposal by Mäenpää and Von Plato
- B.1.2 The construction of the parallelogram
- B.1.3 Insufficiencies of this interpretation
- B.2 A new constructive interpretation of geometry
- B.2.1 Questions and leads
- B.2.2 An angular theorem
- B.2.3 A sequence of theorems
- List of Figures
- Bibliography
- Index of Persons
System requirements
File format: PDF
Copy protection: Watermark-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Use the free software Adobe Reader, Adobe Digital Editions, or any other PDF viewer of your choice (see eBook Help).
- Tablet/Smartphone (Android; iOS): Install the free app Adobe Digital Editions or another reading app for eBooks, e.g., PocketBook (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (only limited: Kindle).
The file format PDF always displays a book page identically on any hardware. This makes PDF suitable for complex layouts such as those used in textbooks and reference books (images, tables, columns, footnotes). Unfortunately, on the small screens of e-readers or smartphones, PDFs are rather annoying, requiring too much scrolling.
This eBook uses Watermark-DRM, a „soft” copy protection. This means that there are no technical restrictions to prevent illegal distribution. However, there is a personalised watermark embedded in the eBook that can be used to identify the purchaser of the eBook in the event of misuse and to provide evidence for legal purposes.
For more information, see our eBook Help page.