Lógica proposicional
La lógica es conocida como una de las ciencias más antiguas, tanto es así que se le atribuye a Aristóteles la paternidad de esta disciplina. Partiendo de que corresponde a Aristóteles haber sido el primero en tratar con todo detalle la lógica, se le considera su fundador. En un principio se llamó Analítica, en virtud del título de las obras en que trató los problemas lógicos. Más tarde los escritos de Aristóteles relativos a estos eventos fueron recopilados por sus discípulos con el título de Órganon, por considerar que la lógica era un instrumento para el conocimiento de la verdad.
Género lógico
El género lógico es un concepto filosófico empleado en lógica y metafísica. Es un concepto que reúne una multiplicidad de individuos en una unidad conceptual. A su vez estos conceptos pueden agruparse en unidades conceptuales de nivel inferior. Tradicionalmente el nivel más bajo suele denominarse especie y los niveles superiores géneros, siendo el Ser el género lógico supremo que reúne en sí la totalidad.  En español, un modo de recordar esto es que el "género" es más "general", y la "especie" es particular o "especial". Por ejemplo el género "medios de transporte" incluye las especies "autos", "buses", "aviones", "barcos", etc.