Lgicas no clsicas. Tambin son llamadas lgicas heterodoxas.

Es la que se caracteriza bien por ser no asertrica, como es el caso de la lgica dentica (o la de comandos o la erottica); bien por incorporar un lenguaje que no es de primer orden, como es el caso de la lgica modal (o la temporal o la epistmica); bien por dejar de lado alguno de los tres principios lgicos fundamentales, como es el caso de: las lgicas polivalentes, en que no es vlido el principio de tercio excluido, las lgicas paraconsistentes, en que no es vlido el principio de contradiccin, y las lgicas cunticas, en que no es vlido el principio de identidad. Lgicas alternativas. Tambin llamadas lgicas rivales. Son sistemas que se presentan a s mismos como alternativos a la lgica clsica porque que no aceptan todas las verdades lgicas que sta contiene. Ejemplos: Lgica trivalente, Lgicas Multivalentes (ambas son veritativo-funcionales pero no bivalentes), Lgicas Intuicionistas (no reconocen el concepto de valor de verdad), Lgicas de la Relevancia (son bivalentes pero no veritativo-funcionales), Lgicas Libres, Lgicas cunticas, Lgicas paraconsistentes, Lgicas de la probabilidad, Lgicas Borrosas, Lgicas no monotnicas. Los sistemas propuestos como rivales nacen de que 1) Se considera equivocada a la lgica clsica; 2) Se cree que la propuesta de cambio es incompatible con la lgica clsica; 3) Se espera por ella que el nuevo sistema reemplace a la lgica clsica. Un sistema es rival de la lgica clsica cuando se inscribe en una lgica que considera como falso(s) algn(os) teorema(s) y/o regla(s) de inferencia de LC y, por lo tanto, lo rechaza en su interpretacin usual. Los sistemas no clsicos alternativos difieren de la lgica clsica en que cuentan con el mismo alfabeto que el clsico y todos sus teoremas e inferencias vlidas son tambin vlidos en la lgica clsica, pero hay teoremas e inferencias vlidos en la lgica clsica que son declarados invlidos. Lgicas extendidas. Tambin llamadas lgicas suplementarios. Ejemplos: Lgica Modal, Lgica Dentica, Lgica Temporal, Lgica Epistmica, etc. Los sistemas propuestos como complementos nacen de que 1) Se considera incompleta a la lgica clsica; 2) Se cree que la propuesta de cambio es compatible con la lgica clsica; 3) Se espera por ella que se utilice el nuevo sistema junto con la lgica clsica Un sistema es, pues, complementario de la lgica clsica cuando es compatible con ella y aborda temas que lgica clsica deja sin tratamiento completo. Los sistemas no clsicos suplementarios difieren de la lgica clsica en que cuentan con un alfabeto mayor que el clsico y aceptan como vlidos todos los teoremas e inferencias vlidas de la lgica clsica, pero incluyen otros teoremas e inferencias vlidas adicionales. Lgicas filosficas. Si definimos lgica como razonamiento y entendemos lo filosfico como lo profundo, lo crtico, se podra pensar que la lgica filosfica es ver las realidades de las cosas que pasan a nuestro alrededor y darle un razonamiento profundo para darse cuenta que todo ser humano en su naturaleza es ignorante. Rechazamos este tipo de definicin de la lgica filosfica aunque es rescatable algo: que el ser humano es ignorante. Esto quiere decir que su conocimiento es mnimo en relacin con todas las posibilidades en juego que tiene la misma realidad. La lgica humana que comienza siendo bivalente, aplicable a los discursos sencillos y bsicos encuentra su lmite en la filosofa. La filosofa elabora argumentos para explicar cuestiones crticas sobre todo tipo de hechos. Es ah cuando al agotar los recursos proporcionados por la lgica clsica, la filosofa le reclama a esta lgica tener ms expresividad y menos limitaciones. As surgen las lgicas filosficas. Por ejemplo: la lgica modal puede usarse para tratar problemas como los del fatalismo entre otras cuestiones metafsicas, la lgica intuicionista se constituye como una herramienta de la matemtica intuicionista que plantea que los objetos matemticos son creaciones humanas por lo cual todo se puede probar o construir, las lgicas relevantes intentan proporcionar una definicin de implicacin ms correcta que la que tiene la lgica clsica, las lgicas difusas exigen que los valores de verdad no se reduzcan a tan solo dos, las lgicas paraconsistentes buscan fundamentar una ontologa de objetos inconsistentes, etc. Estas son las lgicas que tienen inters para el filsofo.