Summary
This paper reports on a development that involves a drastic broadening of the scope of symbolic logic. The central idea concerns dynamic proofs that explicate forms of reasoning for which no positive test is available. Two other forms of the dynamics of reasoning are briefly spelled out.
Research for this paper was supported by the Fund for Scientific Research — Flanders, and indirectly by the INTAS-RFBR contract 95-365. I am indebted to audiences in Adelaide, Brisbane, and Salzburg for helpful comments.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
A.R. Anderson, N.D. Belnap, Jr., J.M. Dunn: Entailment. The Logic of Relevance and Necessity Vol. 2. (Princeton University Press, Princeton 1992)
D. Batens: ‘Meaning, Acceptance, and Dialectics’. In: Change and Progress in Modern Science ed. by J.C. Pitt (Reidel, Dordrecht 1985 ) pp. 333–360
D. Batens: ‘Dynamic Dialectical Logics’. In: Paraconsistent Logic. Essays on the Inconsistent ed. by G. Priest, R. Routley, J. Norman (Philosophia Verlag, München 1989 ) pp. 187–217
D. Batens: ‘Natural heuristics for proof construction. Part I: Classical propositional logic’. In: Logique et Analyse 127–128 (1989) pp. 337–363 appeared (1992)
D. Batens: ‘Do we Need a Hierarchical Model of Science?’ In: Inference, Explanation, and Other Frustrations. Essays in the Philosophy of Science ed. by J. Earman (University of California Press 1992 ) pp. 199–215
D. Batens: Logicaboek. Praktijk en theorie van het redeneren ( Garant, Leuven/Apeldoorn 1992 )
D. Batens: ‘Inconsistency-adaptive Logics and the Foundation of Non-monotonic Logics. Logique et Analyse 145 (1994); pp. 57–94 appeared (1996)
D. Batens: ‘Blocks. The Clue to Dynamic Aspects of Logic’. Logique et Analyse 150–152 (1995) pp. 285–328, appeared (1997)
D. Batens: ‘Inconsistency-adaptive Logics’. In: Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa ed. by E. Orlowska Physica Verlag (Springer, Heidelberg, New York 1999 ) pp. 445–472
D. Batens: ‘Zero Logic Adding up to Classical Logic’. Logical Studies 2 (1999) p. 15. (Electronic Journal: http://www.logic.ruLogStud/02/LS2.html)
D. Batens: ‘Minimally abnormal models in some adaptive logics’. Synthese 125 (2000) pp. 5–18
D. Batens: ‘Towards the unification of inconsistency handling mechanisms’. Logic and Logical Philosophy 8 (2001) pp. 5–31
D. Batens: ‘Linguistic and ontological measures for comparing the inconsistent parts of models’. Logique et Analyse, 165–166 (1999) pp. 5–23
D. Batens, J. Meheus: ‘A Tableau Method for Inconsistency-adaptive Logics’. In: Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes in Artificial Intelligence Vol. 1847 ed. by R. Dyckhoff ( Springer, Berlin 2000 ) pp. 127–142
D. Batens, J. Meheus: ‘The adaptive logic of compatibility’. Studia Logica 66 (2000) pp. 327–348
S. Benferhat, D. Dubois, and H. Prade: ‘Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A comparative Study. Part 1: The Flat Case’. Studia Logica 58 (1997) pp. 17–45
B. Brown: ‘How to be Realistic About Inconsistency in Science’. In: Studies in History and Philosophy of Science 21 (1990) pp. 281–294
K. De Clercq: ‘Two new Strategies for Inconsistency-adaptive Logics’. Logic and Logical Philosophy, in print
G. Hughes, M. Cresswell: An Introduction to Modal Logic (Methuen, London, New York 1972, first published 1968 )
H.E. Kyburg: ‘Conjunctivitis’. In: Induction, Acceptance, and Rational Belief. ed. by M. Swain ( Reidel, Dordrecht 1970 ) pp. 55–82
J. Meheus: Adaptive Logic in Scientific Discovery: The Case of Clausius. Logique et Analyse 143–144 (1993) pp. 359–389 appeared (1996)
J. Meheus: ‘An Extremely Rich Paraconsistent Logic and the Adaptive Logic Based on it’. In: Frontiers of Paraconsistent Logic ed. by D. Batens, C. Mortensen, G. Priest, and J.P. Van Bendegem (Research Studies Press, Baldock 2000 ) pp. 189–201
J. Meheus: ‘Analogical reasoning in creative problem solving processes: Logico-philosophical perspectives’. In: Metaphor and Analogy in the Sciences ed. by F. Hallyn ( Kluwer, Dordrecht 2000 ) pp. 17–34.
J. Meheus: ‘Inconsistencies in scientific discovery. Clausius’s remarkable derivation of Carnot’s theorem’. In: History of Modern Physics ed. by H. Krach, G. Vanpaend, P. Marage ( Tournhout, Brenols 2002 ) pp. 143–154
N. Nersessian: ‘Inconsistency, generic modeling, and conceptual change in science’. In: Inconsistency in Science. ed. by J. Meheus ( Kluwer, Dordrecht, 2002 ) pp. 197–212
J. Norton: The Logical Inconsistency of the Old Quantum Theory of Black Body Radiation Philosophy of Science 54 (1987) pp. 327–350
J. Norton: ‘A Paradox in Newtonian Gravitation Theory’. PSA 2 (1992) pp. 421–420
G. Priest: ‘Minimally Inconsistent LP’. Studia Logica 50 (1991) pp. 321–331
N. Rescher, R. Manor: ‘On Inference From Inconsistent Premises’. Theory and Decision 1 (1970) pp. 179–217
J. Smith: ‘Inconsistency and Scientific Reasoning’. Studies in History and Philosophy of Science 19 (1988) pp. 429–445
G. Vanackere: ‘Ambiguity-adaptive Logic’. Logique et Analyse 159 (1997); appeared pp. 261–280 (1999)
G. Vanackere: HL2. ‘An inconsistency-adaptive and inconsistency-resolving logic for general statements that might have exceptions’. Journal of Applied Non-Classical Logics 10 (2000) pp. 317–338
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Batens, D. (2004). Extending the Realm of Logic: The Adaptive-Logic Programme. In: Weingartner, P. (eds) Alternative Logics. Do Sciences Need Them?. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-05679-0_10
Download citation
DOI: https://doi.org/10.1007/978-3-662-05679-0_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-07391-5
Online ISBN: 978-3-662-05679-0
eBook Packages: Springer Book Archive