Article body

1. Fondation

Il est notoire que la théorie de la déductibilité (Ableitbarkeit) de Bernard Bolzano — qui est en réalité une théorie de ce que l’on appelle aujourd’hui la « conséquence logique » — a anticipé à maints égards les travaux de Tarski sur le sujet[2]. Il est cependant beaucoup moins connu que Bolzano développe également une théorie de la relation de raison à conséquence ou de fondation (Abfolge), c’est-à-dire une théorie du concept exprimé et de la relation que met en jeu le connecteur « parce que » (weil). Prises ensemble, la déductibilité et la fondation constituent le coeur de sa théorie logique : Bolzano affirme que pour être en mesure de le comprendre, il faut être familier avec ces deux concepts[3]. Dans cet article, je me pencherai sur le second[4].

La théorie de la fondation de Bolzano prend la forme d’une théorie sémantique des énoncés de la forme ⌈p parce que q⌉. Elle s’appuie sur l’hypothèse de base selon laquelle, pris littéralement, les énoncés de la forme

  • ⌈p parce que q⌉

  • sont vrais seulement si

  • FONDE (P, Q)

où « FONDE » tient lieu d’une certaine relation —la relation de fondation— et où « P » et « Q » désignent des termes singuliers qui dénotent les propositions exprimées par « p » et « q »[5]. Bolzano présente donc la fondation comme consistant en une relation entre des propositions ou, plus précisément, entre des propositions vraies. La fondation, selon lui, est une relation entre des vérités (Wahrheiten an sich). J’assumerai, tout au long de l’article, que le lecteur est familier avec les postulats fondamentaux de la sémantique bolzanienne[6].

Je suivrai également Bolzano en considérant les propositions —ses célèbres Sätze an sich— comme des entités indépendantes de l’esprit et du langage qui sont les porteurs primitifs des propriétés vrai et faux, qui n’ont pas de pouvoir causal, et qui figurent à la fois comme contenu de pensée et comme significations des énoncés[7]. À l’instar de Bolzano, je considère que les vérités ne sont rien d’autre que des propositions vraies.

Bolzano désigne respectivement par « fondement (objectif) » (fondement = Grund) et « conséquence (objective) » (conséquence = Folge) les termes de la relation de fondation. (Il n’utilise pas « conséquence » en relation avec la déductibilité, c’est-à-dire sa conception spécifique de… la conséquence logique[8]  !) Sa théorie de la fondation peut par conséquent également être appelée une théorie du fondement et de la conséquence. Il donne comme exemple[9] :

(1)

Les thermomètres qui fonctionnent bien montent plus haut l’été que l’hiver parce qu’il fait plus chaud l’été que l’hiver

qui est manifestement vraie, tandis que sa converse

(2)

Il fait plus chaud l’été que l’hiver parce que les thermomètres qui fonctionnent bien montent plus haut l’été que l’hiver

est manifestement fausse. (Pour simplifier, on a ignoré ici les considérations reliées à la pression atmosphérique.) En utilisant les crochets carrés pour dénoter les propositions exprimées par les énoncés (entre guillemets), nous pouvons dire, conformément à l’hypothèse sémantique de base de Bolzano, que (1) dit que la vérité [Il fait plus chaud l’été que l’hiver] est le fondement (partiel) de la vérité [Les thermomètres qui fonctionnent bien montent plus haut l’été que l’hiver], qui est elle-même la conséquence (partielle) de la première ; et cela semble être vrai. Puisque (2) est fausse, la converse ne fonctionne pas : la seconde vérité n’est pas le fondement (partiel) de la première, et la première n’est pas la conséquence (partielle) de la seconde.

Si l’hypothèse de Bolzano à propos du caractère relationnel des énoncés de la forme ⌈p parce que q⌉ est vraie, alors « parce que » met non seulement en jeu la relation de fondation, mais il le fait en exprimant un certain concept, en l’occurrence [parce que][10]. (Je prends pour acquis — suivant Bolzano — que les concepts sont les constituants des propositions ; je généralise ici l’usage des crochets carrés de manière évidente.) La théorie de Bolzano porte tant sur le concept [parce que] que sur la relation de fondation elle-même. Bien que cela eût parfois été pertinent, Bolzano n’est pas toujours explicite quant au tracé de cette distinction, mais il en demeure néanmoins conscient[11]. Les passages concernés ne laissent en général aucune doute sur la question de savoir s’il met l’emphase sur le concept ou sur la relation.

Les investigations de Bolzano sur le concept exprimé et la relation que met en jeu « parce que » sont principalement contenues dans la Wissenschaftslehre. Voici un aperçu de la théorie du fondement et de la conséquence qui s’y trouve ; (les chiffres, à droite, indiquent les sections correspondantes dans le présent article) :

  1. Explications et comparaisons informelles

    • La représentation générale (§§ 162, 168, 198) (1.)

    • Fondements objectifs versus raisons épistémiques (§§ 177, 198) (2.)

    • Fondation versus causalité (§§ 168.2, 201) (3.)

    • Fondation versus déductibilité (§§ 162, 200) (4.)

  2. Fondation immédiate (§§ 203-213) (6.)

  3. Fondation médiate (§§ 214-219) (7.)

  4. Critères pour la fondation (§ 221)

Dans les passages subsumés en I, Bolzano tente de mettre en lumière l’idée de fondation en la comparant avec trois autres idées apparentées et en faisant ressortir les liens entre elles. J’examine cette comparaison dans les sections 2. à 5. Dans les sections 6. et 7. je me penche sur la conception spécifiquement bolzanienne de la fondation (II et III) que je formule en faisant appel aux définitions implicites de deux concepts apparentés : la fondation immédiate et la fondation médiate. Les idées de Bolzano quant aux conditions sous lesquelles la relation de fondation est réalisée (IV) sont discutées ailleurs[12].

2. Fondement objectif versus raisons épistémiques

Bolzano utilise le mot « raison épistémique » (Erkenntnisgrund) en deux sens (connexes). Je les nommerai sens « psychologique » et sens « propositionnel ». Une collection[13] de jugements (Urteile) x est la raison épistémique au sens psychologique d’un certain jugement y si et seulement si y est vrai et x est la cause complète de y (et x et y se produisent dans l’esprit d’une seule et même personne)[14]. Dans cette définition, « jugement » doit bien entendu être pris comme dénotant des événements mentaux particuliers qui se produisent dans l’esprit d’une certaine personne à un certain moment. Le jugement d’un astronome d’une époque antérieure à l’effet que la terre est ronde peut avoir été causé (en partie) par son jugement que l’ombre de la terre sur la lune est ronde. Le cas échéant, le second jugement aurait été la raison épistémique (partielle) du premier. On doit toutefois noter une chose en ce qui concerne cette définition : par « la collection des jugements x est la cause complète du jugement y », Bolzano veut simplement dire qu’il n’y a pas d’autres jugements qui soient causalement responsables de l’occurrence de y. Il ne veut pas dire qu’il n’y a rien d’autre qui soit responsable de l’occurrence de y[15].

Les fondements objectifs sont clairement distincts des raisons épistémiques au sens psychologique. Les raisons épistémiques au sens psychologique sont des (collections de) jugements, et ont donc des pouvoirs causaux. Les fondements objectifs sont des (collections de) propositions et n’ont donc pas de pouvoirs causaux[16].

