Principio de Contrastibilidad, Geometr\'ia y Sistemas de Conocimiento

Carlos Desa

REVIEW 4 major objections 5 minor 9 references

Principio de Contrastibilidad, Geometr\'ia y Sistemas de Conocimiento

T0 review · 4 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper argues that a scientific theory based on geometrically interpretable physical principles, paired with metaphysical assumptions, constitutes a complete system of knowledge about the objects of the world.

desk verdict A short, programmatic essay whose central claim rests on an unsupported leap from the geometric Langlands theorem to all of physics; the 'principle of contrastability' is a new name for a familiar empiricist/pragmatist criterion. read the letter →

arxiv 2506.16441 v1 pith:SUXKIIBT submitted 2025-06-19 physics.hist-ph math.HO

Carlos Desa This is my paper · ORCID

classification physics.hist-phmath.HO

keywords empiricismpragmatismconstructiverealismphysicsmetaphysicsgeometricprincipleofcontrastibilityLanglandsprogram

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper sets out a philosophical program in which physics and metaphysics are built together from geometric representations of the world's objects. Its central claim is that a scientific theory grounded in physically interpretable geometric principles, together with explicit metaphysical assumptions, constitutes a complete system of knowledge about those objects. The author reaches this conclusion by combining a principle of contrastibility — every claim about the world must be checkable empirically or pragmatically — with logical empiricism, pragmatism, and constructive realism, and with the current drive to geometrize physical theories. The significance of the claim lies in making metaphysics a contrastable part of science rather than a separate speculative layer, and in giving geometry the role of the common language that unifies the two.

What carries the argument

The load-bearing mechanism is the geometric interpretation itself: world objects, including their properties and relations, are mapped (injectively, approximately) to formal entities in geometric topology, and the symmetries of those objects are represented topo-geometrically and converted into physical principles by Noether's theorem. The principle of contrastibility is the accompanying criterion that every statement about world objects must be confirmed either empirically or pragmatically, which is what keeps both the empirical and the metaphysical parts of the system disciplined. Around these sits the Langlands program, cited as the reason any mathematical theory, and hence any physical theory, can in principle be put in geometric form.

What would settle it

If a single well-confirmed physical theory cannot be reformulated so that its objects are formal geometric-topological entities and its principles are Noetherian invariants of symmetries, while its predictive success remains, the claim that such geometric representation is required for a complete system of knowledge is false.

Watch

Extended reading notes

Core claim

The central claim is stated at the end of Section 4: a scientific theory founded on physical principles that admit a geometric interpretation, in which the objects of the world are identified with formal entities of geometric topology, and which is accompanied by a set of metaphysical assumptions, constitutes a complete system of knowledge about the objects of the world, and is analytic-deductive in character. The identification of world objects with formal geometric entities is meant to be approximate and injective: language cannot capture the noumenal residue, so symbols cover perceptible objects but leave a pragmatic remainder. Symmetries of world objects are represented topo-geometrically, and through Noether's theorem they give rise to invariants that serve as physical principles; symmetries may be ontological or purely epistemological, but both kinds appear only through perception. Metaphysical statements are included in the system because they are needed as pragmatic foundations, and their value is determined by their contrastability and explanatory effectiveness within scientific practice.

Load-bearing premise

The program's foundation depends on the step from 'one branch of mathematics has been geometrized' to 'every mathematical theory, and therefore every physical theory, can be geometrized.'

Editorial extensions

If this is right

