From Temporality to Eternity: Three Philosophical Approaches

Halakhah and philosophical approaches to abortion.

For me, as for most of the readers of TRADITION, abortion on . demand is prohibited because halakhah says so; and that's that.. Thus a philosophical argument on abortion, as presented by Dr. Brody, * Chairman of the Department of Philosophy at Rice University, is primarily of philosophical interest and without practical implications for Our own lives. In fact, however~. this is not so. Should w...

Bumps on the Road to Here (from Eternity)

In his recent book, From Eternity to Here, and in other more technical papers, Sean Carroll (partly in collaboration with Jennifer Chen) has put forward an intriguing new way to think about the origin of the Universe. His approach, in a nutshell, is to raise certain worries about a standard Boltzmannian picture of statistical mechanics, and to present certain commitments that he thinks we ought...

From Philosophical to Industrial Logics

One of the surprising developments in the area of program verification is how ideas introduced by logicians in the early part of the 20th Century ended up yielding by the 21 Century industrial-standard property-specification languages. This development was enabled by the equally unlikely transformation of the mathematical machinery of automata on infinite words, introduced in the early 1960s fo...

Eternity Variables to Simulate Specifications

Simulation of specifications is introduced as a unification and generalization of refinement mappings, history variables, forward simulations, prophecy variables, and backward simulations. Eternity variables are introduced as a more powerful alternative for prophecy variables and backward simulations. This formalism is semantically complete: every simulation is a composition of a forward simula...

Family medicine and research: from here to eternity.

From here to eternity: The perils of policy analysis

Eng, M.A. and E.H. Hamilton. 2000. From here to eternity: the perils of policy analysis. In Proceedings, From science to management and back: a science forum for southern interior ecosystems of British Columbia. C. Hollstedt, K. Sutherland, and T. Innes (editors). Southern Interior Forest Extension and Research Partnership, Kamloops, B.C., pp. 55–8. From here to eternity: The perils of policy a...