ES ARBITRARIA

LA LOGICA?
PRESENTADO POR:
SARA RIVAS
 ARBITRARIO - LGICO

Lo arbitrario significa una afirmacin hecha en la ausencia de evidencia de cualquier tipo, perceptible
o conceptual; su base no es ni la observacin directa ni ningn tipo de argumentacin terica. Una idea
arbitraria es una mera afirmacin sin ningn intento de validarla o conectarla a la realidad.
Si un hombre afirma tal idea, lo haga por error o por ignorancia o por corrupcin, su idea, por ese mero
hecho, queda epistemolgicamente invalidada. Ella no tiene ninguna relacin con la realidad o con la
cognicin humana.
Por lo tanto lo arbitrario no puede ser Lgico por que la lgica es basada en REALIDAD Y
PENSAMIENTO HUMANO, en la lgica se establecer leyes y principios vlidos para obtener criterios de
verdad. sigue las reglas, tambin es una consecuencia esperable natural o normal, por ende no puede
ser arbitrario.
AUNQUE LA LGICA:
ES CAPAZ DE MANEJAR SUPOSICIONES ARBITRARIAS POR DEFECTO

Razonamiento por defecto

El razonamiento de sentido comn muchas veces establece conclusiones a partir de informacin parcial, que
luego se revisan o se desechan cuando se obtiene nueva informacin relevante. Por ejemplo, si de un
determinado animal se sabe que es un ave, y no se conoce nada ms, se puede asumir que es capaz de volar.
No obstante, este hecho debe ser retractado si despus se sabe que ese determinado animal es un pingino.
Este ejemplo muestra que una lgica que modele el razonamiento por defecto no debe ser monotnica. Las
lgicas que formalizan razonamiento por defecto pueden ser divididas tajantemente en dos categoras: lgicas
capaces de manejar suposiciones arbitrarias por defecto (lgica por defecto, lgica retractable, y answer set
programming) y lgicas que formalizan la especfica suposicin por defecto de que los hechos que no se saben
verdaderos pueden ser asumidos como falsos por defecto (closed world assumption y circunscripcin).
Las lgicas por defecto permiten representar proposiciones como "si x es un ave, entonces x puede volar, a
menos que haya algo que lo contradiga". Para ello se amplia la lgica de primer orden introduciendo un
operador modal M (es modal ya que indica una modalidad de verdad), y se establece un mecanismo de
mantenimiento de coherencia generalmente traducido como mantenimiento de verdad.