|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Karel Lambert (University of California, Irvine)Publisher: Cambridge University Press Imprint: Cambridge University Press (Virtual Publishing) ISBN: 9781139165068ISBN 10: 1139165062 Publication Date: 05 June 2012 Audience: Professional and scholarly , Professional & Vocational Format: Undefined Publisher's Status: Active Availability: Available To Order ![]() We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately. Table of ContentsIntroduction; 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.Reviews'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 '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 Author InformationTab Content 6Author Website:Countries AvailableAll regions |