Les raisons épistémiques au sens propositionnel sont les contenus des raisons épistémiques au sens psychologique. Plus précisément, une collection de propositions α est la raison épistémique au sens propositionnel de la proposition β si et seulement si il y a une collection de jugements (particuliers) x et un unique jugement (particulier) y tel que les propositions qui font partie de α sont les contenus des jugements qui font partie de x (et tel que les parties de α et les parties de x sont en relation de bijection), β est le contenu de y, et x est la raison épistémique (psychologique) de y[17]. Ainsi, s’il y a déjà eu un astronome qui a raisonné tel que je l’ai décrit plus haut, la proposition que l’ombre de la terre sur la lune est ronde est la raison épistémique (partielle) de la proposition que la terre est ronde.

La distinction catégorielle mentionnée plus haut entre les fondements objectifs et les raisons épistémiques au sens psychologique ne s’applique pas entre les fondements objectifs et les raisons épistémiques au sens propositionnel puisqu’ils sont tous deux des (collections de) propositions. Mais la propriété d’être une raison épistémique au sens propositionnel est néanmoins différente de la propriété d’être un fondement objectif, et, mutatis mutandis, la relation de fondation est différente de la relation qu’il y a entre une certaine raison épistémique et la proposition dont elle est la raison épistémique, et ce pour plusieurs raisons (dans le reste de cette section, j’utilise le mot « raison épistémique » au sens propositionnel) :

  1. La proposition que la terre est ronde peut être la raison épistémique (partielle) de la proposition que l’ombre de la terre sur la lune est ronde et vice versa. Cependant, malgré que la proposition précédente soit le (ou une partie du) fondement objectif de la seconde, l’inverse n’est pas le cas[18]. On peut affirmer la même chose, par exemple, en ce qui concerne l’exemple du thermomètre mentionné dans la première section.

  2. Une vérité donnée peut avoir une multitude de raisons épistémiques différentes. Différentes personnes à différents moments peuvent la reconnaître de différentes manières. En revanche, Bolzano prétend qu’il est impossible qu’une vérité (ou une collection de vérités) repose sur des fondements objectifs (entièrement) différents. Cela, ajoute Bolzano, n’empêche pas le cas où une vérité repose sur différentes (collections de) propositions qui figurent comme parties de son unique fondement objectif[19]. Il soutient donc que si une vérité donnée semble reposer sur des fondements objectifs différents, ces derniers devraient toujours être traités comme différentes parties d’un fondement objectif unique et complet. (Bolzano présuppose ici un concept de fondation très strict et très restreint. On pourra douter que notre usage ordinaire de « parce que » est lié à ce concept. Voir mes remarques à la fin de la section 3.)

  3. Il est possible de connaître une certaine vérité via (le jugement d’) une raison épistémique quelconque sans connaître son fondement objectif. Quelqu’un peut savoir que E=mc2, ou même qu’il fait plus chaud aujourd’hui qu’hier pour une raison épistémique quelconque (par le concours d’un témoignage, par exemple) sans savoir quoi que ce soit à propos du fondement objectif sur lequel repose la vérité en question[20]. Il arrive fréquemment que des scientifiques savent d’une collection de propositions qu’elles sont vraies mais non pourquoi elles le sont, et c’est d’ailleurs le plus souvent ce qu’ils cherchent à savoir.

  4. Les fondements (et conséquences) objectifs doivent être des (collections de) propositions vraies, tandis que les raisons épistémiques peuvent être fausses ou avoir des parties qui sont des propositions fausses.

  5. Il est possible (et c’est aussi probablement le cas) qu’il y ait des fondements objectifs qui n’ont jamais été et ne seront jamais le contenu d’aucun jugement particulier. Mais il n’est pas possible qu’il y ait des raisons épistémiques qui n’aient jamais été et qui ne seront jamais le contenu d’aucun jugement particulier.

Bolzano mentionne uniquement les trois premières raisons de façon explicite. Mais il les accepterait assurément toutes.

Nous utilisons parfois un énoncé de la forme ⌈p parce que q⌉ pour dire que Q est une raison épistémique de P. Mais ces usages, soutient Bolzano, ne sont pas des usages corrects. Que pourrait bien vouloir dire quelqu’un qui, en plein milieu d’une réflexion, énonce avec sincérité un énoncé telle que « Il fait plus chaud l’été que l’hiver parce que les thermomètres qui fonctionnent bien montent plus haut l’été que l’hiver » ? « En disant cela, nous ne parlons que de la cognition de ces vérités, [...] nous voulons simplement indiquer que la cognition de l’une de ces vérités cause la cognition de l’autre »[21]. À cette étape de l’enquête, nous devons nous en tenir à cet argument de plausibilité, mais dans la section suivante, nous verrons qu’il y a davantage à dire en faveur de l’affirmation de Bolzano.

3. Fondation versus causalité

Un autre « concept très apparenté à celui de fondation (Abfolge) [c’est-à-dire, le concept exprimé par « parce que »] est sans aucun doute celui de causalité, c’est-à-dire celui de la relation entre les causes et les effets. Aussi, l’un de ces concepts pourrait-il peut-être être utilisé pour définir l’autre ? »[22]. Demandons-nous dans un premier temps si [parce que] peut être défini (en partie) via le concept de causalité.

