This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

1059 found
Order:
1 — 50 / 1059
  1. Paul Grice on Indicative Conditionals.Rani Lill Anjum - manuscript
    Grice argues that indicative conditionals ‘if p then q’ have conventional, truth conditional meaning according to the material conditional ‘p  q’. In order to explain away the known paradoxes with this interpretation, he distinguishes between truth conditions and assertion conditions, attempting to demonstrate that the assumed connection between ‘p’ and ‘q’ (the Indirectness Condition) is a conversational implicature; hence a matter only relevant for the assertion conditions of a conditional. This paper argues that Grice fails to demonstrate i) that (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. Conditionals and Truth Functionality.Rani Lill Anjum -
    The material interpretation of conditionals is commonly recognized as involving some paradoxical results. I here argue that the truth functional approach to natural language is the reason for the inadequacy of this material interpretation, since the truth or falsity of some pair of statements ‘p’ and ‘q’ cannot per se be decisive for the truth or falsity of a conditional relation ‘if p then q’. This inadequacy also affects the ability of the overall formal system to establish whether or not (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. All men are animals: hypothetical, categorical, or material?Rani Lill Anjum & Johan Arnt Myrstad - manuscript
    The conditional interpretation of general categorical statements like ‘All men are animals’ as universally quantified material conditionals ‘For all x, if x is F, then x is G’ suggests that the logical structure of law statements is conditional rather than categorical. Disregarding the problem that the universally quantified material conditional is trivially true whenever there are no xs that are F, there are some reasons to be sceptical of Frege’s equivalence between categorical and conditional expressions. -/- Now many philosophers will (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  4. Homo deceptus: How language creates its own reality.Bruce Bokor - manuscript
    Homo deceptus is a book that brings together new ideas on language, consciousness and physics into a comprehensive theory that unifies science and philosophy in a different kind of Theory of Everything. The subject of how we are to make sense of the world is addressed in a structured and ordered manner, which starts with a recognition that scientific truths are constructed within a linguistic framework. The author argues that an epistemic foundation of natural language must be understood before laying (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. On the philosophical motivations for the logics of formal consistency and inconsistency.Walter Carnielli & Rodrigues Abilio - manuscript
    We present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a philosophically acceptable account of paraconsistency.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. On Logical and Scientific Strength.Luca Incurvati & Carlo Nicolai - manuscript
    The notion of strength has featured prominently in recent debates about abductivism in the epistemology of logic. Following Williamson and Russell, we distinguish between logical and scientific strength and discuss the limits of the characterizations they employ. We then suggest understanding logical strength in terms of interpretability strength and scientific strength as a special case of logical strength. We present applications of the resulting notions to comparisons between logics in the traditional sense and mathematical theories.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Defining a Decidability Decider.Pete Olcott - manuscript
    By extending the notion of a Well Formed Formula to include syntactically formalized rules for rejecting semantically incorrect expressions we recognize and reject expressions that have the semantic error of Pathological self-reference(Olcott 2004). The foundation of this system requires the notion of a BaseFact that anchors the semantic notions of True and False. When-so-ever a formal proof from BaseFacts of language L to a closed WFF X or ~X of language L does not exist X is decided to be semantically (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  8. How Gödelian Ontological Arguments Fail.Matthew Parker - manuscript
    Ontological arguments like those of Gödel (1995) and Pruss (2009; 2012) rely on premises that initially seem plausible, but on closer scrutiny are not. The premises have modal import that is required for the arguments but is not immediately grasped on inspection, and which ultimately undermines the simpler logical intuitions that make the premises seem plausible. Furthermore, the notion of necessity that they involve goes unspecified, and yet must go beyond standard varieties of logical necessity. This leaves us little reason (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  9. Random Formula Generators.Ariel Jonathan Roffé & Joaquín Toranzo Calderón - manuscript
    In this article, we provide three generators of propositional formulae for arbitrary languages, which uniformly sample three different formulae spaces. They take the same three parameters as input, namely, a desired depth, a set of atomics and a set of logical constants (with specified arities). The first generator returns formulae of exactly the given depth, using all or some of the propositional letters. The second does the same but samples up-to the given depth. The third generator outputs formulae with exactly (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Active logic semantics for a single agent in a static world.Michael Anderson, Walid Gomaa, John Grant & Don Perlis - manuscript
    Artificial Intelligence, in press. Abstract: For some time we have been developing, and have had significant practical success with, a time-sensitive, contradiction-tolerant logical reasoning engine called the active logic machine (ALMA). The current paper details a semantics for a general version of the underlying logical formalism, active logic. Central to active logic are special rules controlling the inheritance of beliefs in general (and of beliefs about the current time in particular), very tight controls on what can be derived from direct (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  11. 18th Amsterdam Colloquium.M. Aloni (ed.) - forthcoming - Springer.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  12. Structural Relativity and Informal Rigour.Neil Barton - forthcoming - In Objects, Structures, and Logics, FilMat Studies in the Philosophy of Mathematics.
    Informal rigour is the process by which we come to understand particular mathematical structures and then manifest this rigour through axiomatisations. Structural relativity is the idea that the kinds of structures we isolate are dependent upon the logic we employ. We bring together these ideas by considering the level of informal rigour exhibited by our set-theoretic discourse, and argue that different foundational programmes should countenance different underlying logics (intermediate between first- and second-order) for formulating set theory. By bringing considerations of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  13. Philosophical Approaches to the Foundations of Logic and Mathematics: In Honor of Professor Stanisław Krajewski. [REVIEW]F. M. Bertato - forthcoming - History and Philosophy of Logic:1-3.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  14. Content Recarving as Subject Matter Restriction.Vincenzo Ciccarelli - forthcoming - Manuscrito: Revista Internacional de Filosofía 42 (1).
    In this article I offer an explicating interpretation of the procedure of content recarving as described by Frege in §64 of the Foundations of Arithmetic. I argue that the procedure of content recarving may be interpreted as an operation that while restricting the subject matter of a sentence, performs a generalization on what the sentence says about its subject matter. The characterization of the recarving operation is given in the setting of Yablo’s theory of subject matter and it is based (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. Modal Pluralism and Higher-Order Logic.Justin Clarke-Doane & William McCarthy - forthcoming - Philosophical Perspectives.
    In this article, we discuss a simple argument that modal metaphysics is misconceived, and responses to it. Unlike Quine’s, this argument begins with the banal observation that there are different candidate interpretations of the predicate ‘could have been the case’. This is analogous to the observation that there are different candidate interpretations of the predicate ‘is a member of’. The argument then infers that the search for metaphysical necessities is misguided in much the way the ‘set-theoretic pluralist’ (Clarke-Doane & Hamkins (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Is Aristotle's Syllogistic a Logic?Phil Corkum - forthcoming - History and Philosophy of Logic.
    Much of the last fifty years of scholarship on Aristotle’s syllogistic suggests a conceptual framework under which the syllogistic is a logic, a system of inferential reasoning, only if it is not a theory or formal ontology, a system concerned with general features of the world. In this paper, I will argue that this a misleading interpretative framework. The syllogistic is something sui generis: by our lights, it is neither clearly a logic, nor clearly a theory, but rather exhibits certain (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  17. Prior's Puzzle Generalized.Justin D'Ambrosio - forthcoming - Philosophy and Phenomenological Research.
    Prior’s puzzle is standardly taken to be the puzzle of why, given the assumption that that-clauses denote propositions, substitution of “the proposition that P” for “that P” within the complements of many propositional attitude verbs is invalid. I show that Prior’s puzzle is much more general than is ordinarily supposed. There are two variants on the substitutional form of the puzzle—a quantificational variant and a pronominal variant—and all three forms of the puzzle arise in a wide range of grammatical positions, (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18. The Centre for Logic in Campinas and the development of logic in Brazil.Iml D'Ottaviano, Wa Carnielli & Eh Alves - forthcoming - Logique Et Analyse.
  19. Twelfth asian logic conference.Rod Downey - forthcoming - Bulletin of Symbolic Logic.
  20. 2012 north american annual meeting of the association for symbolic logic.Bradd Hart - forthcoming - Bulletin of Symbolic Logic.
  21. Institute of Social Research National University of Mexico.Regina Jimenez-Ottalengo - forthcoming - Semiotics.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  22. Exact saturation in pseudo-elementary classes for simple and stable theories.Itay Kaplan, Nicholas Ramsey & Saharon Shelah - forthcoming - Journal of Mathematical Logic.
    We use exact saturation to study the complexity of unstable theories, showing that a variant of this notion called pseudo-elementary class (PC)-exact saturation meaningfully reflects combinatorial dividing lines. We study PC-exact saturation for stable and simple theories. Among other results, we show that PC-exact saturation characterizes the stability cardinals of size at least continuum of a countable stable theory and, additionally, that simple unstable theories have PC-exact saturation at singular cardinals satisfying mild set-theoretic hypotheses. This had previously been open even (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23. 'Proceedings of the 2016 Annual Meeting of the International Association for Computing and Philosophy'.Khudairi Hasen - forthcoming
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  24. The Logic of Hyperlogic. Part A: Foundations.Alexander W. Kocurek - forthcoming - Review of Symbolic Logic:1-27.
    Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., "Intuitionistic logic is correct" or "The law of excluded middle holds") into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25. The collapse of logical contextualism.Timo Meier - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    The most serious objection to Beall and Restall’s case-based logical pluralism is the so-called collapse argument. According to the collapse argument, logical pluralism is not genuinely pluralistic and collapses into a single privileged relation of logical consequence. In response, Caret offered an account of logical contextualism that supposedly maintains the merits of Beall and Restall’s case-based logical pluralism while circumventing the collapse argument. In this paper, I first point out a gap in the collapse argument in that it does not (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. Revisiting McKay and Johnson's counterexample to beta.Pedro Merlussi - forthcoming - Philosophical Explorations:1-15.
    In debates concerning the consequence argument, it has long been claimed that McKay and Johnson (1996) demonstrated the invalidity of rule (β). Here, I argue that their result is not as robust as we might like to think. First, I argue that McKay and Johnson’s counterexample is successful if one adopts a certain interpretation of “no choice about” and if one is willing to deny the conditional excluded middle principle. In order to make this point I demonstrate that (β) is (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27. Dialogue, Rationality, Formalism. Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics.Manuel Rebuschi, Martine Batt, Gerhard Heinzmann, Franck Lihoreau, Michel Musiol & Alain Trognon (eds.) - forthcoming - Springer.
  28. How Logic Speals.Charles Travis - forthcoming - In Alan Berger (ed.), a Festschrift for Hilary Putnam.
    This is to appear in a Festschrift for Hilary Putnam on his 85th birthday. This is a pre-publication, not final, version.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Where Words Fail.Charles Travis - forthcoming - In Sofia Miguens (ed.), The Logical Alien at 20. HUP.
  30. The 1994 Annual Meeting of the Japan Society for Buddhist-Christian Studies.Jan Van Bragt - forthcoming - Buddhist-Christian Studies.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  31. Inferential Role and the Ideal of Deductive Logic.Thomas Hofweber - unknown - The Baltic International Yearbook of Cognition, Logic and Communication 5.
    Although there is a prima facie strong case for a close connection between the meaning and inferential role of certain expressions, this connection seems seriously threatened by the semantic and logical paradoxes which rely on these inferential roles. Some philosophers have drawn radical conclusions from the paradoxes for the theory of meaning in general, and for which sentences in our language are true. I criticize these overreactions, and instead propose to distinguish two conceptions of inferential role. This distinction is closely (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  32. On Representations of Intended Structures in Foundational Theories.Neil Barton, Moritz Müller & Mihai Prunescu - 2022 - Journal of Philosophical Logic 51 (2):283-296.
    Often philosophers, logicians, and mathematicians employ a notion of intended structure when talking about a branch of mathematics. In addition, we know that there are foundational mathematical theories that can find representatives for the objects of informal mathematics. In this paper, we examine how faithfully foundational theories can represent intended structures, and show that this question is closely linked to the decidability of the theory of the intended structure. We argue that this sheds light on the trade-off between expressive power (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33. Taking Up Thagard’s Challenge: A Formal Model of Conceptual Revision.Sena Bozdag & Matteo De Benedetto - 2022 - Journal of Philosophical Logic 51 (4):791-824.
    Thagard presented a framework for conceptual change in science based on conceptual systems. Thagard challenged belief revision theorists, claiming that traditional belief-revision systems are able to model only the two most conservative types of changes in his framework, but not the more radical ones. The main aim of this work is to take up Thagard’s challenge, presenting a belief-revision-like system able to mirror radical types of conceptual change. We will do that with a conceptual revision system, i.e. a belief-revision-like system (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34. A Pragmatic-Semiotic Defence of Bivalence.Marc Champagne - 2022 - History and Philosophy of Logic 43 (2):143-157.
    Since Peirce defined the first operators for three-valued logic, it is usually assumed that he rejected the principle of bivalence. However, I argue that, because bivalence is a principle, the strategy used by Peirce to defend logical principles can be used to defend bivalence. Construing logic as the study of substitutions of equivalent representations, Peirce showed that some patterns of substitution get realized in the very act of questioning them. While I recognize that we can devise non-classical notations, I argue (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  35. Smooth Infinitesimals in the Metaphysical Foundation of Spacetime Theories.Lu Chen - 2022 - Journal of Philosophical Logic 51 (4):857-877.
    I propose a theory of space with infinitesimal regions called smooth infinitesimal geometry based on certain algebraic objects, which regiments a mode of reasoning heuristically used by geometricists and physicists. I argue that SIG has the following utilities. It provides a simple metaphysics of vector fields and tangent space that are otherwise perplexing. A tangent space can be considered an infinitesimal region of space. It generalizes a standard implementation of spacetime algebraicism called Einstein algebras. It solves the long-standing problem of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Bunge y la validez de la adición.Luis Estrada González & Christian Romero-Rodríguez - 2022 - In German Guerrero-Pino (ed.), Ciencia, Realismo y materialismo. Cali, Valle del Cauca, Colombia: pp. 191-202.
    En The paradox of Addition and its dissolution (1969), Mario Bunge presenta algunos argumentos para mostrar que la Regla de Adición puede ocasionar paradojas o problemas semánticos. Posteriormente, Margáin (1972) y Robles (1976) mostraron que las afirmaciones de Bunge son insostenibles, al menos desde el punto de vista de la lógica clásica. Aunque estamos de acuerdo con las críticas de Margáin y Robles, no estamos de acuerdo en el diagnóstico del origen del problema y tampoco con la manera en la (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  37. On the Necessity of the Categories.Anil Gomes, Andrew Stephenson & A. W. Moore - 2022 - Philosophical Review 131 (2):129–168.
    For Kant, the human cognitive faculty has two sub-faculties: sensibility and the understanding. Each has pure forms which are necessary to us as humans: space and time for sensibility; the categories for the understanding. But Kant is careful to leave open the possibility of there being creatures like us, with both sensibility and understanding, who nevertheless have different pure forms of sensibility. They would be finite rational beings and discursive cognizers. But they would not be human. And this raises a (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Husserl on Kant and the critical view of logic.Mirja Hartimo - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6):707-724.
    ABSTRACT This paper seeks to clarify Husserl’s critical remarks about Kant’s view of logic by comparing their respective views of logic. In his Formal and Transcendental Logic Husserl criticizes Kant for not asking transcendental questions about formal logic, but rather ascribing an ‘extraordinary apriority’ to it. He thinks the reason for Kant’s uncritical attitude to logic lies in Kant’s view of logic as directed toward the subjective, instead of being concerned with a ‘“world” of ideal Objects’. Whereas for Kant, general (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39. Quiddities and repeatables: towards a tripartite analysis of simple predicative statements.Boris Hennig - 2022 - Synthese 200 (3):1-12.
    I argue that a tripartite analysis of simple statements such as “Bucephalus is a horse”, according to which they divide into two terms and a copula, requires the notion of a repeatable: something such that more than one particular can literally be it. I pose a familiar dilemma with respect to repeatables, and turn to Avicenna for a solution, who discusses a similar dilemma concerning quiddities. I conclude by describing how Avicenna’s quiddities relate to repeatables, and how both quiddities and (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40. Judgements and Truth. Essays in Honour of Jan Woleński. [REVIEW]E. Lisanyuk - 2022 - History and Philosophy of Logic 43 (1):102-104.
    The volume assembles a remarkable topical diversity of papers collected on the occasion of the 80th anniversary of Professor Jan Woleński’s, an eminent Polish analytic philo...
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  41. In Defence of Discrete Plural Logic.Gustavo Picazo - 2022 - Disputatio 14 (64):51-63.
    In recent decades, plural logic has established itself as a well-respected member of the extensions of first-order classical logic. In the present paper, I draw attention to the fact that among the examples that are commonly given in order to motivate the need for this new logical system, there are some in which the elements of the plurality in question are internally singularized, while in others they are not. Then, building on previous work, I point to a subsystem of plural (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42. The Logic of Gilles Deleuze. [REVIEW]H. Somers-Hall - 2022 - History and Philosophy of Logic 43 (4):406-408.
    In The Logic of Gilles Deleuze, Shores addresses the paradox that despite Deleuze having written a number of books ostensibly on logic (The Logic of Sense, The Logic of Sensation), there has been v...
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  43. Vagueness as an epiphenomenon, and non-transitivity.Vangelis Triantafyllou - 2022 - Journal of Applied Non-Classical Logics 32 (2-3):156-186.
    ABSTRACT This paper deals with the linguistic phenomenon of vagueness. Based on certain observations regarding the intuitions and linguistic practices of the philosophically informed speaker, we make a series of assumptions concerning the nature and characteristics of the phenomenon. Vagueness is treated as an emerging phenomenon, caused, in essence, by the messy way in which linguistic communities reach classificatory equilibria. Any talk of ‘meaning’, ‘truth’, and such is treated as an indirect way of attempting to describe such equilibria, and it (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44. Introduction.Jouko Väänänen, Fan Yang & Philip Scott - 2022 - Annals of Pure and Applied Logic 173 (10):103168.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. The Possibility of Analytic Philosophy in United Kingdom Madrasas.Abbas Ahsan - 2021 - Journal of Islamic and Muslim Studies 6 (1):56-83.
    In the course of this article, I address the following question: why does analytic philosophy, which predominates throughout higher education in the United Kingdom, not feature prominently in UK madrasas (Islamic schools)? I provide two responses to this question. The first focuses on a possible intellectual conflict between the types of philosophy that are practiced in madrasas and in mainstream institutions of higher education. The second response focuses on the kind of philosophy that various organizations promote and practice in communities (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic.Rasmus Blanck - 2021 - Review of Symbolic Logic 14 (3):624-644.
    There has been a recent interest in hierarchical generalizations of classic incompleteness results. This paper provides evidence that such generalizations are readily obtainable from suitably formulated hierarchical versions of the principles used in the original proofs. By collecting such principles, we prove hierarchical versions of Mostowski’s theorem on independent formulae, Kripke’s theorem on flexible formulae, Woodin’s theorem on the universal algorithm, and a few related results. As a corollary, we obtain the expected result that the formula expressing “ $\mathrm {T}$ (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Indestructibility of ideals and MAD families.David Chodounský & Osvaldo Guzmán - 2021 - Annals of Pure and Applied Logic 172 (5):102905.
    In this survey paper we collect several known results on destroying tall ideals on countable sets and maximal almost disjoint families with forcing. In most cases we provide streamlined proofs of the presented results. The paper contains results of many authors as well as a preview of results of a forthcoming paper of Brendle, Guzmán, Hrušák, and Raghavan.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48. Context Dependence in Language, Action, and Cognition.Tadeusz Ciecierski & Paweł Grabarczyk (eds.) - 2021 - De Gruyter.
    The phenomenon of context dependence is so multifaceted that it is tempting to classify it as hetergenous. It is especially evident in the case of the difference between context dependence as understood in the philosophy of language and context dependence as understood in the philosophy of mind. One of the aims of the present volume is to show that as varied as the phenomenon of context dependence is, the similarities between its different manifestations are profound and undeniable. More importantly, as (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. The Problem of Logical Constants and the Semantic Tradition: From Invariantist Views to a Pragmatic Account.Mario Gómez-Torrente - 2021 - In Gil Sagi & Jack Woods (eds.), The Semantic Conception of Logic: Essays on Consequence, Invariance, and Meaning. Cambridge: Cambridge University Press. pp. 35-54.
    I offer new criticisms of invariantist views of logicality, objecting especially to Gila Sher’s arguments for invariantism’s ability to explain the formality, necessity, apriority and normative force of logic. I argue that the semantic conception of logic can do perfectly well without a model-theoretic notion of logicality, and that the descriptive and explanatory theoretical roles sometimes ascribed to invariantism can be played by a non-model-theoretic account of logicality, specifically by one in which some pragmatic properties of expressions play an important (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. Unwinding Modal Paradoxes on Digraphs.Ming Hsiung - 2021 - Journal of Philosophical Logic 50 (2):319-362.
    The unwinding that Cook, 767–774 2004) proposed is a simple but powerful method of generating new paradoxes from known ones. This paper extends Cook’s unwinding to a larger class of paradoxes and studies further the basic properties of the unwinding. The unwinding we study is a procedure, by which when inputting a Boolean modal net together with a definable digraph, we get a set of sentences in which we have a ‘counterpart’ for each sentence of the Boolean modal net and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1059