LINGUIST List 12.2739

Thu Nov 1 2001

Books: Logic

Editor for this issue: Richard John Harvey <richardlinguistlist.org>

Directory

1. kap-listman, Logic: New Essays in Free Logic. Morscher, Hieke

 
Kluwer ALERT, the free notification service from Kluwer Academic/PLENUM 
Publishers and Kluwer Law International 

-------------------------------------------------------------------------------

New Essays in Free Logic
In Honour of Karel Lambert
edited by
Edgar Morscher
Dept. of Philosophy, University of Salzburg, Austria
Alexander Hieke
Dept. of Philosophy, University of Salzburg, Austria

APPLIED LOGIC SERIES Volume: 23

This volume contains a collection of recent papers on Free
Logic which cover a wide range of topics. These topics show that Free
Logic is applied not only in traditional philosophical areas, but also
in various contexts of modern formal logic as well as in the
discussion of theoretical aspects of programming. 


Part I of the book covers theories of names and definite descriptions.
Part II contains papers on various topics in the logic of modalities.
Part III is devoted to semantics and programming. In part IV Free
Logic is used to analyse and discuss topics from the history of
philosophy. In addition, one of the founders of Free Logic, Karel
Lambert, not only contributes an article to this volume, but he also
comments the papers of all the other authors. 


So this book will be of interest not only to philosophers and
logicians, but also to computer scientists and researchers interested
in foundational aspects of computer programming. 

CONTENTS

Preface. Free Logic: A Fifty-Year Past and an Open Future;
E. Morscher, P. Simons. Part I: Names and Definite
Descriptions. Free Logic and Definite Descriptions; K.
Lambert. Calculi of Names: Free and Modal; P. Simons. Part
II: Modalities. Free Logic and Quantification in Syntactic Modal
Contexts; P. Schweizer. Substitution, Quantifiers and Identity
in Modal Logic; S. Ghilardi. Free Epistemic Logic; W.
Lenzen. Part III: Semantics and Programming. Supervaluational
Free Logic and the Logic of Information Growth; J.B.
Escriba. `No Input, No Output' Logic; S. Lehmann.
Free Logic in Program Specification and Verification; R.D. Gumb.
Part IV: History. Existence and Reference in Medieval Logic;
G. Klima. Can Meinongian Logic Be Free?; J.
Pasniczek. Part V: Comments. Comments; K.
Lambert. Index of persons.

Hardbound, ISBN 1-4020-0216-5, December 2001, 264 pp.
EUR 94.00 / USD 86.00 / GBP 59.00

URL of this book: http://www.wkap.nl/book.htm/1-4020-0216-5


 
Thank you for your interest in Kluwer's books and journals. 
 
NORTH, CENTRAL AND SOUTH AMERICA 
Kluwer Academic Publishers 
Order Department, PO Box 358 
Accord Station, Hingham, MA 02018-0358 
USA 
Telephone (781) 871-6600 
Fax (781) 681-9045 
E-Mail: kluwerwkap.com 
 
 
EUROPE, ASIA AND AFRICA 
Kluwer Academic Publishers 
Distribution Center 
PO Box 322 
3300 AH Dordrecht 
The Netherlands 
Telephone 31-78-6392392 
Fax 31-78-6546474 
E-Mail: orderdeptwkap.nl