Рене Декарт и математическая логика

   Старый "интеллектуальный" анекдот.

   "Рене Декарт* заходит в бар и заказывает пиво. Выпил, а бармен спрашивает, не желает ли месье добавки. "Не думаю", — отвечает Рене  и исчезает."

   Имеется в виду знаменитое высказывание Декарта "Je pense, donc je suis" (лат.  — «Думаю, следовательно, я есть»)**.

   Однако, как основа анекдота о Декарте, это изречение не подходит.  Дело в том , что предложения

          "A —> B"
и

          "не A —> не B"

логически неравносильны. Предложение

          "не A —> не B",

на котором основан анекдот, логически равносильно

          "B —> A",

но это утверждение, обратное, к сентенции Декарта, может быть и ложным.

    "Не думающий" Декарт вовсе не обязан исчезнуть.
   
    По закону контрапозиции***  афоризм Декарта логически равносилен (совершенно тривиальному) утверждению:

         "меня нет, следовательно, я не думаю".


~~~~~~~~~~~~

               Примечания

      * Рене Декарт (Rene Descartes, 1596—1650) — французский философ, математик и естествоиспытатель, создатель аналитической геометрии.   

     ** Р.Декарт, «Рассуждения о методе, чтобы верно направлять свой разум и отыскивать истину» (1641 г.)
      
     *** Например, http://proza.ru/2024/01/08/222


~~~~~~~~~~~~

Фото из Интернета.  Рене Декарт и шведская королева Кристина