The predictive power of a physical theory becomes a function of how closely world objects match their idealized geometric representations, explaining why approximations lose efficacy away from the ideal case.
Physical principles are expected to arise from symmetries through invariants, giving Noether's theorem a central, systematic role in theory construction rather than a descriptive afterthought.
Metaphysical assumptions are treated as legitimate, contrastable components of scientific systems, tied to scientific results rather than standing outside science.
Scientific practice becomes a continual refinement of language toward univocal reference to world objects, which would give a concrete goal to inter-theoretic reduction.
The approach licenses a research program in which existing physical theories are rebuilt from simple geometric principles, following the quantum-reconstruction trend.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Editorial inference: if the claim is correct, two theories with identical empirical content should admit geometrically equivalent representations, making geometric form a criterion for theoretical equivalence.
Editorial inference: the step from the geometric Langlands proof to 'any mathematical theory' is not automatic; a skeptic could test the program by finding a physical theory with a discrete or combinatorial formalism that provably admits no geometric-topological counterpart.
Editorial inference: the framework suggests a concrete philosophical experiment: attempt to axiomatize a known physical theory from symmetry principles alone and see whether the remaining metaphysical assumptions are exactly those needed to fix reference.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The one thing to know: this is not a research result. It is a five-page philosophical essay in Spanish that proposes a 'principle of contrastability' and a 'complete system of knowledge' built on geometrizable physical theories. The principle itself is a relabeling of a standard testability criterion – claims about the world must be empirically or pragmatically checkable. Nothing new in content, despite the new name.

What it does well: the essay is clearly written and honestly cites the relevant literature – Carcassi–Aidala, Döring–Palmer, Schuller–Rea for geometric foundations, Gaitsgory–Raskin for Langlands. It is transparent that this is a starting point, not a finished theory. The three-way split of statements into observational, theoretical, and metaphysical is a reasonable organizational device, and the idea that metaphysical assumptions should be held to a pragmatic standard is coherent within its constructive-realist framing.

The soft spots are not minor. The load-bearing move is Section 1: from the geometric Langlands conjecture (Gaitsgory–Raskin 2024) to 'any mathematical theory, and therefore any physical theory' can be geometrized. That theorem is a specific categorical equivalence for smooth projective curves and reductive groups. It gives no procedure for arbitrary physical theories, and the paper offers no argument that GR, QFT, or anything else falls under that theorem. Without that bridge, the central claim of a 'complete system of knowledge' is unsupported. The essay also concedes in Section 4 that representations lose predictive efficacy away from idealization, which sits awkwardly with the word 'complete.' The contrastability principle is too vague to evaluate – what precisely counts as a contrast? No worked example is given. There is no formal content, no derivation, no data, so nothing to check.

That said, the paper does not pretend to be more than a sketch. The philosophical framing is not incoherent; it is just underargued. The reader's REJECT verdict is right. I would not send this to peer review as a research contribution – it is a workshop note or a blog post, not a paper that needs referee time. No concerns about data or ethics, because there is no data; the problem is overclaim and missing argument.

Referee Report

4 major / 5 minor

Summary. The paper proposes a philosophical framework, the 'principle of contrastability,' according to which every assertion about the objects of the world must be testable either empirically or pragmatically. It argues that a contemporary trend toward geometrizing mathematics (exemplified by the Langlands program) and physics (citing Carcassi–Aidala, Döring–Palmer, and Schuller–Rea) makes it possible to represent physical objects as formal geometric entities. The paper distinguishes observational, theoretical, and metaphysical statements, and asserts that a scientific theory founded on physical principles that admit a geometric interpretation, accompanied by metaphysical assumptions, constitutes a 'complete system of knowledge about the objects of the world.' The structure covers logic, ideal language, and principles/theories, ending with conclusions that frame the article as a programmatic starting point.

Significance. If the central claim were established, it would offer a bold unification of physics and metaphysics through geometric representation, with a coherent account of how mathematics acquires physical meaning. The paper names genuine existing programs (geometric Langlands, geometric reconstructions of quantum theory) and correctly identifies Noether's theorem as a bridge between symmetries and physical principles. It also explicitly acknowledges its tentative, foundational status, which is a measure of intellectual honesty. However, the manuscript contains no formal derivation, no worked example, and no detailed engagement with objections; its value is programmatic rather than demonstrative.

major comments (4)

