Tomando como punto de partida el proceso revisión de los fundamentos matemáticos llevado a cabo durante el siglo XIX, este estudio se centra en uno de los conceptos matemáticos más importantes: el infinito. Es innegable la importancia de este concepto en el avance de las Matemáticas y es fácil encontrar ejemplos matemáticos en los que interviene (definición de límite, definición de derivada, definición de integral de Riemann, entre otras). Debido a que algunas de las paradojas y contradicciones originadas por la falta de rigor en las Matemáticas están relacionadas con este concepto, se comienza con el estudio epistemológico del concepto matemático del infinito revisando la bipolaridad que presentan algunos conceptos semánticos, definidos de forma inseparable y conjunta, constituyendo un único concepto como si representaran los polos de un imán. En este estudio se concluye que la bipolaridad revela que una lógica conceptual que puede asumir la comprensión de la negación, debe ser una lógica dialéctica, es decir que admite como verdaderas algunas contradicciones. En el caso del concepto matemático de lo finito-infinito, nos encontramos de nuevo con una bipolaridad lógica. Por todo lo expuesto se presenta una teoría no cantoriana para el infinito potencial y actual, basada en la imprecisión lingüística del concepto de infinito, y utilizando el concepto de conjunto homógono, formado por una sucesión convergente y su límite, previamente introducido por Leibniz, que permite aunar los dos polos del concepto de infinito en un único conjunto. Esta nueva teoría de conjuntos permitirá presentar en lenguaje homogónico, algunos de los conceptos fundamentales del análisis tales como, la diferencial y la integral, así como algunas aplicaciones a la Óptica y a la Mecánica Cuántica. Posteriormente se presenta la categoría lógica de la oposición cualitativa a través de diferentes ejemplos de diversas áreas de la ciencia, y se define, a través de tres reglas o normas básicas, el paso de la lógica aristotélica o analítica a la lógica sintética, que incluye al neutro como parte de la oposición cualitativa. Con la aplicación de estas normas a la oposición cualitativa y, en particular, a su neutro, se demuestra que la lógica sintética permite la verdad de algunas contradicciones. Esta lógica sintética es dialéctica y multivaluada y da a cada proposición un valor de verdad en el intervalo [0,1], que coincide con el cuadrado del módulo de un número complejo. Esto marca una notable novedad respecto de la lógica aristotélica o analítica que otorga valores de verdad reales, o incluso a la lógica difusa que, a pesar de ser una lógica multivaluada otorga valores de verdad reales en el intervalo [0,1]. En esta lógica dialéctica, las contradicciones del neutro de una oposición pueden ser verdaderas. Finalmente se plantea la aplicación de la lógica dialéctica, a la Mecánica Cuántica, cuyo carácter es no determinista y en la que es posible encontrar ejemplos de situaciones contradictorias debido a la dualidad onda-corpúsculo. Para ello se establece un isomorfismo entre la lógica dialéctica y la teoría de la probabilidad, a la que se añade el concepto de fortuidad, precisamente para reflejar el carácter no determinista.