Verificación

Verificación (del latín  verum  "verdadero" + facere  "hacer") en diversas áreas de la actividad humana puede significar:

En el sentido de demostrabilidad, verificabilidad de explicaciones ( modelos ) de objetos / fenómenos , dependiendo del grado de confirmación por la realidad ( empíricamente , hechos ), forma los conceptos :

Verificación formal en informática

La verificación formal es una prueba que usa métodos formales de la corrección o incorrección de un programa (sistema) de acuerdo con la descripción formal de las propiedades del programa (sistema).

Métodos formales de verificación:

Principio de verificación del Círculo de Viena

De hecho, la idea de verificabilidad no es la idea de partida de los representantes del Círculo de Viena [4] y fue formulada incluso antes -aunque no del todo claramente- por Wittgenstein :

Una proposición sólo puede entenderse si sabemos bajo qué condiciones puede ser verdadera. Esto quiere decir que lo que se requiere no es el conocimiento de si una oración es verdadera o falsa, sino el conocimiento de las circunstancias que hacen posible establecer su verdad.LFT , 4.024

El principio de verificación fue presentado por el Círculo de Viena [4] , que incluía al filósofo positivista Moritz Schlick en la década de 1920. Los miembros del círculo creían que en la ciencia debían permanecer dos clases de propuestas científicas: las verdades analíticas que no tienen contenido de sujeto, y las verdades fácticas, hechos empíricos de ciencias específicas, cuyo significado se puede verificar de una manera especial: el principio de verificación . . El procedimiento de verificación que “purifica” la ciencia de la metafísica con la ayuda de sentencias protocolarias [4] de carácter empírico subyace a todo el programa del positivismo lógico .

La verificación es un procedimiento para comprobar la verdad del conocimiento. Sugiere que las oraciones complejas se dividan en protocolarias. La verdad de las sentencias protocolares es absolutamente indudable, pues corresponde a la realidad observada. La forma de la oración del protocolo se ve así: "NN observó tal o cual objeto en tal o cual momento y en tal y tal lugar". La reducción de oraciones complejas a protocolarias se denomina reducción. Así, toda la actividad de un científico se reduce a comprobar las sentencias del protocolo y su generalización. Como resultado del procedimiento de verificación, todas las preguntas metafísicas cayeron en la categoría de sin sentido y fueron descartadas. La razón de esto radica en el hecho de que las cuestiones filosóficas no pueden reducirse a través de una cadena lógica de razonamiento a declaraciones empíricas que puedan confirmarlas o refutarlas.

Schlick también señaló que la base de nuestro conocimiento empírico son los llamados enunciados , como él denominaba oraciones sobre la "percepción presente". Tales oraciones, como creía el filósofo, también son únicamente decidibles definitivamente, como lo son las oraciones de naturaleza analítica. Sobre esta base, se planteó el requisito de verificación completa, que podría formularse de la siguiente manera:

Una oración tiene significado si y solo si no es una oración analítica o una contradicción, y si se sigue lógicamente de una clase finita consistente de oraciones , y los elementos de esta clase de oraciones son oraciones de observación.

Así, la verificación era un criterio de verdad, pero al mismo tiempo una forma de revelar el sentido, y el principio de distinción entre el conocimiento significativo empírico y el metafísico, sin sentido.

Sin embargo, pronto se hizo evidente que tal verificacionismo directo es imposible en aquellos casos en los que estamos tratando con eventos pasados, con juicios generales, etc. Entonces este criterio se debilitó y apareció el criterio de verificación fundamental, o verificabilidad: las condiciones para el comprobación práctica de la existencia o no de otro hecho. Un ejemplo típico en aquellos años fue el argumento sobre la cara oculta de la luna , que en principio podrá confirmarse cuando se construya un avión que volará alrededor de la luna. El mismo concepto de sentencias protocolares también era vulnerable. K. Popper actuó como un crítico externo , quien creía que el principio de falsificación (refutación) debía introducirse como criterio de carácter científico.

Véase también

Notas

  1. ↑ ISO/IEC/IEEE 24765:2017 Ingeniería de software y sistemas - Vocabulario
  2. ↑ Instituto de Gestión de Proyectos. Una guía para el cuerpo de conocimiento de la dirección de proyectos ( guía PMBOK ). — Sexta edición. —Newtown Square, Pensilvania. - 1 recurso en línea p. — ISBN 9781628253900
  3. ↑ [verificación slovar.cc/enc/bolshoy/2074859.html]. Gran diccionario enciclopédico.
  4. ↑ 1 2 3 Apel, K.-O. La transformación de la filosofía. M.: Logotipos, 2001. - P.35

Literatura