Nous pourrions répondre franchement par l’affirmative si [parce que] était — comme le dit Bolzano — subordonné au concept de causalité. (Dans la terminologie bolzanienne, un concept A est subordonné au concept B (A ist B untergeordnet) si et seulement si tout ce qui tombe sous A tombe aussi sous B, mais pas l’inverse[23]. Or, cela ne peut manifestement pas être le cas. Les fondements et conséquences ne peuvent être les causes et effets puisqu’ils sont des vérités et n’ont par conséquent aucun pouvoir causal[24].

Mais même si [parce que] n’est pas subordonné à [cause], le premier pourrait tout de même être défini par le second. Intuitivement, il semble plausible de concevoir la connexion entre les deux concepts de la façon suivante : « les vérités qui affirment l’existence et les propriétés (Beschaffenheiten) d’une cause doivent être considérées comme le fondement, et celles qui concernent l’existence et les propriétés de l’effet comme la conséquence »[25]. On aurait alors affaire à un modèle à deux niveaux : d’une part, le niveau des choses concrètes « dans le monde » qui sont reliées causalement les unes aux autres. D’autre part, le niveau propositionnel abstrait dans lequel les connexions causales sont « reflétées » par les propositions vraies à propos des choses « dans le monde » et des relations causales qu’il y a entre elles : les vérités reflétant les connexions causales entre les choses sont elles-mêmes reliées comme fondements et conséquences objectifs.

Bolzano ne rejette pas le modèle à deux niveaux. Il insiste toutefois sur un point particulier qui, malgré qu’il ait été négligé par les partisans du modèle à deux niveaux, semble être d’un grand intérêt : il y a des paires de fondements et conséquences objectives qui ne reflètent pas des relations d’ordre causal.

Les vérités mathématiques ne portent pas sur des objets réels. Mais ne doivent-elles pas être reliées comme fondement et conséquence ? La vérité que dans un triangle équilatéral tous les angles sont égaux de doit-elle pas être une conséquence de la vérité qu’un triangle isocèle possède deux angles égaux[26]  ?

L’affirmation de Bolzano ne semble pas valoir uniquement que pour les vérités mathématiques. Il semble en effet que nous puissions poser des questions de la forme « pourquoi... ? » à l’égard de tous les types de propositions qui ne contiennent aucun effet et auxquelles on peut répondre en formulant des énoncés de la forme ⌈q parce que p⌉ au sens propre. Voici quelques candidats plausibles :

  • Soit Bush, soit Gore a gagné les élections parce que Bush les a gagnées.

  • Ce verre contient des molécules d’eau parce qu’il contient des molécules de H2O.

  • Pierre est le cousin de Paul parce qu’il est le fils d’un frère ou d’une soeur, soit de la mère, soit du père de ce dernier.

  • Le paradoxe de Russell est dérivable parce que le cinquième axiome de Frege est faux.

  • Un énoncé de la forme ⌈P et Q⌉ est vrai (s’il est vrai) parce que les énoncés P et Q sont tous deux vrais.

  • Un énoncé de la forme ⌈Il est vrai que p⌉ est vrai (s’il est vrai) parce que l’énoncé P correspondant est vrai.

  • Cette pomme est rouge parce que sa peau est rouge.

  • Il devrait être puni parce qu’il a commis un crime.

  • Il n’y a pas de carrés ronds parce que le concept d’un carré rond implique une contradiction.

  • {Socrate} existe parce que Socrate existe[27].

  • Socrate exemplifie la pâleur parce qu’il est pâle.

On doit concéder que Bolzano n’aurait pas accepté les deux derniers exemples. Il aurait rejeté l’avant-dernier parce qu’il ne dispose pas du concept d’ensemble, et le dernier exemple aurait été rejeté parce que, si on le suit, les deux énoncés reliés par « parce que » expriment ici une seule et même proposition[28].

Nous avons débuté cette section par l’hypothèse selon laquelle [parce que] pourrait être subordonné à [cause]. Nous ne sommes pas parvenus à infirmer cette hypothèse, mais nous sommes parvenus à un résultat semblable. Même si [cause] n’est pas subordonné à [parce que] (puisque les objets qui tombent sous ces concepts appartiennent à différents « niveaux »), la relation de fondation subsiste également entre les propositions qui ne reflètent pas des causes et effets. Contrairement à ce que nous avions d’abord suggéré, on pourrait donc suspecter que, à l’inverse, [cause] doive bien plutôt être défini (en partie) sur la base de [parce que]. Et c’est aussi ce que Bolzano assume : « Nous devons dériver nos concepts de cause et d’effet de ceux que fondement et conséquence[29]. Sa suggestion quant à la manière dont cela doit être effectué est la suivante :

« X est la cause de Y » veut en fait dire ; « la vérité que X existe [daßX sey] est reliée à la vérité que Y existe comme le fondement (ou fondement partiel) à sa conséquence (ou conséquence partielle) »[30].

On pourrait croire que cela ne peut être vrai pour la raison suivante : il semble être vrai que {Socrate} existe parce que Socrate existe, mais Socrate n’est sûrement pas la cause de {Socrate}. Mais cette objection échoue : elle repose sur une mauvaise compréhension de ce que Bolzano dit réellement dans le passage cité. Pour bien le comprendre, il faut voir que Bolzano utilise « existence » (Dasein) comme synonyme de « réalité » (Wirklichkeit), par quoi il signifie la capacité d’agir sur quelque chose (Wirksamkeit)[31]. Ainsi la citation devrait être paraphrasée ainsi :

[X est la cause de Y] = [la vérité [X a la capacité d’agir sur quelque chose] est le fondement (partiel) de la vérité [Y a la capacité d’agir sur quelque chose] qui est sa conséquence (partielle)].

Selon cette interprétation, il est manifeste que si X = Socrate et Y={Socrates}, la deuxième partie du contre-exemple ne peut désigner une vérité. L’objection peut alors être rejetée.

Mettons maintenant en relation les résultats des deux dernières sections. Qu’exprime « parce que » dans son usage littéral ? Est-ce que cela exprime : (1) le concept de fondation, (2) le concept de causalité ou encore (3) le concept de raison épistémique ? Si la théorie causale de l’esprit doit être exacte, alors (3) doit être expliquée (en partie) sur la base de (2). Si, de plus, la thèse de Bolzano (ou une autre semblable) sur les liens entre fondements (et conséquences) et causes (et effets) est vraie, alors (2) doit, à son tour, être expliquée (en partie) sur la base de (1). Étant donné ces hypothèses, le concept de fondation ressort comme « le plus fondamental » des trois. Ainsi, si « parce que » n’a qu’une seule signification littérale, le concept de fondation semble être le premier choix pour remplir cette fonction.

Après avoir introduit les termes de « fondement » et « conséquence » sur la base d’exemples intuitifs tels que celui du thermomètre, Bolzano se restreint à un usage très précis et technique de ces termes : il utilise la plupart du temps « fondement » et « conséquence » pour les fondements et conséquences immédiats et complets. (Rappelons-nous les doutes exprimés concernant le second argument de Bolzano au sujet de la différence entre fondements objectifs et raisons épistémiques, argument dans lequel il fait un usage explicite de son concept strict de fondement en présupposant que des (collections de) vérités ne peuvent avoir plus qu’un seul fondement.) Je suis en désaccord avec Bolzano. Je crois qu’un concept moins strict qui embrasse également les fondements médiats et partiels convient beaucoup mieux à notre usage ordinaire de « parce que ». Je fournirai des arguments à cet effet à la fin de cet article.

J’apporte ces précisions pour faire ressortir le point suivant : même si on a raison de croire que « parce que », dans son usage littéral, exprime un certain concept (non-épistémique et non-causal) de fondation, il n’est pas clair quel est exactement celui qu’il exprime. Il y a plusieurs manières possibles de fixer le concept qui correspond, de prime abord, aux intuitions de Bolzano. On peut donc penser que « parce que » est univoque, et qu’il exprime un concept (non-épistémique, non-causal) de fondation, sans toutefois penser qu’il exprime le concept trop strict de fondation complète et immédiate.

4. Fondation versus déductibilité

Dans la célèbre section § 155 de la Wissenschaftslehre, Bolzano donne la définition suivante[32] :

Je dis que les propositions M, N, O, ... sont déductibles des propositions A, B, C, D, ... relativement aux parties variables i, j,..., si [et seulement si] chaque collection de représentations dont la substitution pour i, j,... fait en sorte que A, B, C, D, sont toutes vraies, rend aussi M, N, O, ...vraies[33].

J’expliquerai cela en utilisant un argument encore plus notoire :

  • Tous les hommes sont mortels.

  • Socrate est un homme.

  • Donc, Socrate est mortel.

La proposition exprimée par la conclusion de cet argument est déductible des propositions exprimées par ses prémisses, par exemple, à l’égard de la représentation [homme]. Prenons la variation i*/i de la proposition P, à savoir la proposition P* qui est le résultat de la substitution de la représentation i* pour (toutes les « occurrences » de) la représentation i en P. Pour chaque représentation i*, si les variantes i*/[homme] de [Tous les hommes sont mortels] et de [Socrate est un homme] sont vraies, alors la variante i*/[homme] de [Socrate est mortel] est vraie également. Cela signifie que [Socrate est mortel] est déductible de [Tous les hommes sont mortels] et [Socrate est un homme] à l’égard de la représentation [homme]. Et cela vaut également pour les représentations [mortel] et [Socrate]. Ainsi, la proposition exprimée par la conclusion de cet argument est déductible des propositions exprimées par ses prémisses à l’égard de ces trois représentations.

Dans le passage cité plus haut, Bolzano définit le prédicat triadique fondamental « β est déductible de α relativement à i ». Mais on peut aisément en dériver un prédicat dyadique qui nous sera utile pour les fins de la présente discussion : la collection de propositions β est déductible de la collection propositions α si et seulement si il y a au moins une représentation i telle que β est déductible de α à l’égard de i. Bolzano lui-même utilise ce prédicat dyadique dérivé lorsqu’il compare la relation de fondation avec la relation de déductibilité. Je le suivrai donc en cela[34] et par « relation de déductibilité », je réfèrerai tout au long de cette section à la relation dyadique.

On pourrait vouloir suggérer que la relation de fondation n’est rien d’autre que la relation de déductibilité. Mais cela ne saurait être possible pour une raison évidente : la relation de fondation ne subsiste qu’entre des vérités tandis que la relation de déductibilité peut avoir également des propositions fausses comme termes[35]. Pour cette raison, la comparaison la plus intéressante semble être celle entre la relation de fondation et la T-déductibilité, qui se définit comme suit[36] : la collection de propositions β est T-déductible de la collection de propositions α si et seulement si β est déductible de α et que toutes les propositions qui figurent en tant que parties (directes) de α sont vraies[37].

Dans la suite de l’article, « α » et « β » sont utilisées comme variables (et parfois comme lettres schématiques) couvrant des collections de propositions vraies (vérités). L’énoncé suivant est-il vrai ?

(i)

∀α ∀β (β est T-déductible de α → α fonde β)

Non. La fausseté de (i) peut se voir facilement à la lumière de certains exemples mentionnés dans ce qui précède. [Il fait plus chaud l’été que l’hiver] est T-déductible de [Les thermomètres qui fonctionnent bien montent plus haut l’été que l’hiver]. Les deux propositions sont vraies et la première est déductible de la seconde relativement aux représentations [été] et [hiver]. Mais la seconde proposition ne fonde pas (même seulement partiellement) la première[38]. L’exemple illustre aussi une différence additionnelle : les deux propositions mentionnées sont T-déductibles dans un sens comme dans l’autre, mais elles ne se fondent certainement pas l’une l’autre. Il y a, de plus, une troisième différence, à savoir que chaque proposition vraie est T-déductible d’elle-même, alors qu’il n’y a rien de tel qui vaille en ce qui concerne la fondation.

Si (i) est fausse, qu’en est-il de sa converse ?

(ii)

∀α ∀β (α fonde β → β est T-déductible de α).

Bolzano lui-même est indécis en ce qui concerne (ii). « Bien que [la vérité de (ii)] me semble plutôt probable, dit-il, je ne connais aucune preuve qui m’autoriserait à considérer la question close »[39]. De plus, il tente de donner un exemple qui, selon lui, « semble prouver » que (ii) est fausse[40].

Je n’aborderai pas cette question ici. Je passe outre cet exemple non seulement parce qu’il n’est pas facile de voir en quoi, exactement, il s’applique à (ii), mais aussi parce que Bolzano lui-même a des doutes à son endroit, et ce, principalement pour les deux raisons suivantes : d’une part, la question à savoir si (ii) est vraie ou fausse n’a pas nécessairement de rapport avec la question à savoir s’il y a une connexion conceptuelle entre [parce que] et le concept de T-déductibilité et, d’autre part, elle n’a pas, non plus, nécessairement rapport avec la question de savoir si la relation de fondation est une espèce de la relation de T-déductibilité (pour autant que la propriété d’être une espèce de propriété (property-kindhood) ne soit pas interprétée d’une façon purement extensionnelle)[41]. Même si (ii) est vraie, cela n’entraîne pas une connexion conceptuelle entre les concepts concernés, et il ne s’ensuit pas non plus que la relation de fondement est une espèce de la relation de déductibilité.

On pourrait vouloir soutenir qu’on utilise parfois des énoncés de la forme ⌈p parce que q⌉ pour dire que P s’ensuit de Q (ou, si c’est le concept de dérivabilité qui rend effectivement le concept usuel : que P est dérivable de Q). Il y a de tels usages, mais les énoncés sont-ils alors pris dans leur sens littéral ? Dans l’affirmative, « parce que » serait, en définitive, équivoque. (Voir la fin de la section 3.) Mais, tel que nous l’avons vu, la signification de « P s’ensuit de Q » peut difficilement être une signification littérale de « p parce que q » puisque la seconde implique que P et Q sont tous deux vrais, alors que ce n’est pas le cas pour la première. L’hypothèse dont on aurait besoin pour soutenir que « parce que » est ambigu consiste à dire qu’il y a un usage littéral de « p parce que q » qui signifie que P s’ensuit de Q, et P et Q sont tous les deux vrais.

Les considérations des sections précédentes devraient avoir mis en lumière l’idée intuitive de fondation. Mais les résultats de cette entreprise, si elle vise à fournir une explication précise de ce concept, sont plutôt minces. Le seul résultat d’un quelconque intérêt pour quiconque tente de réduire le concept de fondation aux autres concepts est que la relation que met en jeu « parce que » est peut-être une espèce de la relation de T-déductibilité. Mais même si nous pouvions le démontrer, cela ne nous éclairerait pas davantage sur ce concept. Il semble donc pertinent de chercher une explication indépendante. Et c’est ce que fait Bolzano.

5. La théorie de Bolzano : remarques préliminaires

J’en viens maintenant à la théorie de la fondation propre à Bolzano. Ce dernier distingue deux concepts : la fondation immédiate et la fondation médiate. La fondation immédiate est essentiellement une relation bijective entre deux objets uniques. L’idée intuitive de fondation médiate est qu’une collection de vérités est un fondement médiat d’une autre collection de vérités β si et seulement s’il y a une « chaîne » d’instances de la relation de fondation immédiate (au moins partielle) qui va de α à β, via un autre élément[42].

Bolzano explique l’idée intuitive de fondation en invoquant les deux concepts. À mon avis, il faut comprendre sa démarche comme consistant à fournir des définitions implicites (partielles) des concepts de fondation immédiate et médiate. À cet effet, Bolzano pose, sans toutefois procéder dans un ordre très systématique, une série de propositions qui ont pour but de caractériser les concepts en question. Ces propositions peuvent cependant être réduites à trois clauses définitionnelles implicites (deux pour le concept de fondation immédiate, une pour le concept de fondation médiate). Ainsi, la théorie de Bolzano peut être rendue par trois axiomes qui fournissent des définitions implicites (connexes) des concepts de fondation immédiate et médiate. Les deux premiers axiomes (qui caractérisent la fondation immédiate) sont spécifiés à la section 6, le troisième (qui caractérise la fondation médiate) à la section 7.

On m’a fait remarquer qu’il est peut-être erroné de reconstituer la méthode de Bolzano comme si elle fournissait des définitions implicites. On considère habituellement qu’une définition implicite consiste à stipuler que certains énoncés sont (ou devraient être) vraies. Mais, pour poursuivre avec cette objection, les porteurs de vérité et fausseté primitifs sont chez Bolzano, des propositions, et non des énoncés. Il semble donc qu’il faille considérer une définition implicite comme une stipulation à l’effet que certaines propositions sont (ou devraient être) vraies. Mais peut-on réellement stipuler qu’une proposition est (ou devrait être) vraie ?

La réponse à cette objection est selon moi la suivante : bien entendu, on ne peut pas d’abord fixer une proposition (quel que soit le moyen utilisé) et ensuite stipuler que cette proposition est (ou devrait être) vraie : la proposition pourrait refuser d’obéir. Mais lorsqu’il s’agit de donner une signification à un terme, il est permis de faire la chose suivante, à savoir : stipuler à propos de certains énoncés contenant ce terme que, peu importe les propositions qu’ils expriment, elles sont (ou devraient être) vraies. On peut ainsi restreindre la signification d’un terme (de manière plus ou moins forte). En ceci consiste, d’après moi, la démarche de Bolzano (du moins si l’on prend également en compte que ses stipulations ne sont non pas arbitraires, mais qu’elles visent à exprimer notre concept ordinaire de [parce que]).

Pour formuler la théorie de Bolzano, il nous faut éclaircir la distinction entre fondements et conséquences partiels et complets. Quelques remarques générales à propos de son usage de « collection » et « partie » s’imposent également. Bolzano assume que les expressions telles que « a, b et c » (où « a », « b » et « c » sont des termes singuliers) référent à des collections. C’est selon moi le principe central de la signification qu’il attache à « collection ». Si a, b et c sont tous des F, alors la collection consistant en a, b et c (et rien d’autre) est une collection de F. Dans le présent contexte, Bolzano parle fréquemment de collections de propositions.

Bolzano dirait que a, b et c sont toutes des parties de la collection des a, b et c. Mais il est important de noter que cet usage du mot « partie » ne s’accorde pas — quoiqu’il soit tout à fait naturel — avec la méréologie contemporaine. Il en est ainsi parce que la relation que Bolzano dénote par « partie » n’est pas transitive. « Il est vrai seulement de collections d’un type spécial que « les parties d’une partie sont parties du tout », comme le disent certains »[43]. Le roi et ses ministres, pour reprendre un exemple de Bolzano, font partie de l’État, les bras du roi font partie du roi, mais les bras du roi ne font pas partie de l’État (selon le sens que Bolzano attribue à « partie »)[44].

Dans le présent contexte, nous nous intéressons aux collections de vérités (en tant que termes des relations de fondation). Il faudra, au moins pour les fins de la commodité, assumer qu’il y a des collections qui n’ont qu’une seule partie[45]. Comme Bolzano, je présupposerai également deux principes qui valent pour toutes les collections de vérités α, β, et γ : la collection des α et β = la collection des β et α. La collection des (α et β) et γ = la collection des α, β, et γ. Le second principe implique que la relation de partie est transitive pour autant que nous restreignions le domaine du discours aux collections de vérités. Ainsi la différence sus-mentionnée entre le concept de partie de Bolzano et celui de la méréologie standard n’importe pas en ce qui concerne ici.

Les collections de Bolzano héritent du statut ontologique de leurs parties. La collection de mes copies des quatre volumes de la Wissenschaftslehre d’une part, est aussi concrète que le sont les livres individuellement : son poids est la somme des poids de chacun des volumes, son emplacement est celui des quatre volumes (c’est un « objet dispersé »), et ainsi de suite. D’autre part, considérons l’objet qu’on pourrait appeler « la Wissenschaftslehre de Bolzano en soi », c’est-à-dire, une certaine collection de propositions ordonnées d’une certaine manière. Cette collection est aussi abstraite que n’importe laquelle des propositions qui en font partie : elle n’a ni propriétés spatiales, ni propriétés temporelles.

Alors que ces propriétés distinguent clairement les collections des ensembles, elles sont partagées par les sommes ou fusions méréologiques[46]. Les collections ne sont-elles alors rien d’autre que des sommes méréologiques ? Le fait que Bolzano n’entende pas par « partie » la même chose que les méréologues semble révoquer cette possibilité. D’un autre côté, il est important de noter que le concept bolzanien de collection ne dépend pas du concept qu’il exprime par « partie ». (Ce qui, soit dit en passant, fait contraste avec la méréologie où le concept de somme est dérivé du concept de partie.) À mon avis, la bonne façon d’introduire les concepts de Bolzano est celle que j’ai adoptée ici : d’abord, introduire [collection] en faisant appel à des formules telles que « a,b, et c », et ensuite introduire [partie] en faisant appel à [collection]. Ainsi, le fait que les concepts de partie qu’elles impliquent respectivement soient différents n’empêche pas nécessairement les collections d’être des sommes méréologiques (bien que cela empêche que le concept de collection soit le concept méréologique de somme)[47].

Il faut introduire ici quelques symboles : « α⇒β « » doit être lu comme « α est le fondement objectif complet immédiat de β, et β est la conséquence objective complète et immédiate de α ». Notez que « ⇒ » connecte des termes singuliers, et non des énoncés. Tel que je le formule ici, le but de la théorie de Bolzano (ou au moins l’un d’eux) est de fixer la signification de « ⇒ » par une clause définitionnelle implicite appropriée de façon à exprimer autant que possible la signification ordinaire de « parce que ». Les symboles suivants seront également utiles :

  • Définition de<⇒: ∀α ∀β [α <⇒ β ssi ∃γ (γ ⇒β & α<γ)].

  • Définition de <<: ∀α ∀β [α ⇒ << β ssi ∃γ (α⇒γ & β≤γ)].

« α<β » est l’abréviation de « α est une partie de β ou α=β ». « α << β » est l’abréviation de « α est une partie de β mais α≠β »[48]. Donc « α <⇒ β » doit être lue comme « α est un fondement partiel ou le fondement immédiat complet de β », tandis que « α⇒ <<β » doit être lu comme « β est une conséquence partielle mais non la conséquence immédiate complète de α ». Le sens de l’asymétrie entre ces définitions se clarifiera par la suite.

6. La fondation immédiate

Tel que le caractérise Bolzano, le concept de fondation immédiate peut être rendu par deux axiomes. En ce qui concerne la proposition qui tient lieu de mon premier axiome, Bolzano[49] fait explicitement appel à Aristote qui, dans le livre Θ de la Métaphysique, dit ceci :

Ce n’est pas parce que nous pensons d’une manière vraie que tu es blanc, que tu es blanc, mais c’est parce que tu es blanc, qu’en disant que tu l’es, nous disons la vérité[50].

Bolzano interprète ce passage comme énonçant une thèse sur une relation entre propositions. Il considère qu’Aristote dit en fait ceci : (A1) Ce n’est pas que [Il est vrai que tu es blanc] fonde (partiellement) [tu es blanc], mais plutôt que : (A2) [tu es blanc] fonde (partiellement) [Il est vrai que tu es blanc]. La Wissenschaftslehre contient à la fois des versions généralisées et plus spécifiques de A1 et A2[51]. Sa version de A1 fait figure de prémisse dans son argument pour l’asymétrie de la fondation immédiate (qui sera bientôt cité). Voici la formulation bolzanienne de A2 :

Quelle que soit la vérité A, la vérité « que la proposition A est vraie » en est une conséquence véritable ; et cette conséquence ne nécessite certes nullement comme fondement (Begründung) une deuxième vérité en plus de A, ce qui fait de cette dernière son fondement (Grund) complet[52].

À l’aide des symboles introduits dans la section précédente, nous pouvons formuler la version bolzanienne de l’affirmation d’Aristote comme suit (je rappelle ici que j’utilise « α », « β », « γ »…comme variables de collections de vérités) :

  • Premier axiome pour« ⇒ » (principe d’Aristote)

  1. ∀α ¬ ([α est vraie] <⇒ α).

  2. ∀α (α⇒ << [α est vraie])[53].

L’intuition derrière la clause (i) est claire : il semble déraisonnable d’assumer que certaines collections de vérités α peuvent être fondées, partiellement ou même complètement, sur la vérité [α est vraie]. Intuitivement, il semble tout aussi clair que [α est vraie] est toujours une des conséquences de α. Il pourra de plus sembler surprenant que Bolzano considère qu’il est intuitivement clair que [α est vraie] n’est jamais la seule conséquence (partielle) de α, ce qu’il assume d’ailleurs explicitement :

À la conséquence complète de certaines vérités A, B, C, D, ... appartient, entre autres aussi la vérité « que toutes les propositions A, B, C, D, ... sont vraies ». Mais il s’agit d’une conséquence (à savoir une conséquence partielle) que n’a manifestement aucune autre collection [de vérités] que celle-là[54].

Bolzano mentionne également de manière explicite un théorème qui résulte visiblement de la clause (ii) du principe d’Aristote, et qui affirme que :

[...] même dans les cas où le fondement est une vérité individuelle, il y a toujours plusieurs vérités qui, prises collectivement, peuvent être considérées comme sa conséquence[55].

Ce qui se traduit sous forme symbolique par :

Théorème 1: ∀α ∀β (α⇒β → ∃P ∃Q (P<<β & Q<<β)) (complexité de la conséquence).

L’idée de Bolzano semble être que toute vérité ou collection de vérités α fonde, pour ainsi dire, « quelque chose de substantiel » et, en plus de cela, la vérité [α est vraie].

Bolzano prend pour acquis les deux volets du principe d’Aristote à plusieurs endroits[56]. Cependant, la Wissenschaftslehre ne contient pas de section qui y soit spécifiquement consacrée (même seulement en partie) ; Bolzano ne fournit aucun argument pour le principe d’Aristote. Ainsi il semble que, conformément à ma reconstruction, il aurait accepté de le considérer comme un principe primitif.

Il faut toutefois également mentionner qu’il y a une autre interprétation possible d’Aristote. Selon cette seconde interprétation, Aristote n’exprime pas dans le passage cité une thèse à propos d’une relation entre propositions mais soutient plutôt une thèse à propos des propositions et de leurs vérifacteurs — où un vérifacteur n’est pas une proposition mais quelque chose « dans le monde » (un état de choses, un accident individuel ou quoi que ce soit d’autre)[57]. Bolzano n’attribue pas à Aristote la thèse de la « vérifaction » dans le sens qui vient d’être décrit, et refuse lui-même d’y adhérer. Au contraire, il croit qu’il n’y a rien de tel que la relation de « vérifaction » :

Une chose X a-t-elle la propriété x parce que la proposition X qui a la propriété x est vraie, ou à l’inverse, cette proposition est-elle bien plutôt vraie parce que la chose X possède cette propriété ? La bonne réponse, à mon avis, est : ni l’une, ni l’autre. Le fondement de la vérité d’une proposition se trouve, si la vérité de cette proposition a un fondement (Grund), dans une autre vérité, et non dans la chose sur quoi elle porte. Et on peut encore moins dire que la raison pour laquelle X a la propriété x repose dans la vérité que X a la propriété x. Si X est effectivement une chose réelle, alors il ne peut y avoir de fondement en vertu duquel elle a la propriété x, mais il peut y avoir une cause qui explique qu’elle a la propriété x, et cette cause repose dans une autre chose[58].

En niant que « la proposition X a la propriété x est vraie [...] parce que la chose X a cette propriété », Bolzano ne contredit pas le principe d’Aristote, puisque (tel que le montre la suite du passage) Bolzano a ici apparemment à l’esprit l’interprétation « vérificationniste »de ce principe.

Il vaut la peine de souligner que Bolzano est ici en désaccord avec plusieurs réalistes autrichiens (et australiens !) qui soutiennent qu’il y a une relation de vérifaction entre les propositions et certaines choses (ou certains types de choses) « dans le monde ». Cela est vrai même si ces derniers ne défendent habituellement pas la position sur laquelle se penche Bolzano dans le passage cité, c’est-à-dire même s’ils n’identifient pas le vérifacteur d’une proposition à la chose sur laquelle porte la proposition (mais avec des états de chose, comme Armstrong, ou avec des moments individuels, comme Mulligan, Simons, et Smith)[59]. Ce détail pourra paraître d’autant plus intéressant que la tradition réaliste autrichienne fut, à maints égards, fondée par Bolzano lui-même.

Bolzano considère que la fondation immédiate est une relation bijective entre deux objets uniques dans le sens où chaque fondement immédiat (complet) a son unique conséquence immédiate (complète), et chaque conséquence immédiate (complète) a son unique fondement immédiat (complet). Ce principe constitue le second axiome de la fondation immédiate.

  • Second axiome pour « ⇒ » : ∀α ∀β (α⇒β → ∀γ ((γ⇒β → γ=α) & (α⇒γ → γ=β))) (unicité).

Bolzano soutient que ce principe devient extrêmement plausible dès qu’on concède que, à toutes les fois qu’une collection de propositions semble avoir plus d’un fondement (conséquence) immédiat, les candidats à ce titre doivent plutôt être considérés comme différentes parties de son unique fondement (conséquence) immédiat[60].

Cependant, on pourrait avancer que l’unicité de la relation de fondation immédiate est, intuitivement, inappropriée pour la raison suivante. Considérons une proposition disjonctive [PΔQ] dont les membres sont tous les deux vrais. On pourrait être tenté de dire que P et Q, indépendamment l’un de l’autre, sont les fondements complets de [PΔQ] (ou quelque collection plus large incluant [PΔQ]). Mais, Bolzano serait tenu de dire que [PΔQ] n’a qu’un seul fondement, à savoir la collection de P et Q.

On pourrait être tenté, mais, bien entendu, personne n’est tenu de voir les choses sous cet angle. Quoi qu’il en soit, on est en droit d’exiger plus qu’une simple intuition en ce qui concerne la question des fondements multiples. Et Bolzano a effectivement un argument pour appuyer sa conclusion, à savoir qu’il n’y a pas une chose telle que la fondation multiple. Son argument est, bien entendu, un argument de plausibilité. (Comment pourrait-on argumenter autrement pour un axiome ?) En formulant son argument, Bolzano nous rappelle que les conséquences (complètes) ne consistent jamais en une seule vérité (notre théorème 1) — contrairement à ce qui est suggéré par l’exemple de la disjonction. Il écrit, en rapport avec des exemples analogues à ce dernier :

[...] considérés attentivement, ces exemples ne montrent rien d’autre que différents fondements ont parfois des conséquences partielles (Theilfolge) communes ; ils ne montrent pas que la conséquence complète est la même. À la conséquence complète de certaines vérités A, B, C, D, ... appartient, entre autres, la vérité « que les propositions A, B, C, D, ... sont toutes vraies ». Mais c’est là une conséquence (à savoir une conséquence partielle) qu’aucune autre collection de vérités ne possède, à part celle-là. Il devient alors clair que chaque fondement propre a une conséquence qui, au moins à l’égard de certaines de ses parties (in gewissen Stücken) a, elle aussi, quelque chose de propre[61].

Appliquée à notre exemple de la disjonction, l’idée est que

  • la conséquence de P — selon le principe d’Aristote — comprend la vérité [P est vraie], mais elle ne contient pas — plausiblement — la vérité [Q est vraie],

tandis que

  • la conséquence de Q — selon le principe d’Aristote — comprend la vérité [Q est vraie], mais — en toute plausibilité — elle ne contient pas la vérité [P est vraie].

La conséquence (complète) de P est par conséquent différente de la conséquence (complète) de Q. Ainsi, on ne peut pas dire que [PΔQ] se fonde à la fois sur P et Q — du moins pas au sens du « fondée » qui nous intéresse ici : ni [PΔQ] ni quelque collection de vérités la contenant n’est la conséquence complète de P et Q ; et ces dernières n’en sont pas le fondement complet. Cela est exclut puisque, simplement, P et Q ont des conséquences (complètes) différentes.

Comme que je l’ai mentionné, il s’agit là d’un argument de plausibilité. Il s’appuie (en plus du principe d’Aristote) sur l’hypothèse plausible que de vérités P et Q ne sont jamais toutes deux reliées comme fondements complets d’une « grosse » conséquence qui serait leur seule conséquence complète et qui comprendrait les deux vérités : [P est vraie] et [Q est vraie]

J’en viens maintenant à dériver quelques théorèmes additionnels. La fondation immédiate est une relation asymétrique : il n’y a pas de collections de vérités qui se fondent immédiatement les unes les autres de façon mutuelle.

Théorème 2 : ∀α ∀β (α⇒β → ¬(β⇒α)) (asymétrie).

On retrouve l’idée d’une preuve indirecte pour le théorème 2 dans le passage suivant :

Il est clair que si les vérités A, B, C,… qui constituent le fondement complet des vérité M, N, O,… [...] elles ne peuvent en être également la conséquence, car à cette conséquence complète M, N, O,… appartient aussi la proposition que les A, B, C,… sont toutes vraies ; mais cette proposition devrait alors elle aussi être considérée être le fondement partiel des vérités A, B, C,…, ce qui est absurde[62].

La fondation immédiate est également irréflexive : rien n’est son propre fondement complet (ou sa propre conséquence complète).

Théorème 3 : ∀α ¬(α⇒α) (irréflexivité).

Cela peut, encore une fois, être prouvé indirectement. Supposons que la relation de fondation immédiate n’est pas réflexive. Il y aurait alors une collection de vérités A, telle que A⇒A. Mais, en vertu du théorème 2 (asymétrie), il s’ensuit une contradiction, à savoir que A⇒A & ¬(A⇒A). Ainsi, la fondation immédiate est irréflexive. Bolzano lui-même ne déduit pas l’irréflexivité de l’asymétrie ; il considère que l’irréflexivité est une caractéristique triviale du concept de fondation immédiate et ne donne aucune raison additionnelle[63].

Bolzano note que plusieurs philosophes semblent nier l’irréflexivité de la relation de fondation immédiate. Ces philosophes disent à propos de certaines propositions « qu’elles sont fondées complètement en elles-mêmes ». Bolzano soutient que ces philosophes ne nient pas réellement que la relation de fondation immédiate est irréflexive, mais qu’ils parlent plutôt d’une façon non rigoureuse[64]. Selon Bolzano, on veut dire, tantôt que ces propositions n’ont pas de fondement du tout (ce que Bolzano soutient également, comme nous le verrons dans ce qui suit), tantôt que ces propositions sont fondées seulement dans les propriétés (Beschaffenheiten) des concepts qui s’y retrouvent. Si on considère comme fondements non pas ces propriétés en elles-mêmes mais les propositions vraies qui les décrivent, cela semble être vrai. Mais, poursuit Bolzano, le cas échéant, la vérité en question n’est pas son propre fondement ; ce fondement est bien plutôt la collection de vérités décrivant les propriétés pertinentes.

Qu’en est-il de la transitivité ? Cela peut sembler surprenant, mais la fondation immédiate est clairement intransitive.

Théorème 4 : ∀α ∀β ∀γ ((α⇒β & β⇒γ) → ¬(α⇒γ)) (intransitivité).

L’argument de Bolzano à cet égard est simple et convaincant[65]. Il se résume à dire que si la fondation immédiate n’était pas intransitive, il y aurait des collections de vérités A, B, C telles que A⇒B & B⇒C & A⇒C. Mais cela ne peut être le cas, puisque C devrait alors avoir deux fondements immédiats (complets) différents, ce qui est proscrit par l’axiome 2 (unicité).

Bolzano reconnaît que l’intransitivité de la fondation immédiate pourra être considérée contre-intuitive, du moins pour quiconque accepte — comme lui — qu’il y a une connexion étroite entre la fondation et la relation de causalité du type suggéré par le « modèle à deux niveaux »[66]. Selon ce modèle, les faits causaux sont reflétés par une relation de fondation immédiate entre les propositions vraies qui énonce les causes et effets en question. Or, si le modèle à deux niveaux est correct il semble que, si la relation de fondation immédiate est intransitive, la relation de causalité doit l’être également[67]. Or, intuitivement, ce n’est pas le cas. Dans le langage ordinaire, il ne semble y avoir aucun problème à appeler la cause d’une cause de x une « cause de x ». Supposons qu’une maison a été détruite par un éboulis qui est lui-même causé par le fait que Max a lancé une pierre. Dans ce cas, l’affirmation que la pierre lancée par Max a causé la destruction de la maison semble être aussi vrai que celle disant que l’éboulis a causé la destruction de la maison.

Bolzano concède ce point[68], mais je crois cependant qu’il se défend inutilement. Il est important de se rappeler que nous nous occupons ici exclusivement du concept de fondation immédiate pour le moment. Le fait que la relation de fondation immédiate soit intransitive n’empêche toutefois nullement qu’il en soit autrement de la relation de fondation médiate. La fondation médiate est d’ailleurs bel et bien transitive ; c’est là l’une des différences majeures entre les deux relations. Ainsi, Bolzano aurait facilement pu renvoyer cette interprétation (de cet aspect) de notre usage habituel de « parce que » au concept de fondation médiate ; c’est l’idée que je défendrai dans la prochaine section.

Du principe d’Aristote (et de la définition de « ⇒ << »), il s’ensuit manifestement que chaque collection de propositions est le fondement immédiat de quelque chose d’autre :

Théorème 5 : ∀α ∃β (α⇒β)[69]

Notez que, malgré cela, on ne peut dériver des deux axiomes que toute collection de vérités est une conséquence de quelque chose d’autre. En fait, à la section § 214 de la Wissenschaftslehre, Bolzano nie que toute collection de vérités est une conséquence. Ses arguments pour l’existence de vérités primitives (Grundwahrheiten) ne sont pas basés sur des caractéristiques additionnelles du concept de fondation (qui ne seraient pas, quant à eux, exprimées par les axiomes) ; ils sont complètement indépendants[70]. Cela se manifeste dans le fait que nos deux axiomes n’excluent, pas plus qu’ils n’impliquent, l’existence de vérités primitives.

Un autre résultat de la conception bolzanienne de la fondation immédiate est qu’il y a des collections de vérités qui sont à la fois des fondements immédiats (partiels ou complets) et des conséquences immédiates (partielles ou complètes)[71]. À partir de nos clauses définitionnelles implicites primitives, nous pouvons dériver

Théorème 6 : ∀α ∃β ∃γ (α⇒β & β⇒γ)[72].

Afin de dériver qu’il y a en fait des collections de vérités β et γ telles que (α⇒β & β⇒γ), nous devons supposer qu’il y a des propositions vraies. Pour Bolzano, cette hypothèse n’est pas problématique : c’est un théorème de sa Fundamentallehre, la première partie de la Wissenschaftslehre.

Ainsi il pourrait y avoir des collections de vérités A, B, C, D ... telles que A est le fondement immédiat de B, B le fondement immédiat de C, C le fondement immédiat de D, et ainsi de suite. Mais puisque la relation de fondation immédiate est intransitive, A n’est ni le fondement immédiat partiel, ni le fondement immédiat complet de D. Mais A est un fondement médiat de D. À la section § 216 de la Wissenschaftslehre, Bolzano élargit le champ de son enquête en tournant son attention vers la relation de fondation médiate[74].

7. Fondation médiate

J’appelle la procédure par laquelle quelqu’un qui cherche le fondement d’une certaine vérité M, et la trouve dans la vérité L ou dans la collection de vérités I, K, L, ..., cherche ensuite le fondement ou les fondements de l’une ou de plusieurs de ces vérités, et ainsi de suite [...], remontée de la conséquence au fondement[75].

Les fondements médiats d’une vérité sont les vérités et collections de vérités auxquelles conduit la remontée de la conséquence au fondement. L’idée intuitive (tel que mentionné à la section 5.) est la suivante : une collection de vérités α est le fondement médiat d’une autre collection de vérités β si et seulement s’il y a une « chaîne » d’instances de la relation de fondation immédiate (complète ou partielle) de α, via quelques autres éléments, à β[76]. Pour les fin de la clarté, j’utilise « α√β » comme abbéviation pour « α est le fondement médiat de β » ou « β est médiatement fondé par α ». On peut, sur cette base, analyser l’idée de « chaîne » en stipulant que la relation de fondation médiate est la clôture transitive de la fondation immédiate partielle (c’est-à-dire la relation dénotée par « <⇒ »). Formellement, nous pouvons formuler cela de la manière suivante :

Axiome pour « √ »: α√β × α≠β & ∃n ∃γ1n1=α & γn=β & ∀i<n (γi<⇒ γi+1)].

