Results for 'monotonicity'

102 found
Order:
  1. Non-Monotonic Theories of Aesthetic Value.Robbie Kubala - forthcoming - Australasian Journal of Philosophy.
    Theorists of aesthetic value since Hume have traditionally aimed to justify at least some comparative judgments of aesthetic value and to explain why we thereby have more reason to appreciate some aesthetic objects than others. I argue that three recent theories of aesthetic value—Thi Nguyen’s and Matthew Strohl’s engagement theories, Nick Riggle’s communitarian theory, and Dominic McIver Lopes’ network theory—face a challenge to carry out this explanatory task in a satisfactory way. I defend a monotonicity principle according to which (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2.  83
    The monotonicity of essence.William Vincent - forthcoming - Philosophical Studies:1-15.
    Kit Fine’s logic of essence and his reduction of modality crucially rely on a principle called the ‘monotonicity of essence’. This principle says that for all pluralities, xx and yy, if some xx belong to some yy, then if it is essential to xx that p, it is also essential to yy that p. I argue that on the constitutive notion of essence, this principle is false. In particular, I show that this principle is false because it says that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Knowledge of Objective 'Oughts': Monotonicity and the New Miners Puzzle.Daniel Muñoz & Jack Spencer - 2020 - Philosophy and Phenomenological Research 103 (1):77-91.
    In the classic Miners case, an agent subjectively ought to do what they know is objectively wrong. This case shows that the subjective and objective ‘oughts’ are somewhat independent. But there remains a powerful intuition that the guidance of objective ‘oughts’ is more authoritative—so long as we know what they tell us. We argue that this intuition must be given up in light of a monotonicity principle, which undercuts the rationale for saying that objective ‘oughts’ are an authoritative guide (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  4. Bread prices and sea levels: why probabilistic causal models need to be monotonic.Vera Hoffmann-Kolss - 2024 - Philosophical Studies (9):1-16.
    A key challenge for probabilistic causal models is to distinguish non-causal probabilistic dependencies from true causal relations. To accomplish this task, causal models are usually required to satisfy several constraints. Two prominent constraints are the causal Markov condition and the faithfulness condition. However, other constraints are also needed. One of these additional constraints is the causal sufficiency condition, which states that models must not omit any direct common causes of the variables they contain. In this paper, I argue that the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Embracing monotonicity.Luis Felipe Bartolo Alegre - manuscript
    A non-embracing consequence relation is one such that no set of wffs closed under it is equal to the set of all wffs. I prove that these relations have no deductive power if they are also extensive and monotonic.
    Download  
     
    Export citation  
     
    Bookmark  
  6. Human-like Knowledge Invention: A Non Monotonic Reasoning framework.Antonio Lieto - 2023 - In Model Based Reasoning Conference, 2023, Rome. Springer.
    Inventing novel knowledge to solve problems is a crucial, creative, mechanism employed by humans, to extend their range of action. In this paper, we present TCL (typicality-based compositional logic): a probabilistic, non monotonic extension of standard Description Logics of typicality, and will show how this framework is able to endow artificial systems of a human-like, commonsense based, concept composition procedure that allows its employment in a number of applications (ranging from computational creativity to goal-based reasoning to recommender systems and affective (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. A Non Monotonic Reasoning framework for Goal-Oriented Knowledge Adaptation.Antonio Lieto, Federico Perrone, Gian Luca Pozzato & Eleonora Chiodino - 2019 - In Paglieri (ed.), Proceedings of AISC 2019. Università degli Studi di Roma Tre. pp. 12-14.
    In this paper we present a framework for the dynamic and automatic generation of novel knowledge obtained through a process of commonsense reasoning based on typicality-based concept combination. We exploit a recently introduced extension of a Description Logic of typicality able to combine prototypical descriptions of concepts in order to generate new prototypical concepts and deal with problem like the PET FISH (Osherson and Smith, 1981; Lieto & Pozzato, 2019). Intuitively, in the context of our application of this logic, the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Un Sistema di Creatività Computazionale basato su Logiche Non Monotòne per la Generazione di Nuovi Personaggi/Storie/Format in Ambienti Multi-Mediali.Antonio Lieto - 2019 - In Proceedings of Ital-IA. pp. 123-135.
    In questo contributo descriviamo un sistema di creatività computazionale in grado di generare automaticamente nuovi concetti utilizzando una logica descrittiva non monotòna che integra tre ingredienti principali: una logica descrittiva della tipicalità, una estensione probabilistica basata sulla semantica distribuita nota come DISPONTE, e una euristica di ispirazione cognitiva per la combinazione di più concetti. Una delle applicazioni principali del sistema riguarda il campo della creatività computazionale e, più specificatamente, il suo utilizzo come sistema di supporto alla creatività in ambito mediale. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. A Mid-blue Logic.Danilo Suster - 2022 - In Boran Berčić, Aleksandra Golubović & Majda Trobok (eds.), HUMAN RATIONALITY Festschrift for Nenad Smokrović. Rijeka: University of Rijeka, Faculty of Humanities and Social Sciences. pp. 211-228.
    I discuss Smokrović’s work on the normativity of logic (Smokrović 2017, Smokrović 2018). I agree that the classical formal logic is not an adequate model for real-life reasoning. But I present some doubts about his notion of deductive logic and his proposal to model such reasoning in non-monotonic logic. No branch of formal logic by itself is likely to capture real-life inferential links (reasoned-inference). I use the logic of relevance as my case study and extend the pessimistic morals to modern (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. What’s Positive and Negative about Generics: A Constrained Indexical Approach.Junhyo Lee & Anthony Nguyen - 2022 - Philosophical Studies 179 (5):1739-1761.
    Nguyen argues that only his radically pragmatic account and Sterken’s indexical account can capture what we call the positive data. We present some new data, which we call the negative data, and argue that no theory of generics on the market is compatible with both the positive data and the negative data. We develop a novel version of the indexical account and show that it captures both the positive data and the negative data. In particular, we argue that there is (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  11. Inferenzialismo, pratiche argomentative e oggettività.Pietro Salis - 2012 - Rivista Italiana di Filosofia del Linguaggio 6 (3):108-20.
    Inferentialism, especially Brandom’s theory, is the project aimed at understanding meaning as determined by inferences, and language as a social practice governed by rational discursive norms. Discursive practice is thus understood as the basic rational practice, where commitments undertaken by participants are evaluated in terms of their being correct/incorrect. This model of explanation is also intended to rescue, by means of reasons, the commitments we undertake ourselves and assess the commitments we attribute to others, in an objective sense: starting from (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Coherence of Inferences.Matheus Silva - manuscript
    It is usually accepted that deductions are non-informative and monotonic, inductions are informative and nonmonotonic, abductions create hypotheses but are epistemically irrelevant, and both deductions and inductions can’t provide new insights. In this article, I attempt to provide a more cohesive view of the subject with the following hypotheses: (1) the paradigmatic examples of deductions, such as modus ponens and hypothetical syllogism, are not inferential forms, but coherence requirements for inferences; (2) since any reasoner aims to be coherent, any inference (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Necessity Modals, Disjunctions, and Collectivity.Richard Jefferson Booth - 2022 - Proceedings of Sinn Und Bedeutung 26:187-205.
    Upward monotonic semantics for necessity modals give rise to Ross’s Puzzle: they predict that □φ entails □(φ ∨ ψ), but common intuitions about arguments of this form suggest they are invalid. It is widely assumed that the intuitive judgments involved in Ross’s Puzzle can be explained in terms of the licensing of ‘Diversity’ inferences: from □(φ ∨ ψ), interpreters infer that the truth of each disjunct (φ, ψ) is compatible with the relevant set of worlds. I introduce two pieces of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Knowability Relative to Information.Peter Hawke & Franz Berto - 2021 - Mind 130 (517):1-33.
    We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  15. Metaphysical Explanation: The Kitcher Picture.Sam Baron & James Norton - 2021 - Erkenntnis 86 (1):187-207.
    This paper offers a new account of metaphysical explanation. The account is modelled on Kitcher’s unificationist approach to scientific explanation. We begin, in Sect. 2, by briefly introducing the notion of metaphysical explanation and outlining the target of analysis. After that, we introduce a unificationist account of metaphysical explanation before arguing that such an account is capable of capturing four core features of metaphysical explanations: irreflexivity, non-monotonicity, asymmetry and relevance. Since the unificationist theory of metaphysical explanation inherits irreflexivity and (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  16. Similarity-based categorization and fuzziness of natural categories.James A. Hampton - 1998 - Cognition 65 (2-3):137-165.
    The adequacy of similarity to prototype as an account of categorization in natural concepts was assessed by analyzing the monotonicity of the relation between typicality of an item in a category and the probability of a positive categorization response using data from McCloskey and Glucksberg (1978). The analysis revealed a strong underlying similarity-based threshold curve, with systematic deviations. Further data collection showed that deviations from the curve could be attributed to the effects of unfamiliarity and non-categorial associations on typicality (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  17. Metacognitive control in single- vs. dual-process theory.Aliya R. Dewey - 2023 - Thinking and Reasoning 29 (2):177-212.
    Recent work in cognitive modelling has found that most of the data that has been cited as evidence for the dual-process theory (DPT) of reasoning is best explained by non-linear, “monotonic” one-process models (Stephens et al., 2018, 2019). In this paper, I consider an important caveat of this research: it uses models that are committed to unrealistic assumptions about how effectively task conditions can isolate Type-1 and Type-2 reasoning. To avoid this caveat, I develop a coordinated theoretical, experimental, and modelling (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  18. Update rules and semantic universals.Luca Incurvati & Giorgio Sbardolini - 2023 - Linguistics and Philosophy 46 (2):259-289.
    We discuss a well-known puzzle about the lexicalization of logical operators in natural language, in particular connectives and quantifiers. Of the many logically possible operators, only few appear in the lexicon of natural languages: the connectives in English, for example, are conjunction _and_, disjunction _or_, and negated disjunction _nor_; the lexical quantifiers are _all, some_ and _no_. The logically possible nand (negated conjunction) and Nall (negated universal) are not expressed by lexical entries in English, nor in any natural language. Moreover, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  19. Voluntary Imagination: A Fine-Grained Analysis.Ilaria Canavotto, Francesco Berto & Alessandro Giordani - 2020 - Review of Symbolic Logic (2):362-387.
    We study imagination as reality-oriented mental simulation (ROMS): the activity of simulating nonactual scenarios in one’s mind, to investigate what would happen if they were realized. Three connected questions concerning ROMS are: What is the logic, if there is one, of such an activity? How can we gain new knowledge via it? What is voluntary in it and what is not? We address them by building a list of core features of imagination as ROMS, drawing on research in cognitive psychology (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  20. Do Reasons and Evidence Share the Same Residence.Clayton Littlejohn - 2016 - Philosophy and Phenomenological Research 93 (3):720-727.
    This is part of an authors meets critics session on Daniel Star's wonderful book, Knowing Better. I discuss a potential problem with Kearns and Star's Reasons as Evidence thesis. The issue has to do with the difficulties we face is we treat normative reasons as evidence and impose no possession conditions on evidence. On such a view, it's hard to see how practical reasoning could be a non-monotonic process. One way out of the difficulty would be to allow for (potent) (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  21. Dual PECCS: A Cognitive System for Conceptual Representation and Categorization.Antonio Lieto, Daniele Radicioni & Valentina Rho - 2017 - Journal of Experimental and Theoretical Artificial Intelligence 29 (2):433-452.
    In this article we present an advanced version of Dual-PECCS, a cognitively-inspired knowledge representation and reasoning system aimed at extending the capabilities of artificial systems in conceptual categorization tasks. It combines different sorts of common-sense categorization (prototypical and exemplars-based categorization) with standard monotonic categorization procedures. These different types of inferential procedures are reconciled according to the tenets coming from the dual process theory of reasoning. On the other hand, from a representational perspective, the system relies on the hypothesis of conceptual (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  22. A Nonmonotonic Sequent Calculus for Inferentialist Expressivists.Ulf Hlobil - 2016 - In Pavel Arazim & Michal Dancak (eds.), The Logica Yearbook 2015. College Publications. pp. 87-105.
    I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical expressivism. The extension defined by the sequent rules is conservative. The conditional tracks the consequence relation and negation tracks incoherence. Besides the ordinary propositional connectives, the sequent calculus introduces a new kind of modal operator that marks implications that hold monotonically. Transitivity fails, but (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  23. Panpsychism and AI consciousness.Marcus Arvan & Corey J. Maley - 2022 - Synthese 200 (3):1-22.
    This article argues that if panpsychism is true, then there are grounds for thinking that digitally-based artificial intelligence may be incapable of having coherent macrophenomenal conscious experiences. Section 1 briefly surveys research indicating that neural function and phenomenal consciousness may be both analog in nature. We show that physical and phenomenal magnitudes—such as rates of neural firing and the phenomenally experienced loudness of sounds—appear to covary monotonically with the physical stimuli they represent, forming the basis for an analog relationship between (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  24. Ranking Multidimensional Alternatives and Uncertain Prospects.Philippe Mongin - 2015 - Journal of Economic Theory 157:146-171.
    We introduce a ranking of multidimensional alternatives, including uncertain prospects as a particular case, when these objects can be given a matrix form. This ranking is separable in terms of rows and columns, and continuous and monotonic in the basic quantities. Owing to the theory of additive separability developed here, we derive very precise numerical representations over a large class of domains (i.e., typically notof the Cartesian product form). We apply these representationsto (1)streams of commodity baskets through time, (2)uncertain social (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  25. Impossible Odds.Nathan Salmón - 2019 - Philosophy and Phenomenological Research 99 (3):644-662.
    A thesis (“weak BCP”) nearly universally held among philosophers of probability connects the concepts of objective chance and metaphysical modality: Any prospect (outcome) that has a positive chance of obtaining is metaphysically possible—(nearly) equivalently, any metaphysically impossible prospect has zero chance. Particular counterexamples are provided utilizing the monotonicity of chance, one of them related to the four world paradox. Explanations are offered for the persistent feeling that there cannot be chancy metaphysical necessities or chancy metaphysical impossibilities. Chance is objective (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  26. A Semantic Approach to Nonmonotonic Reasoning: Inference Operations and Choice, Uppsala Prints and Preprints in Philosophy, 1994, no 10.Sten Lindström - manuscript
    This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premises. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred ones. A (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Information and Inaccuracy.William Roche & Tomoji Shogenji - 2018 - British Journal for the Philosophy of Science 69 (2):577-604.
    This article proposes a new interpretation of mutual information. We examine three extant interpretations of MI by reduction in doubt, by reduction in uncertainty, and by divergence. We argue that the first two are inconsistent with the epistemic value of information assumed in many applications of MI: the greater is the amount of information we acquire, the better is our epistemic position, other things being equal. The third interpretation is consistent with EVI, but it is faced with the problem of (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  28. Interventionism Defended.Kevin McCain - 2015 - Logos and Episteme 6 (1):61-73.
    James Woodward’s Making Things Happen presents the most fully developed version of a manipulability theory of causation. Although the ‘interventionist’account of causation that Woodward defends in Making Things Happen has many admirable qualities, Michael Strevens argues that it has a fatal flaw. Strevens maintains that Woodward’s interventionist account of causation renders facts about causation relative to an individual’s perspective. In response to this charge, Woodward claims that although on his account X might be a relativized cause of Y relative to (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  29. Characterizing generics are material inference tickets: a proof-theoretic analysis.Preston Stovall - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy (5):668-704.
    An adequate semantics for generic sentences must stake out positions across a range of contested territory in philosophy and linguistics. For this reason the study of generic sentences is a venue for investigating different frameworks for understanding human rationality as manifested in linguistic phenomena such as quantification, classification of individuals under kinds, defeasible reasoning, and intensionality. Despite the wide variety of semantic theories developed for generic sentences, to date these theories have been almost universally model-theoretic and representational. This essay outlines (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  30. Quantifiers in pair-list readings.Anna Szabolcsi - 1997 - In Ways of Scope Taking. Kluwer Academic Publishers. pp. 311--347.
    Section 1 provides a brief summary of the pair-list literature singling out some points that are particularly relevant for the coming discussion. -/- Section 2 shows that the dilemma of quantifi cation versus domain restriction arises only in extensional complement interrogatives. In matrix questions and in intensional complements only universals support pairlist readings, whence the simplest domain restriction treatment suffices. Related data including conjunction, disjunction, and cumulative readings are discussed -/- Section 3 argues that in the case of extensional complements (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  31. Revision Without Revision Sequences: Self-Referential Truth.Edoardo Rivello - 2019 - Journal of Philosophical Logic 48 (3):523-551.
    The model of self-referential truth presented in this paper, named Revision-theoretic supervaluation, aims to incorporate the philosophical insights of Gupta and Belnap’s Revision Theory of Truth into the formal framework of Kripkean fixed-point semantics. In Kripke-style theories the final set of grounded true sentences can be reached from below along a strictly increasing sequence of sets of grounded true sentences: in this sense, each stage of the construction can be viewed as an improvement on the previous ones. I want to (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  32. Commonsense reasoning as a key feature for dynamic knowledge invention and computational creativity.Antonio Lieto - 2020 - ICAR-MEET 2020.
    Inventing novel knowledge to solve problems is a crucial, creative, mechanism employed by humans, to extend their range of action. In this talk, I will show how commonsense reasoning plays a crucial role in this respect. In particular, I will present a cognitively inspired reasoning framework for knowledge invention and creative problem solving exploiting TCL: a non-monotonic extension of a Description Logic (DL) of typicality able to combine prototypical (commonsense) descriptions of concepts in a human-like fashion. The proposed approach has (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. (1 other version)Algorithmic correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA.Willem Conradie & Valentin Goranko - 2008 - Journal of Applied Non-Classical Logics 18 (2):175-211.
    In a previous work we introduced the algorithm \SQEMA\ for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general correspondence and canonical completeness result. \SQEMA\ is based on transformation rules, the most important of which employs a modal version of a result by Ackermann that enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative polarity condition on that variable is satisfied. In this paper we develop several extensions of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  34. Complexity Reality and Scientific Realism.Avijit Lahiri - manuscript
    We introduce the notion of complexity, first at an intuitive level and then in relatively more concrete terms, explaining the various characteristic features of complex systems with examples. There exists a vast literature on complexity, and our exposition is intended to be an elementary introduction, meant for a broad audience. -/- Briefly, a complex system is one whose description involves a hierarchy of levels, where each level is made of a large number of components interacting among themselves. The time evolution (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. Beyond subgoaling: A dynamic knowledge generation framework for creative problem solving in cognitive architectures.Antonio Lieto - 2019 - Cognitive Systems Research 58:305-316.
    In this paper we propose a computational framework aimed at extending the problem solving capabilities of cognitive artificial agents through the introduction of a novel, goal-directed, dynamic knowledge generation mechanism obtained via a non monotonic reasoning procedure. In particular, the proposed framework relies on the assumption that certain classes of problems cannot be solved by simply learning or injecting new external knowledge in the declarative memory of a cognitive artificial agent but, on the other hand, require a mechanism for the (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  36. The new Tweety puzzle: arguments against monistic Bayesian approaches in epistemology and cognitive science.Matthias Unterhuber & Gerhard Schurz - 2013 - Synthese 190 (8):1407-1435.
    In this paper we discuss the new Tweety puzzle. The original Tweety puzzle was addressed by approaches in non-monotonic logic, which aim to adequately represent the Tweety case, namely that Tweety is a penguin and, thus, an exceptional bird, which cannot fly, although in general birds can fly. The new Tweety puzzle is intended as a challenge for probabilistic theories of epistemic states. In the first part of the paper we argue against monistic Bayesians, who assume that epistemic states can (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  37. Word frequency effects found in free recall are rather due to Bayesian surprise.Serban C. Musca & Anthony Chemero - 2022 - Frontiers in Psychology 13.
    The inconsistent relation between word frequency and free recall performance and the non-monotonic relation found between the two cannot all be explained by current theories. We propose a theoretical framework that can explain all extant results. Based on an ecological psychology analysis of the free recall situation in terms of environmental and informational resources available to the participants, we propose that because participants’ cognitive system has been shaped by their native language, free recall performance is best understood as the end (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Reasoning in attitudes.Franz Dietrich & Antonios Staras - 2022 - Synthese 200 (6):1–31.
    People reason not only in beliefs, but also in intentions, preferences, and other attitudes. They form preferences from existing preferences, or intentions from existing beliefs and intentions, and so on. This often involves choosing between rival conclusions. Building on Broome (Rationality through reasoning, Hoboken, Wiley. https://doi.org/10.1002/9781118609088, 2013) and Dietrich et al. (J Philos 116:585–614. https://doi.org/10.5840/jphil20191161138, 2019), we present a philosophical and formal analysis of reasoning in attitudes, with or without facing choices in reasoning. We give different accounts of choosing, in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  39. On the logic of common belief and common knowledge.Luc Lismont & Philippe Mongin - 1994 - Theory and Decision 37 (1):75-106.
    The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge- whether individual or common- is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in Sections (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  40. Propositionwise judgment aggregation: the general case.Franz Dietrich & Christian List - 2013 - Social Choice and Welfare 40 (4):1067-1095.
    In the theory of judgment aggregation, it is known for which agendas of propositions it is possible to aggregate individual judgments into collective ones in accordance with the Arrow-inspired requirements of universal domain, collective rationality, unanimity preservation, non-dictatorship and propositionwise independence. But it is only partially known (e.g., only in the monotonic case) for which agendas it is possible to respect additional requirements, notably non-oligarchy, anonymity, no individual veto power, or implication preservation. We fully characterize the agendas for which there (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  41. Essential Truths and Their Truth-Grounds.Robert Michels - 2018 - Ergo: An Open Access Journal of Philosophy 5:790-815.
    This paper motivates and defends a principle which captures a systematic connection between essence, truth, and grounding. It says that if a proposition expresses an essential truth, i.e., if it is true in virtue of the nature of some objects, then there are grounds for its truth which involve these objects. Together with the assumption that a fact can only be grounded in facts which are relevant to it, this principle is then applied in an argument against the monotonicity (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  42. The Value of a Life-Year and the Intuition of Universality.Marc Fleurbaey & Gregory Ponthiere - 2022 - Journal of Ethics and Social Philosophy 22 (3):355-381.
    When considering the social valuation of a life-year, there is a conflict between two basic intuitions: on the one hand, the intuition of universality, according to which the value of an additional life-year should be universal, and, as such, should be invariant to the context considered; on the other hand, the intuition of complementarity, according to which the value of a life-year should depend on what this extra-life-year allows for, and, hence, on the quality of that life-year, because the quantity (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. A Deontic Logic for Programming Rightful Machines: Kant’s Normative Demand for Consistency in the Law.Ava Thomas Wright - 2023 - Logics for Ai and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence (Lingai) and the International Workshop on Logic, Ai and Law (Lail).
    In this paper, I set out some basic elements of a deontic logic with an implementation appropriate for handling conflicting legal obligations for purposes of programming autonomous machine agents. Kantian justice demands that the prescriptive system of enforceable public laws be consistent, yet statutes or case holdings may often describe legal obligations that contradict; moreover, even fundamental constitutional rights may come into conflict. I argue that a deontic logic of the law should not try to work around such conflicts but, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Certain and Uncertain Inference with Indicative Conditionals.Paul Égré, Lorenzo Rossi & Jan Sprenger - forthcoming - Australasian Journal of Philosophy.
    This paper develops a trivalent semantics for the truth conditions and the probability of the natural language indicative conditional. Our framework rests on trivalent truth conditions first proposed by Cooper (1968) and Belnap (1973) and it yields two logics of conditional reasoning: (i) a logic C of certainty-preserving inference; and (ii) a logic U for uncertain reasoning that preserves the probability of the premises. We show systematic correspondences between trivalent and probabilistic representations of inferences in either framework, and we use (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. The psychologically rich life.Lorraine L. Besser & Shigehiro Oishi - 2020 - Philosophical Psychology 33 (8):1053-1071.
    This paper introduces the notion of a “psychologically rich life”: a life characterized by complexity, in which people experience a variety of interesting things, and feel and appreciate a variety of deep emotions via firsthand experiences or vicarious experiences. A psychologically rich life can be contrasted with a boring and monotonous life, in which one feels a singular emotion or feels that their lives are defined by routines that just aren’t that interesting. Our discussion considers how it is that the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  46. Generalized logical operations among conditional events.Angelo Gilio & Giuseppe Sanfilippo - 2019 - Applied Intelligence 49:79-102.
    We generalize, by a progressive procedure, the notions of conjunction and disjunction of two conditional events to the case of n conditional events. In our coherence-based approach, conjunctions and disjunctions are suitable conditional random quantities. We define the notion of negation, by verifying De Morgan’s Laws. We also show that conjunction and disjunction satisfy the associative and commutative properties, and a monotonicity property. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals; in (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  47. Echo Chambers and Social Media: On the Possibilities of a Tax Incentive Solution.Megan Fritts - 2023 - Social Epistemology Review and Reply Collective 12 (7):13-19.
    In “Regulating social media as a public good: Limiting epistemic segregation” (2022), Toby Handfield tackles a well-known problematic aspect of widespread social media use: the formation of ideologically monotone and insulated social networks. Handfield argues that we can take some cues from economics to reduce the extent to which echo chambers grow up around individual users. Specifically, he argues that tax incentives to encourage network heterophily may be levied at any of three different groups: individual social media users, social media (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Supraclassical Consequence: Abduction, Induction, and Probability for Commonsense Reasoning.Luis M. Augusto - 2023 - Journal of Knowledge Structures and Systems 4 (1):1 - 46.
    Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. The Logical Consistency of Simultaneous Agnostic Hypothesis Tests.Julio Michael Stern - 2016 - Entropy 8 (256):1-22.
    Simultaneous hypothesis tests can fail to provide results that meet logical requirements. For example, if A and B are two statements such that A implies B, there exist tests that, based on the same data, reject B but not A. Such outcomes are generally inconvenient to statisticians (who want to communicate the results to practitioners in a simple fashion) and non-statisticians (confused by conflicting pieces of information). Based on this inconvenience, one might want to use tests that satisfy logical requirements. (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  50. Overdetermination of theories by empirical models: A realist interpretation of empirical choices.Emma Ruttkamp - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 84 (1):409-436.
    A model-theoretic realist account of science places linguistic systems and their corresponding non-linguistic structures at different stages or different levels of abstraction of the scientific process. Apart from the obvious problem of underdetermination of theories by data, philosophers of science are also faced with the inverse (and very real) problem of overdetermination of theories by their empirical models, which is what this article will focus on. I acknowledge the contingency of the factors determining the nature – and choice – of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 102