LEADER 03198nam  22006494a 450 
001 9910818077303321
005 20200520144314.0
010   $a1-107-13530-3
010   $a1-280-43451-1
010   $a1-139-16506-2
010   $a0-511-17812-3
010   $a0-511-04277-9
010   $a0-511-14863-1
010   $a0-511-30544-3
010   $a0-511-05453-X
035   $a(CKB)1000000000003085
035   $a(EBL)202397
035   $a(OCoLC)437063531
035   $a(SSID)ssj0000158097
035   $a(PQKBManifestationID)11161542
035   $a(PQKBTitleCode)TC0000158097
035   $a(PQKBWorkID)10160006
035   $a(PQKB)11448994
035   $a(UkCbUP)CR9781139165068
035   $a(MiAaPQ)EBC202397
035   $a(Au-PeEL)EBL202397
035   $a(CaPaEBR)ebr10030900
035   $a(CaONFJC)MIL43451
035   $a(PPN)261360167
035   $a(EXLCZ)991000000000003085
100   $a20020123d2003      uy         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFree logic $eselected essays /$fKarel Lambert
205   $a1st ed.
210   $aCambridge, UK ;$aNew York $cCambridge University Press$d2003
215   $a1 online resource (xii, 191 pages) $cdigital, PDF file(s)
300   $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015).
311   $a0-521-03922-3 
311   $a0-521-81816-8 
320   $aIncludes bibliographical references.
327   $aCover; Half-title; Title; Copyright; Dedication; Contents; 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 Hilbert-Bernays Theory of Definite Descriptions; 5 Foundations of the Hierarchy of Positive Free Definite Description Theories*; 6 Predication and Extensionality; 7 Nonextensionality; 8 The Philosophical Foundations of Free Logic; 9 Logical Truth and Microphysics
330   $aFree 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.
606   $aFree logic
615  0$aFree logic.
676   $a160
700   $aLambert$b Karel$f1928-$048465
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910818077303321
996   $aFree logic$94038595
997   $aUNINA