We show how Peirce's architectonics folds on itself and finds local consequences that correspond to the major global hypotheses of the system. In particular, we study how the pragmaticist maxim can be technically represented in Peirce's existential graphs, well-suited to reveal an underlying continuity in logical operations, and can provide suggestive philosophical analogies. Further, using the existential graphs, we formalize — and prove one direction of — a “local proof of pragmaticism,” trying thus to explain the prominent place that existential (...) graphs can play in the architectonics of pragmaticism, as Peirce persistently advocated. Finally, we present a web of “continuous iterations” of some key Peircean concepts that supports a “lattice of partial proofs” of pragmaticism. (shrink)

It is well known that the process of scientific inquiry, according to Peirce, is drivenby three types of inference, namely abduction, deduction, and induction. What isbehind these labels is, however, not so clear. In particular, the common identificationof abduction with Inference to the Best Explanation (IBE) begs the question,since IBE appears to be covered by Peirce's concept of induction, not that of abduction.Consequently, abduction ought to be distinguished from IBE, at least on Peirce's account. The main aim of the paper, (...) however, is to show that this distinction is most relevant with respect to current problems in philosophy of science and epistemology (like attempts to supply suitable notions of realism and truth as well as related concepts like coherence and unification). In particular, I also try to show that (and in what way) Peirce's inferential triad can function as a method that ensures both coherence and correspondence. It is in this respect that his careful distinction between abduction and induction (or IBE) ought to be heeded. (shrink)