Journal of Philosophical Logic

, Volume 29, Issue 1, pp 75-101

First online:

The "Natural" and the "Formal"

  • Jaroslav PeregrinAffiliated withInstitute of Philosophy, Academy of Sciences, Jilska

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


The paper presents an argument against a “metaphysical” conception of logic according to which logic spells out a specific kind of mathematical structure that is somehow inherently related to our factual reasoning. In contrast, it is argued that it is always an empirical question as to whether a given mathematical structure really does captures a principle of reasoning. (More generally, it is argued that it is not meaningful to replace an empirical investigation of a thing by an investigation of its a priori analyzable structure without paying due attention to the question of whether it really is the structure of the thing in question.) It is proposed to elucidate the situation by distinguishing two essentially different realms with which our reason must deal: “the realm of the natural”, constituted by the things of our empirical world, and “the realm of the formal”, constituted by the structures that we use as “prisms” to view, to make sense of, and to reconstruct the world. It is suggested that this vantage point may throw light on many foundational problems of logic.

philosophy of logic logical form logical truth structuralism mathematical models