Resultados de la búsqueda

…referencia (un objeto al que se refiere) y un sentido (una forma de hablar de ese objeto). …de estas expresiones incluye algo más, a lo que Frege llama el ''sentido'' de las expresiones. …

{{Ficha de libro | pie de imagen = La página del título de la edición original de 1879 …

{{Ficha de libro |Pie de imagen=Página de título de ''Die Grundlagen der Arithmetik'' …

…sedad en su semántica. Así pues, casi no hay consenso sobre ningún aspecto de la lógica imperativa. == El dilema de Jørgensen == …

…juntos|conjuntos]] formulada por [[Georg Cantor|Cantor]] y [[Gottlob Frege|Frege]] es contradictoria. == La paradoja en términos de conjuntos == …

…vian como '''ZF''' o en su forma más común, complementados por el [[axioma de elección]] (''axiom of '''C'''hoice''), como '''ZFC'''. …hoy en día ZFC se ha convertido en el estándar de las teorías axiomáticas de conjuntos. …

…vo Sistema axiomático deductivo en symploke]</ref> y el sistema axiomático de la [[lógica proposicional]]. …de la [[lógica formal]] en el ''[[Órganon]]'', recogiendo diversos axiomas de [[Platón]] y otros filósofos. …

…ría de la demostración es uno de los «cuatro pilares» de los [[fundamentos de las matemáticas]].{{cr}} …os matemáticos, escribir una demostración completamente formal es un gasto de tiempo innecesario como para ser práctica común. …

{{Ficha de conectiva lógica |diagrama-de-venn = Diagrama de Venn 20.svg …

…de los conjuntos <math> A_1, \ldots , A_n</math>, llamados el ''esquema'' de la relación: La relación indica si los elementos de los conjuntos están relacionados entre sí, es decir, si cada posible tupla …

…tregando la llave de la [[Razón]] a Aristóteles, para distinguir al hombre de las bestias (c. 1690).]] …alidez lógica|válido]] o correcto. Inició lo que se denomina como [[lógica de términos]].<ref name="SEP-logic">Véase la sección «Lógica» en {{Cita encicl …

{{Ficha de libro |fecha de publicación = 1921 …

…mática, obra de Bertrand Russell y Alfred North Whitehead, representantes de la perspectiva filosófica del Logicismo.]] …de las matemáticas]]; la naturaleza [[Abstracción (filosofía)|abstracta]] de los objetos matemáticos presenta desafíos filosóficos especiales. …

{{Ficha de persona}} …rsos textos en los que los autores comparten sus experiencias como alumnos de Henkin.</ref> …

…se les brinda en escuelas y universidades cuando se trata de la [[historia de la matemática]]. …que los matemáticos solo investiguen en unas pocas ramas o áreas parciales de la matemática. …

{{Ficha de persona | tamaño de imagen = 220px …