Logika is 'n vak wat die vorm van argumente in taal ondersoek om vas te stel of hulle geldig, of ten minste aanneemlik, is. Die twee belangrikste soorte logika is proposisionele logika, wat die rol van woordjies soos "nie", "en", "of" en "as" in argumente nagaan, en predikaatlogika, wat die rol van dinge, bewyse hul eienskappe en verhoudings in argumente betrek. Rekenaarwetenskap en kunsmatige intelligensie stimuleer nuwe vertakkings in dié meer as tweeduisend jaar oue wetenskap. Wanneer ons sê "dit is logies", praat ons oor iets wat gesê of geskryf is, dus 'n string sinne in taal, met 'n sekere soort samehang. Die samehang is dat sommige van die sinne (aan die begin) redes gee om aan te neem dat 'n ander sin (teen die einde) waar is. Kyk na 'n eenvoudige voorbeeld van so 'n lys van sinne, wat ons 'n redenasie of argument noem: (1) Andries of Bettie gaan. (2) Andries gaan nie. (3) Dus gaan Bettie.