[Section 1, first paragraph] The inference from Gaitsgory and Raskin (2024) to the statement that the Langlands program opens the possibility of 'geometrizar cualquier teoría matemática... y por tanto cualquier teoría física' is a non sequitur. The cited theorem proves a specific categorical equivalence for smooth projective algebraic curves and reductive groups; it does not provide a general recipe for representing arbitrary mathematical theories, let alone empirical physical theories. The manuscript does not argue that quantum field theory, general relativity, or any other physical theory is an instance of the structures covered by the theorem. Since the universality of geometric representation is what licenses the later claim of a 'complete system of knowledge,' this unsupported bridge is load-bearing for the paper's central thesis.
[Section 4, definition of complete system] The sentence 'una teoría científica, la cual se fundamenta en principios físicos que admiten una interpretación geométrica... acompañada por un conjunto de suposiciones metafísicas, constituye un sistema de conocimiento completo sobre los objetos del mundo' is asserted without justification. The paper provides no criteria for 'completo': it does not argue that the three types of statements (observational, theoretical, metaphysical) exhaust all possible knowledge, nor that a geometric structure plus metaphysical assumptions is either necessary or sufficient. The immediately following caveat that predictive efficacy is lost away from idealized representations is in tension with the unqualified word 'completo,' and the paper does not explain how these two claims are compatible.
[Section 2 and Section 4, principle of contrastability] The principle of contrastability is introduced in Section 1 as the norm that every assertion about the world must be contrastable, and in Section 4 it is used as the standard for evaluating metaphysical statements ('su valor radica en su capacidad de ser contrastadas'). However, the principle itself is an assertion about the world and is not given a precise or operational criterion: the manuscript does not define what counts as empirical contrast, pragmatic effectiveness, or the threshold for satisfaction. As a result, the framework applies its own standard to itself without specifying how that self-application is to be assessed, which renders the central norm circular.
[Section 4, geometric representation] The paper repeatedly claims that objects of the world are represented as formal geometric entities and that symmetries are represented topo-geometrically, but it never shows a single concrete example of how a physical theory is reconstructed in this way. The citations to Carcassi and Aidala (2022), Döring and Palmer (2015), and Schuller and Rea (2017) are not brought into contact with the proposed framework; no derivation, diagram, or reconstruction is presented. Without at least one worked illustration, the central notion of 'geometric interpretation' remains too vague to evaluate the claim that a geometric theory plus metaphysics constitutes a complete system of knowledge.

minor comments (5)

[Section 1, first paragraph] Typo: 'organizarlos y desarrollado un lenguaje' should read 'organizarlos y desarrollar un lenguaje.'
[Section 2, final paragraph] Typo: 'en la necesidad e cubrir' should read 'en la necesidad de cubrir.'
[Section 4, paragraph on theoretical statements] Typo: 'se fundamentan de a acuerdo' should read 'se fundamentan de acuerdo.'
[Keywords] The keyword list 'empiricism; pragmatism; constructive-realism; physics; metaphysics and geometric' is awkward and would benefit from standard separators and a final period; it also introduces 'geometric' as a noun instead of an adjective.
[References] The reference to Schuller and Rea (2017) is a set of lecture notes hosted on a personal mirror; the reference would be stronger if the original course or a published version were cited. Also, the Gaitsgory and Raskin (2024) preprint is cited as the sole support for the universal geometrization claim, which is a heavy burden for a single arXiv preprint to bear.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation: the paper contains no equations, fitted parameters, or author self-citations; the Langlands-based generalization is an overreach but not a circular step.

full rationale

