ÍNDICE

▼

POLIÁDICO: 🔎

›
una oración/conectiva abierta es poliádica, (pluri-posicional), si tiene más de dos argumentos. ( Haack, 1978 ). En lógica se clasifican ...

DIÁDICO: 🔎

›
una oración/conectiva abierta es diádica, (2-posicional), si tiene dos argumentos; por ejemplo "... es más largo que... " es una o...

MONÁDICO: 🔎

›
una oración/conectiva abierta es monádica, (1-posicional), si tiene un argumento. Por ejemplo "... es rojo" es una oración abierta...

METAFÍSICA: 🔎

›
tradicionalmente "la ciencia del ser en cuanto ser". Uso "metafísico" principalmente para subrayar la distinción entre p...

MECÁNICA CUÁNTICA: 🔎 👥

›
una teoria fisica que trata de la estructura atómica, emisión y absorción de radiaciones por la materia. ( Haack, 1978 ). La mecánica ...

METALÓGICA: 🔎

›
estudio de las propiedades formales, (por ejemplo, consistencia, completud, decidibilidad), de los sistemas lógicos formales. ( Haack, 1978...

MATRIZ CARACTERÍSTICA: 🔎

›
una matriz es un conjunto de tablas de verdad. Una matriz M es característica en un sistema S syss todas y solo las fbfs designadas uniforme...

INDUCCIÓN: 🔎

›
(I) un argumento es inductivo en sentido fuerte si la verdad de sus premisas hace probable la verdad de su conclusión. (II) Inducción mate...

ÍNDICE: 🔎 👥

›
expresión cuya referencia depende del tiempo, lugar o hablante, por ejemplo "ahora", "yo", "aquí". ( Haack, 1...

IMPLICACIÓN: 🔎

›
(I) " p " implica materialmente " q " ( p → q ) si no es el caso que p y no q ; " p " implica estrictamente ...

CONJETURA DE GOLDBACH: 🔎 🌐 👥

›
hipotesis de que todo número mayor de 2 es la suma de dos números primos. ( Haack, 1978 ). En teoría de números, la conjetura de Goldbac...

TEOREMA DE INCOMPLETUD (GÖDEL): 🔎 🌐 👥

›
la aritmética es incompleta; hay una fbf aritmética que es verdadera, pero no es ni demostrable ni refutable, ( Gödel , 1931). ( Haack, 197...