The Context of the Phenomenological Movement
(Sprache: Englisch)
Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and upper-division undergraduate courses on software engineering or formal methods. It is also suitable in conjunction with other books...
Leider schon ausverkauft
versandkostenfrei
Buch
149.79 €
Produktdetails
Produktinformationen zu „The Context of the Phenomenological Movement “
Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and upper-division undergraduate courses on software engineering or formal methods. It is also suitable in conjunction with other books in courses on hardware design, discrete mathematics, or theory, especially courses stressing formalism, rigor, or mechanized support. It is also appropriate for courses on artificial intelligence or automated reasoning and as a reference for business and industry. Current hardware and software systems are often very complex and the trend is towards increased complexity. Many of these systems are of critical importance; therefore making sure that they behave as expected is also of critical importance. By modeling computing systems mathematically, we obtain models that we can prove behave correctly. The complexity of computing systems makes such proofs very long, complicated, and error-prone. To further increase confidence in our reasoning, we can use a computer program to check our proofs and even to automate some of their construction. In this book we present: A practical functional programming language closely related to Common Lisp which is used to define functions (which can model computing systems) and to make assertions about defined functions; A formal logic in which defined functions correspond to axioms; the logic is first-order, includes induction, and allows us to prove theorems about the functions; The computer-aided reasoning system ACL2, which includes the programming language, the logic, and mechanical support for the proof process. The ACL2 system has been successfully applied to projects of commercial interest, including microprocessor, modeling, hardware verification, microcode verification, and software verification. This book gives a methodology for modeling computing systems formally and for reasoning about those models with mechanized assistance. The practicality of computer-aided reasoning is further demonstrated in the companion book, Computer-Aided Reasoning: ACL2 Case Studies. Approximately 140 exercises are distributed throughout the book. Additional material is freely available from the ACL2 home page on the Web, http://www.cs.utexas.edu/users/moore/acl2, including solutions to the exercises, additional exercises, case studies from the companion book, research papers, and the ACL2 system with detailed documentation.
Klappentext zu „The Context of the Phenomenological Movement “
This is an unashamed collection of studies grown, but not planned before hand, whose belated unity sterns from an unconscious pattern ofwhich I was not aware at the time ofwriting. I call it "unashamed" not only because I have made no effort to patch up this collection by completely new pieces, but also because there seems to me nothing shamefully wrong about following up some loose ends left dangling from my main study of the Phenomenological Movement which I had to cut off from the body of my account in order to preserve its unity and proportion. This disc1aimer does not mean that there is no connection among the pieces he re assembled. They belong together, while not requiring consecutive reading, as attempts to establish common ground 1lnd lines of communication between the Phenomenological Movement and related enterprises in philo sophy. They are not put together arbitrarily, but because ofintrinsic affinities to phenomenology. This does not mean an attempt to blur its edges. But since they are growing edges, any boundaries cannot be drawn sharply without interfering with the phenomena. Nevertheless, in the end the figure of the Phenomenological Movement should stand out more distinctIy as the text against its surrounding context, ofwhich these studies are to provide some ofthe comparative and historical background. This is why I gave to this collection the titIe "The Context ofthe Phenomenological Movement" in contrast to the central "text" as contained in my historical introduction to this movement.
Inhaltsverzeichnis zu „The Context of the Phenomenological Movement “
1. "Intention" and "Intentionality" in the Scholastics, Brentano and Husserl (with Supplement 1979).- 2. Husserl's and Peirce's Phenomenologies: Coincidence or Interaction (with three Supplements 1979).- 3. Husserl's Phenomenology and Sartre's Existentialism.- 4. Husserl and Pfander on the Phenomenological Reduction (with Supplement 1979).- 5. "Linguistic Phenomenology": John L. Austin and Alexander Pfander.- 6. Amiel's "New Phenomenology".- 7. What William James Knew about Edmund Husserl: On the Credibility of Pitkin's Testimony (with Supplement 1979).- 8. Brentano's Husserl Image.- 9. On the Significance of the Correspondence between Brentano and Husserl.- 10. Husserl in England: Facts and Lessons.- 11. On the Misfortunes of Husserl's Encyclopaedia Britannica Article "Phenomenology".- 12. Preface to W. R Boyce Gibson's Freiburg Diary 1928.- 13. Husserl's Approach to Phenomenology for Americans: A Letter and its Sequel.- 14. A Review of Wolfgang Kohler's The Place of Value in a World of Facts.- 15. The Puzzle of Wittgenstein's Phänomenologie (1929 -?) (with Supplement 1979).- Appendix: Supplement 1980 to "Husserl in England".- Index of Names.
Bibliographische Angaben
- Autor: E. Spiegelberg
- 1981, 260 Seiten, Maße: 16 x 24,1 cm, Gebunden, Englisch
- Verlag: Springer Netherlands
- ISBN-10: 9024723922
- ISBN-13: 9789024723928
- Erscheinungsdatum: 30.09.1981
Sprache:
Englisch
Kommentar zu "The Context of the Phenomenological Movement"
0 Gebrauchte Artikel zu „The Context of the Phenomenological Movement“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "The Context of the Phenomenological Movement".
Kommentar verfassen