Condition
Первый: если A, то B; A; следовательно B
Calculation result
Established
Input parameters
What we are finding
предъявленные посылки лицензируют пропозицию как заключение
Input facts
пропозиция предъявлена как большая посылка этого вывода
i: inferencep: conditionalпропозиция предъявлена как малая посылка этого вывода
i: inferencep: aдля пропозиции проверяется, лицензирована ли она как заключение
i: inferencep: bпропозиция имеет форму «если antecedent, то consequent»
p: conditionalantecedent: aconsequent: b
Package: Пять стоических индемонстраблей по Диогену Лаэртскому и Сексту Эмпирику — вне юрисдикции государства — доктрина
Additional details
- Include proof
- Yes
- selectedInterpretations
- DiogenesFifthReading
Original data · 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"
]
}Why this resultApplied rules and conditions
Derivation path6 steps
- 1case fact
пропозиция предъявлена как большая посылка этого вывода
i: urn:stoic:test:inference; p: urn:stoic:test:conditional
- 2case fact
пропозиция предъявлена как малая посылка этого вывода
i: urn:stoic:test:inference; p: urn:stoic:test:a
- 3case fact
для пропозиции проверяется, лицензирована ли она как заключение
i: urn:stoic:test:inference; p: urn:stoic:test:b
- 4case fact
пропозиция имеет форму «если antecedent, то consequent»
p: urn:stoic:test:conditional; antecedent: urn:stoic:test:a; consequent: urn:stoic:test:b
- 5rule
первая схема: если первое, то второе; первое; значит второе
предъявленные посылки лицензируют пропозицию как заключение: i: urn:stoic:test:inference; p: urn:stoic:test:b
sec. 80, sec. 157, sec. 159
Identifier
urn:grc:stoici:clir:indemonstrabilia#FirstIndemonstrable - 6query
Query evaluation
verified by the engine: 2 · case fact: 4 · Full graph: 8 nodes
Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.
Basis of this answer
Rules on the saved proof path for this answer.
Пять стоических индемонстраблей по Диогену Лаэртскому и Сексту Эмпирику — вне юрисдикции государства — доктрина
первая схема: если первое, то второе; первое; значит второе
Identifier
urn:grc:stoici:clir:indemonstrabilia#FirstIndemonstrable
Derived result for this query
предъявленные посылки лицензируют пропозицию как заключение
i: inferencep: b
| i | p |
|---|---|
| inference | b |
0 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.
What could defeat the conclusion3 rules
- 1rule
четвёртая схема: либо первое, либо второе; первое; значит не второе
What is missing
- пропозиция есть исключающая дизъюнкция first и secondconditional, a, bNot establishedthis is the missing one
- для пропозиции проверяется, лицензирована ли она как заключениеinference, bEstablished
- пропозиция предъявлена как большая посылка этого выводаinference, conditionalEstablished
- пропозиция предъявлена как малая посылка этого выводаinference, aEstablished
Source: sec. 81, sec. 158, sec. 162
Identifier
urn:grc:stoici:clir:indemonstrabilia#FourthIndemonstrable - 2rule
вторая схема: если первое, то второе; не второе; значит не первое
What is missing
- пропозиция предъявлена как малая посылка этого выводаinference, aEstablished
- для пропозиции проверяется, лицензирована ли она как заключениеinference, bEstablished
- первая пропозиция есть противоречащее отрицание второйa, v3DEPENDSthis is the missing one
- пропозиция предъявлена как большая посылка этого выводаinference, conditionalEstablished
- пропозиция имеет форму «если antecedent, то consequent»conditional, b, v3DEPENDSthis is the missing one
Source: sec. 80, sec. 157, sec. 160
Identifier
urn:grc:stoici:clir:indemonstrabilia#SecondIndemonstrable - 3rule
третья схема: не оба; первое; значит не второе
What is missing
- пропозиция предъявлена как малая посылка этого выводаinference, aEstablished
- пропозиция предъявлена как большая посылка этого выводаinference, conditionalEstablished
- для пропозиции проверяется, лицензирована ли она как заключениеinference, bEstablished
- первая пропозиция есть противоречащее отрицание второйconditional, v2DEPENDSthis is the missing one
- пропозиция есть соединение first и secondv2, a, bDEPENDSthis is the missing one
Source: sec. 80, sec. 158, sec. 161
Identifier
urn:grc:stoici:clir:indemonstrabilia#ThirdIndemonstrable
These are the rules whose head answers the question, with their unmet premises. A missing fact is not a refuted one.
Proof graph
Proof nodes: 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
- Arguments
- Identifier
- inference
- Type
- entity_ref
- Identifier
- conditional
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- major_premise
- evidence
- —
- Identifier
- fact-1
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-2
- attributes
- assertion
- fact-2
- conclusion
- Arguments
- Identifier
- inference
- Type
- entity_ref
- Identifier
- a
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- minor_premise
- evidence
- —
- Identifier
- fact-2
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-3
- attributes
- assertion
- fact-3
- conclusion
- Arguments
- Identifier
- inference
- Type
- entity_ref
- Identifier
- b
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- conclusion_requested
- evidence
- —
- Identifier
- fact-3
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-4
- attributes
- assertion
- fact-4
- conclusion
- Arguments
- Identifier
- conditional
- Type
- entity_ref
- Identifier
- a
- Type
- entity_ref
- Identifier
- b
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- is_conditional
- evidence
- —
- Identifier
- fact-4
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:FirstIndemonstrable:c368bc760e28c41165e934e5bd3dd6ec3f2d1447d141e36ed45bab344ba9036d
- attributes
- —
- conclusion
- Arguments
- Identifier
- inference
- Type
- entity_ref
- Identifier
- b
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- licensed_conclusion
- evidence
- —
- Identifier
- c368bc760e28c41165e934e5bd3dd6ec3f2d1447d141e36ed45bab344ba9036d
- Type
- rule_application
- Premises
- fact-1
- fact-2
- fact-3
- fact-4
- Rule
- FirstIndemonstrable
- sourceAnchors
- —
- substitution
- v0
- Identifier
- inference
- Type
- entity_ref
- v1
- Identifier
- conditional
- Type
- entity_ref
- v2
- Identifier
- a
- Type
- entity_ref
- v3
- Identifier
- b
- Type
- entity_ref
constraint_check · urn:proof:constraint:FiveIndemonstrablesExhaustive:70d899d2d53db8c579936d9cf9cbe5afde6ae410e44b7f8b99f1e99629e3d09c
- attributes
- —
- conclusion
- constraint
- FiveIndemonstrablesExhaustive
- requirementStatus
- Established
- Calculation status
- Satisfied
- triggerStatus
- Satisfied
- evidence
- —
- Identifier
- 70d899d2d53db8c579936d9cf9cbe5afde6ae410e44b7f8b99f1e99629e3d09c
- Type
- constraint_check
- Premises
- c368bc760e28c41165e934e5bd3dd6ec3f2d1447d141e36ed45bab344ba9036d
- fact-3
- sourceAnchors
- —
- substitution
- v0
- Identifier
- inference
- Type
- entity_ref
- v1
- Identifier
- b
- Type
- entity_ref
interpretation_selection · urn:proof:interpretation-selection
- attributes
- —
- conclusion
- selected
- DiogenesFifthReading
- evidence
- —
- Identifier
- interpretation-selection
- Type
- interpretation_selection
- Premises
- —
- sourceAnchors
- —
query_evaluation · urn:proof:query:mcp
- attributes
- —
- conclusion
- literal
- Arguments
- Identifier
- inference
- Type
- entity_ref
- Identifier
- b
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- licensed_conclusion
- truthStatus
- Established
- evidence
- —
- Identifier
- mcp
- Type
- query_evaluation
- Premises
- c368bc760e28c41165e934e5bd3dd6ec3f2d1447d141e36ed45bab344ba9036d
- sourceAnchors
- —
Calendar and proof identifiers
- Proof reference
- mcp
Original reasoning · 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"
}
]
}SourcesExcerpts: 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.
Original data · 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.
Original data · 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.”
Original data · 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.”
Original data · 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.
Original data · 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.”
Original data · 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.”
Original data · 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.
Original data · 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."
}
]
}Packages in the snapshot
- Пять стоических индемонстраблей по Диогену Лаэртскому и Сексту Эмпирику — вне юрисдикции государства — доктрина — EXECUTABLE 3 §33.1
Technical dataFull response, parameters and checksums
- Calculation status
- COMPUTED
Full engine response
Complete machine result · 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": []
}Execution · 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"
}Display metadata
This block is too large for inline viewing. It is included in full in the document JSON, without truncation.
Download JSON ↓JSON · calculations, sources and exact data
{
"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
Original data · 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"
]
}