Switch to: References

Add citations

You must login to add citations.
  1. Invariance as a basis for necessity and laws.Gila Sher - 2021 - Philosophical Studies 178 (12):3945-3974.
    Many philosophers are baffled by necessity. Humeans, in particular, are deeply disturbed by the idea of necessary laws of nature. In this paper I offer a systematic yet down to earth explanation of necessity and laws in terms of invariance. The type of invariance I employ for this purpose generalizes an invariance used in meta-logic. The main idea is that properties and relations in general have certain degrees of invariance, and some properties/relations have a stronger degree of invariance than others. (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics.Francesca Boccuni & Andrea Sereni (eds.) - 2016 - Cham, Switzerland: Springer International Publishing.
    This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge. The essays collected here explore the semantic and epistemic problems raised by different kinds of mathematical objects, by their characterization in terms of axiomatic theories, and by the objectivity of both pure and applied mathematics. They investigate controversial aspects of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Some Consequences (and Enablings) of Process Metaphysics.Mark H. Bickhard - 2011 - Axiomathes 21 (1):3-32.
    The interactivist model has explored a number of consequences of process metaphysics. These include reversals of some fundamental metaphysical assumptions dominant since the ancient Greeks, and multiple further consequences throughout the metaphysics of the world, minds, and persons. This article surveys some of these consequences, ranging from issues regarding entities and supervenience to the emergence of normative phenomena such as representation, rationality, persons, and ethics.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Philosophical Problems of Foundations of Logic.Alexander S. Karpenko - 2014 - Studia Humana 3 (1):13-26.
    In the paper the following questions are discussed: What is logical consequence? What are logical constants? What is a logical system? What is logical pluralism? What is logic? In the conclusion, the main tendencies of development of modern logic are pointed out.
    Download  
     
    Export citation  
     
    Bookmark  
  • Why Logical Pluralism?Colin R. Caret - 2019 - Synthese 198 (Suppl 20):4947-4968.
    This paper scrutinizes the debate over logical pluralism. I hope to make this debate more tractable by addressing the question of motivating data: what would count as strong evidence in favor of logical pluralism? Any research program should be able to answer this question, but when faced with this task, many logical pluralists fall back on brute intuitions. This sets logical pluralism on a weak foundation and makes it seem as if nothing pressing is at stake in the debate. The (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Consequence Mining: Constans Versus Consequence Relations.Denis Bonnay & Dag Westerståhl - 2012 - Journal of Philosophical Logic 41 (4):671-709.
    The standard semantic definition of consequence with respect to a selected set X of symbols, in terms of truth preservation under replacement (Bolzano) or reinterpretation (Tarski) of symbols outside X, yields a function mapping X to a consequence relation ⇒x. We investigate a function going in the other direction, thus extracting the constants of a given consequence relation, and we show that this function (a) retrieves the usual logical constants from the usual logical consequence relations, and (b) is an inverse (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Extensionality and Logicality.Gil Sagi - 2017 - Synthese (Suppl 5):1-25.
    Tarski characterized logical notions as invariant under permutations of the domain. The outcome, according to Tarski, is that our logic, which is commonly said to be a logic of extension rather than intension, is not even a logic of extension—it is a logic of cardinality. In this paper, I make this idea precise. We look at a scale inspired by Ruth Barcan Marcus of various levels of meaning: extensions, intensions and hyperintensions. On this scale, the lower the level of meaning, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Propositional Logic of Frege’s Grundgesetze: Semantics and Expressiveness.Eric D. Berg & Roy T. Cook - 2017 - Journal for the History of Analytical Philosophy 5 (6).
    In this paper we compare the propositional logic of Frege’s Grundgesetze der Arithmetik to modern propositional systems, and show that Frege does not have a separable propositional logic, definable in terms of primitives of Grundgesetze, that corresponds to modern formulations of the logic of “not”, “and”, “or”, and “if…then…”. Along the way we prove a number of novel results about the system of propositional logic found in Grundgesetze, and the broader system obtained by including identity. In particular, we show that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Undergeneration of Permutation Invariance as a Criterion for Logicality.Catarina Dutilh Novaes - 2014 - Erkenntnis 79 (1):81-97.
    Permutation invariance is often presented as the correct criterion for logicality. The basic idea is that one can demarcate the realm of logic by isolating specific entities—logical notions or constants—and that permutation invariance would provide a philosophically motivated and technically sophisticated criterion for what counts as a logical notion. The thesis of permutation invariance as a criterion for logicality has received considerable attention in the literature in recent decades, and much of the debate is developed against the background of ideas (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Tarski's Thesis.Gila Sher - 2008 - In Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford University Press. pp. 300--339.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Generalized Quantifiers Meet Modal Neighborhood Semantics.Dag Westerståhl & Johan van Benthem - 2021 - In Judit Madarász & Gergely Székely (eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic.
    In a mathematical perspective, neighborhood models for modal logic are generalized quantifiers, parametrized to points in the domain of objects/worlds. We explore this analogy further, connecting generalized quantifier theory and modal neighborhood logic. In particular, we find interesting analogies between conservativity for linguistic quantifiers and the locality of modal logic, and between the role of invariances in both fields. Moreover, we present some new completeness results for modal neighborhood logics of linguistically motivated classes of generalized quantifiers, and raise new types (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Set-Theoretical Invariance Criteria for Logicality.Solomon Feferman - 2010 - Notre Dame Journal of Formal Logic 51 (1):3-20.
    This is a survey of work on set-theoretical invariance criteria for logicality. It begins with a review of the Tarski-Sher thesis in terms, first, of permutation invariance over a given domain and then of isomorphism invariance across domains, both characterized by McGee in terms of definability in the language L∞,∞. It continues with a review of critiques of the Tarski-Sher thesis, and a proposal in response to one of those critiques via homomorphism invariance. That has quite divergent characterization results depending (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Abstraction Principles and the Classification of Second-Order Equivalence Relations.Sean C. Ebels-Duggan - 2019 - Notre Dame Journal of Formal Logic 60 (1):77-117.
    This article improves two existing theorems of interest to neologicist philosophers of mathematics. The first is a classification theorem due to Fine for equivalence relations between concepts definable in a well-behaved second-order logic. The improved theorem states that if an equivalence relation E is defined without nonlogical vocabulary, then the bicardinal slice of any equivalence class—those equinumerous elements of the equivalence class with equinumerous complements—can have one of only three profiles. The improvements to Fine’s theorem allow for an analysis of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Invariance and Definability, with and Without Equality.Denis Bonnay & Fredrik Engström - 2018 - Notre Dame Journal of Formal Logic 59 (1):109-133.
    The dual character of invariance under transformations and definability by some operations has been used in classical works by, for example, Galois and Klein. Following Tarski, philosophers of logic have claimed that logical notions themselves could be characterized in terms of invariance. In this article, we generalize a correspondence due to Krasner between invariance under groups of permutations and definability in L∞∞ so as to cover the cases that are of interest in the logicality debates, getting McGee’s theorem about quantifiers (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Invariance and Logicality in Perspective.Gila Sher - forthcoming - In Gil Sagi & Jack Woods (eds.), The Semantic Conception of Logic: Essays on Consequence, Invariance, and Meaning. Cambridge, Britain: Cambridge University Press.
    Although the invariance criterion of logicality first emerged as a criterion of a purely mathematical interest, it has developed into a criterion of considerable linguistic and philosophical interest. In this paper I compare two different perspectives on this criterion. The first is the perspective of natural language. Here, the invariance criterion is measured by its success in capturing our linguistic intuitions about logicality and explaining our logical behavior in natural-linguistic settings. The second perspective is more theoretical. Here, the invariance criterion (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08.Alex J. Wilkie - 2009 - Bulletin of Symbolic Logic 15 (1):95-139.
    Download  
     
    Export citation  
     
    Bookmark  
  • Connecting Content and Logical Words.Emmanuel Chemla, Brian Buccola & Isabelle Dautriche - 2019 - Journal of Semantics 36 (3):531-547.
    Content words are generally connected: there are no gaps in their denotations; no noun means ‘table or shoe’ or ‘animal or house’. We explore a formulation of connectedness which is applicable to content and logical words alike, and which compares well with the classic notion of monotonicity for quantifiers. On a first inspection, logical words satisfy this generalized version of the connectedness property at least as well as content words do — that is, both in terms of what may be (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • What Are Structural Properties?†.Johannes Korbmacher & Georg Schiemer - 2018 - Philosophia Mathematica 26 (3):295-323.
    Informally, structural properties of mathematical objects are usually characterized in one of two ways: either as properties expressible purely in terms of the primitive relations of mathematical theories, or as the properties that hold of all structurally similar mathematical objects. We present two formal explications corresponding to these two informal characterizations of structural properties. Based on this, we discuss the relation between the two explications. As will be shown, the two characterizations do not determine the same class of mathematical properties. (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Notions of Invariance for Abstraction Principles.G. A. Antonelli - 2010 - Philosophia Mathematica 18 (3):276-292.
    The logical status of abstraction principles, and especially Hume’s Principle, has been long debated, but the best currently availeble tool for explicating a notion’s logical character—permutation invariance—has not received a lot of attention in this debate. This paper aims to fill this gap. After characterizing abstraction principles as particular mappings from the subsets of a domain into that domain and exploring some of their properties, the paper introduces several distinct notions of permutation invariance for such principles, assessing the philosophical significance (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Logical Indefinites.Jack Woods - 2014 - Logique Et Analyse -- Special Issue Edited by Julien Murzi and Massimiliano Carrara 227: 277-307.
    I argue that we can and should extend Tarski's model-theoretic criterion of logicality to cover indefinite expressions like Hilbert's ɛ operator, Russell's indefinite description operator η, and abstraction operators like 'the number of'. I draw on this extension to discuss the logical status of both abstraction operators and abstraction principles.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • More Reflections on Consequence.Julien Murzi & Massimiliano Carrara - 2014 - Logique Et Analyse 57 (227):223-258.
    This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument. The present paper is a partial, and opinionated,introduction to the contemporary debate on the topic. We focus on two influential accounts of consequence, the model-theoretic and the proof-theoretic, and on the seeming platitude that valid arguments necessarilypreserve truth. We briefly discuss the main objections these accounts face, as well as Hartry Field’s contention that such objections (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Formality in Logic: From Logical Terms to Semantic Constraints.Gil Sagi - 2014 - Logique Et Analyse 57 (227).
    In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no longer (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Validity as a Primitive.J. Ketland - 2012 - Analysis 72 (3):421-430.
    A number of recent works consider treating validity as a primitive notion rather than one defined in some standard manner. There seem to have been three motivations. First, to understand how truth and validity interact in potentially paradoxical settings. Second, to argue that validity is in fact afflicted with paradoxes analogous to the semantic paradoxes. Third, to develop a ‘deflationary’ conception of validity or consequence. This article treats the notion of validity as a primitive notion and shows how to provide (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Constantes lógicas y la armonía de las reglas de inferencia.Mariela Rubin - 2017 - Revista de Humanidades de Valparaíso 9:103.
    A lo largo de la literatura la pregunta por qué es una constante lógica ha recibido distintas respuestas desde los acercamientos de la teoría de modelos,,, hasta las respuestas que centran el significado en las reglas de uso,. Frente a la segunda corriente filosófica se han presentado algunos inconvenientes ineludibles, en particular la constante ‘tonk’ frente a la que los defensores del inferencialismo en lógica han presentado varias soluciones, en particular la armonía. El objetivo de este artículo es mostrar que (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Logicality and Meaning.Gil Sagi - 2018 - Review of Symbolic Logic 11 (1):133-159.
    In standard model-theoretic semantics, the meaning of logical terms is said to be fixed in the system while that of nonlogical terms remains variable. Much effort has been devoted to characterizing logical terms, those terms that should be fixed, but little has been said on their role in logical systems: on what fixing their meaning precisely amounts to. My proposal is that when a term is considered logical in model theory, what gets fixed is its intension rather than its extension. (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Axiomatic Method and Category Theory.Rodin Andrei - unknown
    Lawvere’s axiomatization of topos theory and Voevodsky’s axiomatization of heigher homotopy theory exemplify a new way of axiomatic theory-building, which goes beyond the classical Hibert-style Axiomatic Method. The new notion of Axiomatic Method that emerges in Categorical logic opens new possibilities for using this method in physics and other natural sciences.
    Download  
     
    Export citation  
     
    Bookmark  
  • Modal Logic and Invariance.Johan Van Benthem & Denis Bonnay - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):153-173.
    Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with generalized quantifiers, and various characterizations in terms of semantic invariance have been proposed. In this paper, our main concern is with modal and dynamic logics. Drawing on previous work on invariance for first-order operations, we find an abstract connection between the kind of logical operations a system uses and the kind of invariance conditions the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Reassessing Logical Hylomorphism and the Demarcation of Logical Constants.Catarina Dutilh Novaes - 2012 - Synthese 185 (3):387 - 410.
    The paper investigates the propriety of applying the form versus matter distinction to arguments and to logic in general. Its main point is that many of the currently pervasive views on form and matter with respect to logic rest on several substantive and even contentious assumptions which are nevertheless uncritically accepted. Indeed, many of the issues raised by the application of this distinction to arguments seem to be related to a questionable combination of different presuppositions and expectations; this holds in (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Sameness.Dag Westerståhl - 2017 - In G. Jaeger & W. Sieg (eds.), Feferman on Foundations. Springer.
    I attempt an explication of what it means for an operation across domains to be the same on all domains, an issue that ) took to be central for a successful delimitation of the logical operations. Some properties that seem strongly related to sameness are examined, notably isomorphism invariance, and sameness under extensions of the domain. The conclusion is that although no precise criterion can satisfy all intuitions about sameness, combining the two properties just mentioned yields a reasonably robust and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Review of Kazuyuki Nomoto "Frege Tetsugaku No Zenbou ". [REVIEW]Hidenori Kurokawa - 2014 - Journal of the Japan Association for Philosophy of Science 42 (1):39-54.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.
    The deviation of mathematical proof—proof in mathematical practice—from the ideal of formal proof—proof in formal logic—has led many philosophers of mathematics to reconsider the commonly accepted view according to which the notion of formal proof provides an accurate descriptive account of mathematical proof. This, in turn, has motivated a search for alternative accounts of mathematical proof purporting to be more faithful to the reality of mathematical practice. Yet, in order to develop and evaluate such alternative accounts, it appears as a (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Alfred Tarski.Mario Gómez-Torrente - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Compositionality Solves Carnap’s Problem.Denis Bonnay & Dag Westerståhl - 2016 - Erkenntnis 81 (4):721-739.
    The standard relation of logical consequence allows for non-standard interpretations of logical constants, as was shown early on by Carnap. But then how can we learn the interpretations of logical constants, if not from the rules which govern their use? Answers in the literature have mostly consisted in devising clever rule formats going beyond the familiar what follows from what. A more conservative answer is possible. We may be able to learn the correct interpretations from the standard rules, because the (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Carnap and the Invariance of Logical Truth.Steve Awodey - 2017 - Synthese 194 (1):67-78.
    The failed criterion of logical truth proposed by Carnap in the Logical Syntax of Language was based on the determinateness of all logical and mathematical statements. It is related to a conception which is independent of the specifics of the system of the Syntax, hints of which occur elsewhere in Carnap’s writings, and those of others. What is essential is the idea that the logical terms are invariant under reinterpretation of the empirical terms, and are therefore semantically determinate. A certain (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Logical Constants, or How to Use Invariance in Order to Complete the Explication of Logical Consequence.Denis Bonnay - 2014 - Philosophy Compass 9 (1):54-65.
    The problem of logical constants consists in finding a principled way to draw the line between those expressions of a language that are logical and those that are not. The criterion of invariance under permutation, attributed to Tarski, is probably the most common answer to this problem, at least within the semantic tradition. However, as the received view on the matter, it has recently come under heavy attack. Does this mean that the criterion should be amended, or maybe even that (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Logical Truth.Mario Gomez-Torrente - 2014 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   7 citations