Philosophy: logic

Between the two world wars, Stanislaw Lesniewski (1886-1939), created the famous and important system of foundations of mathematics that comprises three deductive theories: Protothetic, Ontology, and Mereology.

Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence.

In the study of forms of legal reasoning, logic and argumentation theory long followed separate tracks.

The present volume has its origin in a meeting of philosophers, linguists and cognitive scientists that was held at Umea University, Sweden, September 24-26, 1993.

This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis.

Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background.

On January 20th, 22nd, and 29th, 1970 Saul Kripke delivered three lectures at Princeton University.

The editors of the Applied Logic Series are happy to present to the reader the fifth volume in the series, a collection of papers on Logic, Language and Computation.

Mathematics is often considered as a body of knowledge that is essen- tially independent of linguistic formulations, in the sense that, once the content of this knowledge has been grasped, there remains only the problem of professional ability, that of clearly formulating and correctly proving it.

Das Buch beabsichtigt, mit den Mitteln einer phänomenologischen Semantik, einen Beitrag zum Verständnis der Modallogik und ihrer philosophischen Implikationen zu liefern.

Action is conceived of as an intentional behavior of an individual or of an institutional subject; it is determined by information processing, namely by a process in which pieces of descriptive and practical information are involved.

Belief change is an emerging field of artificial intelligence and information science dedicated to the dynamics of information and the present book provides a state-of-the-art picture of its formal foundations.

In the `Preliminary Dissertation' of his Theodicy, Leibniz declares himself an apologist for the compatibilist doctrines of original sin, election and reprobation propounded by the theologians of the Augsburg Confession.

This book considers philosophy to be more than mere reflection.

JERUSALEM LECTURES In 1992, I was a Lady Davis Fellow in the English Department at the Hebrew Univer- sity of Jerusalem.

th This volume is dedicated to Dov Gabbay who celebrated his 50 birthday in October 1995.

Der vorliegende Ergänzungsband zu Husserliana Band XI Analysen zur passiven Synthesis enthält den letzten Teil der ursprünglichen Fassung der Vorlesung über `Transzendentale Logik' vom Wintersemester 1920/21, deren Hauptteil in Band XI veröffentlicht wurde.

Computational semantics is concerned with computing the meanings of linguistic objects such as sentences, text fragments, and dialogue contributions.

The task of the book is not to give a survey of the main theories on truth found in the literature.

Quine is one of the twentieth century's most important and influential philosophers.

Deservedly so, Jules Vuillemin is widely respected and greatly admired.

This collection of essays is dedicated to 'Joe' Karel Lambert.

Formalization plays an important role in semantics.

Some philosophers think that Paul Feyerabend is a clown, a great many others think that he is one of the most exciting philosophers of science of this century.

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.

The present publication forms part of a projected book that F.

This book is dedicated to the memory of Professor Henryk Mehlberg, primarily because I want to recall his name to readers in the West; for, although Professor Mehlberg was the foremost Polish philosopher in the field of philosophy of time-in that version which is related to twentieth- century physics-his fundamental work concerning time was published in English 43 years after its original publication (cf.

This work is in two parts.

The topic to which this book is devoted is reductionism, and not reduction.

Rudolf Carnap was born on May 18, 1891, and Hans Reichenbach on September 26 in the same year.

Contemporaryphilosophyseems a great swirling almost chaos.

In the great libraries of Europe and the United States, hidden in fading manuscripts on forgotten shelves, lie the works of medieval Hebrew logic.

All except three of the papers in this volume were presented at the colloquium on "e;L'Ontologie formelle aujourd'hui"e;, Geneva, 3-5 June 1988.

Foundational questions in logic, mathematics, computer science and physics are constant sources of epistemological debate in contemporary philosophy.

ments be thrown to the wind - in light of the fact that careful, precise, step-by-step deductive arguments will be presented below for each and every proposition that might be cavalierly regarded prima facie implausible.

Scholars from all the continents have written articles to celebrate the seventieth birthday of Jan Srzednicki, a thinker still at the height of his powers.

At the outset of the research leading to this book I held a position somewhere close to 'the standard Copenhagen interpretation' of QM.

The first Symposium consisted of three people in a cafe in Warsaw in 1973.

Part I of this book presents a theory of modal metaphysics in the possible-worlds tradition.

From the mid-1960s, after the important works by J.

Among the extraordinary Polish philosophers of the past one hundred years, Zygmunt Zawirski deserves to be given particular attention for his fusion of analytic and historical scholarship.

I suppose Joseph Agassi's best and dearest self-description, his cher- ished wish, is to practice what his 1988 book promises: The Gentle Art of Philosophical Polemics.