Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Descargar
¡Más rápido que el navegador!
 

Lógica

Índice Lógica

La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.

179 relaciones: A Greek-English Lexicon, Acto y potencia, Alfred North Whitehead, Alfred Tarski, Antirrealismo, Aporía, Arend Heyting, Argumento, Aristóteles, Arthur Prior, Avicena, ¿Es empírica la lógica?, Álgebra de Boole, Órganon, Bertrand Russell, Bicondicional, Cálculo lógico, Charles Sanders Peirce, Ciencia, Ciencia cognitiva, Ciencias de la computación, Ciencias formales, Clarence Irving Lewis, Concepto, Condicional estricto, Condicional material, Conectiva lógica, Conjunción lógica, Consistencia (lógica), Correspondencia de Curry-Howard, Creencia, Cuantificador, Cultura, David Hilbert, Definición, Demostración en matemática, Denotación, Derecho, Dialéctica, Dialelo, Dialeteismo, Dicotomía, Discurso, Edad Antigua, Edward N. Zalta, Efectividad, Enciclopedia Británica, Enunciación, Epistemología, Escepticismo filosófico, ..., Estoicismo, Evidencia, Falacia, Filosofía, Filosofía analítica, Filosofía de la lógica, Forma lógica, Friedrich Nietzsche, Garrett Birkhoff, Georg Lukács, Georg Wilhelm Friedrich Hegel, George Boolos, Gerhard Gentzen, Gottfried Leibniz, Gottlob Frege, Graham Priest, Grecia, Griego antiguo, Henry Liddell, Hilary Putnam, Idea, Immanuel Kant, India, Inferencia, Informática, Inteligencia artificial, Interdisciplinariedad, Intuicionismo, Jan Łukasiewicz, Józef Maria Bocheński, Jürgen Habermas, John von Neumann, Lógica clásica, Lógica computacional, Lógica cuántica, Lógica de primer orden, Lógica de segundo orden, Lógica de términos, Lógica deóntica, Lógica dialéctica, Lógica difusa, Lógica doxástica, Lógica epistémica, Lógica filosófica, Lógica infinitaria, Lógica informal, Lógica intuicionista, Lógica matemática, Lógica modal, Lógica no clásica, Lógica paraconsistente, Lógica plurivalente, Lógica proposicional, Lógica relevante, Lógica temporal, Lógica trivalente, Lenguaje de programación, Lenguaje formal, Lingüística, Lingüística computacional, Logos, Matemáticas, Método científico, MC-14, Mecánica, Metafísica, Metodología, Michael Dummett, Modalidad, Monotonicidad de la implicación, Número real, Negación lógica, Nikolái Vasíliev, Nuel Belnap, Nyāya (hinduismo), Online Etymology Dictionary, Oxford University Press, Palabra, Paradoja, Paradoja de Russell, Paradojas de la implicación material, Pensamiento, Pragmática, Pragmática conversacional, Primeros analíticos, Principia Mathematica, Principio, Principio de bivalencia, Principio de explosión, Principio de identidad, Principio de no contradicción, Principio del tercero excluido, Probabilidad, Proposición, Proyecto Perseus, Razón, Razonamiento, Razonamiento deductivo, Razonamiento inductivo, Realismo filosófico, Relatividad general, República Popular China, Retórica, Saul Kripke, Semántica, Sentencia atómica, Sexto Empírico, Significado (filosofía), Silogismo, Sintaxis, Sistema formal, Sobre la interpretación, Sociología, Stanford Encyclopedia of Philosophy, Stephen Kleene, Stewart Shapiro, Susan Haack, Teoría, Teoría de conjuntos, Teoría de grafos, Teoría de la argumentación, Teoría de modelos, Tertium comparationis, Tradición, Validez (lógica), Verdad, Verdad lógica, Wilhelm Ackermann, Willard Van Orman Quine. Expandir índice (129 más) »

A Greek-English Lexicon

El diccionario A Greek-English Lexicon (título original) es la mayor obra lexicográfica jamás creada para la traducción del griego antiguo (desde sus orígenes en el siglo VIII a. C. hasta el Imperio bizantino).

¡Nuevo!!: Lógica y A Greek-English Lexicon · Ver más »

Acto y potencia

En filosofía, la distinción entre los acto y potencia (del griego: (ενέργεια) o (ἐντελέχεια) y (δύναμις), traducido al latín como actualitas– potentia, anteriormente como efficacia–possibilitas) es un principio relacionado con la metafísica y física aristotélica.

¡Nuevo!!: Lógica y Acto y potencia · Ver más »

Alfred North Whitehead

Alfred North Whitehead, OM, MRS (15 de febrero de 1861- 30 de diciembre de 1947) fue un matemático y filósofo inglés.

¡Nuevo!!: Lógica y Alfred North Whitehead · Ver más »

Alfred Tarski

Alfred Tarski -originalmente Alfred Teitelbaum- (14 de enero de 1901—26 de octubre de 1983) fue un lógico, matemático y filósofo polaco.

¡Nuevo!!: Lógica y Alfred Tarski · Ver más »

Antirrealismo

En la filosofía analítica, el antirrealismo es una posición epistemológica articulada por primera vez por el filósofo británico Michael Dummett.

¡Nuevo!!: Lógica y Antirrealismo · Ver más »

Aporía

El término aporía (del griego ἀπορία, 'dificultad para el paso'), a veces escrito como aporima, hace referencia a los razonamientos en los cuales surgen contradicciones o paradojas irresolubles; en tales casos las aporías se presentan como dificultades lógicas casi siempre de índole especulativa.

¡Nuevo!!: Lógica y Aporía · Ver más »

Arend Heyting

Arend Heyting (9 de mayo de 1898 en Ámsterdam - † 9 de julio en 1980 en Lugano, Suiza) fue un matemático especializado en lógica.

¡Nuevo!!: Lógica y Arend Heyting · Ver más »

Argumento

Un argumento (del latín argumentum) es la expresión oral o escrita de un razonamiento o idea mediante el cual se intenta probar, refutar o incluso justificar una proposición o tesis.

¡Nuevo!!: Lógica y Argumento · Ver más »

Aristóteles

Aristóteles (en griego antiguo: Ἀριστοτέλης; en griego moderno: Αριστοτέλης; en latín: Aristoteles; Estagira, 384 a. C.-Calcis, 322 a. C.) fue un filósofo, polímata y científico griego nacido en la ciudad de Estagira, al norte de la Antigua Grecia.

¡Nuevo!!: Lógica y Aristóteles · Ver más »

Arthur Prior

Arthur Norman Prior (Masterton, Nueva Zelanda, 4 de diciembre de 1914 – Trondheim, Noruega, 6 de octubre de 1969) fue un lógico y filósofo neozelandés.

