Le cours vise à introduire à la logique formelle. Nous abordons successivement la logique des propositions, la logique des prédicats de premier ordre en lien avec la théorie du syllogisme et enfin la logique modale (avec quelques ouvertures vers la logique déontique). Le cours donne aussi une introduction aux logiques non classiques (logiques sans tiers exclu, logiques para consistantes) et à la théorie des automates booleens (avec quelques applications à la biologie et à la sociologie).