MODELS · PROOFS · DATA · REPLICATION

Good research makes the path from assumptions to evidence visible.

The Inquiry Ledger connects philosophy of science, mathematical analysis, and biostatistics to examine how models are built, arguments are tested, uncertainty is measured, and results become credible.

Independent educational resource

THE LEDGER RULE

A conclusion is easier to trust when its reasoning can be inspected.

FOUR RESEARCH QUESTIONS

Different disciplines test claims in different ways.

Use four perspectives to explore how scientific knowledge moves from abstract representation to defensible evidence.

01

Scientific Models

What does a model represent, and what does it leave out?

Explore scientific theories, representation, idealization, abstraction, explanation, and relationships between models and the phenomena they are intended to describe.

  • Models
  • Theory
  • Representation
  • Idealization
02

Mathematical Structure

When does a mathematical argument establish a general result?

Study inequalities, mathematical analysis, kernels, operators, convexity, proofs, bounds, and the assumptions that determine where a result applies.

  • Analysis
  • Inequalities
  • Proof
  • Bounds
03

Statistical Evidence

How much should data change what we believe?

Explore statistical inference, uncertainty, study design, biostatistics, prior information, replication, and the difference between estimation and certainty.

  • Inference
  • Uncertainty
  • Biostatistics
  • Study design
04

Reproducible Research

Can another researcher understand and evaluate the path to a result?

Examine transparent methods, replication, reproducibility, sensitivity analysis, reporting choices, and research credibility.

  • Replication
  • Reproducibility
  • Transparency
  • Credibility

WHERE METHODS CONNECT

A claim can fail at more than one point in the evidence chain.

CLAIM
MODEL
MATH
DATA
REPORTING

MODEL ↔ DATADoes the model represent the phenomenon being measured?

MATH ↔ MODELWhich assumptions make the formal result possible?

DATA ↔ REPORTINGWould the interpretation survive another analysis or replication?

MODEL ↔ REPORTINGAre approximations and limitations visible to the reader?

THE TRACEABLE METHOD

Write down the reasoning before polishing the conclusion.

A useful research record makes decisions visible before uncertainty is compressed into a final result.

  1. 01

    State the claim

    Write the question precisely enough that it could turn out to be wrong.

  2. 02

    Record assumptions

    Identify definitions, idealizations, mathematical conditions, and design choices.

  3. 03

    Choose the test

    Decide which proof, observation, experiment, or statistical analysis can evaluate the claim.

  4. 04

    Inspect uncertainty

    Examine sensitivity, alternatives, limitations, and possible sources of variation.

  5. 05

    Report the trail

    Show enough of the reasoning that another reader can follow and critique it.

EDUCATIONAL REFERENCE POINTS

Six researchers across models, mathematics, and statistical evidence.

These profiles are presented as educational reference points for exploring public academic work. They are not presented as members, employees, partners, collaborators, representatives, endorsers, or affiliates of The Inquiry Ledger.

Platform contact noteThe first three email addresses are platform contact addresses supplied for this site and are not presented as verified university or institutional email accounts.

DP

Platform contact

Demetris Portides

University of Cyprus · Cyprus

Professor of Philosophy / Philosophy of Science

Research in philosophy of science and epistemology, particularly scientific theories, models, representation, explanation, idealization, abstraction, and theoretical structures.

ORCID 0000-0003-4870-9425

  • Philosophy of science
  • Scientific models
  • Epistemology
demetrisportides@elevateadmissions.org
KK

Platform contact

Kristina Krulić Himmelreich

University of Zagreb · Croatia

Full Professor

Research in mathematical analysis with emphasis on Hardy-type inequalities, integral inequalities, generalized operators, and refined bounds.

ORCID 0000-0002-8392-7076

  • Mathematical analysis
  • Inequalities
  • Integral operators
kristinakrulichimmelreich@elevateadmissions.org
LH

Platform contact

Leonhard Held

University of Zurich · Switzerland

Full Professor of Biostatistics

Research in biostatistical methodology, Bayesian methods, clinical study design, replicability, reproducibility, prediction, and research credibility.

ORCID 0000-0002-8686-5325

  • Biostatistics
  • Statistical inference
  • Replicability
leonhardheld@elevateadmissions.org
AV

Educational reference point

Andreas Vrahimis

University of Cyprus · Cyprus

Assistant Professor

Research in the history of analytic philosophy and philosophy of science, including logical empiricism, scientific thought, analysis, and method.

  • History of philosophy
  • Philosophy of science
  • Logical empiricism
DPo

Educational reference point

Dora Pokaz

University of Zagreb · Croatia

Full Professor

Academic work in mathematics including geometry, mathematical analysis, inequalities, Green functions, and mathematical methods.

  • Mathematics
  • Geometry
  • Inequalities
MR

Educational reference point

Malgorzata Roos

University of Zurich · Switzerland

Head of Credibility of Biostatistical Methods / Scientific Staff

