Karl Schlechta's Books

A New Perspective on Nonmonotonic Logics

By: Dov M. Gabbay,Karl Schlechta

Write a review Read reviews Take a Quiz Solve Book Puzzle

A New Perspective on Nonmonotonic Logics

By: Dov M. Gabbay,Karl Schlechta

In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core of the book, where the authors combine the ideas of several types of nonmonotonic logics and their analysis of 'natural' concepts into a formal logic, a special preferential construction that combines formal clarity with the intuitive advantages of Reiter defaults, defeasible inheritance, theory revision, and epistemic considerations. It is suitable for researchers in the area of computer science and mathematical logic.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

367

Publisher

Springer

Published Date

ISBN 10

3319468170

ISBN 13

9783319468174

Logical Tools for Handling Change in Agent-Based Systems

By: Dov M. Gabbay,Karl Schlechta

Write a review Read reviews Take a Quiz Solve Book Puzzle

Logical Tools for Handling Change in Agent-Based Systems

By: Dov M. Gabbay,Karl Schlechta

Agents act on the basis of their beliefs and these beliefs change as they interact with other agents. In this book the authors propose and explain general logical tools for handling change. These tools include preferential reasoning, theory revision, and reasoning in inheritance systems, and the authors use these tools to examine nonmonotonic logic, deontic logic, counterfactuals, modal logic, intuitionistic logic, and temporal logic. This book will be of benefit to researchers engaged with artificial intelligence, and in particular agents, multiagent systems and nonmonotonic logic.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

305

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3642044077

ISBN 13

9783642044076

Coherent Systems

By: Karl Schlechta

Write a review Read reviews Take a Quiz Solve Book Puzzle

Coherent Systems

By: Karl Schlechta

One aspect of common sense reasoning is reasoning about normal cases, e.g. a physician will first try to interpret symptoms by a common disease, and will take more exotic possibilities only later into account. Such "normality" can be encoded, e.g. by a relation, where case A is considered more normal than case B. This gives a standard semantics or interpretation to nonmonotonic reasoning (a branch of common sense reasoning), or, more formally, to nonmonotonic logics. We consider in this book the repercussions such normality relations and similar constructions have on the resulting nonmonotonic logics, i.e. which types of logic are adequate for which kind of relation, etc. We show in this book that some semantics correspond nicely to some logics, but also that other semantics do not correspond to any logics of the usual form. - Provides a coherent picture of several formalisms of nonmonotonic logics - Gives completeness and incompleteness results for many variants of preferential, distance based, and other semantics - Gives probably the first systematic investigation of definability preservation and its consequences - Gives new proof techniques for completeness results - Is centered on semantics

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

469

Publisher

Elsevier

Published Date

ISBN 10

0080502199

ISBN 13

9780080502199

Formal Methods for Nonmonotonic and Related Logics

Vol II: Theory Revision, Inheritance, and Various Abstract Properties

By: Karl Schlechta

Write a review Read reviews Take a Quiz Solve Book Puzzle

Formal Methods for Nonmonotonic and Related Logics

Vol II: Theory Revision, Inheritance, and Various Abstract Properties

By: Karl Schlechta

The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In the associated Vol. I the author explains preferential structures and abstract size. In this Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics. In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate the path from intuition to formalisation. Together these books are a suitable compendium for graduate students and researchers in the area of computer science and mathematical logic.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

511

Publisher

Springer

Published Date

ISBN 10

3319896504

ISBN 13

9783319896502

Nietzsche's Philosophy of the Eternal Recurrence of the Same

By: Karl Lowith

Write a review Read reviews Take a Quiz Solve Book Puzzle

Nietzsche's Philosophy of the Eternal Recurrence of the Same

By: Karl Lowith

