Tipos de lógias

Lógica Clásica:Conjunto de cálculos lógicos equivalentes al cálculo presentado por Bertrand Russelly Alfred N. Whitehead en susPrincipia Mathematica (1910-1913).Lógica Informal: Tiene como objetivo el contexto en el cual se aplican los argumentos y cómo esteuso puede ser o no válido. Las falacias informales son un ejemplo de ello. Consisten en argumentosque se desentienden de los razonamientos y se preocupan de elementos circunstanciales ocontextuales para convencer o, mejor dicho, engañar al auditor.Lógica Aristotélica: Se trata de una teoría clásica para explicar cómo se formula el raciocinio humano.Esta teoría prevé básicamente que es posible llegar a ciertas conclusiones a partir de nocionespreliminares sobre un asunto específico.Lógica Baconiana: Lo que Bacon aquí introduce, y que llama Interpretación de la naturaleza, es untipo de lógica que difiere en gran manera con la lógica tradicional. La lógica Baconiana difiereespecialmente en tres puntos: el final al que apunta, el orden de demostración y el punto de partidapara la investigación.Lógica Formal: Se puede definir a la lógica formal, también llamada lógica teórica o pura, como larama de la lógica que tiene como objetivo el estudiar y analizar la inferencia por medios técnicos,evaluando la semántica y los elementos deductivos característicos de un lenguaje formal.Lógica Matemática: El estudio matemáticode la lógicay su aplicación a otras áreas de la matemáticay la ciencia. Comprende la aplicación de las técnicas de la lógica formal a las matemáticas y elrazonamiento matemático, y conversamente la aplicación de técnicas matemáticas a la representacióny el análisis de la lógica formal.Lógica de Primer Orden: También llamada lógica predicativa, lógica de predicados o cálculo depredicados, es un sistema formaldiseñado para estudiar la inferenciaen los lenguajes de primer orden.Los lenguajes de primer orden son, a su vez, lenguajes formalescon cuantificadoresque alcanzan soloa variablesde individuo, y con predicados y funcionescuyos argumentos son solo constantes ovariables de individuo.Lógica de Segundo Orden:Es una extensión de una lógica de primer orden en la que se añadenvariables para propiedades, funciones y relaciones, y cuantificaciones que operan sobre esas variables.Lógica Booleana: La lógica booleana es una lógica de conjuntos y nos sirve, principalmente, paradefinir formas de intersección entre conjuntos.Lógica Proposicional: La lógica proposicional o lógica de orden cero es la rama de la lógicamatemática que estudia proposiciones, afirmaciones u oraciones, los métodos de vincularlas medianteconectores lógicos y las relaciones y propiedades que se derivan de esos procedimientos.Lógica Modal: Sistema lógico que formaliza relaciones como las de “necesidad”, “realidad”,“posibilidad”, “casualidad” y sus negaciones (Modalidad ).Lógica Temporal: Es a mediados del siglo XX, a partir de la obra de Arthur Prior cuando la LógicaTemporal se desarrolla de manera considerable, construyéndose sistemas para representar distintostipos de tiempo (tiempo lineal, tiempo infinito, tiempo ramificado).Lógica Polivalente: Una lógica polivalente es un sistema lógico que rechaza el principio del terceroexcluido de las lógicas bivalentes y admite más valores de verdad que los tradicionales verdadero yfalso.

https://www.academia.edu/38356141/TIPOS_DE_LOGICAS_RESUMEN

Lógica Difusa: La lógica difusa (también llamada lógica borrosa) se basa en lo relativo de lo observadocomo posición diferencial. Este tipo de lógica toma dos valores aleatorios, pero contextualizados yreferidos entre sí.Lógica Deóntica: La Lógica deóntica, en 1951, Von Wright, creador de la lógica deóntica, introdujo losconceptos modales deónticos: lo obligatorio, lo permitido, lo prohibido; reflexionando análogamente laexistencia de las modalidades posible, imposible y necesario; desde entonces, el término “deóntico” haido haciéndose común en el léxico filosófico.Lógica Cuántica: El concepto de lógica cuántica fue propuesto originalmente por Garrett Birkhoff yJohn von Neumann en el año 1936. Tal como fue propuesta originalmente, la lógica cuántica sefundamenta en la idea que el reticulado de proyecciones ortogonales en un espacio de Hilbert es laestructura que corresponde en la mecánica cuántica al reticulado de proposiciones en la física clásica.Lógica Intuicionista: La lógica intuicionista, o lógica constructivista, es el sistema lógicooriginalmentedesarrollado por  Arend Heytingpara proveer una base formal para el proyecto intuicionistade Brouwer. El sistema enfatiza las pruebas, en vez de la verdad, a lo largo de las transformaciones de lasproposiciones.Lógica Descriptiva:Básicamente las lógicas descriptivas son un conjunto de clases, o conceptos,que mediante el uso de constructores permiten la creación de conceptos más complejos. Son lógicasdecidibles, correctas, completas y útiles para realizar razonamientos. Lógica Predictiva: La lógica predicativa es conocida como lógica aristotélica o silogística. Losenunciados son oraciones predicativas del tipo «los peces son invertebrados», «el sol es una estrella»,»las personas son seres vivos», etc.