A lgica estuda a validade dos argumentos.

Os argumentos so relaes entre proposies (frases declarativas com valor de verdade), sendo uma delas a concluso que dependa das premissas quanto a sua justificao. Um argumento pode ter vrias premissas, mas s pode ter uma concluso. Os argumentos podem ser vlido ou invlidos, bons ou maus, facos ou fortes, mas nunca verdadeiros ou falsos. Falsas ou verdadeiras podem ser as premissas ou a concluso (proposies que constituem o argumento). A validade de um argumento tem a ver com a relao entre o valo de verdade das premissas e o valor de verdade da concluso. Em termos gerais a validade de um argumento significa que as premissas sustentam e apoiam logicamente a concluso. Existe dois tipos de validade: validade prpria dos argumentos dedutivos e a validade caracterstica dos argumentos indutivos. Os argumentos dedutivos so argumentos cuja validade depende exclusivamente da sua forma lgica, ou seja, da relao correcta que se d entre as premissas e a concluso (sejam estas de facto verdadeiras ou no) e no do seu contedo. Os argumentos indutivos so argumentos cuja validade no depende unicamente da sua forma logica. Um argumento indutivo vlido quando improvvel ou muito pouco provvel, mas no impossvel que as suas premissas sejam verdadeiras e a concluso falsa. Um argumento indutivo vlido aquele em que a verdade das premissas nos d fortes razoes para pensar que a concluso verdadeira. A lgica formal estuda os argumentos dedutivos e as condies da sua validade baseando-se ma forma logica dos argumentos. Como os argumentos so a verbalizao dos raciocnios podemos afirmar que o objecto de estudo da lgica formal so os raciocnios e as regras a que os mesmos devem obedecer para poderem ser considerados vlidos. A lgica informal estuda os argumentos no dedutivos e as condies da sua validade, tendo de se basear em algo mais do que a forma lgica dos argumentos.