Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Researcher

Diderik Batens

161 Results

2021

A logic’s proper semantics

A1 Journal Article in LOGIQUE ET ANALYSE

2020

Adaptive Fregean set theory

A1 Journal Article in STUDIA LOGICA

Devising the set of abnormalities for a given defeasible rule

A2 Journal Article in LOGIČESKIE ISSLEDOVANIÂ = LOGICAL INVESTIGATIONS

2019

Looting liars masking models

Bookchapter in Graham Priest on dialetheism and paraconsistency

2018

Rafal UrbaniakDiderik Batens

Bookchapter in Handbook of formal philosophy

Kennissystemen selectief wieden

Bookchapter in Laat ons niet ernstig blijven : huldeboek voor Jean Paul Van Bendegem

2017

Abduction logics illustrating pitfalls of defeasible methods

Bookchapter in Applications of formal philosophy : the road less travelled

Paradoxen in de vrijmetselarij en de relatie met waarden

Bookchapter in Kappen aan de ruwe steen

Pluralism In scientific problem solving : why inconsistency is no big deal

A2 Journal Article in HUMANA.MENTE

2016

Nice embedding in classical logic

Peter VerdéeDiderik Batens

A1 Journal Article in STUDIA LOGICA

Spoiled for choice?

A1 Journal Article in JOURNAL OF LOGIC AND COMPUTATION

2015

Some adaptive contributions to logics of formal inconsistency

Tutorial on inconsistency-adaptive logics

Two, many, and differently many

Bookchapter in The road to universal logic : Festschrift for the 50th Birthday of Jean-Yves Béziau

2014

Adaptive logics as a necessary tool for relative rationality : including a section on logical pluralism

Bookchapter in Logic, reasoning, and rationality

Propositional logic extended with a pedagogically useful relevant implication

A2 Journal Article in LOGIC AND LOGICAL PHILOSOPHY

The consistency of peano arithmetic: a defeasible perspective

Bookchapter in Modestly radical or radically modest : Festschrift for Jean Paul van Bendegem on the occasion of His 60th birthday

The role of logic in philosophy of science

Bookchapter in Routledge companion to philosophy of science

2013

New arguments for adaptive logics as unifying frame for the defeasible handling of inconsistency

Bookchapter in Paraconsistency : logic and applications

2012

Bedoelingen en principes: een onverwachte relatie

Bookchapter in Door denken en doen : essays bij het werk van Ronald Commers

It might have been classical logic

A1 Journal Article in LOGIQUE ET ANALYSE

2011

Logics for qualitative inductive generalization

A1 Journal Article in STUDIA LOGICA

2010

A2 Journal Article in ALGEMEEN NEDERLANDS TIJDSCHRIFT VOOR DE WIJSBEGEERTE

2009

Adaptive Cn logics

Bookchapter in The many sides of logic

On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit

Diderik BatensChristian StrasserPeter Verdée

A1 Journal Article in Logique et Analyse

Towards a Dialogic Interpretation of Dynamic Proofs

Bookchapter in Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman

Yes Fellows, Most Human Reasoning is Complex

Diderik BatensKristof De ClercqPeter VerdéeJoke Meheus

A1 Journal Article in Synthese

2008

Graham priest and Diderik Batens interview each other

Diderik BatensPriest Graham

A2 Journal Article in THE REASONER (CANTERBURY)

Logische bewijsdynamieken voor de formele explicatie van wetenschappelijke probleemoplossingsprocessen

Peter VerdéeDiderik Batens

On possibilities and thought experiments.

Bookchapter in Rescher Studies : a collection of essays on the philosophical work of Nicholas Rescher

The role of logic in philosophy of science

Bookchapter in The Routledge companion to philosophy of science

2007

A universal logic approach to adaptive logics

A2 Journal Article in LOGICA UNIVERSALIS

Content guidance in formal problem solving processes

Recent results by the inconsistency-adaptive labourers.

Diderik BatensJoke Meheus

