Philosophy: logic

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.

In three volumes, a distinguished group of scholars from a variety of disciplines in the natural and social sciences, the humanities and the arts contribute essays in honor of Robert S.

Gottlob Frege's Uber Sinn und Bedeutung (`On Sense and Reference'), has come to be seen, in the century since its publication in 1892, as one of the seminal texts of analytic philosophy.

Non-Classical Logics and their Applications to Fuzzy Subsets is the first major work devoted to a careful study of various relations between non-classical logics and fuzzy sets.

That philosophical themes could be studied in an exact manner by logical meanS was a delightful discovery to make.

When the original Dutch version of this book was presented in 1971 to the University of Leiden as a thesis for the Doctorate in philosophy, I was prevented by the academic mores of that university from expressing my sincere thanks to three members of the Philosophical Faculty for their support of and interest in my pursuits.

The purpose of this brief introduction is to describe the origin of the papers here presented and to acknowledge the help of some of the many individuals who were involved in the preparation of this volume.

During the academic years 1972-1973 and 1973-1974, an intensive sem- inar on the foundations of quantum mechanics met at Stanford on a regular basis.

In these essays toward a political philosophy we shall be con- cerned with fundamentals.

The present work constitutes an effort to approach the subject of symbol- ic logic at the elementary to intermediate level in a novel way.

The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present some work of my own.

The present book is concerned with the nature of philosophy and with the scope of philosophical interest.

It is common to consider an area of science as a system of real or sup- posed truths which not only continuously extends itself, but also needs periodical revision and therefore tests the inventive capacity of each generation of scholars anew.