{"schema":"https://ver.cy/schemas/card/1.0.0","id":"vr.tr.necessity","code":"thing-q2301186","url":"https://ver.cy/models/thing/q2301186/","name":"necessity","alternateNames":[],"kind":"thing","status":"published","version":"0.2.0-wave.1","language":"en","classifiers":{"family":"Thing Registry","category":"Cross-cutting context","entryKind":"thing","plane":"XCT","domain":["XCT.REL"],"industry":[],"navPath":"","tags":[],"facets":{}},"whatItIs":"The property of being a necessary condition for another statement: statement P is necessary for statement Q when Q implies P, so Q cannot be true unless P is true, although P alone need not imply Q.","purpose":"Let an agent explain necessary conditions, identify the direction of implication between statements, distinguish necessity from sufficiency, and assess whether a claimed requirement follows from stated premises.","scope":{"in":[],"out":[],"boundaries":[]},"distinguishingFeatures":["Necessity relates a condition to another statement.","If P is necessary for Q, then Q implies P.","A necessary condition need not be sufficient.","A condition can be both necessary and sufficient."],"structure":{"bundles":[{"id":"sense","name":"Sense","description":"Which necessity.","layers":[{"id":"which","name":"Which","description":"Disambiguation.","findings":[{"id":"which-finding","name":"Which","description":"Disambiguation.","questions":[{"text":"Is logical, metaphysical, causal, practical or legal necessity meant?","kind":"boundary"},{"text":"Which entry or framework fits?","kind":"action"}]}]},{"id":"conditions","name":"Conditions","description":"Necessary and sufficient.","findings":[{"id":"conditions-finding","name":"Conditions","description":"Conditions.","questions":[{"text":"Is this condition necessary, sufficient or both?","kind":"definition"},{"text":"How can the distinction be shown with examples?","kind":"action"}]}]}]},{"id":"logic","name":"Logic","description":"Modal necessity.","layers":[{"id":"modal","name":"Modal","description":"Operators.","findings":[{"id":"modal-finding","name":"Modal","description":"Modal operators.","questions":[{"text":"How are necessity and possibility formalised in modal logic?","kind":"definition"},{"text":"Which systems such as S4 and S5 apply?","kind":"provenance"}]}]},{"id":"metaphysics","name":"Metaphysics","description":"Philosophical debates.","findings":[{"id":"metaphysics-finding","name":"Metaphysics","description":"Debates.","questions":[{"text":"What do philosophers say about metaphysical necessity and possible worlds?","kind":"provenance"},{"text":"Which positions are contested?","kind":"boundary"}]}]}]},{"id":"law","name":"Law","description":"Necessity defence.","layers":[{"id":"defence","name":"Defence","description":"The defence.","findings":[{"id":"defence-finding","name":"Defence","description":"Necessity defence.","questions":[{"text":"What is the defence of necessity, and how is it limited in this jurisdiction, in general terms?","kind":"provenance"},{"text":"Is the user asking for legal advice about a case?","kind":"boundary"}]}]},{"id":"needs","name":"Needs","description":"Basic necessities.","findings":[{"id":"needs-finding","name":"Needs","description":"Basic necessities.","questions":[{"text":"What count as basic necessities in this welfare or consumer context?","kind":"provenance"},{"text":"Which support applies?","kind":"provenance"}]}]}]},{"id":"reason","name":"Reason","description":"Practical reasoning.","layers":[{"id":"argument","name":"Argument","description":"Claims of necessity.","findings":[{"id":"argument-finding","name":"Argument","description":"Claims.","questions":[{"text":"Is a claim that something is necessary justified, or is it an assumption?","kind":"boundary"},{"text":"What alternatives exist?","kind":"action"}]}]},{"id":"language","name":"Language","description":"Modal language.","findings":[{"id":"language-finding","name":"Language","description":"Modal language.","questions":[{"text":"How do words like must, need and have to express necessity in this language?","kind":"definition"},{"text":"How are they translated?","kind":"action"}]}]}]}]},"agentConduct":{"may":["Explain necessary conditions using statements and their implications.","Identify proposed necessary conditions and assess them against stated premises.","Distinguish necessary conditions from sufficient conditions and modal necessity."],"mustNot":["Present a choice as necessary when alternatives exist, in order to pressure people.","Infer that a necessary condition is sufficient without justification.","Present an unsupported implication as an established necessary condition."],"requiresHuman":["Relying on a claim of necessity to justify an action that harms someone requires human review."]},"ethics":{"considerations":["Claims of necessity are often used to justify harm and to override rights.","Misusing the idea can shut down debate about real alternatives."],"affectedParties":["People affected by decisions justified as necessary are affected.","People relying on arguments about necessary conditions are affected."]},"owners":{"steward":"Nobody owns the concept; it is shared knowledge in logic.","roles":[],"masterSystems":[]},"relations":[{"target":"Q1191527","type":"parent","note":"registry parent class"},{"target":"Q1516917","type":"parent","note":"registry parent class"},{"target":"modality","type":"related","note":"category"},{"target":"dependency","type":"related","note":"category"},{"target":"logic","type":"related","note":"field"},{"target":"possibility","type":"related","note":"related modality"}],"interaction":{"identity":{"applicability":"required","items":["Vercy registry: vr.tr.necessity","Wikidata: Q2301186 (https://www.wikidata.org/wiki/Q2301186)"]},"properties":{"applicability":"not-applicable","items":[]},"recognition":{"applicability":"optional","items":["The expression Q implies P identifies P as a necessary condition for Q.","The expression Q only if P also identifies P as necessary for Q.","Sufficiency is a distinct relation.","Not physical; a concept in reasoning and law."]},"capabilities":{"applicability":"required","items":["distinguish logical, metaphysical and practical necessity","explain modal logic basics","explain the legal defence of necessity in general terms","identify basic necessities in policy contexts"]},"hazards":{"applicability":"required","items":["Confusing a necessary condition with modal necessity can misrepresent an argument.","Confusing necessary and sufficient conditions can reverse an implication.","Treating an unsupported assumption as a necessary condition can produce an invalid conclusion."]},"interfaces":{"applicability":"required","items":["Criminal law on necessity and duress","Standards defining basic necessities in welfare law"]},"context":{"applicability":"required","items":["Reasoning about what must be the case or must be done.","logical and metaphysical necessity","nomological and causal necessity","practical necessity and needs","legal necessity defence","necessary conditions"]}},"sources":[{"title":"Wikidata item Q2301186: necessity","url":"https://www.wikidata.org/wiki/Q2301186","note":"identity and sense of the item"},{"title":"Wikipedia: Necessity (logic)","url":"https://en.wikipedia.org/wiki/Necessity_%28logic%29","note":"general description of the item"}],"openQuestions":["Should each sense be a separate entry?","How should modal logic resources be linked?","How should legal defences be localised?"],"resources":{"spec":"/models/things/publications/thing-q2301186/spec.json"},"provenance":{"origin":"thing registry research (pass 2)","builtFrom":["models/things/publications/thing-q2301186/spec.json"],"providers":["Claude"],"researchStatus":"unreviewed","generatedAt":"2026-09-11T15:52:29Z","builder":"tools/build_cards.py@1.0.0"},"completeness":{"sections":{"classifiers":"filled","whatItIs":"filled","purpose":"filled","distinguishingFeatures":"filled","structure":"filled","agentConduct":"filled","ethics":"filled","owners":"filled","relations":"filled","interaction.identity":"filled","interaction.properties":"not-applicable","interaction.recognition":"filled","interaction.capabilities":"filled","interaction.hazards":"filled","interaction.interfaces":"filled","interaction.context":"filled","sources":"filled"},"notes":{"_gate":"Published through the thing publication gate 1.0 on 2026-10-07T10:10:28+00:00: completeness 1.00; sense: Wikidata description; 2 live sources; review by codex: pass","interaction.properties":"Plane XCT: no invented physical properties."},"score":1.0}}