Essays on Husserl's Logic and Philosophy of Mathematics sets out to fill up a lacuna in the present research on Husserl by presenting a precise account of Husserl's work in the field of logic, of the philosophy of logic and of the philosophy of mathematics.
This anthology of the very latest research on truth features the work of recognized luminaries in the field, put together following a rigorous refereeing process.
Action theory is the object of growing attention in a variety of scientific disciplines and this is the first volume to offer a synthetic view of the range of approaches possible in the topic.
Ranging from Alan Turing's seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other.
Arguing that our attachment to Aristotelian modes of discourse makes a revision of their conceptual foundations long overdue, the author proposes the consideration of unacknowledged factors that play a central role in argument itself.
The present attempt to introduce the general philosophical reader to the Phenomenological Movement by way of its history has itself a history which is pertinent to its objective.
Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it.
The aim of the book is to introduce the reader to some new areas oflogic which have yet to find their way into the bulk of modern logic books written from the more orthodox direction of the mainstream of develop- ments.
Substructural logics are by now one of the most prominent branches of the research field usually labelled as "e;nonclassical logics"e; - and perhaps of logic tout court.
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.
Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions.
This volume of papers grew out of a research project on "e;Cross-Linguistic Quantification"e; originated by Emmon Bach, Angelika Kratzer and Barbara Partee in 1987 at the University of Massachusetts at Amherst, and supported by National Science Foundation Grant BNS 871999.
Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc.
hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997.
The papers in this volume address central issues in the study of Plurality and Quantification from three different perspectives: * Algebraic approaches to Plurals and Quantification * Distributivity and Collectivity: Theoretical Foundations * Distributivity and Collectivity: Empirical Investigations Algebraic approaches to the semantics of natural languages were in- dependently introduced for the study of generalized quantification, pred- ication, intensionality, mass terms and plurality.
Philosophical Dimensions of Logic and Science is a collection of outstanding contributed papers presented at the 11th International Congress of Logic, Methodology, and Philosophy of Science held in Krakow in 1999.
Several of the basic ideas of current language theory are subjected to critical scrutiny and found wanting, including the concept of scope, the hegemony of generative syntax, the Frege-Russell claim that verbs like `is' are ambiguous, and the assumptions underlying the so-called New Theory of Reference.
Various students of general linguistics and semantics quote and discuss Wittgenstein, among others, OGDEN and RICHARDS (1960), ULLMANN (1951, 1962), PAGLIARO (1952, 1957), WELLS (1960), REGNELL (1960) and 1 ZIFF (1960).
The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offered a vivid and comprehensive picture of the present state of research in all directions of Logic and Philosophy of Science.