Science formelleLes sciences formelles (ou sciences logico-formelles) explorent déductivement, selon des règles de formation et de démonstration, des systèmes axiomatiques. Les sciences formelles regroupent les mathématiques, la logique et l'informatique théorique. L'algèbre est la branche des mathématiques qui étudie les structures algébriques, indépendamment de la notion de limite (rattachée à l'analyse) et de la notion de représentation graphique (rattachée à la géométrie).
Lettres (culture)Les lettres sont les disciplines académiques d'étude de la condition humaine par des méthodes analytiques, critiques ou spéculatives, les distinguant des approches empiriques des sciences naturelles et sociales. Elles incluent par convention : la littérature classique et moderne (y compris la philologie, la rhétorique) ; la philosophie (notamment l'épistémologie, la métaphysique, la logique, l'éthique, l'esthétique) ; l'histoire (y compris ses sciences auxiliaires: l'épigraphie, la papyrologie, la paléographie, l'archéologie) ; la linguistique et les langues modernes et anciennes (notamment l'anglais, l'allemand, le latin, le grec ancien) ; l'art, la culture et les médias (y compris la culture de masse, le cinéma, la télévision, les nouveaux médias).
