The more traditional approaches to the history and philosophy of science and technology continue as well, and probably will continue as long as there are skillful practitioners such as Carl Hempel, Ernest Nagel, and th~ir students.
"e;Logic"e;, 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.
Every philosopher of science, and every student of the philosophy of science, has heard of Paul Feyerabend: the iconoclast who supposedly asserted that science is not rational, nor objective, but is characterised by anarchism, relativism, subjectivism and power.
In this book, Veikko Rantala 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.
Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, human/computer interfaces, programming environments, etc.
Chapters 1-12 of this volume contain the papers on infonnal logic and argumentation that I've published and/or read at conferences over the last 17 years.
Arguing to Learn: Confronting Cognitions in Computer-Supported Collaborative Learning Environments focuses on how new pedagogical scenarios, task environments and communication tools within Computer-Supported Collaborative Learning (CSCL) environments can favour collaborative and productive confrontations of ideas, evidence, arguments and explanations, or arguing to learn.
The larger part of Yearbook 6 of the Institute Vienna Circle constitutes the proceedings of a symposium on Alfred Tarski and his influence on and interchanges with the Vienna Circle, especially those on and with Rudolf Carnap and Kurt Godel.
From the very beginning of their investigation of human reasoning, philosophers have identified two other forms of reasoning, besides deduction, which we now call abduction and induction.
It is neither far-fetched nor over-modest to assume that some readers will feel that another book on philosophical analysis is superfluous, seeing that there are at present a number of fine books, essays or col- lections of essays on the subject.
Philosophers of science have produced a variety of definitions for the notion of one sentence, theory or hypothesis being closer to the truth, more verisimilar, or more truthlike than another one.
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.
This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995.
Contemporary Action Theory, Volume I (Individual Action) is concerned with topics in philosophical action theory such as reasons and causes of action, intentions, freedom of will and of action, omissions and norms in legal and ethical contexts, as well as activity, passivity and competence from medical points of view.
In the late 1990s, AI witnessed an increasing use of the term 'argumentation' within its bounds: in natural language processing, in user interface design, in logic programming and nonmonotonic reasoning, in Al's interface with the legal community, and in the newly emerging field of multi-agent systems.
"e;Foundations of the Formal Sciences"e; (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics.
This volume summarizes recent developments in the topological and algebraic structures in fuzzy sets and may be rightly viewed as a continuation of the stan- dardization of the mathematics of fuzzy sets established in the "e;Handbook"e;, namely the Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory, Volume 3 of The Handbooks of Fuzzy Sets Series (Kluwer Academic Publish- ers, 1999).
On the most basic level, the articles brought together in the present volume aim to contribute to the charting of the (often subtle) links between the medieval and early modern periods in the fields of metaphysics, philosophical theology, and modal theory.
This collection originated at a conference organized by the Institute Vienna Circle and the University of Vienna on the Vienna Circle and Logical Empiricism and was held in Vienna in July 2001.
Husserl himself considered Logical Investigations (1900-1901) to constitute his `breakthrough' to phenomenology, and it stands out not only as one of Husserl's most important works, but as a key text in twentieth century philosophy.
This book is an example of fruitful interaction between (non-classical) propo- sitionallogics and (classical) model theory which was made possible due to categorical logic.
At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of classical logic and set theory and, in particular, of the axiom of choice.
Although there is an abundance of highly specialized monographs, learned collections and general introductions to the philosophy of science, only a few 25 years.
