Free Logic: Selected Essays - Couverture rigide

Lambert, Karel

 
9780521818162: Free Logic: Selected Essays
Couverture rigide
ISBN 10 : 0521818168 ISBN 13 : 9780521818162
Editeur : Cambridge University Press, 2002

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Revue de presse

'Free logic is still very much a current concern both to logicians and to philosophical logicians and philosophers of language and mathematics ... I cannot but believe that the proposed collection will have anything but a major impact and would be invaluable as a teaching aid at intermediate and advanced level as well as professional research interest.' Peter Clark, University of St. Andrews

'These essays will be seen to be even more important once mathematicians and software engineers realize that what they thought was new and novel to their fields (E-logic and E+-logic and the various other names that these logics go by in mathematics and computer science) are varieties of free logic and were first discovered 30-45 years ago.' Raymond Gumb, University of Massachusetts, Lowell

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Cambridge University Press
Date d'édition
2002
Langue
anglais
ISBN 10 
0521818168
ISBN 13 
9780521818162
Reliure
Relié
Nombre de pages
204
Coordonnées du fabricant
non disponible
Personne responsable
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
France

Autres éditions populaires du même titre

9780521039222: Free Logic: Selected Essays

Edition présentée

ISBN 10 :  0521039223 ISBN 13 :  9780521039222
Editeur : Cambridge University Press, 2008
Couverture souple