The manuscript is a philosophical position paper, not a formal derivation. It contains no equations and does not fit any quantity from data, so none of the 'prediction reduces by construction' patterns applies. The main load-bearing move is in Section 1: 'el programa de langlands abre la posibilidad de geometrizar cualquier teoría matemática Gaitsgory and Raskin (2024), y por tanto cualquier teoría física.' This is an unsupported generalization from a specific algebraic-geometry theorem to all physical theories, but it is not circular: Gaitsgory–Raskin is a genuine external result and does not assume the paper's conclusion. The 'principle of contrastability' is introduced by definition in Section 1 ('toda afirmación sobre los objetos del mundo debe poder ser contrastada de algún modo') and later used in Section 4 to give philosophical doctrines a pragmatic value ('su valor radica en su capacidad de ser contrastadas'). Using the contrastability principle to evaluate the framework is self-referential in a loose philosophical sense, but the paper does not derive its central claim from the principle; the claim that a geometrically interpretable theory plus metaphysical assumptions constitutes a complete system is asserted in Section 4, not deduced from the principle. The paper itself flags its tentative status ('El presente articulo se presenta como un punto de partida,' Section 1) and concedes the loss of predictive efficacy away from idealization (Section 4). These are acknowledged limitations, not circular steps. There are no self-citations by the author that carry the argument. Therefore, no specific circular reduction can be exhibited, and the honest finding is no significant circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 2 invented entities

The framework rests on a series of unargued philosophical premises: the consistency of the world, the reliability of induction, the feasibility of an unambiguous ideal language, the necessity of metaphysical assumptions, and a very broad reading of the Langlands program. No free parameters are fitted since there is no data. No independently testable entity is introduced; the 'contrastability principle' is a postulate without a falsifiable handle.

assumptions (6)

domain assumption Objects of the world exist objectively and are consistent, so formal logic can represent them approximately.
Section 2 asserts this as the basis for the whole framework, but provides no argument or evidence.
domain assumption Statistical induction from pattern recognition provides reliable knowledge of the world.
Section 2 invokes innate pattern recognition and statistical induction without addressing the problem of induction.
ad hoc to paper The geometric Langlands program implies that any mathematical theory, and hence any physical theory, can be geometrized.
Section 1 treats Gaitsgory and Raskin (2024) as licensing geometrization of all physical theories, an inference that goes beyond the cited proof.
domain assumption The meaning of a symbol is its reference, and an injective correspondence between symbols and world objects is attainable.
Sections 2 and 3 assume this semantic theory without discussion of alternative theories of meaning.
standard math Noether's theorem holds and symmetries map to conservation principles.
Invoked in Section 4 as a standard mathematical result; this is acceptable background but is one of the few concrete formal inputs.
domain assumption Metaphysical assumptions are necessary components of complete knowledge systems.
Section 4 postulates this as a foundational need, but it is exactly the kind of claim the paper should justify.

invented entities (2)

Principle of contrastability
purpose: Serves as the criterion for what counts as a valid statement about the world; it is meant to ground the proposed new philosophy.
Introduced in Section 1 and used throughout, but never given a precise formal or operational definition, so it provides no falsifiable handle outside the paper.
Complete system of knowledge
purpose: The purported outcome of combining geometrized physics with metaphysical assumptions; it is the target framework.
Mentioned as a possibility in Sections 4 and 5 but no construction or example is supplied.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Principio de Contrastibilidad, Geometr\'ia y Sistemas de Conocimiento." pith.science (2026). https://pith.science/paper/SUXKIIBT

