Please enable JavaScript.

Coggle requires JavaScript to display documents.

TEORÍA CIENTÍFICA image - Coggle Diagram

- - - - TEORÍAS FORMALIZADAS DE LA MATEMÁTICA Y LÓGICA
      - TEORIAS EMPÍRICAS FORMALIZADA (algunas)
        
        Psicología
      - TEORÍAS CIENTÍFICAS INTUITIVAS
        (se aproximan más o se aproximan
        menos a esta definición límite del concepto de teoría científica)
    - - Una teoría es cerrada hacia «arriba», cuando su número de hipótesis o leyes fundamentales (axiomas o postulados) es completa
        
        Algunas teorías matemáticas claramente parecen ser de este tipo
        
        POR EJEMPLO:
        Desde la época
        de Euclides, nadie ha podido agregar ningún axioma a la geometría clásica
      - Todas las teorías científicas son abiertas hacia «abajo» hacia sus CONSECUENCIAS
        
        Ejemplo
        
        Albert Einstein hizo con la Física Clásica: dedujo tantas consecuencias, que al final resultó creando una nueva teoría
- - - - Teorías Físicas
      - Teorías Químicas
      - Teorías biológicas
    - - Entidades macroscópicas
      - Entidades microscópicas
      - Cultura
      - Comportamiento social
  - - - Datos obtenidos a través de muestreos
      - Relación de variables aleatorias y no aleatorias
      - Son capaces de aproximar de manera correcta los datos obtenidos
  - - - ciencias naturales
        
        Siguen siendo deterministas.
        
        Hugh Grayson
      - mecánica clásica
        
        Laplace dio su famosa formulación como sigue, según versión de GRAYSON - SMITH:
        
        Una versión más modesta Arthur Pap quien sostiene que:
        
        En síntesis :
      - ¿Cuál es la estructura lógica de una teoría determinista?
        
        Es semejante a la de una teoría
        formal de axiomas.
        
        Sea S una teoría determinista entonces :
        
        la estructura lógica de S viene determinada por las siguientes propiedades de S:
        
        i) S consta de un conjunto finito claramente
        definido de leyes L(, L,,... L^.
        
        íi) No todas las leyes L , L,, ... Ln son lógicamente independientes entre sí, porque si no fuera asi, S no sería un sistema, sino un simple montón de proposiciones.
        
        iii) Dada cualquier ley L., o ésta es lógicamente independiente del resto de las leyes de S, o L. es deducible de dos o más leyes de S, en este caso L. sería una ley derivada, o sea, una ley de nivel inferior.
        
        iv) Dada cualquier proposición singular e de S, generalmente, e es una consecuencia lógica de una o más leyes y de una o más condiciones iniciales
        
        v) Consecuentemente, S o parte de S queda invalidada por cualquier excepción a sus leyes.
  - - - El logicismo
        
        Sostiene que existen entes ideales (realismo platónico) que corresponden a signos, grafías o figuras.
        
        Representantes: BERTRAND RUSSELL, ALFRED NORTH WHITEHEAD, KURT GÓDEL, W. V. O. QUINE, etc.
      - El formalismo
        
        Las entidades matemáticas, son las formas lingüísticas, símbolos, fórmulas y expresiones que los matemáticos pueden construir, observar, describir y transformar.
        
        Representado por DAVID HILBERT
      - El intuicionismo
        
        Sostiene que las entidades matemáticas, son construcciones intuitivas del intelecto (no están fuera en algún mundo ideal)
        
        Representado por L.E.J. BROUWER y AREND HEYTING