Notez que, à strictement parler, « α√β » est l’abréviation de « α est un fondement médiat complet ou partiel de β »[77].

Bolzano nomme la manière dont sont connectées les parties d’une collection de vérités données par la relation de fondation médiate la connexion objective entre ces vérités. Elle peut être représentée par une structure arborescente comme suit :

forme: 007739aro001n.jpg

Ici, la relation de fondation immédiate est représentée par « ⇑ ». Les lignes horizontales indiquent que les (collections de) vérités connectées entre elles fondent ensemble — en tant que collection —une autre collection de vérités. Les points indiquent que la collection de vérités pertinentes sont, elles aussi, fondées. Les vérités individuelles A et B sont des vérités primitives, c’est-à-dire qu’elles n’ont pas d’autre fondement. (Dans la partie suivante de l’article, je discuterai les arguments de Bolzano en faveur de l’existence de vérités primitives.)

Sur la base de ce schéma, il est facile de voir qu’une collection de propositions α est un fondement médiat d’une autre collection de propositions β si, et seulement si, il y a une « chaîne » qui relie immédiatement les éléments d’une collection de propositions α, ou une partie (propre ou impropre) de α; à β. Ainsi, dans l’exemple ci-haut, α9 par exemple, fonde médiatement α5, α2, et α1. α1 est également fondée par α2, α4, α5 et A, ainsi que par la collection de, disons, α4 et α5, ou α4 et A. Supposons que α9 est la collection de vérités C et D, alors C et D fondent médiatement tout ce qui est médiatement fondé par α9 elle-même.

