En la lógica clásica , las proposiciones se consideran típicamente de forma inequívoca como verdaderas o falsas. Por ejemplo, la proposición « uno es igual y distinto de sí mismo» se considera simplemente falsa, siendo contraria a la Ley de No Contradicción ; mientras que la proposición «uno es igual a uno» se considera simplemente verdadera, por la Ley de Identidad . Sin embargo, algunos matemáticos, informáticos y filósofos se han sentido atraídos por la idea de que una proposición podría ser más o menos verdadera, en lugar de totalmente verdadera o totalmente falsa. Consideremos esta pizza está caliente .
En matemáticas , esta idea se puede desarrollar en términos de lógica difusa . En informática , ha encontrado aplicación en inteligencia artificial . En filosofía , la idea ha resultado particularmente atractiva en el caso de la vaguedad . Los grados de verdad son un concepto importante en derecho.
El término es un concepto más antiguo que la probabilidad condicional . En lugar de determinar la probabilidad objetiva, solo se define una evaluación subjetiva. [ 1 ]
En los procesos judiciales , la «verdad sustantiva» se distingue de la «verdad jurídica formal», que se presenta en cuatro grados: testimonio de oídas , preponderancia de la prueba , probado más allá de toda duda razonable y verdad absoluta ( conocimiento reservado a Dios ). [ 2 ]
Véase también
- Idioma
- Tecnología
- Lógica
- Bivalencia
- lógica difusa
- Conjunto difuso
- Media verdad
- Lógica multivaluada
- Paradoja del montón
- Verdad
- Valor de verdad
- Vaguedad
- Libros
Bibliografía
Referencias
- ↑ Castell, Lutz; Ischebeck, Otfried, eds. (2003). Tiempo, Cuántica e Información . Medios de ciencia y negocios de Springer. doi : 10.1007/978-3-662-10557-3 . ISBN 978-3-540-44033-8.
- ↑ Summers, Robert S. (1999). "Verdad jurídica formal y verdad sustantiva en la determinación judicial de los hechos: su divergencia justificada en algunos casos particulares" . Publicaciones de la Facultad de Derecho de Cornell (1186).
- lógica difusa
- Verdad lógica
- Lógica básica