Lógica modal
Páginas: 3 (637 palabras)
Publicado: 27 de noviembre de 2013
Lógica Modal
La lógica Modal representa situaciones que son regidas por un esquema de modalidad.
Se diferencian de las Lógicas convencionales en el sentido que una modalidad indica lascondiciones en las que se hace cierta o falsa alguna afirmación. La Lógica Difusa establecía una relación de pertenencia de una afirmación a ciertos conjuntos de verdad. En particular, implica valores deverdad graduales en el intervalo [0,1].
La Lógica Modal en contraparte define modalidades, representadas, por ejemplo, por las siguientes palabras: Puede, podría, quizás, ha de, posiblemente,necesariamente, a veces, probablemente, etc.
Tomemos las siguientes afirmaciones:
El PC anda lenteja. Podría estar infectado con un virus."
De no haber sido por el filtro anti-spam, tu PC podría haberseinfectado con un virus."
Ambas frases hablan de la posibilidad que el PC se infecte con un virus. No obstante, en la primera, se habla de algo que puede pasar en nuestro mundo (posibilidadepistémica) y la segunda
habla de algo que podría ocurrir en un mundo paralelo (sin afectar nuestro mundo, es una posibilidad metafísica).
Las modalidades se refieren generalmente a contextos. Mediante eluso de las modalidades, se define un escenario: actual, paralelo, temporal, etc. bajo el cual alguna afirmación tiene un
valor de verdad. Interpretaciones de Lógica Modal típicamente consideran todoslos mundos lógicamente posibles. Si una afirmación es cierta bajo todos los escenarios o mundos, entonces necesariamente es cierta. Si se cumple en nuestro escenario o mundo, y no en otros, entoncesse trata de una verdad contingente.
Es decir, el valor de verdad de la afirmación no depende únicamente de la veracidad de la afirmación sino también de la modalidad bajo la que se está evaluando.Existen varias modalidades, las cuales serán nombradas un poco más adelante en esta presentación.
Bajo Lógica Modal formal clásica, existen operadores modales unarios:
L: Se traduce como...
La lógica Modal representa situaciones que son regidas por un esquema de modalidad.
Se diferencian de las Lógicas convencionales en el sentido que una modalidad indica lascondiciones en las que se hace cierta o falsa alguna afirmación. La Lógica Difusa establecía una relación de pertenencia de una afirmación a ciertos conjuntos de verdad. En particular, implica valores deverdad graduales en el intervalo [0,1].
La Lógica Modal en contraparte define modalidades, representadas, por ejemplo, por las siguientes palabras: Puede, podría, quizás, ha de, posiblemente,necesariamente, a veces, probablemente, etc.
Tomemos las siguientes afirmaciones:
El PC anda lenteja. Podría estar infectado con un virus."
De no haber sido por el filtro anti-spam, tu PC podría haberseinfectado con un virus."
Ambas frases hablan de la posibilidad que el PC se infecte con un virus. No obstante, en la primera, se habla de algo que puede pasar en nuestro mundo (posibilidadepistémica) y la segunda
habla de algo que podría ocurrir en un mundo paralelo (sin afectar nuestro mundo, es una posibilidad metafísica).
Las modalidades se refieren generalmente a contextos. Mediante eluso de las modalidades, se define un escenario: actual, paralelo, temporal, etc. bajo el cual alguna afirmación tiene un
valor de verdad. Interpretaciones de Lógica Modal típicamente consideran todoslos mundos lógicamente posibles. Si una afirmación es cierta bajo todos los escenarios o mundos, entonces necesariamente es cierta. Si se cumple en nuestro escenario o mundo, y no en otros, entoncesse trata de una verdad contingente.
Es decir, el valor de verdad de la afirmación no depende únicamente de la veracidad de la afirmación sino también de la modalidad bajo la que se está evaluando.Existen varias modalidades, las cuales serán nombradas un poco más adelante en esta presentación.
Bajo Lógica Modal formal clásica, existen operadores modales unarios:
L: Se traduce como...
Leer documento completo
Regístrate para leer el documento completo.