Bøger i Synthese Library serien

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.

Nelson Goodman's disparate writings are often considered separately. This book argues that the separate disciplines of ontology, epistemology and aesthetics should been seen as sequential, interdependent steps within his thought.

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

Scientific research is viewed as a deliberate activity and the logic of discovery consists of strategies and arguments whereby the best objectives (questions) and optimal means for achieving these objectives (heuristics) are chosen.

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.

Doing Worlds with Words throws light on the problem of meaning as the meeting point of linguistics, logic and philosophy, and critically assesses the possibilities and limitations of elucidating the nature of meaning by means of formal logic, model theory and model-theoretical semantics.

A collection of essays, which is the definitive version of a widely discussed debate over the origins of the New Theory of Reference. It is suitable for those acquainted with these influential ideas.

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.

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

Bruno de Finetti (1906-1985) is known worldwide as the founder (together with F.P. Ramsey) of the modern personal probability. This book contains the transcription of a course on the foundations of probability given by him in 1979 in Rome.

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

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.

This book gives a complete overview of how the different views of scientific progress have developed since the time of the Vienna Circle. In the process, it introduces a completely new, non-relativistic philosophy of science.

Proceedings of the 1970 Stanford Workshop on Grammar and Semantics

This book is intended to be a survey of the most important results in mathematical logic for philosophers. In addition to proving the most philosophically significant results in mathematical logic, I have attempted to illustrate various methods of proof.

Can a line be analysed mathematically such a way that it does not fall apart into a set of discrete points? Brouwer argued that the two questions are related and that the answer to both is "yes", introducing the concept of choice sequences. This book subjects Brouwer's choice sequences to a phenomenological critique in the style of Husserl.

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included.

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