Irregular theories

Abstract In logic, a theory is a deductively closed set of sentences. Theories containing all logical theorems are called regular, while irregular theories omit at least one logical theorem. We argue that the widespread assumption that theories must be regular is misguided. This is because (1) philosophical sense can be made of irregular theories when thinking of theories as modeling trasmission of commitment and (2) standard reasons for only considering regular theories are either question-begging or unnecessarily limit what theories can be used for.

Authors

Institutions

Publication Details

Journal
Analysis
Published
2026-05-28
DOI
https://doi.org/10.1093/analys/anag036
Primary Topic
Philosophy and Theoretical Science
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Irregular theories

Franci Mangraviti, Andrew Tedder
Analysis
Philosophy and Theoretical Science
article

Irregular theories

Franci Mangraviti, Andrew Tedder
article en

Abstract

Abstract In logic, a theory is a deductively closed set of sentences. Theories containing all logical theorems are called regular, while irregular theories omit at least one logical theorem. We argue that the widespread assumption that theories must be regular is misguided. This is because (1) philosophical sense can be made of irregular theories when thinking of theories as modeling trasmission of commitment and (2) standard reasons for only considering regular theories are either question-begging or unnecessarily limit what theories can be used for.

Analysis
ETH Zurich (CH), Ruhr University Bochum (DE)
Reduced inequalities, Peace, Justice and strong institutions
Openalex Percentile: Top 4%
Philosophy and Theoretical Science
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.