New Essays in Free Logic In Honour of Karel Lambert

Name: New Essays in Free Logic In Honour of Karel Lambert
Price: 109.99 USD
Availability: InStock
ISBN: 9781402002168

ISBN-10: 1402002165

ISBN-13: 9781402002168

Edition: 2001

Authors: Karel Lambert, Alexander Hieke, Edgar Morscher

List price: $109.99

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $109.99

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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…

Book details

List price: $109.99
Copyright year: 2001
Publisher: Springer Netherlands
Publication date: 12/31/2001
Binding: Hardcover
Pages: 255
Size: 6.14" wide x 9.21" long x 0.50" tall
Weight: 2.684
Language: English

Alexander Hieke is an associate professor in the Department of Philosophy at the University of Salzburg.



Preface


Free Logic: A Fifty-Year Past and an Open Future




Names and Definite Descriptions


Free Logic and Definite Descriptions



Calculi of Names: Free and Modal




Modalities


Free Logic and Quantification in Syntactic Modal Contexts



Substitution, Quantifiers and Identity in Modal Logic



Free Epistemic Logic




Semantics and Programming


Supervaluational Free Logic and the Logic of Information Growth



"No Input, No Output" Logic



Free Logic in Program Specification and Verification




History


Existence and Reference in Medieval Logic



Can Meinongian Logic Be Free?




Comments


Comments



Index of Persons