Principio de bivalencia

En logica , el principio semantico o ley de bivalencia establece que cada frase declarativa que expresa una proposicion (de una teoria que se inspecciona) tiene exactamente un valor de verdad , ya sea cierta o falsa . ^[
1
] ^[
2
] La forma logica de satisfacer este principio se llama logica de dos valores o logica bivalente . ^[
3
] ^[
2
] ^[
4
]

En la logica formal, el principio de bivalencia deviene una propiedad que una semantica puede o no poseer. Aunque no es lo mismo que la ley de medio excluido , en semantica puede satisfacer a esta sin ser bivalente. ^[
2
]

El principio de bivalencia se estudia en logica filosofica para abordar la cuestion de que estados del lenguaje natural tienen un valor de verdad bien definido. Frases las cuales pronostican acontecimientos en el futuro, y frases que parecen abiertas a interpretacion, son particularmente dificil para aquellos filosofos que sostienen que la logica binaria se aplica a todas las declaraciones de lengua natural declarativas. ^[
2
] La Logica plurivalente formalizo la idea de que una caracterizacion realista de la idea de consecuencia requiere la admision de premisas que, a causa de la vaguedad, indeterminacion temporal o cuantica, o en referencia al fallo, no pueden ser consideradas bivalentes en el sentido clasico. Los errores de referencia tambien pueden ser abordados por logicas libres . ^[
5
]

Referencias [ editar ]

↑ Goble, Lou (2001). The Blackwell guide to philosophical logic . Wiley-Blackwell. p. 309. ISBN 978-0-631-20693-4 .
↑ ^a ^b ^c ^d Paul Tomassi (1999). Logic . Routledge. p. 124. ISBN 978-0-415-16696-6 .
↑ Goble, Lou (2001). The Blackwell guide to philosophical logic . Wiley-Blackwell. p. 4. ISBN 978-0-631-20693-4 .
↑ Hurlimann, Mark (2009). Dealing with Real-World Complexity: Limits, Enhancements and New Approaches for Policy Makers . Gabler Verlag. p. 42. ISBN 978-3-8349-1493-4 .
↑ The Many Valued and Nonmonotonic Turn in Logic 8 . Elsevier. 2007. p. vii. ISBN 978-0-444-51623-7 . Consultado el 4 de abril de 2011 .

Lecturas recomendadas [ editar ]

Devidi, D.; Solomon, G. (1999). ≪On Confusions About Bivalence and Excluded Middle≫. Dialogue (en frances) 38 (4): 785-799. doi : 10.1017/S0012217300006715 . (4): 785?799. doi:10.1017/S0012217300006715.
Betti Arianna (2002). The Incomplete Story of Łukasiewicz and Bivalence en T. Childers (ed.) The Logica 2002 Anuario , Praga: The Czech Academy of Sciences-Filosofia, pp. 21-26
Jean-Yves Beziau (2003). Bivalence, excluded middle and non contradiction , en The Logica Yearbook 2003 , L.Behounek (ed), Academy of Sciences, Praga, pp. 73?84.
Font, J. M. (2009). ≪Taking Degrees of Truth Seriously≫. Studia Logica 91 (3): 383-406. doi : 10.1007/s11225-009-9180-7 .

Enlaces externos [ editar ]

Shramko, Yaroslav; Wansing, Heinrich. "Valores de verdad". Stanford Enciclopedia de Filosofia.

Datos: Q2110857

[Goble2001bis-1] Goble, Lou (2001). The Blackwell guide to philosophical logic . Wiley-Blackwell. p. 309. ISBN 978-0-631-20693-4 .

[Tomassi1999-2] Paul Tomassi (1999). Logic . Routledge. p. 124. ISBN 978-0-415-16696-6 .

[Goble2001-3] Goble, Lou (2001). The Blackwell guide to philosophical logic . Wiley-Blackwell. p. 4. ISBN 978-0-631-20693-4 .

[Hürlimann2009-4] Hurlimann, Mark (2009). Dealing with Real-World Complexity: Limits, Enhancements and New Approaches for Policy Makers . Gabler Verlag. p. 42. ISBN 978-3-8349-1493-4 .

[GabbayWoods2007-5] The Many Valued and Nonmonotonic Turn in Logic 8 . Elsevier. 2007. p. vii. ISBN 978-0-444-51623-7 . Consultado el 4 de abril de 2011 .

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]