Bøger i Synthese Library serien

In June 22-27,1970, an International Working Symposium on Pragmatics of Natural Languages took place in Jerusalem under the auspices of The Israel Academy of Sciences and Humanities and the Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science.!

Ranging over a variety of topics in the philosophy of language, philosophy of mind and epistemology, Professor Donald Davidson's system of thought is unified by his inquiries into the nature of interpretation and understanding the speech and behavior of others. This book examines his unified stance towards philosophy with a collection of essays.

A comprehensive survey of Martin-Loef's constructive type theory, considerable parts of which have only been presented by Martin-Loef in lecture form or as part of conference talks. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material.

The use of the word 'structuralism', not only as a title for the present book but also as a valuable indication for outstanding philosophical and cultural developments of our century, may embarrass the English reader.

The papers are grouped around the unifying topic of Hempel's own interests in logic and philosophy of science, the great majority dealing with issues on inductive logic and the theory of scientific explanatio- problems to which Hempel has devoted the bulk of his outstandingly fruitful efforts.

Gertrudis Van de Vijver* Seminar of Logic and Epistemology University of Ghent Before being classified under the fashionable denominators of complexity and chaos, self-organization and autonomy were intensely inquired into in the cybernetic tradition.

Though specific Kantian doctrines fell into disrepute earlier in this century, the past twenty-five years have seen a surge of interest in and respect for Kant's philosophy of mathematics among both Kant scholars and philosophers of mathematics.

This collection of essays, first published two decades ago, presents central feminist critiques and analyses of natural and social sciences and their philosophies.

At the turn of the century, Gottlob Frege and Edmund Husserl both participated in the discussion concerning the foundations of logic and mathematics. It shows that Husserl's thought is coming to occupy a central role in the philosophy of logic and mathematics, as well as in the philosophy of mind and cognitive science.

Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. The second volume contains critical essays on Kanger's work, as well as biographical essays on Kanger written by colleagues and friends.

The goal of the present volume is to discuss the notion of a 'conceptual framework' or 'conceptual scheme', which has been dominating much work in the analysis and justification of knowledge in recent years.

Much is said in Marxist literature about Marxist methodology which is supposed to be entirely original - differing a great deal from all other trends in the modern philosophy of science.

Descartes made a sharp distinction between matter and mind. Is such interaction possible, however, without either a materialist reduction of mind to matter or an idealist (phenomenalist) reduction of matter to mind?

In 1907 Luitzen Egbertus Jan Brouwer defended his doctoral dissertation on the foundations of mathematics and with this event the modem version of mathematical intuitionism came into being. There is little sense in disputing whether what mathematicians said about the objectivity and reality of mathematical facts belongs to philosophy, or not.

In the past, mathematics teaching theory has strongly been influenced by a view on mathematics as a heap of concepts, and on learning mathematics as concepts attainment.

Conceived in this way, there are two basic alternatives for mathematical epistemology: a skeptical position which maintains either that mind and reality seldom or never come to agreement, or that we have no very reliable way of telling when they do;

The work of which this is an English translation appeared originally in French as Precis de logique mathematique.

This is the first of two volumes containing papers submitted by the invited speakers to the 11th International Congress of Logic, Methodology and Philosophy of Science, held in Cracow in 1999, under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science.

In his essay on 'Broad on Induction and Probability' (first published in 1959, reprinted in this volume), Professor G. It is very much to be hoped that, for the benefit of future students, Broad's chief papers on induction and probability will be collected in a single volume .

"Logic", one of the central words in Western intellectual history, compre hends in its meaning such diverse things as the Aristotelian syllogistic, the scholastic art of disputation, the transcendental logic of the Kantian critique, the dialectical logic of Hegel, and the mathematical logic of the Principia Mathematica of Whitehead and Russell.

This gave Binkley the rather unusual and challenging task of providing a suitable Sellarsian answer to a question not of his own asking - for Binkley's paper was written under Sellars' original title.

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. This title deals with the work of Stig Kanger.

We- as agents (persons, selves, subjects) - make our actions happen. Who -~ or what - is an agent ? And how - in virtue of what - does an agent do things, or refrain from doing them? The first chapter deals with problems in the theory of action that seem to require the assumption that actions are controlled by agents.

Translating from Sanskrit some contemporary Indian Pandits' reactions to Western analytic accounts of meaning and knowledge, this title is suitable for advanced undergraduates in philosophy, for researchers - in Australia, Asia, Europe or America - on epistemology, theory of meaning, and, Indian or comparative philosophy.

For a long time it has been belived that elementary logic also called first-order logic was an ade quate theory of logical forms of natural language sentences.

This collection of essays presents a systematic and up-to-date survey of the main aspects of Georg Henrik von Wright's philosophy, tracing the general humanistic leitmotiv to be found in his vast, varied output.

This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995.

This book gives a state-of-the-art survey of current research in logic and philosophy of science, as viewed by invited speakers selected by the most prestigious international organization in the field.

Contemporary Action Theory, Volume II (Social Action) is concerned with the philosophical and logical aspects of actions performed by several individuals or groups of individuals. The topics dealt with in this volume include collective attitudes (especially joint intentions), cooperation, social norms, and commitments.