¡Nuevo!!: Lógica y Arthur Prior · Ver más »

Avicena

Ibn Sina, latinizado como Avicena es el nombre por el que se conoce en la tradición occidental a Abū ‘Alī al-Husayn ibn ‘Abd Allāh ibn Sĩnã (en persa: ابو علی الحسین ابن عبدالله ابن سینا; en árabe: أبو علي الحسین بن عبدالله بن سینا; Bujará, Gran Jorasán, c. 980-Hamadán, 1037), un polímata, médico, filósofo, astrónomo y científico persa perteneciente a la Edad de Oro del Islam.

¡Nuevo!!: Lógica y Avicena · Ver más »

¿Es empírica la lógica?

¿Es empírica la lógica? es el título de dos artículos demostrativos que tratan sobre la posibilidad de que las propiedades algebraicas de la lógica puedan o deban determinarse a partir de hechos.

¡Nuevo!!: Lógica y ¿Es empírica la lógica? · Ver más »

Álgebra de Boole

En matemáticas, electrónica digital e informática, el álgebra de Boole, también llamada álgebra booleana, es una estructura algebraica que esquematiza operaciones lógicas.

¡Nuevo!!: Lógica y Álgebra de Boole · Ver más »

Órganon

El Órganon (del griego antiguo όργανον, "instrumento") es un conjunto de obras de lógica escritas por Aristóteles y compiladas por Andrónico de Rodas siglos más tarde.

¡Nuevo!!: Lógica y Órganon · Ver más »

Bertrand Russell

Bertrand Arthur William Russell (Trellech, Monmouthshire; 18 de mayo de 1872-Penrhyndeudraeth, Gwynedd, 2 de febrero de 1970) fue un filósofo, matemático, lógico y escritor británico, ganador del Premio Nobel de Literatura.

¡Nuevo!!: Lógica y Bertrand Russell · Ver más »

Bicondicional

En algunos contextos en matemáticas y lógica, un bicondicional (equivalencia o doble implicación, en ocasiones abreviado en español como si y solo si) es un operador lógico binario, es decir, una función \leftrightarrow: B \times B \rightarrow B, siendo B cualquier conjunto con |B|.

¡Nuevo!!: Lógica y Bicondicional · Ver más »

Cálculo lógico

El cálculo lógico, o derivación lógica, es un algoritmo o sistema lógico que permite inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos.

¡Nuevo!!: Lógica y Cálculo lógico · Ver más »

Charles Sanders Peirce

Charles Sanders Peirce (purse en inglés) (Cambridge, Massachusetts, 10 de septiembre de 1839-Milford, Pensilvania, 19 de abril de 1914) fue un filósofo, lógico y científico estadounidense.

¡Nuevo!!: Lógica y Charles Sanders Peirce · Ver más »

Ciencia

La ciencia (del latín scientĭa, 'conocimiento') es un conjunto de conocimientos sistemáticos comprobables que estudian, explican y predicen los fenómenos sociales, artificiales y naturales.

¡Nuevo!!: Lógica y Ciencia · Ver más »

Ciencia cognitiva

Se denomina ciencia cognitiva al estudio científico de la mente y sus procesos.

¡Nuevo!!: Lógica y Ciencia cognitiva · Ver más »

Ciencias de la computación

Las ciencias de la computación estudian los fundamentos teóricos de la información y el cómputo, junto con técnicas prácticas para la implementación y aplicación de estos fundamentos teóricos.

¡Nuevo!!: Lógica y Ciencias de la computación · Ver más »

Ciencias formales

Las ciencias formales son un conjunto de ciencias que estudian los lenguajes formales y los sistemas formales.

¡Nuevo!!: Lógica y Ciencias formales · Ver más »

Clarence Irving Lewis

Clarence Irving Lewis (12 de abril de 1883, Stoneham Massachusetts - 3 de febrero de 1964 Cambridge), usualmente citado como C. I. Lewis, fue un filósofo y catedrático estadounidense, fundador del pragmatismo conceptual.

¡Nuevo!!: Lógica y Clarence Irving Lewis · Ver más »

Concepto

Los conceptos (del latín: conceptus) «son las unidades más básicas de toda forma de conocimiento humano»; por medio de las cuales comprendemos las experiencias.

¡Nuevo!!: Lógica y Concepto · Ver más »

Condicional estricto

En lógica, el condicional estricto es un condicional material sobre el que opera un operador de necesidad.

¡Nuevo!!: Lógica y Condicional estricto · Ver más »

Condicional material

El condicional material, conocido como condicional, condicional funcional de verdad, o imprecisamente confundido con la implicación material, es un conectiva lógica que conecta dos proposiciones, representado usualmente como A \to B. En lógica proposicional, el condicional material es una función de verdad binaria, que se vuelve falso cuando B es falsa siendo A verdadera, y se vuelve verdadero en cualquier otro caso.

¡Nuevo!!: Lógica y Condicional material · Ver más »

Conectiva lógica

