Until recently, the contribution of immunological knowledge to the under standingand management ofENTdisorders was slight, being largely confined to the appreciation that many rhinitic patients were allergic. Happily, this situation is rapidly changing: the immunological basis of many disorders of the ears, nose and throat is becoming recognized and the mechanisms of the reactions involved are being elucidated. From this, rational therapy should evolve. This book aims to highlight some of the areas in which immunological mechanisms are involved in otorhinolaryngology. It is written by experts...

Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contained significant results in proof theory as well as the first fully worked out model-theoretic interpretation of quantified modal logic. It is generally accepted nowadays that Kanger was one of the originators of possible worlds semantics for modal logic. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. He also contributed to...

Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. But he contributed significantly to action theory, preference logic and the theory of measurement as well. This is the second of two volumes dedicated to the work of Stig Kanger. The first volume is a complete collection of Kanger's philosophical papers. The present volume contains critical essays on the various aspects of Kanger's work as...

Alonzo Church was undeniably one ofthe intellectual giants of theTwenti eth Century . These articles are dedicated to his memory and illustrate the tremendous importance his ideas have had in logic, mathematics, comput er science and philosophy . Discussions of some of thesevarious contributions have appeared in The Bulletin of Symbolic Logic, and th e interested reader is invited to seek details there . Here we justtry to give somegener al sense of the scope, depth, and value of his work. Church is perhaps best known for the theorem, appropriately called " C h u r c h ' s Theorem," that...

At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of classical logic and set theory and, in particular, of the axiom of choice. Recent developments, however, have given rise to the hope that the distance between constructive and nonstandard mathematics is actually much smaller than it appears. So the time was ripe for the first meeting dedicated simultaneously to both ways of doing mathematics and to the current and future reunion of these seeming opposites.

Consisting of peer-reviewed...

The subject of the present inquiry is the approach-to-the-truth research, which started with the publication of Sir Karl Popper's Conjectures and Refutations. In the decade before this publication, Popper fiercely attacked the ideas of Rudolf Carnap about confirmation and induction; and ten years later, in the famous tenth chapter of Conjectures he introduced his own ideas about scientific progress and verisimilitude (cf. the quotation on page 6). Abhorring inductivism for its apprecia- tion of logical weakness rather than strength, Popper tried to show that fallibilism could serve the...

In the book If Tropes, the author attempts to approach and then deal with some of the most basic problems for a theory of tropes. The investigation proceeds from three basic assumptions: (i) tropes (i.e. particular properties) exist, (ii) only tropes exist (that is, tropes are the only basic or fundamental kind of entities), and (iii) the main-function for tropes is to serve as truth-makers for atomic propositions.

Provided that one accepts these assumptions the author finds that the trope-theorist will have to deal with two important matters. Some atomic...

Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted heritage of Kronecker's work, which includes not only Hilbert, but also Frege, Cantor, Dedekind, Husserl and Brouwer.

The book will be of primary interest to logicians,...

In this book Emma Ruttkamp demonstrates the power of the full-blown employment of the model-theoretic paradigm in the philosophy of science. Within this paradigm she gives an account of sciences as process and product. She expounds the "received statement" and the "non-statement" views of science, and shows how the model-theoretic approach resolves the spurious tension between these views. In this endeavour she also engages the views of a number of contemporary philosophers of science with affinity to model theory. This text can be read by specialists working in philosophy of science or...

In this book, the author makes a systematic attempt to understand cognitive characteristics of translation by bringing its logical, pragmatic and hermeneutic features together and examining a number of scientific, logical, and philosophical applications. The book is for philosophers of science, linguists, logicians, historians of science, and scientists interested in philosophical questions of scientific change.