Historiographic vices II. Priority chasing

Maps II : Chasing Diagrams

In categorical proof theory, propositions and proofs are presented as objects and arrows in a category. It thus embodies the strong constructivist paradigms of propositions-as-types and proofs-as-constructions , which lie in the foundation of computational logic. Moreover, in the categorical setting, a third paradigm arises, not available elsewhere: logical-operations-as-adjunctions. It ooers a...

Historiographic Metafiction

What we tend to call postmodernism in literature today is usually characterized by intense self-reflexivity and overtly parodic intertextuality. In fiction this means that it is usually metafiction that is equated with the postmodern. Given the scarcity of precise definitions of this problematic period designation, such an equation is often accepted without question. What I would like to argue ...

Word Vices

The Vices of Argument

What should a virtue theory of argumentation say about fallacious reasoning? If good arguments are virtuous, then fallacies are vicious. Yet fallacies cannot just be identified with vices, since vices are dispositional properties of agents whereas fallacies are types of argument. Rather, if the normativity of good argumentation is explicable in terms of virtues, we should expect the wrongness o...

Maps II: Chasing Diagrams in Categorical Proof Theory

In categorical proof theory, propositions and proofs are presented as objects and arrows in a category. It thus embodies the strong constructivist paradigms of propositions as types and proofs-as-constructions, which lie in the foundation of computational logic. Moreover, in the categorical setting, a third paradigm arises, not available elsewhere: logical-operations-as-adjunctions. It ooers an...