Lgica dentica

La lgica dentica es un tipo de lgica modal usada para analizar formalmente las normas o
las proposiciones que tratan acerca de las normas.
Normas son, por ejemplo, los significados de las siguientes frases: "te ordeno que te calles,
grosero!", "prohibido el paso; perro agresivo puede atacar", "todo ser humano es libre de
expresar su pensamiento".
La lgica dentica estndar expresara los ejemplos dados antes a travs del lenguaje
simplificado que acabamos de mencionar, aunque cierta informacin o matiz se pierdan:
"te ordeno que te calles, grosero!" se expresara diciendo simplemente "obligatorio
callarse" u "obligatorio que haya silencio"; "prohibido el paso; perro agresivo puede atacar"
se expresara diciendo "prohibida la conducta de entrar" o "prohibido que haya alguien
adentro"; "todo ser humano es libre de expresar su pensamiento" se expresara diciendo
"permitido el acto de expresar el propio pensamiento" o "permitido que sea expresado el
propio pensamiento". Algunos lenguajes denticos ms complejos pueden expresar
rigurosamente nociones asociadas, como el concepto de sancin o amenaza de sancin
(evocada en el ejemplo del perro) o el concepto de derecho individual (como el ejemplo del
derecho a la libre expresin de las ideas).
Gottfried Leibniz es el precursor de la lgica dentica. En 1671, en sus Elementos de
derecho natural, Leibniz observa la analoga de los conceptos normativos justo, injusto
y facultativo con los conceptos modales alticos necesario, posible e imposible.
Por ejemplo, Leibniz escribe que todo lo que es justo es posible para aquel que ama a todo
el mundo (amanti omnes). O, ms cerca de la lgica dentica contempornea, postula que
todo aquello que es obligatorio (debitum) es necesario para aquel que ama a todo el
mundo.

Lgica formal
La lgica formal es la parte de la lgica que, a diferencia de la lgica informal, se dedica al
estudio de la inferencia mediante la construccin de lenguajes formales, sistemas
deductivos y semnticas formales. La idea es que estas construcciones capturen las
caractersticas esenciales de las inferencias vlidas en los lenguajes naturales, pero que al
ser estructuras formales y susceptibles de anlisis matemtico, permiten
realizar demostraciones rigurosas sobre ellas. La lgica formal no debe ser confundida con
la lgica matemtica, antes llamada lgica simblica, que es una sub disciplina de la lgica
formal.
Lgica matemtica
La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel
elemental, la lgica proporciona reglas y tcnicas para determinar si es o no valido un
argumento dado. El razonamiento lgico se emplea en matemticas para demostrar
teoremas; en ciencias de la computacin para verificar si son o no correctos los programas;
en las ciencias fsica y naturales, para sacar conclusiones de experimentos; y en las
ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas.
Ciertamente se usa en forma constante el razonamiento lgico para realizar cualquier
actividad.

Lgica clsica
La lgica clsica es un mtodo de la lgica basada en los principios del filsofo
griego Aristteles (Estagira, Macedonia 384 a.c - Calcis Eubea, Grecia 322 a.c), primer
pensador en formalizar el sistema lgico de tan acertada manera que sus propuestas han
trascendido hasta nuestros das. Aristteles plante sus ideas en varias obras, reunidas
posteriormente bajo el nombre de Organon, para difundir su conocimiento sobre las leyes
del razonamiento, argumentando que estas eran vitales para adentrarse en el mundo de la
filosofa.
El objetivo de la lgica clsica elemental es determinar si nuestros razonamientos,
independientemente de su contenido, son correctos o incorrectos. La lgica no siempre ha
recibido el mismo nombre, en la edad antigua se hablaba de la dialctica como la tcnica
de conocer las relaciones entre las ideas.
En la concepcin aristotlica de la lgica hay una vacilacin entre dos ideas.
* Por un lado, la lgica es concebida, en tanto que rgano, como prolegmeno de toda
investigacin cientfica, filosfica o simplemente perteneciente al lenguaje ordinario. Por
eso la lgica no es una parte de la filosofa; es, a lo sumo, el prtico que permite pasar a
cualquiera de sus partes (la terica, la prctica y la potica o productiva).
* Por otro lado, la lgica aparece como el anlisis de los principios segn los cuales se halla
articulada la realidad. As como el primado de la definicin y de la dialctica en Platn
poda ser considerado como la consecuencia del inters de este autor por el qu de las
cosas, el primado del razonamiento (sobre todo silogstico) en Aristteles podra ser
considerado como la consecuencia del inters de este pensador por el porqu de las cosas.

Lgica simblica
Lgica simblica es el estudio de la lgica mediante la matemtica, es decir, que incorpora
la exactitud y rigor matemticos.

