oppenheimer and zalta, in a co-authored paper, argue that the anselm’s ontological argument can be formalized based on free logic and the concept of conceivability. according to their version, there are only two premises in anselm’s argument. we will argue that one can extend their formalization by introducing an argument for one of the two premises based on anselm’s text. we will also show tha...

We present a set of lecture notes for modeling stellar structure in regimes where general relativistic effects become important, such as for neutron stars. The framework draws directly from solving the Einstein equation for a spherically symmetric star in static equilibrium in terms of energy density, pressure, and a term like the gravitational potential. The equation is presented as a somewhat...

In this work we give an overview of the methodologies required to compute the rate of proton transfer in hydrogen bonded systems in solution. Using ab initio or density functional methods we determine proton potentials of a truncated system as a function of proton-donor proton-acceptor distance as well as nonbonding parameters. By classical molecular dynamics we evaluate a swarm of proton poten...

Electronically nonadiabatic or non-Born-Oppenheimer (non-BO) chemical processes (photodissociation, charge-transfer, etc.) involve a nonradiative change in the electronic state of the system. Molecular dynamics simulations typically treat nuclei as moving classically on a single adiabatic potential energy surface, and these techniques are not immediately generalizable to non-BO systems due to t...