¡Más rápido que el navegador!
70 relaciones: Alonzo Church, Aristóteles, Avicena, Axioma, Axioma de elección, Axiomas de Peano, Berkeley (California), Bicondicional, Bola (matemática), California, Cálculo lógico, Consecuencia lógica, Consistencia (lógica), David Hilbert, Decidibilidad, Donald Davidson, Estados Unidos, Fernando Broncano, Filosofía, Filosofía analítica, Filosofía de la ciencia, Fisicalismo, Geometría euclidiana, Georg Wilhelm Friedrich Hegel, Gottfried Leibniz, Gottlob Frege, Idioma español, Iglesia católica, Inconmensurabilidad (filosofía), Isaac Israeli, Jesús Padilla Gálvez, Julia Robinson, Karl Popper, Karl-Otto Apel, Kurt Gödel, Lógica, Lógica de primer orden, Lógica matemática, Lógica plurivalente, Lógica proposicional, Lenguaje, Matemático, Metalógica, Metalenguaje, Metamatemática, Número natural, Número real, Neopositivismo lógico, Numeración de Gödel, Paradoja de Banach-Tarski, ..., Paradoja de Grelling-Nelson, Paradoja de Richard, Paradoja del mentiroso, Polonia, Principio de no contradicción, Principio del tercero excluido, Realismo filosófico, Richard Montague, Rudolf Carnap, Semántica, Sistema formal, Stefan Banach, Teoría, Teoría de conjuntos, Teoría de modelos, Teorema, Teorema de la deducción, Tomás de Aquino, Varsovia, Verdad. Expandir índice (20 más) »
Alonzo Church
Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico estadounidense creador de la base de la computación teórica.
¡Nuevo!!: Alfred Tarski y Alonzo Church · 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!!: Alfred Tarski y Aristóteles · 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!!: Alfred Tarski y Avicena · Ver más »
Axioma
Axioma es una proposición tan clara y evidente que se admite sin demostración.
¡Nuevo!!: Alfred Tarski y Axioma · Ver más »
Axioma de elección
En teoría de conjuntos, el axioma de elección (o axioma de escogencia), es un axioma que postula que para cada familia de conjuntos no vacíos, existe otro conjunto que contiene un elemento de cada uno de aquellos.
¡Nuevo!!: Alfred Tarski y Axioma de elección · Ver más »
Axiomas de Peano
Los axiomas de Peano o postulados de Peano son un sistema de axiomas de segundo orden para la aritmética ideados por el matemático Giuseppe Peano en el, para definir los números naturales.
¡Nuevo!!: Alfred Tarski y Axiomas de Peano · Ver más »
Berkeley (California)
Berkeley es una ciudad situada en el condado de Alameda, en el estado de California (Estados Unidos).
¡Nuevo!!: Alfred Tarski y Berkeley (California) · 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!!: Alfred Tarski y Bicondicional · Ver más »
Bola (matemática)
Una bola, en topología y otras ramas de la matemática, es el conjunto de puntos que distan de otro igual o menos que una distancia dada, llamada radio.
¡Nuevo!!: Alfred Tarski y Bola (matemática) · Ver más »
California
California es uno de los cincuenta estados que, junto con Washington D.esdC., forman los Estados Unidos.
¡Nuevo!!: Alfred Tarski y California · 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!!: Alfred Tarski y Cálculo lógico · Ver más »
Consecuencia lógica
En lógica, la consecuencia lógica es la relación entre las premisas y la conclusión de un argumento deductivamente válido.
¡Nuevo!!: Alfred Tarski y Consecuencia 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!!: Alfred Tarski y Consistencia (lógica) · 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!!: Alfred Tarski y David Hilbert · Ver más »
Decidibilidad
En metalógica, la decidibilidad es una propiedad de los sistemas formales cuando, para cualquier fórmula en el lenguaje del sistema, existe un método efectivo para determinar si esa fórmula pertenece o no al conjunto de las verdades del sistema.
¡Nuevo!!: Alfred Tarski y Decidibilidad · Ver más »
Donald Davidson
Donald Herbert Davidson (Springfield, Massachusetts, 6 de marzo, 1917 - Berkeley, California, 30 de agosto de 2003) fue un filósofo estadounidense de orientación analítica.
¡Nuevo!!: Alfred Tarski y Donald Davidson · Ver más »
Estados Unidos
«EUA», «US», «USA» y «United States» redirigen aquí.
¡Nuevo!!: Alfred Tarski y Estados Unidos · Ver más »
Fernando Broncano
Fernando Broncano Rodríguez (Linares de Riofrío, Salamanca, 1954) es un filósofo español.
¡Nuevo!!: Alfred Tarski y Fernando Broncano · 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!!: Alfred Tarski 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!!: Alfred Tarski y Filosofía analítica · Ver más »
Filosofía de la ciencia
La filosofía de la ciencia es la rama de la filosofía que investiga el conocimiento científico y la práctica científica.
¡Nuevo!!: Alfred Tarski y Filosofía de la ciencia · Ver más »
Fisicalismo
El fisicalismo es una doctrina filosófica sobre la naturaleza de lo real, que afirma que lo que existe es exclusivamente físico, a lo cual incluso reduce lo mental.
¡Nuevo!!: Alfred Tarski y Fisicalismo · Ver más »
Geometría euclidiana
La geometría euclidiana es un sistema matemático atribuido al antiguo matemático griego Euclides, que describió en su libro de texto sobre geometría: ''Los'' ''Elementos''.
¡Nuevo!!: Alfred Tarski y Geometría euclidiana · 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!!: Alfred Tarski y Georg Wilhelm Friedrich Hegel · 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!!: Alfred Tarski 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!!: Alfred Tarski y Gottlob Frege · Ver más »
Idioma español
El español o castellano es una lengua romance procedente del latín hablado, perteneciente a la familia de lenguas indoeuropeas.
¡Nuevo!!: Alfred Tarski e Idioma español · Ver más »
Iglesia católica
La Iglesia católica (Ecclesia Catholica y Καθολικὴ Ἐκκλησία) es la Iglesia cristiana más numerosa.
¡Nuevo!!: Alfred Tarski e Iglesia católica · Ver más »
Inconmensurabilidad (filosofía)
En filosofía de la ciencia, la inconmensurabilidad es la imposibilidad de comparación de dos teorías cuando no hay un lenguaje teórico común.
¡Nuevo!!: Alfred Tarski e Inconmensurabilidad (filosofía) · Ver más »
Isaac Israeli
Isaac ben Salomón Israeli, (en hebreo יצחק בן שלמה הישראלי y conocido en árabe como إسحاق بن سليمان الإسرائيلي, أبو يعقوب o Abu Ya-'qub Ishaq Ibn Sulayman Al-isra'ili y en Europa como Isaac Israeli o Isaac el Viejo (Egipto, entre 830 y 850 - Kairuán, en Túnez, entre 932 y 955)), fue un médico y uno de los primeros pensadores medievales judíos.
¡Nuevo!!: Alfred Tarski e Isaac Israeli · Ver más »
Jesús Padilla Gálvez
Jesús Padilla Gálvez (Almería, 28 de octubre de 1959) es un filósofo español.
¡Nuevo!!: Alfred Tarski y Jesús Padilla Gálvez · Ver más »
Julia Robinson
Julia Hall Bowman Robinson (San Luis, Misuri, -Oakland, California) fue una matemática estadounidense.
¡Nuevo!!: Alfred Tarski y Julia Robinson · Ver más »
Karl Popper
Karl Raimund Popper (Viena, 28 de julio de 1902-Londres, 17 de septiembre de 1994) fue un filósofo, politólogo y profesor austriaco, nacionalizado británico, célebre por haber fundado el falsacionismo y por sus teorías de la falsabilidad y el criterio de demarcación.
¡Nuevo!!: Alfred Tarski y Karl Popper · Ver más »
Karl-Otto Apel
Karl-Otto Apel (Düsseldorf, 15 de marzo de 1922-Niedernhausen, 15 de mayo de 2017) fue un filósofo alemán.
¡Nuevo!!: Alfred Tarski y Karl-Otto Apel · Ver más »
Kurt Gödel
Kurt Friedrich Gödel (Brünn, Imperio austrohúngaro, actual República Checa, 28 de abril de 1906-Princeton, Estados Unidos; 14 de enero de 1978), conocido como Kurt Gödel, fue un lógico, matemático y filósofo austríaco.
¡Nuevo!!: Alfred Tarski y Kurt Gödel · Ver más »
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.
¡Nuevo!!: Alfred Tarski y Lógica · 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!!: Alfred Tarski y Lógica de primer orden · 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!!: Alfred Tarski y Lógica matemática · 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!!: Alfred Tarski 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!!: Alfred Tarski y Lógica proposicional · Ver más »
Lenguaje
Un lenguaje (del provenzal lenguatge y del latín lingua) es un sistema de comunicación estructurado para el que existe un contexto de uso y ciertos principios combinatorios formales.
¡Nuevo!!: Alfred Tarski y Lenguaje · Ver más »
Matemático
Un matemático (del latín mathēmāticus, y este a su vez del griego μαθηματικός mathēmatikós) es una persona cuya área primaria de estudio e investigación es la matemática, es decir que contribuye con nuevo conocimiento en este campo de estudio.
¡Nuevo!!: Alfred Tarski y Matemático · Ver más »
Metalógica
La metalógica es la rama de la lógica que estudia las propiedades y los componentes de los sistemas formales.
¡Nuevo!!: Alfred Tarski y Metalógica · Ver más »
Metalenguaje
En lógica y filosofía del lenguaje, un metalenguaje es un lenguaje que se usa para hablar acerca de otro lenguaje.
¡Nuevo!!: Alfred Tarski y Metalenguaje · Ver más »
Metamatemática
La metamatemática es el estudio matemático de los fundamentos de las matemáticas que surge como disciplina en el.
¡Nuevo!!: Alfred Tarski y Metamatemática · Ver más »
Número natural
En matemáticas, un número natural es cualquiera de los números que se usan para contar los elementos de ciertos conjuntos.
¡Nuevo!!: Alfred Tarski y Número natural · 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!!: Alfred Tarski y Número real · Ver más »
Neopositivismo lógico
Son llamados Neopositivistas Lógicos un grupo de autores, con todas las características de una «Escuela» por sus mutuas relaciones e interdependencias, dedicados a trabajos de lógica y metodología científica y a difundir con ellos una peculiar ideología filosófica conocida como «positivismo lógico».
¡Nuevo!!: Alfred Tarski y Neopositivismo lógico · Ver más »
Numeración de Gödel
La numeración de Gödel es una función que asigna a cada símbolo y fórmula de un lenguaje formal un número único, denominado Número de Gödel (GN).
¡Nuevo!!: Alfred Tarski y Numeración de Gödel · Ver más »
Paradoja de Banach-Tarski
La paradoja de Banach–Tarski es un teorema en geometría teórica de conjuntos cuyo enunciado es el siguiente: A continuación vemos una versión más contundente del teorema: Informalmente esto se dice con frecuencia de la siguiente forma: Esta última forma se llama la "paradoja del guisante y el Sol." La razón por la que se considera una paradoja a este teorema es porque contradice la intuición geométrica básica.
¡Nuevo!!: Alfred Tarski y Paradoja de Banach-Tarski · Ver más »
Paradoja de Grelling-Nelson
La paradoja de Grelling-Nelson es una paradoja verbal formulada en 1908 por Kurt Grelling y Leonard Nelson y es atribuida incorrectamente al filósofo y matemático alemán Hermann Weyl.
¡Nuevo!!: Alfred Tarski y Paradoja de Grelling-Nelson · Ver más »
Paradoja de Richard
En lógica, la Paradoja de Richard es una antinomia de la teoría de conjuntos y el lenguaje natural que fue descrita por primera vez por el matemático Jules Richard en 1905.
¡Nuevo!!: Alfred Tarski y Paradoja de Richard · Ver más »
Paradoja del mentiroso
La paradoja del mentiroso es en realidad un conjunto de paradojas relacionadas.
¡Nuevo!!: Alfred Tarski y Paradoja del mentiroso · Ver más »
Polonia
Polonia, oficialmente la República de Polonia (en polaco), es un país de Europa Central, uno de los veintisiete Estados soberanos que forman la Unión Europea, constituido en Estado democrático de derecho y cuya forma de gobierno es la república parlamentaria.
¡Nuevo!!: Alfred Tarski y Polonia · 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!!: Alfred Tarski 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!!: Alfred Tarski y Principio del tercero excluido · 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!!: Alfred Tarski y Realismo filosófico · Ver más »
Richard Montague
Richard Merett Montague (Stockton, California, 20 de septiembre de 1930 - Los Ángeles, 7 de marzo de 1971) fue un matemático y filósofo estadounidense.
¡Nuevo!!: Alfred Tarski y Richard Montague · Ver más »
Rudolf Carnap
Rudolf Carnap (Ronsdorf, Alemania, 18 de mayo de 1891-Santa Mónica, 14 de septiembre de 1970) fue un filósofo y físico alemán.
¡Nuevo!!: Alfred Tarski y Rudolf Carnap · 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!!: Alfred Tarski y Semántica · 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!!: Alfred Tarski y Sistema formal · Ver más »
Stefan Banach
Stefan Banach (AFI) (30 de marzo de 1892 en Cracovia, Imperio austrohúngaro – 31 de agosto de 1945 en Leópolis, Polonia, actual Ucrania) fue un matemático polaco, uno de los más destacados de la Escuela de Matemática de Lwow (Lwowska Szkola Matematyki) en la Polonia previa a la guerra.
¡Nuevo!!: Alfred Tarski y Stefan Banach · 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!!: Alfred Tarski 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!!: Alfred Tarski y Teoría de conjuntos · 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!!: Alfred Tarski y Teoría de modelos · Ver más »
Teorema
Un teorema es una proposición cuya verdad se demuestra.
¡Nuevo!!: Alfred Tarski y Teorema · Ver más »
Teorema de la deducción
El teorema de la deducción es un metateorema de la lógica proposicional, la lógica de primer orden y otros sistemas lógicos, que es bastante utilizado para demostrar otros metateoremas.
¡Nuevo!!: Alfred Tarski y Teorema de la deducción · Ver más »
Tomás de Aquino
Santo Tomás de Aquino (en italiano, Tommaso d'Aquino; Roccasecca,Fra' Giovanni Fiore da Cropani, historiador calabrés del siglo XVII, en su obra (De la Calabria ilustrada) sostiene que Tomás de Aquino había nacido en Belcastro; una tesis sostenida también por Gabriele Barrio en su obra (Sobre la antigüedad y el lugar de Calabria, en cinco libros), y por Girolamo Marafioti, teólogo de la Orden de los Menores Observantes en su obra Cronache ed antichità della Calabria (Crónicas y antigüedades de la Calabria). 1224/1225-Abadía de Fossanova, 7 de marzo de 1274) fue un presbítero, fraile, teólogo, filósofo y jurista católico perteneciente a la Orden de Predicadores, es considerado el principal representante de la enseñanza escolástica y una de las mayores figuras de la teología sistemática.
¡Nuevo!!: Alfred Tarski y Tomás de Aquino · Ver más »
Varsovia
Varsovia (AFI) es la capital y ciudad más grande de Polonia desde 1596.
¡Nuevo!!: Alfred Tarski y Varsovia · 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!!: Alfred Tarski y Verdad · Ver más »
