Claims concerning what is or is not possible abound in contemporary philosophy. The epistemology of such claims, however, remains largely unexplored. Anything imaginable is possible, we are told, with the proviso that imagination be governed by logic. Many who defend this methodology argue that logic frees us from recourse to some mysterious a priori faculty of intuition. Anything is possible so long as it does not contain a contradiction—and we don’t need intuition to tell us what is contradictory, just logic. (...) Logic is thus supposed to provide us with a non-mysterious, intuition-free, modal epistemology. The purpose of this paper is to argue that logic does not deliver on this promise. The argument proceeds along two fronts. First, I argue that logic is not sufficient for the task. Not only are there consistent but impossible propositions, there are even inconsistent propositions that are possible. Second, and more fundamentally, I question the epistemic independence of appeals to logical consistency. I will argue that in judging a proposition to be consistent we rely upon our intuitions concerning what is possible. In other words, our modal beliefs undergird our judgments about consistency and not vice-versa. (shrink)

Charles Peirce's diagrammatic logic — the Existential Graphs — is presented as a tool for illuminating how we know necessity, in answer to Benacerraf's famous challenge that most ‘semantics for mathematics’ do not ‘fit an acceptable epistemology’. It is suggested that necessary reasoning is in essence a recognition that a certain structure has the particular structure that it has. This means that, contra Hume and his contemporary heirs, necessity is observable. One just needs to pay attention, not merely to individual (...) things but to how those things are related in larger structures, certain aspects of which relations force certain other aspects to be a certain way. (shrink)

PATRICE PHILIE | : Cet article a pour objectif d’examiner le rôle des intuitions dans le cadre du problème de la justification des lois logiques de base. Une revue des différentes conceptions de l’intuition permet de mettre les choses en place et d’identifier la conception qui convient le mieux au problème — c’est une conception modale qui sera retenue. Je soumettrai ensuite cette conception à un examen critique, lequel se fera en deux temps. D’une part, il s’agira de montrer la (...) difficulté d’en arriver à une formulation plausible de la conception modale. Je soulèverai d’autre part certains problèmes qui surgissent, même si l’on fait le pari que la question de la formulation peut être résolue. En définitive, je soutiens que, lorsqu’il s’agit d’utiliser les intuitions comme fondement de la connaissance des lois logiques de base, nous devons adopter une conception modale, laquelle n’est pas en mesure de remplir son rôle. Le recours aux intuitions est donc voué à l’échec en épistémologie de la logique. | : This article examines the role of intuitions as they pertain to the problem of the justification of basic logical laws. To begin with, a review of the various conceptions of the nature of intuitions is made in order to set things up and to identify the conception that is most appropriate to the problem at hand — it will be shown that a modal conception is required. I will then examine this conception and submit it to a two-pronged criticism. Firstly, I will raise important difficulties when it comes to formulate a plausible account of the modal conception. Secondly, I will attempt to establish that even if the formulation problem were to be overcome, there is still a whole battery of difficulties facing the modal conception. In sum, I hold that when it comes to using intuitions as the foundation of our knowledge of basic logical laws, we have no choice but to embrace a modal conception — and the latter is unable to deliver its promises. Hence, the appeal to intuitions is bound to fail in the epistemology of logic. (shrink)

What really makes the concepts of obligation or permission so important for practical philosophy? What if we could find a better concept, one that, despite the simplicity, could show itself as intuitive and rich as possible? Could justifications be used in common language and practice as a sign of ethical judgment and as a strong motive for action? In most scenarios, for example, it really doesn’t matter if a given action is obliged, permitted or forbidden, one may perform the action (...) as long as a justification for doing it is present. In this sense, the notion of justification seems to be more basic and powerful than other concepts used in the philosophical discourse. The existence of formal systems based on the epistemological side of justification, created by Artemov, led us primarily to think that justification could make the formal discourse much more accurate for ethics than the ones using deontological concepts. In the semantical and syntactical aspects, almost all of Artemov’s systems directly proved to be fruitful for ethical purposes. We also developed combinations between the standard deontic logic and logics of justification, resulting in what whe called the Logics of Normative Justification. These systems were able to change the object of the justification formulas and shed some light in ethics as a whole, normative and metaethics. Metaethics were a forgotten subject in formal ethics. We were also able to deal with some known problems in deontic logic, like the famous Ross’s paradox and the expressiveness of prima facie and all-things-considered obligations. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality relates to the computational theory of mind; metaphysical modality; the types of mathematical modality; to the epistemic status of large cardinal axioms, undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal profile of rational (...) intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. Chapter 3 provides an abstraction principle for epistemic intensions. Chapter 4 advances a two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states, by contrast to availing of modal axiom 4. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's "criterial" identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The epistemic two-dimensional truthmaker semantics developed in chapter 4 is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapter 8 examines the modal commitments of abstractionism, in particular necessitism, and epistemic modality and the epistemology of abstraction. Chapter 9 examines the modal profile of $\Omega$-logic in set theory. Chapter 10 examines the interaction between epistemic two-dimensional semantics and absolute decidability. Chapter 11 avails of modal coalgebraic automata to interpret the defining properties of indefinite extensibility, and avails of epistemic two-dimensional semantics in order to account for the interaction of the interpretational and objective modalities thereof. The hyperintensional, epistemic two-dimensional truthmaker semantics developed in chapter 4 is applied in chapters 8, 10, and 11. Chapter 12 provides a modal logic for rational intuition. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

