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.
without a properly developed inconsistent calculus based on infinitesimals, then in- consistent claims from the history of the calculus might well simply be symptoms of confusion.
The International Congresses of Logic, Methodology and Philosophy of Science, which are held every fourth year, give a cross-section of ongoing research in logic and philosophy of science.
Both Perelman's collaborators, Professors Haarscher and Ingber, shared with me their deep personal insights about origins, birth and phases of the develop- ment of the New Rhetoric.
Since their appearance in the late 19th century, the Cantor--Dedekind theory of real numbers and philosophy of the continuum have emerged as pillars of standard mathematical philosophy.
This volume contains a selection of papers presented at a Seminar on Intensional Logic held at the University of Amsterdam during the period September 1990-May 1991.
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.
ways of doing it, but it is wrong to project it far into the past: it did not exist at the turn of the century and only became clearly apparent after the Second World War.
This volume is presented as a companion study to my translation of Galileo's MS 27, Galileo's Logical Treatises, which contains Galileo's appropriated questions on Aristotle's Posterior Analytics - a work only recently transcribed from the Latin autograph.
Hard as it is to believe, what is possibly Galileo's most important Latin manuscript was not transcribed for the National Edition of his works and so has remained hidden from scholars for centuries.
SECTION I In 1972, Donald Davison and Gilbert Hannan wrote in the introduction to the volume Semantics of Natural Language: "e;The success of linguistics in treating natural languages as formal ~yntactic systems has aroused the interest of a number of linguists in a parallel or related development of semantics.
Of the four chapters in this book, the first two discuss (albeit in consider- ably modified form) matters previously discussed in my papers 'On the Logic of Conditionals' [1] and 'Probability and the Logic of Conditionals' [2], while the last two present essentially new material.
Ever since philosophy became conscious of itself, there has been a problem of the relations between the real world which philosophy sought to understand and explain, and the thought by which it sought to explain it.
Between the two world wars, Stanislaw Lesniewski (1886-1939), created the famous and important system of foundations of mathematics that comprises three deductive theories: Protothetic, Ontology, and Mereology.
Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence.
The present volume has its origin in a meeting of philosophers, linguists and cognitive scientists that was held at Umea University, Sweden, September 24-26, 1993.
The editors of the Applied Logic Series are happy to present to the reader the fifth volume in the series, a collection of papers on Logic, Language and Computation.
Mathematics is often considered as a body of knowledge that is essen- tially independent of linguistic formulations, in the sense that, once the content of this knowledge has been grasped, there remains only the problem of professional ability, that of clearly formulating and correctly proving it.
Das Buch beabsichtigt, mit den Mitteln einer phänomenologischen Semantik, einen Beitrag zum Verständnis der Modallogik und ihrer philosophischen Implikationen zu liefern.
Action is conceived of as an intentional behavior of an individual or of an institutional subject; it is determined by information processing, namely by a process in which pieces of descriptive and practical information are involved.
Belief change is an emerging field of artificial intelligence and information science dedicated to the dynamics of information and the present book provides a state-of-the-art picture of its formal foundations.
In the `Preliminary Dissertation' of his Theodicy, Leibniz declares himself an apologist for the compatibilist doctrines of original sin, election and reprobation propounded by the theologians of the Augsburg Confession.
