Results for 'epistemic operators'

1000+ found
Order:
  1.  17
    Epistemic Operators in Dependence Logic.Pietro Galliani - 2013 - Studia Logica 101 (2):367-397.
    The properties of the ${\forall^{1}}$ quantifier defined by Kontinen and Väänänen in [13] are studied, and its definition is generalized to that of a family of quantifiers ${\forall^{n}}$ . Furthermore, some epistemic operators δ n for Dependence Logic are also introduced, and the relationship between these ${\forall^{n}}$ quantifiers and the δ n operators are investigated.The Game Theoretic Semantics for Dependence Logic and the corresponding Ehrenfeucht- Fraissé game are then adapted to these new connectives.Finally, it is proved that (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2. Epistemic Operators.Fred I. Dretske - 1970 - Journal of Philosophy 67 (24):1007-1023.
  3.  27
    ``Epistemic Operators".Fred I. Dretske - 1970 - Journal of Philosophy 67 (24):1007-1023.
  4.  8
    Consciousness, Certainty, and Epistemic Operators.Masaharu Mizumoto - 2005 - Kagaku Tetsugaku 38 (1):1-15.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  2
    Possible Worlds, Counterfactuals, and Epistemic Operators.Maria Luisa Dalla Chiara - 1992 - In Cristina Bicchieri, Dalla Chiara & Maria Luisa (eds.), Knowledge, Belief, and Strategic Interaction. Cambridge University Press.
  6.  5
    Tableau-Based Decision Procedure for the Multiagent Epistemic Logic with All Coalitional Operators for Common and Distributed Knowledge.M. Ajspur, V. Goranko & D. Shkatov - 2013 - Logic Journal of the IGPL 21 (3):407-437.
  7. Two-Dimensional Semantics and the Nesting Problem.David J. Chalmers & Brian Rabern - 2014 - Analysis 74 (2):210-224.
    Graeme Forbes (2011) raises some problems for two-dimensional semantic theories. The problems concern nested environments: linguistic environments where sentences are nested under both modal and epistemic operators. Closely related problems involving nested environments have been raised by Scott Soames (2005) and Josh Dever (2007). Soames goes so far as to say that nested environments pose the “chief technical problem” for strong two-dimensionalism. We call the problem of handling nested environments within two-dimensional semantics “the nesting problem”. We show that (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  8.  35
    The A Priori‐Operator and the Nesting Problem.Eric Johannesson & Sara Packalén - 2016 - Thought: A Journal of Philosophy 5 (3):169-176.
    Many expressions intuitively have different epistemic and modal profiles. For example, co-referring proper names are substitutable salva veritate in modal contexts but not in belief-contexts. Two-dimensional semantics, according to which terms have both a so-called primary and a secondary intension, is a framework that promises to accommodate and explain these diverging intuitions. The framework can be applied to indexicals, proper names or predicates. Graeme Forbes argues that the two-dimensional semantics of David Chalmers fails to account for so-called nested contexts. (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  9. Epistemic Modals.Seth Yalcin - 2007 - Mind 116 (464):983-1026.
    Epistemic modal operators give rise to something very like, but also very unlike, Moore's paradox. I set out the puzzling phenomena, explain why a standard relational semantics for these operators cannot handle them, and recommend an alternative semantics. A pragmatics appropriate to the semantics is developed and interactions between the semantics, the pragmatics, and the definition of consequence are investigated. The semantics is then extended to probability operators. Some problems and prospects for probabilistic representations of content (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   87 citations  
  10.  58
    Index, Context, and the Content of Knowledge.Brian Rabern - 2017 - In Jonathan Jenkins Ichikawa (ed.), The Routledge Handbook of Epistemic Contextualism. Routledge. pp. 465-479.
    The verb 'knows' is often taken to be context-sensitive in an interesting way. What 'knows' means seems to be sensitive to the epistemic features of the context, e.g. the epistemic standard in play, the set of relevant alternatives, etc. There are standard model-theoretic semantic frameworks which deal with both intensional operators and context-sensitive expressions. In this chapter, we provide a brief overview of the various moving parts of these frameworks, the roles of context and index, the need (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  11. Deontic Modals and Probability: One Theory to Rule Them All?Fabrizio Cariani - forthcoming - In Nate Charlow & Matthew Chrisman (eds.), Deontic Modality. Oxford University Press.
    This paper motivates and develops a novel semantic framework for deontic modals. The framework is designed to shed light on two things: the relationship between deontic modals and substantive theories of practical rationality and the interaction of deontic modals with conditionals, epistemic modals and probability operators. I argue that, in order to model inferential connections between deontic modals and probability operators, we need more structure than is provided by classical intensional theories. In particular, we need probabilistic structure (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  12.  30
    Non-Adjunctive Inference and Classical Modalities.Costa Horacio Arló - 2004 - Journal of Philosophical Logic 34 (5/6):581 - 605.
    The article focuses on representing different forms of non-adjunctive inference as sub-Kripkean systems of classical modal logic, where the inference from □A and □B to □A ∧ B fails. In particular we prove a completeness result showing that the modal system that Schotch and Jennings derive from a form of non-adjunctive inference in (Schotch and Jennings, 1980) is a classical system strictly stronger than EMN and weaker than K (following the notation for classical modalities presented in Chellas, 1980). The unified (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  13.  22
    To Know or Not to Know: Epistemic Approaches to Security Protocol Verification.Francien Dechesne & Yanjing Wang - 2010 - Synthese 177 (Supplement-1):51-76.
    Security properties naturally combine temporal aspects of protocols with aspects of knowledge of the agents. Since BAN-logic, there have been several initiatives and attempts to incorpórate epistemics into the analysis of security protocols. In this paper, we give an overview of work in the field and present it in a unified perspective, with comparisons on technical subtleties that have been employed in different approaches. Also, we study to which degree the use of epistemics is essential for the analysis of security (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  14. Probability Operators.Seth Yalcin - 2010 - Philosophy Compass 5 (11):916-37.
    This is a study in the meaning of natural language probability operators, sentential operators such as probably and likely. We ask what sort of formal structure is required to model the logic and semantics of these operators. Along the way we investigate their deep connections to indicative conditionals and epistemic modals, probe their scalar structure, observe their sensitivity to contex- tually salient contrasts, and explore some of their scopal idiosyncrasies.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   17 citations  
  15.  70
    On the Semantics and Pragmatics of Epistemic Vocabulary.Sarah Moss - forthcoming - Semantics and Pragmatics.
    This paper motivates and develops a novel semantics for several epistemic expressions, including possibility modals and indicative conditionals. The semantics I defend constitutes an alternative to standard truth conditional theories, as it assigns sets of probability spaces as sentential semantic values. I argue that what my theory lacks in conservatism is made up for by its strength. In particular, my semantics accounts for the distinctive behavior of nested epistemic modals, indicative conditionals embedded under probability operators, and instances (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography   6 citations  
  16.  64
    A Defense of Temperate Epistemic Transparency.Eleonora Cresto - 2012 - Journal of Philosophical Logic 41 (6):923-955.
    Epistemic transparency tells us that, if an agent S knows a given proposition p , then S knows that she knows that p . This idea is usually encoded in the so-called KK principle of epistemic logic. The paper develops an argument in favor of a moderate version of KK , which I dub quasi-transparency , as a normative rather than a descriptive principle. In the second Section I put forward the suggestion that epistemic transparency is not (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  17.  21
    Descriptive Indexicals and Epistemic Modality.Katarzyna Kijania-Placek - 2017 - Topoi 36 (1):161-170.
    In this paper I argue for a non-referential interpretation of some uses of indexicals embedded under epistemic modals. The so-called descriptive uses of indexicals come in several types and it is argued that those embedded within the scope of modal operators do not require non-referential interpretation, provided the modality is interpreted as epistemic. I endeavor to show that even if we allow an epistemic interpretation of modalities, the resulting interpretation will still be inadequate as long as (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  42
    Propositional Epistemic Logics with Quantification Over Agents of Knowledge.Gennady Shtakser - forthcoming - Studia Logica:1-34.
    The paper presents a family of propositional epistemic logics such that languages of these logics are extended by quantification over modal operators or over agents of knowledge and extended by predicate symbols that take modal operators as arguments. Denote this family by \}\). There exist epistemic logics whose languages have the above mentioned properties :311–350, 1995; Lomuscio and Colombetti in Proceedings of ATAL 1996. Lecture Notes in Computer Science, vol 1193, pp 71–85, 1996). But these logics (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  5
    Natural Deduction for Diagonal Operators.Fabio Lampert - forthcoming - In Proceedings of the Canadian Society for History and Philosophy of Mathematics. Springer.
    We present a sound and complete Fitch-style natural deduction system for an S5 modal logic containing an actuality operator, a diagonal necessity operator, and a diagonal possibility operator. The logic is two-dimensional, where we evaluate sentences with respect to both an actual world (first dimension) and a world of eval- uation (second dimension). The diagonal necessity operator behaves as a quantifier over every point on the diagonal between actual worlds and worlds of evaluation, while the diagonal possibility quantifies over some (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  20. Formalization of Intensional Functions and Epistemic Knowledge Representation Systems.Grzegorz Malinowski - 1999 - Logica Trianguli 3:111-118.
    o formalization of intensional functions was made for the purpose of many-valued interpretation of the belief-operators within the scope of the classical logic system. The first aim of the paper is to present and discuss this rather unknown many-valued construction and its properties. The fact that the manyvaluedness of o systems is purely formal - their characteristic matrices are Boolean - calls for further consideration. Departing from intristic similarities of the tables for the epistemic operators to the (...)
     
    Export citation  
     
    My bibliography  
  21. A Counterexample to Modus Tollens.Seth Yalcin - 2012 - Journal of Philosophical Logic 41 (6):1001-1024.
    This paper defends a counterexample to Modus Tollens, and uses it to draw some conclusions about the logic and semantics of indicative conditionals and probability operators in natural language. Along the way we investigate some of the interactions of these expressions with 'knows', and we call into question the thesis that all knowledge ascriptions have truth-conditions.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  22. A Logic for Epistemic Two-Dimensional Semantics.Peter Fritz - 2013 - Synthese 190 (10):1753-1770.
    Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  23. Understanding, Modality, Logical Operators[REVIEW]Christopher Peacocke - 2011 - Philosophy and Phenomenological Research 82 (2):472 - 480.
    where F is a contradiction (I use his numbering). Tim says about these equivalences: (1) “modulo the implicit recognition of this equivalence, the epistemology of metaphysically modal thinking is a special case of the epistemology of counterfactual thinking. Whoever has what it takes to understand the counterfactual conditional and the elementary logical auxiliaries ~ and F has what it takes to understand possibility and necessity operators.” (158) (2) The idea that we evaluate metaphysically modal claims “by some quite different (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  24.  45
    Deontic Tense Logic With Historical Necessity, Frame Constants, and a Solution to the Epistemic Obligation Paradox.Lennart Åqvist - 2014 - Theoria 80 (4):319-349.
    In an earlier paper by the author, Åqvist , I presented an approach to the logic of historical necessity, or inevitability, in the sense of a “two-dimensional” combination of tense and modal logic for worlds, or histories, with the same time order, known as T × W logic. Distinctive features of that approach were, apart from its two-dimensionality, its being based on discrete and finite time, and its use of so-called systematic frame constants in order to enable us to indicate (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  25.  34
    Partiality and Adjointness in Modal Logic.Wesley H. Holliday - 2014 - In Rajeev Gore, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Vol. 10. College Publications. pp. 313-332.
    Following a proposal of Humberstone, this paper studies a semantics for modal logic based on partial “possibilities” rather than total “worlds.” There are a number of reasons, philosophical and mathematical, to find this alternative semantics attractive. Here we focus on the construction of possibility models with a finitary flavor. Our main completeness result shows that for a number of standard modal logics, we can build a canonical possibility model, wherein every logically consistent formula is satisfied, by simply taking each individual (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  26.  16
    Epistemic Models of Shallow Depths and Decision Making in Games: Horticulture.Mamoru Kaneko & Nobu-Yuki Suzuki - 2003 - Journal of Symbolic Logic 68 (1):163-186.
    Kaneko-Suzuki developed epistemic logics of shallow depths with multiple players for investigations of game theoretical problems. By shallow depth, we mean that nested occurrences of belief operators of players in formulae are restricted, typically to be of finite depths, by a given epistemic structure. In this paper, we develop various methods of surgical operations (cut and paste) of epistemic world models. An example is a bouquet-making, i.e., tying several models into a bouquet. Another example is to (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography  
  27. Dynamic Epistemic Logic of Belief Change in Legal Judgments.Pimolluck Jirakunkanok, Katsuhiko Sano & Satoshi Tojo - forthcoming - Artificial Intelligence and Law:1-49.
    This study realizes belief/reliability change of a judge in a legal judgment by dynamic epistemic logic. A key feature of DEL is that possibilities in an agent’s belief can be represented by a Kripke model. This study addresses two difficulties in applying DEL to a legal case. First, since there are several methods for constructing a Kripke model, our question is how we can construct the model from a legal case. Second, since this study employs several dynamic operators, (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  38
    S5 Knowledge Without Partitions.Dov Samet - 2010 - Synthese 172 (1):145 - 155.
    We study set algebras with an operator (SAO) that satisfy the axioms of S5 knowledge. A necessary and sufficient condition is given for such SAOs that the knowledge operator is defined by a partition of the state space. SAOs are constructed for which the condition fails to hold. We conclude that no logic singles out the partitional SAOs among all SAOs.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  29. Extended Rationality: A Hinge Epistemology.Annalisa Coliva - 2015 - Palgrave-Macmillan.
    Extended Rationality: A Hinge Epistemology provides a novel account of the structure of epistemic justification. Its central claim builds upon Wittgenstein's idea in On Certainty that epistemic justifications hinge on some basic assumptions and that epistemic rationality extends to these very hinges. It exploits these ideas to address major problems in epistemology, such as the nature of perceptual justifications, external world skepticism, epistemic relativism, the epistemic status of basic logical laws, of the Principle of the (...)
     
    Export citation  
     
    My bibliography   1 citation  
  30.  13
    Free Choice of Alternatives.Anamaria Fălăuş - 2014 - Linguistics and Philosophy 37 (2):121-173.
    This paper contributes to the semantic typology of dependent indefinites, by accounting for the distribution and interpretation of the Romanian indefinite vreun. It is shown that its occurrences are restricted to negative polarity and a subset of modal contexts. More specifically, the study of its behavior in intensional environments reveals that vreun is systematically incompatible with non-epistemic operators, a restriction we capture by proposing a novel empirical generalization (‘the epistemic constraint’). To account for the observed pattern, we (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  99
    A New Framework for Justification Logic.Alessandro Giordani - 2015 - Journal of Applied Non-Classical Logics 25 (4):308-323.
    The logic of justification provides an in-depth analysis of the epistemic states of an agent. This paper aims at solving some of the problems to which the common interpretation of the operators of justification logic is subject by providing a framework in which a crucial distinction between potential and explicit justifiers is exploited. The paper is subdivided into three sections. The first section offers an introduction to a basic system LJ of justification logic and to the problems concerning (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  32.  32
    Operators or Restrictors? A Reply to Gillies.Justin Khoo - 2011 - Semantics and Pragmatics 4:1-25.
    According to operator theories, "if" denotes a two-place operator. According to restrictor theories, "if" doesn't contribute an operator of its own but instead merely restricts the domain of some co-occurring quantifier. The standard arguments (Lewis 1975, Kratzer 1986) for restrictor theories have it that operator theories (but not restrictor theories) struggle to predict the truth conditions of quantified conditionals like -/- (1) a. If John didn't work at home, he usually worked in his office. b. If John didn't work at (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography   4 citations  
  33. Contextualism, Subject-Sensitive Invariantism, and the Interaction of 'Knowledge'-Ascriptions with Modal and Temporal Operators.Michael Blome-Tillmann - 2009 - Philosophy and Phenomenological Research 79 (2):315 - 331.
    Jason Stanley has argued recently that Epistemic Contextualism (EC) and Subject-Sensitive Invariantism (SSI) are explanatorily on a par with regard to certain data arising from modal and temporal embeddings of 'knowledge'-ascriptions. This paper argues against Stanley that EC has a clear advantage over SSI in the discussed field and introduces a new type of linguistic datum strongly suggesting the falsity of SSI.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  34.  54
    Doxastic Decisions, Epistemic Justification, and The Logic of Agency.Heinrich Wansing - 2005 - Philosophical Studies 128 (1):201-227.
    A prominent issue in mainstream epistemology is the controversy about doxastic obligations and doxastic voluntarism. In the present paper it is argued that this discussion can benefit from forging links with formal epistemology, namely the combined modal logic of belief, agency, and obligation. A stit-theory-based semantics for deontic doxastic logic is suggested, and it is claimed that this is helpful and illuminating in dealing with the mentioned intricate and important problems from mainstream epistemology. Moreover, it is argued that this linking (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  35.  8
    Modality, Presupposition and Discourse.Patrícia Amaral & Fabio Del Prete - forthcoming - In Ruth Lopes, Juanito Ornelas de Avelar & Sonia Cyrino (eds.), Romance Languages and Linguistic Theory. Amsterdam: John Benjamins Publishing Company.
    This paper provides a semantic analysis of the particles afinal (European Portuguese) and alla fine (Italian) in terms of the notion of truth unpersistence, which can be situated at the intersection of epistemic modality and discourse structure. In the analysis proposed, the particles are propositional operators and require that the truth of a proposition p* fail to persist through a temporal succession of epistemic states, this proposition being incompatible with the prejacent, and that the interlocutors share knowledge (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  36. Presuppositions, Logic, and Dynamics of Belief.Slavko Brkic - 2004 - Prolegomena 3 (2):151-177.
    In researching presuppositions dealing with logic and dynamic of belief we distinguish two related parts. The first part refers to presuppositions and logic, which is not necessarily involved with intentional operators. We are primarily concerned with classical, free and presuppositonal logic. Here, we practice a well known Strawson’s approach to the problem of presupposition in relation to classical logic. Further on in this work, free logic is used, especially Van Fraassen’s research of the role of presupposition in supervaluations logical (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  37.  46
    Structuralist Logic: Implications, Inferences, and Consequences. [REVIEW]Arnold Koslow - 2007 - Logica Universalis 1 (1):167-181.
    . On a structuralist account of logic, the logical operators, as well as modal operators are defined by the specific ways that they interact with respect to implication. As a consequence, the same logical operator (conjunction, negation etc.) can appear to be very different with a variation in the implication relation of a structure. We illustrate this idea by showing that certain operators that are usually regarded as extra-logical concepts (Tarskian algebraic operations on theories, mereological sum, products (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  38.  11
    Гіпотеза мови мислення дж. фодора й епістемічна логіка.Konstantin Rayhert - 2016 - Схід 3 (143):88-93.
    The study is to show the similarities between J. Fodor's Language of Thought hypothesis and epistemic modal logic. According to the J. Fodor's hypothesis there is the language of thought that is the meta-language in which mental representations of attitudes of organism to propositions expressed in object-language are formulated. These attitudes are called "propositional attitudes". In the hypothesis propositional attitudes are thoughts and relations between organism and proposition. Propositional attitudes are of interest for epistemic modal logics. In (...) logics propositional attitudes are relations considered as modalities, i.e. propositions with modal operators. On certain conditions J. Fodor's Language of Thought hypothesis may be considered as a sort of epistemic modal logic, only it would require certain updating as a formal logical system. The similarities between J. Fodor's Language of Thought and epistemic modal logics give two opportunities. First opportunity is to make special version of epistemic modal logic as an instrument of research for cognitive psychology based on J. Fodor's Language of Thought hypothesis. Second opportunity is to accept the idea of J. Fodor's Language of Thought as an innate language and to attain comprehension that epistemic modal logics are not especially constructed formal languages but innate cognitive programs. It might enable to extrapolate the idea of innate languages onto all formal languages including logical languages and to attempt verifying that idea experimentally within cognitive sciences. (shrink)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  39.  62
    Assessing the Modality Particles of the Yi Group in Fuzzy Possible-Worlds Semantics.Matthias Gerner - 2009 - Linguistics and Philosophy 32 (2):143-184.
    Of late, evidentiality has received great attention in formal semantics. In this paper I develop ‘evidentiality-informed’ truth conditions for modal operators such as must and may . With language data drawn from Luoping Nase (a Tibeto-Burman language spoken in the P.R. of China and belonging to the Yi Nationality), I illustrate that epistemic modals clash with clauses articulating first-hand information. I then demonstrate that existing models such as Kratzer’s graded possible-worlds semantics fail to provide accurate truth conditions for (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  40.  16
    Logics of Informational Interactions.Alexandru Baltag & Sonja Smets - forthcoming - Journal of Philosophical Logic:1-13.
    The pre-eminence of logical dynamics, over a static and purely propositional view of Logic, lies at the core of a new understanding of both formal epistemology and the logical foundations of quantum mechanics. Both areas appear at first sight to be based on purely static propositional formalisms, but in our view their fundamental operators are essentially dynamic in nature. Quantum logic can be best understood as the logic of physically-constrained informational interactions between subsystems of a global physical system. Similarly, (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41. Contextualism, Subject‐Sensitive Invariantism, and the Interaction of ‘Knowledge’‐Ascriptions with Modal and Temporal Operators.Blome‐Tillmann Michael - 2009 - Philosophy and Phenomenological Research 79 (2):315-331.
    Jason Stanley has argued recently that Epistemic Contextualism and Subject‐Sensitive Invariantism are explanatorily on a par with regard to certain data arising from modal and temporal embeddings of ‘knowledge’‐ascriptions. This paper argues against Stanley that EC has a clear advantage over SSI in the discussed field and introduces a new type of linguistic datum strongly suggesting the falsity of SSI.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  42. Logic for Alethic-Logical Pluralists.Andy Demfree Yu - forthcoming - Inquiry : An Interdisciplinary Journal of Philosophy.
    Differences among scientific, mathematical, and ethical subject matters motivate a pluralism where distinct domains of subject matter are associated with distinct truth properties and logics. However, it is unclear how such pluralism might accommodate potentially attractive epistemic norms, such as that one ought to believe only what is true, and that one ought to believe what is logically true. In this paper, I show how such pluralism can accommodate such norms by supplementing the account developed in Yu (2017a,b) with (...)
     
    Export citation  
     
    My bibliography  
  43. Recent Work on Radical Skepticism.Duncan Pritchard - 2002 - American Philosophical Quarterly 39 (3):215-257.
    This discussion surveys recent developments in the treatment of the epistemological problem of skepticism. These are arguments which attack our knowledge of certain truths rather than, say, our belief in the existence of certain entities. In particular, this article focuses on the radical versions of these skeptical arguments, arguments which purport to show that knowledge is, for the most part, impossible, rather than just that we lack knowledge in a particular discourse. Although most of the key recent developments in this (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   36 citations  
  44. Epistemic Exploitation.Nora Berenstain - 2016 - Ergo, an Open Access Journal of Philosophy 3.
    Epistemic exploitation occurs when privileged persons compel marginalized persons to educate them about the nature of their oppression. I argue that epistemic exploitation is marked by unrecognized, uncompensated, emotionally taxing, coerced epistemic labor. The coercive and exploitative aspects of the phenomenon are exemplified by the unpaid nature of the educational labor and its associated opportunity costs, the double bind that marginalized persons must navigate when faced with the demand to educate, and the need for additional labor created (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  45. The Problem of Factives for Sense Theories.Graeme Forbes - 2011 - Analysis 71 (4):654-662.
    This paper discusses some recent responses to Kripke’s modal objections to descriptivism about names. One response, due to Gluer-Pagin and Pagin, involves employing "actually" operators in a new way. Another, developed mainly by Chalmers, involves distinguishing the dimension of meaning modal operators affect from the dimension other operators, especially epistemic ones, affect. I argue that both these moves run into problems with "mixed" contexts involving factive verbs such as "know", "establish", "prove", etc. In mixed contexts there (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  46.  69
    Cornea, Carnap, and Current Closure Befuddlement.Stephen J. Wykstra - 2007 - Faith and Philosophy 24 (1):87-98.
    Graham and Maitzen think my CORNEA principle is in trouble because it entails “intolerable violations of closure under known entailment.” I argue that the trouble arises from current befuddlement about closure itself, and that a distinction drawn by Rudolph Carnap, suitably extended, shows how closure, when properly understood, works in tandem with CORNEA. CORNEA does not obey Closure because it shouldn’t: it applies to “dynamic” epistemic operators, whereas closure principles hold only for “static” ones. What the authors see (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  47.  61
    A Dynamic Logic of Agency I: Stit, Capabilities and Powers. [REVIEW]Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.
    The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define our basic Dynamic Logic of Agency ( ). Differently from other logics of individual and coalitional capability such as Alternating-time Temporal Logic (ATL) and Coalition Logic, in cooperation modalities for expressing powers of agents and coalitions are not primitive, but are defined from more basic dynamic logic operators of action and (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  48.  81
    Reply to Machina and Deutsch on Vagueness, Ignorance, and Margins for Error.Timothy Williamson - 2002 - Acta Analytica 17 (1):47-61.
    In their paper “Vagueness, Ignorance, and Margins for Error” Kenton Machina and Harry Deutsch criticize the epistemic theory of vagueness. This paper answers their objections. The main issues discussed are: the relation between meaning and use; the principle of bivalence; the ontology of vaguely specified classes; the proper form of margin for error principles; iterations of epistemic operators and semantic compositionality; the relation or lack of it between quantum mechanics and theories of vagueness.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  49.  1
    An Axiomatisation for the Multi-Modal Logic of Knowledge and Linear Time LTK.Erica Calardo & Vladimir Rybakov - 2007 - Logic Journal of the IGPL 15 (3):239-254.
    The paper aims at providing the multi-modal propositional logic LTK with a sound and complete axiomatisation. This logic combines temporal and epistemic operators and focuses on m odeling the behaviour of a set of agents operating in a system on the background of a temporal framework. Time is represented as linear and discrete, whereas knowledge is modeled as an S5-like modality. A further modal operator intended to represent environment knowledge is added to the system in order to achieve (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  50.  11
    Logic For Reasoning About Knowledge.Ewa Orlowska - 1989 - Mathematical Logic Quarterly 35 (6):559-572.
    One of the important issues in research on knowledge based computer systems is development of methods for reasoning about knowledge. In the present paper semantics for knowledge operators is introduced. The underlying logic is developed with epistemic operators relative to indiscernibility. Facts about knowledge expressible in the logic are discussed, in particular common knowledge and joint knowledge of n group of agents. Some paradoxes of epistemic logic are shown to be eliminated in the given system. A (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000