This collection of essays presents a systematic and up-to-date survey of the main aspects of Georg Henrik von Wright's philosophy, tracing the general humanistic leitmotiv to be found in his vast, varied output.
My impulse when I decided to collect into a single volume the essays on topics in logical theory and related subjects that I have written in the last fifteen years was to borrow from the title of a work by Sextus Empiricus, and call my collection "e;Against the Logicians.
Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reasoning about computation.
The present monograph is a slightly revised version of my Habilitations- schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997.
Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have not been explained systematically in terms of proof theory.
This volume, the 6th volume in the DRUMS Handbook series, is part of the after- math of the successful ESPRIT project DRUMS (Defeasible Reasoning and Un- certainty Management Systems) which took place in two stages from 1989-1996.
This volume, the 7th volume in the DRUMS Handbook series, is part of the aftermath of the successful ESPRIT project DRUMS (Defeasible Reasoning and Uncertainty Management Systems) which took place in two stages from 1989- 1996.
Reasoning under uncertainty is always based on a specified language or for- malism, including its particular syntax and semantics, but also on its associated inference mechanism.
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged.
Fuzzy Sets, Logics and Reasoning about Knowledge reports recent results concerning the genuinely logical aspects of fuzzy sets in relation to algebraic considerations, knowledge representation and commonsense reasoning.
Surprisingly, modified versions of the confirmation theory (Carnap and Hempel) and truth approximation theory (Popper) turn out to be smoothly sythesizable.
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.
