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. Amongst the applications on offer
are those to the analysis of existence statements, to definite
descriptions and to partial functions. The volume contains a proof
that free logics of any kind are non-extensional and then uses that
proof to show that Quine's theory of predication and referential
transparency must fail. 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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!