@misc{pith2026250616441,
  author       = {Pith},
  title        = {Pith review of: Principio de Contrastibilidad, Geometr\'ia y Sistemas de Conocimiento},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SUXKIIBT}},
  note         = {Machine review of arXiv:2506.16441}
}

read the original abstract

There is a contemporary trend toward geometrizing all mathematical theories, as proposed by the Langlands program, and, by extension, physical theories as well. Within this paradigm, it becomes possible to represent physical objects as formal geometric entities. This opens the door within the framework of logical empiricism pragmatism and constructive realism to the development of a new philosophical approach grounded in a logical mathematical perspective. The aim is to integrate both the physics and metaphysics of the objects of the world into a unified system of knowledge, based on the geometric and physical interpretations of their mathematical representations. This article is presented as a foundational step in the development of that approach.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

9 extracted references · 6 canonical work pages

[1]

APACrefauthors \ 2017 August 30

ball2017quantum APACrefauthors Ball, P. APACrefauthors \ 2017 August 30 . Quantum Theory Rebuilt From Simple Physical Principles Quantum theory rebuilt from simple physical principles . Quanta Magazine . APACrefURL https://www.quantamagazine.org/quantum-theory-rebuilt-from-simple-physical-principles-20170830/ APACrefURL

work page 2017
[2]

Geometric and physical interpretation of the action principle

carcassi2022geometric APACrefauthors Carcassi, G. \ Aidala, C A. APACrefauthors \ 2022 . Geometric and physical interpretation of the action principle Geometric and physical interpretation of the action principle . arXiv preprint arXiv:2208.06428 . APACrefURL https://arxiv.org/abs/2208.06428 APACrefURL APACrefDOI doi:10.48550/arXiv.2208.06428 APACrefDOI

work page Pith review arXiv doi:10.48550/arxiv.2208.06428 2022
[3]

\ Palmer, T

doring2015new APACrefauthors Döring, A. \ Palmer, T. APACrefauthors \ 2015 . New Geometric Concepts in the Foundations of Physics New geometric concepts in the foundations of physics . Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 373 2047 20140250 . APACrefURL https://www.researchgate.net/publication/2...

work page arXiv 2015
[4]

APACrefauthors \ 1905

einstein1905elektrodynamik APACrefauthors Einstein, A. APACrefauthors \ 1905 . Zur Elektrodynamik bewegter Körper Zur elektrodynamik bewegter körper . Annalen der Physik 322 10 891--921 . APACrefURL https://onlinelibrary.wiley.com/doi/10.1002/andp.19053221004 APACrefURL APACrefDOI doi:10.1002/andp.19053221004 APACrefDOI

doi:10.1002/andp.19053221004 1905
[5]

\ Raskin, S

gaitsgory2024proof APACrefauthors Gaitsgory, D. \ Raskin, S. APACrefauthors \ 2024 . Proof of the Geometric Langlands Conjecture I: Construction of the Functor Proof of the geometric langlands conjecture i: Construction of the functor . arXiv preprint arXiv:2405.03599 . APACrefURL https://arxiv.org/abs/2405.03599 APACrefURL

arXiv 2024
[6]

APACrefauthors \ 2015

neuber2015realistic APACrefauthors Neuber, M. APACrefauthors \ 2015 . Realistic Claims in Logical Empiricism Realistic claims in logical empiricism . U. Mäki, S. Ruphy, G. Schurz \ I. Votsis\ ( ), Recent Developments in the Philosophy of Science: EPSA13 Helsinki Recent developments in the philosophy of science: Epsa13 helsinki \ ( 1, \ 27--41). Cham Sprin...

work page doi:10.1007/978-3-319-23015-3_3 2015
[7]

APACrefauthors \ 2019

romero2019filosofia APACrefauthors Romero, G E. APACrefauthors \ 2019 . Filosofía científica Filosofía científica . Springer . APACrefURL https://doi.org/10.1007/978-3-319-97631-0 APACrefURL APACrefDOI doi:10.1007/978-3-319-97631-0 APACrefDOI

doi:10.1007/978-3-319-97631-0 2019
[8]

\ Rea, S

schuller2017lectures APACrefauthors Schuller, F P. \ Rea, S. APACrefauthors \ 2017 . Lectures on the Geometric Anatomy of Theoretical Physics. Lectures on the geometric anatomy of theoretical physics. APACrefURL https://tales.mbivert.com/Lectures_on_Geometric_Anatomy_of_Theoretical_Physics.pdf APACrefURL Lecture notes for the course taught in the 2013/14 ...

work page 2017

Show all 9 references

[9]

, Bazhenov, R

tcytcarev2019constructive APACrefauthors Tcytcarev, A. , Bazhenov, R. , Amineva, E. \ Pronin, A. APACrefauthors \ 2019 . Constructive Realism: Advantages of Ontology and Methodology Constructive realism: Advantages of ontology and methodology . SHS Web of Conferences Shs web o...

2019

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.

[1] [1]

APACrefauthors \ 2017 August 30

ball2017quantum APACrefauthors Ball, P. APACrefauthors \ 2017 August 30 . Quantum Theory Rebuilt From Simple Physical Principles Quantum theory rebuilt from simple physical principles . Quanta Magazine . APACrefURL https://www.quantamagazine.org/quantum-theory-rebuilt-from-simple-physical-principles-20170830/ APACrefURL

work page 2017

[2] [2]

Geometric and physical interpretation of the action principle

carcassi2022geometric APACrefauthors Carcassi, G. \ Aidala, C A. APACrefauthors \ 2022 . Geometric and physical interpretation of the action principle Geometric and physical interpretation of the action principle . arXiv preprint arXiv:2208.06428 . APACrefURL https://arxiv.org/abs/2208.06428 APACrefURL APACrefDOI doi:10.48550/arXiv.2208.06428 APACrefDOI

work page Pith review arXiv doi:10.48550/arxiv.2208.06428 2022

[3] [3]

\ Palmer, T

doring2015new APACrefauthors Döring, A. \ Palmer, T. APACrefauthors \ 2015 . New Geometric Concepts in the Foundations of Physics New geometric concepts in the foundations of physics . Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 373 2047 20140250 . APACrefURL https://www.researchgate.net/publication/2...

work page arXiv 2015

[4] [4]

APACrefauthors \ 1905

einstein1905elektrodynamik APACrefauthors Einstein, A. APACrefauthors \ 1905 . Zur Elektrodynamik bewegter Körper Zur elektrodynamik bewegter körper . Annalen der Physik 322 10 891--921 . APACrefURL https://onlinelibrary.wiley.com/doi/10.1002/andp.19053221004 APACrefURL APACrefDOI doi:10.1002/andp.19053221004 APACrefDOI

doi:10.1002/andp.19053221004 1905

[5] [5]

\ Raskin, S

gaitsgory2024proof APACrefauthors Gaitsgory, D. \ Raskin, S. APACrefauthors \ 2024 . Proof of the Geometric Langlands Conjecture I: Construction of the Functor Proof of the geometric langlands conjecture i: Construction of the functor . arXiv preprint arXiv:2405.03599 . APACrefURL https://arxiv.org/abs/2405.03599 APACrefURL

arXiv 2024

[6] [6]

APACrefauthors \ 2015

neuber2015realistic APACrefauthors Neuber, M. APACrefauthors \ 2015 . Realistic Claims in Logical Empiricism Realistic claims in logical empiricism . U. Mäki, S. Ruphy, G. Schurz \ I. Votsis\ ( ), Recent Developments in the Philosophy of Science: EPSA13 Helsinki Recent developments in the philosophy of science: Epsa13 helsinki \ ( 1, \ 27--41). Cham Sprin...

work page doi:10.1007/978-3-319-23015-3_3 2015

[7] [7]

APACrefauthors \ 2019

romero2019filosofia APACrefauthors Romero, G E. APACrefauthors \ 2019 . Filosofía científica Filosofía científica . Springer . APACrefURL https://doi.org/10.1007/978-3-319-97631-0 APACrefURL APACrefDOI doi:10.1007/978-3-319-97631-0 APACrefDOI

doi:10.1007/978-3-319-97631-0 2019

[8] [8]

\ Rea, S

schuller2017lectures APACrefauthors Schuller, F P. \ Rea, S. APACrefauthors \ 2017 . Lectures on the Geometric Anatomy of Theoretical Physics. Lectures on the geometric anatomy of theoretical physics. APACrefURL https://tales.mbivert.com/Lectures_on_Geometric_Anatomy_of_Theoretical_Physics.pdf APACrefURL Lecture notes for the course taught in the 2013/14 ...

work page 2017