The motivating question of this paper is: ‘How are our beliefs in the theorems of mathematics justified?’ This is distinguished from the question ‘How are our mathematical beliefs reliably true?’ We examine an influential answer, outlined by Russell, championed by Gödel, and developed by those searching for new axioms to settle undecidables, that our mathematical beliefs are justified by ‘intuitions’, as our scientific beliefs are justified by observations. On this view, axioms are analogous to laws of nature. They are postulated (...) to best systematize the data to be explained. We argue that there is a decisive difference between the cases. There is agreement on the data to be systematized in the scientific case that has no analog in the mathematical one. There is virtual consensus over observations, but conspicuous dispute over intuitions. In this respect, mathematics more closely resembles stereotypical philosophy. We conclude by distinguishing two ideas that have long been associated -- realism (the idea that there is an independent reality) and objectivity (the idea that in a disagreement, only one of us can be right). We argue that, while realism is true of mathematics and philosophy, these domains fail to be objective. One upshot of the discussion is that even questions of fundamental physics may fail to be objective in roughly the sense that the question, ‘Is the Parallel Postulate is true?’, understood as one of pure mathematics, fails to be. Another is a kind of pragmatism. Factual questions in mathematics, modality, logic, and evaluative areas go proxy for non-factual practical ones. -/- . (shrink)

Idealization is a necessity. Stripping away levels of complexity makes questions tractable, focuses our attention, and lets us develop comprehensible, testable models. Applying such models, however, requires care and attention to how the idealizations incorporated into their development affect their predictions. In epistemology, we tend to focus on idealizations concerning individual agents' capacities, such as memory, mathematical ability, and so on, when addressing this concern. By contrast, this dissertation focuses on social idealizations, particularly those pertaining to salient social categories like (...) race, sex, and gender. In Chapter II, Privilege and Superiority, we begin with standpoint epistemology, one of the earliest efforts to grapple with the ways that social structures affect our epistemic lives. I argue that, if we interpret standpoint epistemologists' claims as hypotheses about the ways that our social positions affect access to evidence, we can fruitfully employ recent developments in evidence logic to study the consequences. I lay the groundwork for this project, developing a model based on neighborhood semantics for modal logic. Adapting this framework to standpoint epistemology helps to clarify the meaning of terms like "epistemic privilege" and "superior knowledge" and to elucidate the differences between various accounts of standpoint epistemology. I also address a longstanding criticism of these views: Longino's (1990) bias paradox, which suggests that there is no objective position from which to judge the goodness of a particular standpoint. Chapter III, Evidence in a Non-Ideal World, turns to the broader social context, looking at how ideology affects the availability of evidence. Throughout the chapter, I take the formation, justification, and maintenance of racist, sexist, and otherwise oppressive beliefs as a central case. I argue that these beliefs are, at least sometimes, formed as a result of evidential distortion, a structural feature of our epistemic contexts that skews readily available evidence in favor of dominant ideologies. Because they are formed this way, such beliefs will appear justified on prominent accounts of justification, both internalist and externalist. As a result, epistemic norms that fail to account for such non-ideal conditions will deliver verdicts that are not only counter-intuitive, but also morally unpalatable. This, I argue, reveals a kind of structural epistemic injustice, especially where oppressive ideology is involved and suggests the need for epistemic norms that are sensitive to agents' social contexts. Much of the discussion in Chapters II and III depends on social categories like race and gender, arguing that they have a distinctive influence on our epistemic lives. In Chapter IV, I Know You Are, But What Am I?, my co-author and I focus on social categories themselves, distinguishing between self-identity, social identity, and social role. We self-identify as gay or straight, men or women, couch-potatoes or gym rats. Sometimes, these identities affect our social roles---the way we are perceived and treated by others---and sometimes they do not. This relationship between our internal identities and our preferred public perceptions begs for explanation. On our account, this relationship is captured by what we refer to as 'social identity'---roughly, internal identities made available to others. We argue that this account of social identity plays an illuminating role in structural explanation of discrimination and individual behavior, dissolves puzzles surrounding the phenomenon of 'passing', and explains certain moral and political obligations toward individuals. (shrink)

Modal intuitions are not only the primary source of modal knowledge but also the primary source of modal error. An explanation of how modal error arises — and, in particular, how erroneous modal intuitions arise — is an essential part of a comprehensive theory of knowledge and evidence. This chapter begins with a summary of certain preliminaries: the phenomenology of intuitions, their fallibility, the nature of concept-understanding and its relationship to the reliability of intuitions, and (...) so forth. It then identifies two sources of modal error: the first has to do with the failure to distinguish between metaphysical possibility and various kinds of epistemic possibility; the second, with the local misunderstanding of one's concepts. The first source of error is widely misunderstood; the second source has not been discussed in philosophical literature. This source of modal error, and the potential to overcome it, has wide-ranging implications for philosophical method. The failure to understand these sources of modal error has recently led to sceptical accounts of intuition and modal error, which are, ultimately self-defeating. (shrink)