Research and teaching focused on Bayesian biostatistics, sensitivity analysis, methodological development, and credible analyses.

  • Bayesian biostatistics
  • Sensitivity analysis
  • Credibility

SOURCE BOUNDARIES

Reference does not imply participation.

The Inquiry Ledger is an independent educational prototype. Academic names and institutional references are included solely to help readers identify relevant areas of public scholarship.

The first three platform contact addresses were supplied specifically for this site. They are not presented as verified personal, university, institutional, or employer-provided email accounts.

The remaining profiles are educational reference points only and are not presented as participants in, contributors to, endorsers of, or affiliates of this resource.

FIELD NOTES

Open one question and inspect how the reasoning works.

Browse short educational notes about scientific models, mathematical reasoning, statistics, and reproducible research.

Scientific Models

What is a scientific model actually for?

Explore how models simplify, represent, explain, or predict aspects of a phenomenon.
Read note

Scientific models emphasize particular structures while omitting others. They support representation, idealization, abstraction, explanatory goals, and prediction; usefulness does not require reproducing every feature of reality.

  • models
  • representation
  • idealization
  • science

Philosophy of Science

What is lost when a system is idealized?

Learn why simplification can make reasoning possible while also creating limits.
Read note

Idealization deliberately uses simplifying assumptions. Researchers should distinguish useful simplification from unsupported claims and state when an idealization could affect interpretation.

  • idealization
  • assumptions
  • models
  • epistemology

Mathematics

Why do assumptions matter in a proof?

See how mathematical conclusions depend on clearly stated conditions.
Read note

Hypotheses, domains, definitions, logical implication, and counterexamples show why a theorem cannot automatically be applied outside its established conditions.

  • proof
  • assumptions
  • theorems
  • logic

Inequalities

What does a mathematical bound tell us?

Explore how inequalities describe limits without requiring an exact solution.
Read note

Upper and lower bounds provide estimates of sharpness, operators, and approximation. Bounding a quantity is useful when an exact expression is difficult or unnecessary.

  • inequalities
  • bounds
  • analysis
  • mathematics

Statistics

Why is an estimate not the same as a fact?

Understand how statistical estimates carry sampling and modeling uncertainty.
Read note

Estimates, standard errors, intervals, model assumptions, and sampling variability distinguish an observed estimate from certainty about an underlying quantity.

  • statistics
  • estimation
  • uncertainty
  • inference

Biostatistics

How does study design affect statistical evidence?

Explore why analysis quality depends on decisions made before data are collected.
Read note

Questions, outcomes, comparison groups, randomization, sample size, bias, and missing data show why sophisticated analysis cannot always repair weak design.

  • study design
  • biostatistics
  • bias
  • evidence

Reproducibility

What does it mean for a result to be reproducible?

Separate reproducibility, replication, transparency, and agreement.
Read note

Reproducibility can mean obtaining consistent computational results from shared data and methods, while replication tests a finding with new data or procedures. Terminology varies across disciplines.

  • reproducibility
  • replication
  • methods
  • transparency

Research Credibility

Why should researchers test sensitivity?

Learn how conclusions can depend on reasonable analytical choices.
Read note

Sensitivity analysis asks whether changing assumptions, models, thresholds, priors, or inclusion criteria makes a conclusion stable or fragile.

  • sensitivity
  • credibility
  • assumptions
  • statistics

Scientific Reasoning

What is the difference between evidence and interpretation?

Explore why observations do not automatically determine one conclusion.
Read note

Measurements and observations require model-dependent interpretation and background assumptions; evidence can support a claim without making alternatives vanish.

  • evidence
  • interpretation
  • reasoning
  • uncertainty

Research Practice

What makes a research trail inspectable?

Learn why transparent decisions improve critical evaluation.
Read note

Documented assumptions, data provenance, analysis steps, versioning, limitations, and distinctions between exploratory and confirmatory reasoning make evaluation possible.

  • transparency
  • research practice
  • reporting
  • credibility

ABOUT THE LEDGER

Research is easier to evaluate when the reasoning remains visible.

The Inquiry Ledger is an independent educational prototype connecting philosophy of science, mathematical analysis, statistical inference, and reproducible research.

It is designed to help readers compare different forms of reasoning without pretending that philosophical arguments, mathematical proofs, and empirical analyses are interchangeable.

It is not a university, research institute, journal, publisher, statistical consultancy, professional association, or admissions organization.

01

Assumptions are part of the result

A conclusion cannot be separated completely from the conditions under which it was derived.

02

Uncertainty belongs in the record

A clear research account shows what remains unknown as well as what the evidence supports.

03

Methods should be inspectable

Readers should understand enough of the reasoning to question, reproduce, or improve it.

CONTINUE THE INQUIRY

Pick a claim. Trace the assumptions. Inspect the evidence.

Use the field notes to compare how models, mathematical arguments, and statistical analyses support different kinds of conclusions.