LINGUIST List 12.2739

Thu Nov 1 2001

Books: Logic

Editor for this issue: Richard John Harvey <>

Links to the websites of all LINGUIST's supporting publishers are available at the end of this issue.


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

Message 1: Logic: New Essays in Free Logic. Morscher, Hieke

Date: Thu, 01 Nov 2001 02:22:07 +0100 (MET)
From: kap-listman <>
Subject: 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


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. 


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:

Thank you for your interest in Kluwer's books and journals. 
Kluwer Academic Publishers 
Order Department, PO Box 358 
Accord Station, Hingham, MA 02018-0358 
Telephone (781) 871-6600 
Fax (781) 681-9045 
Kluwer Academic Publishers 
Distribution Center 
PO Box 322 
3300 AH Dordrecht 
The Netherlands 
Telephone 31-78-6392392 
Fax 31-78-6546474 
Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue


----------------- Major Supporters ----------------



Academic Press



Arnold Publishers



Athelstan Publications



Blackwell Publishers




Cambridge University Press



Cascadilla Press



CSLI Publications



Distribution Fides



Elsevier Science Ltd.



John Benjamins



Kluwer Academic Publishers



Lernout & Hauspie



Lincom Europa



MIT Press



Mouton de Gruyter



Multilingual Matters



Oxford UP



Pearson Education












Summer Institute of Linguistics




---------Other Supporting Publishers-------------



Anthropological Linguistics



Bedford/St. Martin's



Finno-Ugrian Society



Graduate Linguistic Students' Assoc., Umass



International Pragmatics Assoc.



Kingston Press Ltd.



Linguistic Assoc. of Finland



Linguistic Society of Southern Africa (LSSA)


Pacific Linguistics


Pacini Editore Spa


Virittaja Aikakauslehti


Monday, July 23, 2001