Free Logic Selected Essays [Hardcover]

The essays in this collection explore free logic, an important field of philosophical logic that first appeared in the 1950s.Free logic is an important field of philosophical logic that first appeared in the 1950s. J. Karel Lambert was one of its founders and coined the term itself.The essays in this collection (written over a period of 40 years) explore the philosophical foundations of free logic and its application to areas as diverse as the philosophy of religion and computer science. The purpose of this collection is to bring an important body of work to the attention of a new generation of professional philosophers, computer scientists, and mathematicians.Free logic is an important field of philosophical logic that first appeared in the 1950s. J. Karel Lambert was one of its founders and coined the term itself.The essays in this collection (written over a period of 40 years) explore the philosophical foundations of free logic and its application to areas as diverse as the philosophy of religion and computer science. The purpose of this collection is to bring an important body of work to the attention of a new generation of professional philosophers, computer scientists, and mathematicians.Free logic is an important field of philosophical logic that first appeared in the 1950s. J. Karel Lambert was one of its founders and coined the term. The essays in this collection (written over a period of 40 years) explore the philosophical foundations of free logic and its application to areas as diverse as the philosophy of religion and computer science. This collection brings an important body of work to the attention of a new generation of professional philosophers, computer scientists and mathematicians.Introduction; 1. Russell's version of the theory of definite descriptions; 2. Existential import, 'E!' and 'the'; 3. The reduction of two paradoxes and the significance thereof; 4. The HilbertBernays theory of definite descriptions; 5. Foundations of the hierarchy l“m