formal science
Enable an agent to recognise formal science, assess how its claims are justified, and determine when its methods and results can be used.
Research draft, second pass
A second pass drafted this model: the structure a model of this thing needs, and what is known about it in the world. The line under this one says how the second half was obtained - researched against sources, or recalled without web access, in which case nothing here was read anywhere and every claim is a lead to verify. Unreviewed either way.
recalled by Codex without web access - no source was read
Researched by: Codex
Purpose and description
Enable an agent to recognise formal science, assess how its claims are justified, and determine when its methods and results can be used.
Formal science is an umbrella category of disciplines that investigate abstract structures and the consequences of explicitly stated rules or assumptions, chiefly through deductive reasoning rather than empirical testing.
It can be Classify a candidate discipline or research activity under an explicitly named understanding of formal science.; Identify the assumptions and reasoning standards needed to assess a formal claim.; Distinguish a proof, conjecture, computational observation and empirically supported application.; Determine whether a result can transfer between formal settings by checking assumptions and interpretation.; Route unresolved claims to proof checking, counterexample search, foundational analysis or empirical validation.; Compare disciplinary classifications while preserving disagreements about membership..
Distinguishing features
A claim's formal justification depends on specified assumptions and permitted reasoning steps; observations alone do not establish its deductive validity.
Its subject matter includes abstract structures and their consequences, rather than requiring a particular physical referent.
Using equations or statistics does not by itself make a discipline formal science; the model must identify what warrants its central claims.
A formal result can remain valid under its assumptions even when an intended real-world application fails to satisfy them.
Formal science denotes a disciplinary family, rather than a single formal language, axiomatic theory or collection of practitioners.
Scope
+ Subject matter expressed through abstract structures, formal languages and explicit assumptions
+ Deductive, constructive and computational methods of establishing formal claims
+ Relationships between syntax, semantics, proof and interpretation
+ Disciplinary membership and boundaries under named classification conventions
+ Conditions governing the transfer of formal results into applications
- Individual formal systems, theories and proofs as independently modelled knowledge objects
- Empirical disciplines and their observation-based claims about the world
- Individual researchers, research organisations and professional roles
- Publications, curricula and software implementations as separate artifacts
- Philosophical positions about abstract existence considered independently of their methodological consequences
Characteristics
- Disciplinary inclusion convention
- Named classification or institutional convention, version, and included, excluded or disputed status Membership cannot be inferred reliably from a discipline's name or use of mathematical notation.
- Primary formal subject matter
- Structures; logical consequence; computation; quantitative relations; other explicitly described abstract objects Identifies what the discipline investigates and distinguishes neighbouring specialisations.
- Justification methods
- Deductive proof; constructive derivation; exhaustive verification; machine-assisted proof; exploratory computation; other specified method Separates methods that establish claims from methods that suggest conjectures or supply partial evidence.
- Foundational commitments
- Links to adopted logics, axioms, semantic assumptions and permitted constructions Results and acceptable arguments may depend on commitments that differ across formal traditions.
- Claim assessment vocabulary
- Conjectured; proved under stated assumptions; refuted; independent relative to a specified theory; unresolved; disputed Lets an agent record epistemic status without treating all formal statements as established theorems.
- Connection to empirical interpretation
- Uninterpreted formal study; specified interpretation; application with explicit validation requirements Marks where deductive justification ends and evidence about an application becomes necessary.
- Institutional and classification placement
- Sourced links to classification entries, societies, journals, degree programmes and defining reference works Documents recognised disciplinary placement without equating the field with its institutions or literature.
Also called
Where this came from
wikidata · CC0 1.0
Drafted structure
Bundle to layer to finding to question, as the second pass will find it: 6 bundles · 11 layers · 17 findings · 27 questions.
Disciplinary identity and boundaries Recognises formal science through its subject matter and standards of justification while recording classification-dependent membership.
Formal science is easily confused with any quantitatively expressed research or with one of its constituent disciplines.
Formal subject matter
Identifies the abstract objects and relations a candidate field studies.
Objects and consequences
Record whether the central questions concern formally specified objects and what follows from their definitions and assumptions.
- Which structures, relations or formal processes constitute the field's primary subject matter? definition
- Does the work investigate formal consequences, empirical behaviour, or an explicitly distinguished combination? boundary
Membership conventions
Makes the convention behind disciplinary inclusion explicit.
Convention-dependent inclusion
Record which branches are included, excluded or disputed by a named source rather than presenting one boundary as universal.
- Which source or classification defines the intended extension of formal science? provenance
- How does that convention distinguish formal branches of computing or statistics from their empirical and applied branches? boundary
Formal expression and foundations Captures the kinds of explicit commitments that make formal questions and derivations assessable.
An agent cannot assess formal reasoning from notation alone; it must identify the rules and assumptions giving the notation force.
Languages and semantics
Distinguishes permitted expressions from their interpretation.
Syntax and interpretation
Record how the field specifies expressions and meanings, including where informal exposition relies on recoverable formal conventions.
- What determines whether an expression or construction is well formed? definition
- Which interpretations give its statements meaning, and which questions concern syntax alone? boundary
Assumptions and logics
Identifies foundational choices that condition accepted results.
Explicit foundational dependencies
Record adopted axioms, inference rules and restrictions on constructions without assuming a single foundation across formal science.
- Which axioms, logic and construction principles are presupposed by the reasoning being assessed? provenance
- Which conclusions require reassessment if those commitments change? action
Justification and claim status Distinguishes established formal consequences from conjectures, partial evidence and unresolved foundational questions.
Formal presentation and computational success can obscure whether a claim has actually been established.
Proof and verification
Records accepted ways to establish a claim and the dependencies of checking it.
Warrant for formal claims
Identify the argument or verification procedure, its coverage and any trusted computational components.
- What accepted proof or verification standard warrants the claim under its stated assumptions? definition
- What must an agent inspect or rerun to check the argument, including any trusted software components? action
Exploration and limits
Separates suggestive evidence, decisive counterexamples and established limits of derivation.
Status and coverage
Record whether evidence covers the claim's full domain and distinguish lack of a proof from an established limitation relative to a specified system.
- Does the available computation exhaust a justified finite domain, exhibit a counterexample, or merely sample cases? measurement
- Is the claim unresolved, refuted, proved, or shown independent of a specified theory, and what supports that status? provenance
Interpretation and result transfer Governs movement of formal results between theories and into applications.
A valid derivation does not automatically justify a translated theorem or a claim about an external system.
Transfer between formal settings
Examines whether a translation preserves what a result requires.
Preserved assumptions and properties
Record mappings between settings and the assumptions or properties necessary for a valid transfer.
- Which definitions, assumptions and relevant properties does the proposed mapping preserve? boundary
- What additional argument is needed before the result may be asserted in the target setting? action
Empirical application
Separates formal validity from adequacy of a real-world interpretation.
Application bridge
Record how formal objects correspond to external entities and which application assumptions require evidence.
- How are formal variables, relations and constraints connected to observable or operational features of the application? definition
- Which assumptions require empirical validation before the formal conclusion can support action in that application? action
Classification and disciplinary evidence Documents how reference systems and institutions identify the disciplinary family and its constituent fields.
Formal science needs traceable placement, especially where classification systems organise its branches separately.
Classification crosswalks
Records sourced placements without inventing a single universal classification code.
Scheme-specific placement
Distinguish a classification entry for the umbrella concept from entries for constituent disciplines.
- Which verified entries in named schemes classify formal science itself, and which classify only constituent fields? provenance
- Where do the schemes differ in coverage, hierarchy or treatment of interdisciplinary branches? boundary
Institutional recognition
Uses disciplinary institutions and reference works as evidence of scope and practice.
Markers and their coverage
Record what journals, societies, curricula and defining works actually represent, including whether they address the umbrella or a branch.
- Which defining reference works or institutional statements explicitly describe formal science and its methods? provenance
- Does each institutional marker support recognition of the whole family or only a particular constituent discipline? boundary
Evidence and external alignment What the world already says about this thing, gathered so the model can be checked against it.
A model that cannot be lined up against existing standards, identifiers and practice cannot be adopted by anyone who already uses them.
Reported evidence
Findings from the breadth pass, kept separate from the structural claims.
Check these first
Recalled without web access and unsourced; every item is a lead to verify.
- The boundary of formal science is conventional; inclusion of statistics, information theory and other adjacent fields should be checked against the classification being used.
- The listed identifier schemes classify constituent subjects and do not supply a single identifier for formal science.
- This description is based on recall; no sources or current classification editions were consulted.
- Which of these check these first hold for the sense of formal science this model covers, and on what evidence? provenance
Kinds and varieties
Recalled without web access and unsourced; every item is a lead to verify.
- Mathematics
- Formal logic
- Theoretical computer science
- Which of these kinds and varieties hold for the sense of formal science this model covers, and on what evidence? provenance
Identifiers and schemes
Recalled without web access and unsourced; every item is a lead to verify.
- Mathematics Subject Classification (MSC) - Two-digit subject classes with finer alphanumeric subdivisions - Maintained jointly by Mathematical Reviews and zbMATH; classifies mathematical subjects, not formal science as a whole.
- ACM Computing Classification System (CCS) - Hierarchical subject categories - Published by the Association for Computing Machinery; covers computing, including its theoretical foundations, rather than the entire formal-science category.
- Which of these identifiers and schemes hold for the sense of formal science this model covers, and on what evidence? provenance
Real-world use
Recalled without web access and unsourced; every item is a lead to verify.
- Proving properties of algorithms and establishing computational limits.
- Verifying software and hardware against formal specifications.
- Developing mathematical structures used in scientific and engineering models.
- Establishing logical foundations for reasoning and proof.
- Providing mathematical foundations for cryptography.
- Which of these real-world use hold for the sense of formal science this model covers, and on what evidence? provenance
Failure modes and hazards
Recalled without web access and unsourced; every item is a lead to verify.
- A proof may contain an invalid inference or depend on an unstated assumption.
- An inconsistent axiom system permits every statement to be derived under classical logic.
- A formally correct result may be applied to a real-world situation that does not satisfy its assumptions.
- A verified implementation may satisfy a specification that fails to express the intended requirement.
- Undecidability and incompleteness constrain what particular formal systems and general decision procedures can establish.
- Which of these failure modes and hazards hold for the sense of formal science this model covers, and on what evidence? provenance
Regional variation
Recalled without web access and unsourced; every item is a lead to verify.
- Universities and classification systems differ in whether they group mathematics, logic and theoretical computer science under a shared formal-science heading.
- Which of these regional variation hold for the sense of formal science this model covers, and on what evidence? provenance
Neighbouring kinds and how to tell them apart
Recalled without web access and unsourced; every item is a lead to verify.
- Natural science - Natural science tests claims about the natural world using observation and experiment; formal science establishes consequences within abstract frameworks.
- Mathematics - Mathematics is a principal constituent discipline; formal science is a broader grouping that also includes formal logic and commonly theoretical computer science.
- Computer science - Its theoretical foundations overlap formal science, while its experimental, engineering and human-centred branches extend beyond it.
- Statistics - Mathematical statistics studies formal properties of inference procedures, while applied statistics also depends on empirical data and substantive modelling assumptions.
- Formal methods - Formal methods are techniques for specifying and verifying systems, especially computational systems; formal science names a grouping of disciplines.
- Which of these neighbouring kinds and how to tell them apart hold for the sense of formal science this model covers, and on what evidence? provenance
What the second pass must settle
- Which authoritative definition and disciplinary inclusion convention should govern this registry entry?
- How should the chosen convention handle statistics, theoretical computer science and other fields combining formal and empirical work?
- Which current classification schemes explicitly represent formal science as an umbrella, and what verified crosswalks are available?
- Which sources adequately describe variation in proof standards and foundational commitments across its constituent disciplines?
- Does the existing Vercy catalogue already contain a world model covering this disciplinary family, requiring this registry entry to link to it?