Works by Dagmar Provijn - PhilPapers

Entries: 548,984 New this week: 767

General search Category finder


advanced search \| help

Search plugin for Firefox and Explorer Shop for books using PhilPapers

Works by Dagmar Provijn ( view other items matching `Dagmar Provijn`, view all matches )

Did you mean: Proving, Dagmar

Joke Meheus & Dagmar Provijn (2007). Abduction Through Semantic Tableaux Versus Abduction Through Goal-Directed Proofs. Theoria 22 (3):295-304.
In this paper, we present a goal-directed proof procedure for abductive reasoning. This procedure will be compared with Aliseda’s approach based on semantic tableaux. We begin with some comments on Aliseda’s algorithms for computing conjunctive abductions and show that they do not entirely live up to their aims. Next we give a concise account of goal-directed proofs and we show that abductive explanations are a natural spin-off of these proofs. Finally, we show that the goal-directed procedure solves the problems we (...)
Inference to the Best Explanation, Misc in General Philosophy of Science
Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic
Direct download

My bibliography

Export citation
Diderik Batens, Joke Meheus, Dagmar Provijn & Liza Verhoeven (2003). Some Adaptive Logics for Diagnosis. Logic and Logical Philosophy 11:39-65.
Ontology of Mathematics in Philosophy of Mathematics

My bibliography

Export citation

Off-campus access

Using PhilPapers from home?

Click here to configure this browser for off-campus access.

Monitor this page

Be alerted of all new items appearing on this page. Choose how you want to monitor it:

Email

RSS feed

About PhilPapers

	Institute of Philosophy School of Advanced Study University of London
	Centre for Consciousness Australian National University

General Editors:
David Bourget (London)
David Chalmers (ANU, NYU)

Area Editors:
Anthony Beavers
David Bourget
Berit Brogaard
Margaret Cameron
David Chalmers
Gabriele Contessa
Rafael De Clercq
Catarina Dutilh Novaes
Pablo Gilabert
Hans Halvorson
Jonathan Ichikawa
Jonathan Kvanvig
Øystein Linnebo
JeeLoo Liu
Paul Livingston
Brandon Look
Michiru Nagatsu
Susana Nuccetelli
Gualtiero Piccinini
Darrell Rowbottom
Constantine Sandis
Jonathan Schaffer
Thomas Senor
Robin Smith
Robert Sparrow
Daniel Star
Jussi Suikkanen
Lynne Tirrell
John Simpson Wilkins

Other editors
Contact us
Learn more about PhilPapers

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...

Home | New books and articles | Bibliographies | Philosophy journals | Discussions | The Categorization Project | About PhilPapers | API | Contact us

Institute of Philosophy
School of Advanced Study
University of London

Centre for Consciousness
Research School of Social Sciences
Australian National University

This site uses Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by David Bourget and David Chalmers

Page generated Sun May 19 15:18:03 2013 - Hash code: l8b2qW4BMhzV9z35WHgghQ