TIPOS DE LOGICA

LOGICA CLASICA

LOGICA ENUNCIADAS

es el significado de cualquier frase declarativa que puede ser verdadera o falsa. nos referimos a verdadero o a falso como los valores de verdad.

EJEMPLO

la frase "1=1" es un enunciado, puesto que  puede ser verdadero o falso como resulta que es un enunciado verdadero, su valor de verdad es v.

LOGICA DE PREDICADOS

es una extension de la losgica de proposiciones y a ella se extienden tambien los colectivos logicos y operadores de la logica proposicional.

EJEMPLO

P = todas las palomas vuelan
Q = todas las aves tienen plumas
R = luego todas las palomas son aves
                (p^q)  r

LOGICA METALOGICA


LOG COSISTENCIA

en el campo de la logica, la cosistencia resulta ser la propiedad logica tanto de los discursos como de las teorias, que se observaron en los conjuntos de formulas es decir, es la propiedad tipica de aquello que es duradero estable y solido.

EJEMPLO:
                                      AMB                                 SOCIAL                        ECONOMICO

AMB                                 1                                       1/2                                       1/4

SOCIAL                            2                                         1                                         1/2

ECONOMICO                  4                                         2                                         1

es

RC =  CI/RI = 0/0.58 = 0

LOG DECIBILIDAD

un sistema logico o teoria decidible si el conjunto de todas las formulas validas en el sistema es decidible.

EJEMPLO:

la logica proposicional ( se define una proposicion como un enunciado declarativo que puede ser verdadero o falso y las porposiciones se representan mediante variables proposicionales simbolizadas mediante letras) es decidible, porque existe para ella un algoritmo.

LOG COMPLETITUD

es una propiedad metateorica que puede tener los sistemas logicos. se dice que un sistema logico es semanticamente complejo o completo cuando todas las formulas logicamente validas del sistema son ademas teoremas del sistema.











LOGICA NO INFORMAL


FALACIAS

una falacia es un defecto tecnico que hace que un razonamiento no sea valido o confiable.

 EJEMPLO

yo siempre digo la verdad
por lo tanto yo nunca miento


PARADOJAS

significa contra la opinion y es un enunciado aparentemente correcto que encierra contradiccion.

EJEMPLO

¿caras o copas?  inversion de figuras de E Rubin


LOGICAS NO CLASICAS

LOGICA PLURIVALENTE

es un sistema logico que rechaza el principio del tercero excluido de las logicas bivalentes y admite mas valores de verdad que los tradicionales verdadero y falso.

EJEMPLO:

un ejemplo para ilustrar la trivalencia en fisica ha sido paradoja del gato de schrodinger

LOGICA DIFUSA

es la que establece lazos de control independientes para el oxigeno disuelto. tambien permite trabajar con informacion que no es exacta para poder definir evaluacion convencionales contrario con la logica tradicional que permite trabajar con la informacion definida y precisa.

EJEMPLO








LOGICA INTUISTA

es general el intucionismo es una corriente filosofica en la que es mas importante la intuicion que el razonamiento. aunque este concepto es muy general se puede afirmar que esta corriente pertenecen los filosofos que de alguna manera y metafisica del conocimiento.

EJEMPLO

mañana sera el mejor dia  de mi vida
presiento que esta tarde hara frio

LOGICA CUANTICA

es una logica alternativa o complementaria a la logica formal clasica y que ademas nos enzeña que los fenomenos y el mundo, la naturaleza en general son esencialmente probabilistica.

EJEMPLO

para explicar porque la ley distributiva no es valido en logica cuantica consideremos una particula que se desplaza sobre una recta sean PQR las proposiciones siguientes:
P = la particula se dirije hacia la derecha
Q = la particual se encuentra en el intervalo
R = la particula se  fuera del intervalo

entonces la proposicion Q o R es verdadera por lo tanto
P y (q o r) = p

por otro lado las proposiciones

P Y Q
P Y R

son ambas falsas pues cada una postula valores de posicion y momento linear con mayor exactitud de lo que seria permitido por la relacion de indeterminacion de heisenberg.

(p y q) o (p y r ) = falso

LOGICA MODAL

LOGICA DEONTICA

es la que apunta a sintetizar o sistematizar las relaciones abstractas puramente conceptuales existentes entre las proposiciones de esa esfera una de las cuales es la siguiente:
si un acto es obligatorio entonces su realizacion de ser permitida y su omision prohibida.

EJEMPLO

ite ordeno que te calles grosero!
todo ser humano es libre de expresar su pensamiento prohibido el paso
perro agresivo puede atacar

LOGICA MODAL

es la que intenta acercarse mas al pensamiento humano y el lenguaje natural y lo hace complementado la logica de predicados con modalidades que indican las condiciones en las que es cierta o falsa cada preposicion.

EJEMPLO

veo una cuantas nubes podria estar llorando ahi afuera
no seas tan optimista ahora podria estar lloviendo

LOGICA TEMPORAL

es utilizada en filosofia con el objetivo de fundamentar, analizar y calificar conceptos clave recurrentes en su historia la mayor parte de ellos señalados por aristoteles como la casualidad y la necesidad entre otros.

EJEMPLO

en la figura se muestra una estructura de kripke de 3 estados se puede escribir de la siguiente manera.

1 en el estado rojo se cumple p y hay transiciones hacia el resto de los estados

2 en el estado verde q es verdadero y las transiciones van haacia el estado azul o el mismo estado.

3 en el estado azul son verdaderas  q y r tiene una unica transicion hacia el estado verde.



WEBGRAFIA
https://es.wikipedia.org/wiki/L%C3%B3gica_cl%C3%A1sica
http://www.xtec.cat/~lvallmaj/passeig/enunfor2.htm
https://www.fing.edu.uy/inco/cursos/logica/teorico/2012/13_12_PredCompletitud.pdf
http://www.exa.unicen.edu.ar/catedras/ccomp2/ClaseLogicaPredicados.pdf
http://www.matetam.com/glosario/definicion/logica-predicados
http://conceptodefinicion.de/consistencia/
http://www.definicionabc.com/general/consistencia.php
http://www.gayatlacomulco.com/tutorials/teoriadelacomputacion/t53.htm
http://grupodecidibilidad.blogspot.com.co/
https://es.wikipedia.org/wiki/Falacia
http://www.diverticiencia.net/Presentaciones/IlusionesOpticas/Pcopa.html
http://www.wikiwand.com/es/L%C3%B3gica_plurivalente
http://catarina.udlap.mx/u_dl_a/tales/documentos/lmt/ramirez_r_o/capitulo3.pdf
https://es.wikipedia.org/wiki/L%C3%B3gica_difusa
http://fci.uib.es/digitalAssets/178/178161_1.pdf
http://cava.superforo.net/t210-el-intuicionismo
https://es.wikipedia.org/wiki/L%C3%B3gica_de%C3%B3ntica
http://www.danielclemente.com/apuntes/ales/hl/html/hl.es-node19.xhtml
https://es.wikipedia.org/wiki/L%C3%B3gica_temporal