¿Qué significa "material" cuando uno habla de la "implicación material"? ¿Por qué llamarlo implicación "material"?
Respuestas
¿Demasiados anuncios?
user400188
Puntos
86
El término viene de las referencias a Alfred North Whitehead y Bertrand Russell del trabajo (Russell, B. (1963). Principia Mathematica Volumen 1. Cambridge, En la Prensa de la Universidad.) Se utilizan términos tales como molecular, la primaria y la atómica declaraciones de describir las estructuras de la lógica. El término que se refiere a las instrucciones que están en la parte inferior es atómica declaraciones. Ellos son lo que usted podría obtener si se mantiene la expansión de una instrucción hasta que se podrían ampliar más. Se han alcanzado las declaraciones que tienen un valor de verdadero o falso. Un ejemplo puede ayudar a:
Digamos que tenemos un par de declaraciones a y B. Si a y B son atómicas y decidimos cambiar el nombre de la declaración de la a Y de la B a la C, llamamos C molecular declaración. C es etiquetado como tal, ya que se compone de dos diferentes atómica declaraciones.
Si tenemos una diferente declaración, decir a|a , podemos cambiar el nombre de este a D. En este caso la D sería un elemental de instrucción debido a que solo 1 tipo de instrucción atómica se utiliza para hacer las paces.
Un material de instrucción se utiliza para describir cualquier cosa hecha de molecular o primaria declaraciones.
Porque atómica afirmaciones tienen valores de verdad; esto significa que un material de instrucción tiene un valor de verdad. Se pueden poner sobre las tablas de verdad. Un material implicación es un "if" que se hace de las declaraciones con valores de verdad. Esto contrasta con una implicación lógica de otras estructuras matemáticas. Estas estructuras no tienen valores de verdad de sus propios.
gsoundsgood
Puntos
11
Dictionary.com dice que el origen de la "implicación material" es ca. 1900.
Por lo tanto una buena respuesta a la pregunta ¿por qué se llama el material de implicación es muy probable que en algún lugar en las obras de
- Charles Sanders Peirce
- Bertrand Russell
- Ludwig Wittgenstein
(En particular debemos tomar un vistazo de cerca a principios de la terminología de Peirce, Russell, Wittgenstein.)
Un punto de partida para llegar a la respuesta podría ser arXiv:1108.2429 por Irving H. Anellis (2011)
La matriz para la negación es la de Russell, a un costado de lo que es la matriz de material implicación en la mano de Ludwig Wittgenstein. Está demostrado que un manuscrito inédito identificado como el compuesto por Peirce en 1893 incluye un tabla de verdad de la matriz que es equivalente a la matriz de implicación material descubierto por John Shosky. Un manuscrito inédito por Peirce identificada como haber sido compuesto en 1883-84 en relación con la composición de Peirce "En el Álgebra de la Lógica: Una Contribución a la Filosofía de la Notación" que apareció en la Revista Americana de Matemáticas en 1885 incluye un ejemplo de un indirectos de la tabla de verdad de la condicional.
