Abstract | ||
---|---|---|
This paper answers the philosophical contentions defended in Horsten and Welch (2007, Synthese, 158, 41–60). It contains a description of the standard format of adaptive logics, analyses the notion of dynamic proof required
by those logics, discusses the means to turn such proofs into demonstrations, and argues that, notwithstanding their formal
complexity, adaptive logics are important because they explicate an abundance of reasoning forms that occur frequently, both
in scientific contexts and in common sense contexts. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/s11229-007-9268-4 | Synthese |
Keywords | Field | DocType |
Adaptive logics,Paraconsistent logics,Dynamic proofs,Decision methods | Common sense,Computer science,Metaphysics,Philosophy of language,Mathematical proof,Artificial intelligence,Epistemology | Journal |
Volume | Issue | ISSN |
166 | 1 | 0039-7857 |
Citations | PageRank | References |
7 | 0.57 | 7 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Diderik Batens | 1 | 148 | 20.23 |
Kristof De Clercq | 2 | 26 | 2.94 |
Peter Verdée | 3 | 27 | 5.27 |
Joke Meheus | 4 | 80 | 11.00 |