Si ets un jugador d'escacs excepcional o altament qualificat per resoldre trencaclosques analítics, probablement ja tinguis trets per convertir-te en un lògic. Un lògic és algú que descobreix una teoria o un argument darrere de perquè les coses succeeixen. Per exemple, la força gravitacional és una teoria o una filosofia que confirma perquè totes les coses que es produeixen a l'aire tornen a la terra. Els matemàtics, filòsofs, lingüistes o fins i tot sociòlegs poden anomenar-se lògics sempre que presentin un argument científic per descriure un fenomen. Un lògic reconegut té les credencials acadèmiques més altes i l'experiència de recerca de nivell avançat.
$config[code] not foundCompletar un títol de llicenciatura en un camp relacionat.Carnegie Mellon i la Universitat de Penn són dos col·legis que ofereixen un títol de llicència i computació. No obstant això, no hi ha molts programes universitaris als Estats Units que portin la paraula "lògica" en els seus graus. L'estudi de la lògica és interdisciplinari i el grau de batxillerat en matemàtiques, filosofia, informàtica, enginyeria electrònica o lingüística sol ser el primer pas per aconseguir un grau de lògica avançat.
Seguiu un màster en lògica. La Universitat de Califòrnia, Berkeley, Carnegie Mellon i la Universitat de Penn tenen títols especialitzats. Ja sigui que estigui al departament de filosofia, matemàtica o informàtica a nivell de màster, haureu d'ajustar la vostra àrea d'estudi cap a un camp específic de recerca. Decidir entre el treball de curs sobre la lògica aplicada i la lògica pura. La lògica aplicada inclou algorismes, intel·ligència artificial, lingüística computacional, investigació operativa i sistemes de programació matemàtica i informàtica. La lògica pura inclou estudis predominantment teòrics i augmentatius, com la filosofia de les matemàtiques o la filosofia de la lògica.
Obteniu un doctorat en lògica aplicada o pura. S'espera que els estudiants d'aquest programa estudien matemàtiques i filosofia, però no tan àmpliament com si obtinguessin un títol en algun d'aquests temes. També podeu estudiar seccions de matemàtiques molt rellevants per a les ciències de la computació. Normalment és un programa de quatre a cinc anys, molt desafiant i conclou amb una tesi o una dissertació.
Trobeu una carrera professional a la indústria com a lògica. Un màster pot ser suficient en la majoria dels casos. A més, per a una carrera en el "món real", un grau en lògica aplicada és més beneficiós que el curs en lògica pura. Normalment, se sol·licitarà treballs com analista de sistema de nivell avançat o analista de programa en els departaments d'R + D de grans empreses de tecnologia de la informació o una empresa científica o d'enginyeria. Els treballs adreçats als candidats amb títols avançats i de recerca en estadística, matemàtiques, ciències de la computació, filosofia o lingüística sovint són rellevants per a persones amb màster o doctorat en lògica computacional.
Converteix-te en professor acadèmic. La majoria dels lògics que obtenen un títol de doctorat sovint treballen com a professors del departament de matemàtiques o filosofia o fins i tot comencen les seves carreres omplint llocs de recerca postdoctorals. Per qualificar, cal demostrar habilitats docents qualificades i experiència en recerca de nivell avançat. La vostra tesi sovint és un reflex de l'èmfasi i l'experiència de la vostra recerca. També haureu de publicar el vostre treball en revistes de recerca i presentacions en conferències de recerca. El "Journal of Applied Logic" i el "Journal of Computational Logic" són les primeres publicacions d'investigació acadèmica en el camp.