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.