L’axiome de la fondation médiate implique que la fondation immédiate, de même que la relation d’un fondement partiel à sa conséquence complète, sont des cas spéciaux de la fondation médiate, c’est-à-dire qu’il est suffisant pour qu’il y ait fondation médiate qu’il y ait ces relations, et par conséquent :

Théorème 7 : ∀α ∀β ((α⇒β ∨ α<⇒β) → α√β) (inclusion).

(Si α⇒β ou α<⇒β, alors n=2 rend vraie la seconde partie de l’axiome.) Cette conséquence s’accorde avec ce que dit Bolzano. Au début de la section §217 de la Wissenschaftslehre, par exemple, il introduit explicitement un terme pour toutes les (collections de) vérités qui sont impliquées dans ce qu’il appelle la « remontée de la conséquence au fondement ». Néanmoins, cela peut être considéré comme un défaut terminologique. L’usage naturel de « médiat » et « immédiat » suggère qu’être un simple fondement médiat exclue la possibilité d’être un fondement immédiat. Malheureusement, je ne connais aucune alternative terminologique qui n’ait aucun inconvénient.

De l’axiome de la fondation médiate, il découle manifestement que la relation est irréflexive[78] :

Théorème 8 : ∀α ¬(α√α) (irréflexivité).

Cela implique aussi manifestement que le fondement médiat est transitif, donc

