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.
This is this, this ain't something else, this is this -Robert De Niro, Deerhunter his book may to some extent be viewed as the continuation of my T Doctoral thesis Epistemology, Methodology and Reliability.
A comprehensive survey of Martin-Lof's constructive type theory, considerable parts of which have only been presented by Martin-Lof in lecture form or as part of conference talks.
Modern mathematical logic would not exist without the analytical tools first developed by George Boole in The Mathematical Analysis of Logic and The Laws of Thought.
`Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see the extent to which they can substitute or complement such functions.
In 1907 Luitzen Egbertus Jan Brouwer defended his doctoral dissertation on the foundations of mathematics and with this event the modem version of mathematical intuitionism came into being.
Like the journal TOPOl, the TOPOl Library is based on the assumption that philosophy is a lively, provocative, delightful activity, which constantly challenges our inherited habits, painstakingly elaborates on how things could be different, in other stories, in counterfactual situations, in alternative possible worlds.
The question how to turn the principles implicitly governing the concept of truth into an explicit definition (or explication) of the concept hence coalesced with the question how to get a finite grip on the infinity of T-sentences.