The first premise of the Kalam cosmological argument has come under fire in the last few years. The premise states that the universe had a beginning, and one of two prominent arguments for it turns on the claim that an actual infinite collection of entities cannot exist. After stating the Kalam cosmological argument and the two approaches to defending its first premise, I respond to two objecti...

Gannet (Morus bassanus) eggs from Bass Rock (North Sea) and Ailsa Craig (eastern Atlantic) were monitored for PCB congeners (1990-2004) and total mercury (1974-2004). Congener profiles for both colonies were dominated by PCBs 153, 138, 180, 118 and 170. All declined in concentration at Ailsa Craig but some (153, 170, 180) remained stable or increased slightly at Bass Rock. Egg congener concentr...

1 Background and Introduction Let 27 and H be two inconsistent first order theories. Then by Craig's Interpolation Theorem, there is a sentence 8, called a Craig interpolant, such that 8 is t rue in 27 and false in H and every nonlogical symbol occurring in 8 occurs in bo th 27 and H. Craig interpolants can be used to solve the problem of learning a first order concept by letting 27 and H be th...

1 Gilad G, Gilad V. Polyamines in neurotrauma. Ubiquitous molecules in search of a function. Biochem Phannacol 1992;44:401-7. 2 Shohami E, Nates JL, Glantz L, et al. Changes in brain polyamine concentrations following head injury. Exp Neurol 1992;117:189-95. 3 Koski P, Helander IM, Sarvas M, Vaara M. Analysis of polyamines as their dabsyl derivatives by reversed phase high performance liquid ch...

Generalizations of Craig interpolation are investigated for equational logic. Our approach is to do as much as possible at a categorical level, before drawing out the concrete implications.