SUBSTITUTION, logique

Ce sujet est traité dans les articles suivants :

1.  IDENTITÉ

Écrit par : Annie COLLOVALD, Fernando GIL, Nicole SINDZINGRE, Pierre TAP

Dans le chapitre "Les significations de l'identité et la logique de l'identité"  : … ê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 : (x = y) = Df. (f) [f (x) ⊃ f… Lire la suite

2.  LOGIQUE

Écrit par : Robert BLANCHÉ, Jan SEBESTIK

Dans le chapitre "Bernard Bolzano"  : … À 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 transforme en une vérité (exemple cité par Bolzano : « l'homme x est mortel ») ; de… Lire la suite

3.  LOGIQUES NON CLASSIQUES

Écrit par : Jacques-Paul DUBUCS,  Universalis

Dans le chapitre "Logique déontique"  : …  intensionnelle, stipule que, dans le contexte d'un opérateur modal, on peut toujours *substituer l'une à l'autre deux propositions équivalentes, à condition qu'elles le soient prouvablement. Mais le principe de distribution P′( A ∨ B) ⇔ P′A & P′B, accompagné de l'équivalence intensionnelle, conduit à des conséquences… Lire la suite

4.  OBJET

Écrit par : Gilles Gaston GRANGER

Dans le chapitre "Les objets, le langage et la pensée"  : …  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 Bedeutung – renvoi à l'objet même – de Sinn ou sens – renvoi à la manière dont l'objet… Lire la suite