Un razonamiento es cualquier grupo de oraciones declarativas, tal que una de ellas
(conclusin) se afirma que se deriva de otras, llamadas premisas, las cuales se consideran
evidencia de la verdad de la primera. Para efectos del curso, estudiaremos dos tipos de
razonamiento:
1. Inductivo: comnmente, por analoga; afirma probabilidad o cierta evidencia de la
verdad de la conclusin.
2. Deductivo: sus premisas ofrecen una evidencia contundente de la verdad de la
conclusin. Su correctitud viene dada por la validez o invalidez del razonamiento.
Silogismo
Un silogismo no es ms que una forma de razonamiento deductivo que se compone de 3
elementos bsicos: una premisa mayor, una premisa menor y una conclusin que las
relaciona.

Dialctica
La dialctica del griego (dialektik), (tchne), literalmente: tcnica de la
conversacin; con igual significado, en latn(ars) dialectica es una rama de la filosofa
cuyo mbito y alcance ha variado significativamente a lo largo de la historia.
Originariamente designaba un mtodo de conversacin o argumentacin anlogo a lo que
actualmente se llama lgica. En el siglo XVIII el trmino adquiri un nuevo significado: la
teora de los contrapuestos en las cosas o en los conceptos, as como la deteccin y
superacin de estos contrapuestos. De manera ms esquemtica puede definirse la
dialctica como el discurso en el que se contrapone una determinada concepcin o
tradicin, entendida como tesis, y la muestra de los problemas y contradicciones, entendida
comoanttesis. De esta confrontacin surge, en un tercer momento llamado sntesis, una
resolucin o una nueva comprensin del problema. Este esquema general puede concretarse
como la contraposicin entre concepto y cosa en la teora del conocimiento, a la
contraposicin entre los diferentes participantes en una discusin y a contraposiciones
reales en la naturaleza o en la sociedad, entre otras.
El trmino adquiere un significado no circunscrito al mbito de la retrica gracias,
fundamentalmente, a los escritos del filsofo alemnG.W.F. Hegel. En la poca en que
escribe una de sus grandes obras (Fenomenologa del espritu, 1808) el mundo parece
haberse puesto en movimiento, transformando de forma visible lo que haba durado siglos.
Se trata de los primeros momentos del modo de produccin capitalista que, a diferencia de
los anteriores, se basa primordialmente en la circulacin de las mercancas y del dinero.
Entonces el viejo problema filosfico del cambio se agudiza: cmo entender
racionalmente que una cosa pueda cambiar de apariencia y seguir siendo la misma cosa?
Hegel concibe la realidad como formada por opuestos que, en el conflicto inevitable que
surge, engendran nuevos conceptos que, en contacto con la realidad, entran en
contraposicin siempre con algo. Este esquema es el que permite explicar el cambio
manteniendo la identidad de cada elemento, a pesar de que el conjunto haya cambiado.
Con el mismo proceder Karl Marx analizar la realidad social y, claramente en sus escritos
a partir de 1842, la entender como una realidad conflictiva debido a la contraposicin de
intereses materiales incompatibles. As dir, en el Manifiesto comunista (1848), que "toda
la historia de la humanidad es la historia de la lucha de clases"; esto es: la confrontacin
entre clases sociales es el motor del cambio histrico.
En el siglo XX el filsofo alemn Theodor W. Adorno titular Dialctica negativa (1966)
una de sus obras capitales. Esta obra se inicia con una afirmacin provocativa: "La
formulacin dialctica negativa atenta contra la tradicin". Se refiere Adorno a que en la
dialctica de Platn o en la de Hegel el resultado del movimiento de contraposicin es la
afirmacin de algo, mientras que lo que l pretende es subrayar el carcter inconcluso de
cualquier momento del movimiento de contraposicin, tanto a nivel social como cultural.

Raciocinio
El raciocinio es, pues, aquella operacin por la que el entendimiento humano transita al
conocimiento de una verdad mediata. Y puede, en consecuencia, definirse como el acto por
el que la mente pasa de lo conocido a lo desconocido valindose de sus conocimientos, lo
cual exige que lo alcanzado en el raciocinio se halle de alguna forma en el comienzo de
este, a saber: virtualmente o en potencia. Todo lo cual, en definitiva, implica que nuestro
entendimiento no sea perfecto, sino 'que pase de la potencia al acto, siendo el raciocinio
precisamente el movimiento mismo en que este trnsito se verifica.

El juicio
El juicio es la segunda operacin lgica consiste en afirmar o negar un concepto
respecto de otro.
La operacin mental por la cual nos percatamos si entre dos conceptos puede
establecerse o no estable serse una relacin de conveniencia se llama juicio psicolgico.

Concepto
Los conceptos son construcciones o imgenes mentales, por medio de las
cuales comprendemos las experiencias que emergen de la interaccin con nuestro entorno.
Estas construcciones surgen por medio de la integracin en clases o categoras, que agrupan
nuestros nuevos conocimientos y nuestras nuevas experiencias con los conocimientos y
experiencias almacenados en la memoria.

Definicin
Proposicin o frmula por medio de la cual se define dando un conjunto de
propiedades suficiente para designar de manera unvoca un objeto, individuo, grupo o idea:
Definir es "delimitar". La definicin consiste en delimitar exactamente la
comprensin de un concepto para distinguirlo de los dems. En sentido propio y estricto, la
definicin es real (se refiere a algo, a una cosa) y es esencial (expresa la esencia de esa
realidad).