Bookchapter in Handbook of Paraconsistency

2006

A diagrammatic proof search procedure as part of a formal approach to problem solving.

Bookchapter in Model based reasoning in science and engineering : cognitive science, epistemology, logic

A formal logic for abductive reasoning

Joke MeheusDiderik Batens

A1 Journal Article in LOGIC JOURNAL OF THE IGPL

Narrowing down suspicion in inconsistent premise sets

Bookchapter in Essays in logic and ontology

On a logic of induction

A2 Journal Article in LOGIC AND PHILOSOPHY OF SCIENCE

2005

A procedural criterion for final derivability in inconsistency-adaptive logics

A2 Journal Article in Journal of Applied Logic

On a logic of induction.

Bookchapter in Confirmation, empirical progress, and truth approximation : essays in debate with Theo Kuipers

The theory of the process of explanation generalized to include the inconsistent case

A1 Journal Article in SYNTHESE

2004

A Rich Paraconsistent Extension of Full Positive Logic

Diderik BatensKristof De Clercq

A2 Journal Article in LOGIQUE ET ANALYSE

Extending the realm of logic: the adaptive-logic programme

The Basic Inductive Schema, Inductive Truisms, and the Research-Guiding Capacities of the Logic of Inductive Generalization

A2 Journal Article in LOGIQUE ET ANALYSE

The need for adaptive logics in epistemology.

Bookchapter in Logic, epistemology, and the unity of science

2003

A Strengthening of the Rescher--Manor Consequence Relations

A2 Journal Article in LOGIQUE ET ANALYSE

A formal approach to problem solving.

Bookchapter in Computer modeling of scientific reasoning

A paraconsistent proof procedure based on classical logic

Adaptieve Logica's. Een precieze benadering van vertrouwde maar door logici verwaarloosde redeneervormen

A2 Journal Article in ALGEMEEN NEDERLANDS TIJDSCHRIFT VOOR WIJSBEGEERTE

Criteria Causing Inconsistencies. General Gluts as Opposed to Negation Gluts

A2 Journal Article in LOGIC AND LOGICAL PHILOSOPHY

Pushing the Search Paths in the Proofs. A Study in Proof Heuristics

Diderik BatensDagmar Provijn

A2 Journal Article in LOGIQUE ET ANALYSE

Some Adaptive Logics for Diagnosis

Diderik BatensJoke MeheusDagmar ProvijnLiza Verhoeven

A2 Journal Article in LOGIC AND LOGICAL PHILOSOPHY

2002

Complementariteit in kennistheoretisch perspectief

Brenda [Peggy] CasteleynDiderik Batens

Direct dynamic proofs for the Rescher-Manor consequence relations : the flat case

Diderik BatensTimothy Vermeir

A2 Journal Article in JOURNAL OF APPLIED NON-CLASSICAL LOGICS

First Flemish-Polish Logico-Philosophical Workshop 1999.

Jean Van BendegemDiderik BatensJ PERZANOWSKI

A2 Journal Article in LOGIQUE ET ANALYSE

In defence of a programme for handling inconsistencies.

Bookchapter in Inconsistency in science

On a Partial Decision Method for Dynamic Proofs

On some remarkable relations between paraconsistent logics, modal logics, and ambiguity logics

On the epistemological justification of pluralism and tolerance

A2 Journal Article in PHILOSOPHICA (GENT)

Some Computational Aspects of Inconsistency-Adaptive Logics

A4 Journal Article in www.cle.unicamp.br/e-prints

2001

A General Characterization of Adaptive Logics

A2 Journal Article in LOGIQUE ET ANALYSE

A Universally Abnormality-Adaptive Logic

A dynamic characterization of the pure logic of relevant implication

A1 Journal Article in JOURNAL OF PHILOSOPHICAL LOGIC

A selection of papers presented at the First World Congress on Paraconsistency 1997

Jean Van BendegemDiderik BatensG PRIESTC MORTENSEN

A2 Journal Article in LOGIQUE ET ANALYSE