This long overdue English translation of Karl Löwith's magisterial study is a major event in Nietzsche scholarship in the Anglo-American intellectual world. Its initial publication was extraordinary in itself—a dissident interpretation, written by a Jew, appearing in National Socialist Germany in 1935. Since then, Löwith's book has continued to gain recognition as one of the key texts in the German Nietzsche reception, as well as a remarkable effort to reclaim the philosopher's work from political misappropriation. For Löwith, the centerpiece of Nietzsche's thought is the doctrine of eternal recurrence, a notion which Löwith, unlike Heidegger, deems incompatible with the will to power. His careful examination of Nietzsche's cosmological theory of the infinite repetition of a finite number of states of the world suggests the paradoxical consequences this theory implies for human freedom. How is it possible to will the eternal recurrence of each moment of one's life, if both this decision and the states of affairs governed by it appear to be predestined? Löwith's book, one of the most important, if seldom acknowledged, sources for recent Anglophone Nietzsche studies, remains a central text for all concerned with understanding the philosopher's work.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

587

Publisher

Univ of California Press

Published Date

ISBN 10

0520353633

ISBN 13

9780520353633

The Last Frontier

Imagining Other Worlds from the Copernican Revolution to Modern Science Fiction

By: Karl S. Guthke

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Last Frontier

Imagining Other Worlds from the Copernican Revolution to Modern Science Fiction

By: Karl S. Guthke

The existence of intelligent extraterrestrial life has been a subject of debate since the dawn of recorded history. The Last Frontier, originally published in German in 1983 and now available in Helen Atkins's sensitive English translation, traces the development of the idea that Earth is not the only planet inhabited by intelligent beings, but that there might be a plurality or even an infinity of "worlds" with human or humanoid life. Focusing on the seventeenth to the twentieth century and taking into account theological, philosophical, scientific, popular, and literary writings from American, British, French, and German sources, Karl S. Guthke demonstrates the continuing importance of this question to the process of human self-definition.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

419

Publisher

Cornell University Press

Published Date

ISBN 10

1501745875

ISBN 13

9781501745874

Christian Ethics, Volume 1

Moral Theology in Light of Vatican II; Volume I General Moral Theology, Third Edition

By: Karl-Heinz Peschke

Write a review Read reviews Take a Quiz Solve Book Puzzle

Christian Ethics, Volume 1

Moral Theology in Light of Vatican II; Volume I General Moral Theology, Third Edition

By: Karl-Heinz Peschke

This recent edition of Christian Ethics Volume I is a thoroughly revised and updated version of fundamental moral theology. As in the previous editions, the author makes himself an interpreter of the demands of Vatican Council II and its request that moral theology be rooted more fully in Holy Scripture. At the same time account is taken of the new developments in the field of ethics. New issues of actual concern are taken up, such as the deontological and teleological conditions of moral norms, the confrontation between conscience and civil or ecclesiastical law, the communal roots of Christian identity, the requirement of liberty and the ethical compromise. The book addresses itself to all who are interested in the moral teaching of the Christian faith and endeavors to be a helpful instrument to this end.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

393

Publisher

Wipf and Stock Publishers

Published Date

ISBN 10

1620322153

ISBN 13

9781620322154

Theology of John Calvin

By: Karl Barth

Write a review Read reviews Take a Quiz Solve Book Puzzle

Theology of John Calvin

By: Karl Barth

This historically significant volume collects Karl Barth's lectures on John Calvin, delivered at the University of Göttingen in 1922. The book opens with an illuminating sketch of medieval theology, an appreciation of Luther's breakthrough, and a comparative study of the roles of Zwingli and Calvin. The main body of the work consists of an increasingly sympathetic, and at times amusing, account of Calvin's life up to his recall to Geneva. In the process, Barth examines and evaluates the early theological writings of Calvin, especially the first edition of the Institutes.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

452

Publisher

Wm. B. Eerdmans Publishing

Published Date

ISBN 10

0802806961

ISBN 13

9780802806963

Correspondence: 1919–1973

By: Martin Heidegger,Karl Löwith

Write a review Read reviews Take a Quiz Solve Book Puzzle

Correspondence: 1919–1973

