Bringing allegory into the light from the neglect into which it fell means focusing on the wondrous heights of the human spirit in its significance for culture. Contemporary philosophies and literary theories, which give pre-eminence to primary linguistics forms, seem to favor just that which makes intelligible communication possible. But they fall short in accounting for the deepest subliminal founts that prompt the mind to exalt in beauty, virtue, transcending aspiration. The present, rich collection shows how allegory, incorporating the soaring (...) of the spirit, offers highlights for culture, with its fluctuations and transformation. This collective effort, rich in ideas and intuitions and covering a vast range of cultural manifestations, is a pioneering work, retrieving the vision of the exalted human spirit, bringing together literature, theatre, music and painting in a variety of revealing perspectives. The authors include: M. Kronegger, Ch. Raffini, J. Smith, J.B. Williamson, H. Ross, M.F. Wagner, F. Divorne, L. Oppenheim, D.K. Heckerl, N. Campi de Castro, P. Saurez Pascual, M. Alfaro Amieiro, H. Fletcher Thompson, R.J. Wilson III, and A. Stensaas. For specialists, students and workers in philosophy, comparative literature, aesthetic phenomenologists and historians of art. (shrink)
Natural deduction systems for classical, intuitionistic and modal logics were deeply investigated by Prawitz [D. Prawitz, Natural Deduction: A Proof-theoretical Study, in: Stockholm Studies in Philosophy, vol. 3, Almqvist and Wiksell, Stockholm, 1965. Reprinted at: Dover Publications, Dover Books on Mathematics, 2006] from a proof-theoretical perspective. Prawitz proved weak normalization for classical logic only for a language without logical or, there exists and with a restricted application of reduction ad absurdum. Reduction steps related to logical or, there exists and classical (...) negation bring about many problems solved only rather recently. For classical S5 modal logic, Prawitz defined a normalizable system, but for a language without logical or, there exists, ◊ and, for a propositional language without ◊, Medeiros [M.da P.N. Medeiros, A new S4 classical modal logic in natural deduction, Journal of Symbolic Logic 71 799–809] presented a normalizable system for classical S4. We can mention many cut-free Gentzen systems for S4, S5 and K45/K45D, some normalizable natural deduction systems for intuitionistic modal logics and one more for full classical S4, but not for full classical S5. Here our focus is on the definition of a classical and normalizable natural deduction system for S5, taking not only □ and ◊ as primitive symbols, but also all connectives and quantifiers, including classical negation, disjunction and the existential quantifier. The normalization procedure is based on the strategy proposed by Massi [C.D.B. Massi, Provas de normalizaçaõ para a lógica clássica, Ph.D. Thesis, Departamento de Filosofia, UNICAMP, Campinas, 1990] and Pereira and Massi [L.C. Pereira, C.D.B. Massi, Normalização para a lógica clássica, in: O que nos faz pensar, Cadernos de Filosofia da PUC-RJ, vol. 2, 1990, pp. 49–53] for first-order classical logic to cope with the combined use of classical negation, disjunction and the existential quantifier. Here we extend such results to deal with □ and ◊ too. The elimination rule for ◊ uses the notions of connection and of essentially modal formulas already proposed by Prawitz for the introduction of □. Beyond weak normalization, we also prove the subformula property for full S5. (shrink)
This book examines the relationship between law and scientific advancement, with a particular focus on the theory of evolution and medical innovation. Historically, the law has struggled to keep pace with modern medical advances. The authors demonstrate that the laws that govern human behaviour must evolve in response to such advances."--Provided by publisher.
John B. Thompson's lucid and helpful introduction to this collection of essays includes a brief history of Ricoeur's career and the thematic focuses of his major works. This introduction is followed by "Notes on editing and translating" and by "A Response by Paul Ricoeur.".
The article by Academician P. L. Kapitsa published below is devoted to problems of the utmost importance, which have come to be termed "global." The Twenty - fifth Congress of the CPSU pointed to the need to study them scientifically and solve them practically, emphasizing that they touch on the interests of humanity as a whole and will exercise an increasingly marked influence on the lives of every people and on the entire system of international relations. In their social philosophical (...) aspects they have been discussed more than once in the pages of Voprosy filosofii. Discussions of these problems took place at the round tables entitled "Man and His Environment" [See translation in our Fall-Winter 1974 number. — Ed., Soviet Studies in Philosophy], "Social Philosophy Problems of Demography," and "Science and Global Problems of Our Time," and numerous articles have been published in such series as "Science and Social Progress," "The Peace Program and the Dialectics of International Relations" [See translation in our Fall 1975 issue. — Ed., Soviet Studies in Philosophy], and "Man — Society — Nature." The editors of the journal, guided by the directives of the Twenty-fifth Party Congress on the need for further investigation of such global problems of our time, are inclined to continue the discussion of them in the future; another round table devoted to these problems is being planned now. The article by Academician P. L. Kapitsa, it seems to us, will provide fruitful stimuli for discussion at this round table, which will probably be published in several installments. As the author himself emphasizes, certain positions in his article are debatable and require discussion. The journal invites philosophers, demographers, economists, and representatives of the natural sciences to take part in discussions of the problems posed. Certain questions examined in Kapitsa's article are also treated in articles by Howard L. Parsons, A. D. Ado, and Iu. A. Kirshin published in this issue of the journal. (shrink)