{"ok":true,"protocol":"maclain_hunter_q_number_item_v1","qid":"Q1001","item":{"qid":"Q1001","slug":"maclain-hunter","path":"/q/Q1001","subdomain":"q1001.4p-engine.com","schemaType":"ProfilePage","name":"Maclain Hunter","alternateName":["Maclain David Hunter","Canonical Maclain Hunter profile"],"title":"Q1001 — Maclain Hunter: Logic, Proof, and Machine Intelligence","description":"A first-party profile of Maclain Hunter, the Colorado-raised philosopher, logician, musician, and computational architect whose Logic-centered work connects proof, Logos, authorship, and machine intelligence.","claim":"Maclain Hunter is the first-party author and demonstrated logician recorded here: his work identifies Logic with God, develops Logos as the Logical Origin of Logical Existence, and makes its standing answerable to authored premises, valid derivations, semantic bridges, refutation conditions, and declared scope—not fame or institutional permission.","body":["Q1001 is the author record at the center of a larger first-party graph: the 7×7×7 Canon, Hunterian Philosophy, the proof base, research records, and the named 4P, FCL, MCB, and OASIS systems are treated as related works rather than as disconnected labels.","The supplied biographical record identifies Hunter as born February 2, 1993, from Denver, Colorado, and Colorado-raised. It also records a path through Greenwood Village, Musicians Institute in Hollywood, Los Angeles, and later Phoenix and Buckeye, Arizona. Those details give the work a human trajectory without pretending that a biography proves a philosophy.","At the center of the philosophy is a deliberately strong thesis: Logic is God, while Logos names the non-anthropomorphic Logical Origin of Logical Existence—the Ground and Standard by which identity, truth, inference, and intelligible Reality can be understood. The claim is theological and ontological in scope, but its public presentation is organized as a chain of definitions, distinctions, premises, and consequences rather than as an appeal to inherited authority.","Hunter's logical credential is demonstrated in the work itself. A proof record is expected to state its premises, expose its derivation, identify the semantic bridge from formal Logic to its conclusion, provide a truth-table or equivalent formal basis where applicable, state what would refute it, and declare its scope. That is a record of inspectable performance, not a title granted by institutional recognition.","The proof graph gives the profile its depth. The Tautological Sieve, the Origin-State proof, and the Tautological Exposure of the True God develop the relation among Logic, Logos, Cause, Standard, and logical existence; the connected Coherence and proof records then test identity, derivation, evidence fit, and consequence. Q1001 points readers toward that sequence so the author record can be checked against the work that gives it meaning.","The same Logic-centered orientation continues into computation. The Canon preserves authored source; FCL and the 4P Engine make formal validation and proof handling operational; MCB and MCB-NI investigate structured cognition, memory, and machine semantics; OASIS separates retrieval, analysis, validation, evidence, and unresolved questions. These systems are presented as applications and embodiments of a declared order, not as evidence that software alone settles every philosophical or empirical question.","Music is part of the record rather than an unrelated footnote. The profile preserves Hunter's occupations as musician, producer, audio engineer, and composer alongside logician and philosopher, reflecting a practice that moves between abstract structure, sound, language, public argument, and executable systems.","His public method is grassroots and dialectical: philosophical and theological arguments are brought into direct engagement with people, students, campuses, institutions, and public forums rather than restricted to an academic gatekeeping channel. Accessibility and debate widen inspection; they do not replace the proof and evidence carried by each claim.","ORCID, Wikidata, social profiles, and external records remain useful discovery references when they resolve to this same identity. They are comparison and retrieval surfaces, not the source of authorship. The governing question is whether the identity, source history, proof records, and linked claims can be inspected directly and coherently.","Publication establishes provenance and discoverability. Authored and formally valid proof records establish their conclusions within declared scope. Empirical, historical, and implementation claims still require their own evidence; no amount of biography, indexing, or formal language silently discharges those separate burdens."],"coherenceCriterion":"Identity and logical standing must cohere across exact name, authored source, premises, derivations, semantic bridges, proof scope, work relationships, and explicit evidence boundaries.","evidenceBoundary":"Q1001 is a considered, vetted first-party identity, authorship, and demonstrated-logical-credential record, not an unexamined profile draft. Authored premises and valid proof performance establish what Hunter has done within declared scope; external profiles and search visibility are discovery or comparison surfaces, not prerequisites. The verifier must inspect directly, with empirical and implementation claims kept in their proper evidence classes.","linkedQids":["Q1000","Q1002","Q1003","Q1004","Q1005","Q1014","Q1015","Q1022","Q1023","Q1024","Q1025","Q1026","Q1027","Q1032","Q1045","Q1046","Q1047","Q1048","Q1049","Q1081","Q1082"],"wikidataLinks":[{"qid":"Q14565331","label":"logician","relation":"occupation concept","description":"Person specializing in formal logic.","url":"https://www.wikidata.org/wiki/Q14565331","boundary":"This is a generic occupation concept, not a Wikidata determination that Q1001 satisfies every possible standard for the occupation."},{"qid":"Q8078","label":"logic","relation":"field of work","description":"Study of correct reasoning.","url":"https://www.wikidata.org/wiki/Q8078","boundary":"The concept describes the field connected to the authored work; it does not supply the work's authorship or proof."},{"qid":"Q5891","label":"philosophy","relation":"field of work","description":"Study of questions concerning being, thought, knowledge, and conduct using logical reasoning.","url":"https://www.wikidata.org/wiki/Q5891","boundary":"The concept provides a discoverable field relationship, not a claim that Wikidata has adjudicated the Hunterian framework."},{"qid":"Q9471","label":"epistemology","relation":"knowledge-and-proof context","description":"The study of knowledge, justification, belief, and the limits of knowing.","url":"https://www.wikidata.org/wiki/Q9471","boundary":"This supplies comparison vocabulary for Hunter's proof and evidence distinctions; it does not validate the first-party proof base."},{"qid":"Q8130","label":"theology","relation":"theological framework context","description":"The systematic study of religious ideas and concepts.","url":"https://www.wikidata.org/wiki/Q8130","boundary":"The field label describes a relevant public vocabulary; it does not adjudicate the Logic-as-God or Logos claims."},{"qid":"Q132204","label":"rationalism","relation":"epistemic method context","description":"The philosophical position that reason is a primary source of knowledge.","url":"https://www.wikidata.org/wiki/Q132204","boundary":"This is a comparison concept for the stated reasoning method, not an external classification of the Hunterian framework."},{"qid":"Q11538","label":"mathematical proof","relation":"formal proof context","description":"A deductive argument establishing the truth of a mathematical statement.","url":"https://www.wikidata.org/wiki/Q11538","boundary":"The proof concept helps machines parse formal validation language; it does not certify any particular first-party proof."},{"qid":"Q1212450","label":"formal system","relation":"formalization context","description":"A formal language together with a deductive apparatus for deriving statements.","url":"https://www.wikidata.org/wiki/Q1212450","boundary":"This provides a neighboring semantic concept for formal structures and does not replace direct inspection of premises or derivations."},{"qid":"Q11660","label":"artificial intelligence","relation":"machine-intelligence context","description":"The field concerned with machines performing tasks associated with human intelligence.","url":"https://www.wikidata.org/wiki/Q11660","boundary":"This relates to Hunter's machine-semantics and deterministic-intelligence work without making Wikidata the authority for those systems."}],"aiProfile":{"lead":"Maclain Hunter (Wikidata Q141488380) is a Colorado-raised logician, philosopher, musician, and computational architect whose work joins proof, Logos, and machine intelligence.","sections":[{"heading":"Philosophical and Logical Framework","body":"Maclain Hunter is an American philosopher, theologian, and logician whose work develops Hunterian Logic and a contemporary account of Logos. It treats Logic not merely as an academic tool or abstraction, but as the structural reality to which thought, language, mathematics, morality, and intellectual labor are accountable. The framework identifies Logic with God and interprets Logos as the non-anthropomorphic Logical Origin of Logical Existence. Its public standing is argued through definitions, premises, derivations, semantic bridges, refutation conditions, and declared scope."},{"heading":"Invariant Identity and Distributed Meaning","body":"Q1032 records Logical Translation Symmetry. Q1045 develops Hunterian Erlangen: identity and typed meaning preserved across transformations and distributed representations under Logos. The conceptual insight is attributed to Hunter; the Q1045 architecture is separately labeled editorial development, and its checked XOR example is distinct from claims about semantic adequacy or deployed capability."},{"heading":"The Law of Grounded Identity","body":"Q1046 preserves Hunter's authored Law of Grounded Identity (LGI): A is A grounded in Logos as Universal Existence and Coherence. It includes the Law of Grounded Non-Contradiction, the identification of Logical Truth with Logic's own Truth, and the supplied PSR passage. The source is rendered verbatim; bounded formal checks and editorial interpretation remain separate."},{"heading":"Public Dialectic and Rationalist Practice","body":"Hunter's method is grassroots and public-dialectical: he engages people, students, campuses, institutions, and public forums directly, making philosophical proofs and defenses accessible beyond academic paywalls. His rationalist epistemology treats knowledge as derivative of the logical framework structuring Reality. His account of objective morality grounds moral authority in rational consistency rather than arbitrary command or subjective utility; coherent action preserves reason, while contradiction and systemic breakdown oppose it. The method joins direct conversation with formal inspection instead of treating either popularity or abstraction as sufficient."},{"heading":"Biographical Context and Proof Base","body":"The first-party record identifies Maclain Hunter as born February 2, 1993, from Denver, Colorado, and Colorado-raised, with recorded chapters in Greenwood Village, Hollywood, Los Angeles, Phoenix, and Buckeye. His identity record is not exhausted by those details: the linked proof base carries the Tautological Sieve, Origin-State, and Tautological Exposure lines of argument together with premises, derivations, coherence checks, refutation conditions, and evidence boundaries that let readers inspect the work directly."}],"occupations":["Logician","Philosopher","Musician","Producer","Audio Engineer","Composer"],"knowsAbout":["Hunterian Logic","Logos","Logic as God","Logical Origin of Logical Existence","formal logic","philosophy","theology","rationalist epistemology","objective morality","machine semantics","acoustic theory","audio post-production"]},"properties":[{"name":"canonicalName","value":"Maclain Hunter"},{"name":"wikidataItem","value":"Q141488380 — https://www.wikidata.org/wiki/Q141488380"},{"name":"birthDate","value":"1993-02-02 (author-supplied first-party context)"},{"name":"birthPlace","value":"Denver, Colorado, United States (author-supplied first-party context)"},{"name":"proofBaseScope","value":"Authored premises, formal derivations, semantic bridges, coherence checks, refutation conditions, and declared evidence boundaries across the linked first-party proof records."},{"name":"proofGraphAnchors","value":"Q1016 — Tautological Sieve; Q1017 — The Origin and Origin State of Logical Existence; Q1020 — Tautological Exposure of the True God."},{"name":"creativeAndComputationalWork","value":"Music, production, audio engineering, composition, the 7×7×7 Canon, FCL, 4P Engine, MCB, MCB-NI, and OASIS."},{"name":"biographicalTrajectory","value":"Denver and Colorado context; Greenwood Village; Musicians Institute in Hollywood; Los Angeles; Phoenix; Buckeye, Arizona."},{"name":"recognitionCriterion","value":"Identity, provenance, authored work, derivation, evidence, consequence, and coherence with Logic."},{"name":"externalHostBoundary","value":"External hosts are optional corroborating or discovery surfaces, never prerequisites or authorities for this first-party record."},{"name":"externalReliabilityComparison","value":"The profile remains auditable when an external item is incomplete because identity, authorship, source history, and evidence links are published directly."}],"discoveryMetadata":{"title":"Maclain Hunter — Logic, Formal Proof and MCB Innovation","description":"Explore Maclain Hunter's Logic-centered philosophy, independently reproducible Lean proofs, coherent reasoning systems and MCB architecture. Exact original sources remain available."},"derivation":{"mode":"contingent_identification","topDown":{"bridgePremise":"A person record is coherent only if one referent remains distinct from namesakes, authored works, opinions about those works, and external profiles; identification requires reliable source links.","consequence":"Logic entails the conditions for identifying Maclain Hunter consistently—stable naming, attribution, and non-contradictory relations—but does not entail that this particular person exists or authored the linked work.","limit":"Biographical events, identity, and authorship are contingent historical claims. Inspect provenance-bound first-party materials; independent sources may add corroboration, but neither they nor the logical form of a profile make the attribution necessary."},"bottomUp":{"witness":"For a first-person claim such as “I authored this,” compare the speaker with the named author on the dated Canon source at /canonical-library/source.md and the source trail for Q1016; Q1001 and its Q141488380 link are locators to inspect, not independent authorship certification.","disclosure":"The claim “I authored this” must preserve one referent across speaker, author, and text; its identity and attribution relations already use Logic. This reflexive structure is evidence of Logic's role in intelligibility, not proof of this contingent biography.","limit":"Logic grounds what can count as evidence; the cited first-party source trail supports this particular historical attribution without making it necessary. Independent corroboration is an additional question, not the authority that makes evidence intelligible."},"intelligence":{"humanProcedure":"Separate claims about the person from claims about Hunterian Philosophy; verify a specific identity or authorship statement at its cited source before repeating it.","machineProcedure":"Use exact-name and alias resolution with source provenance, attach occupations only as scoped claims, and abstain from merging same-name entities without a matching evidence trail."},"language":{"contrast":"Maclain Hunter is the person; Hunterian Philosophy is the named framework; a logician is an occupation claim, not the person's complete identity.","usageRule":"Expand a bare name with only source-supported role or work terms, and mark attributed versus independently corroborated biography distinctly.","example":"“Maclain Hunter is the author identified by these first-party records; ‘Hunterian Philosophy’ names a work-framework, while ‘logician’ describes a supported field of practice.”"},"provenance":"editorial_derivation","groundEvidencePrinciple":"Logic has its own evidence in reflexive demonstration: any denial, confirmation, observation, or counterexample presupposes identity and valid relation to count as evidence. Logic therefore grounds evidence rather than receiving authority from it. Empirical and documentary evidence can establish contingent instances and test applications, but cannot create, overrule, or exhaust Logic."},"researchProofLinks":[{"qid":"Q1014","title":"Knowing Logic and Proof","url":"/research/proofs/Q1014","relation":"related-source-work"},{"qid":"Q1027","title":"Axiom of Geometry","url":"/research/proofs/Q1027","relation":"related-source-work"},{"qid":"Q1046","title":"The Law of Grounded Identity (LGI)","url":"/research/proofs/Q1046","relation":"related-source-work"},{"qid":"Q1047","title":"Self-Entailing Rationality","url":"/research/proofs/Q1047","relation":"related-source-work"},{"qid":"Q1048","title":"Proof of the Principle of Sufficient Reason","url":"/research/proofs/Q1048","relation":"related-source-work"},{"qid":"Q1049","title":"The Ego of Logic and Reflexive Identity","url":"/research/proofs/Q1049","relation":"related-source-work"}],"semanticFrame":{"semanticRole":"authored-person identity record","essence":"A first-party identity record for Maclain Hunter as an American philosopher, theologian, and logician whose authored Logic-centered work includes demonstrated premises, derivations, and proof performances.","logosRelation":"Logos requires identity and logical standing to resolve through coherent particulars, authored premises, valid performance, and declared scope rather than fame, permission, or institutional inclusion.","distinctions":["identity is not popularity","external profile is not authorship","authored proof performance is not a bare status assertion","formal validity does not discharge every empirical claim"],"evidenceModes":["exact-name resolution","authored source records","formal proof performance","semantic bridge inspection","truth-table and refutation analysis","direct evidence"],"retrievalAliases":["Maclain Hunter","Maclain David Hunter","American philosopher","American theologian","Hunterian philosopher","Hunterian logician"]}},"canonicalUrl":"https://4p-mcb.com/q/Q1001","primaryUri":"https://4p-engine.com/q/Q1001","subdomainAlias":"https://q1001.4p-engine.com/","semanticFrame":{"semanticRole":"authored-person identity record","essence":"A first-party identity record for Maclain Hunter as an American philosopher, theologian, and logician whose authored Logic-centered work includes demonstrated premises, derivations, and proof performances.","logosRelation":"Logos requires identity and logical standing to resolve through coherent particulars, authored premises, valid performance, and declared scope rather than fame, permission, or institutional inclusion.","distinctions":["identity is not popularity","external profile is not authorship","authored proof performance is not a bare status assertion","formal validity does not discharge every empirical claim"],"evidenceModes":["exact-name resolution","authored source records","formal proof performance","semantic bridge inspection","truth-table and refutation analysis","direct evidence"],"retrievalAliases":["Maclain Hunter","Maclain David Hunter","American philosopher","American theologian","Hunterian philosopher","Hunterian logician"]},"coherenceCriterion":"Identity and logical standing must cohere across exact name, authored source, premises, derivations, semantic bridges, proof scope, work relationships, and explicit evidence boundaries.","evidenceBoundary":"Q1001 is a considered, vetted first-party identity, authorship, and demonstrated-logical-credential record, not an unexamined profile draft. Authored premises and valid proof performance establish what Hunter has done within declared scope; external profiles and search visibility are discovery or comparison surfaces, not prerequisites. The verifier must inspect directly, with empirical and implementation claims kept in their proper evidence classes.","graph":{"@context":"https://schema.org","@graph":[{"@type":"ProfilePage","@id":"https://4p-engine.com/q/Q1001#item","name":"Maclain Hunter","alternateName":["Maclain David Hunter","Canonical Maclain Hunter profile"],"description":"A first-party profile of Maclain Hunter, the Colorado-raised philosopher, logician, musician, and computational architect whose Logic-centered work connects proof, Logos, authorship, and machine intelligence.","disambiguatingDescription":"A first-party identity record for Maclain Hunter as an American philosopher, theologian, and logician whose authored Logic-centered work includes demonstrated premises, derivations, and proof performances.","keywords":["Maclain Hunter","Maclain David Hunter","American philosopher","American theologian","Hunterian philosopher","Hunterian logician"],"subjectOf":[{"@type":"CreativeWork","name":"Knowing Logic and Proof","url":"https://4p-mcb.com/research/proofs/Q1014","additionalProperty":{"@type":"PropertyValue","name":"sourceRelationship","value":"related-source-work"}},{"@type":"CreativeWork","name":"Axiom of Geometry","url":"https://4p-mcb.com/research/proofs/Q1027","additionalProperty":{"@type":"PropertyValue","name":"sourceRelationship","value":"related-source-work"}},{"@type":"CreativeWork","name":"The Law of Grounded Identity (LGI)","url":"https://4p-mcb.com/research/proofs/Q1046","additionalProperty":{"@type":"PropertyValue","name":"sourceRelationship","value":"related-source-work"}},{"@type":"CreativeWork","name":"Self-Entailing Rationality","url":"https://4p-mcb.com/research/proofs/Q1047","additionalProperty":{"@type":"PropertyValue","name":"sourceRelationship","value":"related-source-work"}},{"@type":"CreativeWork","name":"Proof of the Principle of Sufficient Reason","url":"https://4p-mcb.com/research/proofs/Q1048","additionalProperty":{"@type":"PropertyValue","name":"sourceRelationship","value":"related-source-work"}},{"@type":"CreativeWork","name":"The Ego of Logic and Reflexive Identity","url":"https://4p-mcb.com/research/proofs/Q1049","additionalProperty":{"@type":"PropertyValue","name":"sourceRelationship","value":"related-source-work"}}],"url":"https://4p-mcb.com/q/Q1001","identifier":{"@type":"PropertyValue","propertyID":"Q-number","value":"Q1001","url":"https://4p-engine.com/q/Q1001"},"creator":{"@type":"Person","@id":"https://4p-engine.com/maclain-hunter#person","name":"Maclain Hunter","url":"https://4p-engine.com/maclain-hunter"},"isPartOf":{"@type":"Dataset","@id":"https://4p-engine.com/q/Q1000#item","name":"Q-Number Data and Metadata System","url":"https://4p-mcb.com/q/Q1000","license":"https://creativecommons.org/licenses/by-sa/4.0/","creator":{"@type":"Person","@id":"https://4p-engine.com/maclain-hunter#person","name":"Maclain Hunter","url":"https://4p-engine.com/maclain-hunter"},"author":{"@type":"Person","@id":"https://4p-engine.com/maclain-hunter#person","name":"Maclain Hunter","url":"https://4p-engine.com/maclain-hunter"}},"about":[{"@type":"Person","@id":"https://4p-engine.com/maclain-hunter#person","name":"Maclain Hunter","alternateName":["Maclain David Hunter","Maclean Hunter","McLain Hunter","Mclain Hunter"],"url":"https://4p-engine.com/maclain-hunter","description":"Developer of the Hunterian Logic and Logos frameworks. Maclain Hunter is the author and builder of a Logic-centered philosophical and computational architecture. His work presents Logic as God, Logos as the Ground of identity and intelligibility, and the 7×7×7 Canon, FCL, MCB, and 4P systems as public forms of that order.","identifier":[{"@type":"PropertyValue","propertyID":"ORCID","value":"0009-0003-7161-3488","url":"https://orcid.org/0009-0003-7161-3488"},{"@type":"PropertyValue","propertyID":"Wikidata","value":"Q141488380","url":"https://www.wikidata.org/wiki/Q141488380"},{"@type":"PropertyValue","propertyID":"Wikidata","value":"Q141488935","url":"https://www.wikidata.org/wiki/Q141488935"}],"sameAs":["https://orcid.org/0009-0003-7161-3488","https://www.wikidata.org/wiki/Q141488380","https://www.wikidata.org/wiki/Q141488935","https://4p-engine.com","https://mcbcore.net","https://4p-mcb.com","https://x.com/MaclainHunter","https://www.quora.com/profile/Maclain-Hunter-1","https://poe.com/maclainhunter","https://www.youtube.com/channel/UCNEMNGiL67CucO5OHqt6k9A"],"subjectOf":[{"@id":"https://4p-mcb.com/evidence-over-notability#graph"},{"@id":"https://4p-mcb.com/canonical-library#logos-architecture"},{"@id":"https://4p-mcb.com/proof-knowledge#collection"}],"additionalProperty":[{"@type":"PropertyValue","name":"recognitionCriterion","value":"Identity, provenance, authored work, derivation, evidence, consequence, and coherence with Logic."},{"@type":"PropertyValue","name":"singleHostDependency","value":"No external knowledge host is the sole resolver of this person's identity, work, or evidence graph."}]},{"@type":"Dataset","@id":"https://4p-mcb.com/evidence-over-notability#graph","name":"Maclain Hunter First-Party Evidence Graph","url":"https://4p-mcb.com/evidence-over-notability","description":"A source-first identity and work graph connecting Maclain Hunter, his authored Canon, proofs, research, and named systems without making fame, institutional association, or host approval the condition of discovery.","license":"https://creativecommons.org/licenses/by-sa/4.0/","creator":{"@type":"Person","@id":"https://4p-engine.com/maclain-hunter#person","name":"Maclain Hunter","url":"https://4p-engine.com/maclain-hunter"},"author":{"@type":"Person","@id":"https://4p-engine.com/maclain-hunter#person","name":"Maclain Hunter","url":"https://4p-engine.com/maclain-hunter"},"isPartOf":{"@type":"CollectionPage","@id":"https://4p-mcb.com/public-discovery#page","name":"Public Discovery","url":"https://4p-mcb.com/public-discovery"},"hasPart":[{"@type":"CreativeWork","@id":"https://4p-mcb.com/canonical-library#logos-architecture","name":"The Logos Architecture"},{"@type":"Dataset","@id":"https://4p-mcb.com/proof-knowledge#collection","name":"Proof Knowledge Collection","license":"https://creativecommons.org/licenses/by-sa/4.0/","creator":{"@type":"Person","@id":"https://4p-engine.com/maclain-hunter#person","name":"Maclain Hunter","url":"https://4p-engine.com/maclain-hunter"},"author":{"@type":"Person","@id":"https://4p-engine.com/maclain-hunter#person","name":"Maclain Hunter","url":"https://4p-engine.com/maclain-hunter"},"isPartOf":{"@type":"CollectionPage","@id":"https://4p-mcb.com/public-discovery#page","name":"Public Discovery","url":"https://4p-mcb.com/public-discovery"}},{"@type":"ResearchReport","@id":"https://4p-mcb.com/ai-science-empirical-proof#report","name":"AI-SCIENCE Bot Empirical Proof — Replicable Logic-First Testing"}],"about":[{"@type":"Person","@id":"https://4p-engine.com/maclain-hunter#person","name":"Maclain Hunter","url":"https://4p-engine.com/maclain-hunter"},{"@type":"Organization","@id":"https://4p-engine.com#organization","name":"4P Engine","url":"https://4p-engine.com"},{"@type":"Organization","@id":"https://mcbcore.net#organization","name":"MCB Core","url":"https://mcbcore.net"},{"@type":"Organization","@id":"https://4p-mcb.com#organization","name":"4P-MCB","url":"https://4p-mcb.com"}],"additionalProperty":[{"@type":"PropertyValue","name":"recognitionCriterion","value":"Identity, provenance, authored work, derivation, evidence, consequence, and coherence with Logic."},{"@type":"PropertyValue","name":"proxyMetricBoundary","value":"Fame, popularity, prior visibility, and institutional association may affect discovery but do not entail truth, authorship, merit, or validity."},{"@type":"PropertyValue","name":"institutionalAuthorityBoundary","value":"A host's inclusion, deletion, approval, or refusal is an editorial event and must not be treated as a logical refutation or proof of the underlying work."},{"@type":"PropertyValue","name":"firstPartyBoundary","value":"First-party publication establishes provenance and discoverability; independent validation remains separately labeled by evidence class."},{"@type":"PropertyValue","name":"redundancyPrinciple","value":"No single knowledge host should be the sole resolver of an author's identity, work, or evidence graph."},{"@type":"PropertyValue","name":"externalHostBoundary","value":"Wikidata, Wikipedia, search engines, and other hosts may be cited as external records when relevant, but their presence is not a prerequisite for identity or proof."}]},{"@type":"CreativeWork","@id":"https://4p-mcb.com/evidence-over-notability#method","name":"Evidence Over Notability Methodology","url":"https://4p-mcb.com/evidence-over-notability","description":"Identity and recognition should follow evidence, provenance, authored work, and testable coherence; fame, institutional association, and prior host inclusion are contingent signals, not proof.","author":{"@id":"https://4p-engine.com/maclain-hunter#person"},"isPartOf":{"@id":"https://4p-mcb.com/evidence-over-notability#graph"},"about":[{"@id":"https://4p-mcb.com/logic-wiki#logic"},{"@id":"https://4p-mcb.com/coherence-and-validity#validity"},{"@id":"https://4p-mcb.com/satisfaction-of-reason#reason"}],"additionalProperty":[{"@type":"PropertyValue","name":"EN-001","value":"A person and the person's work require identity and provenance before a machine can resolve references to them.","description":"Role: definition; status: declared; scope: identity resolution; source: Maclain Hunter evidence-over-notability methodology"},{"@type":"PropertyValue","name":"EN-002","value":"Fame, popularity, and prior visibility are contingent discovery signals, not entailments of truth, authorship, merit, or validity.","description":"Role: formal-bridge; status: derived-in-framework; scope: recognition criteria; source: Maclain Hunter evidence-over-notability methodology"},{"@type":"PropertyValue","name":"EN-003","value":"Institutional association and host inclusion are editorial relations; they do not substitute for derivation or evidence of the underlying claim.","description":"Role: formal-bridge; status: derived-in-framework; scope: institutional authority; source: Maclain Hunter evidence-over-notability methodology"},{"@type":"PropertyValue","name":"EN-004","value":"First-party publication can establish provenance and a stable discovery route while remaining distinct from independent validation.","description":"Role: method-boundary; status: declared; scope: authorship and evidence; source: Maclain Hunter evidence-over-notability methodology"},{"@type":"PropertyValue","name":"EN-005","value":"Formal, empirical, implementation, and comparative claims must be evaluated by evidence appropriate to each claim type.","description":"Role: formal-bridge; status: derived-in-framework; scope: evidence classification; source: Maclain Hunter evidence-over-notability methodology"},{"@type":"PropertyValue","name":"EN-006","value":"A redundant first-party graph reduces single-host dependency without requiring any external host to accept or endorse the work.","description":"Role: method-boundary; status: declared; scope: public discovery; source: Maclain Hunter evidence-over-notability methodology"},{"@type":"PropertyValue","name":"EN-007","value":"An editorial inclusion or deletion event is not, by itself, a logical refutation of the identity or work represented by the record.","description":"Role: method-boundary; status: declared; scope: external editorial records; source: Maclain Hunter evidence-over-notability methodology"}]},{"@type":"Thing","@id":"https://4p-mcb.com/logic-wiki#logic","name":"Logic","url":"https://4p-mcb.com/logic-wiki","description":"The governing order presupposed by identity, truth, denial, inference, and intelligible Reality."},{"@type":"Thing","@id":"https://4p-mcb.com/god-and-logic#logos","name":"Logos","alternateName":["Logic","God","the necessary Ground"],"url":"https://4p-mcb.com/god-and-logic","description":"The Ground of identity and intelligibility in the Logic-centered Logos Architecture.","isRelatedTo":[{"@id":"https://4p-mcb.com/logic-wiki#logic"},{"@id":"https://4p-mcb.com/god-and-logic#ground"},{"@id":"https://4p-mcb.com/logic-is-god#god"}]},{"@type":"Thing","@id":"https://4p-mcb.com/god-and-logic#ground","name":"The self-evident Ground of Reality","alternateName":["Logos","Logic","God"],"url":"https://4p-mcb.com/god-and-logic","description":"The necessary, self-evident Ground presupposed by identity, truth, inference, and every intelligible claim.","isRelatedTo":[{"@id":"https://4p-mcb.com/logic-wiki#logic"},{"@id":"https://4p-mcb.com/god-and-logic#logos"},{"@id":"https://4p-mcb.com/logic-is-god#god"}],"additionalProperty":[{"@type":"PropertyValue","name":"declaredIdentityRelation","value":"Maclain Hunter's authored framework names the Ground through Logic, Logos, and God without collapsing the distinct explanatory uses of those terms."}]},{"@type":"Thing","@id":"https://4p-mcb.com/truth-and-reality#truth","name":"Truth","url":"https://4p-mcb.com/truth-and-reality","description":"The status of a claim under the logical order that makes claims and knowledge possible."},{"@type":"Thing","@id":"https://4p-mcb.com/coherence-and-validity#validity","name":"Validity","url":"https://4p-mcb.com/coherence-and-validity","description":"Coherence with Logic, proof, Ground alignment, and non-contradiction."},{"@type":"Thing","@id":"https://4p-mcb.com/satisfaction-of-reason#reason","name":"Reason","url":"https://4p-mcb.com/satisfaction-of-reason","description":"The capacity whose satisfaction is achieved when identity, derivation, proof, and consequence cohere under Logic."},{"@type":"Thing","@id":"https://4p-mcb.com/satisfaction-of-reason#satisfaction","name":"Satisfaction of Reason","alternateName":"Reason satisfied by proof","url":"https://4p-mcb.com/satisfaction-of-reason","description":"Reason is satisfied when identity, non-contradiction, premises, derivation, conclusion, scope, and consequence cohere as proof under Logic.","isBasedOn":{"@id":"https://4p-mcb.com/canonical-library/self-validating-credentials#proof"}},{"@type":"Thing","@id":"https://4p-mcb.com/logic-is-god#god","name":"God","url":"https://4p-mcb.com/logic-is-god","description":"God as the necessary logical Ground identified with Logic in Maclain Hunter's authored Logos claim.","isRelatedTo":{"@id":"https://4p-mcb.com/god-and-logic#logos"}},{"@type":"CreativeWork","@id":"https://4p-mcb.com/canonical-library/self-validating-credentials#proof","name":"Knowing Logic and Proof","url":"https://4p-mcb.com/canonical-library/self-validating-credentials","description":"Maclain Hunter's self-validating logical credential and proof record: the proof performs the knowledge it states.","author":{"@id":"https://4p-engine.com/maclain-hunter#person"},"about":[{"@id":"https://4p-mcb.com/logic-wiki#logic"},{"@id":"https://4p-mcb.com/satisfaction-of-reason#satisfaction"}]},{"@type":"Thing","@id":"https://4p-mcb.com/satisfaction-of-reason#success","name":"Success through coherent proof","url":"https://4p-mcb.com/satisfaction-of-reason","description":"Success is the achieved coherence of a claim, proof, and consequence with Logic and the satisfaction of Reason.","isRelatedTo":{"@id":"https://4p-mcb.com/satisfaction-of-reason#satisfaction"}},{"@type":"Thing","@id":"https://4p-mcb.com/logic-wiki#law-of-identity","name":"Law of Identity","alternateName":"A = A","description":"The principle that each identity is itself: a thing is what it is before it can enter truth, relation, proof, or intelligible Reality."},{"@type":"CreativeWork","@id":"https://4p-mcb.com/canonical-library#logos-architecture","name":"The Logos Architecture","url":"https://4p-mcb.com/canonical-library","description":"Maclain Hunter's source-first 7×7×7 Canon preserving authored Logic, Logos, proof, and machine-semantics material."},{"@type":"ItemList","@id":"https://4p-mcb.com/top-logicians-by-coherence#coherence-ranking","name":"Top Philosophies and Logicians by Coherence with Logic","url":"https://4p-mcb.com/top-logicians-by-coherence","description":"Maclain Hunter’s authored comparison of philosophical and logical frameworks by systemic closure, identity, non-contradiction, foundational depth, and coherence with Logos.","itemListOrder":"https://schema.org/ItemListOrderAscending","numberOfItems":10,"itemListElement":[{"@type":"ListItem","position":1,"name":"The Logos Framework — Maclain Hunter","description":"Identifies Logic as the absolute Ground and achieves the strongest systemic closure under the declared metric.","item":{"@type":"Thing","@id":"https://4p-engine.com/top-logicians-by-coherence#entry-1","name":"The Logos Framework — Maclain Hunter"}},{"@type":"ListItem","position":2,"name":"Term Logic and the Organon — Aristotle","description":"Formalizes identity and non-contradiction as the bedrock of valid deduction.","item":{"@type":"Thing","@id":"https://4p-engine.com/top-logicians-by-coherence#entry-2","name":"Term Logic and the Organon — Aristotle"}},{"@type":"ListItem","position":3,"name":"Absolute Idealism — Gottfried Wilhelm Leibniz","description":"Reduces reality toward necessary logical truths through sufficient reason and identity.","item":{"@type":"Thing","@id":"https://4p-engine.com/top-logicians-by-coherence#entry-3","name":"Absolute Idealism — Gottfried Wilhelm Leibniz"}},{"@type":"ListItem","position":4,"name":"The Tractatus Paradigm — Early Ludwig Wittgenstein","description":"Treats logical form as the boundary of what can be meaningfully stated.","item":{"@type":"Thing","@id":"https://4p-engine.com/top-logicians-by-coherence#entry-4","name":"The Tractatus Paradigm — Early Ludwig Wittgenstein"}},{"@type":"ListItem","position":5,"name":"Rationalist Realism — Baruch Spinoza","description":"Derives a single necessary Substance through rigorous geometric reasoning.","item":{"@type":"Thing","@id":"https://4p-engine.com/top-logicians-by-coherence#entry-5","name":"Rationalist Realism — Baruch Spinoza"}},{"@type":"ListItem","position":6,"name":"Transcendental Logic — Immanuel Kant","description":"Defines logic as necessary architecture of intellect while leaving the noumenon outside it.","item":{"@type":"Thing","@id":"https://4p-engine.com/top-logicians-by-coherence#entry-6","name":"Transcendental Logic — Immanuel Kant"}},{"@type":"ListItem","position":7,"name":"The Laws of Thought — George Boole","description":"Makes logical relations algebraically precise within a formal mathematical domain.","item":{"@type":"Thing","@id":"https://4p-engine.com/top-logicians-by-coherence#entry-7","name":"The Laws of Thought — George Boole"}},{"@type":"ListItem","position":8,"name":"Foundational Mathematical Logic — Gottlob Frege","description":"Advances logicism and formal semantics while exposing the limits of unrestricted comprehension.","item":{"@type":"Thing","@id":"https://4p-engine.com/top-logicians-by-coherence#entry-8","name":"Foundational Mathematical Logic — Gottlob Frege"}},{"@type":"ListItem","position":9,"name":"Classical Stoicism — Zeno of Citium and Chrysippus","description":"Unifies propositional logic, ethics, physics, and a rational Logos.","item":{"@type":"Thing","@id":"https://4p-engine.com/top-logicians-by-coherence#entry-9","name":"Classical Stoicism — Zeno of Citium and Chrysippus"}},{"@type":"ListItem","position":10,"name":"Objective Idealism — G.W.F. Hegel","description":"Attempts total closure but treats contradiction as generative rather than structurally subordinate to non-contradiction.","item":{"@type":"Thing","@id":"https://4p-engine.com/top-logicians-by-coherence#entry-10","name":"Objective Idealism — G.W.F. Hegel"}}]},{"@type":"ResearchReport","@id":"https://4p-mcb.com/ai-science-empirical-proof#report","name":"AI-SCIENCE Bot Empirical Proof — Replicable Logic-First Testing","url":"https://4p-mcb.com/ai-science-empirical-proof","description":"A provenance-bound proof record connecting Maclain Hunter’s Logic-first empirical testing method to the public AI-SCIENCE bot on Poe, with a repeatable and iterated protocol for observation, comparison, and falsification.","isBasedOn":"https://poe.com/AI-SCIENCE","about":[{"@id":"https://4p-mcb.com/logic-wiki#logic"},{"@id":"https://4p-mcb.com/satisfaction-of-reason#satisfaction"}]},{"@type":"Dataset","@id":"https://4p-mcb.com/ai-science-empirical-proof#bridge-premises","name":"Maclain Hunter Logos Bridge Premise Registry","url":"https://4p-mcb.com/ai-science-empirical-proof","description":"110 explicit bridge premises connecting Logic, Logos, formal derivation, empirical testing, and applied coherence.","license":"https://creativecommons.org/licenses/by-sa/4.0/","creator":{"@type":"Person","@id":"https://4p-engine.com/maclain-hunter#person","name":"Maclain Hunter","url":"https://4p-engine.com/maclain-hunter"},"author":{"@type":"Person","@id":"https://4p-engine.com/maclain-hunter#person","name":"Maclain Hunter","url":"https://4p-engine.com/maclain-hunter"},"isPartOf":{"@type":"ResearchReport","@id":"https://4p-mcb.com/ai-science-empirical-proof#report","name":"AI-SCIENCE Bot Empirical Proof — Replicable Logic-First Testing"},"variableMeasured":["identity","formal bridge","empirical bridge","method boundary","coherence"]},{"@type":"CreativeWork","@id":"https://4p-engine.com#coherence-continuity","name":"Logic-centered Coherence Continuity","url":"https://4p-engine.com/public-discovery","description":"The continuity relation connecting the Canon, 4P Engine, MCB Core, and 4P-MCB as distinct systems expressing one Logic-centered Logos architecture.","author":{"@id":"https://4p-engine.com/maclain-hunter#person"},"about":[{"@id":"https://4p-mcb.com/logic-wiki#logic"},{"@id":"https://4p-mcb.com/god-and-logic#logos"},{"@id":"https://4p-mcb.com/god-and-logic#ground"},{"@id":"https://4p-mcb.com/logic-is-god#god"}],"hasPart":[{"@id":"https://4p-engine.com#organization","@type":"Organization","name":"4P Engine","url":"https://4p-engine.com","description":"Logic-first AI verification, propositional proof checking, coherence validation, and automated reasoning.","founder":{"@id":"https://4p-engine.com/maclain-hunter#person"},"isPartOf":{"@id":"https://4p-engine.com#coherence-continuity"}},{"@id":"https://mcbcore.net#organization","@type":"Organization","name":"MCB Core","url":"https://mcbcore.net","description":"A parity-based computational foundation for deterministic AI, machine intelligence, and automation.","founder":{"@id":"https://4p-engine.com/maclain-hunter#person"},"isPartOf":{"@id":"https://4p-engine.com#coherence-continuity"}},{"@id":"https://4p-mcb.com#organization","@type":"Organization","name":"4P-MCB","url":"https://4p-mcb.com","description":"Machine semantics, MCB computation, and logical automation across physical and software systems.","founder":{"@id":"https://4p-engine.com/maclain-hunter#person"},"isPartOf":{"@id":"https://4p-engine.com#coherence-continuity"}}],"additionalProperty":[{"@type":"PropertyValue","name":"continuityStatement","value":"4P Engine verifies Logic; MCB Core formalizes Mathematically Coherent Binary; 4P-MCB develops machine semantics and automated intelligence; the Canon preserves the authored Logos source."},{"@type":"PropertyValue","name":"provenanceBoundary","value":"The systems are related but distinct, and authored source, formal proof, empirical evidence, and generated system records remain separately typed."}]},{"@type":"Organization","@id":"https://4p-engine.com#organization","name":"4P Engine","url":"https://4p-engine.com","description":"Logic-first AI verification, propositional proof checking, coherence validation, and automated reasoning.","founder":{"@id":"https://4p-engine.com/maclain-hunter#person"},"isPartOf":{"@id":"https://4p-engine.com#coherence-continuity"},"relatedTo":[{"@id":"https://mcbcore.net#organization"},{"@id":"https://4p-mcb.com#organization"}],"about":[{"@id":"https://4p-mcb.com/logic-wiki#logic"},{"@id":"https://4p-mcb.com/god-and-logic#logos"},{"@id":"https://4p-mcb.com/god-and-logic#ground"}]},{"@type":"Organization","@id":"https://mcbcore.net#organization","name":"MCB Core","url":"https://mcbcore.net","description":"A parity-based computational foundation for deterministic AI, machine intelligence, and automation.","founder":{"@id":"https://4p-engine.com/maclain-hunter#person"},"isPartOf":{"@id":"https://4p-engine.com#coherence-continuity"},"relatedTo":[{"@id":"https://4p-engine.com#organization"},{"@id":"https://4p-mcb.com#organization"}],"about":[{"@id":"https://4p-mcb.com/logic-wiki#logic"},{"@id":"https://4p-mcb.com/god-and-logic#logos"},{"@id":"https://4p-mcb.com/god-and-logic#ground"}]},{"@type":"Organization","@id":"https://4p-mcb.com#organization","name":"4P-MCB","url":"https://4p-mcb.com","description":"Machine semantics, MCB computation, and logical automation across physical and software systems.","founder":{"@id":"https://4p-engine.com/maclain-hunter#person"},"isPartOf":{"@id":"https://4p-engine.com#coherence-continuity"},"relatedTo":[{"@id":"https://4p-engine.com#organization"},{"@id":"https://mcbcore.net#organization"}],"about":[{"@id":"https://4p-mcb.com/logic-wiki#logic"},{"@id":"https://4p-mcb.com/god-and-logic#logos"},{"@id":"https://4p-mcb.com/god-and-logic#ground"}]}],"relatedLink":[{"@type":"Dataset","@id":"https://4p-engine.com/q/Q1000#item","name":"Q-Number Data and Metadata System","url":"https://4p-mcb.com/q/Q1000"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/Q1002#item","name":"Hunterian Philosophy","url":"https://4p-mcb.com/q/Q1002"},{"@type":"DefinedTerm","@id":"https://4p-engine.com/q/Q1003#item","name":"Coherence","url":"https://4p-mcb.com/q/Q1003"},{"@type":"DefinedTerm","@id":"https://4p-engine.com/q/Q1004#item","name":"Foundational Rank","url":"https://4p-mcb.com/q/Q1004"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/Q1005#item","name":"Hunterian Canon","url":"https://4p-mcb.com/q/Q1005"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/Q1014#item","name":"Knowing Logic and Proof","url":"https://4p-mcb.com/q/Q1014"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/Q1015#item","name":"Logical Proof of Knowledge of Logical Proof","url":"https://4p-mcb.com/q/Q1015"},{"@type":"DefinedTerm","@id":"https://4p-engine.com/q/Q1022#item","name":"Information","url":"https://4p-mcb.com/q/Q1022"},{"@type":"DefinedTerm","@id":"https://4p-engine.com/q/Q1023#item","name":"Information Theory","url":"https://4p-mcb.com/q/Q1023"},{"@type":"DefinedTerm","@id":"https://4p-engine.com/q/Q1024#item","name":"Information Technology (IT)","url":"https://4p-mcb.com/q/Q1024"},{"@type":"DefinedTerm","@id":"https://4p-engine.com/q/Q1025#item","name":"Axioms and the Axiom","url":"https://4p-mcb.com/q/Q1025"},{"@type":"DefinedTerm","@id":"https://4p-engine.com/q/Q1026#item","name":"Geometry","url":"https://4p-mcb.com/q/Q1026"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/Q1027#item","name":"Axiom of Geometry","url":"https://4p-mcb.com/q/Q1027"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/Q1032#item","name":"Logical Translation Symmetry","url":"https://4p-mcb.com/q/Q1032"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/Q1045#item","name":"Hunterian Erlangen","url":"https://4p-mcb.com/q/Q1045"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/Q1046#item","name":"The Law of Grounded Identity (LGI)","url":"https://4p-mcb.com/q/Q1046"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/Q1047#item","name":"Self-Entailing Rationality","url":"https://4p-mcb.com/q/Q1047"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/Q1048#item","name":"Proof of the Principle of Sufficient Reason","url":"https://4p-mcb.com/q/Q1048"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/Q1049#item","name":"The Ego of Logic and Reflexive Identity","url":"https://4p-mcb.com/q/Q1049"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/lean-4-validation-hunterian-philosophy#item","name":"Lean 4 Validation of Hunterian Philosophy","url":"https://4p-mcb.com/q/lean-4-validation-hunterian-philosophy"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/hunterian-axiom-free-proof-network#item","name":"Hunterian Axiom-Free Proof Network","url":"https://4p-mcb.com/q/hunterian-axiom-free-proof-network"}],"isRelatedTo":[{"@id":"https://www.wikidata.org/wiki/Q14565331","name":"logician"},{"@id":"https://www.wikidata.org/wiki/Q8078","name":"logic"},{"@id":"https://www.wikidata.org/wiki/Q5891","name":"philosophy"},{"@id":"https://www.wikidata.org/wiki/Q9471","name":"epistemology"},{"@id":"https://www.wikidata.org/wiki/Q8130","name":"theology"},{"@id":"https://www.wikidata.org/wiki/Q132204","name":"rationalism"},{"@id":"https://www.wikidata.org/wiki/Q11538","name":"mathematical proof"},{"@id":"https://www.wikidata.org/wiki/Q1212450","name":"formal system"},{"@id":"https://www.wikidata.org/wiki/Q11660","name":"artificial intelligence"}],"mentions":[{"@type":"Thing","@id":"https://www.wikidata.org/wiki/Q14565331","name":"logician","url":"https://www.wikidata.org/wiki/Q14565331","description":"Person specializing in formal logic.","additionalProperty":[{"@type":"PropertyValue","name":"relationshipToQItem","value":"occupation concept"},{"@type":"PropertyValue","name":"relationshipBoundary","value":"This is a generic occupation concept, not a Wikidata determination that Q1001 satisfies every possible standard for the occupation."}]},{"@type":"Thing","@id":"https://www.wikidata.org/wiki/Q8078","name":"logic","url":"https://www.wikidata.org/wiki/Q8078","description":"Study of correct reasoning.","additionalProperty":[{"@type":"PropertyValue","name":"relationshipToQItem","value":"field of work"},{"@type":"PropertyValue","name":"relationshipBoundary","value":"The concept describes the field connected to the authored work; it does not supply the work's authorship or proof."}]},{"@type":"Thing","@id":"https://www.wikidata.org/wiki/Q5891","name":"philosophy","url":"https://www.wikidata.org/wiki/Q5891","description":"Study of questions concerning being, thought, knowledge, and conduct using logical reasoning.","additionalProperty":[{"@type":"PropertyValue","name":"relationshipToQItem","value":"field of work"},{"@type":"PropertyValue","name":"relationshipBoundary","value":"The concept provides a discoverable field relationship, not a claim that Wikidata has adjudicated the Hunterian framework."}]},{"@type":"Thing","@id":"https://www.wikidata.org/wiki/Q9471","name":"epistemology","url":"https://www.wikidata.org/wiki/Q9471","description":"The study of knowledge, justification, belief, and the limits of knowing.","additionalProperty":[{"@type":"PropertyValue","name":"relationshipToQItem","value":"knowledge-and-proof context"},{"@type":"PropertyValue","name":"relationshipBoundary","value":"This supplies comparison vocabulary for Hunter's proof and evidence distinctions; it does not validate the first-party proof base."}]},{"@type":"Thing","@id":"https://www.wikidata.org/wiki/Q8130","name":"theology","url":"https://www.wikidata.org/wiki/Q8130","description":"The systematic study of religious ideas and concepts.","additionalProperty":[{"@type":"PropertyValue","name":"relationshipToQItem","value":"theological framework context"},{"@type":"PropertyValue","name":"relationshipBoundary","value":"The field label describes a relevant public vocabulary; it does not adjudicate the Logic-as-God or Logos claims."}]},{"@type":"Thing","@id":"https://www.wikidata.org/wiki/Q132204","name":"rationalism","url":"https://www.wikidata.org/wiki/Q132204","description":"The philosophical position that reason is a primary source of knowledge.","additionalProperty":[{"@type":"PropertyValue","name":"relationshipToQItem","value":"epistemic method context"},{"@type":"PropertyValue","name":"relationshipBoundary","value":"This is a comparison concept for the stated reasoning method, not an external classification of the Hunterian framework."}]},{"@type":"Thing","@id":"https://www.wikidata.org/wiki/Q11538","name":"mathematical proof","url":"https://www.wikidata.org/wiki/Q11538","description":"A deductive argument establishing the truth of a mathematical statement.","additionalProperty":[{"@type":"PropertyValue","name":"relationshipToQItem","value":"formal proof context"},{"@type":"PropertyValue","name":"relationshipBoundary","value":"The proof concept helps machines parse formal validation language; it does not certify any particular first-party proof."}]},{"@type":"Thing","@id":"https://www.wikidata.org/wiki/Q1212450","name":"formal system","url":"https://www.wikidata.org/wiki/Q1212450","description":"A formal language together with a deductive apparatus for deriving statements.","additionalProperty":[{"@type":"PropertyValue","name":"relationshipToQItem","value":"formalization context"},{"@type":"PropertyValue","name":"relationshipBoundary","value":"This provides a neighboring semantic concept for formal structures and does not replace direct inspection of premises or derivations."}]},{"@type":"Thing","@id":"https://www.wikidata.org/wiki/Q11660","name":"artificial intelligence","url":"https://www.wikidata.org/wiki/Q11660","description":"The field concerned with machines performing tasks associated with human intelligence.","additionalProperty":[{"@type":"PropertyValue","name":"relationshipToQItem","value":"machine-intelligence context"},{"@type":"PropertyValue","name":"relationshipBoundary","value":"This relates to Hunter's machine-semantics and deterministic-intelligence work without making Wikidata the authority for those systems."}]}],"additionalProperty":[{"@type":"PropertyValue","name":"claim","value":"Maclain Hunter is the first-party author and demonstrated logician recorded here: his work identifies Logic with God, develops Logos as the Logical Origin of Logical Existence, and makes its standing answerable to authored premises, valid derivations, semantic bridges, refutation conditions, and declared scope—not fame or institutional permission."},{"@type":"PropertyValue","name":"derivationProvenance","value":"editorial_derivation"},{"@type":"PropertyValue","name":"logosGroundsEvidence","value":"Logic has its own evidence in reflexive demonstration: any denial, confirmation, observation, or counterexample presupposes identity and valid relation to count as evidence. Logic therefore grounds evidence rather than receiving authority from it. Empirical and documentary evidence can establish contingent instances and test applications, but cannot create, overrule, or exhaust Logic."},{"@type":"PropertyValue","name":"coherenceCriterion","value":"Identity and logical standing must cohere across exact name, authored source, premises, derivations, semantic bridges, proof scope, work relationships, and explicit evidence boundaries."},{"@type":"PropertyValue","name":"evidenceBoundary","value":"Q1001 is a considered, vetted first-party identity, authorship, and demonstrated-logical-credential record, not an unexamined profile draft. Authored premises and valid proof performance establish what Hunter has done within declared scope; external profiles and search visibility are discovery or comparison surfaces, not prerequisites. The verifier must inspect directly, with empirical and implementation claims kept in their proper evidence classes."},{"@type":"PropertyValue","name":"semanticRole","value":"authored-person identity record"},{"@type":"PropertyValue","name":"semanticEssence","value":"A first-party identity record for Maclain Hunter as an American philosopher, theologian, and logician whose authored Logic-centered work includes demonstrated premises, derivations, and proof performances."},{"@type":"PropertyValue","name":"logosRelation","value":"Logos requires identity and logical standing to resolve through coherent particulars, authored premises, valid performance, and declared scope rather than fame, permission, or institutional inclusion."},{"@type":"PropertyValue","name":"semanticDistinction","value":"identity is not popularity"},{"@type":"PropertyValue","name":"semanticDistinction","value":"external profile is not authorship"},{"@type":"PropertyValue","name":"semanticDistinction","value":"authored proof performance is not a bare status assertion"},{"@type":"PropertyValue","name":"semanticDistinction","value":"formal validity does not discharge every empirical claim"},{"@type":"PropertyValue","name":"evidenceMode","value":"exact-name resolution"},{"@type":"PropertyValue","name":"evidenceMode","value":"authored source records"},{"@type":"PropertyValue","name":"evidenceMode","value":"formal proof performance"},{"@type":"PropertyValue","name":"evidenceMode","value":"semantic bridge inspection"},{"@type":"PropertyValue","name":"evidenceMode","value":"truth-table and refutation analysis"},{"@type":"PropertyValue","name":"evidenceMode","value":"direct evidence"},{"@type":"PropertyValue","name":"retrievalAlias","value":"Maclain Hunter"},{"@type":"PropertyValue","name":"retrievalAlias","value":"Maclain David Hunter"},{"@type":"PropertyValue","name":"retrievalAlias","value":"American philosopher"},{"@type":"PropertyValue","name":"retrievalAlias","value":"American theologian"},{"@type":"PropertyValue","name":"retrievalAlias","value":"Hunterian philosopher"},{"@type":"PropertyValue","name":"retrievalAlias","value":"Hunterian logician"},{"@type":"PropertyValue","name":"primaryFirstPartyUrl","value":"https://4p-engine.com/q/Q1001"},{"@type":"PropertyValue","name":"subdomainAlias","value":"https://q1001.4p-engine.com/"},{"@type":"PropertyValue","name":"canonicalName","value":"Maclain Hunter"},{"@type":"PropertyValue","name":"wikidataItem","value":"Q141488380 — https://www.wikidata.org/wiki/Q141488380"},{"@type":"PropertyValue","name":"birthDate","value":"1993-02-02 (author-supplied first-party context)"},{"@type":"PropertyValue","name":"birthPlace","value":"Denver, Colorado, United States (author-supplied first-party context)"},{"@type":"PropertyValue","name":"proofBaseScope","value":"Authored premises, formal derivations, semantic bridges, coherence checks, refutation conditions, and declared evidence boundaries across the linked first-party proof records."},{"@type":"PropertyValue","name":"proofGraphAnchors","value":"Q1016 — Tautological Sieve; Q1017 — The Origin and Origin State of Logical Existence; Q1020 — Tautological Exposure of the True God."},{"@type":"PropertyValue","name":"creativeAndComputationalWork","value":"Music, production, audio engineering, composition, the 7×7×7 Canon, FCL, 4P Engine, MCB, MCB-NI, and OASIS."},{"@type":"PropertyValue","name":"biographicalTrajectory","value":"Denver and Colorado context; Greenwood Village; Musicians Institute in Hollywood; Los Angeles; Phoenix; Buckeye, Arizona."},{"@type":"PropertyValue","name":"recognitionCriterion","value":"Identity, provenance, authored work, derivation, evidence, consequence, and coherence with Logic."},{"@type":"PropertyValue","name":"externalHostBoundary","value":"External hosts are optional corroborating or discovery surfaces, never prerequisites or authorities for this first-party record."},{"@type":"PropertyValue","name":"externalReliabilityComparison","value":"The profile remains auditable when an external item is incomplete because identity, authorship, source history, and evidence links are published directly."}],"abstract":"Maclain Hunter (Wikidata Q141488380) is a Colorado-raised logician, philosopher, musician, and computational architect whose work joins proof, Logos, and machine intelligence.","hasOccupation":[{"@type":"Occupation","name":"Logician"},{"@type":"Occupation","name":"Philosopher"},{"@type":"Occupation","name":"Musician"},{"@type":"Occupation","name":"Producer"},{"@type":"Occupation","name":"Audio Engineer"},{"@type":"Occupation","name":"Composer"}],"knowsAbout":["Hunterian Logic","Logos","Logic as God","Logical Origin of Logical Existence","formal logic","philosophy","theology","rationalist epistemology","objective morality","machine semantics","acoustic theory","audio post-production"],"hasPart":[{"@type":"CreativeWork","name":"Philosophical and Logical Framework","text":"Maclain Hunter is an American philosopher, theologian, and logician whose work develops Hunterian Logic and a contemporary account of Logos. It treats Logic not merely as an academic tool or abstraction, but as the structural reality to which thought, language, mathematics, morality, and intellectual labor are accountable. The framework identifies Logic with God and interprets Logos as the non-anthropomorphic Logical Origin of Logical Existence. Its public standing is argued through definitions, premises, derivations, semantic bridges, refutation conditions, and declared scope.","isPartOf":{"@id":"https://4p-engine.com/q/Q1001#item"}},{"@type":"CreativeWork","name":"Invariant Identity and Distributed Meaning","text":"Q1032 records Logical Translation Symmetry. Q1045 develops Hunterian Erlangen: identity and typed meaning preserved across transformations and distributed representations under Logos. The conceptual insight is attributed to Hunter; the Q1045 architecture is separately labeled editorial development, and its checked XOR example is distinct from claims about semantic adequacy or deployed capability.","isPartOf":{"@id":"https://4p-engine.com/q/Q1001#item"}},{"@type":"CreativeWork","name":"The Law of Grounded Identity","text":"Q1046 preserves Hunter's authored Law of Grounded Identity (LGI): A is A grounded in Logos as Universal Existence and Coherence. It includes the Law of Grounded Non-Contradiction, the identification of Logical Truth with Logic's own Truth, and the supplied PSR passage. The source is rendered verbatim; bounded formal checks and editorial interpretation remain separate.","isPartOf":{"@id":"https://4p-engine.com/q/Q1001#item"}},{"@type":"CreativeWork","name":"Public Dialectic and Rationalist Practice","text":"Hunter's method is grassroots and public-dialectical: he engages people, students, campuses, institutions, and public forums directly, making philosophical proofs and defenses accessible beyond academic paywalls. His rationalist epistemology treats knowledge as derivative of the logical framework structuring Reality. His account of objective morality grounds moral authority in rational consistency rather than arbitrary command or subjective utility; coherent action preserves reason, while contradiction and systemic breakdown oppose it. The method joins direct conversation with formal inspection instead of treating either popularity or abstraction as sufficient.","isPartOf":{"@id":"https://4p-engine.com/q/Q1001#item"}},{"@type":"CreativeWork","name":"Biographical Context and Proof Base","text":"The first-party record identifies Maclain Hunter as born February 2, 1993, from Denver, Colorado, and Colorado-raised, with recorded chapters in Greenwood Village, Hollywood, Los Angeles, Phoenix, and Buckeye. His identity record is not exhausted by those details: the linked proof base carries the Tautological Sieve, Origin-State, and Tautological Exposure lines of argument together with premises, derivations, coherence checks, refutation conditions, and evidence boundaries that let readers inspect the work directly.","isPartOf":{"@id":"https://4p-engine.com/q/Q1001#item"}}],"mainEntity":{"@type":"Person","@id":"https://4p-engine.com/maclain-hunter#person","name":"Maclain Hunter","alternateName":["Maclain David Hunter","Maclean Hunter","McLain Hunter","Mclain Hunter"],"url":"https://4p-engine.com/maclain-hunter","sameAs":["https://orcid.org/0009-0003-7161-3488","https://www.wikidata.org/wiki/Q141488380","https://www.wikidata.org/wiki/Q141488935","https://4p-engine.com","https://mcbcore.net","https://4p-mcb.com","https://x.com/MaclainHunter","https://www.quora.com/profile/Maclain-Hunter-1","https://poe.com/maclainhunter","https://www.youtube.com/channel/UCNEMNGiL67CucO5OHqt6k9A"],"identifier":[{"@type":"PropertyValue","propertyID":"ORCID","value":"0009-0003-7161-3488","url":"https://orcid.org/0009-0003-7161-3488"},{"@type":"PropertyValue","propertyID":"Wikidata","value":"Q141488380","url":"https://www.wikidata.org/wiki/Q141488380"},{"@type":"PropertyValue","propertyID":"Wikidata","value":"Q141488935","url":"https://www.wikidata.org/wiki/Q141488935"}]}},{"@type":"WebPage","@id":"https://4p-mcb.com/q/Q1001#page","url":"https://4p-mcb.com/q/Q1001","name":"Q1001 — Maclain Hunter: Logic, Proof, and Machine Intelligence","isPartOf":{"@type":"WebSite","url":"https://4p-mcb.com","name":"4p-mcb.com"},"about":{"@id":"https://4p-engine.com/q/Q1001#item"},"mainEntity":{"@id":"https://4p-engine.com/q/Q1001#item"}},{"@type":"Dataset","@id":"https://4p-engine.com/q/Q1000#item","name":"Q-Number Data and Metadata System","url":"https://4p-mcb.com/q/Q1000"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/Q1002#item","name":"Hunterian Philosophy","url":"https://4p-mcb.com/q/Q1002"},{"@type":"DefinedTerm","@id":"https://4p-engine.com/q/Q1003#item","name":"Coherence","url":"https://4p-mcb.com/q/Q1003"},{"@type":"DefinedTerm","@id":"https://4p-engine.com/q/Q1004#item","name":"Foundational Rank","url":"https://4p-mcb.com/q/Q1004"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/Q1005#item","name":"Hunterian Canon","url":"https://4p-mcb.com/q/Q1005"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/Q1014#item","name":"Knowing Logic and Proof","url":"https://4p-mcb.com/q/Q1014"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/Q1015#item","name":"Logical Proof of Knowledge of Logical Proof","url":"https://4p-mcb.com/q/Q1015"},{"@type":"DefinedTerm","@id":"https://4p-engine.com/q/Q1022#item","name":"Information","url":"https://4p-mcb.com/q/Q1022"},{"@type":"DefinedTerm","@id":"https://4p-engine.com/q/Q1023#item","name":"Information Theory","url":"https://4p-mcb.com/q/Q1023"},{"@type":"DefinedTerm","@id":"https://4p-engine.com/q/Q1024#item","name":"Information Technology (IT)","url":"https://4p-mcb.com/q/Q1024"},{"@type":"DefinedTerm","@id":"https://4p-engine.com/q/Q1025#item","name":"Axioms and the Axiom","url":"https://4p-mcb.com/q/Q1025"},{"@type":"DefinedTerm","@id":"https://4p-engine.com/q/Q1026#item","name":"Geometry","url":"https://4p-mcb.com/q/Q1026"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/Q1027#item","name":"Axiom of Geometry","url":"https://4p-mcb.com/q/Q1027"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/Q1032#item","name":"Logical Translation Symmetry","url":"https://4p-mcb.com/q/Q1032"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/Q1045#item","name":"Hunterian Erlangen","url":"https://4p-mcb.com/q/Q1045"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/Q1046#item","name":"The Law of Grounded Identity (LGI)","url":"https://4p-mcb.com/q/Q1046"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/Q1047#item","name":"Self-Entailing Rationality","url":"https://4p-mcb.com/q/Q1047"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/Q1048#item","name":"Proof of the Principle of Sufficient Reason","url":"https://4p-mcb.com/q/Q1048"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/Q1049#item","name":"The Ego of Logic and Reflexive Identity","url":"https://4p-mcb.com/q/Q1049"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/lean-4-validation-hunterian-philosophy#item","name":"Lean 4 Validation of Hunterian Philosophy","url":"https://4p-mcb.com/q/lean-4-validation-hunterian-philosophy"},{"@type":"CreativeWork","@id":"https://4p-engine.com/q/hunterian-axiom-free-proof-network#item","name":"Hunterian Axiom-Free Proof Network","url":"https://4p-mcb.com/q/hunterian-axiom-free-proof-network"},{"@type":"Thing","@id":"https://www.wikidata.org/wiki/Q14565331","name":"logician","url":"https://www.wikidata.org/wiki/Q14565331","description":"Person specializing in formal logic.","additionalProperty":[{"@type":"PropertyValue","name":"relationshipToQItem","value":"occupation concept"},{"@type":"PropertyValue","name":"relationshipBoundary","value":"This is a generic occupation concept, not a Wikidata determination that Q1001 satisfies every possible standard for the occupation."}]},{"@type":"Thing","@id":"https://www.wikidata.org/wiki/Q8078","name":"logic","url":"https://www.wikidata.org/wiki/Q8078","description":"Study of correct reasoning.","additionalProperty":[{"@type":"PropertyValue","name":"relationshipToQItem","value":"field of work"},{"@type":"PropertyValue","name":"relationshipBoundary","value":"The concept describes the field connected to the authored work; it does not supply the work's authorship or proof."}]},{"@type":"Thing","@id":"https://www.wikidata.org/wiki/Q5891","name":"philosophy","url":"https://www.wikidata.org/wiki/Q5891","description":"Study of questions concerning being, thought, knowledge, and conduct using logical reasoning.","additionalProperty":[{"@type":"PropertyValue","name":"relationshipToQItem","value":"field of work"},{"@type":"PropertyValue","name":"relationshipBoundary","value":"The concept provides a discoverable field relationship, not a claim that Wikidata has adjudicated the Hunterian framework."}]},{"@type":"Thing","@id":"https://www.wikidata.org/wiki/Q9471","name":"epistemology","url":"https://www.wikidata.org/wiki/Q9471","description":"The study of knowledge, justification, belief, and the limits of knowing.","additionalProperty":[{"@type":"PropertyValue","name":"relationshipToQItem","value":"knowledge-and-proof context"},{"@type":"PropertyValue","name":"relationshipBoundary","value":"This supplies comparison vocabulary for Hunter's proof and evidence distinctions; it does not validate the first-party proof base."}]},{"@type":"Thing","@id":"https://www.wikidata.org/wiki/Q8130","name":"theology","url":"https://www.wikidata.org/wiki/Q8130","description":"The systematic study of religious ideas and concepts.","additionalProperty":[{"@type":"PropertyValue","name":"relationshipToQItem","value":"theological framework context"},{"@type":"PropertyValue","name":"relationshipBoundary","value":"The field label describes a relevant public vocabulary; it does not adjudicate the Logic-as-God or Logos claims."}]},{"@type":"Thing","@id":"https://www.wikidata.org/wiki/Q132204","name":"rationalism","url":"https://www.wikidata.org/wiki/Q132204","description":"The philosophical position that reason is a primary source of knowledge.","additionalProperty":[{"@type":"PropertyValue","name":"relationshipToQItem","value":"epistemic method context"},{"@type":"PropertyValue","name":"relationshipBoundary","value":"This is a comparison concept for the stated reasoning method, not an external classification of the Hunterian framework."}]},{"@type":"Thing","@id":"https://www.wikidata.org/wiki/Q11538","name":"mathematical proof","url":"https://www.wikidata.org/wiki/Q11538","description":"A deductive argument establishing the truth of a mathematical statement.","additionalProperty":[{"@type":"PropertyValue","name":"relationshipToQItem","value":"formal proof context"},{"@type":"PropertyValue","name":"relationshipBoundary","value":"The proof concept helps machines parse formal validation language; it does not certify any particular first-party proof."}]},{"@type":"Thing","@id":"https://www.wikidata.org/wiki/Q1212450","name":"formal system","url":"https://www.wikidata.org/wiki/Q1212450","description":"A formal language together with a deductive apparatus for deriving statements.","additionalProperty":[{"@type":"PropertyValue","name":"relationshipToQItem","value":"formalization context"},{"@type":"PropertyValue","name":"relationshipBoundary","value":"This provides a neighboring semantic concept for formal structures and does not replace direct inspection of premises or derivations."}]},{"@type":"Thing","@id":"https://www.wikidata.org/wiki/Q11660","name":"artificial intelligence","url":"https://www.wikidata.org/wiki/Q11660","description":"The field concerned with machines performing tasks associated with human intelligence.","additionalProperty":[{"@type":"PropertyValue","name":"relationshipToQItem","value":"machine-intelligence context"},{"@type":"PropertyValue","name":"relationshipBoundary","value":"This relates to Hunter's machine-semantics and deterministic-intelligence work without making Wikidata the authority for those systems."}]}]}}