21 research outputs found

    On the Concept of a Notational Variant

    Get PDF
    In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic. It is sometimes claimed that two logics are ā€œnotational variantsā€ if they are translationally equivalent. However, we will show that this cannot be quite right, since first-order logic and propositional logic are translationally equivalent. Others have claimed that for two logics to be notational variants, they must at least be compositionally intertranslatable. The definition of compositionality these accounts use, however, is too strong, as the standard translation from modal logic to first-order logic is not compositional in this sense. In light of this, we will explore a weaker version of this notion that we will call schematicity and show that there is no schematic translation either from first-order logic to propositional logic or from intuitionistic logic to classical logic

    What Do Symmetries Tell Us About Structure?

    Get PDF
    Mathematicians, physicists, and philosophers of physics often look to the symmetries of an object for insight into the structure and constitution of the object. My aim in this paper is to explain why this practice is successful. In order to do so, I present a collection of results that are closely related to (and in a sense, generalizations of) Bethā€™s and Svenoniusā€™ theorems

    Partial Confirmation of a Conjecture on the Boxdot Translation in Modal Logic

    Get PDF
    The purpose of the present note is to advertise an interesting conjecture concerning a well-known translation in modal logic, by confirming a (highly restricted) special case of the conjecture

    On translating between logics

    Get PDF
    In a recent paper, Wigglesworth claims that syntactic criteria of theoretical equivalence are not appropriate for settling questions of equivalence between logical theories, since such criteria judge classical and intuitionistic logic to be equivalent; he concludes that logicians should use semantic criteria instead. However, this is an artefact of the particular syntactic criterion chosen, which is an implausible criterion of theoretical equivalence (even in the non-logical case). Correspondingly, there is nothing to suggest that a more plausible syntactic criterion should not be used to settle questions of equivalence between different logical theories; such a criterion (which may already be found in the literature) is exhibited and shown to judge classical and intuitionistic logic to be inequivalent

    Morita Equivalence

    Get PDF
    Logicians and philosophers of science have proposed various formal criteria for theoretical equivalence. In this paper, we examine two such proposals: definitional equivalence and categorical equivalence. In order to show precisely how these two well-known criteria are related to one another, we investigate an intermediate criterion called Morita equivalence.Comment: 30 page

    On translating between logics

    Get PDF
    In a recent paper, Wigglesworth claims that syntactic criteria of theoretical equivalence are not appropriate for settling questions of equivalence between logical theories, since such criteria judge classical and intuitionistic logic to be equivalent; he concludes that logicians should use semantic criteria instead. However, this is an artefact of the particular syntactic criterion chosen, which is an implausible criterion of theoretical equivalence (even in the non-logical case). Correspondingly, there is nothing to suggest that a more plausible syntactic criterion should not be used to settle questions of equivalence between different logical theories; such a criterion (which may already be found in the literature) is exhibited and shown to judge classical and intuitionistic logic to be inequivalent

    Notes on Some Ideas in Lloyd Humberstoneā€™s Philosophical Applications of Modal Logic

    Get PDF
    Lloyd Humberstoneā€™s recently published Philosophical Applications of Modal Logic presents a number of new ideas in modal logic as well explication and critique of recent work of many others. We extend some of these ideas and answer some questions that are left open in the book
    corecore