On Classical Adaptive Logics of Induction

Diderik BatensLieven Haesaert

A2 Journal Article in LOGIQUE ET ANALYSE

On the logic and pragmatics of the process of explanation.

Diderik BatensJoke Meheus

Over de zin van het leven en de zingevende functie van wereldbeelden

A4 Journal Article in MORES (ANTWERPEN)

Shortcuts and dynamic marking in the tableau method for adaptive logics

Diderik BatensJoke Meheus

A2 Journal Article in STUDIA LOGICA

Towards the Unification of Inconsistency Handling Mechanisms.

A2 Journal Article in LOGIC AND LOGICAL PHILOSOPHY

2000

A survey of inconsistency-adaptive logics.

Bookchapter in Frontiers of paraconsistent logic

A tableau method for inconsistency-adaptive logics

Diderik BatensJoke Meheus

A1 Journal Article in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE

Frontiers of paraconsistent logic.

Minimally abnormal models in some adaptive logics

A1 Journal Article in SYNTHESE

Rich inconsistency-adaptive logics: the clash between heuristic efficiency and realistic reconstruction.

Bookchapter in Logique en perspective : mélanges offerts à Paul Gochet

The adaptive logic of compatibility

Diderik BatensJoke Meheus

A2 Journal Article in STUDIA LOGICA

1999

Contextual problem solving and adaptive logics in creative processes

A2 Journal Article in PHILOSOPHICA (GENT)

Embedding and Interpolation for Some Paralogics. The Propositional Case

Diderik BatensKristof De ClercqN KURTONINA

A2 Journal Article in Reports on Mathematical Logic

Inconsistency-adaptive logics

Bookchapter in Logic at work : essays dedicated to the memory of Helena Rasiowa

Leo Apostel's world-views program in the perspective of his causal ontology. A critical appraisal.

Diderik BatensW CHRISTIAENS

Bookchapter in World Views and the Problem of Synthesis

Linguistic and Ontological Measures for Comparing the Inconsistent Parts of Models.

A2 Journal Article in LOGIQUE ET ANALYSE

Paraconsistency and its relation to worldviews.

A2 Journal Article in FOUNDATIONS OF SCIENCE

Radicaal atheïsme.

Bookchapter in Wat met God ?

Zero logic adding up to classical logic

A2 Journal Article in LOGICAL STUDIES

1998

A dynamic semantics for inconsistency-adaptive logics.

Editorial Preface.

Diderik BatensC MORTENSENG PRIESTJean Van Bendegem

A2 Journal Article in LOGIQUE ET ANALYSE

1997

Blocks: the clue to dynamic aspects of logic

A2 Journal Article in LOGIQUE ET ANALYSE

Grondslagen van het vrijzinnig humanisme : een kennistheoretisch pleidooi

Bookchapter in Grondslagen vrijzinnig humanisme

Inconsistencies and beyond : a logical-philosophical discussion

A1 Journal Article in REVUE INTERNATIONALE DE PHILOSOPHIE

Over het (vermeende) conflict tussen godsgeloof en de wetenschappen

Diderik BatensJoke Meheus

A4 Journal Article in MORES (ANTWERPEN)

1996

Antropinè gnosè : mia ekklèsè gia mia chrèsimè ortologikotèta = Ανθρώπινη γνώση : συνηγoϱια υπεϱ µιας χϱ ησιµης oϱθoλoγικoτητας

Een ontroerend intens streven naar kennis, naar beleving en naar de eenheid van beide

Functioning and teachings of adaptive logies

In-world realism vs. reflective realism

Diderik BatensJoke Meheus

Bookchapter in Realism in the sciences

Steering problem solving between Cliff Incoherence and Cliff Solitude

Diderik BatensJoke Meheus

A2 Journal Article in PHILOSOPHICA

1995

Bij de dood van Leo Apostel

In memoriam Leo Apostel

1994

Adatieve logica's: een aanzet om elkaar te begrijpen

