centre for the study of language information apr 2007 (3 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware - Twentieth-century developments in logic and mathematics have led many people to view Euclid's proofs as inherently informal, especially due to the use of diagrams in proofs. In 'Euclid and His Twentieth-Century Rivals,' Nathaniel Miller discusses the history of diagrams in Euclidean Geometry, develops a formal system for working with them, and concludes that they can indeed be used rigorously. Miller also introduces a diagrammatic computer proof system, based on this formal system. This volume will be of interest to mathematicians, computer scientists, and anyone interested in the use of diagrams in geometry.

Taschenbuch. Zustand: Neu. Neuware.

Taschenbuch. Zustand: Neu. Neuware - 'What do you see when you look at your face in the mirror ' asks J. David Velleman in introducing his philosophical theory of action. He takes this simple act of self-scrutiny as a model for the reflective reasoning of rational agents: our efforts to understand our existence and conduct are aided by our efforts to make it intelligible. Reflective reasoning, Velleman argues, constitutes practical reasoning. By applying this conception, 'Practical Reflection' develops philosophical accounts of intention, free will, and the foundation of morals. This new edition of 'Practical Reflection' contains the original 1989 text along with a new introduction and is the latest entry in The David Hume Series of Philosophy and Cognitive Science Reissues, which keeps in print previously published indispensable works in the area of cognitive science.