By: Martin Heidegger,Karl Löwith

This volume consists of over one-hundred epistolary exchanges between Martin Heidegger and one of his earliest students, Karl Löwith, who became a renowned and accomplished philosopher in his own right. The letters span a period of just over fifty years and range from casual to philosophical in tone. The more philosophically oriented letters shed important light on the ideas and writings of both Heidegger and Löwith, while the more casual letters provide insight into Heidegger the teacher, the man, and the friend, as well as into Löwith the devoted but reflectively critical student. By providing previously untranslated materials, this volume contributes to a greater understanding of the lives and the work of these two crucially important philosophers. Additionally, through the various bibliographical and cultural details that are disclosed along the way, this volume contributes to a greater understanding of German intellectual and cultural history during the span of its most challenging and devastating years.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

335

Publisher

Rowman & Littlefield

Published Date

ISBN 10

1786607239

ISBN 13

9781786607232

Exploring the Interior

Essays on Literary and Cultural History

By: Karl S. Guthke

Write a review Read reviews Take a Quiz Solve Book Puzzle

Exploring the Interior

Essays on Literary and Cultural History

By: Karl S. Guthke

In this fascinating collection of essays Harvard Emeritus Professor Karl S. Guthke examines the ways in which, for European scholars and writers of the eighteenth and early nineteenth century, world-wide geographical exploration led to an exploration of the self. Guthke explains how in the age of Enlightenment and beyond intellectual developments were fuelled by excitement about what Ulrich Im Hof called "the grand opening-up of the wide world”, especially of the interior of the non-European continents. This outward turn was complemented by a fascination with "the world within” as anthropology and ethnology focused on the humanity of the indigenous populations of far-away lands – an interest in human nature that suggested a way for Europeans to understand themselves, encapsulated in Gauguin’s Tahitian rumination "What are we?” The essays in the first half of the book discuss first- or second-hand, physical or mental encounters with the exotic lands and populations beyond the supposed cradle of civilisation. The works of literature and documents of cultural life featured in these essays bear testimony to the crossing not only of geographical, ethnological, and cultural borders but also of borders of a variety of intellectual activities and interests. The second section examines the growing interest in astronomy and the engagement with imagined worlds in the universe, again with a view to understanding homo sapiens, as compared now to the extra-terrestrials that were confidently assumed to exist. The final group of essays focuses on the exploration of the landscape of what was called "the universe within”; featuring, among a variety of other texts, Schiller’s plays The Maid of Orleans and William Tell, these essays observe and analyse what Erich Heller termed "The Artist’s Journey into the Interior.” This collection, which travels from the interior of continents to the interior of the mind, is itself a set of explorations that revel in the discovery of what was half-hidden in language. Written by a scholar of international repute, it is eye-opening reading for all those with an interest in the literary and cultural history of (and since) the Enlightenment.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

332

Publisher

Open Book Publishers

Published Date

ISBN 10

1783743964

ISBN 13

9781783743964

Formal Methods for Nonmonotonic and Related Logics

Vol II: Theory Revision, Inheritance, and Various Abstract Properties

By: Karl Schlechta

Write a review Read reviews Take a Quiz Solve Book Puzzle

Formal Methods for Nonmonotonic and Related Logics

Vol II: Theory Revision, Inheritance, and Various Abstract Properties

By: Karl Schlechta

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

511

Publisher

Springer

Published Date

ISBN 10

3319896504

ISBN 13

9783319896502

Formal Methods for Nonmonotonic and Related Logics

Vol I: Preference and Size

By: Karl Schlechta

Write a review Read reviews Take a Quiz Solve Book Puzzle

Formal Methods for Nonmonotonic and Related Logics

Vol I: Preference and Size

By: Karl Schlechta

The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In this Vol. I the author explains preferential structures and abstract size. In the associated Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics. In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate the path from intuition to formalisation. Together these books are a suitable compendium for graduate students and researchers in the area of computer science and mathematical logic.

Average ratings

N/A