LINGUIST List 12.2739

Thu Nov 1 2001

Books: Logic

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


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

Directory

  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 <kap-listmanwkap.nl>
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

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 
Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue
Pubs-postscript-html

 

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

 

 

Academic Press

http://www.academicpress.com

 

 

Arnold Publishers

http://www.arnoldpublishers.com

 

 

Athelstan Publications

http://www.athel.com

 

 

Blackwell Publishers

http://www.blackwellpublishers.co.uk/

 

 

 

Cambridge University Press

http://www.cup.org

 

 

Cascadilla Press

http://www.cascadilla.com/

 

 

CSLI Publications

http://csli-www.stanford.edu/publications/

 

 

Distribution Fides

 

 

Elsevier Science Ltd.

http://www.elsevier.nl/locate/linguistics

 

 

John Benjamins

http://www.benjamins.com/

 

 

http://www.benjamins.nl/

 

 

Kluwer Academic Publishers

http://www.wkap.nl/

 

 

Lernout & Hauspie

http://www.lhsl.com

 

 

Lincom Europa

http://www.lincom-europa.com

 

 

MIT Press

http://mitpress.mit.edu/books-legacy.tcl

 

 

Mouton de Gruyter

http://www.deGruyter.de/hling.html

 

 

Multilingual Matters

http://www.multilingual-matters.com/

 

 

Oxford UP

http://www.oup-usa.org/

 

 

Pearson Education

http://www.pearsoneduc.com/catalog.html

 

 

Rodopi

http://www.rodopi.nl/

 

 

Routledge

http://www.routledge.com/

 

 

Springer-Verlag

http://www.springer.de

 

 

Summer Institute of Linguistics

http://www.sil.org/

 

 

 

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

 

 

Anthropological Linguistics

http://www.indiana.edu/~anthling/

 

 

Bedford/St. Martin's

http://www.bedfordstmartins.com/

 

 

Finno-Ugrian Society

http://www.helsinki.fi/jarj/sus/

 

 

Graduate Linguistic Students' Assoc., Umass

http://www.umass.edu/linguist/GLSA/

 

 

International Pragmatics Assoc.

http://ipra-www.uia.ac.be/ipra/

 

 

Kingston Press Ltd.

http://www.kingstonpress.com

 

 

Linguistic Assoc. of Finland

http://www.ling.helsinki.fi/sky/

 

 

Linguistic Society of Southern Africa (LSSA)

http://www.safest.org.za/bsp

 

Pacific Linguistics

http://pacling.anu.edu.au

 

Pacini Editore Spa

http://www.pacinieditore.it/

 

Virittaja Aikakauslehti

http://www.helsinki.fi/jarj/kks/virittaja.html

 

Monday, July 23, 2001