25 relaciones: A priori y a posteriori, Ad hoc, Alfred North Whitehead, Axioma, Axiomas de Peano, Bertrand Russell, Correspondencia matemática, Filosofía analítica, Filosofía de las matemáticas, Georg Cantor, Giuseppe Peano, Gottfried Leibniz, Gottlob Frege, Lógica, Lógica de primer orden, Los fundamentos de la aritmética, Matemáticas, Paradoja de Russell, Principia Mathematica, Principio de Hume, Reduccionismo, Richard Dedekind, Rudolf Carnap, Teoremas de incompletitud de Gödel, Verdad lógica.
A priori y a posteriori
Las locuciones latinas a priori (‘previo a’) y a posteriori (‘posterior a’) se utilizan para distinguir entre dos tipos de conocimiento: el conocimiento a priori es aquel que, en algún sentido importante, es independiente de la experiencia; mientras que el conocimiento a posteriori es aquel que, en algún sentido importante, depende de la experiencia.
¡Nuevo!!: Logicismo y A priori y a posteriori · Ver más »
Ad hoc
Ad hoc es una locución latina que significa literalmente «para esto».
¡Nuevo!!: Logicismo y Ad hoc · 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!!: Logicismo y Alfred North Whitehead · Ver más »
Axioma
Axioma es una proposición tan clara y evidente que se admite sin demostración.
¡Nuevo!!: Logicismo y Axioma · 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!!: Logicismo y Axiomas de Peano · 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!!: Logicismo y Bertrand Russell · Ver más »
Correspondencia matemática
Dados dos conjuntos: X e Y, y una función f, que determina alguna relación binaria entre algún elemento de X con algún elemento de Y, diremos que esa función: f, define una correspondencia entre X e Y, que representaremos: cuando al menos un elemento de X está relacionado con al menos un elemento de Y.
¡Nuevo!!: Logicismo y Correspondencia matemática · 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!!: Logicismo y Filosofía analítica · Ver más »
Filosofía de las matemáticas
La filosofía de las matemáticas es un área de la filosofía teórica que trata de comprender y explicar los requisitos, el objeto, el método y la naturaleza de las matemáticas.
¡Nuevo!!: Logicismo y Filosofía de las matemáticas · Ver más »
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor (San Petersburgo, 3 de marzo de 1845 - Halle, 6 de enero de 1918), conocido como Georg Cantor, fue un matemático nacido en Rusia, nacionalizado alemán, de ascendencia austríaca y judía.
¡Nuevo!!: Logicismo y Georg Cantor · Ver más »
Giuseppe Peano
Giuseppe Peano (Spinetta, 27 de agosto de 1858 - Turín, 20 de abril de 1932) fue un matemático, lógico y filósofo italiano, conocido por sus contribuciones a la lógica matemática y la teoría de números.
¡Nuevo!!: Logicismo y Giuseppe Peano · 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!!: Logicismo 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!!: Logicismo y Gottlob Frege · 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!!: Logicismo 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!!: Logicismo y Lógica de primer orden · Ver más »
Los fundamentos de la aritmética
Los fundamentos de la aritmética es un libro de Gottlob Frege, publicado en 1884, que investiga los fundamentos filosóficos de la aritmética.
¡Nuevo!!: Logicismo y Los fundamentos de la aritmética · 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!!: Logicismo y Matemáticas · 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!!: Logicismo y Paradoja de Russell · 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!!: Logicismo y Principia Mathematica · Ver más »
Principio de Hume
El principio de Hume, o HP— es un término creado por George Boolos— el mismo establece que el número de Fs es igual al número de Gs si hay una correspondencia uno a uno (una biyección) entre las Fs y las Gs.
¡Nuevo!!: Logicismo y Principio de Hume · Ver más »
Reduccionismo
El reduccionismo es el enfoque filosófico según el cual la reducción es necesaria y suficiente para resolver diversos problemas de conocimiento.
¡Nuevo!!: Logicismo y Reduccionismo · Ver más »
Richard Dedekind
Julius Wilhelm Richard Dedekind (6 de octubre de 1831-12 de febrero de 1916) fue un matemático alemán.
¡Nuevo!!: Logicismo y Richard Dedekind · 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!!: Logicismo y Rudolf Carnap · Ver más »
Teoremas de incompletitud de Gödel
Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1931.
¡Nuevo!!: Logicismo y Teoremas de incompletitud de Gödel · 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!!: Logicismo y Verdad lógica · Ver más »