In this paper, we give an alternative semantics to the non-normal logic of knowing how proposed by Fervari et al., based on a class of Kripke neighborhood models with both the epistemic relations and neighborhood structures. This alternative semantics is inspired by the same quantifier alternation pattern of ∃∀\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\exists \forall $$\end{document} in the semantics of the know-how modality and the neighborhood semantics for the standard modality. We show that this new semantics (...) is equivalent to the original Kripke semantics in terms of the validities. A key result is a representation theorem showing that the more abstract Kripke neighborhood models can be represented by the concrete Kripke models with action transitions modulo the valid formulas. We prove the completeness of the logic for the neighborhood semantics. The neighborhood semantics can be adapted to other variants of logics of knowing how. It provides us a powerful technical tool to study these logics while preserving the basic semantic intuition. (shrink)

In a series of papers, Papineau argues that the Swampman scenario is not even the start of an objection to teleosemantics as a scientific reduction of belief. It is against this claim that I want to argue here. I shall argue that our intuition about the scenario questions the adequacy of the conceptual foundations of teleosemantics, namely, success semantics and the etiological conception of biological function, on which the explanatory power of the theory rests. In the course of argument, some (...) general connections between explanation and modality will be developed that shed a new light on Kripke’s analysis of necessary a posteriori propositions. The upshot will be that teleosemanticists should tackle the Swampman objection head-on. (shrink)

This chapter discusses the methodological and epistemological significance of so-called intuitions in philosophy; that is, whether intuitions can be understood as evidence for or against philosophical claims or, if not, whether they might have some other kind of methodological significance. A closely connected issue which the chapter addresses, is whether our comprehension of logical, conceptual, or metaphysical possibilities and necessities can be explained by reference to intuitions or the capacity of intuition or, if not, how our capacity to understand such (...) modalities should be explained. In response to the accounts of Ernest Sosa and George Bealer, the author distinguishes three senses in which one might talk about intuition or intuitions. On this basis, it is argued that intuitions in the first and second senses cannot do the philosophical work with which Sosa and Bealer task intuitions, whilst the philosophical significance of intuitions in the third sense is radically different from what Sosa and Bealer suggest, namely, consisting not in their evidential status—pace Sosa and Bealer—but in the fact that their scrutiny may reveal something important about how a given philosophical issue has arisen for us, in the first place. (shrink)

Patrick Grim has presented arguments supporting the intuition that any notion of a totality of truths is incoherent. We suggest a natural semantics for various logics of belief which reflect Grim’s intuition. The semantics is a topological semantics, and we suggest that the condition can be interpreted to reflect Grim’s intuition. Beyond this, we present a natural canonical topological model for K4 and KD4.

The essay addresses the well‐known idea that there has to be a place for intuition, thought of as a kind of non‐inferential rational insight, in the epistemology of basic logic if our knowledge of its principles is non‐empirical and is to allow of any finite, non‐circular reconstruction. It is argued that the error in this idea consists in its overlooking the possibility that there is, properly speaking, no knowledge of the validity of principles of basic logic. When certain important distinctions (...) are observed, for instance that between recognising that Modus Ponenes is sound and recognising that it is proof against the competent discovery of basic counterexamples, the case for thinking that there is indeed no space for genuine recognition of the validity of Modus Ponens becomes increasingly impressive. It is argued however that, the impossibility of knowledge notwithstanding, we are, in an important sense, entitled to take it that Modus Ponens is sound and that this notion of entitlement can help break the trichotomy ‐ intuition, inference, experience ‐ which imprisons our ordinary thinking about logical knowledge. (shrink)

Necessitism is the controversial thesis that necessarily everything is necessarily something, namely that everything, everywhere, necessarily exists. What is controversial about necessitism is that, at its core, it claims that things could not have failed to exist, while we have a pre-theoretical intuition that not everything necessarily exists. Contingentism, in accordance with common sense, denies necessitism: it claims that some things could have failed to exist. Timothy Williamson is a necessitist and claims that David Lewis is a necessitist too. The (...) paper argues that, granted the assumptions that lead to interpret the Lewisian as a necessitist, she can preserve contingentist intuitions, by genuinely agreeing with the folk that existence is contingent. This is not just the uncontroversial claim that the Lewisian, as a result of the prevalence of restricted quantification in counterpart theoretic regimentations of natural language, can agree with the folk while disagreeing with them in the metaphysical room. Rather, this is the claim that it is in the metaphysical room that the Lewisian can endorse the intuitions lying behind contingentism. (shrink)

In a series of publications beginning in the 1980s, John Etchemendy has argued that the standard semantical account of logical consequence, due in its essentials to Alfred Tarski, is fundamentally mistaken. He argues that, while Tarski's definition requires us to classify the terms of a language as logical or non-logical, no such division is guaranteed to deliver the correct extension of our pre-theoretical or intuitive consequence relation. In addition, and perhaps more importantly, Tarski's account is claimed to be incapable of (...) explaining an essential modal/epistemological feature of consequence, namely, its necessity and apriority. Bernard Bolzano (1781-1848) is widely recognized as having anticipated Tarski's definition in his Wissenschaftslehre (or Theory of Science ) of 1837. Because of the similarities between his account and Tarski's, Etchemendy's arguments have also been extended to cover Bolzano. The purpose of this article is to consider Bolzano's theory in the light of these criticisms. We argue that, due to important differences between Bolzano's and Tarski's theories, Etchemendy's objections do not apply immediately to Bolzano's account of consequence. Moreover, Bolzano's writings contain the elements of a detailed philosophical response to Etchemendy. (shrink)

