Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 150 results:

Author Title Type [ Year

]

Filters: Author is Batens, Diderik [Clear All Filters]

2008

Batens, Diderik. 2008. “On Possibilities And Thought Experiments” Robert Almeder. Rescher Studies. A Collection of Essays on the Philosophical Work of Nicholas Rescher: 29–57.

Batens, Diderik. 2008. “The Role Of Logic In Philosophy Of Science” Stathis Psillos and Curd, Martin. The Routledge Companion to Philosophy of Science: 47–57.

2007

Batens, Diderik. 2007. “Content Guidance In Formal Problem Solving Processes” Olga Pombo and Gerner, Alexander. Abduction and the Process of Scientific Discovery: 121–156.

Batens, Diderik. 2007. “A Universal Logic Approach To Adaptive Logics”. Logica Universalis 1: 221-242.

2006

Batens, Diderik, Joke Meheus, and Dagmar Provijn. 2006. An Adaptive Characterization Of Signed Systems For Paraconsistent Reasoning.

Batens, Diderik. 2006. “A Diagrammatic Proof Search Procedure As Part Of A Formal Approach To Problem Solving” Lorenzo Magnani. Model Based Reasoning in Science and Engineering. Cognitive Science, Epistemology, Logic: 265–284.

Meheus, Joke, and Diderik Batens. 2006. “A Formal Logic For Abductive Reasoning”. Logic Journal of the IGPL 14: 221–236.

Batens, Diderik. 2006. “On A Logic Of Induction”. Logic and Philosophy of Science IV: 3–32.

Batens, Diderik. 2006. “Narrowing Down Suspicion In Inconsistent Premise Sets” Jacek Malinowski and Pietruszczak, Andrzej. Essays in Logic and Ontology. 91: 185–209.

2005

Batens, Diderik. 2005. “A Procedural Criterion For Final Derivability In Inconsistency-Adaptive Logics”. Journal of Applied Logic 3: 221–250.

Batens, Diderik. 2005. “The Theory Of The Process Of Explanation Generalized To Include The Inconsistent Case”. Synthese 143: 63–88.

2004

Batens, Diderik. 2004. “The Basic Inductive Schema, Inductive Truisms, And The Research-Guiding Capacities Of The Logic Of Inductive Generalization”. Logique et Analyse 47: 53–84.

Batens, Diderik. 2004. “The Need For Adaptive Logics In Epistemology” Shahid Rahman, Symons, John, Gabbay, Dov M, and Van Bendegem, Jean Paul. Logic, Epistemology, and the Unity of Science: 459–485.

Batens, Diderik, and Kristof De Clercq. 2004. “A Rich Paraconsistent Extension Of Full Positive Logic”. Logique et Analyse 47: 227–257.

2003

Batens, Diderik. 2003. “Adaptieve Logica's. Een Precieze Benadering Van Vertrouwde Maar Door Logici Verwaarloosde Redeneervormen”. Algemeen Nederlands Tijdschrift voor Wijsbegeerte 95: 174–189.

Batens, Diderik. 2003. “Criteria Causing Inconsistencies. General Gluts As Opposed To Negation Gluts”. Logic and Logical Philosophy 11/12: 5–37.

Batens, Diderik. 2003. “A Formal Approach To Problem Solving” Claudio Delrieux and Legris, Javier. Computer Modeling of Scientific Reasoning: 15–26.

Batens, Diderik. 2003. A Paraconsistent Proof Procedure Based On Classical Logic.

Batens, Diderik, Joke Meheus, Dagmar Provijn, and Liza Verhoeven. 2003. “Some Adaptive Logics For Diagnosis”. Logic and Logical Philosophy 11/12: 39–65.

Batens, Diderik. 2003. “A Strengthening Of The Rescher–Manor Consequence Relations”. Logique et Analyse 46: 289–313.

2002

Batens, Diderik, and Timothy Vermeir. 2002. “Direct Dynamic Proofs For The Rescher–Manor Consequence Relations: The Flat Case”. Journal of Applied Non-Classical Logics 12: 63–84.

Batens, Diderik. 2002. “In Defence Of A Programme For Handling Inconsistencies” Joke Meheus. Inconsistency in Science: 129–150.

Batens, Diderik. 2002. “On A Partial Decision Method For Dynamic Proofs” Hendrik Dekker, Villadsen, Jorgen, and Waragai, Toshiharu. PCL 2002. Paraconsistent Computational Logic 95: 91–108. http://arxiv.org/abs/cs.LO/0207090.

Batens, Diderik. 2002. “Some Computational Aspects Of Inconsistency-Adaptive Logics”. CLE e-Prints 2: 15 pp.

Batens, Diderik. 2002. “On Some Remarkable Relations Between Paraconsistent Logics, Modal Logics, And Ambiguity Logics” Walter A Carnielli, Coniglio, Marcelo E, and D'Ottaviano, Itala MLoffred. Paraconsistency. The Logical Way to the Inconsistent: 275–293.

Pages