Results for 'Logical Omniscience'

958 found
Order:
  1. Ideal rationality and logical omniscience.Declan Smithies - 2015 - Synthese 192 (9):2769-2793.
    Does rationality require logical omniscience? Our best formal theories of rationality imply that it does, but our ordinary evaluations of rationality seem to suggest otherwise. This paper aims to resolve the tension by arguing that our ordinary evaluations of rationality are not only consistent with the thesis that rationality requires logical omniscience, but also provide a compelling rationale for accepting this thesis in the first place. This paper also defends an account of apriori justification for (...) beliefs that is designed to explain the rational requirement of logical omniscience. On this account, apriori justification for beliefs about logic has its source in logical facts, rather than psychological facts about experience, reasoning, or understanding. This account has important consequences for the epistemic role of experience in the logical domain. In a slogan, the epistemic role of experience in the apriori domain is not a justifying role, but rather an enabling and disabling role. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   82 citations  
  2. Logical Omniscience and Acknowledged vs. Consequential Commitments.Niels Skovgaard Olsen - 2014 - Questions, Discourse and Dialogue: 20 Years After Making It Explicit, Proceedings of AISB50.
    The purpose of this paper is to consider the explanatory resources that Robert Brandom‟s distinction between acknowledged and consequential commitments affords in relation to the problem of logical omniscience. With this distinction the importance of the doxastic perspective under consideration for the relationship between logic and norms of reasoning is emphasized, and it becomes possible to handle a number of problematic cases discussed in the literature without thereby incurring a commitment to revisionism about logic. 12.
    Download  
     
    Export citation  
     
    Bookmark  
  3. Fragmentation and logical omniscience.Adam Elga & Agustín Rayo - 2021 - Noûs 56 (3):716-741.
    It would be good to have a Bayesian decision theory that assesses our decisions and thinking according to everyday standards of rationality — standards that do not require logical omniscience (Garber 1983, Hacking 1967). To that end we develop a “fragmented” decision theory in which a single state of mind is represented by a family of credence functions, each associated with a distinct choice condition (Lewis 1982, Stalnaker 1984). The theory imposes a local coherence assumption guaranteeing that as (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  4. The problem of logical omniscience, the preface paradox, and doxastic commitments.Niels Skovgaard-Olsen - 2017 - Synthese 194 (3):917-939.
    The main goal of this paper is to investigate what explanatory resources Robert Brandom’s distinction between acknowledged and consequential commitments affords in relation to the problem of logical omniscience. With this distinction the importance of the doxastic perspective under consideration for the relationship between logic and norms of reasoning is emphasized, and it becomes possible to handle a number of problematic cases discussed in the literature without thereby incurring a commitment to revisionism about logic. One such case in (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  5. Impossible worlds and logical omniscience: an impossibility result.Jens Christian Bjerring - 2013 - Synthese 190 (13):2505-2524.
    In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  6. The Fundamental Problem of Logical Omniscience.Peter Hawke, Aybüke Özgün & Francesco Berto - 2020 - Journal of Philosophical Logic 49 (4):727-766.
    We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  7. Dynamic Epistemic Logic and Logical Omniscience.Mattias Skipper Rasmussen - 2015 - Logic and Logical Philosophy 24 (3):377-399.
    Epistemic logics based on the possible worlds semantics suffer from the problem of logical omniscience, whereby agents are described as knowing all logical consequences of what they know, including all tautologies. This problem is doubly challenging: on the one hand, agents should be treated as logically non-omniscient, and on the other hand, as moderately logically competent. Many responses to logical omniscience fail to meet this double challenge because the concepts of knowledge and reasoning are not (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  8. A Dynamic Solution to the Problem of Logical Omniscience.Mattias Skipper & Jens Christian Bjerring - 2019 - Journal of Philosophical Logic 48 (3):501-521.
    The traditional possible-worlds model of belief describes agents as ‘logically omniscient’ in the sense that they believe all logical consequences of what they believe, including all logical truths. This is widely considered a problem if we want to reason about the epistemic lives of non-ideal agents who—much like ordinary human beings—are logically competent, but not logically omniscient. A popular strategy for avoiding logical omniscience centers around the use of impossible worlds: worlds that, in one way or (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  9. Solving the Problem of Logical Omniscience.Sinan Dogramaci - 2018 - Philosophical Issues 28 (1):107-128.
    This paper looks at three ways of addressing probabilism’s implausible requirement of logical omniscience. The first and most common strategy says it’s okay to require an ideally rational person to be logically omniscient. I argue that this view is indefensible on any interpretation of ‘ideally rational’. The second strategy says probabilism should be formulated not in terms of logically possible worlds but in terms of doxastically possible worlds, ways you think the world might be. I argue that, on (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  10. On logical omniscience.Jacques Dubucs - 1991 - Logique Et Analyse 133 (133-140):41-55.
    Standard epistemic logic actually formalizes folk-psychology. The problem of logical omniscience shows that this logic is not adequate in a cognitivist setting. In order to describe realistic information-processing believers, we need both an ontology of particulars and a hyper-intensional taxonomy of representations. From this point of view, sub-structural logics, which do not overlook the syntaxic details of the processing of information, are an interesting alternative to possible worlds semantics.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  11. Fragmentation, metalinguistic ignorance, and logical omniscience.Jens Christian Bjerring & Weng Hong Tang - 2023 - Philosophical Studies 180 (7):2129-2151.
    To reconcile the standard possible worlds model of knowledge with the intuition that ordinary agents fall far short of logical omniscience, a Stalnakerian strategy appeals to two components. The first is the idea that mathematical and logical knowledge is at bottom metalinguistic knowledge. The second is the idea that non-ideal minds are often fragmented. In this paper, we investigate this Stalnakerian reconciliation strategy and argue, ultimately, that it fails. We are not the first to complain about the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  12. Future Contingents and the Logic of Temporal Omniscience.Patrick Todd & Brian Rabern - 2019 - Noûs 55 (1):102-127.
    At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  13. Logical ignorance and logical learning.Richard Pettigrew - 2020 - Synthese 198 (10):9991-10020.
    According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  14. Higher-Order Evidence and the Normativity of Logic.Mattias Skipper - 2020 - In Scott Stapleford & Kevin McCain (eds.), Epistemic Duties: New Arguments, New Angles. New York: Routledge.
    Many theories of rational belief give a special place to logic. They say that an ideally rational agent would never be uncertain about logical facts. In short: they say that ideal rationality requires "logical omniscience." Here I argue against the view that ideal rationality requires logical omniscience on the grounds that the requirement of logical omniscience can come into conflict with the requirement to proportion one’s beliefs to the evidence. I proceed in two (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  15. The Logic of Fast and Slow Thinking.Anthia Solaki, Francesco Berto & Sonja Smets - 2019 - Erkenntnis 86 (3):733-762.
    We present a framework for epistemic logic, modeling the logical aspects of System 1 and System 2 cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds semantics with the techniques of Dynamic Epistemic Logic. It models non-logically-omniscient, but moderately rational agents: their System 1 makes fast sense of incoming information by integrating it on the basis of their background knowledge and beliefs. Their System 2 allows them to slowly, step-wise unpack some of the (...) consequences of such knowledge and beliefs, by paying a cognitive cost. The framework is applied to three instances of limited rationality, widely discussed in cognitive psychology: Stereotypical Thinking, the Framing Effect, and the Anchoring Effect. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  16. Logical Omnipotence and Two notions of Implicit Belief.Danilo Fraga Dantas - 2019 - In Tiegue Vieira Rodrigues (ed.), Epistemologia Analítica: Debates Contemporâneos. Porto Alegre: Editora Fi. pp. 29-46.
    The most widespread models of rational reasoners (the model based on modal epistemic logic and the model based on probability theory) exhibit the problem of logical omniscience. The most common strategy for avoiding this problem is to interpret the models as describing the explicit beliefs of an ideal reasoner, but only the implicit beliefs of a real reasoner. I argue that this strategy faces serious normative issues. In this paper, I present the more fundamental problem of logical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Problems for Omniscience.Patrick Grim - 2013 - In J. P. Moreland, K. A. Sweis & Ch V. Meister (eds.), Debating Christian Theism. Oxford Univ. Press. pp. 169-180.
    A survey of logical problems for the concept of omniscience.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  18. Logic in knowledge representation and reasoning: Central topics via readings.Luis M. Augusto - manuscript
    Logic has been a—disputed—ingredient in the emergence and development of the now very large field known as knowledge representation and reasoning. In this book (in progress), I select some central topics in this highly fruitful, albeit controversial, association (e.g., non-monotonic reasoning, implicit belief, logical omniscience, closed world assumption), identifying their sources and analyzing/explaining their elaboration in highly influential published work.
    Download  
     
    Export citation  
     
    Bookmark  
  19. Simple Semantics for Logics of Indeterminate Epistemic Closure.Colin R. Caret - 2022 - In Igor Sedlár (ed.), The Logica Yearbook 2021. College Publications. pp. 37-56.
    According to Jago (2014a), logical omniscience is really part of a deeper paradox. Jago develops an epistemic logic with principles of indeterminate closure to solve this paradox, but his official semantics is difficult to navigate, it is motivated in part by substantive metaphysics, and the logic is not axiomatized. In this paper, I simplify this epistemic logic by adapting the hyperintensional semantic framework of Sedlár (2021). My first goal is metaphysical neutrality. The solution to the epistemic paradox should (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Should We Embrace Impossible Worlds Due to the Flaws of Normal Modal Logic?Til Eyinck - 2024 - Logica Universalis 18 (3):1-14.
    Some philosophers advance the claim that the phenomena of logical omniscience and of the indiscernibility of metaphysical statements, which arise in (certain) interpretations of normal modal logic, provide strong reasons in favour of impossible world approaches. These two specific lines of argument will be presented and discussed in this paper. Contrary to the recent much-held view that the characteristics of these two phenomena provide us with strong reasons to adopt impossible world approaches, the view defended here is that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. (1 other version)The Logic of Hyperlogic. Part B: Extensions and Restrictions.Alexander W. Kocurek - 2022 - Review of Symbolic Logic:1-28.
    This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  91
    Epistemic logic with partial grasp.Francisca Silva - 2024 - Synthese 204 (92):1-27.
    We have to gain from recognizing a relation between epistemic agents and the parts of subject matters that play a role in their cognitive lives. I call this relation “grasping”. Namely, I zone in on one notion of having a partial grasp of a subject matter—that of agents grasping part of the subject matter that they are attending to—and characterize it. I propose that giving up the idealization that we fully grasp the subject matters we attend to allows one to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Truthmaker Semantics for Epistemic Logic.Peter Hawke & Aybüke Özgün - 2023 - In Federico L. G. Faroldi & Frederik Van De Putte (eds.), Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Springer Verlag. pp. 295-335.
    We explore some possibilities for developing epistemic logic using truthmaker semantics. We identify three possible targets of analysis for the epistemic logician. We then list some candidate epistemic principles and review the arguments that render some controversial. We then present the classic Hintikkan approach to epistemic logic and note—as per the ‘problem of logical omniscience’—that it validates all of the aforementioned principles, controversial or otherwise. We then lay out a truthmaker framework in the style of Kit Fine and (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  24. An enhanced model for Rosenkranz’s logic of justification.Niccolò Rossi - 2022 - Asian Journal of Philosophy 1 (1):1-9.
    Rosenkranz (2021) devised two bimodal epistemic logics: an idealized one and a realistic one. The former is shown to be sound with respect to a class of neighborhood frames called i-frames. Rosenkranz designed a specific i-frame able to invalidate a series of undesired formulas, proving that these are not theorems of the idealized logic. Nonetheless, an unwanted formula and an unwanted rule of inference are not invalidated. Invalidating the former guarantees the distinction between the two modal operators characteristic of the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  25. Logic and limits of knowledge and truth.Patrick Grim - 1988 - Noûs 22 (3):341-367.
    Though my ultimate concern is with issues in epistemology and metaphysics, let me phrase the central question I will pursue in terms evocative of philosophy of religion: What are the implications of our logic-in particular, of Cantor and G6del-for the possibility of omniscience?
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  26. Ācārya Samantabhadra’s Aptamimamsa (Devāgamastotra) = Deep Reflection On The Omniscient Lord.Vijay K. Jain - 2016 - Vikalp Printers.
    Aptamimamsa by Ācārya Samantabhadra (2nd century CE) starts with a discussion, in a philosophical-cum-logical manner, on the Jaina concept of omniscience and the attributes of the Omniscient. The Ācārya questions the validity of the attributes that are traditionally associated with a praiseworthy deity and goes on to establish the logic of accepting the Omniscient as the most trustworthy and praiseworthy Supreme Being. Employing the doctrine of conditional predications (syādvāda) – the logical expression of reality in light of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. No Rationality Through Brute-Force.Danilo Fraga Dantas - 2017 - Filosofia Unisinos 18 (3):195-200.
    All reasoners described in the most widespread models of a rational reasoner exhibit logical omniscience, which is impossible for finite reasoners (real reasoners). The most common strategy for dealing with the problem of logical omniscience is to interpret the models using a notion of beliefs different from explicit beliefs. For example, the models could be interpreted as describing the beliefs that the reasoner would hold if the reasoner were able reason indefinitely (stable beliefs). Then the models (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  28. Questions in Action.Daniel Hoek - 2022 - Journal of Philosophy 119 (3):113-143.
    Choices confront us with questions. How we act depends on our answers to those questions. So the way our beliefs guide our choices is not just a function of their informational content, but also depends systematically on the questions those beliefs address. This paper gives a precise account of the interplay between choices, questions and beliefs, and harnesses this account to obtain a principled approach to the problem of deduction. The result is a novel theory of belief-guided action that explains (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  29. Rational Credence Through Reasoning.Sinan Dogramaci - 2018 - Philosophers' Imprint 18.
    Whereas Bayesians have proposed norms such as probabilism, which requires immediate and permanent certainty in all logical truths, I propose a framework on which credences, including credences in logical truths, are rational because they are based on reasoning that follows plausible rules for the adoption of credences. I argue that my proposed framework has many virtues. In particular, it resolves the problem of logical omniscience.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  30. Bayesianism for Non-ideal Agents.Mattias Skipper & Jens Christian Bjerring - 2020 - Erkenntnis 87 (1):93-115.
    Orthodox Bayesianism is a highly idealized theory of how we ought to live our epistemic lives. One of the most widely discussed idealizations is that of logical omniscience: the assumption that an agent’s degrees of belief must be probabilistically coherent to be rational. It is widely agreed that this assumption is problematic if we want to reason about bounded rationality, logical learning, or other aspects of non-ideal epistemic agency. Yet, we still lack a satisfying way to avoid (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  31. Dynamic Hyperintensional Belief Revision.Aybüke Özgün & Francesco Berto - 2021 - Review of Symbolic Logic (3):766-811.
    We propose a dynamic hyperintensional logic of belief revision for non-omniscient agents, reducing the logical omniscience phenomena affecting standard doxastic/epistemic logic as well as AGM belief revision theory. Our agents don’t know all a priori truths; their belief states are not closed under classical logical consequence; and their belief update policies are such that logically or necessarily equivalent contents can lead to different revisions. We model both plain and conditional belief, then focus on dynamic belief revision. The (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  32. Impossible worlds and partial belief.Edward Elliott - 2019 - Synthese 196 (8):3433-3458.
    One response to the problem of logical omniscience in standard possible worlds models of belief is to extend the space of worlds so as to include impossible worlds. It is natural to think that essentially the same strategy can be applied to probabilistic models of partial belief, for which parallel problems also arise. In this paper, I note a difficulty with the inclusion of impossible worlds into probabilistic models. Under weak assumptions about the space of worlds, most of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  33. Co o przyszłości Petera Van Inwagena wiedzą Istota Wszechwiedząca i on sam? Krytyka argumentu za sprzecznością przedwiedzy Boga i ludzkiego wolnego działania / What do Peter Van Inwagen and the omniscient being know about Peter Van Inwagen's future? Criticism of the argument for the contradiction of God's foreknowledge and human free action,.Marek Pepliński - 2019 - Przegląd Religioznawczy 272 (2):87-101.
    The article analyzes and criticizes the assumptions of Peter Van Inwagen’s argument for the alleged contradiction of the foreknowledge of God and human freedom. The argument is based on the sine qua non condition of human freedom defined as access to possible worlds containing such a continuation of the present in which the agent implements a different action than will be realized de facto in the future. The condition also contains that in every possible continuation of the present state of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Modal-Epistemic Arithmetic and the problem of quantifying in.Jan Heylen - 2013 - Synthese 190 (1):89-111.
    The subject of this article is Modal-Epistemic Arithmetic (MEA), a theory introduced by Horsten to interpret Epistemic Arithmetic (EA), which in turn was introduced by Shapiro to interpret Heyting Arithmetic. I will show how to interpret MEA in EA such that one can prove that the interpretation of EA is MEA is faithful. Moreover, I will show that one can get rid of a particular Platonist assumption. Then I will discuss models for MEA in light of the problems of (...) omniscience and logical competence. Awareness models, impossible worlds models and syntactical models have been introduced to deal with the first problem. Certain conditions on the accessibility relations are needed to deal with the second problem. I go on to argue that those models are subject to the problem of quantifying in, for which I will provide a solution. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  35. (1 other version)Question-relative knowledge for minimally rational agents.Francisca Silva - 2024 - Inquiry: An Interdisciplinary Journal of Philosophy:1-31.
    Agents know some but not all logical consequences of what they know. Agents seem to be neither logically omniscient nor logically incompetent. Yet finding an intermediate standard of minimal rationality has proven difficult. In this paper, I take suggestions found in the literature (Lewis, 1988; Hawke, Özgün and Berto, 2020; Plebani and Spolaore, 2021) and join the forces of subject matter and impossible worlds approaches to devise a new solution to this quandary. I do so by combining a space (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. On the factivity of implicit intersubjective knowledge.Alessandro Giordani - 2014 - Synthese 191 (8):1909-1923.
    The concept of knowledge can be modelled in epistemic modal logic and, if modelled by using a standard modal operator, it is subject to the problem of logical omniscience. The classical solution to this problem is to distinguish between implicit and explicit knowledge and to construe the knowledge operator as capturing the concept of implicit knowledge. In addition, since a proposition is said to be implicitly known just in case it is derivable from the set of propositions that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Making Ranking Theory Useful for Psychology of Reasoning.Niels Skovgaard Olsen - 2014 - Dissertation, University of Konstanz
    An organizing theme of the dissertation is the issue of how to make philosophical theories useful for scientific purposes. An argument for the contention is presented that it doesn’t suffice merely to theoretically motivate one’s theories, and make them compatible with existing data, but that philosophers having this aim should ideally contribute to identifying unique and hard to vary predictions of their theories. This methodological recommendation is applied to the ranking-theoretic approach to conditionals, which emphasizes the epistemic relevance and the (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  38. Idle Questions.Jens Kipper, Alexander W. Kocurek & Zeynep Soysal - 2024 - Journal of Philosophy.
    In light of the problem of logical omniscience, some scholars have argued that belief is question-sensitive: agents don't simply believe propositions but rather believe answers to questions. Hoek (2022) has recently developed a version of this approach on which a belief state is a "web" of questions and answers. Here, we present several challenges to Hoek's question-sensitive account of belief. First, Hoek's account is prone to very similar logical omniscience problems as those he claims to address. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39.  71
    Explanationism and the awareness of logical truths.Xiaoxing Zhang - 2024 - Asian Journal of Philosophy 3 (2):1-7.
    In Appearance and Explanation, McCain and Moretti propose a novel internalist account of epistemic justification called phenomenal explanationism, which combines phenomenal conservatism and explanationism. I argue that the current version of phenomenal explanationism faces a dilemma: either it omits the awareness requirement but implies an implausible form of logical-mathematical omniscience, or it preserves the requirement but leads to a vicious regress. I suggest how phenomenal explanationism might be revised to avoid this dilemma.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Non-Normal Worlds and Representation.Francesco Berto - 2011 - In Michal Peliš & Vít Punčochář (eds.), The Logica Yearbook. College Publications.
    World semantics for relevant logics include so-called non-normal or impossible worlds providing model-theoretic counterexamples to such irrelevant entailments as (A ∧ ¬A) → B, A → (B∨¬B), or A → (B → B). Some well-known views interpret non-normal worlds as information states. If so, they can plausibly model our ability of conceiving or representing logical impossibilities. The phenomenon is explored by combining a formal setting with philosophical discussion. I take Priest’s basic relevant logic N4 and extend it, on the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Norms of inquiry.David Thorstad - forthcoming - Philosophical Topics.
    Epistemologists have recently proposed a number of norms governing rational inquiry. My aim in this paper is to unify and explain recently proposed norms of inquiry by developing a general account of the conditions under which inquiries are rational, analogous to theories such as evidentialism and reliabilism for rational belief. I begin with a reason-responsiveness conception of rationality as responding correctly to possessed normative reasons. I extend this account with a series of claims about the normative reasons for inquiry that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  42. Belief in truthmaker semantics.Mark Jago - 2024 - Synthese 204 (4):1-24.
    Stephen Yablo has argued that ascriptions of belief and knowledge are sensitive to _subject matter_ and that theorising in such terms may help resolve philosophical questions about the semantics of such ascriptions. _Truthmaker semantics_ offers a way of theorising about subject matters. My main aim in this paper is to investigate what a semantics for knowledge or belief ascriptions might look like within truthmaker semantics. I then discuss what the resulting account might have to say about the problem of (...) omniscience, the nature of concepts, and rational belief. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Wittgenstein, Peirce, and Paradoxes of Mathematical Proof.Sergiy Koshkin - 2020 - Analytic Philosophy 62 (3):252-274.
    Wittgenstein's paradoxical theses that unproved propositions are meaningless, proofs form new concepts and rules, and contradictions are of limited concern, led to a variety of interpretations, most of them centered on rule-following skepticism. We argue, with the help of C. S. Peirce's distinction between corollarial and theorematic proofs, that his intuitions are better explained by resistance to what we call conceptual omniscience, treating meaning as fixed content specified in advance. We interpret the distinction in the context of modern epistemic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Intensional models for the theory of types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
    In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  45. Fragmentation and information access.Adam Elga & Agustin Rayo - 2021 - In Cristina Borgoni, Dirk Kindermann & Andrea Onofri (eds.), The Fragmented Mind. Oxford: Oxford University Press.
    In order to predict and explain behavior, one cannot specify the mental state of an agent merely by saying what information she possesses. Instead one must specify what information is available to an agent relative to various purposes. Specifying mental states in this way allows us to accommodate cases of imperfect recall, cognitive accomplishments involved in logical deduction, the mental states of confused or fragmented subjects, and the difference between propositional knowledge and know-how .
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  46. A Representation Theorem for Frequently Irrational Agents.Edward Elliott - 2017 - Journal of Philosophical Logic 46 (5):467-506.
    The standard representation theorem for expected utility theory tells us that if a subject’s preferences conform to certain axioms, then she can be represented as maximising her expected utility given a particular set of credences and utilities—and, moreover, that having those credences and utilities is the only way that she could be maximising her expected utility. However, the kinds of agents these theorems seem apt to tell us anything about are highly idealised, being always probabilistically coherent with infinitely precise degrees (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  47. On Conceiving the Inconsistent.Francesco Berto - 2014 - Proceedings of the Aristotelian Society 114 (1pt1):103-121.
    I present an approach to our conceiving absolute impossibilities—things which obtain at no possible world—in terms of ceteris paribus intentional operators: variably restricted quantifiers on possible and impossible worlds based on world similarity. The explicit content of a representation plays a role similar in some respects to the one of a ceteris paribus conditional antecedent. I discuss how such operators invalidate logical closure for conceivability, and how similarity works when impossible worlds are around. Unlike what happens with ceteris paribus (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  48. Propositions as (Flexible) Types of Possibilities.Nate Charlow - 2019 - In Chris Tillman & Adam Murray (eds.), The Routledge Handbook of Propositions. Routledge. pp. 211-230.
    // tl;dr A Proposition is a Way of Thinking // -/- This chapter is about type-theoretic approaches to propositional content. Type-theoretic approaches to propositional content originate with Hintikka, Stalnaker, and Lewis, and involve treating attitude environments (e.g. "Nate thinks") as universal quantifiers over domains of "doxastic possibilities" -- ways things could be, given what the subject thinks. -/- This chapter introduces and motivates a line of a type-theoretic theorizing about content that is an outgrowth of the recent literature on epistemic (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Impossible Worlds.David Vander Laan - 1999 - Dissertation, University of Notre Dame
    The theory of possible worlds has permeated analytic philosophy in recent decades, and its best versions have a consequence which has gone largely unnoticed: in addition to the panoply of possible worlds, there are a great many impossible worlds. A uniform ontological method alone should bring the friends of possible worlds to adopt impossible worlds, I argue, but the theory's applications also provide strong incentives. In particular, the theory facilitates an account of counterfactuals which avoids several of the implausible results (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. (1 other version)The Problem of Rational Knowledge.Mark Jago - 2013 - Erkenntnis (S6):1-18.
    Real-world agents do not know all consequences of what they know. But we are reluctant to say that a rational agent can fail to know some trivial consequence of what she knows. Since every consequence of what she knows can be reached via chains of trivial cot be dismissed easily, as some have attempted to do. Rather, a solution must give adequate weight to the normative requirements on rational agents’ epistemic states, without treating those agents as mathematically ideal reasoners. I’ll (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
1 — 50 / 958