Método lógico. Secuencia ordenada de operaciones formales para la determinación de algún aspecto particular en una proposición (o secuencia de proposiciones) o fórmulas bien formadas [v] (o secuencia de fórmulas).

Método. Es un procedimiento regular, repetitivo, explícito para tratar un conjunto de problemas, sean conceptuales o factuales.

Lógica, definición de la. Ciencia formal [v] que estudia los métodos [v] y principios  [v] usados para determinar la  validez  [v] o la invalidez [v] de los argumentos  [v].

Leibniz, Gottfried Wilhelm. (1 de julio de 1646- 14 de noviembre de 1716). Niño prodigio, diplomático, filósofo, escritor, político, psicólogo, físico, estableció los fundamentos de la nueva lógica o lógica moderna, pero al darse cuenta de que contradecía a los principios silogísticos, pensó que...

Inferencia inductiva. A partir de la afirmación de que varios elementos de una clase dada poseen determinada propiedad, se concluye que todos los miembros de dicha clase la tienen.  La inferencia inductiva parte de datos particulares hasta alcanzar conclusiones...

Inferencia deductiva. Son aquellos razonamientos en que se obtienen una o varias conclusiones de manera necesaria [v. necesidad lógica].  Se estipulan premisas aceptadas como punto de partida de la cual se extraen conclusiones.  (Tradicionalmente se afirmaba que la inferencia deductiva...

Inferencia analógica.  En este tipo de inferencia, es posible obtener conclusiones estableciendo comparaciones o analogías.  Sus conclusiones son tan particulares o tan generales cuanto lo sean sus premisas.   Ejemplo:   "La ciudad y los perros" es una obra de Mario Vargas Llosa...

Inconsistente, sistema. Un sistema es inconsistente si dos fórmulas, una de las cuales es la negación o contradicción de la otra, puedan ambas demostrarse como teoremas [v] dentro de un sistema.

Implicación material, regla de la. En algunos estudios de metalógica [v] la implicación material es la manera de definir el condicional a partir de la disyunción. Un condicional es equivalente a la negación del antecedente, la substitución del condicional por una disyunción y el consecuente pasa...

Implicación material.  Algunos enunciados condicionales en el leguaje ordinario afirman meramente como implicaciones materiales.  Esta clase de condicional se usa ordinariamente como un método enfático o lleno de humor con la finalidad de negar la verdad de su antecente.  Así "si tu...