el mundo no es igual en todos lados

Lógica modeles:
Las lógicas modales están diseñadas para tratar con expresiones que califican la veracidad de los juicios asi por ejemplo esta la palabra o expresión “siempre” entonces, califica aun juicio verdadero como verdadero en cualquier momento es decir “siempre” ejemplo: no es lo mismo decir está lloviendo a decir siempre está lloviendo .
Lógica temporal:
Abarca operadorestemporales como: nunca, siempre, antes, después.
Lógica epistémica:
Es la lógica que formaliza los razonamientos, relacionados con el conocimiento.
Lógica doxastica:
Es la lógica que trata con losrazonamientos acerca de las creencias.
METALOGICA:
Mientras la lógica se encarga, de costruir sistemas lógicos, la metalógica se encarga
De estudiar las propiedades de estos sistemas.

HISTORIADE LA LOGICA:
Históricamente la palabra lógica ha ido cambiando de sentido comenzó siendo una modelización de los razonamientos, propuestos por los filósofos griegos, y avanzado o evolucionadohacia diversos sistemas formales
NOTA:
ESTIMOLOGICAMENTE LA PALABRA LOGICA DEVIRABA DEL GRIEGO LOGIKUS QUE ALA VES DERIVA LOGOS=RAZON.
La lógica ha tenido su desarrollo principalmente y originalmenteentre tres (3) civilizaciones china, india, Grecia entre el siglo V y I antes de cristo
CHINA: no duro mucho tiempo la traducción y la investigación escolar fue reprimida por la dinastía QINacorde con la filosofía legista.
INDIA: en india duro bastante hasta que en el mundo islámico apareció la escuela ASCHAIRE, el cual suprimió, parte del trabajo original en lógica a pesar de eso, huboinnovaciones escolásticas indias hasta el siglo XIX (19) pero no sobrevivió mucho dentro de la india colonial . El tratamiento sofisticado informal de la lógica moderna aparentemente probamente de latradición griega se considera Aristóteles el fundador de la lógica propedéutica o herramienta básica para todas las ciencias.
Aristóteles fue el primero en formalizar los razonamientos utilizando...