Intende assolvere una funzione introduttiva rispetto a tutta un’area tematica che comprende logica, storia della logica, filosofia del linguaggio e epistemologia. Affronta pertanto temi preliminari e trasversali quali:il concetto di argomen­tazione; che cosa significa che una argo­mentazione  valida o corretta; il concetto di formalizzazione e la traduzione in un linguaggio logico formale delle argomen­tazioni espresse nei linguaggi naturali; concetti come senso, denotazione, propo­sizione, giudizio, verità, le distinzioni a priori/a poste­riori, necessario/con­tingen­te,analitico/sintetico, uso/menzione, inten­sione/estensione. Per l’aspetto pi pro­priamente epistemologico si introducono le nozioni, centrali per la filosofia della scienza del novecento, di verificabilità, conferma, paradigma, rivo­luzione scien­tifica, pro­gramma di ricerca.