SUBSTITUTION, logique

Articles

• IDENTITÉ

  • Écrit par Annie COLLOVALD, Fernando GIL, Nicole SINDZINGRE, Pierre TAP
  • 13 231 mots
  • 1 média
  ...que l'explication par la substituabilité « pourrait être appelée un axiome qui fait ressortir la nature de la relation d'identité »). Le principe de la substitution salva veritate, ou « loi de Leibniz », peut être formulé de plusieurs façons qui reviennent toujours à la définition suivante : (...

• LOGIQUE

  • Écrit par Robert BLANCHÉ, Jan SEBESTIK
  • 12 972 mots
  • 3 médias
  ...formes propositionnelles que les propositions au sens strict. À proprement parler, les propositions sont obtenues à partir de formes propositionnelles par substitution de représentations déterminées à leurs variables. Certaines formes propositionnelles sont telles que chaque substitution autorisée les...

• OBJET

  • Écrit par Gilles Gaston GRANGER
  • 8 211 mots
  ...des difficultés logiques nées des mécanismes complexes de la référence, des modes de renvoi des noms aux objets dans un discours. Il semblerait que la substituabilité de deux noms d'un même objet soit un réquisit simple et minimal. Frege avait cependant déjà nuancé cette exigence en distinguant ...