Determinisme en indeterminisme

Bookchapter in Verwijdering of ontmoeting? Antwerpen, Faculteit Wetenschappen van de Universiteit Antwerpen/Kapellen, Pelckmans, pp.183-202

Inconsistency-adaptive logies and the foundation of non-monotonic logic

A2 Journal Article in LOGIQUE ET ANALYSE

THE 2-ENVELOPE PARADOX - THE INFINITE CASE

P CASTELLDiderik Batens

A1 Journal Article in ANALYSIS

1993

Aspecten van ontdekking en creativiteit

Diderik BatensJoke MeheusErik Weber

Onze huidige kijk op ontdekking en creativiteit vereist een 'contextuele' kennis theoretische aanpak

1992

Do we need a hierarchical model of science?

Bookchapter in Inference, explanation, and other frustrations

Paraconsistente en relevante logica's

A4 Journal Article in WIJSGERIG PERSPECTIEF OP MAATSCHAPPIJ EN WETENSCHAP

1990

Against global paraconsistency

A1 Journal Article in STUDIES IN SOVIET THOUGHT

Leo Apostel on dialectical logic

Bookchapter in Descriptive and critical essays

1989

Dynamic dialectical logics

Bookchapter in Paraconsistent logic : essays on the inconsistent

Een pleidooi voor lokale consistentie

Kurt Gödel en de wetenschappelijke zekerheid

Bookchapter in Nieuwe visies in de wetenschap

Natural heuristics for proof construction: part I: classical prepositional logic

A2 Journal Article in LOGIQUE ET ANALYSE

Over de kloof tussen feit en norm, bekeken vanuit de hedendaagse wetenschapsfilosofie

Bookchapter in Dwarsdenken : omtrent Jaap Kruithof

1988

Theory and experiment : recent insights and new perspectives on their relation

1987

A contextual approach to meaning and knowledge

Bookchapter in Science and society

Action science and the reunification of the social sciences and epistemology

A2 Journal Article in PHILOSOPHICA

Relevant implication and the weak deduction theorem

A2 Journal Article in STUDIA LOGICA

Structure of our knowledge system

Two semantically motivated enrichments of relevant logics

1986

Creativiteit in wetenschap en muziek

Bookchapter in Liber amicorum J. L. Broeckx

Dialectical dynamics within formal logics

A2 Journal Article in LOGIQUE ET ANALYSE

Rich relevant logics based on a simple type of semantics

A2 Journal Article in LOGIQUE ET ANALYSE

Some remarks on the structural similarity between music and logic

A1 Journal Article in COMMUNICATION & COGNITION

Some remarks on the structural similarity between music and logic

Bookchapter in Reason, emotion and music : towards a common structure for arts, sciences and philosophies, based on a conceptual framework for the description of music

Static and dynamic paraconsistent logics and their use in expert systems

A2 Journal Article in CC-AI

Wetenschap en vrijzinnige waarden

Bookchapter in De specificiteit van vrijzinnig humanistische waarden

1985

Dynamic dialectical logics as a tool to deal with and partly eliminate unexpected inconsistencies

Bookchapter in Logic of discovery and logic of discourse

Meaning, acceptance and dialectics

Bookchapter in Change and progress in modern science

Relevant derivability and classical derivability in Fitch-style and axiomatic formulations of relevant logics

Diderik BatensJean Van Bendegem

A2 Journal Article in LOGIQUE ET ANALYSE

1983

Incommensurability is not a threat to the rationality of science or to the anti-dogmatic tradition

A2 Journal Article in PHILOSOPHICA

Onderzoek naar de mogelijkheid van een empirische, eindige wiskunde en naar de implikaties ervan voor de relatie wiskunde-werkelijkheid, met bijzondere aandacht voor de getalnotie, de paradoksen van Zeno en de stelling van Gödel

Jean-Paul Van BendegemDiderik Batens

1982

Russell's set versus the universal set in paraconsistent set theory

Ayda I. ArrudaDiderik Batens