Due to the influence of Nathan Salmon’s views, endorsement of the “flexibility of origins” thesis is often thought to carry a commitment to the denial of S4. This paper rejects the existence of this commitment and examines how Peacocke’s theory of the modal may accommodate flexibility of origins without denying S4. One of the essential features of Peacocke’s account is the identification of the Principles of Possibility, which include the Modal Extension Principle (MEP), and a set of Constitutive (...) Principles. Regarding their modal status, Peacocke argues for the necessity of MEP, but leaves open the possibility that some of the Constitutive Principles be only contingently true. Here, I show that the contingency of the Constitutive Principles is inconsistent with the recursivity of MEP, and this makes the account validate S4. It is also shown that, compatibly with the necessity of the Constitutive Principles, the account can still accommodate intuitions about flexibility of origins. However, the account we end up with once those intuitions are consistently accommodated may not be satisfactory, and this opens up the debate about whether or not artefacts allow for some variation in their origins. (shrink)

Justification as Ignorance offers an original account of epistemic justification as both non-factive and luminous, vindicating core internalist intuitions without construing justification as an internal condition knowable by reflection alone. Sven Rosenkranz conceives of justification, in its doxastic and propositional varieties, as a kind of epistemic possibility of knowing and of being in a position to know. His account contrasts with recent alternative views that characterize justification in terms of the metaphysical possibility of knowing. Instead, he develops a suitable non-normal (...) multi-modal epistemic logic for knowledge and being in a position to know that respects the finding that these notions create hyperintensional contexts. He also defends his conception of justification against well-known anti-luminosity arguments, shows that the account allows for fruitful applications and principled solutions to the lottery and preface paradoxes, and provides a metaphysics of justification and its varying degrees of strength that is compatible with core assumptions of the knowledge-first approach and disjunctivist conceptions of mental states. (shrink)

A case in point is Frank Jackson’s talk of “conceptual possibility” and “conceptual necessity.” He writes as if the issue between us is the relative methodological priority for philosophy of conceptual modalities and metaphysical modalities. In addition to the uncritical reliance on conceptual modality, another fallacy is surfacing. Paul Boghossian developed an epistemology of logic based on understanding‐assent links corresponding to fundamental rules of logic. His paradigm was modus ponens: a necessary condition for understanding “if” was supposed to be willingness (...) to assent to inferences by modus ponens involving “if.” Boghossian objects that Simon’s tolerance of assent to gappy statements undermines the presumption that he is assenting to them as true. In Nenad Miscevic paper, such competencies are postulated for the linguistic, spatial‐geometric, mathematical, metaphysical, epistemological, and moral domains. Thus Miscevic auxiliary modularity‐independent characterization offers little help in demarcating a useful category of intuition. (shrink)

Recent work on analyticity distinguishes two kinds, metaphysical and epistemic. This paper argues that the distinction allows for a new view in the philosophy of logic according to which the claims of logic are metaphysically analytic and have distinctive modal profiles, even though their epistemology is holist and in many ways rather Quinean. It is argued that such a view combines some of the more attractive aspects of the Carnapian and Quinean approaches to logic, whilst avoiding some famous problems.

The philosophy of modality investigates necessity and possibility, and related notions--are they objective features of mind-independent reality? If so, are they irreducible, or can modal facts be explained in other terms? This volume presents new work on modality by established leaders in the field and by up-and-coming philosophers. Between them, the papers address fundamental questions concerning realism and anti-realism about modality, the nature and basis of facts about what is possible and what is necessary, the nature of modal (...) knowledge, modal logic and its relations to necessary existence and to counterfactual reasoning. The general introduction locates the individual contributions in the wider context of the contemporary discussion of the metaphysics and epistemology of modality. (shrink)

In this paper we intend to offer a first approach to the incorporation of certain formal tools in the elucidation of some issues discussed in epistemological contexts. The aim is not to offer an exhaustive resolution of these problems but merely to point out the usefulness of modal semantics when applied to different fields. Here we will show how a series of skeptical arguments eventually involve a modal structure, which we will try to generalise into a useful scheme.

Future Logic is an original, and wide-ranging treatise of formal logic. It deals with deduction and induction, of categorical and conditional propositions, involving the natural, temporal, extensional, and logical modalities. Traditional and Modern logic have covered in detail only formal deduction from actual categoricals, or from logical conditionals (conjunctives, hypotheticals, and disjunctives). Deduction from modal categoricals has also been considered, though very vaguely and roughly; whereas deduction from natural, temporal and extensional forms of conditioning has been all but totally (...) ignored. As for induction, apart from the elucidation of adductive processes (the scientific method), almost no formal work has been done. This is the first work ever to strictly formalize the inductive processes of generalization and particularization, through the novel methods of factorial analysis, factor selection and formula revision. This is the first work ever to develop a formal logic of the natural, temporal and extensional types of conditioning (as distinct from logical conditioning), including their production from modal categorical premises. Future Logic contains a great many other new discoveries, organized into a unified, consistent and empirical system, with precise definitions of the various categories and types of modality (including logical modality), and full awareness of the epistemological and ontological issues involved. Though strictly formal, it uses ordinary language, wherever symbols can be avoided. Among its other contributions: a full list of the valid modal syllogisms (which is more restrictive than previous lists); the main formalities of the logic of change (which introduces a dynamic instead of merely static approach to classification); the first formal definitions of the modal types of causality; a new theory of class logic, free of the Russell Paradox; as well as a critical review of modern metalogic. But it is impossible to list briefly all the innovations in logical science — and therefore, epistemology and ontology — this book presents; it has to be read for its scope to be appreciated. (shrink)

The paper begins with a clarification of the notions of intuition (and, in particular, modal intuition), modal error, conceivability, metaphysical possibility, and epistemic possibility. It is argued that two-dimensionalism is the wrong framework for modal epistemology and that a certain nonreductionist approach to the theory of concepts and propositions is required instead. Finally, there is an examination of moderate rationalism’s impact on modal arguments in the philosophy of mind -- for example, Yablo’s disembodiment argument and Chalmers’s (...) zombie argument. A less vulnerable style of modal argument is defended, which nevertheless wins the same anti-materialist conclusions sought by these other arguments. (shrink)

somewhat like Henkin's nonstandard interpretation of higher-order logics, while the right semantics [or logical modalities is an analogue to the standard of type theory in Henkin's sense. interpretation Another possibility would be to follow W.V. Quine's advice to give up logi­ cal modalities as being beyond repair. Or we could also try to develop a logic of conceptual possibility, restricting the range of our "possible worlds" to those compatible with the transcendental presuppositions of our own conceptual sys­ tem. This looks (...) in fact like one of the most interesting possible theories I have dreamt of developing but undoubtedly never will. Its kinship with Kant's way of thinking should be obvious. Besides putting the entire enterprise of possible-worlds semantics into a perspective, we can also see that the actual history of possible-worlds seman­ tics is more complicated than it might first appear to be. For the standard in­ terpretation of modal logics has reared its beautiful head repeatedly in the writings of Stig Kanger, Richard Montague the pre-Montague-semantics theorist, and Nino Cocchiarella. (shrink)

ABSTRACTHere, I pursue consequences, for the interpretation of Sellars’ critique of the ‘Myth of the Given’, of separating the modal significance that Kant attributed to empirical intuition from th...

Some central epistemological notions are expressed by sentential operators O that entail the possibility of knowledge in the sense that 'Op' entails 'It is possible to know that p'. We call these modal-epistemological notions. Using apriority and being in a position to know as case studies, we argue that the logics of modal epistemological notions are extremely weak. In particular, their logics are not normal and do not include any closure principles.

Norris presents a series of closely linked chapters on recent developments in epistemology, philosophy of language, cognitive science, literary theory, musicology and other related fields. While to this extent adopting an interdisciplinary approach, Norris also very forcefully challenges the view that the academic "disciplines" as we know them are so many artificial constructs of recent date and with no further role than to prop up existing divisions of intellectual labour. He makes his case through some exceptionally acute revisionist readings of (...) diverse thinkers such as Derrida, Paul de Man, Wittgenstein, Chomsky, Michael Dummett and John McDowell. In each instance Norris stresses the value of bringing various trans-disciplinary perspectives to bear while none-the-less maintaining adequate standards of area-specific relevance and method. Most importantly he asserts the central role of recent developments in cognitive science as pointing a way beyond certain otherwise intractable problems in philosophy of mind and language. (shrink)

This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the modal $\mu$-calculus. Via correspondence results between fixed point modal propositional logic and the bisimulation-invariant fragment of monadic second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the (...) modal operators regimenting the notion of 'intuition-that'. I argue that intuition-that can further be shown to entrain conceptual elucidation, by way of figuring as a dynamic-interpretational modality which induces the reinterpretation of both domains of quantification and the intensions and hyperintensions of mathematical concepts that are formalizable in monadic first- and second-order formal languages. Hyperintensionality is countenanced via a topic-sensitive epistemic two-dimensional truthmaker semantics. (shrink)

Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on (...) in our field—a book would be needed for that. Instead, we have tried to select material that is of interest in its own right or exemplifies noteworthy features in interesting ways. Here are some themes that have guided us throughout the writing: • The back-and-forth between philosophy and modal logic. There has been a good deal of give-and-take in the past. Carnap tried to use his modal logic to throw light on old philosophical questions, thereby inspiring others to continue his work and still others to criticise it. He certainly provoked Quine, who in his turn provided—and continues to provide—a healthy challenge to modal logicians. And Kripke’s and David Lewis’s philosophies are connected, in interesting ways, with their modal logic. Analytic philosophy would have been a lot different without modal logic! • The interpretation problem. The problem of providing a certain modal logic with an intuitive interpretation should not be conflated with the problem of providing a formal system with a model-theoretic semantics. An intuitively appealing model-theoretic semantics may be an important step towards solving the interpretation problem, but only a step. One may compare this situation with that in probability theory, where definitions of concepts like ‘outcome space’ and ‘random variable’ are orthogonal to questions about “interpretations” of the concept of probability. • The value of formalisation. Modal logic sets standards of precision, which are a challenge to—and sometimes a model for—philosophy. Classical philosophical questions can be sharpened and seen from a new perspective when formulated in a framework of modal logic. On the other hand, representing old questions in a formal garb has its dangers, such as simplification and distortion. • Why modal logic rather than classical (first or higher order) logic? The idioms of modal logic—today there are many!—seem better to correspond to human ways of thinking than ordinary extensional logic. (Cf. Chomsky’s conjecture that the NP + VP pattern is wired into the human brain.) In his An Essay in Modal Logic (1951) von Wright distinguished between four kinds of modalities: alethic (modes of truth: necessity, possibility and impossibility), epistemic (modes of being known: known to be true, known to be false, undecided), deontic (modes of obligation: obligatory, permitted, forbidden) and existential (modes of existence: universality, existence, emptiness). The existential modalities are not usually counted as modalities, but the other three categories are exemplified in three sections into which this chapter is divided. Section 1 is devoted to alethic modal logic and reviews some main themes at the heart of philosophical modal logic. Sections 2 and 3 deal with topics in epistemic logic and deontic logic, respectively, and are meant to illustrate two different uses that modal logic or indeed any logic can have: it may be applied to already existing (non-logical) theory, or it can be used to develop new theory. (shrink)

The philosophy of necessity and possibility has flourished in the last half-century, but much less attention has been paid to the question of how we know what can be the case and what must be the case. Many friends of modal metaphysics and many enemies of modal metaphysics have agreed that while empirical discoveries can tell us what is the case, they cannot shed much light on what must be the case or on what non-actual possibilities there are. (...) In this paper, in contrast, I discuss and defend naturalistic approaches to discovering the facts about necessity and possibility. After some remarks about what methodological naturalism in philosophy might amount to, I argue that naturalistic method in modal investigations may not need to be particularly revisionary of much of what is currently being done in modal investigation. I then discuss a number of respects in which a naturalistic orientation in modal investigation may improve on our current epistemic situation. (shrink)

This monograph explores the logical systems of early logicians in the Arabic tradition from a theoretical perspective, providing a complete panorama of early Arabic logic and centering it within an expansive historical context. By thoroughly examining the writings of the first Arabic logicians, al-Fārābī, Avicenna and Averroes, the author analyzes their respective theories, discusses their relationship to the syllogistics of Aristotle and his followers, and measures their influence on later logical systems. Beginning with an introduction to the writings of the (...) most prominent Arabic logicians, the author scrutinizes these works to determine their categorical logic, as well as their modal and hypothetical logics. Where most other studies written on this subject focus on the Arabic logicians’ epistemology, metaphysics, and theology, this volume takes a unique approach by focusing on the actual technical aspects and features of their logics. The author then moves on to examine the original texts as closely as possible and employs the symbolism of modern propositional, predicate, and modal logics, rendering the arguments of each logician clearly and precisely while clarifying the theories themselves in order to determine the differences between the Arabic logicians’ systems and those of Aristotle. By providing a detailed examination of theories that are still not very well-known in Western countries, the author is able to assess the improvements that can be found in the Arabic writings, and to situate Arabic logic within the breadth of the history of logic. This unique study will appeal mainly to historians of logic, logicians, and philosophers who seek a better understanding of the Arabic tradition. It also will be of interest to modern logicians who wish to delve into the historical aspects and progression of their discipline. Furthermore, this book will serve as a valuable resource for graduate students who wish to complement their general knowledge of Arabic culture, logic, and sciences. (shrink)

The present study on al-Dīn Suhrawardī's Ḥikmat al-Ishrāq, develops some preliminary explorations on his logic under the background of his remarkable epistemology of pis some witness of d resence. The paper paves the way for responding to the challenges of Tony Street on the compatibility of Suhrawardī's critique of Ibn Sīnā with the development of a temporal and modal syllogism that at first sight seems quite close to that of Ibn Sīnā. In fact, Suhrawardī's modalities are to be understood (...) as the different ways a predicate relates to its subject rather than as propositional operators. Accordingly, necessarily necessary modality relates actual instances (presences) of the Subject-Term with actual (presences) of the Predicate-Term; in contrast, necessarily contingent modality relates these terms conditionally, notably involving states of the Subject-Term within time intervals. Suhrawardī's main innovation, so we claim, is the explicit dialectical role presences or actual instances have in his modal-temporal logic, and particularly so in shaping his notion of contingency that admits both a generic and an individual or de re form of plenitude. (shrink)

Intuitions play a significant role in debates about logic. In this paper, I analyze how legitimate is that practice. In the first part of the paper, I distinguish between theoretical and pretheoretical intuitions, and argue that some pretheoretical intuitions are not to be taken into account in logic. Particularly, our pretheoretical intuitions about the concept of validity are not of much importance, since we don’t have a uniform or clear concept of validity in the natural language to be elucidated. Nevertheless, (...) I argue that, since logical connectives are more homogeneously used in our ordinary speech, we can appeal to pretheoretical intuitions to establish their meaning in a logical theory. In the second part of the paper, I consider and reply to four objections to this moderate proposal. Two of them try to show that, if this position is adopted, then the pretheoretical intuitions about the connectives are completely unreliable and useless. One of them argues that this mixed position is unstable: pretheoretical intuitions about the connectives are also pretheoretical intuitions about validity. The last problem is related to the definition of validity and the possibility of revising it. (shrink)

Intuitions play a significant role in debates about logic. In this paper, I analyze how legitimate is that practice. In the first part of the paper, I distinguish between theoretical and pretheoretical intuitions, and argue that some pretheoretical intuitions are not to be taken into account in logic. Particularly, our pretheoretical intuitions about the concept of validity are not of much importance, since we don’t have a uniform or clear concept of validity in the natural language to be elucidated. Nevertheless, (...) I argue that, since logical connectives are more homogeneously used in our ordinary speech, we can appeal to pretheoretical intuitions to establish their meaning in a logical theory. In the second part of the paper, I consider and reply to four objections to this moderate proposal. Two of them try to show that, if this position is adopted, then the pretheoretical intuitions about the connectives are completely unreliable and useless. One of them argues that this mixed position is unstable: pretheoretical intuitions about the connectives are also pretheoretical intuitions about validity. The last problem is related to the definition of validity and the possibility of revising it. (shrink)

Although logical settings are typically concerned with tracking alethic considerations, frameworks exist in which topic-theoretic considerations—e.g., tracking subject-matter or topic—are given equal importance. Intuitions about extending topic through a propositional language are generally straightforward for extensional cases. For a number of reasons, arriving at a compelling account of the subject-matter of intensional operators—such as intensional conditionals—is a more difficult task. In particular, the framework of topic-sensitive intentional modals (TSIMs) championed by Francesco Berto and his collaborators leave the topics of intensional (...) formulae undefined, which artificially constricts the expressivity of the theory. This paper proposes an approach to fill in this lacuna, emphasizing an analogous problem in Parry-style containment logics. In this setting, the approach receives a proof-of-concept through the introduction of a natural and general family of subsystems of Parry’s $${\textsf{PAI}}$$ PAI —with sound and complete axiomatizations—that allow a fine degree of control over the topics of intensional conditionals. (shrink)

The topic of a priori knowledge is approached through the theory of evidence. A shortcoming in traditional formulations of moderate rationalism and moderate empiricism is that they fail to explain why rational intuition and phenomenal experience count as basic sources of evidence. This explanatory gap is filled by modal reliabilism -- the theory that there is a qualified modal tie between basic sources of evidence and the truth. This tie to the truth is then explained by the theory (...) of concept possession: this tie is a consequence of what, by definition, it is to possess (i.e., to understand) one’s concepts. A corollary of the overall account is that the a priori disciplines (logic, mathematics, philosophy) can be largely autonomous from the empirical sciences. (shrink)

Modal logic, developed as an extension of classical propositional logic and first-order quantification theory, integrates the notions of possibility and necessity and necessary implication. Arguments whose understanding depends on some fundamental knowledge of modal logic have always been important in philosophy of religion, metaphysics, and epistemology. Moreover, modal logic has become increasingly important with the use of the concept of "possible worlds" in these areas. Introductory Modal Logic fills the need for a basic text on (...) class='Hi'>modal logic, accessible to students of elementary symbolic logic. Kenneth Konyndyk presents a natural deduction treatment of propositional modal logic and quantified modal logic, historical information about its development, and discussions of the philosophical issues raised by modal logic. Characterized by clear and concrete explanations, appropriate examples, and varied and challenging exercises, Introductory Modal Logic makes both modal logic and the possible-worlds metaphysics readily available to the introductory level student. (shrink)

Many philosophers believe that there is a causal condition on perception, and that this condition is a conceptual truth about perception. A highly influential argument for this claim is based on intuitive responses to Gricean-style thought experiments. Do the folk share the intuitions of philosophers? Roberts et al. (2016) presented participants with two kinds of cases: Blocker cases (similar to Grice’s case involving a mirror and a pillar) and Non-Blocker cases (similar to Grice’s case involving a clock and brain stimulation). (...) They found that a substantial minority agreed that seeing occurs in the Non-Blocker cases, and that in the Blocker cases significantly less agreed that seeing occurs. They thus hypothesized that folk intuitions better align with a no blocker condition than with a causal condition. This paper continues this line of enquiry with two new experiments. The paper investigates the generality and robustness of Roberts et al.’s findings by expanding the sense modalities tested from only vision to audition and olfaction as well. The paper also uses Gricean-style thought experiments as a case study for investigating the “reflection defense” against the negative project in experimental philosophy. Our results replicate and extend Roberts et al.’s study and support their hypothesis that folk intuitions better align with a no blocker condition. They also provide an empirical reason to doubt the reflection defense. (shrink)

The paper discusses interpretations of Aristotle’s modal notions by modern commentators (J. Hintikka, J. Lukasiewiez, M. Mignucci). It is shown that the semantics of modal notions which the above mentioned authors attribute to Aristotle is based on the algebraic idea of multiplier.

Recent work on analyticity distinguishes two kinds, metaphysical and epistemic. This paper argues that the distinction allows for a new view in the philosophy of logic according to which the claims of logic are metaphysically analytic and have distinctive modal profiles, even though their epistemology is holist and in many ways rather Quinean. It is argued that such a view combines some of the more attractive aspects of the Carnapian and Quinean approaches to logic, whilst avoiding some famous problems.

본 연구는 기하학에 대한 구조-구성주의 인식론을 정당화하는 것이다. 즉 구조주의와 구성주의를 융합하는 필자의 고유한 인식론으로 기하학적 인식의 본성을 해명하는 것이다. 그러나 현재의 연구는 이러한 큰 주제에 접근하기 위한 예비적 연구로서 칸트의 기하학적 직관 개념에 대한 역사-비판적 분석을 제공하는 데 한정된다. 잘 알려져 있는 것처럼, 칸트는 수학적 인식, 특히 기하학적 인식을 위해서 직관이 핵심적으로 중요하다고 주장했다. 그런데 칸트가 말하는 기하학적 인식을 위한 직관의 역할이 무엇인지는 여전히 논쟁적이다. 이점과 관련해서 역사적으로 대립적인 두 가지 해석이 있다. 하나는 베스(E. Beth), 힌티카(J. Hintikka), 프리드만(M. Fridman) (...) 등으로 이어지는 논리적 해석이며, 다른 하나는 파슨스(Parsons)와 칼슨(E. Carson)에 의해 제공된 현상학적 해석이다. 이에 필자는 특히 프리드만과 칼슨의 논쟁을 중심으로 두 해석의 내용을 재구성하고, 다음에 두 해석의 종합 가능성을 해명하고자 한다. 이를 위해 헬름홀츠-피아제의 인식론, 즉 “군 이론”에 근거한 새로운 구성주의 인식론을 제안할 것이다. 그러나 본고에서는 1차적 근사의 차원에서 그 개략적 구조만을 소개하는 데 만족하고, 종합의 구체적 내용인, 헬름홀츠-피아제의 공간 인식론에 근거한 구조-구성주의 공간 이론은 다른 지면에서 전개될 것이다. (shrink)

Medieval Modal Logic & Science uses modal reasoning in a new way to fortify the relationships between science, ethics, and politics. Robert C. Trundle accomplishes this by analyzing the role of modal logic in the work of St. Augustine and St. Thomas Aquinas, then applying these themes to contemporary issues. He incorporates Augustine's ideas involving thought and consciousness, and Aquinas's reasoning to a First Cause. The author also deals with Augustine's ties to Aristotelian modalities of thought regarding (...) science and logic, reassessing the commonly held belief in Augustine's Platonism to not be a mistake as much as a simplistic view of his philosophy. Trundle links contemporary issues in epistemology, morality, theology, and logic, making several useful connections between ancient and medieval studies in modal logic and modern concerns. These applications of modal theory illuminate many puzzles in the works of Heidegger, Wittgenstein, Whitehead, and Kuhn. (shrink)

Many powerful logics exist today for reasoning about multi-agent systems, but in most of these it is hard to reason about an infinite or indeterminate number of agents. Also the naming schemes used in the logics often lack expressiveness to name agents in an intuitive way.To obtain a more expressive language for multi-agent reasoning and a better naming scheme for agents, we introduce a family of logics called term-modal logics. A main feature of our logics is the use of (...) modal operators indexed by the terms of the logics. Thus, one can quantify over variables occurring in modal operators. In term-modal logics agents can be represented by terms, and knowledge of agents is expressed with formulas within the scope of modal operators. (shrink)

Modal dependence logic was introduced recently by Väänänen. It enhances the basic modal language by an operator = (). For propositional variables p 1, . . . , p n , = (p 1, . . . , p n-1, p n ) intuitively states that the value of p n is determined by those of p 1, . . . , p n-1. Sevenster (J. Logic and Computation, 2009) showed that satisfiability for modal dependence logic is (...) complete for nondeterministic exponential time.In this paper we consider fragments of modal dependence logic obtained by restricting the set of allowed propositional connectives. We show that satisfiability for poor man’s dependence logic, the language consisting of formulas built from literals and dependence atoms using ${\wedge, \square, \lozenge}$ (i. e., disallowing disjunction), remains NEXPTIME-complete. If we only allow monotone formulas (without negation, but with disjunction), the complexity drops to PSPACE-completeness.We also extend Väänänen’s language by allowing classical disjunction besides dependence disjunction and show that the satisfiability problem remains NEXPTIME-complete. If we then disallow both negation and dependence disjunction, satisfiability is complete for the second level of the polynomial hierarchy. Additionally we consider the restriction of modal dependence logic where the length of each single dependence atom is bounded by a number that is fixed for the whole logic. We show that the satisfiability problem for this bounded arity dependence logic is PSPACE-complete and that the complexity drops to the third level of the polynomial hierarchy if we then disallow disjunction.In this way we completely classify the computational complexity of the satisfiability problem for all restrictions of propositional and dependence operators considered by Väänänen and Sevenster. (shrink)

The paper provides an explanation of our knowledge of metaphysical modality, or modal knowledge, from our ability to evaluate counterfactual conditionals. The latter ability lends itself to an evolutionary explanation since it enables us to learn from mistakes. Different logical principles linking counterfactuals to metaphysical modality can be employed to extend this explanation to the epistemology of modality. While the epistemological use of some of these principles is either philosophically implausible or empirically inadequate, the equivalence of ‘Necessarily p’ with (...) ‘For all q, if q were the case, p would be the case’ is a suitable starting-point for an explanation of modal knowledge. (shrink)