Проверка условия
Первый: если A, то B; A; следовательно B
Результат расчёта
Установлено
Исходные параметры
Что определяем
предъявленные посылки лицензируют пропозицию как заключение
Исходные факты
пропозиция предъявлена как большая посылка этого вывода
i: inferencep: conditionalпропозиция предъявлена как малая посылка этого вывода
i: inferencep: aдля пропозиции проверяется, лицензирована ли она как заключение
i: inferencep: bпропозиция имеет форму «если antecedent, то consequent»
p: conditionalantecedent: aconsequent: b
Пакет: Пять стоических индемонстраблей по Диогену Лаэртскому и Сексту Эмпирику — вне юрисдикции государства — доктрина
Дополнительные сведения
- Сохранить доказательство
- Да
- selectedInterpretations
- DiogenesFifthReading
Исходные данные · JSON
{
"args": [
"urn:stoic:test:inference",
"urn:stoic:test:b"
],
"facts": [
{
"args": [
"urn:stoic:test:inference",
"urn:stoic:test:conditional"
],
"predicate": "major_premise"
},
{
"args": [
"urn:stoic:test:inference",
"urn:stoic:test:a"
],
"predicate": "minor_premise"
},
{
"args": [
"urn:stoic:test:inference",
"urn:stoic:test:b"
],
"predicate": "conclusion_requested"
},
{
"args": [
"urn:stoic:test:conditional",
"urn:stoic:test:a",
"urn:stoic:test:b"
],
"predicate": "is_conditional"
}
],
"kind": "truth",
"legalTime": "0001-01-01",
"package": "grc-stoic-indemonstrables",
"predicate": "licensed_conclusion",
"proof": true,
"selectedInterpretations": [
"urn:grc:stoici:clir:indemonstrabilia#DiogenesFifthReading"
]
}Почему такой результатПрименённые правила и условия
Путь вывода6 шагов
- 1факт дела
пропозиция предъявлена как большая посылка этого вывода
i: urn:stoic:test:inference; p: urn:stoic:test:conditional
- 2факт дела
пропозиция предъявлена как малая посылка этого вывода
i: urn:stoic:test:inference; p: urn:stoic:test:a
- 3факт дела
для пропозиции проверяется, лицензирована ли она как заключение
i: urn:stoic:test:inference; p: urn:stoic:test:b
- 4факт дела
пропозиция имеет форму «если antecedent, то consequent»
p: urn:stoic:test:conditional; antecedent: urn:stoic:test:a; consequent: urn:stoic:test:b
- 5правило
первая схема: если первое, то второе; первое; значит второе
предъявленные посылки лицензируют пропозицию как заключение: i: urn:stoic:test:inference; p: urn:stoic:test:b
разд. 80, разд. 157, разд. 159
Идентификатор
urn:grc:stoici:clir:indemonstrabilia#FirstIndemonstrable - 6запрос
Вычисление запроса
проверено движком: 2 · факт дела: 4 · Полный граф: 8 узлов
Шаги сохранённого доказательства от фактов дела к ответу. Формулы показаны как записаны в норме, с подставленными значениями; страница ничего не пересчитывает.
Основание этого ответа
Правила из сохранённой цепочки доказательства ответа.
Пять стоических индемонстраблей по Диогену Лаэртскому и Сексту Эмпирику — вне юрисдикции государства — доктрина
первая схема: если первое, то второе; первое; значит второе
Идентификатор
urn:grc:stoici:clir:indemonstrabilia#FirstIndemonstrable
Вывод по запросу
предъявленные посылки лицензируют пропозицию как заключение
i: inferencep: b
| i | p |
|---|---|
| inference | b |
Скрыто выведенных фактов: 0. В кратком ответе движок оставляет относящиеся к вопросу; полный перечень — в JSON расчёта ниже.
Что способно поразить вывод3 правил
- 1правило
четвёртая схема: либо первое, либо второе; первое; значит не второе
Чего не хватает
- пропозиция есть исключающая дизъюнкция first и secondconditional, a, bНе установленоименно этого не хватает
- для пропозиции проверяется, лицензирована ли она как заключениеinference, bУстановлено
- пропозиция предъявлена как большая посылка этого выводаinference, conditionalУстановлено
- пропозиция предъявлена как малая посылка этого выводаinference, aУстановлено
Источник: разд. 81, разд. 158, разд. 162
Идентификатор
urn:grc:stoici:clir:indemonstrabilia#FourthIndemonstrable - 2правило
вторая схема: если первое, то второе; не второе; значит не первое
Чего не хватает
- пропозиция предъявлена как малая посылка этого выводаinference, aУстановлено
- для пропозиции проверяется, лицензирована ли она как заключениеinference, bУстановлено
- первая пропозиция есть противоречащее отрицание второйa, v3DEPENDSименно этого не хватает
- пропозиция предъявлена как большая посылка этого выводаinference, conditionalУстановлено
- пропозиция имеет форму «если antecedent, то consequent»conditional, b, v3DEPENDSименно этого не хватает
Источник: разд. 80, разд. 157, разд. 160
Идентификатор
urn:grc:stoici:clir:indemonstrabilia#SecondIndemonstrable - 3правило
третья схема: не оба; первое; значит не второе
Чего не хватает
- пропозиция предъявлена как малая посылка этого выводаinference, aУстановлено
- пропозиция предъявлена как большая посылка этого выводаinference, conditionalУстановлено
- для пропозиции проверяется, лицензирована ли она как заключениеinference, bУстановлено
- первая пропозиция есть противоречащее отрицание второйconditional, v2DEPENDSименно этого не хватает
- пропозиция есть соединение first и secondv2, a, bDEPENDSименно этого не хватает
Источник: разд. 80, разд. 158, разд. 161
Идентификатор
urn:grc:stoici:clir:indemonstrabilia#ThirdIndemonstrable
Перечислены правила, чья голова отвечает вопросу, и их невыполненные посылки. Отсутствие факта не означает его опровержения.
Граф доказательств
Узлы доказательств: 8 · assertion 4, rule_application 1, constraint_check 1, interpretation_selection 1, query_evaluation 1
assertion · urn:proof:assert:urn:mcp:case#fact-1
- attributes
- assertion
- fact-1
- conclusion
- Аргументы
- Идентификатор
- inference
- Тип
- entity_ref
- Идентификатор
- conditional
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- major_premise
- evidence
- —
- Идентификатор
- fact-1
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-2
- attributes
- assertion
- fact-2
- conclusion
- Аргументы
- Идентификатор
- inference
- Тип
- entity_ref
- Идентификатор
- a
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- minor_premise
- evidence
- —
- Идентификатор
- fact-2
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-3
- attributes
- assertion
- fact-3
- conclusion
- Аргументы
- Идентификатор
- inference
- Тип
- entity_ref
- Идентификатор
- b
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- conclusion_requested
- evidence
- —
- Идентификатор
- fact-3
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-4
- attributes
- assertion
- fact-4
- conclusion
- Аргументы
- Идентификатор
- conditional
- Тип
- entity_ref
- Идентификатор
- a
- Тип
- entity_ref
- Идентификатор
- b
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- is_conditional
- evidence
- —
- Идентификатор
- fact-4
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:FirstIndemonstrable:c368bc760e28c41165e934e5bd3dd6ec3f2d1447d141e36ed45bab344ba9036d
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- inference
- Тип
- entity_ref
- Идентификатор
- b
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- licensed_conclusion
- evidence
- —
- Идентификатор
- c368bc760e28c41165e934e5bd3dd6ec3f2d1447d141e36ed45bab344ba9036d
- Тип
- rule_application
- Посылки
- fact-1
- fact-2
- fact-3
- fact-4
- Правило
- FirstIndemonstrable
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- inference
- Тип
- entity_ref
- v1
- Идентификатор
- conditional
- Тип
- entity_ref
- v2
- Идентификатор
- a
- Тип
- entity_ref
- v3
- Идентификатор
- b
- Тип
- entity_ref
constraint_check · urn:proof:constraint:FiveIndemonstrablesExhaustive:70d899d2d53db8c579936d9cf9cbe5afde6ae410e44b7f8b99f1e99629e3d09c
- attributes
- —
- conclusion
- constraint
- FiveIndemonstrablesExhaustive
- requirementStatus
- Установлено
- Статус расчёта
- Соблюдено
- triggerStatus
- Соблюдено
- evidence
- —
- Идентификатор
- 70d899d2d53db8c579936d9cf9cbe5afde6ae410e44b7f8b99f1e99629e3d09c
- Тип
- constraint_check
- Посылки
- c368bc760e28c41165e934e5bd3dd6ec3f2d1447d141e36ed45bab344ba9036d
- fact-3
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- inference
- Тип
- entity_ref
- v1
- Идентификатор
- b
- Тип
- entity_ref
interpretation_selection · urn:proof:interpretation-selection
- attributes
- —
- conclusion
- selected
- DiogenesFifthReading
- evidence
- —
- Идентификатор
- interpretation-selection
- Тип
- interpretation_selection
- Посылки
- —
- sourceAnchors
- —
query_evaluation · urn:proof:query:mcp
- attributes
- —
- conclusion
- literal
- Аргументы
- Идентификатор
- inference
- Тип
- entity_ref
- Идентификатор
- b
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- licensed_conclusion
- truthStatus
- Установлено
- evidence
- —
- Идентификатор
- mcp
- Тип
- query_evaluation
- Посылки
- c368bc760e28c41165e934e5bd3dd6ec3f2d1447d141e36ed45bab344ba9036d
- sourceAnchors
- —
Идентификаторы календаря и доказательства
- Ссылка на доказательство
- mcp
Исходное обоснование · JSON
{
"derived": [
"licensed_conclusion(urn:stoic:test:inference, urn:stoic:test:b)"
],
"derivedOmitted": 0,
"evaluation": {
"proofGraph": {
"nodes": [
{
"attributes": {
"assertion": "urn:mcp:case#fact-1"
},
"conclusion": {
"args": [
{
"id": "urn:stoic:test:inference",
"kind": "entity_ref"
},
{
"id": "urn:stoic:test:conditional",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:stoici:clir:indemonstrabilia#major_premise"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-2"
},
"conclusion": {
"args": [
{
"id": "urn:stoic:test:inference",
"kind": "entity_ref"
},
{
"id": "urn:stoic:test:a",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:stoici:clir:indemonstrabilia#minor_premise"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-2",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-3"
},
"conclusion": {
"args": [
{
"id": "urn:stoic:test:inference",
"kind": "entity_ref"
},
{
"id": "urn:stoic:test:b",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:stoici:clir:indemonstrabilia#conclusion_requested"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-3",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-4"
},
"conclusion": {
"args": [
{
"id": "urn:stoic:test:conditional",
"kind": "entity_ref"
},
{
"id": "urn:stoic:test:a",
"kind": "entity_ref"
},
{
"id": "urn:stoic:test:b",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:stoici:clir:indemonstrabilia#is_conditional"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-4",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:stoic:test:inference",
"kind": "entity_ref"
},
{
"id": "urn:stoic:test:b",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:stoici:clir:indemonstrabilia#licensed_conclusion"
},
"evidence": [],
"id": "urn:proof:apply:FirstIndemonstrable:c368bc760e28c41165e934e5bd3dd6ec3f2d1447d141e36ed45bab344ba9036d",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-2",
"urn:proof:assert:urn:mcp:case#fact-3",
"urn:proof:assert:urn:mcp:case#fact-4"
],
"rule": "urn:grc:stoici:clir:indemonstrabilia#FirstIndemonstrable",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:stoic:test:inference",
"kind": "entity_ref"
},
"v1": {
"id": "urn:stoic:test:conditional",
"kind": "entity_ref"
},
"v2": {
"id": "urn:stoic:test:a",
"kind": "entity_ref"
},
"v3": {
"id": "urn:stoic:test:b",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"constraint": "urn:grc:stoici:clir:indemonstrabilia#FiveIndemonstrablesExhaustive",
"requirementStatus": "TRUE_ONLY",
"status": "SATISFIED",
"triggerStatus": "SATISFIED"
},
"evidence": [],
"id": "urn:proof:constraint:FiveIndemonstrablesExhaustive:70d899d2d53db8c579936d9cf9cbe5afde6ae410e44b7f8b99f1e99629e3d09c",
"kind": "constraint_check",
"premises": [
"urn:proof:apply:FirstIndemonstrable:c368bc760e28c41165e934e5bd3dd6ec3f2d1447d141e36ed45bab344ba9036d",
"urn:proof:assert:urn:mcp:case#fact-3"
],
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:stoic:test:inference",
"kind": "entity_ref"
},
"v1": {
"id": "urn:stoic:test:b",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"selected": [
"urn:grc:stoici:clir:indemonstrabilia#DiogenesFifthReading"
]
},
"evidence": [],
"id": "urn:proof:interpretation-selection",
"kind": "interpretation_selection",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"literal": {
"args": [
{
"id": "urn:stoic:test:inference",
"kind": "entity_ref"
},
{
"id": "urn:stoic:test:b",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:stoici:clir:indemonstrabilia#licensed_conclusion"
},
"truthStatus": "TRUE_ONLY"
},
"evidence": [],
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"premises": [
"urn:proof:apply:FirstIndemonstrable:c368bc760e28c41165e934e5bd3dd6ec3f2d1447d141e36ed45bab344ba9036d"
],
"sourceAnchors": []
}
],
"proofHash": "sha256:83cedece4f3b0cb74938d2b92fce775c3bc42fc075c06be09b59ae8e9332da1f",
"roots": [
"urn:proof:constraint:FiveIndemonstrablesExhaustive:70d899d2d53db8c579936d9cf9cbe5afde6ae410e44b7f8b99f1e99629e3d09c",
"urn:proof:query:mcp"
]
},
"resultHash": "sha256:e8102e574c5af8d6ef38877201df4a7181192327e2284516632f69a225995864",
"schemaVersion": "law.core.evaluation/0.2"
},
"proofRef": "urn:proof:query:mcp",
"rulesApplied": [
"urn:grc:stoici:clir:indemonstrabilia#FirstIndemonstrable"
],
"vulnerableTo": [
{
"anchors": [
"urn:grc:stoici:clir:indemonstrabilia#DL_7_81",
"urn:grc:stoici:clir:indemonstrabilia#SE_PH_2_158",
"urn:grc:stoici:clir:indemonstrabilia#SE_PH_2_162"
],
"label": "fourth indemonstrable: either the first or the second; the first; therefore not the second",
"missing": [
"is_exclusive_disjunction(urn:stoic:test:conditional, urn:stoic:test:a, urn:stoic:test:b)"
],
"premises": [
{
"premise": "is_exclusive_disjunction(urn:stoic:test:conditional, urn:stoic:test:a, urn:stoic:test:b)",
"status": "NEITHER"
},
{
"premise": "conclusion_requested(urn:stoic:test:inference, urn:stoic:test:b)",
"status": "TRUE_ONLY"
},
{
"premise": "major_premise(urn:stoic:test:inference, urn:stoic:test:conditional)",
"status": "TRUE_ONLY"
},
{
"premise": "minor_premise(urn:stoic:test:inference, urn:stoic:test:a)",
"status": "TRUE_ONLY"
}
],
"rule": "FourthIndemonstrable"
},
{
"anchors": [
"urn:grc:stoici:clir:indemonstrabilia#DL_7_80",
"urn:grc:stoici:clir:indemonstrabilia#SE_PH_2_157",
"urn:grc:stoici:clir:indemonstrabilia#SE_PH_2_160"
],
"label": "second indemonstrable: if the first then the second; not the second; therefore not the first",
"missing": [
"is_negation_of(urn:stoic:test:a, v3)",
"is_conditional(urn:stoic:test:conditional, urn:stoic:test:b, v3)"
],
"premises": [
{
"premise": "minor_premise(urn:stoic:test:inference, urn:stoic:test:a)",
"status": "TRUE_ONLY"
},
{
"premise": "conclusion_requested(urn:stoic:test:inference, urn:stoic:test:b)",
"status": "TRUE_ONLY"
},
{
"note": "зависит от несвязанной переменной",
"premise": "is_negation_of(urn:stoic:test:a, v3)",
"status": "DEPENDS"
},
{
"premise": "major_premise(urn:stoic:test:inference, urn:stoic:test:conditional)",
"status": "TRUE_ONLY"
},
{
"note": "зависит от несвязанной переменной",
"premise": "is_conditional(urn:stoic:test:conditional, urn:stoic:test:b, v3)",
"status": "DEPENDS"
}
],
"rule": "SecondIndemonstrable"
},
{
"anchors": [
"urn:grc:stoici:clir:indemonstrabilia#DL_7_80",
"urn:grc:stoici:clir:indemonstrabilia#SE_PH_2_158",
"urn:grc:stoici:clir:indemonstrabilia#SE_PH_2_161"
],
"label": "third indemonstrable: not both; the first; therefore not the second",
"missing": [
"is_negation_of(urn:stoic:test:conditional, v2)",
"is_conjunction(v2, urn:stoic:test:a, urn:stoic:test:b)"
],
"premises": [
{
"premise": "minor_premise(urn:stoic:test:inference, urn:stoic:test:a)",
"status": "TRUE_ONLY"
},
{
"premise": "major_premise(urn:stoic:test:inference, urn:stoic:test:conditional)",
"status": "TRUE_ONLY"
},
{
"premise": "conclusion_requested(urn:stoic:test:inference, urn:stoic:test:b)",
"status": "TRUE_ONLY"
},
{
"note": "зависит от несвязанной переменной",
"premise": "is_negation_of(urn:stoic:test:conditional, v2)",
"status": "DEPENDS"
},
{
"note": "зависит от несвязанной переменной",
"premise": "is_conjunction(v2, urn:stoic:test:a, urn:stoic:test:b)",
"status": "DEPENDS"
}
],
"rule": "ThirdIndemonstrable"
}
]
}ИсточникиФрагментов: 8
section/80
Пять стоических индемонстраблей по Диогену Лаэртскому и Сексту Эмпирику — вне юрисдикции государства — доктрина — EXECUTABLE 3 §33.1
The first kind of indemonstrable statement is that in which the whole argument is constructed of a hypothetical proposition and the clause with which the hypothetical proposition begins, while the final clause is the conclusion; as e.g. If the first, then the second; but the first is, therefore the second is. The second is that which employs a hypothetical proposition and the contradictory of the consequent, while the conclusion is the contradictory of the antecedent; e.g. If it is day, it is light; but it is night, therefore it is not day. Here the minor premiss is the contradictory of the consequent; the conclusion the contradictory of the antecedent. The third kind of indemonstrable employs a conjunction of negative propositions for major premiss and one of the conjoined propositions for minor premiss, concluding thence the contradictory of the remaining proposition; e.g. It is not the case that Plato is both dead and alive; but he is dead, therefore Plato is not alive.
Исходные данные · JSON
{
"contentHash": "sha256:9983edf22aaebb3cb637437eb139db44abd8ee8d39eff23b648c11ff1ae8517c",
"edition": "urn:grc:stoici:clir:indemonstrabilia#DIOGENES_HICKS_1925",
"fragmentKind": "section",
"id": "urn:grc:stoici:clir:indemonstrabilia#DL_7_80",
"kind": "fragment",
"labels": [
{
"language": "en",
"status": "official",
"text": "Section 80"
},
{
"language": "ru",
"status": "translation",
"text": "параграф 80"
}
],
"locator": "section/80",
"package": "urn:grc:stoici:clir:indemonstrabilia",
"texts": [
{
"contentHash": "sha256:50b37e93df0ac0157da42a9fabee6d3ac1847ce220f62fbe25ba439e3455391e",
"language": "en",
"status": "official",
"text": "The first kind of indemonstrable statement is that in which the whole argument is constructed of a hypothetical proposition and the clause with which the hypothetical proposition begins, while the final clause is the conclusion; as e.g. If the first, then the second; but the first is, therefore the second is. The second is that which employs a hypothetical proposition and the contradictory of the consequent, while the conclusion is the contradictory of the antecedent; e.g. If it is day, it is light; but it is night, therefore it is not day. Here the minor premiss is the contradictory of the consequent; the conclusion the contradictory of the antecedent. The third kind of indemonstrable employs a conjunction of negative propositions for major premiss and one of the conjoined propositions for minor premiss, concluding thence the contradictory of the remaining proposition; e.g. It is not the case that Plato is both dead and alive; but he is dead, therefore Plato is not alive."
}
]
}section/81
Пять стоических индемонстраблей по Диогену Лаэртскому и Сексту Эмпирику — вне юрисдикции государства — доктрина — EXECUTABLE 3 §33.1
The fourth kind employs a disjunctive proposition and one of the two alternatives in the disjunction as premisses, and its conclusion is the contradictory of the other alternative; e.g. Either A or B; but A is, therefore B is not. The fifth kind is that in which the argument as a whole is constructed of a disjunctive proposition and the contradictory of one of the alternatives in the disjunction, its conclusion being the other alternative; e.g. Either it is day or it is night; but it is not night, therefore it is day. From a truth a truth follows, according to the Stoics, as e.g. It is light from It is day; and from a falsehood a falsehood, as It is dark from It is night, if this latter be untrue. Also a truth may follow from a falsehood; e.g. from The earth flies will follow The earth exists; whereas from a truth no falsehood will follow, for from the existence of the earth it does not follow that the earth flies aloft.
Исходные данные · JSON
{
"contentHash": "sha256:3d16e36b0b5aa88f59df14fd26d52897ccd1ce4eb07a607ca1ebed3cc840d33f",
"edition": "urn:grc:stoici:clir:indemonstrabilia#DIOGENES_HICKS_1925",
"fragmentKind": "section",
"id": "urn:grc:stoici:clir:indemonstrabilia#DL_7_81",
"kind": "fragment",
"labels": [
{
"language": "en",
"status": "official",
"text": "Section 81"
},
{
"language": "ru",
"status": "translation",
"text": "параграф 81"
}
],
"locator": "section/81",
"package": "urn:grc:stoici:clir:indemonstrabilia",
"texts": [
{
"contentHash": "sha256:e948fdfd32767578ab45d5e52cca4fa599d23e0d6a94b284db26f6165f83def6",
"language": "en",
"status": "official",
"text": "The fourth kind employs a disjunctive proposition and one of the two alternatives in the disjunction as premisses, and its conclusion is the contradictory of the other alternative; e.g. Either A or B; but A is, therefore B is not. The fifth kind is that in which the argument as a whole is constructed of a disjunctive proposition and the contradictory of one of the alternatives in the disjunction, its conclusion being the other alternative; e.g. Either it is day or it is night; but it is not night, therefore it is day. From a truth a truth follows, according to the Stoics, as e.g. It is light from It is day; and from a falsehood a falsehood, as It is dark from It is night, if this latter be untrue. Also a truth may follow from a falsehood; e.g. from The earth flies will follow The earth exists; whereas from a truth no falsehood will follow, for from the existence of the earth it does not follow that the earth flies aloft."
}
]
}section/157
Пять стоических индемонстраблей по Диогену Лаэртскому и Сексту Эмпирику — вне юрисдикции государства — доктрина — EXECUTABLE 3 §33.1
Now there are, in their imaginings, many non-demonstrable arguments, but the five which they chiefly propound, and to which all the rest can, it seems, be referred, are these. The first is that which deduces the consequent from the major premiss and the antecedent, as for example ‟If it is day, it is light; but in fact it is day; therefore it is light.” The second is that which deduces the opposite of the antecedent from the major premiss and the opposite of the consequent, as for example ‟If it is day, it is light; but it is not light; therefore it is not day.”
Исходные данные · JSON
{
"contentHash": "sha256:646f89a238207d1e78cf9eff6b550ba966166073c845c7414522cd200fa3375b",
"edition": "urn:grc:stoici:clir:indemonstrabilia#SEXTUS_BURY_1933",
"fragmentKind": "section",
"id": "urn:grc:stoici:clir:indemonstrabilia#SE_PH_2_157",
"kind": "fragment",
"labels": [
{
"language": "en",
"status": "official",
"text": "Section 157"
},
{
"language": "ru",
"status": "translation",
"text": "параграф 157"
}
],
"locator": "section/157",
"package": "urn:grc:stoici:clir:indemonstrabilia",
"texts": [
{
"contentHash": "sha256:67d1f6c31637cf2aef4cd557f4fd92823d8c80df41ad46afd9586c7ddf1330ca",
"language": "en",
"status": "official",
"text": "Now there are, in their imaginings, many non-demonstrable arguments, but the five which they chiefly propound, and to which all the rest can, it seems, be referred, are these. The first is that which deduces the consequent from the major premiss and the antecedent, as for example ‟If it is day, it is light; but in fact it is day; therefore it is light.” The second is that which deduces the opposite of the antecedent from the major premiss and the opposite of the consequent, as for example ‟If it is day, it is light; but it is not light; therefore it is not day.”"
}
]
}section/158
Пять стоических индемонстраблей по Диогену Лаэртскому и Сексту Эмпирику — вне юрисдикции государства — доктрина — EXECUTABLE 3 §33.1
The third deduces from the negation of a coupled premiss and the affirmation of one of its clauses the opposite of the other clause, as for example ‟It is not both night and day; but it is day; therefore it is not night.” The fourth deduces from a disjunctive premiss and one of its alternative clauses the opposite of the other, as for example ‟Either it is day or it is night; but it is day; therefore it is not night.” The fifth deduces from a disjunctive premiss and the opposite of one of its clauses the other clause, as for example ‟Either it is day or it is night; but it is not night; therefore it is day.”
Исходные данные · JSON
{
"contentHash": "sha256:ebdb0696dfd86b75b48b3bb51ec7957871a45e0e85189a387526dcb4c7886dc8",
"edition": "urn:grc:stoici:clir:indemonstrabilia#SEXTUS_BURY_1933",
"fragmentKind": "section",
"id": "urn:grc:stoici:clir:indemonstrabilia#SE_PH_2_158",
"kind": "fragment",
"labels": [
{
"language": "en",
"status": "official",
"text": "Section 158"
},
{
"language": "ru",
"status": "translation",
"text": "параграф 158"
}
],
"locator": "section/158",
"package": "urn:grc:stoici:clir:indemonstrabilia",
"texts": [
{
"contentHash": "sha256:a113b8f43db27914202dd7a426d88897b22bec6aeadd78f5fe13e9fb356262fe",
"language": "en",
"status": "official",
"text": "The third deduces from the negation of a coupled premiss and the affirmation of one of its clauses the opposite of the other clause, as for example ‟It is not both night and day; but it is day; therefore it is not night.” The fourth deduces from a disjunctive premiss and one of its alternative clauses the opposite of the other, as for example ‟Either it is day or it is night; but it is day; therefore it is not night.” The fifth deduces from a disjunctive premiss and the opposite of one of its clauses the other clause, as for example ‟Either it is day or it is night; but it is not night; therefore it is day.”"
}
]
}section/159
Пять стоических индемонстраблей по Диогену Лаэртскому и Сексту Эмпирику — вне юрисдикции государства — доктрина — EXECUTABLE 3 §33.1
These, then, are the much talked of non-demonstrable arguments, but they all seem to me to be inconclusive through redundancy. Thus for instance, to begin with the first, either it is agreed, or else it is non-evident, that in the major premiss ‟If it is day, it is light,” the clause ‟it is light” follows from its antecedent ‟it is day.” But if this is non-evident, we shall not grant the major premiss as agreed; if, however, it is pre-evident that if the clause ‟it is day” be true, the clause ‟it is light” will necessarily be true also, then, once we have asserted that ‟it is day,” the statement ‟it is light” is also inferred, so that an argument in the form ‟It is day, therefore it is light” is sufficient, and the major premiss ‟If it is day, it is light” is redundant.
Исходные данные · JSON
{
"contentHash": "sha256:b2f9aa061a998545e8a3cd5e54933caa0e68ccde75e2c2e5e45acc8c7bac3476",
"edition": "urn:grc:stoici:clir:indemonstrabilia#SEXTUS_BURY_1933",
"fragmentKind": "section",
"id": "urn:grc:stoici:clir:indemonstrabilia#SE_PH_2_159",
"kind": "fragment",
"labels": [
{
"language": "en",
"status": "official",
"text": "Section 159"
},
{
"language": "ru",
"status": "translation",
"text": "параграф 159"
}
],
"locator": "section/159",
"package": "urn:grc:stoici:clir:indemonstrabilia",
"texts": [
{
"contentHash": "sha256:50b0bc3d16cc9766128fef647d35e380cb0427fce3a64a3f33b5b342548e0f21",
"language": "en",
"status": "official",
"text": "These, then, are the much talked of non-demonstrable arguments, but they all seem to me to be inconclusive through redundancy. Thus for instance, to begin with the first, either it is agreed, or else it is non-evident, that in the major premiss ‟If it is day, it is light,” the clause ‟it is light” follows from its antecedent ‟it is day.” But if this is non-evident, we shall not grant the major premiss as agreed; if, however, it is pre-evident that if the clause ‟it is day” be true, the clause ‟it is light” will necessarily be true also, then, once we have asserted that ‟it is day,” the statement ‟it is light” is also inferred, so that an argument in the form ‟It is day, therefore it is light” is sufficient, and the major premiss ‟If it is day, it is light” is redundant."
}
]
}section/160
Пять стоических индемонстраблей по Диогену Лаэртскому и Сексту Эмпирику — вне юрисдикции государства — доктрина — EXECUTABLE 3 §33.1
And in the case of the second non-demonstrable argument we make a similar objection. For it is either possible or impossible for the antecedent to be true when the consequent is not true. But if this is possible, the major premiss will not be valid; while if it is impossible, at the moment of positing ‟Not the consequent” we posit also ‟Not the antecedent,” and the major premiss is redundant once again, the argument propounded being ‟It is not light, therefore it is not day.”
Исходные данные · JSON
{
"contentHash": "sha256:a8053d1d777a092a16334c43287e4503e19b1ab419b2615a6c3839b33f0142ab",
"edition": "urn:grc:stoici:clir:indemonstrabilia#SEXTUS_BURY_1933",
"fragmentKind": "section",
"id": "urn:grc:stoici:clir:indemonstrabilia#SE_PH_2_160",
"kind": "fragment",
"labels": [
{
"language": "en",
"status": "official",
"text": "Section 160"
},
{
"language": "ru",
"status": "translation",
"text": "параграф 160"
}
],
"locator": "section/160",
"package": "urn:grc:stoici:clir:indemonstrabilia",
"texts": [
{
"contentHash": "sha256:ddfb72643bc05139ee489b6d40d2a6d36ca8b0fa46f3e0c71bc1ddebf64f0004",
"language": "en",
"status": "official",
"text": "And in the case of the second non-demonstrable argument we make a similar objection. For it is either possible or impossible for the antecedent to be true when the consequent is not true. But if this is possible, the major premiss will not be valid; while if it is impossible, at the moment of positing ‟Not the consequent” we posit also ‟Not the antecedent,” and the major premiss is redundant once again, the argument propounded being ‟It is not light, therefore it is not day.”"
}
]
}section/161
Пять стоических индемонстраблей по Диогену Лаэртскому и Сексту Эмпирику — вне юрисдикции государства — доктрина — EXECUTABLE 3 §33.1
The same reasoning applies also to the third non-demonstrable argument. For either it is pre-evident that it is impossible for the clauses in the coupled premiss mutually to co-exist, or else it is non-evident. And if it is non-evident we shall not grant the negative of the coupled premiss; but if it is pre-evident, at the moment of positing the one clause the other is annulled, and the negative of the coupled premiss is redundant when we propound the argument in the form ‟It is day, therefore it is not night.”
Исходные данные · JSON
{
"contentHash": "sha256:c98cb4abc03b5d448a6565f8223bf1fd7b2a6796adf5787816e8ac8725327932",
"edition": "urn:grc:stoici:clir:indemonstrabilia#SEXTUS_BURY_1933",
"fragmentKind": "section",
"id": "urn:grc:stoici:clir:indemonstrabilia#SE_PH_2_161",
"kind": "fragment",
"labels": [
{
"language": "en",
"status": "official",
"text": "Section 161"
},
{
"language": "ru",
"status": "translation",
"text": "параграф 161"
}
],
"locator": "section/161",
"package": "urn:grc:stoici:clir:indemonstrabilia",
"texts": [
{
"contentHash": "sha256:45ef72f5b0950b68e73bd91b8cbf00a0460f4fb0e7b11cf9f96a052d1db36f20",
"language": "en",
"status": "official",
"text": "The same reasoning applies also to the third non-demonstrable argument. For either it is pre-evident that it is impossible for the clauses in the coupled premiss mutually to co-exist, or else it is non-evident. And if it is non-evident we shall not grant the negative of the coupled premiss; but if it is pre-evident, at the moment of positing the one clause the other is annulled, and the negative of the coupled premiss is redundant when we propound the argument in the form ‟It is day, therefore it is not night.”"
}
]
}section/162
Пять стоических индемонстраблей по Диогену Лаэртскому и Сексту Эмпирику — вне юрисдикции государства — доктрина — EXECUTABLE 3 §33.1
And we deal in like manner with the fourth non-demonstrable argument and the fifth. For either it is pre-evident or it is non-evident that in the disjunctive premiss one clause is true, the other false, in complete contradiction, as the disjunctive proclaims. And if this is non-evident, we shall not grant the disjunctive; but if it is pre-evident, if one of its clauses be affirmed it is apparent that the other is not true, and if one is negated it is pre-evident that the other is true, so that it is sufficient to frame the argument thus—‟It is day, therefore it is not night,” or ‟It is not day, therefore it is night;” and the disjunctive premiss is redundant.
Исходные данные · JSON
{
"contentHash": "sha256:a8c3cee18f532dc346cde57a419dba10cdc32ee93cd5063f32597ed2bb882b1d",
"edition": "urn:grc:stoici:clir:indemonstrabilia#SEXTUS_BURY_1933",
"fragmentKind": "section",
"id": "urn:grc:stoici:clir:indemonstrabilia#SE_PH_2_162",
"kind": "fragment",
"labels": [
{
"language": "en",
"status": "official",
"text": "Section 162"
},
{
"language": "ru",
"status": "translation",
"text": "параграф 162"
}
],
"locator": "section/162",
"package": "urn:grc:stoici:clir:indemonstrabilia",
"texts": [
{
"contentHash": "sha256:a319b5fc56ffb8add8f1fd6fcf14285668b267681184d82f042970af6e967f31",
"language": "en",
"status": "official",
"text": "And we deal in like manner with the fourth non-demonstrable argument and the fifth. For either it is pre-evident or it is non-evident that in the disjunctive premiss one clause is true, the other false, in complete contradiction, as the disjunctive proclaims. And if this is non-evident, we shall not grant the disjunctive; but if it is pre-evident, if one of its clauses be affirmed it is apparent that the other is not true, and if one is negated it is pre-evident that the other is true, so that it is sufficient to frame the argument thus—‟It is day, therefore it is not night,” or ‟It is not day, therefore it is night;” and the disjunctive premiss is redundant."
}
]
}Пакеты в снимке
- Пять стоических индемонстраблей по Диогену Лаэртскому и Сексту Эмпирику — вне юрисдикции государства — доктрина — EXECUTABLE 3 §33.1
Технические данныеПолный ответ, параметры и контрольные суммы
- Статус расчёта
- COMPUTED
Полный ответ движка
Полный машинный результат · JSON
{
"answer": {
"evaluationStatus": "COMPUTED",
"kind": "TRUTH",
"meaning": "установлено",
"missingInputs": [],
"truthStatus": "TRUE_ONLY"
},
"closedEditionRules": [],
"derived": [
"licensed_conclusion(urn:stoic:test:inference, urn:stoic:test:b)"
],
"derivedOmitted": 0,
"evaluation": {
"proofGraph": {
"nodes": [
{
"attributes": {
"assertion": "urn:mcp:case#fact-1"
},
"conclusion": {
"args": [
{
"id": "urn:stoic:test:inference",
"kind": "entity_ref"
},
{
"id": "urn:stoic:test:conditional",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:stoici:clir:indemonstrabilia#major_premise"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-2"
},
"conclusion": {
"args": [
{
"id": "urn:stoic:test:inference",
"kind": "entity_ref"
},
{
"id": "urn:stoic:test:a",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:stoici:clir:indemonstrabilia#minor_premise"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-2",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-3"
},
"conclusion": {
"args": [
{
"id": "urn:stoic:test:inference",
"kind": "entity_ref"
},
{
"id": "urn:stoic:test:b",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:stoici:clir:indemonstrabilia#conclusion_requested"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-3",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-4"
},
"conclusion": {
"args": [
{
"id": "urn:stoic:test:conditional",
"kind": "entity_ref"
},
{
"id": "urn:stoic:test:a",
"kind": "entity_ref"
},
{
"id": "urn:stoic:test:b",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:stoici:clir:indemonstrabilia#is_conditional"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-4",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:stoic:test:inference",
"kind": "entity_ref"
},
{
"id": "urn:stoic:test:b",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:stoici:clir:indemonstrabilia#licensed_conclusion"
},
"evidence": [],
"id": "urn:proof:apply:FirstIndemonstrable:c368bc760e28c41165e934e5bd3dd6ec3f2d1447d141e36ed45bab344ba9036d",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-2",
"urn:proof:assert:urn:mcp:case#fact-3",
"urn:proof:assert:urn:mcp:case#fact-4"
],
"rule": "urn:grc:stoici:clir:indemonstrabilia#FirstIndemonstrable",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:stoic:test:inference",
"kind": "entity_ref"
},
"v1": {
"id": "urn:stoic:test:conditional",
"kind": "entity_ref"
},
"v2": {
"id": "urn:stoic:test:a",
"kind": "entity_ref"
},
"v3": {
"id": "urn:stoic:test:b",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"constraint": "urn:grc:stoici:clir:indemonstrabilia#FiveIndemonstrablesExhaustive",
"requirementStatus": "TRUE_ONLY",
"status": "SATISFIED",
"triggerStatus": "SATISFIED"
},
"evidence": [],
"id": "urn:proof:constraint:FiveIndemonstrablesExhaustive:70d899d2d53db8c579936d9cf9cbe5afde6ae410e44b7f8b99f1e99629e3d09c",
"kind": "constraint_check",
"premises": [
"urn:proof:apply:FirstIndemonstrable:c368bc760e28c41165e934e5bd3dd6ec3f2d1447d141e36ed45bab344ba9036d",
"urn:proof:assert:urn:mcp:case#fact-3"
],
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:stoic:test:inference",
"kind": "entity_ref"
},
"v1": {
"id": "urn:stoic:test:b",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"selected": [
"urn:grc:stoici:clir:indemonstrabilia#DiogenesFifthReading"
]
},
"evidence": [],
"id": "urn:proof:interpretation-selection",
"kind": "interpretation_selection",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"literal": {
"args": [
{
"id": "urn:stoic:test:inference",
"kind": "entity_ref"
},
{
"id": "urn:stoic:test:b",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:stoici:clir:indemonstrabilia#licensed_conclusion"
},
"truthStatus": "TRUE_ONLY"
},
"evidence": [],
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"premises": [
"urn:proof:apply:FirstIndemonstrable:c368bc760e28c41165e934e5bd3dd6ec3f2d1447d141e36ed45bab344ba9036d"
],
"sourceAnchors": []
}
],
"proofHash": "sha256:83cedece4f3b0cb74938d2b92fce775c3bc42fc075c06be09b59ae8e9332da1f",
"roots": [
"urn:proof:constraint:FiveIndemonstrablesExhaustive:70d899d2d53db8c579936d9cf9cbe5afde6ae410e44b7f8b99f1e99629e3d09c",
"urn:proof:query:mcp"
]
},
"resultHash": "sha256:e8102e574c5af8d6ef38877201df4a7181192327e2284516632f69a225995864",
"schemaVersion": "law.core.evaluation/0.2"
},
"evaluationStatus": "COMPUTED",
"issues": [],
"judgmentRequests": [],
"proofRef": "urn:proof:query:mcp",
"provenance": {
"acts": [
{
"contributed": true,
"fragmentCount": 10,
"fragments": [
"urn:grc:stoici:clir:indemonstrabilia#DL_7_80",
"urn:grc:stoici:clir:indemonstrabilia#SE_PH_2_157",
"urn:grc:stoici:clir:indemonstrabilia#SE_PH_2_159"
],
"jurisdiction": "none",
"namespace": "urn:grc:stoici:clir:indemonstrabilia",
"package": "grc-stoic-indemonstrables",
"title": "Пять стоических индемонстраблей по Диогену Лаэртскому и Сексту Эмпирику — вне юрисдикции государства — доктрина — EXECUTABLE 3 §33.1"
}
],
"caseHash": "sha256:8ab75b84ad425c960064785d0f619eddfb4249c3accf352586f1c89c5fc7de0d",
"codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
"jurisdiction": "вне юрисдикции государства",
"legalTime": "0001-01-01",
"mode": "audit",
"programHash": "sha256:e2f4a762812ed3108f558e351eeaeff0a8aef1e08bb356e1e5c93d7c300833b4",
"resultHash": "sha256:e8102e574c5af8d6ef38877201df4a7181192327e2284516632f69a225995864",
"rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
"timezone": "Asia/Qyzylorda"
},
"rulesApplied": [
"urn:grc:stoici:clir:indemonstrabilia#FirstIndemonstrable"
],
"signature": {
"constants": {},
"parameters": [
{
"labels": [],
"name": "i",
"type": {
"name": "urn:grc:stoici:clir:indemonstrabilia#Inference"
}
},
{
"labels": [],
"name": "p",
"type": {
"name": "urn:grc:stoici:clir:indemonstrabilia#Proposition"
}
}
],
"predicate": "urn:grc:stoici:clir:indemonstrabilia#licensed_conclusion",
"schemaVersion": "law.answers.signature/0.1",
"types": {
"urn:grc:stoici:clir:indemonstrabilia#Inference": {
"kind": "entity",
"labels": [
{
"language": "en",
"status": "translation",
"text": "submitted inference: major premise, minor premise, and conclusion"
},
{
"language": "ru",
"status": "official",
"text": "предъявленный вывод: большая посылка, малая посылка и заключение"
}
],
"namespace": "urn:grc:stoici:clir:indemonstrabilia",
"package": "grc.stoici.indemonstrabilia"
},
"urn:grc:stoici:clir:indemonstrabilia#Proposition": {
"kind": "entity",
"labels": [
{
"language": "en",
"status": "translation",
"text": "proposition: truth-apt content"
},
{
"language": "grc",
"status": "official",
"text": "ἀξίωμα"
},
{
"language": "ru",
"status": "translation",
"text": "пропозиция: содержание, способное быть истинным или ложным"
}
],
"namespace": "urn:grc:stoici:clir:indemonstrabilia",
"package": "grc.stoici.indemonstrabilia"
}
},
"vocab": {}
},
"vulnerableTo": [
{
"anchors": [
"urn:grc:stoici:clir:indemonstrabilia#DL_7_81",
"urn:grc:stoici:clir:indemonstrabilia#SE_PH_2_158",
"urn:grc:stoici:clir:indemonstrabilia#SE_PH_2_162"
],
"label": "fourth indemonstrable: either the first or the second; the first; therefore not the second",
"missing": [
"is_exclusive_disjunction(urn:stoic:test:conditional, urn:stoic:test:a, urn:stoic:test:b)"
],
"premises": [
{
"premise": "is_exclusive_disjunction(urn:stoic:test:conditional, urn:stoic:test:a, urn:stoic:test:b)",
"status": "NEITHER"
},
{
"premise": "conclusion_requested(urn:stoic:test:inference, urn:stoic:test:b)",
"status": "TRUE_ONLY"
},
{
"premise": "major_premise(urn:stoic:test:inference, urn:stoic:test:conditional)",
"status": "TRUE_ONLY"
},
{
"premise": "minor_premise(urn:stoic:test:inference, urn:stoic:test:a)",
"status": "TRUE_ONLY"
}
],
"rule": "FourthIndemonstrable"
},
{
"anchors": [
"urn:grc:stoici:clir:indemonstrabilia#DL_7_80",
"urn:grc:stoici:clir:indemonstrabilia#SE_PH_2_157",
"urn:grc:stoici:clir:indemonstrabilia#SE_PH_2_160"
],
"label": "second indemonstrable: if the first then the second; not the second; therefore not the first",
"missing": [
"is_negation_of(urn:stoic:test:a, v3)",
"is_conditional(urn:stoic:test:conditional, urn:stoic:test:b, v3)"
],
"premises": [
{
"premise": "minor_premise(urn:stoic:test:inference, urn:stoic:test:a)",
"status": "TRUE_ONLY"
},
{
"premise": "conclusion_requested(urn:stoic:test:inference, urn:stoic:test:b)",
"status": "TRUE_ONLY"
},
{
"note": "зависит от несвязанной переменной",
"premise": "is_negation_of(urn:stoic:test:a, v3)",
"status": "DEPENDS"
},
{
"premise": "major_premise(urn:stoic:test:inference, urn:stoic:test:conditional)",
"status": "TRUE_ONLY"
},
{
"note": "зависит от несвязанной переменной",
"premise": "is_conditional(urn:stoic:test:conditional, urn:stoic:test:b, v3)",
"status": "DEPENDS"
}
],
"rule": "SecondIndemonstrable"
},
{
"anchors": [
"urn:grc:stoici:clir:indemonstrabilia#DL_7_80",
"urn:grc:stoici:clir:indemonstrabilia#SE_PH_2_158",
"urn:grc:stoici:clir:indemonstrabilia#SE_PH_2_161"
],
"label": "third indemonstrable: not both; the first; therefore not the second",
"missing": [
"is_negation_of(urn:stoic:test:conditional, v2)",
"is_conjunction(v2, urn:stoic:test:a, urn:stoic:test:b)"
],
"premises": [
{
"premise": "minor_premise(urn:stoic:test:inference, urn:stoic:test:a)",
"status": "TRUE_ONLY"
},
{
"premise": "major_premise(urn:stoic:test:inference, urn:stoic:test:conditional)",
"status": "TRUE_ONLY"
},
{
"premise": "conclusion_requested(urn:stoic:test:inference, urn:stoic:test:b)",
"status": "TRUE_ONLY"
},
{
"note": "зависит от несвязанной переменной",
"premise": "is_negation_of(urn:stoic:test:conditional, v2)",
"status": "DEPENDS"
},
{
"note": "зависит от несвязанной переменной",
"premise": "is_conjunction(v2, urn:stoic:test:a, urn:stoic:test:b)",
"status": "DEPENDS"
}
],
"rule": "ThirdIndemonstrable"
}
],
"whyNot": []
}Исполнение · JSON
{
"evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:b418b3116ecb48441412cb51484854ec4e1694f79e57b5479592cb1ab6a60e74\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:8ab75b84ad425c960064785d0f619eddfb4249c3accf352586f1c89c5fc7de0d\",\"decisionTime\":\"0001-01-01T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[\"urn:grc:stoici:clir:indemonstrabilia#DiogenesFifthReading\"],\"knowledgeTime\":\"0001-01-01T12:00:00+05:00\",\"legalTime\":\"0001-01-01\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:e2f4a762812ed3108f558e351eeaeff0a8aef1e08bb356e1e5c93d7c300833b4\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:d55f5449a527a0003013183073de495ba84d9696d86a3156041472bb4f17547e\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:e2f4a762812ed3108f558e351eeaeff0a8aef1e08bb356e1e5c93d7c300833b4\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:stoic:test:inference\",\"kind\":\"entity_ref\"},{\"id\":\"urn:stoic:test:conditional\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:grc:stoici:clir:indemonstrabilia#major_premise\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:stoic:test:inference\",\"kind\":\"entity_ref\"},{\"id\":\"urn:stoic:test:a\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:grc:stoici:clir:indemonstrabilia#minor_premise\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:stoic:test:inference\",\"kind\":\"entity_ref\"},{\"id\":\"urn:stoic:test:b\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:grc:stoici:clir:indemonstrabilia#conclusion_requested\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-4\"},\"conclusion\":{\"args\":[{\"id\":\"urn:stoic:test:conditional\",\"kind\":\"entity_ref\"},{\"id\":\"urn:stoic:test:a\",\"kind\":\"entity_ref\"},{\"id\":\"urn:stoic:test:b\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:grc:stoici:clir:indemonstrabilia#is_conditional\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-4\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:stoic:test:inference\",\"kind\":\"entity_ref\"},{\"id\":\"urn:stoic:test:b\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:grc:stoici:clir:indemonstrabilia#licensed_conclusion\"},\"evidence\":[],\"id\":\"urn:proof:apply:FirstIndemonstrable:c368bc760e28c41165e934e5bd3dd6ec3f2d1447d141e36ed45bab344ba9036d\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\",\"urn:proof:assert:urn:mcp:case#fact-4\"],\"rule\":\"urn:grc:stoici:clir:indemonstrabilia#FirstIndemonstrable\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:stoic:test:inference\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:stoic:test:conditional\",\"kind\":\"entity_ref\"},\"v2\":{\"id\":\"urn:stoic:test:a\",\"kind\":\"entity_ref\"},\"v3\":{\"id\":\"urn:stoic:test:b\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"constraint\":\"urn:grc:stoici:clir:indemonstrabilia#FiveIndemonstrablesExhaustive\",\"requirementStatus\":\"TRUE_ONLY\",\"status\":\"SATISFIED\",\"triggerStatus\":\"SATISFIED\"},\"evidence\":[],\"id\":\"urn:proof:constraint:FiveIndemonstrablesExhaustive:70d899d2d53db8c579936d9cf9cbe5afde6ae410e44b7f8b99f1e99629e3d09c\",\"kind\":\"constraint_check\",\"premises\":[\"urn:proof:apply:FirstIndemonstrable:c368bc760e28c41165e934e5bd3dd6ec3f2d1447d141e36ed45bab344ba9036d\",\"urn:proof:assert:urn:mcp:case#fact-3\"],\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:stoic:test:inference\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:stoic:test:b\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"selected\":[\"urn:grc:stoici:clir:indemonstrabilia#DiogenesFifthReading\"]},\"evidence\":[],\"id\":\"urn:proof:interpretation-selection\",\"kind\":\"interpretation_selection\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:stoic:test:inference\",\"kind\":\"entity_ref\"},{\"id\":\"urn:stoic:test:b\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:grc:stoici:clir:indemonstrabilia#licensed_conclusion\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:FirstIndemonstrable:c368bc760e28c41165e934e5bd3dd6ec3f2d1447d141e36ed45bab344ba9036d\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:83cedece4f3b0cb74938d2b92fce775c3bc42fc075c06be09b59ae8e9332da1f\",\"roots\":[\"urn:proof:constraint:FiveIndemonstrablesExhaustive:70d899d2d53db8c579936d9cf9cbe5afde6ae410e44b7f8b99f1e99629e3d09c\",\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:e8102e574c5af8d6ef38877201df4a7181192327e2284516632f69a225995864\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:grc:stoici:clir:indemonstrabilia#licensed_conclusion\",\"truthStatus\":\"TRUE_ONLY\"},{\"applicabilityStatus\":\"APPLICABLE\",\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:constraint:FiveIndemonstrablesExhaustive:91a20385e04f0c63\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatus\":\"SATISFIED\",\"normativeStatusSupports\":[],\"proof\":\"urn:proof:constraint:FiveIndemonstrablesExhaustive:70d899d2d53db8c579936d9cf9cbe5afde6ae410e44b7f8b99f1e99629e3d09c\",\"query\":\"urn:query:mcp\",\"resultKind\":\"CONSTRAINT\",\"sourceAnchors\":[],\"target\":\"urn:grc:stoici:clir:indemonstrabilia#FiveIndemonstrablesExhaustive\",\"triggerStatus\":\"SATISFIED\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}",
"evaluationSha256": "sha256:a60282dd527955dd7a80384159c30d080ed78483fe96f95c952344a49d656fad",
"request": {
"case": {
"assertions": [
{
"contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"evidence": [],
"id": "urn:mcp:case#fact-1",
"kind": "assertion",
"literal": {
"args": [
{
"id": "urn:stoic:test:inference",
"kind": "entity_ref"
},
{
"id": "urn:stoic:test:conditional",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:stoici:clir:indemonstrabilia#major_premise"
},
"origin": "case_input",
"package": "urn:grc:stoici:clir:indemonstrabilia"
},
{
"contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"evidence": [],
"id": "urn:mcp:case#fact-2",
"kind": "assertion",
"literal": {
"args": [
{
"id": "urn:stoic:test:inference",
"kind": "entity_ref"
},
{
"id": "urn:stoic:test:a",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:stoici:clir:indemonstrabilia#minor_premise"
},
"origin": "case_input",
"package": "urn:grc:stoici:clir:indemonstrabilia"
},
{
"contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"evidence": [],
"id": "urn:mcp:case#fact-3",
"kind": "assertion",
"literal": {
"args": [
{
"id": "urn:stoic:test:inference",
"kind": "entity_ref"
},
{
"id": "urn:stoic:test:b",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:stoici:clir:indemonstrabilia#conclusion_requested"
},
"origin": "case_input",
"package": "urn:grc:stoici:clir:indemonstrabilia"
},
{
"contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"evidence": [],
"id": "urn:mcp:case#fact-4",
"kind": "assertion",
"literal": {
"args": [
{
"id": "urn:stoic:test:conditional",
"kind": "entity_ref"
},
{
"id": "urn:stoic:test:a",
"kind": "entity_ref"
},
{
"id": "urn:stoic:test:b",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:stoici:clir:indemonstrabilia#is_conditional"
},
"origin": "case_input",
"package": "urn:grc:stoici:clir:indemonstrabilia"
}
],
"context": {
"decisionTime": "0001-01-01T12:00:00+05:00",
"knowledgeTime": "0001-01-01T12:00:00+05:00",
"legalTime": "0001-01-01",
"timezone": "Asia/Qyzylorda"
},
"options": {
"selectedInterpretations": [
"urn:grc:stoici:clir:indemonstrabilia#DiogenesFifthReading"
]
}
},
"ir": {
"irSha256": "sha256:fe74cc4cf1cf095d9cbe414d6980569afdb8644cd13f23c0b1cf46a32f6e4176",
"kind": "world_ref",
"nodeCount": 36,
"packages": [
{
"artifactHash": "sha256:b418b3116ecb48441412cb51484854ec4e1694f79e57b5479592cb1ab6a60e74",
"namespace": "urn:grc:stoici:clir:indemonstrabilia",
"package": "grc-stoic-indemonstrables",
"semanticHash": "sha256:af1c08b281761cca9feb1539e6f9a3cd3e994853be9ee36a1909ab2350f8c7b2"
}
],
"programHash": "sha256:e2f4a762812ed3108f558e351eeaeff0a8aef1e08bb356e1e5c93d7c300833b4"
},
"query": {
"kind": "truth",
"literal": {
"args": [
{
"id": "urn:stoic:test:inference",
"kind": "entity_ref"
},
{
"id": "urn:stoic:test:b",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:stoici:clir:indemonstrabilia#licensed_conclusion"
},
"queryId": "urn:query:mcp"
},
"schemaVersion": "law.core.evaluation-request/0.2",
"semanticVersion": "0.2"
},
"requestCanonicalSha256": "sha256:540d3270c9dd4bf53fbadfe6423692792befe329001647c7acc252f8a369ce3d"
}Метаданные отображения
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓JSON · расчёты, источники и точные данные
{
"acts": [
{
"contributed": true,
"fragmentCount": 10,
"fragments": [
"urn:grc:stoici:clir:indemonstrabilia#DL_7_80",
"urn:grc:stoici:clir:indemonstrabilia#SE_PH_2_157",
"urn:grc:stoici:clir:indemonstrabilia#SE_PH_2_159"
],
"jurisdiction": "none",
"namespace": "urn:grc:stoici:clir:indemonstrabilia",
"package": "grc-stoic-indemonstrables",
"title": "Пять стоических индемонстраблей по Диогену Лаэртскому и Сексту Эмпирику — вне юрисдикции государства — доктрина — EXECUTABLE 3 §33.1"
}
],
"caseHash": "sha256:8ab75b84ad425c960064785d0f619eddfb4249c3accf352586f1c89c5fc7de0d",
"codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
"jurisdiction": "вне юрисдикции государства",
"legalTime": "0001-01-01",
"mode": "audit",
"programHash": "sha256:e2f4a762812ed3108f558e351eeaeff0a8aef1e08bb356e1e5c93d7c300833b4",
"resultHash": "sha256:e8102e574c5af8d6ef38877201df4a7181192327e2284516632f69a225995864",
"rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
"timezone": "Asia/Qyzylorda"
}- evaluation SHA-256
- sha256:a60282dd527955dd7a80384159c30d080ed78483fe96f95c952344a49d656fad
Исходные данные · JSON
{
"args": [
"urn:stoic:test:inference",
"urn:stoic:test:b"
],
"facts": [
{
"args": [
"urn:stoic:test:inference",
"urn:stoic:test:conditional"
],
"predicate": "major_premise"
},
{
"args": [
"urn:stoic:test:inference",
"urn:stoic:test:a"
],
"predicate": "minor_premise"
},
{
"args": [
"urn:stoic:test:inference",
"urn:stoic:test:b"
],
"predicate": "conclusion_requested"
},
{
"args": [
"urn:stoic:test:conditional",
"urn:stoic:test:a",
"urn:stoic:test:b"
],
"predicate": "is_conditional"
}
],
"kind": "truth",
"legalTime": "0001-01-01",
"package": "grc-stoic-indemonstrables",
"predicate": "licensed_conclusion",
"proof": true,
"selectedInterpretations": [
"urn:grc:stoici:clir:indemonstrabilia#DiogenesFifthReading"
]
}