Skip to content
Log in
Sponsored AI Networking Cookbook: Practical recipes for AI-assisted network automation and development AI Networking Cookbook: Practical recipes for AI-assisted network automation and development

Similar papers

#artificial intelligence Preprint Aug 2026

Verification abundance, adjudication scarcity: what happens to mathematical knowledge when proof checking becomes free

It is argued that machine checking produces verification abundance while leaving adjudication scarce, and proposes a six-category taxonomy of representational mismatch, a disclosure schema for machine-generated mathematical claims, and implications for software, cryptography, and regulated decision systems.

Maher Kallel, Mohamed El Louadi · 0 citations
Open access Aug 2026

A new problem for naturalizing logico-mathematical knowledge?

This article advances a categorial challenge to physicalistic versions of naturalized epistemology as an account of logico-mathematical knowledge and practice. It argues that, qua physically constituted, any putative rule-governed system is logico-mathematically indeterminate: physical facts are systematically insuffic...

Antonio Ramos-Díaz · 0 citations
Open access Sep 2026

Intuitions as Evidence: An Abductive Defense of Centrality

This paper offers an abductive defense of Centrality, the thesis that intuitions are used as evidence or as a source of evidence within the method of cases. It is argued that Centrality provides a better explanation for key features of philosophical practice than its main rival, the Mischaracterization Objection (MISC+...

Joel Alejandro Franco Ramírez · 0 citations
Open access Sep 2026

Semantic conditions for moderate inferentialists – solutions to the categoricity problem

Moderate inferentialists defend the thesis that inferences determine the truth-conditional meanings of the logical operators. An important technical and philosophical challenge to this position is the so-called categoricity problem. This is the problem that logics can be soundly interpreted by non-standard models which...

Sebastian G. W. Speitel, S. K. Tabakci · 0 citations
Open access Sep 2026

Dretskean Sensitivity Wins the Lottery!

One major strand of post-Gettier epistemology concentrates on shoring up the connection between belief and truth by postulating a condition that includes a modal requirement. This approach abandons the traditional emphasis on reasons. A second major strand maintains the focus on reasons, aiming to distinguish those tha...

Kelly Becker · 0 citations
Conference Open access Sep 2026

Merging Beliefs and Counterfactuals

We present a unified framework for modeling agents’ epistemic states and counterfactual conditionals. The novelty of our approach lies at the semantic level. We introduce a computationally grounded semantics in which an agent’s doxastic accessibility relation, needed to model the standard notion of deductively closed...

E. Lorini, Dmitry Rozplokhas · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.