Results for 'dynamic plural logic'

1000+ found
Order:
  1. Rigid and Flexible Quantification in Plural Predicate Logic.Lucas Champollion, Justin Bledin & Haoze Li - forthcoming - Semantics and Linguistic Theory 27.
    Noun phrases with overt determiners, such as <i>some apples</i> or <i>a quantity of milk</i>, differ from bare noun phrases like <i>apples</i> or <i>milk</i> in their contribution to aspectual composition. While this has been attributed to syntactic or algebraic properties of these noun phrases, such accounts have explanatory shortcomings. We suggest instead that the relevant property that distinguishes between the two classes of noun phrases derives from two modes of existential quantification, one of which holds the values of a variable fixed (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. NASSLLI 2016 Dynamic Semantics (5): Quantification.Maria Bittner - unknown
    Featured course on "Dynamic Semantics" at NASSLLI 2016. Day 5: Quantification. Abstract: In discourse, quantifiers can function as antecedents or anaphors. We analyze a sample discourse in Dynamic Plural Logic (DPlL, van den Berg 1993, 1994), which represents not only current discourse referents, but also current relations by means of plural information states. This makes it possible to analyze quantification as structured discourse reference. Finally, the DPlL analysis is transposed into Update with Centering, to simplify (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. 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 properly separated. In this paper, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  4. DDL Unlimited: Dynamic Doxastic Logic for Introspective Agents.Sten Lindström & Wlodek Rabinowicz - 1999 - Erkenntnis 50 (2-3):353-385.
    The theories of belief change developed within the AGM-tradition are not logics in the proper sense, but rather informal axiomatic theories of belief change. Instead of characterizing the models of belief and belief change in a formalized object language, the AGM-approach uses a natural language — ordinary mathematical English — to characterize the mathematical structures that are under study. Recently, however, various authors such as Johan van Benthem and Maarten de Rijke have suggested representing doxastic change within a formal logical (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  5. A Note on Plural Logic.Gustavo Fernández Díez - 2010 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 17 (2):150-162.
    A distinction is introduced between itemized and non-itemized plural predication. It is argued that a full-fledged system of plural logic is not necessary in order to account for the validity of inferences concerning itemized collective predication. Instead, it is shown how this type of inferences can be adequately dealt with in a first-order logic system, after small modifications on the standard treatment. The proposed system, unlike plural logic, has the advantage of preserving completeness. And (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Extending Dynamic Doxastic Logic: Accommodating Iterated Beliefs And Ramsey Conditionals Within DDL.Sten Lindström & Wiodek Rabinowicz - 1997 - In Lars Lindahl, Paul Needham & Ryszard Sliwinski (eds.), For Good Measure. Uppsala, Sverige:
    In this paper we distinguish between various kinds of doxastic theories. One distinction is between informal and formal doxastic theories. AGM-type theories of belief change are of the former kind, while Hintikka’s logic of knowledge and belief is of the latter. Then we distinguish between static theories that study the unchanging beliefs of a certain agent and dynamic theories that investigate not only the constraints that can reasonably be imposed on the doxastic states of a rational agent but (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  7. We Belong Together? A Plea for Modesty in Modal Plural Logic.Simon Hewitt - manuscript
    It is often assumed that pluralities are rigid, in the sense of having all and only their actual members necessarily. This assumption is operative in standard approaches to modal plural logic. I argue that a sceptical approach towards the assumption is warranted.
    Download  
     
    Export citation  
     
    Bookmark  
  8.  90
    A Dynamic Epistemic Logic with a Knowability Principle.Michael Cohen - 2015 - In Logic, Rationality, and Interaction. LORI 2015. Lecture Notes in Computer Science. Berlin: Springer. pp. 406-410.
    A dynamic epistemic logic is presented in which the single agent can reason about his knowledge stages before and after announcements. The logic is generated by reinterpreting multi agent private announcements in a single agent environment. It is shown that a knowability principle is valid for such logic: any initially true ϕ can be known after a certain number of announcements.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. Convergence, Continuity and Recurrence in Dynamic Epistemic Logic.Dominik Klein & Rasmus K. Rendsvig - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 108-122.
    The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic satisfies the requirements for being a topological dynamical system thus interfacing discrete dynamic logics with continuous mappings of dynamical systems. The setting is based on a notion of logical convergence, demonstratively equivalent with convergence in Stone topology. Presented is a flexible, parametrized family of metrics inducing the latter, used as an analytical aid. We (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Plural Reference and Reference to a Plurality. Linguistic Facts and Semantic Analyses.Friederike Moltmann - 2016 - In Massimiliano Carrara, Alexandra Arapinis & Friederike Moltmann (eds.), Unity and Plurality. Logic, Philosophy, and Semantics. Oxford: Oxford University Press. pp. 93-120.
    This paper defends 'plural reference', the view that definite plurals refer to several individuals at once, and it explores how the view can account for a range of phenomena that have been discussed in the linguistic literature.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  11. Dynamic Models in Imperative Logic (Imperatives in Action: Changing Minds and Norms).Berislav Žarnić - 2011 - In Anna Brozek, Jacek Jadacki & Berislav Žarnić (eds.), Theory of Imperatives from Different Points of View (2). Wydawnictwo Naukowe Semper.
    The theory of imperatives is philosophically relevant since in building it — some of the long standing problems need to be addressed, and presumably some new ones are waiting to be discovered. The relevance of the theory of imperatives for philosophical research is remarkable, but usually recognized only within the field of practical philosophy. Nevertheless, the emphasis can be put on problems of theoretical philosophy. Proper understanding of imperatives is likely to raise doubts about some of our deeply entrenched and (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  12. Acts of Requesting in Dynamic Logic of Knowledge and Obligation.Tomoyuki Yamada - 2011 - European Journal of Analytic Philosophy 7 (2):59-82.
    Although it seems intuitively clear that acts of requesting are different from acts of commanding, it is not very easy to sate their differences precisely in dynamic terms. In this paper we show that it becomes possible to characterize, at least partially, the effects of acts of requesting and compare them with the effects of acts of commanding by combining dynamified deontic logic with epistemic logic. One interesting result is the following: each act of requesting is appropriately (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  13. Dynamic Semantics, Imperative Logic and Propositional Attitudes.Berislav Žarnić - 2002 - Uppsala Universitet.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  14. Is There a Plural Object?Byeong-Uk Yi - forthcoming - In Donal Baxter & Aaron Cotnoir (eds.), Composition as Identity. Oxford University Press.
    A plurality or plural object is a single object that is also many, and pluralitism is the thesis that there is such an object. This paper argues that pluralitism and closely related theses (e.g., the many-one identity thesis and the composition as identity thesis) violate logic. To do so, it formulates an approach to the logic and semantics of plural constructions that results in plural logic and relates treatments of plural constructions to accounts (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  15. Plural Reference and Set Theory.Peter Simons - 1982 - In Barry Smith (ed.), Parts and Moments: Studies in Logic and Formal Ontology. Munich: Philosophia Verlag. pp. 199--260.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  16. Semantics and the Plural Conception of Reality.Salvatore Florio - 2014 - Philosophers' Imprint 14:1-20.
    According to the singular conception of reality, there are objects and there are singular properties, i.e. properties that are instantiated by objects separately. It has been argued that semantic considerations about plurals give us reasons to embrace a plural conception of reality. This is the view that, in addition to singular properties, there are plural properties, i.e. properties that are instantiated jointly by many objects. In this article, I propose and defend a novel semantic account of plurals which (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  17. A Dynamic Solution to the Problem of Logical Omniscience.Mattias Skipper & Jens 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 another, violate the laws (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  18. The Logic of Fast and Slow Thinking.Anthia Solaki, Francesco Berto & Sonja Smets - forthcoming - Erkenntnis:1-30.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  19. Composition as Identity and Plural Cantor's Theorem.Einar Duenger Bohn - 2016 - Logic and Logical Philosophy 25 (3).
    I argue that Composition as Identity blocks the plural version of Cantor's Theorem, and that therefore the plural version of Cantor's Theorem can no longer be uncritically appealed to. As an example, I show how this result blocks a recent argument by Hawthorne and Uzquiano.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  20. Kant’s Dynamic Hylomorphism in Logic.Elena Dragalina Chernaya - 2016 - Con-Textos Kantianos 4: 127-137.
    The aim of this paper is to provide a dynamic interpretation of Kant’s logical hylomorphism. Firstly, various types of the logical hylomorphism will be illustrated. Secondly, I propose to reevaluate Kant’s constitutivity thesis about logic. Finally, I focus on the design of logical norms as specific kinds of artefacts.
    Download  
     
    Export citation  
     
    Bookmark  
  21. Static and Dynamic Vector Semantics for Lambda Calculus Models of Natural Language.Mehrnoosh Sadrzadeh & Reinhard Muskens - 2018 - Journal of Language Modelling 6 (2):319-351.
    Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector models, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Basic Action Deontic Logic.Alessandro Giordani & Ilaria Canavotto - 2016 - In O. Roy, T. Allard & W. Malte (eds.), Deontic Logic and Normative Systems. College Publications. pp. 80-92.
    The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems related to the de finition of deontic concepts, especially those emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law, are solved. The basic idea is to introduce two crucial distinctions allowing us to differentiate (i) what is ideal with respect to a given code, which fixes (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  23. Mereological Composition and Plural Quantifier Semantics.Manuel Lechthaler & Ceth Lightfield - 2018 - Philosophia 46 (4):943-958.
    Mereological universalists and nihilists disagree on the conditions for composition. In this paper, we show how this debate is a function of one’s chosen semantics for plural quantifiers. Debating mereologists have failed to appreciate this point because of the complexity of the debate and extraneous theoretical commitments. We eliminate this by framing the debate between universalists and nihilists in a formal model where these two theses about composition are contradictory. The examination of the two theories in the model brings (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Living Words: Meaning Underdetermination and the Dynamic Lexicon.Peter Ludlow - 2014 - Oxford University Press.
    Peter Ludlow shows how word meanings are much more dynamic than we might have supposed, and explores how they are modulated even during everyday conversation. The resulting view is radical, and has far-reaching consequences for our political and legal discourse, and for enduring puzzles in the foundations of semantics, epistemology, and logic.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  25. On the Infinite in Mereology with Plural Quantification.Massimiliano Carrara & Enrico Martino - 2011 - Review of Symbolic Logic 4 (1):54-62.
    In Lewis reconstructs set theory using mereology and plural quantification (MPQ). In his recontruction he assumes from the beginning that there is an infinite plurality of atoms, whose size is equivalent to that of the set theoretical universe. Since this assumption is far beyond the basic axioms of mereology, it might seem that MPQ do not play any role in order to guarantee the existence of a large infinity of objects. However, we intend to demonstrate that mereology and (...) quantification are, in some ways, particularly relevant to a certain conception of the infinite. More precisely, though the principles of mereology and plural quantification do not guarantee the existence of an infinite number of objects, nevertheless, once the existence of any infinite object is admitted, they are able to assure the existence of an uncountable infinity of objects. So, ifMPQ were parts of logic, the implausible consequence would follow that, given a countable infinity of individuals, logic would be able to guarantee an uncountable infinity of objects. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Dynamic Consequence for Soft Information.Olivier Roy & Ole Thomassen Hjortland - forthcoming - Journal of Logic and Computation.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  46
    Composition, Identity and Plural Ontology.Roberto Loss - forthcoming - Synthese:1-18.
    According to ‘Strong Composition as Identity’, if an entity is composed of a plurality of entities, it is identical to them. As it has been argued in the literature, SCAI appears to give rise to some serious problems which seem to suggest that SCAI-theorists should take their plural quantifier to be governed by some ‘weak’ plural comprehension principle and, thus, ‘exclude’ some kinds of pluralities from their plural ontology. The aim of this paper is to argue that, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. What Is a Good Domain Description? Evaluating and Revising Action Theories in Dynamic Logic.Ivan Varzinczak - 2006 - Dissertation, Université Paul Sabatier
    Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the meta-theory of actions by investigating what other properties a good domain de- scription should satisfy. Having Propositional Dynamic Logic (PDL) as background, we state some meta-theoretical postulates concerning this sore spot. When all pos- tulates are satisfied, we call the action theory modular. We point out the problems that arise (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  69
    Logical Inquiries Into a New Formal System with Plural Reference.Ran Lanzet & Hanoch Ben-Yami - 2004 - In Vincent Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Schefler & Wansing Heinrich (eds.), First-Order Logic Revisited. Berlin: Logos Verlag. pp. 173-223.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  30. Dynamic Tableaux for Dynamic Modal Logics.Jonas De Vuyst - 2013 - Dissertation, Vrije Universiteit Brussel
    In this dissertation we present proof systems for several modal logics. These proof systems are based on analytic (or semantic) tableaux. -/- Modal logics are logics for reasoning about possibility, knowledge, beliefs, preferences, and other modalities. Their semantics are almost always based on Saul Kripke’s possible world semantics. In Kripke semantics, models are represented by relational structures or, equivalently, labeled graphs. Syntactic formulas that express statements about knowledge and other modalities are evaluated in terms of such models. -/- This dissertation (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Norm Performatives and Deontic Logic.Rosja Mastop - 2011 - European Journal of Analytic Philosophy 7 (2):83-105.
    Deontic logic is standardly conceived as the logic of true statements about the existence of obligations and permissions. In his last writings on the subject, G. H. von Wright criticized this view of deontic logic, stressing the rationality of norm imposition as the proper foundation of deontic logic. The present paper is an attempt to advance such an account of deontic logic using the formal apparatus of update semantics and dynamic logic. That is, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  32. Unity and Plurality. Philosophy, Logic, and Semantics.Massimiliano Carrara, Alessandra Arapinis & Friederike Moltmann - 2016 - Oxford University Press.
    This volume brings together new work on the logic and ontology of plurality and a range of recent articles exploring novel applications to natural language semantics. The contributions in this volume in particular investigate and extend new perspectives presented by plural logic and non-standard mereology and explore their applications to a range of natural language phenomena. Contributions by P. Aquaviva, A. Arapinis, M. Carrara, P. McKay, F. Moltmann, O. Linnebo, A. Oliver and T. Smiley, T. Scaltsas, P. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  97
    Epistemic Friction: An Essay on Knowledge, Truth, and Logic.Gila Sher - 2016 - Oxford: Oxford University Press UK.
    Gila Sher approaches knowledge from the perspective of the basic human epistemic situation—the situation of limited yet resourceful beings, living in a complex world and aspiring to know it in its full complexity. What principles should guide them? Two fundamental principles of knowledge are epistemic friction and freedom. Knowledge must be substantially constrained by the world (friction), but without active participation of the knower in accessing the world (freedom) theoretical knowledge is impossible. This requires a grounding of all knowledge, empirical (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  34. Tense and the Logic of Change.Reinhard Muskens - 1995 - In Urs Egli, Peter Pause, Christoph Schwarze, Arnim von Stechow & Götz Wienold (eds.), Lexical Knowledge in the Organization of Language. Amsterdam/Philadelphia: John Benjamins. pp. 147-183.
    In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  35. A Notion of Logical Concept Based on Plural Reference.Carrara Massimiliano & Martino Enrico - 2018 - Acta Analytica 33 (1):19-33.
    In To be is to be the object of a possible act of choice the authors defended Boolos’ thesis that plural quantification is part of logic. To this purpose, plural quantification was explained in terms of plural reference, and a semantics of plural acts of choice, performed by an ideal team of agents, was introduced. In this paper, following that approach, we develop a theory of concepts that—in a sense to be explained—can be labeled as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36.  26
    The Path Dependence of Dynamic Traditions and the Illusion of Cultural AIDS.Richard Volkman - 2006 - Acm Sigcas Computers and Society 45 (3):211-217.
    Analyses of cultural change routinely turn on observations or evaluations regarding what some institution, system of belief, or technology is doing to “us,” but it can be obscure how one is supposed to fix the meaning of such claims. This essay argues such analyses often rely on the rhetorical force of the first person plural when the literal meaning of their claims strongly suggests the third person would be more appropriate. In many cases, “we” has to mean “them—not us.” (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. The Logic of Metabolism and its Fuzzy Consequences.A. Danchin - 2014 - Environmental Microbiology 16 (1):19-28.
    Intermediary metabolism molecules are orchestrated into logical pathways stemming from history (L-amino acids, D-sugars) and dynamic constraints (hydrolysis of pyrophosphate or amide groups is the driving force of anabolism). Beside essential metabolites, numerous variants derive from programmed or accidental changes. Broken down, variants enter standard pathways, producing further variants. Macromolecule modification alters enzyme reactions specificity. Metabolism conform thermodynamic laws, precluding strict accuracy. Hence, for each regular pathway, a wealth of variants inputs and produces metabolites that are similar to but (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. One's Modus Ponens: Modality, Coherence and Logic.Una Stojnić - 2017 - Philosophy and Phenomenological Research 95 (1):167-214.
    Recently, there has been a shift away from traditional truth-conditional accounts of meaning towards non-truth-conditional ones, e.g., expressivism, relativism and certain forms of dynamic semantics. Fueling this trend is some puzzling behavior of modal discourse. One particularly surprising manifestation of such behavior is the alleged failure of some of the most entrenched classical rules of inference; viz., modus ponens and modus tollens. These revisionary, non-truth-conditional accounts tout these failures, and the alleged tension between the behavior of modal vocabulary and (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  39. Future Logic: Categorical and Conditional Deduction and Induction of the Natural, Temporal, Extensional, and Logical Modalities.Avi Sion - 1990,1996 - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
    Future Logic is an original, and wide-ranging treatise of formal logic. It deals with deduction and induction, of categorical and conditional propositions, involving the natural, temporal, extensional, and logical modalities. Traditional and Modern logic have covered in detail only formal deduction from actual categoricals, or from logical conditionals (conjunctives, hypotheticals, and disjunctives). Deduction from modal categoricals has also been considered, though very vaguely and roughly; whereas deduction from natural, temporal and extensional forms of conditioning has been all (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Extensionalizing Intensional Second-Order Logic.Jonathan Payne - 2015 - Notre Dame Journal of Formal Logic 56 (1):243-261.
    Neo-Fregean approaches to set theory, following Frege, have it that sets are the extensions of concepts, where concepts are the values of second-order variables. The idea is that, given a second-order entity $X$, there may be an object $\varepsilon X$, which is the extension of X. Other writers have also claimed a similar relationship between second-order logic and set theory, where sets arise from pluralities. This paper considers two interpretations of second-order logic—as being either extensional or intensional—and whether (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Virtual Mathematics: The Logic of Difference.Simon B. Duffy (ed.) - 2006 - Clinamen.
    Of all twentieth century philosophers, it is Gilles Deleuze whose work agitates most forcefully for a worldview privileging becoming over being, difference over sameness; the world as a complex, open set of multiplicities. Nevertheless, Deleuze remains singular in enlisting mathematical resources to underpin and inform such a position, refusing the hackneyed opposition between ‘static’ mathematical logic versus ‘dynamic’ physical world. This is an international collection of work commissioned from foremost philosophers, mathematicians and philosophers of science, to address the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  42. Composition and Relative Counting.Massimiliano Carrara & Giorgio Lando - 2017 - Dialectica 71 (4):489-529.
    According to the so-called strong variant of Composition as Identity (CAI), the Principle of Indiscernibility of Identicals can be extended to composition, by resorting to broadly Fregean relativizations of cardinality ascriptions. In this paper we analyze various ways in which this relativization could be achieved. According to one broad variety of relativization, cardinality ascriptions are about objects, while concepts occupy an additional argument place. It should be possible to paraphrase the cardinality ascriptions in plural logic and, as a (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  43.  42
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45.  64
    Remarks on Logic for Process Descriptions in Ontological Reasoning: A Drug Interaction Ontology Case Study.Mitsuhiro Okada, Barry Smith & Yutaro Sugimoto - 2008 - In InterOntology. Proceedings of the First Interdisciplinary Ontology Meeting, Tokyo, Japan, 26-27 February 2008. Tokyo: Keio University Press. pp. 127-138.
    We present some ideas on logical process descriptions, using relations from the DIO (Drug Interaction Ontology) as examples and explaining how these relations can be naturally decomposed in terms of more basic structured logical process descriptions using terms from linear logic. In our view, the process descriptions are able to clarify the usual relational descriptions of DIO. In particular, we discuss the use of logical process descriptions in proving linear logical theorems. Among the types of reasoning supported by DIO (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. A Counterexample T o All Future Dynamic Systems Theories of Cognition.Eric Dietrich - 2000 - J. Of Experimental and Theoretical AI 12 (2):377-382.
    Years ago, when I was an undergraduate math major at the University of Wyoming, I came across an interesting book in our library. It was a book of counterexamples t o propositions in real analysis (the mathematics of the real numbers). Mathematicians work more or less like the rest of us. They consider propositions. If one seems to them to be plausibly true, then they set about to prove it, to establish the proposition as a theorem. Instead o f setting (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. A Modal Logic for Gödelian Intuition.Hasen Khudairi - manuscript
    This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the axioms of a dynamic provability logic, which embeds GL within the modal $\mu$-calculus. Via correspondence results between modal logic and the bisimulation-invariant fragment of second-order logic, a precise translation can then be provided between the notion of 'intuition-of', (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  26
    Evolutionism: Logic, Language and Thought.Alexandru Anghelescu - 2016 - Procedia Environmental Sciences 2016 (32):184 – 189.
    Do other earthly forms of life evolved to the level of intelligent life? Cancer and resistance to antibiotics obliged to ask this question. Signs of intelligence are found at its simplest levels. We try to see if logic is used at these levels. Peter of Spain’s suppositio materialis is applied to the chemical signals of cells. Dynamic Logic is used to understand these chemical communications. <System of communications> is used, instead of “language”. The development of life appears (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Pluralistic Ignorance in the Bystander Effect: Informational Dynamics of Unresponsive Witnesses in Situations Calling for Intervention.Rasmus Kraemmer Rendsvig - 2014 - Synthese 191 (11):2471-2498.
    The goal of the present paper is to construct a formal explication of the pluralistic ignorance explanation of the bystander effect. The social dynamics leading to inaction is presented, decomposed, and modeled using dynamic epistemic logic augmented with ‘transition rules’ able to characterize agent behavior. Three agent types are defined: First Responders who intervene given belief of accident; City Dwellers, capturing ‘apathetic urban residents’ and Hesitators, who observe others when in doubt, basing subsequent decision on social proof. It (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  50. Paraconsistent Dynamics.Patrick Girard & Koji Tanaka - 2016 - Synthese 193 (1):1-14.
    It has been an open question whether or not we can define a belief revision operation that is distinct from simple belief expansion using paraconsistent logic. In this paper, we investigate the possibility of meeting the challenge of defining a belief revision operation using the resources made available by the study of dynamic epistemic logic in the presence of paraconsistent logic. We will show that it is possible to define dynamic operations of belief revision in (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
1 — 50 / 1000