Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics.
Formal ontology combines two ideas, one originating with Husserl, the other with Frege: that of ontology of the formal aspects of all objects, irrespective of their particular nature, and ontology pursued by employing the tools of modern formal disciplines, notably logic and semantics.
PHILOSOPHY AND COGNITIVE SCIENCE: CATEGORIES, CONSCIOUSNESS, AND REASONING The individual man, since his separate existence is manifested only by ignorance and error, so far as he is anything apart from his fellows, and from what he and they are to be, is only a negation.
Discussions of the foundations of mathematics and their history are frequently restricted to logical issues in a narrow sense, or else to traditional problems of analytic philosophy.
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.