Théorème 9 : ∀α ∀β ∀γ ((α√β & β√γ) → α√γ) (transitivité).

Sur la base de ce qui précède, on peut aisément prouver

Théorème 10 : ∀α ∀β ((α√β → ¬β√α) (asymétrie).

Supposons que la fondation médiate n’est pas asymétrique. Il y aurait alors des collections de vérités A et B telles que A√B & B√A. Mais cela implique, en vertu du théorème 9, que A√A, ce qui contredit le théorème 8.

Dans la section précédente, j’ai mentionné que le concept de fondation immédiate, parce qu’il est intransitif, ne semble pas être la façon appropriée d’interpréter « parce que » dans des énoncés qui reflètent des causes et effets. Puisque la fondation médiate, par contraste avec la fondation immédiate, est transitive, elle nous fournit les moyens d’interpréter ces énoncés d’une façon qui s’accorde avec notre usage ordinaire de ces concepts. De plus, les exemples énumérés à la section 3 montrent, selon moi, que nous n’utilisons pas toujours « parce que » dans le sens strict de la fondation immédiate.

Il y a une autre raison de croire que, dans le langage ordinaire, « parce que » exprime le concept de fondation médiate, et non celui de fondation immédiate : nous ne savons habituellement pas si les deux collections de vérités sont reliées en tant que fondement complet et conséquence complète. Même un philosophe aguerri aura de la difficulté à trouver quelques exemples moindrement plausibles. Si « parce que » exprime le concept de fondation immédiate, il sera difficile d’identifier un minimum de cas où nous avons effectivement raison de faire une affirmation de la forme « parce que ». Le concept de fondation médiate, au contraire, n’a pas de critères d’application aussi élevés. Il suffit pour l’appliquer qu’une collection de vérités soit un fondement médiat partiel d’une autre.

J’en conclus par conséquent que si l’hypothèse de base de Bolzano, à savoir que « parce que » dans son usage habituel dans le langage ordinaire met en jeu une relation entre des vérités, doit être vraie alors le candidat le plus plausible au rôle de signification de ce concept est celui de fondation immédiate. Cependant, il est clair que le travail de pionnier de Bolzano ne fournit pas une théorie qui soit complète et satisfaisante. Bolzano en était d’ailleurs lui-même parfaitement conscient. Dans l’introduction qui précèdent sa discussion de la fondation dans la Wissenschaftslehre, il écrit :

Puisque les investigations qui m’occuperont maintenant sont très difficiles et qu’il n’y a quasiment pas de travaux préalables sur ce sujet que j’eusse pu utiliser, je prie le lecteur de ne chercher dans cette section, et ce encore moins que dans les précédentes, quelque achèvement. Presque tout ce que j’ai à dire est à mes propres yeux tissé d’incertitudes ; il y a des choses sur lesquelles de n’ose poser aucun jugement définitif et, dans le meilleur des cas, mes investigations ne sont que fragments et ébauches qui auront servi leur but si elles fournissent à d’autres un motif pour réfléchir plus amplement sur ces objets[79].

Traduit de l’anglais par Mélissa Thériault