Results for 'monotonicity'

62 found
Order:
  1.  29
    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  
  2. Knowledge of Objective 'Oughts': Monotonicity and the New Miners Puzzle.Daniel Muñoz & Jack Spencer - 2021 - 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  
  3.  55
    Is Classical Logic Monotonic?Matheus Silva - manuscript
    It is usually accepted that one of the properties of classical logic is monotonicity, the property that ensures that the validity of implication is not affected by the addition of new premises. In this piece, I will argue that this is a category mistake, since the notion of monotonicity is primarily epistemic in character and can’t be meaningfully attributed to a system. The other point I intend to defend is that classical logic is compatible with non-monotonicity understood (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4.  59
    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. Rome: 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  
  5.  70
    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 - forthcoming - In Proceedings of Ital-IA. Rome, Metropolitan City of Rome, Italy: 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  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. 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  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  7. Voluntary Imagination: A Fine-Grained Analysis.Ilaria Canavotto, Francesco Berto & Alessandro Giordani - 2020 - Review of Symbolic Logic:1-26.
    We study imagination as reality-oriented mental simulation : 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   3 citations  
  8. 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   6 citations  
  9. Metaphysical Explanation: The Kitcher Picture.Sam Baron & James Norton - 2019 - 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  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  10. Inductive Knowledge.Andrew Bacon - 2020 - Noûs 54 (2):354-388.
    This paper formulates some paradoxes of inductive knowledge. Two responses in particular are explored: According to the first sort of theory, one is able to know in advance that certain observations will not be made unless a law exists. According to the other, this sort of knowledge is not available until after the observations have been made. Certain natural assumptions, such as the idea that the observations are just as informative as each other, the idea that they are independent, and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. 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   18 citations  
  12. Donkeys Under Discussion.Lucas Champollion, Dylan Bumford & Robert Henderson - forthcoming - Semantics and Pragmatics.
    Donkey sentences have existential and universal readings, but they are not often perceived as ambiguous. We extend the pragmatic theory of nonmaximality in plural definites by Križ (2016) to explain how context disambiguates donkey sentences. We propose that the denotations of such sentences produce truth-value gaps — in certain scenarios the sentences are neither true nor false — and demonstrate that Križ’s pragmatic theory fills these gaps to generate the standard judgments of the literature. Building on Muskens’s (1996) Compositional Discourse (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  13. 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   15 citations  
  14.  84
    The Evidential Conditional.Vincenzo Crupi & Andrea Iacona - forthcoming - Erkenntnis:1-25.
    This paper outlines an account of conditionals, the evidential account, which rests on the idea that a conditional is true just in case its antecedent supports its consequent. As we will show, the evidential account exhibits some distinctive logical features that deserve careful consideration. On the one hand, it departs from the material reading of ‘if then’ exactly in the way we would like it to depart from that reading. On the other, it significantly differs from the non-material accounts which (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  15. Knowability Relative to Information.Peter Hawke & Franz Berto - forthcoming - Mind.
    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   8 citations  
  16.  50
    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   3 citations  
  17. 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   8 citations  
  18. 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   10 citations  
  19. Human Reasoning and Cognitive Science.Keith Stenning & Michiel van Lambalgen - 2008 - Boston, USA: MIT Press.
    In the late summer of 1998, the authors, a cognitive scientist and a logician, started talking about the relevance of modern mathematical logic to the study of human reasoning, and we have been talking ever since. This book is an interim report of that conversation. It argues that results such as those on the Wason selection task, purportedly showing the irrelevance of formal logic to actual human reasoning, have been widely misinterpreted, mainly because the picture of logic current in psychology (...)
    Download  
     
    Export citation  
     
    Bookmark   63 citations  
  20. 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   4 citations  
  21. 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   6 citations  
  22.  32
    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   1 citation  
  23. A Nonmonotonic Sequent Calculus for Inferentialist Expressivists.Ulf Hlobil - 2016 - In Pavel Arazim & Michal Dančák (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   3 citations  
  24. 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  
  25.  27
    General Representation of Epistemically Optimal Procedures.Franz Dietrich - 2006 - Social Choice and Welfare 2 (26):263-283.
    Assuming that votes are independent, the epistemically optimal procedure in a binary collective choice problem is known to be a weighted supermajority rule with weights given by personal log-likelihood-ratios. It is shown here that an analogous result holds in a much more general model. Firstly, the result follows from a more basic principle than expected-utility maximisation, namely from an axiom (Epistemic Monotonicity) which requires neither utilities nor prior probabilities of the ‘correctness’ of alternatives. Secondly, a person’s input need not (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  26. 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   5 citations  
  27.  74
    On the Measurement of Need-Based Justice.Stefan Traub, Alexander Max Bauer, Mark Siebel, Nils Springhorn & Arne Robert Weiß - manuscript
    Need considerations play an important role in empirically informed theories of distributive justice. We propose a concept of need-based justice that is related to social participation and provide an ethical measurement of need-based justice. The β-ε-index satisfies the need-principle, monotonicity, sensitivity, transfer and several »technical« axioms. A numerical example is given.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  28.  88
    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   14 citations  
  29. Simple Hyperintensional Belief Revision.F. Berto - 2018 - Erkenntnis 84 (3):559-575.
    I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are obtained without resorting to (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  30. Strategies for Scope Taking (1997).Anna Szabolcsi - 1997 - In Ways of Scope Taking. Springer.
    Standard theories of scope are semantically blind. They employ a single logico-syntactic rule of scope assignment quantifying in Quantifier Raising, storage, or type change etc which roughly speaking prefixes an expression \aplha.
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  31. The many-property problem is your problem, too.Justin D’Ambrosio - 2021 - Philosophical Studies 178 (3):811-832.
    The many-property problem has traditionally been taken to show that the adverbial theory of perception is untenable. This paper first shows that several widely accepted views concerning the nature of perception---including both representational and non-representational views---likewise face the many-property problem. It then presents a solution to the many-property problem for these views, but goes on to show how this solution can be adapted to provide a novel, fully compositional solution to the many-property problem for adverbialism. Thus, with respect to the (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  32. Questions About Proof Theory Vis-À-Vis Natural Language Semantics (2007).Anna Szabolcsi - manuscript
    Semantics plays a role in grammar in at least three guises. (A) Linguists seek to account for speakers‘ knowledge of what linguistic expressions mean. This goal is typically achieved by assigning a model theoretic interpretation2 in a compositional fashion. For example, No whale flies is true if and only if the intersection of the sets of whales and fliers is empty in the model. (B) Linguists seek to account for the ability of speakers to make various inferences based on semantic (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  33. Two Adaptive Logics of Norm-Propositions.Mathieu Beirlaen & Christian Straßer - 2013 - Journal of Applied Logic 11 (2):147-168.
    We present two defeasible logics of norm-propositions (statements about norms) that (i) consistently allow for the possibility of normative gaps and normative conflicts, and (ii) map each premise set to a sufficiently rich consequence set. In order to meet (i), we define the logic LNP, a conflict- and gap-tolerant logic of norm-propositions capable of formalizing both normative conflicts and normative gaps within the object language. Next, we strengthen LNP within the adaptive logic framework for non-monotonic reasoning in order to meet (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  51
    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-3):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  
  35. Qualitative Probabilistic Inference Under Varied Entropy Levels.Paul D. Thorn & Gerhard Schurz - 2016 - Journal of Applied Logic 19 (2):87-101.
    In previous work, we studied four well known systems of qualitative probabilistic inference, and presented data from computer simulations in an attempt to illustrate the performance of the systems. These simulations evaluated the four systems in terms of their tendency to license inference to accurate and informative conclusions, given incomplete information about a randomly selected probability distribution. In our earlier work, the procedure used in generating the unknown probability distribution (representing the true stochastic state of the world) tended to yield (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  36. Incompatibility Semantics From Agreement.Daniele Porello - 2012 - Philosophia 40 (1):99-119.
    In this paper, I discuss the analysis of logic in the pragmatic approach recently proposed by Brandom. I consider different consequence relations, formalized by classical, intuitionistic and linear logic, and I will argue that the formal theory developed by Brandom, even if provides powerful foundational insights on the relationship between logic and discursive practices, cannot account for important reasoning patterns represented by non-monotonic or resource-sensitive inferences. Then, I will present an incompatibility semantics in the framework of linear logic which allow (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  37. Channels’ Confirmation and Predictions’ Confirmation: From the Medical Test to the Raven Paradox.Chenguang Lu - 2020 - Entropy 22 (4):384.
    After long arguments between positivism and falsificationism, the verification of universal hypotheses was replaced with the confirmation of uncertain major premises. Unfortunately, Hemple proposed the Raven Paradox. Then, Carnap used the increment of logical probability as the confirmation measure. So far, many confirmation measures have been proposed. Measure F proposed by Kemeny and Oppenheim among them possesses symmetries and asymmetries proposed by Elles and Fitelson, monotonicity proposed by Greco et al., and normalizing property suggested by many researchers. Based on (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Reduction Revisited.Emma Ruttkamp - 2006 - South African Journal of Philosophy 25 (2):102-112.
    This is a first tentative examination of the possibility of reinstating reduction as a valid candidate for presenting relations between mental and physical properties. Classical Nagelian reduction is undoubtedly contaminated in many ways, but here I investigate the possibility of adapting to problems concerning mental properties an alternative definition for theory reduction in philosophy of science. The definition I offer is formulated with the aid of non-monotonic logic, which I suspect might be a very interesting realm for testing notions concerning (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  39. 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  
  40.  95
    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  
  41. Faulty Reasoning About Default Principles in Cosmological Arguments.Graham Oppy - 2004 - Faith and Philosophy 21 (2):242-249.
    Robert Koons claims that my previous critique of his “new” cosmological argument is vitiated by confusion about the nature of defeasible argumentation.In response, I claim that Koons misrepresents—and perhaps misunderstands—the nature of my objections to his “new” cosmological argument. The main claims which I defend are: (1) that the move from a non-defeasible to a defeasible causal principle makes absolutely no difference to the success of the cosmological argument in which it is contained; and (2) that, since it is perfectly (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  42.  4
    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   1 citation  
  43.  63
    Non Classical Concept Representation and Reasoning in Formal Ontologies.Antonio Lieto - 2012 - Dissertation, Università Degli Studi di Salerno
    Formal ontologies are nowadays widely considered a standard tool for knowledge representation and reasoning in the Semantic Web. In this context, they are expected to play an important role in helping automated processes to access information. Namely: they are expected to provide a formal structure able to explicate the relationships between different concepts/terms, thus allowing intelligent agents to interpret, correctly, the semantics of the web resources improving the performances of the search technologies. Here we take into account a problem regarding (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Synergetics and the Images of Future.Helena Knyazeva - 1999 - Futures 31 (3):281-290.
    The hope of finding new methods of predicting the course of historical processes could be connected with the recent developments of the theory of self-organisation, also called synergetics. It provides us with knowledge of constructive principles of co-evolution of complex social systems, co-evolution of countries and geopolitical regions being at different stages of development, integration of the East and the West, the North and the South. Due to the growth of population on the Earth in blow-up regime, the general and (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  45.  58
    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  
  46.  52
    Modeling the concept of truth using the largest intrinsic fixed point of the strong Kleene three valued semantics (in Croatian language).Boris Culina - 2004 - Dissertation, University of Zagreb
    The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. O progresso na Filosofia da História de G. W. F. Hegel.Gabriel Rodrigues da Silva - 2017 - Filogenese 10:53-64.
    This article proposes to present, in general, the thought of the German philosopher G. W. F. Hegel about history. Using mainly the work Philosophy of History, I seek first to analyze and to explain the different modes of historical approaches elaborated by Hegel, which are: the original history, the reflective history and its subdivisions and, finally, the philosophical history. After that, I center my studies on the concept of progress or, more precisely, historical progress. According to Hegel, philosophical history appears (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  45
    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  
  49.  42
    Knowledge Re-Combination and Invention as Key Features for Commonsense Reasoning and Computational Creativity Research.Antonio Lieto - 2020 - In ECAI 2020 Worskhop "ARTIFICIAL AND HUMAN INTELLIGENCE FORMAL AND COGNITIVE FOUNDATIONS FOR HUMAN-CENTRED COMPUTING".
    Dynamic conceptual reframing represents a crucial mechanism employed by humans, and partially by other animal species, to generate novel knowledge used to solve complex goals. In this talk, I will present a 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 [1]. The proposed approach has been tested both in the task of goal-driven concept invention [2,3] (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. 'A-Part' of This World: Deleuze and the Logic of Creation.Christopher Satoor - 2014 - Dissertation, York University
    Major Research Paper Abstract -/- A Part of This World: Deleuze & The Logic Of Creation. -/- Is there a particular danger in following Deleuze’s philosophy to its end result? According to Peter Hallward and Alain Badiou, Deleuze’s philosophy has some rather severe conclusions. Deleuze has been known as a vitalist thinker of life and affirmation. Hallward & Badiou seek to challenge the accepted view of Deleuze; showing that these accepted norms in Deleuzian scholarship should be challenged; and that initially (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 62