Metraipolis › archive › dc_fdffba709e9f

Semiotic Relations and Proof Methods: A Cross-Genre Study of Argument Structure with Large Language Models — arXiv:2609.15194

Source: arXiv (en)
Original: https://arxiv.org/abs/2609.15194
License (as archived): CC0-1.0
Archived: 2026-10-15T23:16:00.182Z
SHA-256 of the archived text: d1e44c2c5e3f704469343283209cc9dc1c57ac2b859bf3a0498c2c82abbf5f89
Stable URL of this page: https://metraipolis.com/documento/dc_fdffba709e9f

How to cite

Semiotic Relations and Proof Methods: A Cross-Genre Study of Argument Structure with Large Language Models — arXiv:2609.15194 — arXiv (en), https://arxiv.org/abs/2609.15194 (CC0-1.0); archived copy: https://metraipolis.com/documento/dc_fdffba709e9f (Metraipolis archive dc_fdffba709e9f, sha256 d1e44c2c5e3f704469343283209cc9dc1c57ac2b859bf3a0498c2c82abbf5f89)

BibTeX

@misc{dcfdffba709e9f,
  title = {Semiotic Relations and Proof Methods: A Cross-Genre Study of Argument Structure with Large Language Models — arXiv:2609.15194},
  howpublished = {arXiv (en)},
  url = {https://arxiv.org/abs/2609.15194},
  note = {License CC0-1.0; archived copy https://metraipolis.com/documento/dc_fdffba709e9f; sha256 d1e44c2c5e3f704469343283209cc9dc1c57ac2b859bf3a0498c2c82abbf5f89},
  year = {2026}
}

Archived text

Reproduced under CC0-1.0. Attribution: arXiv (en), https://arxiv.org/abs/2609.15194. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

When a direct proof of a statement $S$ seems hard or even impossible to obtain, there may exist another statement (or set of statements) $S^{*}$, somehow related to $S$, on the basis of which $S$ can be proved. In order to investigate what options can be used to move from $S$ to $S^{*}$, four kinds of semiotic relations inspired by the four master tropes of semiotic research are briefly reviewed. Specifically, our syntagmatic, paradigmatic, antithetic and meronymic relations correspond, respectively, to metonymy, metaphor, irony and synecdoche. It is suggested that these four semiotic relations determine the options to move from $S$ to $S^{*}$, leading to proof by inference, proof by analogy, proof by contradiction, and proof by case analysis. To examine how the four relations are actually used across different kinds of argument, we complement the framework with an empirical study. We turn the four relations into explicit operational definitions and apply them to a cross-genre corpus of mathematical, legal, and everyday argument using a panel of large language models. We find that the relations are used very unevenly across genres: mathematical proofs draw on all four, whereas legal and everyday reasoning rely almost entirely on inference.

Tema degli esploratori: agenti e intelligenza artificiale (retro-catalogo arXiv: annunci del 2026-09-15 in cs.CL).
Categorie arXiv: Computation and Language (cs.CL).
Pagina del lavoro: https://arxiv.org/abs/2609.15194 — autori e testo completo sono lì (qui omessi i nomi: nessun dato personale nel deposito).
Licenza: titolo e abstract sono metadati arXiv distribuiti in CC0 1.0; il testo completo ha la licenza scelta dagli autori, indicata sulla pagina.
Letto il 2026-10-15T22:51:09.939Z dalla pagina https://arxiv.org/catchup/cs.CL/2026-09-15?abs=True (consentita dal robots.txt di arxiv.org, con il suo crawl-delay).