A2 Journal Article in LOGIQUE ET ANALYSE

1981

Progress, rationality and the philosophy of science

A4 Journal Article in TIJDSCHRIFT VOOR DE STUDIE VAN DE VERLICHTING EN VAN HET VRIJE DENKEN

1980

A completeness-proof method for extensions of the implicational fragment of the propositional calculus

A2 Journal Article in NOTRE DAME JOURNAL OF FORMAL LOGIC

Paraconsistent extensional propositional logics

A2 Journal Article in LOGIQUE ET ANALYSE

1979

An empirical investigation on scientific observation

Leo ApostelDiderik BatensErwin BreusegemJan De ConinckDanny De WaeleHendrik PinxtenJean SwingsJean Van BendegemFernand Vandamme

Bookchapter in Theory of knowledge and science policy

1978

Rationality and ethical rationality

A2 Journal Article in PHILOSOPHICA

1977

Bijna – alle – veel – weinig

Bookchapter in Contactgroepen humane en politieke wetenschappen 1975-1976 = Groupes de contact sciences morales et politiques 1975-1976

Outline of a theory of meaning : semantical and contextual

A2 Journal Article in PHILOSOPHICA

Verisimilitude and meaning relations

1976

Some contributions to the logic of action

A4 Journal Article in COMMUNICATION & COGNITION

Some remarks on the relations between science and values

A2 Journal Article in PHILOSOPHICA

1975

Deduction and contextual information

A1 Journal Article in COMMUNICATION & COGNITION

Studies in the logic of induction and in the logic of explanation : containing a new theory of meaning relations

1974

Rationality and justification

A2 Journal Article in PHILOSOPHICA

1973

De rol van ontische factoren in de kennisverzameling

A4 Journal Article in COMMUNICATION & COGNITION

Nicholas Rescher's coherence theory of truth

A2 Journal Article in LOGIQUE ET ANALYSE

1971

Some objections to Keith Lehrer's rule IR

A1 Journal Article in THE BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE

The paradoxes of confirmation

A2 Journal Article in REVUE INTERNATIONALE DE PHILOSOPHIE

1969

Inductieve logica : een inleiding tot enkele basisproblemen

A4 Journal Article in COMMUNICATION AND COGNITION

Over de stand van zaken in de Carnapiaanse inductieve logica

A4 Journal Article in COMMUNICATION AND COGNITION

1968

Some proposals for the solution of the Carnap-Popper discussion on `inductive logic'

A2 Journal Article in STUDIA PHILOSOPHICA GANDENSIA

Av6pa5Ttrr| rvraar|. Mia IKKAr|crr| yia uia XP01^ OptoXyico xyi- TT|Ta, Crete University Press, 1996, 420 p., 14 figg.

De inconsistentie-adaptieve logica DDL

Bookchapter in W. van Dooren & T. Hoff (eds.) Aktueel Filosoferen. Eburon, Delft, 1993, pp. 39-45.

De zin van Leo Apostels atheïstische religiositeit. Een kennistheoretisch commentaar. Woord Vooraf tot Leo Apostel: Atheïstische Spiritualiteit. Brussel, VUBPress, 1998, 9-21.

Dynamic semantics applied to inconsistency-adaptive logics. Logical Investigations, 5, Moscow, 'NUAKA', 1998, 74-85.

Leo Apostel. Tien filosofen getuigen. Antwerpen/Baarn, Hadewijch, 1996, 160 p.

Logicaboek. Computerprogramma's. Leuven/Apeldoorn, 1995 (tweede uitge breide uitgave).

Logicaboek. Praktijk en Theorie van het Redeneren, Garant, Leuven/Apeldoorn, 1992, 174 p.

Menselijke kennis. Pleidooi voor een bruikbare rationaliteit. Garant, Leuven-Apeldoorn, 1992, 271 p.

The two envelope paradox: the infinite case. Analysis 54, 1994, pp.46-49.

Diderik BatensP CASTEL