Results for 'non-monotonic logic'

997 found
Order:
  1.  60
    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 (...), the overall pipeline of our system works as follows: given a goal expressed as a set of properties, if the knowledge base does not contain a concept able to fulfill all these properties, then our system looks for two concepts to recombine in order to extend the original knowledge based satisfy the goal. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  2.  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  
  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 as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4.  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  
  5.  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  
  6. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  33
    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 particular (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  6
    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   2 citations  
  9.  59
    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  
  10. Non-Normative Logical Pluralism and the Revenge of the Normativity Objection.Erik Stei - 2020 - Philosophical Quarterly 70 (278):162–177.
    Logical pluralism is the view that there is more than one correct logic. Most logical pluralists think that logic is normative in the sense that you make a mistake if you accept the premisses of a valid argument but reject its conclusion. Some authors have argued that this combination is self-undermining: Suppose that L1 and L2 are correct logics that coincide except for the argument from Γ to φ, which is valid in L1 but invalid in L2. If (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  11. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   63 citations  
  12. 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  
  13. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  14. Non-Classical Metatheory for Non-Classical Logics.Andrew Bacon - 2013 - Journal of Philosophical Logic 42 (2):335-355.
    A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  15.  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  
  16. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  17. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  18. 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  
  19. 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  
  20.  21
    Invited ACM Lecture on Cognitive Heuristics for Commonsense Reasoning.Antonio Lieto - 2021 - ACM Invited Lectures.
    Invited Lecture at the SRM ACM Student Chapter, India, on Cognitive Heuristics for Commonsense Thinking and Reasoning in the next generation Artificial Intelligence. The lecture proposes a historical and technical overview of strategies for commonsense reasoning in AI.
    Download  
     
    Export citation  
     
    Bookmark  
  21.  81
    Non-Deductive Logic in Mathematics: The Probability of Conjectures.James Franklin - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Springer. pp. 11--29.
    Mathematicians often speak of conjectures, yet unproved, as probable or well-confirmed by evidence. The Riemann Hypothesis, for example, is widely believed to be almost certainly true. There seems no initial reason to distinguish such probability from the same notion in empirical science. Yet it is hard to see how there could be probabilistic relations between the necessary truths of pure mathematics. The existence of such logical relations, short of certainty, is defended using the theory of logical probability (or objective Bayesianism (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Non-Deterministic Algebraization of Logics by Swap Structures1.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Logic Journal of the IGPL 28 (5):1021-1059.
    Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  23. Razão e irracionalidade na representação do conhecimento.Walter A. Carnielli & Mamede Lima Marques - 1991 - Trans/Form/Ação 14:165-177.
    How is it possible that beginning from the negation of rational thoughts one comes to produce knowledge? This problem, besides its intrinsic interest, acquires a great relevance when the representation of a knowledge is settled, for example, on data and automatic reasoning. Many treatment ways have been tried, as in the case of the non-monotonic logics; logics that intend to formalize an idea of reasoning by default, etc. These attempts are incomplete and are subject to failure. A possible solution (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. Swahili Conditional Constructions in Embodied Frames of Reference: Modeling Semantics, Pragmatics, and Context-Sensitivity in UML Mental Spaces.Roderick Fish - 2020 - Dissertation, Trinity Western University
    Studies of several languages, including Swahili [swa], suggest that realis (actual, realizable) and irrealis (unlikely, counterfactual) meanings vary along a scale (e.g., 0.0–1.0). T-values (True, False) and P-values (probability) account for this pattern. However, logic cannot describe or explain (a) epistemic stances toward beliefs, (b) deontic and dynamic stances toward states-of-being and actions, and (c) context-sensitivity in conditional interpretations. (a)–(b) are deictic properties (positions, distance) of ‘embodied’ Frames of Reference (FoRs)—space-time loci in which agents perceive and from which they (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25.  88
    Judgement Aggregation in Non-Classical Logics.Daniele Porello - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):106-139.
    This work contributes to the theory of judgement aggregation by discussing a number of significant non-classical logics. After adapting the standard framework of judgement aggregation to cope with non-classical logics, we discuss in particular results for the case of Intuitionistic Logic, the Lambek calculus, Linear Logic and Relevant Logics. The motivation for studying judgement aggregation in non-classical logics is that they offer a number of modelling choices to represent agents’ reasoning in aggregation problems. By studying judgement aggregation in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  78
    The Free Choice Permission as a Default Rule.Daniela Glavaničová - 2018 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 25 (4):495-516.
    It is quite plausible to say that you may read or write implies that you may read and you may write (though possibly not both at once). This so-called free choice principle is well-known in deontic logic. Sadly, despite being so intuitive and seemingly innocent, this principle causes a lot of worries. The paper briefly but critically examines leading accounts of free choice permission present in the literature. Subsequently, the paper suggests to accept the free choice principle, but only (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28.  81
    Singularity Humanities -Singularity Robot is a Member of Human Community.Daihyun Chung - 2017 - Cheolhak-Korean Journal of Philosophy 131:189-216.
    [Abstract] Suppose that the Big Bang was the first singularity in the history of the cosmos. Then it would be plausible to presume that the availability of the strong general intelligence should mark the second singularity for the natural human race. The human race needs to be prepared to make it sure that if a singularity robot becomes a person, the robotic person should be a blessing for the humankind rather than a curse. Toward this direction I would scrutinize the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. A Non-Classical Logical Foundation for Naturalised Realism.Emma Ruttkamp-Bloem, Giovanni Casini & Thomas Meyer - 2015 - In P. & M. Danćak Arazim (ed.), Logica Yearbook 2014. College Publications. pp. 249-266.
    In this paper, by suggesting a formal representation of science based on recent advances in logic-based Artificial Intelligence (AI), we show how three serious concerns around the realisation of traditional scientific realism (the theory/observation distinction, over-determination of theories by data, and theory revision) can be overcome such that traditional realism is given a new guise as ‘naturalised’. We contend that such issues can be dealt with (in the context of scientific realism) by developing a formal representation of science based (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. 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  
  31. Non-Normal Modalities in Variants of Linear Logic.D. Porello & N. Troquard - 2015 - Journal of Applied Non-Classical Logics 25 (3):229-255.
    This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic linear logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC.Richard Zach - 2018 - Australasian Journal of Logic 15 (3):609-628.
    Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Non-Deterministic Algebras and Algebraization of Logics.Ana Claudia Golzio & Marcelo E. Coniglio - 2015 - Filosofia da Linguagem E da Lógica (Philosophy of Language and Philosophy of Logic, in Portuguese).
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Re-Examining Husserl’s Non-Conceptualism in the Logical Investigations.Chad Kidd - 2019 - Archiv für Geschichte der Philosophie 101 (3):407-444.
    A recent trend in Husserl scholarship takes the Logische Untersuchungen (LU) as advancing an inconsistent and confused view of the non-conceptual content of perceptual experience. Against this, I argue that there is no inconsistency about non-conceptualism in LU. Rather, LU presents a hybrid view of the conceptual nature of perceptual experience, which can easily be misread as inconsistent, since it combines a conceptualist view of perceptual content (or matter) with a non-conceptualist view of perceptual acts. I show how this hybrid (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36.  11
    G. Priest's An Introduction to Non-Classical Logic (2001). [REVIEW]Hans-Peter Leeb - 2003 - History and Philosophy of Logic 24:65-66.
    The review gives a short description of the content of the book and discusses the treatment of conditionals in it.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  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  
  38.  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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39.  59
    A One-Valued Logic for Non-One-Sidedness.Fabien Schang - 2013 - International Journal of Jaina Studies 9 (1):1-25.
    Does it make sense to employ modern logical tools for ancient philosophy? This well-known debate2 has been re-launched by the indologist Piotr Balcerowicz, questioning those who want to look at the Eastern school of Jainism with Western glasses. While plainly acknowledging the legitimacy of Balcerowicz's mistrust, the present paper wants to propose a formal reconstruction of one of the well-known parts of the Jaina philosophy, namely: the saptabhangi, i.e. the theory of sevenfold predication. Before arguing for this formalist approach to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Logic, Ontological Neutrality, and the Law of Non-Contradiction.Achille C. Varzi - 2014 - In Elena Ficara (ed.), Contradictions. Logic, History, Actuality. De Gruyter. pp. 53–80.
    Abstract. As a general theory of reasoning—and as a general theory of what holds true under every possible circumstance—logic is supposed to be ontologically neutral. It ought to have nothing to do with questions concerning what there is, or whether there is anything at all. It is for this reason that traditional Aristotelian logic, with its tacit existential presuppositions, was eventually deemed inadequate as a canon of pure logic. And it is for this reason that modern quantification (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Words Without Objects: Semantics, Ontology, and Logic for Non-Singularity.Henry Laycock - 2006 - Oxford University Press.
    A picture of the world as chiefly one of discrete objects, distributed in space and time, has sometimes seemed compelling. It is however one of the main targets of Henry Laycock's book; for it is seriously incomplete. The picture, he argues, leaves no space for "stuff" like air and water. With discrete objects, we may always ask "how many?," but with stuff the question has to be "how much?" Laycock's fascinating exploration also addresses key logical and linguistic questions about the (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  42. Deviant Logic, Fuzzy Logic: Beyond the Formalism.Achille C. Varzi & Susan Haack - 1998 - Philosophical Review 107 (3):468.
    This book has three main parts. The first, longer, part is a reprint of the author's Deviant Logic, which initially appeared as a book by itself in 1974. The second and third parts include reprints of five papers originally published between 1973 and 1980. Three of them focus on the nature and justification of deductive reasoning, which are also a major concern of Deviant Logic. The other two are on fuzzy logic, and make up for a major (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  43. Non‐Standard Neutral Free Logic, Empty Names and Negative Existentials.Dolf Rami - manuscript
    In this paper I am concerned with an analysis of negative existential sentences that contain proper names only by using negative or neutral free logic. I will compare different versions of neutral free logic with the standard system of negative free logic (Burge, Sainsbury) and aim to defend my version of neutral free logic that I have labeled non-standard neutral free logic.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44. Logic and Semantics for Imperatives.Nate Charlow - 2014 - Journal of Philosophical Logic 43 (4):617-664.
    In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, which are then enlisted in explanations (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  45. Non-Inferential Transitions: Imagery and Association.Eric Mandelbaum & Jake Quilty-Dunn - forthcoming - In Timothy Chan & Anders Nes (eds.), Inference and Consciousness. New York, NY, USA:
    Unconscious logical inference seems to rely on the syntactic structures of mental representations (Quilty-Dunn & Mandelbaum 2018). Other transitions, such as transitions using iconic representations and associative transitions, are harder to assimilate to syntax-based theories. Here we tackle these difficulties head on in the interest of a fuller taxonomy of mental transitions. Along the way we discuss how icons can be compositional without having constituent structure, and expand and defend the “symmetry condition” on Associationism (the idea that associative links and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  96
    The Logicality of Language: A New Take on Triviality, `Ungrammaticality', and Logical Form.Guillermo Del Pinal - 2019 - Noûs 53 (4):785-818.
    Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth‐conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the ‘logicality of language’, accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter‐examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  47. Non‐Classical Knowledge.Ethan Jerzak - 2019 - Philosophy and Phenomenological Research 98 (1):190-220.
    The Knower paradox purports to place surprising a priori limitations on what we can know. According to orthodoxy, it shows that we need to abandon one of three plausible and widely-held ideas: that knowledge is factive, that we can know that knowledge is factive, and that we can use logical/mathematical reasoning to extend our knowledge via very weak single-premise closure principles. I argue that classical logic, not any of these epistemic principles, is the culprit. I develop a consistent theory (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  48. Paraconsistency: Logic and Applications.Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.) - 2013 - Springer.
    A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  49. The Logicality of Language: A New Take on Triviality, “Ungrammaticality”, and Logical Form.Guillermo Del Pinal - 2019 - Noûs 53 (4):785-818.
    Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  50. Non-Concrete Parts of Material Objects.Michael Longenecker - 2018 - Synthese 195 (11):5091-5111.
    This article offers a novel solution to the problem of material constitution: by including non-concrete objects among the parts of material objects, we can avoid having a statue and its constituent piece of clay composed of all the same proper parts. Non-concrete objects—objects that aren’t concrete, but possibly are—have been used in defense of the claim that everything necessarily exists. But the account offered shows that non-concreta are independently useful in other domains as well. The resulting view falls under a (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 997