En fait la logique, en philosophie c'est l'étude des preuves, de la démonstration, du raisonnement, d'abord dans la langue, puis dans les mathématiques( ce qui en fait un méta-langage des mathématiques), aujourd'hui ce sont des disciplines en lien avec les sciences cognitives, donc IA etc..., c'est passionant. D'ailleurs l'informatique est dû à cette discipline (Alan Turing).
A titre d'exemple, un doctorat/phd en logique permet de commencer un doctorat/phd en mathématique.
Sinon bah dans les fait ça ressemble à ça:
En pire.
Ses héros sont: Aristote, Lebniz, HIlbert, Whitehead, Wittgenstein, Bertrand Russel, Kripke, Frege. . . et une tonne chiée d'autres.