Ricorso and Revelation traces the impact on Modernism of the archaeological discoveries of the Palace of Knossos, the Royal Cemetery of Ur, and the Tomb of Tutankhamen, and the artifacts recovered from these sites, showing how they entered the narrative strategies of the Modernist movement. The author also develops a new argument about the four myth configurations — the maze, alchemy, the Great Goddess, and the Apocalypse — which were of central importance to the literature of European Modernism between 1895 and 1946, studying their appearances in a wide range of European modernist writers and in the paintings of Picasso and the films of Jean Cocteau. Drawing from a variety of theories on myth, Smith suggests that each of these four myths represents a creative return to the origins (ricorso), a reduction of the raw materials of daily life to the fundamental elements of creation (revelation), followed by a recreation of the world (cosmogenesis), of the poet (ontogenesis), and of the text (poesis).
The relationship of Christianity to science can best be handled by isolating images of science that influence Christianity. Henry defines and then reformulates those images, making science more intelligible and Christianity more biblical.
This book uses the friendly format of the computing language Prolog to teach a full formal predicate logic. With Prolog, the scope and limits of both logic and computing can be explored and experimented. Students learning formal logic in a Prolog format can begin using their already developed informal abilities in logic to program in Prolog and conversely learn enough formal logic to examine Prolog and computing in general so major fundamental theorems can be demonstrated. Cases such as Church's Thesis, Church's Theorem, Turing's Halting Problem, and Godel's Incompleteness Theorem provide the author with the means to assess some of the philosophical implications of logic and computing. Henry designed the book for undergraduate students, but it is also useful for philosophers and theologians who wish to see how computer programming serves as a probe into philosophical matters. Contents: The Formalization of Logic; Propositional Logic; Predicate Logic; Prolog: Programming in Logic; Logic Machines; The Scope and Limits of Logic and Logic Machines; Philosophical Reflections; Appendix; Bibliography; Index.
This will help us customize your experience to showcase the most relevant content to your age group
Please select from below
Login
Not registered?
Sign up
Already registered?
Success – Your message will goes here
We'd love to hear from you!
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.