Bas van Fraassen

Van Fraassen acuñó el término « empirismo constructivo » en su libro de 1980 , La imagen científica , en el que defendía el agnosticismo sobre la realidad de las entidades inobservables. A ese libro se le atribuye ampliamente la rehabilitación del antirrealismo científico . ^{[ 16 ]} Según la Enciclopedia de Filosofía de Stanford :

El empirista constructivo sigue a los positivistas lógicos al rechazar los compromisos metafísicos en la ciencia, pero discrepa de ellos en cuanto a su respaldo al criterio verificacionista del significado, así como en cuanto a su apoyo a la sugerencia de que el discurso cargado de teoría puede y debe eliminarse de la ciencia. Antes de La imagen científica de van Fraassen , algunos filósofos consideraban muerto el antirrealismo científico , porque el positivismo lógico estaba muerto. Van Fraassen demostró que existían otras maneras de ser empirista con respecto a la ciencia, sin seguir los pasos de los positivistas lógicos. ^{[ 16 ]}

Paul M. Churchland , uno de los críticos de Van Fraassen, contrastó la idea de Van Fraassen de fenómenos inobservables con la idea de fenómenos simplemente no observados . ^{[ 17 ]}

En su libro de 1989, Leyes y simetría , Van Fraassen intentó sentar las bases para explicar los fenómenos físicos sin asumir que tales fenómenos son causados ​​por reglas o leyes que puedan decirse que causan o rigen su comportamiento. Centrándose en el problema de la subdeterminación , argumentó a favor de la posibilidad de que las teorías pudieran tener equivalencia empírica pero diferir en sus compromisos ontológicos . Rechaza la noción de que el objetivo de la ciencia sea producir una descripción del mundo físico que sea literalmente verdadera y, en cambio, sostiene que su objetivo es producir teorías que sean empíricamente adecuadas. ^{[ 18 ]} Van Fraassen también ha estudiado la filosofía de la mecánica cuántica , la lógica filosófica y la epistemología bayesiana .

Van Fraassen ha sido editor del Journal of Philosophical Logic y coeditor del Journal of Symbolic Logic . ^{[ 8 ]}

En lógica, Van Frassen es más conocido por su trabajo sobre lógica libre y su introducción a la semántica de supervaluación . En su artículo "Términos singulares, brechas de valor de verdad y lógica libre" ^{[ 19 ]} Van Frassen comienza con una introducción muy breve al problema de los nombres no referenciales .

En lugar de una formalización única, simplemente ajusta los axiomas de una lógica de predicados estándar como la que se encuentra en Métodos de lógica de Willard Van Orman Quine . En lugar de un axioma como ${\displaystyle \forall x\,Px\Rightarrow \exists x\,Px}$ él usa ${\displaystyle (\forall x\,Px\land \exists x\,(x=a))\Rightarrow \exists x\,Px}$Esto será cierto naturalmente si la afirmación existencial del antecedente es falsa. Si un nombre no hace referencia a nada, entonces a la oración atómica que lo contiene se le puede asignar un valor de verdad arbitrariamente, siempre que no sea una proposición de identidad. Se demuestra que la lógica libre es completa bajo esta interpretación.

Sin embargo, señala que no ve ninguna razón válida para calificar de verdaderas o falsas las afirmaciones que las emplean. Algunos han intentado resolver este problema mediante lógicas multivaluadas ; Van Fraassen propone, en su lugar, el uso de supervaluaciones . Las cuestiones de completitud cambian cuando se admiten las supervaluaciones, ya que permiten argumentos válidos que no corresponden a condicionales lógicamente verdaderos.

Su artículo "Hechos y consecuencias tautológicas" (J Phil 1969) se considera actualmente el inicio de la semántica de los fundamentos de la verdad.

En "Creencia y voluntad", Van Fraassen propuso lo que ahora se conoce como el principio de reflexión de Van Fraassen : "para satisfacer el principio, la probabilidad subjetiva presente del agente para la proposición A , bajo el supuesto de que su probabilidad subjetiva para esta proposición será igual a r en algún momento posterior, debe ser igual a este mismo número r ". ^{[ 20 ]} Dentro de la epistemología bayesiana, este principio se reconoce como una norma sincrónica importante ; Van Fraassen señala que se puede hacer un argumento del Libro Holandés a favor del principio. ^{[ 21 ] [ 22 ]}