Free logic is an important field of philosophical logic that first appeared in the 1950s. Karel Lambert was one of its founders and coined the term itself. The essays in this collection (written over a period of forty years) explore the philosophical foundations of free logic and its application to areas as diverse as the philosophy of religion and computer science. Among the applications are t...

Proof. First, we show that F [x, y]/(y−x) ∼= F [t]. Let φ : F [x, y]→ F [t] be an homomorphism given by φ(x) = t, φ(y) = t and φ(f) = f (for all f ∈ F ). Note that the kernel of the homomorphism is precisely (y−x), therefore by the 1st isomorphism theorem F [x, y]/(y−x) ∼= F [t]. Furthermore since F [t] is an integral domain, so is F [x, y]/(y − x). Now, we will show that F [x, y]/(y − x) has z...

The first generation of submillimeter(submm)-wave surveys are being carried out using the 450/850-μm SCUBA camera at the JCMT on Mauna Kea. These surveys are potentially sensitive to galaxies at very high redshift, and the galaxies that have been detected so far appear to contribute the greater fraction of the mm/submm-wave background radiation intensity measured by COBE. In order to understand...

Abbot JM, Byrd-Bredbenner C. Development of a Self-Directed Home Kitchen Makeover for Mothers of Young Children. The Forum. 2009;14:1-7. Available online at: www.ncsu.edu/ffci This paper describes formative research guiding the development of an intervention designed to improve the ability of mothers of young children to plan, prepare, and serve healthy family meals. Interviews showed that the ...

I want to develop new compilers, architectures, and algorithms that enable graphics and imaging applications orders of magnitude more rich than any we have today. For example, replacing video with real-time 4D light elds, synthesizing trillions of voxels to rapidly print large 3D objects with micron level details, rendering interactive worlds indistinguishable from reality, and building machine...

1 Hunnius, S. & Bekkering, H. (2014). What are you doing? How active and observational experience shape infants' action understanding. Philos.Trans.R.Soc.Lond B Biol.Sci., 369, 20130490. Notes: From early in life, infants watch other people's actions. How do young infants come to make sense of actions they observe? Here, we review empirical findings on the development of action understanding in...

This randomised clinical trial evaluated the efficacy of a computer-based version of cognitive-behavioural therapy for substance dependence. Excluding only those with untreated psychoses or about to move or be imprisoned, the study recruited individuals seeking treatment at an outpatient community setting who met criteria for dependence and had recently used alcohol or drugs. The 77 who joined ...

1 Gallese, V. (2014). Bodily selves in relation: embodied simulation as second-person perspective on intersubjectivity. Philos.Trans.R.Soc.Lond B Biol.Sci., 369, 20130177. Notes: This article addresses basic aspects of social cognition focusing on the pivotal role played by the lived body in the constitution of our experience of others. It is suggested that before studying intersubjectivity we ...