Bücher der Reihe Synthese Library

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 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.

The emphasis is on theories of meaning and reference for 'J', but a fair amount of space is devoted to 'I' -thoughts and the role of the concept of the self in cognition.

This implied that truth (and consequently semantic concepts to which truth appeared to be reducible) proved itself to be strangely 'language-dependent': we can have a concept of truth-in-L for any language L, but we cannot have a concept of truth applicable to every language.

In the 20th century philosophy of mathematics has to a great extent been dominated by views developed during the so-called foundational crisis in the beginning of that century.

Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science

The traditional stum bling block for Bayesians has been to fmd objective probability inputs to conditionalize upon. To be sure, if we could agree on the correct probabilistic representation of 'ignorance' (or absence of pertinent data), then all probabilities obtained by applying Bayes' rule to an 'informationless' prior would be objective.

This is the second 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.

The aim of this thematically unified anthology is to track the history of epistemic logic, to consider some important applications of these logics of knowledge and belief in a variety of fields, and finally to discuss future directions of research with particular emphasis on 'active agenthood' and multi-modal systems.

The papers presented in this special collection focus upon conceptual, the oretical and epistemological aspects of sociobiology, an emerging discipline that deals with the extent to which genetic factors influence or control patterns of behavior as well as the extent to which patterns of behavior, in turn, influence or control genetic evolution.

Although he is primarily known for his expertise in the field of Kantian philosophy, Werkie's published scholarship has spanned a wide range of subjects for more than fifty years: his first book, A Philosophy of Science, appeared in 1940;

This book deals with a basic problem arising within the Bayesian approach 1 to scientific methodology, namely the choice of prior probabilities. In Section 3, the methods used in TIP and BS for making multinomial inference~ are considered and some conceptual relationships between TIP and BS are pointed out.

This book has been a long time in the making. Other issues have taken me away from it from time to extended time. I mention in particular, Brian Ellis, Robert Fox, Graeme Marshali, Tim Oakley, Ray Pinkerton and Robert Young.

Quantifiers: Logics, Models and Computation is the first concentrated effort to give a systematic presentation of the main research results on the subject, since the modern concept was formulated in the late '50s and early '60s.

impossible triangle, after apprehension of the perceptively given mode of being of that 'object', the visual system assumes that all three sides touch on all three sides, whereas this happens on only one side.

They deal with the four kinds of logic I have been concerned with: formal logic, transcendental logic, speculative logic and hermeneutic logic.

Current debate in cognitive science, from robotics to analysis of vision, deals with problems like the perception of form, the structure and formation of mental images and their modelling, the ecological development of artificial intelligence, and cognitive analysis of natural language.

Symposion Proceedings, San Servolo, Venice, Italy, May 16-22, 1999