En lógica, una conectiva lógica, o también conectiva (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes.

¡Nuevo!!: Lógica y Conectiva lógica · Ver más »

Conjunción lógica

En razonamiento formal, una conjunción lógica (\land) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en cierto solo si ambas proposiciones son ciertas, y en falso de cualquier otra forma.

¡Nuevo!!: Lógica y Conjunción lógica · Ver más »

Consistencia (lógica)

En metalógica, la consistencia o consistencia lógica es la propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema.

¡Nuevo!!: Lógica y Consistencia (lógica) · Ver más »

Correspondencia de Curry-Howard

En teoría de la demostración y teoría de lenguajes de programación, la correspondencia de Curry-Howard (también llamada isomorfismo de Curry-Howard) es la relación directa que guardan las demostraciones matemáticas con los programas de ordenador.

¡Nuevo!!: Lógica y Correspondencia de Curry-Howard · Ver más »

Creencia

Las creencias son estados de la mente en los que uno supone que algo es verdadero o probable.

¡Nuevo!!: Lógica y Creencia · Ver más »

Cuantificador

En lógica formal, un cuantificador es una expresión que indica la cantidad de veces que un predicado o propiedad P se satisface dentro de una determinada clase (por ejemplo, pertenencia, equivalencia u orden).

¡Nuevo!!: Lógica y Cuantificador · Ver más »

Cultura

El término cultura (del latín cultūra) tiene muchos significados interrelacionados, es decir, es un término polisémico.

¡Nuevo!!: Lógica y Cultura · Ver más »

David Hilbert

David Hilbert (Königsberg, Prusia Oriental; 23 de enero de 1862-Gotinga, Alemania; 14 de febrero de 1943) fue un matemático alemán, reconocido como uno de los más influyentes del y principios del XX.

¡Nuevo!!: Lógica y David Hilbert · Ver más »

Definición

Una definición es una proposición o conjunto de proposiciones que exponen de manera unívoca y con precisión la comprensión de un concepto, término o dicción o –si consta de dos o más palabras– de una expresión o locución.

¡Nuevo!!: Lógica y Definición · Ver más »

Demostración en matemática

En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática.

¡Nuevo!!: Lógica y Demostración en matemática · Ver más »

Denotación

En semántica lingüística y filosofía del lenguaje, la denotación de una palabra o expresión es su sentido literal, aquella parte del significado cuya definición es más objetiva, es decir, no varía entre los hablantes.

¡Nuevo!!: Lógica y Denotación · Ver más »

Derecho

El derecho puede definirse como un sistema de principios y normas, generalmente inspirados en ideas de justicia y orden, que regulan la conducta humana en toda sociedad y cuyo cumplimiento puede imponerse de forma coactiva por el poder público.

¡Nuevo!!: Lógica y Derecho · Ver más »

Dialéctica

La dialéctica —del griego διαλεκτική (dialektikḗ), τέχνη (tékhnē), literalmente: técnica de la conversación; con igual significado, en latín (ars) dialectica— es una rama de la filosofía cuyo ámbito y alcance han variado significativamente a lo largo de la historia.

¡Nuevo!!: Lógica y Dialéctica · Ver más »

Dialelo

El dialelo (del griego diallēlos, «recíproco»), también llamado círculo vicioso, es una estructura lógica que consiste en una petición de principio con el cual se intenta probar una cosa mediante otra, y esta segunda mediante la primera.

¡Nuevo!!: Lógica y Dialelo · Ver más »

Dialeteismo

El dialeteismo es la creencia de que existen proposiciones verdaderas, cuyas negaciones también son verdaderas.

¡Nuevo!!: Lógica y Dialeteismo · Ver más »

Dicotomía

Dicotomía (del griego dichótomos, «dividido en partes» o «cortado en dos partes») etimológicamente proviene de dícha «en dos partes» y témnein «cortar»; es un concepto que tiene distintos significados.

¡Nuevo!!: Lógica y Dicotomía · Ver más »

Discurso

Un discurso (del latín discursus) o alocución en público ha significado tradicionalmente el acto de hablar cara a cara a una audiencia en vivo, pero hoy en día incluye cualquier forma de hablar (formal e informalmente) a una audiencia, incluido el discurso pregrabado pronunciado a gran distancia por medios de tecnología.

¡Nuevo!!: Lógica y Discurso · Ver más »

Edad Antigua

La Antigüedad, también llamada Edad Antigua o Periodo Antiguo según el contexto, es un periodo histórico comprendido entre el final de la prehistoria —generalmente con la invención de la escritura y con ello la historia escrita— y una fecha variable según el área geográfica en cuestión.

¡Nuevo!!: Lógica y Edad Antigua · Ver más »

Edward N. Zalta

Edward N. Zalta (1952) es un filósofo estadounidense, que trabaja como investigador en el Centro de Estudios e Investigación de la Lengua y la Información de la Universidad de Stanford Sus intereses de investigación incluyen metafísica, epistemología, lógica, filosofía, filosofía del lenguaje, la lógica intencional, filosofía de las matemáticas y la filosofía de la mente.

¡Nuevo!!: Lógica y Edward N. Zalta · Ver más »

Efectividad

La efectividad es el equilibrio entre eficacia y eficiencia, es decir, se es efectivo si se es eficaz y eficiente.

¡Nuevo!!: Lógica y Efectividad · Ver más »

Enciclopedia Británica

La Enciclopedia Británica (en latín: Encyclopædia Britannica) es una enciclopedia en inglés de conocimiento general, editada por Encyclopædia Britannica, Inc., una empresa privada.

¡Nuevo!!: Lógica y Enciclopedia Británica · Ver más »

Enunciación

La enunciación es la totalidad de la situación lingüística y situación extralingüística en la que se produce el enunciado y los factores que intervienen en su producción y en su interpretación.

¡Nuevo!!: Lógica y Enunciación · Ver más »

Epistemología

La epistemología, del griego ἐπιστήμη ─epistḗmē («conocimiento justificado como verdad»)─ y λόγος ─lógos («estudio»)─, es la rama de la filosofía que estudia el conocimiento: su naturaleza, posibilidad, alcance y fundamentos.

¡Nuevo!!: Lógica y Epistemología · Ver más »

Escepticismo filosófico

El escepticismo es una teoría del conocimiento que afirma la inexistencia de la verdad, o que, si existe, el ser humano es incapaz de conocerla.

¡Nuevo!!: Lógica y Escepticismo filosófico · Ver más »

Estoicismo

El estoicismo es una escuela filosófica fundada por Zenón de Citio en Atenas a principios del Es una filosofía de ética personal basada en su sistema lógico y sus puntos de vista sobre el mundo natural.

¡Nuevo!!: Lógica y Estoicismo · Ver más »

Evidencia

Evidencia (del latín, ēvidens 'visible, evidente, manifiesto') para una proposición es lo que apoya esta proposición.

¡Nuevo!!: Lógica y Evidencia · Ver más »

Falacia

En lógica, una falacia (del latín fallacia ‘engaño’) es un argumento que parece válido, pero no lo es.

¡Nuevo!!: Lógica y Falacia · Ver más »

Filosofía

La filosofía (del griego ‘amor a la sabiduría’, derivado de, fileîn, ‘amar’, y, sofía, ‘sabiduría’; trans. en latín como philosophĭa) es una disciplina académica y «conjunto de reflexiones sobre la esencia, las propiedades, las causas y los efectos de las cosas naturales, especialmente sobre el hombre y el universo».

¡Nuevo!!: Lógica y Filosofía · Ver más »

Filosofía analítica

La filosofía analítica es una rama de la filosofía desarrollada a principios del a partir de las obras de Bertrand Russell, George Edward Moore, Gottlob Frege, varios miembros del Círculo de Viena y Ludwig Wittgenstein, entre otros.

¡Nuevo!!: Lógica y Filosofía analítica · Ver más »

Filosofía de la lógica

La filosofía de la lógica es el área de la filosofía que estudia el alcance y la naturaleza de la lógica.

¡Nuevo!!: Lógica y Filosofía de la lógica · Ver más »

Forma lógica

La forma lógica de una proposición es la representación de su contenido y sintaxis usando las herramientas de la lógica, en particular el simbolismo del cálculo proposicional y el cálculo de predicados.

¡Nuevo!!: Lógica y Forma lógica · Ver más »

Friedrich Nietzsche

Friedrich Wilhelm Nietzsche (Röcken, -Weimar) fue un filósofo, poeta, músico y filólogo alemán, cuya obra ha ejercido una profunda influencia en el pensamiento mundial contemporáneo y en la cultura occidental.

¡Nuevo!!: Lógica y Friedrich Nietzsche · Ver más »

Garrett Birkhoff

Garrett Birkhoff (Princeton, Nueva Jersey; 19 de enero de 1911-Water Mill, Nueva York; 22 de noviembre de 1996) fue un matemático estadounidense nacido en Princeton, Nueva Jersey y fallecido en Water Mill, Nueva York.

¡Nuevo!!: Lógica y Garrett Birkhoff · Ver más »

Georg Lukács

Georg Lukács (en húngaro: Lukács György, pr.; nacido Löwinger György Bernát; Budapest, -Budapest) fue un historiador, filósofo marxista y crítico literario húngaro de origen judío.

¡Nuevo!!: Lógica y Georg Lukács · Ver más »

Georg Wilhelm Friedrich Hegel

Georg Wilhelm Friedrich Hegel (Stuttgart, 27 de agosto de 1770-Berlín, 14 de noviembre de 1831) fue el filósofo más notable del Idealismo alemán, el último de la Modernidad, llamado incluso la "conciencia de la modernidad".

¡Nuevo!!: Lógica y Georg Wilhelm Friedrich Hegel · Ver más »

George Boolos

George Stephen Boolos (4 de septiembre de 1940, Nueva York – 27 de mayo de 1996) fue un filósofo y estudioso de lógica matemática que enseñó en el Massachusetts Institute of Technology.

¡Nuevo!!: Lógica y George Boolos · Ver más »

Gerhard Gentzen

Gerhard Gentzen (Greifswald, Alemania, 24 de noviembre de 1909 - Praga, República Checa, 4 de agosto de 1945) fue un matemático y lógico alemán.

¡Nuevo!!: Lógica y Gerhard Gentzen · Ver más »

Gottfried Leibniz

Gottfried Wilhelm Leibniz, a veces Gottfried Wilhelm von Leibniz (Leipzig, 1 de julio de 1646-Hannover, 14 de noviembre de 1716), fue un polímata, filósofo, matemático, lógico, teólogo, jurista, bibliotecario y político alemán.

¡Nuevo!!: Lógica y Gottfried Leibniz · Ver más »

Gottlob Frege

Friedrich Ludwig Gottlob Frege (Wismar, 8 de noviembre de 1848 - Bad Kleinen, 26 de julio de 1925) fue un matemático, lógico y filósofo alemán.

¡Nuevo!!: Lógica y Gottlob Frege · Ver más »

Graham Priest

Graham Priest (Londres, 1948) es un filósofo conocido por su defensa del dialeteismo y sus análisis de las paradojas semánticas.

¡Nuevo!!: Lógica y Graham Priest · Ver más »

Grecia

Grecia (Ελλάδα, Elláda), oficialmente llamada República Helénica (Ελληνική Δημοκρατία, Ellinikí Dimokratía), es uno de los veintisiete Estados soberanos que forman la Unión Europea.

¡Nuevo!!: Lógica y Grecia · Ver más »

Griego antiguo

El nombre genérico de griego antiguo (autoglotónimo: Ἀρχαία Ἑλληνικὴ γλῶσσα/γλῶττα; griego moderno: Αρχαία ελληνική γλώσσα o Αρχαία ελληνικά; Lingua Palaeograeca o Lingua Graeca antiqua en latín), se refiere a todas las lenguas, dialectos y variantes de la lengua griega hablados durante la Antigüedad: griego homérico, arcaico, clásico, helenístico, dórico, jónico, ático, entre otros, sin hacer distinción entre ellos.

¡Nuevo!!: Lógica y Griego antiguo · Ver más »

Henry Liddell

El Gran Reverendo Henry George Liddell (6 de febrero de 1811-18 de enero de 1898) fue Vicecanciller de la Universidad de Oxford, capellán de la Christ Church de Oxford, y coautor (con el filólogo Robert Scott) de la monumental obra A Greek-English Lexicon, que todavía se utiliza hoy día y es gran herramienta e imprescindible para la traducción de textos en las universidades de todo el mundo y a nivel particular.

¡Nuevo!!: Lógica y Henry Liddell · Ver más »

Hilary Putnam

Hilary Whitehall Putnam (Chicago, Illinois; 31 de julio de 1926–Arlington, Massachusetts; 13 de marzo de 2016) fue un filósofo, matemático e informático teórico estadounidense.

¡Nuevo!!: Lógica e Hilary Putnam · Ver más »

Idea

Una idea (del griego ἰδέα 'aspecto, apariencia, forma', relacionado con εῖδος eîdos, ‘vista, visión, aspecto’) es una representación mental que surge a partir del razonamiento o de la imaginación de una persona.

¡Nuevo!!: Lógica e Idea · Ver más »

Immanuel Kant

Immanuel Kant (Königsberg, Prusia; 22 de abril de 1724-Königsberg, Prusia; 12 de febrero de 1804) fue un filósofo prusiano de la Ilustración.

¡Nuevo!!: Lógica e Immanuel Kant · Ver más »

India

La India, oficialmente República de la India (भारत गणराज्य), es un país soberano ubicado en Asia del Sur.

¡Nuevo!!: Lógica e India · Ver más »

Inferencia

La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas o hipótesis iniciales.

¡Nuevo!!: Lógica e Inferencia · Ver más »

Informática

La informática, también llamada computación, es el área de la ciencia que se encarga de estudiar la administración de métodos, técnicas y procesos con el fin de almacenar, procesar y transmitir información y datos en formato digital.

¡Nuevo!!: Lógica e Informática · Ver más »

Inteligencia artificial

La inteligencia artificial (IA), en el contexto de las ciencias de la computación, es una disciplina y un conjunto de capacidades cognoscitivas e intelectuales expresadas por sistemas informáticos o combinaciones de algoritmos cuyo propósito es la creación de máquinas que imiten la inteligencia humana para realizar tareas, y que pueden mejorar conforme recopilen información.

¡Nuevo!!: Lógica e Inteligencia artificial · Ver más »

Interdisciplinariedad

El término interdisciplinariedad expresa la cualidad de ser interdisciplinario.

¡Nuevo!!: Lógica e Interdisciplinariedad · Ver más »

Intuicionismo

En filosofía de las matemáticas, el intuicionismo o neointuicionismo (contrario a preintuicionismo) es una aproximación a las matemáticas que considera todo objeto matemático como producto de la mente humana.

¡Nuevo!!: Lógica e Intuicionismo · Ver más »

Jan Łukasiewicz

Jan Łukasiewicz (21 de diciembre de 1878 - 13 de febrero de 1956) fue un matemático, lógico y filósofo polaco que nació en Leópolis, Galitzia (actual Ucrania).

¡Nuevo!!: Lógica y Jan Łukasiewicz · Ver más »

Józef Maria Bocheński

Józef Maria Bocheński (Czuszow, Polonia del Congreso, Imperio ruso, 30 de agosto de 1902 - Friburgo, Suiza, 8 de febrero de 1995) fue un fraile dominico, destacado filósofo dedicado a la lógica.

¡Nuevo!!: Lógica y Józef Maria Bocheński · Ver más »

Jürgen Habermas

Jürgen Habermas (Düsseldorf, 18 de junio de 1929) es un filósofo y sociólogo alemán conocido por sus trabajos en filosofía política, ética y teoría del derecho, así como en filosofía del lenguaje.

¡Nuevo!!: Lógica y Jürgen Habermas · Ver más »

John von Neumann

John von Neumann (registrado al nacer como Neumann János Lajos; Budapest, Imperio austrohúngaro, 28 de diciembre de 1903-Washington D. C., Estados Unidos, 8 de febrero de 1957) fue un matemático húngaroestadounidense que realizó contribuciones fundamentales en física cuántica, análisis funcional, teoría de conjuntos, teoría de juegos, ciencias de la computación, economía, análisis numérico, cibernética, hidrodinámica, estadística y muchos otros campos.

¡Nuevo!!: Lógica y John von Neumann · Ver más »

Lógica clásica

Una lógica clásica o lógica estándar es un sistema formal que respeta los siguientes principios.

¡Nuevo!!: Lógica y Lógica clásica · Ver más »

Lógica computacional

La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación.

¡Nuevo!!: Lógica y Lógica computacional · Ver más »

Lógica cuántica

En física, la lógica cuántica es el conjunto de reglas algebraicas que rigen las operaciones para combinar y los predicados para relacionar proposiciones asociadas a acontecimientos físicos que se observan a escalas atómicas.

¡Nuevo!!: Lógica y Lógica cuántica · Ver más »

Lógica de primer orden

Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.

¡Nuevo!!: Lógica y Lógica de primer orden · Ver más »

Lógica de segundo orden

Una lógica de segundo orden es una extensión de una lógica de primer orden en la que se añaden variables que representan propiedades, funciones y relaciones, y cuantificadores que operan sobre esas variables.

¡Nuevo!!: Lógica y Lógica de segundo orden · Ver más »

Lógica de términos

Lógica de términos, escuela de lógica que surgió en la Europa del y que dominó las universidades hasta su postergación en las reformas humanísticas.

¡Nuevo!!: Lógica y Lógica de términos · Ver más »

Lógica deóntica

La lógica deóntica (del griego δέον déon 'lo debido, lo necesario') es la lógica de las normas y de las ideas normativas.

¡Nuevo!!: Lógica y Lógica deóntica · Ver más »

Lógica dialéctica

La lógica dialéctica es el sistema de leyes del pensamiento y la forma de razonar, desarrollado inicialmente por Elí de Gortari en introducción a la lógica dialéctica dentro de las tradiciones hegeliana y marxista, que busca hacer una mediación entre la lógica formal «pura» y el análisis dialéctico de las contradicciones en el movimiento.

¡Nuevo!!: Lógica y Lógica dialéctica · Ver más »

Lógica difusa

La lógica difusa (también llamada lógica borrosa (fuzzy logic)) es una lógica paraconsistente multivaluada en la cual los valores de verdad de las variables pueden ser cualquier número real comprendido entre 0 y 1.

¡Nuevo!!: Lógica y Lógica difusa · Ver más »

Lógica doxástica

La lógica doxástica (del griego antiguo δόξα, doxa, "creencia") es un sistema lógico que se ocupa del razonamiento acerca de las creencias.

¡Nuevo!!: Lógica y Lógica doxástica · Ver más »

Lógica epistémica

La lógica epistémica es un campo de la lógica modal que se ocupa del razonamiento sobre el conocimiento.

¡Nuevo!!: Lógica y Lógica epistémica · Ver más »

Lógica filosófica

Entendida en un sentido estricto, la lógica filosófica es el área de la filosofía que estudia la aplicación de métodos lógicos a problemas filosóficos, a menudo en forma de sistemas lógicos extendidos como la lógica modal.

¡Nuevo!!: Lógica y Lógica filosófica · Ver más »

Lógica infinitaria

Una lógica infinita es una lógica que permite declaraciones infinitamente largas y / o pruebas infinitamente largas.

¡Nuevo!!: Lógica y Lógica infinitaria · Ver más »

Lógica informal

La lógica informal, o lógica no formal, es el estudio de los argumentos a posteriori en oposición al estudio técnico y teórico de la lógica matemática.

¡Nuevo!!: Lógica y Lógica informal · Ver más »

Lógica intuicionista

La lógica intuicionista, o lógica constructivista, es el sistema lógico originalmente desarrollado por Arend Heyting para proveer una base formal para el proyecto intuicionista de Brouwer.

¡Nuevo!!: Lógica y Lógica intuicionista · Ver más »

Lógica matemática

La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística, es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia.

¡Nuevo!!: Lógica y Lógica matemática · Ver más »

Lógica modal

Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.

¡Nuevo!!: Lógica y Lógica modal · Ver más »

Lógica no clásica

Una lógica no clásica o lógica alternativa es un sistema formal que difiere de manera significativa de las lógicas clásicas.

¡Nuevo!!: Lógica y Lógica no clásica · Ver más »

Lógica paraconsistente

Una lógica paraconsistente es un sistema lógico que intenta tratar las contradicciones en forma atenuada.

¡Nuevo!!: Lógica y Lógica paraconsistente · Ver más »

Lógica plurivalente

Una lógica plurivalente o lógica polivalente es un sistema lógico que rechaza el principio del tercero excluido de las lógicas bivalentes y admite más valores de verdad que los tradicionales verdadero y falso.

¡Nuevo!!: Lógica y Lógica plurivalente · Ver más »

Lógica proposicional

La lógica proposicional, también llamada lógica de enunciados, lógica de orden cero o cálculo proposicional, es un sistema formal cuyos elementos más simples representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.

¡Nuevo!!: Lógica y Lógica proposicional · Ver más »

Lógica relevante

La lógica relevante, también llamada lógica de relevancia, es toda lógica perteneciente a una de las familias de lógicas sub-estructurales no clásicas que impone ciertas restricciones en la implicación.

¡Nuevo!!: Lógica y Lógica relevante · Ver más »

Lógica temporal

La lógica temporal es una extensión de la lógica modal, la cual es prácticamente usada en sistemas de reglas, donde está presente el tiempo.

¡Nuevo!!: Lógica y Lógica temporal · Ver más »

Lógica trivalente

Se llama lógica ternaria o lógica trivalente a cualquier sistema lógico multivaluado en el que hay tres valores de verdad, indicando Verdadero, Falso y algún otro valor indeterminado.

¡Nuevo!!: Lógica y Lógica trivalente · Ver más »

Lenguaje de programación

Un lenguaje de programación es un lenguaje formal (o artificial, es decir, un lenguaje con reglas gramaticales bien definidas) que proporciona a una persona, en este caso el programador, la capacidad y habilidad de escribir (o programar) una serie de instrucciones o secuencias de órdenes en forma de algoritmos con el fin de controlar el comportamiento físico o lógico de un sistema informático, para que de esa manera se puedan obtener diversas clases de datos o ejecutar determinadas tareas.

¡Nuevo!!: Lógica y Lenguaje de programación · Ver más »

Lenguaje formal

En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos son primitivos y las reglas para unir esos símbolos están formalmente especificadas.

¡Nuevo!!: Lógica y Lenguaje formal · Ver más »

Lingüística

La lingüística (del francés linguistique; este de linguiste ‘lingüista’ y aquel del latín lingua ‘lengua’) es el estudio científico del origen, la evolución y la estructura del lenguaje, a fin de deducir las leyes que rigen las lenguas (antiguas y modernas).

¡Nuevo!!: Lógica y Lingüística · Ver más »

Lingüística computacional

La lingüística computacional es un campo interdisciplinario que se ocupa del desarrollo de formalismos del funcionamiento del lenguaje natural, tales que puedan ser transformados en programas ejecutables para un ordenador.

¡Nuevo!!: Lógica y Lingüística computacional · Ver más »

Logos

Logos (en griego λóγος -lógos-) es una palabra griega que tiene varios matices de significado: Logos es la palabra en cuanto meditada, reflexionada o razonada.

¡Nuevo!!: Lógica y Logos · Ver más »

Matemáticas

Las matemáticas, o también la matemática, La palabra «matemáticas» no está en el Diccionario de la Real Academia Española.

¡Nuevo!!: Lógica y Matemáticas · Ver más »

Método científico

El método científico es una metodología para obtener nuevos conocimientos, que ha caracterizado históricamente a la ciencia y que consiste en la observación sistemática, medición, experimentación y la formulación, análisis y modificación de hipótesis.

¡Nuevo!!: Lógica y Método científico · Ver más »

MC-14

MC-14 es una abreviatura de método científico consistente en 14 etapas.

¡Nuevo!!: Lógica y MC-14 · Ver más »

Mecánica

La mecánica (en griego, Μηχανική y en latín, mēchanica) o arte de construir una máquina es la rama de la física que estudia y analiza el movimiento y reposo de los cuerpos, y su evolución en el tiempo, bajo la acción de fuerzas.

¡Nuevo!!: Lógica y Mecánica · Ver más »

Metafísica

La metafísica (del latín metaphysica, y este del griego μετὰ φυσικά, «después de la naturaleza») es la rama de la filosofía que estudia la estructura, componentes y principios fundamentales de la realidad.

¡Nuevo!!: Lógica y Metafísica · Ver más »

Metodología

La metodología (del griego μέθοδος de μετά metá 'más allá, después, con', οδως odós 'camino' y λογος logos 'razón, estudio') hace referencia al conjunto de procedimientos racionales utilizados para alcanzar el objetivo o la gama de objetivos que rige una investigación científica, una exposición doctrinal o tareas que requieran habilidades, conocimientos o cuidados específicos.

¡Nuevo!!: Lógica y Metodología · Ver más »

Michael Dummett

Michael Anthony Eardley Dummett F.B.A. (27 de junio de 1925- 27 de diciembre de 2011) fue un destacado filósofo británico, particularmente conocido por su labor como comentarista de Gottlob Frege.

¡Nuevo!!: Lógica y Michael Dummett · Ver más »

Modalidad

En lingüística, la modalidad puede entenderse desde distintas perspectivas, la que predomina es la categoría gramatical, que se refiere a la expresión de la actitud del hablante respecto al contenido proposicional del enunciado, lo que se conoce como el "estatus" del enunciado.

¡Nuevo!!: Lógica y Modalidad · Ver más »

Monotonicidad de la implicación

La monotonicidad de la implicación es una propiedad de muchos sistemas lógicos que afirma que las hipótesis de cualquier hecho derivado pueden extenderse libremente con supuestos adicionales.

¡Nuevo!!: Lógica y Monotonicidad de la implicación · Ver más »

Número real

En matemáticas, el conjunto de los números reales (denotado por R o por ℝ) incluye tanto los números racionales (positivos, negativos y el cero) como los números irracionales; y en otro enfoque, a los trascendentes y a los algebraicos.

¡Nuevo!!: Lógica y Número real · Ver más »

Negación lógica

En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos.

¡Nuevo!!: Lógica y Negación lógica · Ver más »

Nikolái Vasíliev

Nikolái Aleksándrovich Vasíliev Николай Александрович Васильев también transcrito Vasil'ev, Vassilieff o Wassilieff (Kazán, 11 de julio de 1880-31 de diciembre de 1940) fue un lógico, filósofo, sicólogo y poeta ruso simbolista, precursor de la lógica paraconsistente y la lógica polivalente.

¡Nuevo!!: Lógica y Nikolái Vasíliev · Ver más »

Nuel Belnap

Nuel D. Belnap, Jr. (n., Evanston, Illinois) es un filósofo y lógico estadounidense que ha realizado importantes aportes en el campo de la filosofía de la lógica, lógica temporal, y teoría de la demostración estructural.

¡Nuevo!!: Lógica y Nuel Belnap · Ver más »

Nyāya (hinduismo)

El nyāya (pronunciación aproximada "niaaia", lit. «recursión, regla, método») es uno de los seis darshana o doctrinas ortodoxas (astika) hinduistas.

¡Nuevo!!: Lógica y Nyāya (hinduismo) · Ver más »

Online Etymology Dictionary

El Online Etymology Dictionary es un diccionario en línea en el que se describe la etimología de las palabras en lengua inglesa.

¡Nuevo!!: Lógica y Online Etymology Dictionary · Ver más »

Oxford University Press

Oxford University Press (OUP) es la casa editorial de mayor reconocimiento en el Reino Unido y una de las más prestigiosas a nivel mundial.

¡Nuevo!!: Lógica y Oxford University Press · Ver más »

Palabra

En gramática tradicional, una palabra (del latín parabŏla) es una unidad de significado que se separa de las demás mediante pausas potenciales en el habla y blancos en la escritura.

¡Nuevo!!: Lógica y Palabra · Ver más »

Paradoja

Una paradoja (del latín paradoxa, ‘lo contrario a la opinión común’) o antilogía es una idea lógicamente contradictoria u opuesta a lo que se considera verdadero a la opinión general.

¡Nuevo!!: Lógica y Paradoja · Ver más »

Paradoja de Russell

La paradoja de Russell o paradoja del barbero, acreditada a Bertrand Russell, demuestra que la teoría original de conjuntos formulada por Cantor y Frege es contradictoria.

¡Nuevo!!: Lógica y Paradoja de Russell · Ver más »

Paradojas de la implicación material

Las paradojas de la implicación material son un conjunto de fórmulas de la lógica proposicional, reconocidas como verdades lógicas, pero que golpean al sentido común como cuestionables, o incluso absurdas.

¡Nuevo!!: Lógica y Paradojas de la implicación material · Ver más »

Pensamiento

En su sentido más común, los términos pensamiento y pensar se refieren a procesos cognitivos conscientes que pueden ocurrir independientemente de la estimulación sensorial.

¡Nuevo!!: Lógica y Pensamiento · Ver más »

Pragmática

La pragmática o pragmalingüística es la rama de la lingüística que se interesa por la influencia del contexto en la interpretación del significado.

¡Nuevo!!: Lógica y Pragmática · Ver más »

Pragmática conversacional

La pragmática conversacional es una teoría pragmática lingüística propuesta en 1975 por el filósofo inglés Paul Grice con intención descriptiva, aunque fuera formulada de manera prescriptiva.

¡Nuevo!!: Lógica y Pragmática conversacional · Ver más »

Primeros analíticos

Primeros analíticos (en griego antiguo Ἀναλυτικῶν προτέρων, en latín Analytica priora, abreviado An. Pr) es un texto del filósofo griego Aristóteles.

¡Nuevo!!: Lógica y Primeros analíticos · Ver más »

Principia Mathematica

Principia mathematica es un conjunto de tres libros con las bases de la matemática escritos por Bertrand Russell y Alfred North Whitehead y publicados entre 1910 y 1913.

¡Nuevo!!: Lógica y Principia Mathematica · Ver más »

Principio

En su acepción primaria, principio es lo que está al inicio de algo (está al principio).

¡Nuevo!!: Lógica y Principio · Ver más »

Principio de bivalencia

En lógica, el principio semántico o ley de bivalencia establece que cada frase declarativa que expresa una proposición (de una teoría que se inspecciona) tiene exactamente un valor de verdad, ya sea cierta o falsa. La forma lógica de satisfacer este principio se llama lógica de dos valores o lógica bivalente.

¡Nuevo!!: Lógica y Principio de bivalencia · Ver más »

Principio de explosión

El principio de explosión es un principio de la lógica clásica y de algunos otros sistemas lógicos (por ejemplo, la lógica intuicionista) según el cual de una proposición contradictoria se puede deducir cualquier otra proposición.

¡Nuevo!!: Lógica y Principio de explosión · Ver más »

Principio de identidad

El principio de identidad es un principio clásico de la lógica y la filosofía, según el cual toda entidad es idéntica a sí misma.

¡Nuevo!!: Lógica y Principio de identidad · Ver más »

Principio de no contradicción

El principio de no contradicción (PNC), o a veces llamado principio de contradicción, ley de la contradicción o ley de no contradicción, es un principio clásico de la lógica y la filosofía, según el cual una proposición (A) y su negación (\neg A) no pueden ser ambas verdaderas al mismo tiempo y en el mismo sentido.

¡Nuevo!!: Lógica y Principio de no contradicción · Ver más »

Principio del tercero excluido

El principio del tercero excluido, propuesto y formalizado por Aristóteles, también llamado principio del cuarto excluido o excluso o en latín principium tertii exclusi o bien tertium non datur (“una tercera cosa no se da”), es un principio de lógica clásica según el cual si existe una proposición que afirma algo, y otra que lo contradice, una de las dos debe ser verdadera, y una tercera opción no es posible.

¡Nuevo!!: Lógica y Principio del tercero excluido · Ver más »

Probabilidad

La probabilidad es una medida de la certidumbre de que ocurra un evento.

¡Nuevo!!: Lógica y Probabilidad · Ver más »

Proposición

En filosofía y lógica, el término proposición se usa para referirse a.

¡Nuevo!!: Lógica y Proposición · Ver más »

Proyecto Perseus

Perseus Project es un proyecto de biblioteca digital de la Universidad Tufts que reúne una colección digital de fuentes de las Humanidades, presentada por el Departamento de Clásicas.

¡Nuevo!!: Lógica y Proyecto Perseus · Ver más »

Razón

La razón es la facultad del ser humano de pensar, reflexionar para llegar a una conclusión o formar juicios de una determinada situación o cosa.

¡Nuevo!!: Lógica y Razón · Ver más »

Razonamiento

En sentido amplio, se entiende por razonamiento a la facultad que permite resolver problemas, extraer conclusiones y aprender de manera consciente de los hechos, estableciendo conexiones causales y lógicas necesarias entre ellos.

¡Nuevo!!: Lógica y Razonamiento · Ver más »

Razonamiento deductivo

El razonamiento deductivo o deducción es el proceso de sacar inferencias deductivas.

¡Nuevo!!: Lógica y Razonamiento deductivo · Ver más »

Razonamiento inductivo

El razonamiento inductivo o inducción es una forma de razonamiento en que la verdad de las premisas apoyan la conclusión, pero no la garantizan.

¡Nuevo!!: Lógica y Razonamiento inductivo · Ver más »

Realismo filosófico

En metafísica, el realismo filosófico es aquella postura que manifiesta que los objetos tienen una existencia independiente del sujeto que lo observa.

¡Nuevo!!: Lógica y Realismo filosófico · Ver más »

Relatividad general

La teoría general de la relatividad o relatividad general es una teoría del campo gravitatorio y de los sistemas de referencia generales, publicada por Albert Einstein en 1915 y 1916.

¡Nuevo!!: Lógica y Relatividad general · Ver más »

República Popular China

La República Popular China (RPC), mayormente conocida como China, es un país soberano de Asia Oriental.

¡Nuevo!!: Lógica y República Popular China · Ver más »

Retórica

La retórica es, desde su fundación disciplinar aristotélica, la «ciencia del discurso», otorgando a éste una finalidad persuasiva y teniendo como objeto los asuntos generales.

¡Nuevo!!: Lógica y Retórica · Ver más »

Saul Kripke

Saul Aaron Kripke (Bay Shore, Nueva York, 13 de noviembre de 1940-15 de septiembre de 2022) fue un profesor, filósofo y lógico estadounidense.

¡Nuevo!!: Lógica y Saul Kripke · Ver más »

Semántica

El término semántica se refiere al estudio de diversos aspectos del significado, sentido o interpretación de signos lingüísticos como símbolos, palabras, expresiones o representaciones formales.

¡Nuevo!!: Lógica y Semántica · Ver más »

Sentencia atómica

En lógica, una sentencia atómica es un tipo de sentencia declarativa que puede ser verdadera o falsa (también puede ser referido como una proposición, declaración o portador de la verdad) y que no puede ser dividida en otras sentencias más simples.

¡Nuevo!!: Lógica y Sentencia atómica · Ver más »

Sexto Empírico

Sexto Empírico (en latín, Sextus Empiricus; ca. 160 - ca. 210), médico y filósofo griego, es uno de los más importantes representantes del escepticismo pirroniano y fuente de la mayoría de datos referentes a esta corriente filosófica.

¡Nuevo!!: Lógica y Sexto Empírico · Ver más »

Significado (filosofía)

En filosofía, el significado La noción de significación forma una constelación con otras nociones como: sentido, sinsentido, referencia, expresión, representación, verdad, contexto, etc.

¡Nuevo!!: Lógica y Significado (filosofía) · Ver más »

Silogismo

El silogismo (en latín: syllogismus) es un tipo de razonamiento deductivo que hace parte de la lógica, de origen griego.

¡Nuevo!!: Lógica y Silogismo · Ver más »

Sintaxis

La sintaxis es la parte de la gramática que estudia las reglas y principios que gobiernan la combinatoria de constituyentes sintácticos y la formación de unidades superiores a estos, como los sintagmas y las oraciones gramaticales.

¡Nuevo!!: Lógica y Sintaxis · Ver más »

Sistema formal

Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración.

¡Nuevo!!: Lógica y Sistema formal · Ver más »

Sobre la interpretación

De Interpretatione o Sobre la interpretación (griego: Περὶ Ἑρμηνείας, Peri Hermeneias) abreviado como De int, es el segundo texto del Organon de Aristóteles, siendo una de las obras filosóficas más antiguas que se conservan en la tradición occidental para hacer frente a la relación entre el lenguaje y la lógica de manera integral, explícita y formal.

¡Nuevo!!: Lógica y Sobre la interpretación · Ver más »

Sociología

La sociología es la ciencia social que se encarga del análisis científico de la sociedad humana o población regional.

¡Nuevo!!: Lógica y Sociología · Ver más »

Stanford Encyclopedia of Philosophy

La Enciclopedia de filosofía de Stanford (SEP) es una enciclopedia de libre acceso en línea mantenida por la Universidad de Stanford.

¡Nuevo!!: Lógica y Stanford Encyclopedia of Philosophy · Ver más »

Stephen Kleene

Stephen Cole Kleene (Hartford, Connecticut; 5 de enero de 1909-Madison, Wisconsin; 25 de enero de 1994) fue un lógico y matemático estadounidense.

¡Nuevo!!: Lógica y Stephen Kleene · Ver más »

Stewart Shapiro

Stewart D. Shapiro.

¡Nuevo!!: Lógica y Stewart Shapiro · Ver más »

Susan Haack

Susan Haack (nacida en 1945, Inglaterra) es una profesora de filosofía y derecho británica.

¡Nuevo!!: Lógica y Susan Haack · Ver más »

Teoría

Una teoría (del griego: theōría) es un sistema lógico-deductivo (o inductivo) constituido por un conjunto de hipótesis, un campo de aplicación (de lo que trata la teoría, el conjunto de cosas que explica) y algunas reglas que permitan extraer consecuencias de las hipótesis.

¡Nuevo!!: Lógica y Teoría · Ver más »

Teoría de conjuntos

La teoría de conjuntos es una rama de laNlab lógica matemática que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas.

¡Nuevo!!: Lógica y Teoría de conjuntos · Ver más »

Teoría de grafos

La teoría de grafos, también llamada teoría de gráficas, es una rama de la matemática y las ciencias de la computación que estudia las propiedades de los grafos.

¡Nuevo!!: Lógica y Teoría de grafos · Ver más »

Teoría de la argumentación

La teoría de la argumentación es el estudio interdisciplinario de la forma en que se obtienen conclusiones a través de la lógica, es decir, mediante premisas.

¡Nuevo!!: Lógica y Teoría de la argumentación · Ver más »

Teoría de modelos

En matemática, teoría de modelos es el estudio de (clases de) estructuras matemáticas tales como grupos, cuerpos, grafos, o incluso universos de teoría de conjuntos, en relación con las teorías axiomáticas y la lógica matemática.

¡Nuevo!!: Lógica y Teoría de modelos · Ver más »

Tertium comparationis

'Tertium comparationis' (en latín: "la tercera parte de la comparación") es "la calidad que tienen en común dos cosas que se comparan".

¡Nuevo!!: Lógica y Tertium comparationis · Ver más »

Tradición

Tradición es cada una de aquellas pautas de convivencia que una comunidad considera dignas de constituirse y mantenerse de generación en generación.

¡Nuevo!!: Lógica y Tradición · Ver más »

Validez (lógica)

En lógica, la validez es una propiedad que tienen los argumentos cuando las premisas implican la conclusión.

¡Nuevo!!: Lógica y Validez (lógica) · Ver más »

Verdad

La verdad es la coincidencia entre una afirmación y los hechos, o la realidad a la que dicha afirmación se refiereMerriam-Webster's Online Dictionary,, 2005.

¡Nuevo!!: Lógica y Verdad · Ver más »

Verdad lógica

Una verdad lógica o verdad matemática es una fórmula bien formada de un lenguaje formal que es verdadera bajo todas las interpretaciones de los componentes (distintos de las constantes lógicas) de ese lenguaje.

¡Nuevo!!: Lógica y Verdad lógica · Ver más »

Wilhelm Ackermann

Wilhelm Ackermann (29 de marzo de 1896 - 24 de diciembre de 1962) fue un matemático alemán.

¡Nuevo!!: Lógica y Wilhelm Ackermann · Ver más »

Willard Van Orman Quine

Willard Van Orman Quine (Akron, Ohio; -Boston, Massachusetts) fue un filósofo estadounidense, reconocido por su trabajo en lógica matemática y sus contribuciones al pragmatismo como una teoría del conocimiento.

¡Nuevo!!: Lógica y Willard Van Orman Quine · Ver más »

Redirecciona aquí:

Logica, Logico, Lógicas, Lógico, Pensamiento logico, Pensamiento lógico.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »