Déductibilité

"déductibilité" dans l'encyclopédie

• IMPLICATION, philosophie

  • Écrit par Henry DUMÉRY
  • 3 071 mots

  En fait, les logiciens formalistes sont obligés d'éliminer du calcul des propositions tout élément qui resterait intuitif ; ils ne peuvent transcrire des expressions telles que « résulte nécessairement », « est posé par là même » ; ainsi en viennent-ils à substituer la dérivabilité à la déductibilité proprement dite.

• SYSTÈME, épistémologie

  • Écrit par Jean LADRIÈRE
  • 22 938 mots

  Dans la mesure où l'idée de système est susceptible d'être expliquée au moyen de la relation de déductibilité, elle est elle-même une idée formelle : elle se réfère à la forme que peuvent prendre certaines théories. C'est précisément cet aspect formel de la notion qui se trouve dégagé de la manière la plus rigoureuse dans le concept de système formel.

• THE COST OF CAPITAL, CORPORATION FINANCE AND THE THEORY OF INVESTMENT, F. Modigliani et M. Miller Fiche de lecture

  • Écrit par Gunther CAPELLE-BLANCARD et Nicolas COUDERC
  • 7 111 mots

  Si les entreprises sont assujetties à l'impôt sur les bénéfices, elles peuvent être incitées à s'endetter pour diminuer leur assiette fiscale (du fait de la déductibilité des charges d'intérêts), réaliser ainsi des économies d'impôts et augmenter leur valeur. Les coûts de faillite (frais de justice, coûts de liquidation, etc.) seront ultérieurement intégrés au modèle de base.

• BOLZANO BERNARD (1781-1848)

  • Écrit par Jan SEBESTIK
  • 19 846 mots

  La déductibilité (Ableitbarkeit), dont Bolzano donne une première définition dans l'histoire de la logique, est une espèce de la compatibilité : on peut déduire des conclusions à partir de certaines prémisses si toute substitution qui rend vraies les prémisses rend également vraies les conclusions et si les prémisses sont compatibles entre elles. Au total, Bolzano définit un système complet de relations entre les propositions, qui correspond à notre système des connecteurs binaires.

• CARNAP RUDOLF (1891-1970)

  • Écrit par Jan SEBESTIK
  • 11 200 mots

  Dans Logical Foundations of Probability (1950), il développe la logique inductive dans le prolongement de la logique déductive, suivant une ligne analogue à celle de Bolzano : les énoncés de probabilité sont analytiques et rattachés à la déductibilité (« L-implication »). La probabilité ou « degré de confirmation » d'une hypothèse h relativement à un énoncé e est définie comme m (e .