{
  "schema": "ARBD-OBJECTION-MODEL-v1",
  "model_id": "FISCHER-HOPE-CANDIDATE-v1",
  "mode": "ASSISTANT_FORMALIZATION_CANDIDATE",
  "case_sha256": "84a80afc9c74a783417181034523bbd9d1e8f2d0cd20e038457a8488637a3e19",
  "scope": {
    "domain": "Один фиксированный практически-религиозный контекст; двухпропозиционная проекция, не полная деонтическая логика Канта",
    "subject": "Рассматриваемый разумный субъект, действующий из долга",
    "time": "Различены настоящее действие и надежда на будущее; временная семантика не формализована",
    "modality": "Нормативное допущение надежды и запрет считать её моральным побуждением; психологические причинные утверждения не установлены"
  },
  "mapping_status": "UNREVIEWED",
  "atoms": [
    {
      "id": "H",
      "meaning": "Надежда на будущее счастье допускается как предмет в рассматриваемом контексте"
    },
    {
      "id": "M",
      "meaning": "Та же надежда полагается определяющим побуждением морального действия"
    }
  ],
  "premises": [
    {
      "id": "K-H",
      "formula": "H",
      "source_anchor_id": "KANT-HOPE-OBJECT",
      "note": "Условная пропозиционная проекция допускаемого предмета надежды; не всеобщая психологическая характеристика людей."
    },
    {
      "id": "K-NOT-M",
      "formula": [
        "not",
        "M"
      ],
      "source_anchor_id": "KANT-HOPE-NOT-MOTIVE",
      "note": "Условная пропозиционная проекция нормативного различия предмета и морального побуждения."
    }
  ],
  "bridges": [
    {
      "id": "BRIDGE-H-M",
      "formula": [
        "implies",
        "H",
        "M"
      ],
      "provenance": "ASSISTANT_HYPOTHESIS",
      "admissibility": "OPEN",
      "note": "Проверяемое усиление: всякая допускаемая надежда на счастье уже служит корыстным мотивом. Это реконструкция помощника, не цитата Фишера и не установленный психологический закон."
    }
  ],
  "query": "M"
}