24 found
Order:
  1. Counterlogicals as Counterconventionals.Alexander W. Kocurek & Ethan J. Jerzak - 2021 - Journal of Philosophical Logic 50 (4):673-704.
    We develop and defend a new approach to counterlogicals. Non-vacuous counterlogicals, we argue, fall within a broader class of counterfactuals known as counterconventionals. Existing semantics for counterconventionals, 459–482 ) and, 1–27 ) allow counterfactuals to shift the interpretation of predicates and relations. We extend these theories to counterlogicals by allowing counterfactuals to shift the interpretation of logical vocabulary. This yields an elegant semantics for counterlogicals that avoids problems with the usual impossible worlds semantics. We conclude by showing how this approach (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  2. Against Conventional Wisdom.Alexander W. Kocurek, Ethan Jerzak & Rachel Etta Rudolph - 2020 - Philosophers' Imprint 20 (22):1-27.
    Conventional wisdom has it that truth is always evaluated using our actual linguistic conventions, even when considering counterfactual scenarios in which different conventions are adopted. This principle has been invoked in a number of philosophical arguments, including Kripke’s defense of the necessity of identity and Lewy’s objection to modal conventionalism. But it is false. It fails in the presence of what Einheuser (2006) calls c-monsters, or convention-shifting expressions (on analogy with Kaplan’s monsters, or context-shifting expressions). We show that c-monsters naturally (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  3. Counterpossibles.Alexander W. Kocurek - 2021 - Philosophy Compass 16 (11):e12787.
    A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  4. Counteridenticals.Alexander W. Kocurek - 2018 - The Philosophical Review 127 (3):323-369.
    A counteridentical is a counterfactual with an identity statement in the antecedent. While counteridenticals generally seem non-trivial, most semantic theories for counterfactuals, when combined with the necessity of identity and distinctness, attribute vacuous truth conditions to such counterfactuals. In light of this, one could try to save the orthodox theories either by appealing to pragmatics or by denying that the antecedents of alleged counteridenticals really contain identity claims. Or one could reject the orthodox theory of counterfactuals in favor of a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  5. Verbal Disagreement and Semantic Plans.Alexander W. Kocurek - 2023 - Erkenntnis.
    I develop an expressivist account of verbal disagreements as practical disagreements over how to use words rather than factual disagreements over what words actually mean. This account enjoys several advantages over others in the literature: it can be implemented in a neo-Stalnakerian possible worlds framework; it accounts for cases where speakers are undecided on how exactly to interpret an expression; it avoids appeals to fraught notions like subject matter, charitable interpretation, and joint-carving; and it naturally extends to an analysis of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. What Topic Continuity Problem?Alexander W. Kocurek - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy.
    A common objection to the very idea of conceptual engineering is the topic continuity problem: whenever one tries to “reengineer” a concept, one only shifts attention away from one concept to another. Put differently, there is no such thing as conceptual revision: there’s only conceptual replacement. Here, I show that topic continuity is compatible with conceptual replacement. Whether the topic is preserved in an act of conceptual replacement simply depends on what is being replaced (a conceptual tool or a conceptual (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7. On the Substitution of Identicals in Counterfactual Reasoning.Alexander W. Kocurek - 2020 - Noûs 54 (3):600-631.
    It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do. The only putative counterexamples in the literature come from counterpossibles, i.e., counterfactuals with impossible antecedents. Advocates of counterpossibilism, i.e., the view that counterpossibles are not all vacuous, argue that counterpossibles can generate referential opacity. But in order to explain why most substitution inferences into counterfactuals seem valid, counterpossibilists also often maintain that counterfactuals (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  8. The Dynamics of Argumentative Discourse.Carlotta Pavese & Alexander W. Kocurek - 2021 - Journal of Philosophical Logic 51 (2):413-456.
    Arguments have always played a central role within logic and philosophy. But little attention has been paid to arguments as a distinctive kind of discourse, with its own semantics and pragmatics. The goal of this essay is to study the mechanisms by means of which we make arguments in discourse, starting from the semantics of argument connectives such as `therefore'. While some proposals have been made in the literature, they fail to account for the distinctive anaphoric behavior of `therefore', as (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9. Logic talk.Alexander W. Kocurek - 2021 - Synthese 199 (5-6):13661-13688.
    Sentences about logic are often used to show that certain embedding expressions are hyperintensional. Yet it is not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. In this paper, I develop a formal system called hyperlogic that is designed to do just that. I provide a hyperintensional semantics for hyperlogic that doesn’t appeal to logically impossible worlds, as traditionally understood, but instead uses a shiftable parameter that determines the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10. Knowing What to Do.Ethan Jerzak & Alexander W. Kocurek - 2024 - Noûs.
    Much has been written on whether practical knowledge (knowledge-how) reduces to propositional knowledge (knowledge-that). Less attention has been paid to what we call deliberative knowledge (knowledge-to), i.e., knowledge ascriptions embedding other infinitival questions, like _where to meet_, _when to leave_, and _what to bring_. We offer an analysis of knowledge-to and argue on its basis that, regardless of whether knowledge-how reduces to knowledge-that, no such reduction of knowledge-to is forthcoming. Knowledge-to, unlike knowledge-that and knowledge-how, requires the agent to have formed (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. Does Chance Undermine Would?Alexander W. Kocurek - 2022 - Mind 131 (523):747-785.
    Counterfactual scepticism holds that most ordinary counterfactuals are false. The main argument for this view appeals to a ‘chance undermines would’ principle: if ψ would have some chance of not obtaining had ϕ obtained, then ϕ □→ ψ is false. This principle seems to follow from two fairly weak principles, namely, that ‘chance ensures could’ and that ϕ □→ ψ and ϕ ⋄→ ¬ ψ clash. Despite their initial plausibility, I show that these principles are independently problematic: given some modest (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12. Idle Questions.Jens Kipper, Alexander W. Kocurek & Zeynep Soysal - 2024 - Journal of Philosophy.
    In light of the problem of logical omniscience, some scholars have argued that belief is question-sensitive: agents don't simply believe propositions but rather believe answers to questions. Hoek (2022) has recently developed a version of this approach on which a belief state is a "web" of questions and answers. Here, we present several challenges to Hoek's question-sensitive account of belief. First, Hoek's account is prone to very similar logical omniscience problems as those he claims to address. Second, the link between (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13. Supplement to "Metalinguistic Gradability".Alexander W. Kocurek - manuscript
  14. The Problem of Cross-world Predication.Alexander W. Kocurek - 2016 - Journal of Philosophical Logic 45 (6):697-742.
    While standard first-order modal logic is quite powerful, it cannot express even very simple sentences like “I could have been taller than I actually am” or “Everyone could have been smarter than they actually are”. These are examples of cross-world predication, whereby objects in one world are related to objects in another world. Extending first-order modal logic to allow for cross-world predication in a motivated way has proven to be notoriously difficult. In this paper, I argue that the standard accounts (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  15. On the Concept of a Notational Variant.Alexander W. Kocurek - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 284-298.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  16. The Logic of Hyperlogic. Part B: Extensions and Restrictions.Alexander W. Kocurek - 2022 - Review of Symbolic Logic:1-28.
    This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17. On the expressive power of first-order modal logic with two-dimensional operators.Alexander W. Kocurek - 2018 - Synthese 195 (10):4373-4417.
    Many authors have noted that there are types of English modal sentences cannot be formalized in the language of basic first-order modal logic. Some widely discussed examples include “There could have been things other than there actually are” and “Everyone who is actually rich could have been poor.” In response to this lack of expressive power, many authors have discussed extensions of first-order modal logic with two-dimensional operators. But claims about the relative expressive power of these extensions are often justified (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  18. The Logic of Hyperlogic. Part A: Foundations.Alexander W. Kocurek - 2024 - Review of Symbolic Logic 17 (1):244-271.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Comparing conventions.Rachel Etta Rudolph & Alexander W. Kocurek - 2020 - Semantics and Linguistic Theory 30:294-313.
    We offer a novel account of metalinguistic comparatives, such as 'Al is more wise than clever'. On our view, metalinguistic comparatives express comparative commitments to conventions. Thus, 'Al is more wise than clever' expresses that the speaker has a stronger commitment to a convention on which Al is wise than to a convention on which she is clever. This view avoids problems facing previous approaches to metalinguistic comparatives. It also fits within a broader framework—independently motivated by metalinguistic negotiations and convention-shiftingexpressions— (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  55
    The Role of Questions, Circumstances, and Algorithms in Belief.Jens Kipper, Alexander W. Kocurek & Zeynep Soysal - 2022 - In Marco Degano, Tom Roberts, Giorgio Sbardolini & Marieke Schouwstra (eds.), Proceedings of the 23rd Amsterdam Colloquium. pp. 181-187.
    A recent approach to the problem of logical omniscience holds that belief is question-sensitive: what an agent believes depends on what question they try to answer (Pérez Carballo, 2016; Yalcin, 2018; Hoek, 2022). While the question-sensitive approach can avoid some logical omniscience problems, we argue that it suffers from nearby problems. First, these accounts all validate closure principles that are just as implausible as the ones it was designed to avoid. Second, question-sensitivity by itself isn’t suitable for explaining many kinds (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  49
    Metalinguistic Gradability.Rachel Rudolph & Alexander W. Kocurek - 2024 - Semantics and Pragmatics 17 (7):1--53.
    We present a novel semantic and conversational framework for a class of gradable-like constructions. These include metalinguistic comparatives, like "Ann is more a linguist than a philosopher", as well as metalinguistic equatives, degree modifications, and conditionals. To the extent previous literature discusses such metalinguistic gradability, the focus has been on comparatives. We extend our account of metalinguistic comparatives (Rudolph & Kocurek 2020) to cover a broader range of metalinguistic gradable constructions. On our semantic expressivist view, these all serve in various (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  22. Hyperlogic: A System for Talking about Logics.Alexander W. Kocurek - 2019 - Proceedings for the 22nd Amsterdam Colloquium.
    Sentences about logic are often used to show that certain embedding expressions, including attitude verbs, conditionals, and epistemic modals, are hyperintensional. Yet it not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. This paper does two things. First, it argues against a standard account of logic talk, viz., the impossible worlds semantics. It is shown that this semantics does not easily extend to a language with propositional quantifiers, which (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Supplement to "The Logic of Hyperlogic. Part A".Alexander W. Kocurek - manuscript
    A supplemental document for "The Logic of Hyperlogic. Part A: Foundations".
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  72
    A Two-Dimensional Logic for Two Paradoxes of Deontic Modality.Melissa Fusco & Alexander W. Kocurek - 2022 - Review of Symbolic Logic 15 (4):991-1022.
    In this paper, we axiomatize the deontic logic in Fusco (2015), which uses a Stalnaker-inspired account of diagonal acceptance and a two-dimensional account of disjunction to treat Ross’s Paradox and the Puzzle of Free Choice Permission. On this account, disjunction-involving validities are a priori rather than necessary. We show how to axiomatize two-dimensional disjunction so that the introduction/elimination rules for boolean disjunction can be viewed as one-dimensional projections of more general two-dimensional rules. These completeness results help make explicit the restrictions (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark