Diderik Batens

Diderik Batens

Diderik Batens

Diderik Batens es un lógico y epistemologo belga, de la Universidad de Gante, conocido sobre todo por sus trabajos sobre lógicas adaptativas y paraconsistentes, un poco en la línea de los trabajos de Newton da Costa.

Lógicas adaptativas

A Batens se debe la mayor parte del desarrollo de las lógicas adaptativas (el cual empezó en la década de 1980), que se caracterizan por no mantener el principio de monotonía, que dice que si de un conjunto de fórmulas A se deduce la fórmula B, entonces de A sumado a cualquier otro conjunto de fórmulas, seguirá deduciéndose B. Como todas las lógicas paraconsistentes, sostiene que de A y -A no puedo deducir cualquier cosa. Para la lógica adaptativa, de las consecuencias que se siguen de un conjunto de premisas, algunas dependen de la suposición de que ciertas fórmulas presentes en la derivación se comportan de manera consistente (es decir, que no sucede que ella y su negación son verdaderas). Estas consecuencias pueden ser canceladas si otras premisas determinan que las fórmulas que necesitaban ser consistentes no lo eran; esto sucede en un método dinámico de prueba. Por ejemplo:

  1. A o B [Premisa]
  2. -A [Premisa]
  3. A y C [Premisa]
  4. B [SD entre 1 y 2, bajo la suposición de que A se comporta de manera consistente]
  5. A [Descomposición de 3]

Entonces, dado que A no se comporta de manera consistente (ya que las premisas prueban A y -A), no podrá deducirse B, y el paso 4 será cancelado. Aunque parece extraño, con este proceder llegaremos a un conjunto estable (aunque obviamente inconsistente) de consecuencias de las premisas. Según Batens, las lógicas adaptativas tienen su mayor utilidad en teorías que tienen algunas inconsistencias pero no pretenden ser triviales, como muchas teorías científicas o los intentos de unificación de teorías incompatibles.

Enlaces externos

Obtenido de "Diderik Batens"

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Diderik Batens — (born 1944) is a Belgian logician and epistemologist at the University of Ghent, known chiefly for his work on adaptive and paraconsistent logics. His epistemological views may be broadly characterized as fallibilist. External links Official page …   Wikipedia

  • Diderik — may refer to: Diderik Bøgvad (1792–1857), a Norwegian politician Diderik Batens (born 1944), a Belgian logician and epistemologist at the University of Ghent Diderik Hegermann (1763–1835), the Norwegian councillor of state and Minister of the… …   Wikipedia

  • Dialethismus — Unter Parakonsistenten Logiken und Parainkonsistenten Logiken versteht man Kalküle, in denen der logische Grundsatz ex contradictione sequitur quodlibet (lat. für „aus einem Widerspruch folgt Beliebiges“) nicht gilt, in denen es also nicht… …   Deutsch Wikipedia

  • Parainkonsistente Logik — Unter Parakonsistenten Logiken und Parainkonsistenten Logiken versteht man Kalküle, in denen der logische Grundsatz ex contradictione sequitur quodlibet (lat. für „aus einem Widerspruch folgt Beliebiges“) nicht gilt, in denen es also nicht… …   Deutsch Wikipedia

  • Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… …   Wikipedia

  • Parakonsistente Logik — Unter Parakonsistenten Logiken und Parainkonsistenten Logiken versteht man Kalküle, in denen der logische Grundsatz ex contradictione sequitur quodlibet (lat. für „aus einem Widerspruch folgt Beliebiges“) nicht gilt, in denen es also nicht… …   Deutsch Wikipedia

  • Lógica paraconsistente — Una lógica paraconsistente es un sistema lógico que intenta tratar las contradicciones en una forma discriminada. Alternativamente, la lógica paraconsistente es un campo de la lógica que se ocupa del estudio y desarrollo de sistemas lógicos… …   Wikipedia Español

  • Logical quality — In many philosophies of logic statements are categorized into different logical qualities based on how they go about saying what they say. Doctrines of logical quality are an attempt to answer the question: “How many qualitatively different ways… …   Wikipedia

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”