Free Logic

Exploring the philosophical foundations of free logic, this collection features essays by J. Karel Lambert, a pioneer of the field. Spanning 40 years, the writings delve into diverse applications, including the philosophy of religion and computer science, particularly focusing on existence statements and partial functions. Notably, it presents a proof demonstrating that free logics are non-extensional, challenging Quine's theories. Aimed at engaging a new generation of philosophers, computer scientists, and mathematicians, this work highlights the significance of free logic.