Une introduction à la logique en général et à la métalogique en particulier ne peut s’affranchir de rappels à la linguistique et aux différents types de raisonnements. Le raisonnement fondamental est basé sur l’inférence déductive et la notion de vérité a été longtemps considérée comme bivalente.

La logique des propositions est considérée comme la forme moderne de la logique mégaro-stoïcienne. La logique des prédicats étend le langage propositionnel en permettant d'écrire des formules qui dépendent de paramètres, et d’introduire notamment les notions de variables, de symboles de fonctions et de relations.

Les logiques (formelles) non classiques désignent les types de systèmes logiques qui différent des logiques classiques, c’est-à-dire de la logique des propositions et de la logique des prédicats. Découvrez un large panorama de plus de deux cent quatre-vingts logiques non classiques.

L’approche classique qui prévaut pour évaluer le prix d’un produit dérivé repose sur l’hypothèse d’équilibre des marchés financiers dans le sens d’absence d’opportunité d’arbitrage. Découvrez de nouvelles approches, parmi elles un modèle sans probabilité de risque neutre en temps discret.