Handbook of Philosophical Logic, Volume 14
Dov M. Gabbay, Franz Guenthner
Springer Science & Business Media, Sep 14, 2007 - Computers - 346 pages
theywereextensivelydiscussedbyallauthorsina3-dayHandbookmeeting. These are: • a chapter on non-monotonic logic • a chapter on combinatory logic and ?-calculus We felt at the time (1979) that non-monotonic logic was not ready for a chapter yet and that combinatory logic and ?-calculus was too far re- 1 moved. Non-monotonic logic is now a very major area of philosop- cal logic, alongside default logics, labelled deductive systems, ?bring l- ics, multi-dimensional, multimodal and substructural logics. Intensive - examinations of fragments of classical logic have produced fresh insights, including at time decision procedures and equivalence with non-classical systems. Perhaps the most impressive achievement of philosophical logic as arising inthepastdecadehasbeenthee?ectivenegotiationofresearchpartnerships with fallacy theory, informal logic and argumentation theory, attested to by the Amsterdam Conference in Logic and Argumentation in 1995, and the two Bonn Conferences in Practical Reasoning in 1996 and 1997. These subjects are becoming more and more useful in agent theory and intelligent and reactive databases. Finally, ?fteen years after the start of the Handbook project, I would like to take this opportunity to put forward my current views about logic in computer science, computational linguistics and arti?cial intelligence. In the early 1980s the perception of the role of logic in computer science was that of a speci?cation and reasoning tool and that of a basis for possibly neat computer languages. The computer scientist was manipulating data structures and the use of logic was one of his options.
What people are saying - Write a review
We haven't found any reviews in the usual places.
A-worlds antecedent argument assertion Avron axiom axiom schemas Barwise Benthem binary quantiﬁers bottom particle C-systems Carnielli causal beliefs Causal Markov Condition causal relationships classical logic classical negation conditional probability connective consequent CONSERV consider consistency context Costa counterfactuals deﬁnable deﬁned Deﬁnition degree of belief denote DETs diﬀerent eﬀect epistemic causality equivalent example explosive expressions extension fact false ﬁnd ﬁnite ﬁrst ﬁrst-order ﬁve ﬁxed Frege generalised quantiﬁers given iﬀ indicative conditionals inference inﬁnite interpretation judgements Keenan and Stavi Lemma Lewis Lewis’s LFI1 LFIs Marcos mathematical natural language quantiﬁers normal modal logics notion objective paraconsistent logics Philosophical possible predicate logic Principle of Explosion probabilistic probability proof properties proposition QMAB quantifier relation result satisﬁes Section semantics sentences signature Stalnaker Stalnaker’s subjunctive Subsection Suppose Theorem theory Thesis trivial true truth conditions truth-functional truth-tables unary universe valid variables