Results for 'combining logics'

1000+ found
Order:
  1. Juxtaposition: A New Way to Combine Logics.Joshua Schechter - 2011 - Review of Symbolic Logic 4 (4):560-606.
    This paper develops a new framework for combining propositional logics, called "juxtaposition". Several general metalogical theorems are proved concerning the combination of logics by juxtaposition. In particular, it is shown that under reasonable conditions, juxtaposition preserves strong soundness. Under reasonable conditions, the juxtaposition of two consequence relations is a conservative extension of each of them. A general strong completeness result is proved. The paper then examines the philosophically important case of the combination of classical and intuitionist (...). Particular attention is paid to the phenomenon of collapse. It is shown that there are logics with two stocks of classical or intuitionist connectives that do not collapse. Finally, the paper briefy investigates the question of which rules, when added to these logics, lead to collapse. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  2. A Description Logic of Typicality for Conceptual Combination.Antonio Lieto & Gian Luca Pozzato - 2018 - In Proceedings of ISMIS 18. Springer.
    We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC + TR, based on the notion of rational closure, by inclusions p :: T(C) v D (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive heuristics (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  3. A Description Logic Framework for Commonsense Conceptual Combination Integrating Typicality, Probabilities and Cognitive Heuristics.Antonio Lieto & Gian Luca Pozzato - 2019 - Journal of Experimental and Theoretical Artificial Intelligence:1-39.
    We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of the combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC + TR, whose semantics is based on the notion of rational closure, as well as on the distributed semantics of probabilistic Description Logics, and is equipped with a cognitive heuristic used by humans for concept composition. We first extend the logic of typicality ALC + TR by typicality inclusions of (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  67
    Combining Algebraizable Logics.A. Jánossy, Á Kurucz & Á. E. Eiben - 1996 - Notre Dame Journal of Formal Logic 37 (2):366-380.
    The general methodology of "algebraizing" logics is used here for combining different logics. The combination of logics is represented as taking the colimit of the constituent logics in the category of algebraizable logics. The cocompleteness of this category as well as its isomorphism to the corresponding category of certain first-order theories are proved.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. A Categorial Approach to the Combination of Logics.Walter A. Carnielli & Marcelo E. Coniglio - 1999 - Manuscrito 22 (2):69-94.
    In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  6. Combining Montague Semantics and Discourse Representation.Reinhard Muskens - 1996 - Linguistics and Philosophy 19 (2):143 - 186.
    This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics.
    Download  
     
    Export citation  
     
    Bookmark   83 citations  
  7. Quantificational Logic and Empty Names.Andrew Bacon - 2013 - Philosophers' Imprint 13.
    The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  8. 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 you (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  9. Deontic Logics Based on Boolean Algebra.Pablo F. Castro & Piotr Kulicki - forthcoming - In Robert Trypuz (ed.), Krister Segerberg on Logic of Actions. Springer.
    Deontic logic is devoted to the study of logical properties of normative predicates such as permission, obligation and prohibition. Since it is usual to apply these predicates to actions, many deontic logicians have proposed formalisms where actions and action combinators are present. Some standard action combinators are action conjunction, choice between actions and not doing a given action. These combinators resemble boolean operators, and therefore the theory of boolean algebra offers a well-known athematical framework to study the properties of the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  10. The Logic of Fast and Slow Thinking.Anthia Solaki, Francesco Berto & Sonja Smets - 2021 - Erkenntnis 86 (3):733-762.
    We present a framework for epistemic logic, modeling the logical aspects of System 1 and System 2 cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds semantics with the techniques of Dynamic Epistemic Logic. It models non-logically-omniscient, but moderately rational agents: their System 1 makes fast sense of incoming information by integrating it on the basis of their background knowledge and beliefs. Their System 2 allows them to slowly, step-wise unpack some of the logical consequences (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  11. Stoic Sequent Logic and Proof Theory.Susanne Bobzien - 2019 - History and Philosophy of Logic 40 (3):234-265.
    This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  12. Logic and Formal Ontology.Barry Smith - 2000 - Manuscrito 23 (2):275-323.
    Revised version of chapter in J. N. Mohanty and W. McKenna (eds.), Husserl’s Phenomenology: A Textbook, Lanham: University Press of America, 1989, 29–67. -/- Logic for Husserl is a science of science, a science of what all sciences have in common in their modes of validation. Thus logic deals with universal laws relating to truth, to deduction, to verification and falsification, and with laws relating to theory as such, and to what makes for theoretical unity, both on the side of (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  13. New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers.Peter B. M. Vranas - 2008 - Noûs 42 (4):529-572.
    Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  14. The Limits and Basis of Logical Tolerance: Carnap’s Combination of Russell and Wittgenstein.Adam Tamas Tuboly - forthcoming - In Peter Stone (ed.), Bertrand Russell’s Life and Legacy. Vernon Press.
    Download  
     
    Export citation  
     
    Bookmark  
  15. A Resource-Sensitive Logic of Agency.Daniele Porello & Nicolas Troquard - 2014 - In Ios Press (ed.), Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), Prague, Czech Republic. 2014. pp. 723-728.
    We study a fragment of Intuitionistic Linear Logic combined with non-normal modal operators. Focusing on the minimal modal logic, we provide a Gentzen-style sequent calculus as well as a semantics in terms of Kripke resource models. We show that the proof theory is sound and complete with respect to the class of minimal Kripke resource models. We also show that the sequent calculus allows cut elimination. We put the logical framework to use by instantiating it as a logic of agency. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Quantum-Like Non-Separability of Concept Combinations, Emergent Associates and Abduction.P. Bruza, K. Kitto, B. Ramm, L. Sitbon & D. Song - 2012 - Logic Journal of the IGPL 20 (2):445-457.
    Consider the concept combination ‘pet human’. In word association experiments, human subjects produce the associate ‘slave’ in relation to this combination. The striking aspect of this associate is that it is not produced as an associate of ‘pet’, or ‘human’ in isolation. In other words, the associate ‘slave’ seems to be emergent. Such emergent associations sometimes have a creative character and cognitive science is largely silent about how we produce them. Departing from a dimensional model of human conceptual space, this (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  17.  39
    The Entanglement of Logic and Set Theory, Constructively.Laura Crosilla - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than classical logic. In (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  59
    On Graph-Theoretic Fibring of Logics.A. Sernadas, C. Sernadas, J. Rasga & M. Coniglio - 2009 - Journal of Logic and Computation 19 (6):1321-1357.
    A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  19. Language, Lambdas, and Logic.Reinhard Muskens - 2003 - In R. Oehrle & J. Kruijff (eds.), Resource Sensitivity, Binding, and Anaphora (Studies in Linguistics and Philosophy 80). Dordrecht: Kluwer Academic Publishers. pp. 23--54.
    The paper develops Lambda Grammars, a form of categorial grammar that, unlike other categorial formalisms, is non-directional. Linguistic signs are represented as sequences of lambda terms and are combined with the help of linear combinators.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  20. Chrysippus' Modal Logic and Its Relation to Philo and Diodorus.Susanne Bobzien - 1993 - In K. Doering & Th Ebert (eds.), Dialektiker und Stoiker. Franz Steiner. pp. 63--84.
    ABSTRACT: The modal systems of the Stoic logician Chrysippus and the two Hellenistic logicians Philo and Diodorus Cronus have survived in a fragmentary state in several sources. From these it is clear that Chrysippus was acquainted with Philo’s and Diodorus’ modal notions, and also that he developed his own in contrast of Diodorus’ and in some way incorporated Philo’s. The goal of this paper is to reconstruct the three modal systems, including their modal definitions and modal theorems, and to make (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  21. The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality.Avi Sion - 2010 - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
    The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part of a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.Valentin Goranko & Alberto Zanardo - 2007 - Logic Journal of the IGPL 15 (1):53-76.
    This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  46
    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  
  24. Heinrich Behmann’s 1921 Lecture on the Decision Problem and the Algebra of Logic.Paolo Mancosu & Richard Zach - 2015 - Bulletin of Symbolic Logic 21 (2):164-187.
    Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic remarks on (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  25. Computational Logic. Vol. 1: Classical Deductive Computing with Classical Logic.Luis M. Augusto - 2018 - London: College Publications.
    This is the first of a two-volume work combining two fundamental components of contemporary computing into classical deductive computing, a powerful form of computation, highly adequate for programming and automated theorem proving, which, in turn, have fundamental applications in areas of high complexity and/or high security such as mathematical proof, software specification and verification, and expert systems. Deductive computation is concerned with truth-preservation: This is the essence of the satisfiability problem, or SAT, the central computational problem in computability and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. 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 differentiated from (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  67
    A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation.V. Goranko, A. Montanari, P. Sala & G. Sciavicco - 2006 - Journal of Applied Logic 4 (3):305-330.
    In this paper we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for linear and branching time point-based temporal logics, not much work has been done on tableau methods for interval-based ones. We develop a general tableau method for Venema's \cdt\ logic interpreted over partial orders (\nsbcdt\ for (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  28. Counterfactual Logic and the Necessity of Mathematics.Samuel Elgin - manuscript
    This paper is concerned with counterfactual logic and its implications for the modal status of mathematical claims. It is most directly a response to an ambitious program by Yli-Vakkuri and Hawthorne (2018), who seek to establish that mathematics is committed to its own necessity. I claim that their argument fails to establish this result for two reasons. First, their assumptions force our hand on a controversial debate within counterfactual logic. In particular, they license counterfactual strengthening— the inference from ‘If A (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Type-Logical Semantics.Reinhard Muskens - 2011 - Routledge Encyclopedia of Philosophy Online.
    Type-logical semantics studies linguistic meaning with the help of the theory of types. The latter originated with Russell as an answer to the paradoxes, but has the additional virtue that it is very close to ordinary language. In fact, type theory is so much more similar to language than predicate logic is, that adopting it as a vehicle of representation can overcome the mismatches between grammatical form and predicate logical form that were observed by Frege and Russell. The grammatical forms (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Logic and Spirituality to Maximus the Confessor.Nichifor Tănase - 2015 - Philotheos 15:134-159.
    Giving justice to Maximus any philosophy wich does not include mysticism will be false as philosophy. Our metaphysics must be mystical in order to be rational. In Maximus’ doctrine, then, Christ comes not to destroy but to fulfill the metaphysics of mystery elaborated by the philosophers. For him there can be no separation between philosophy and theology, or between natural and revealed theology. Thereby, Christology and liturgical mysticism are not additional to a neoplatonic, aristotelian, and other methaphysics. Maximus concern was (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. A Graph-Theoretic Account of Logics.A. Sernadas, C. Sernadas, J. Rasga & Marcelo E. Coniglio - 2009 - Journal of Logic and Computation 19 (6):1281-1320.
    A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  32. Doing the Right Things–Trivalence in Deontic Action Logic.Piotr Kulicki & Robert Trypuz - 2012 - Trivalent Logics and Their Applications.
    Trivalence is quite natural for deontic action logic, where actions are treated as good, neutral or bad.We present the ideas of trivalent deontic logic after J. Kalinowski and its realisation in a 3-valued logic of M. Fisher and two systems designed by the authors of the paper: a 4-valued logic inspired by N. Belnap’s logic of truth and information and a 3-valued logic based on nondeterministic matrices. Moreover, we combine Kalinowski’s idea of trivalence with deontic action logic based on boolean (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33. 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  
  34.  29
    A State-of-Affairs-Semantic Solution to the Problem of Extensionality in Free Logic.Hans-Peter Leeb - 2020 - Journal of Philosophical Logic 49 (6):1091-1109.
    If one takes seriously the idea that a scientific language must be extensional, and accepts Quine’s notion of truth-value-related extensionality, and also recognizes that a scientific language must allow for singular terms that do not refer to existing objects, then there is a problem, since this combination of assumptions must be inconsistent. I will argue for a particular solution to the problem, namely, changing what is meant by the word ‘extensionality’, so that it would not be the truth-value that had (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle: Articles and Reviews 2006-2016.Michael Starks - 2016 - Michael Starks.
    This collection of articles was written over the last 10 years and the most important and longest within the last year. Also I have edited them to bring them up to date (2016). The copyright page has the date of this first edition and new editions will be noted there as I edit old articles or add new ones. All the articles are about human behavior (as are all articles by anyone about anything), and so about the limitations of having (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36.  95
    Suggestions On How To Combine The Platonic Forms To Overcome The Interpretative Difficulties Of The Parmenides Dialogue.Gerardo Óscar Matía Cubillo - 2021 - Revista de Filosofía de la Universidad de Costa Rica 60 (156):157-171.
    This paper provides an original approach to research on the logical processes that determine how certain forms participate in others. By introducing the concept of relational participation, the problems of self-referentiality of the Platonic forms can be dealt with more effectively. Applying this to the forms of likeness and unlikeness in Parmenides 132d-133a reveals a possible way to resolve different versions of the Third Man Argument. The method of generating numbers from oddness and evenness may also be of interest; relational (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37.  78
    A Toothful of Concepts: Towards a Theory of Weighted Concept Combination.Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani & Claudio Masolo - 2019 - In Mantas Simkus & Grant E. Weddell (eds.), Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019.
    We introduce a family of operators to combine Description Logic concepts. They aim to characterise complex concepts that apply to instances that satisfy \enough" of the concept descriptions given. For instance, an individual might not have any tusks, but still be considered an elephant. To formalise the meaning of "enough", the operators take a list of weighted concepts as arguments, and a certain threshold to be met. We commence a study of the formal properties of these operators, and study some (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38.  96
    Semantic Information G Theory and Logical Bayesian Inference for Machine Learning.Chenguang Lu - 2019 - Information 10 (8):261.
    An important problem with machine learning is that when label number n>2, it is very difficult to construct and optimize a group of learning functions, and we wish that optimized learning functions are still useful when prior distribution P(x) (where x is an instance) is changed. To resolve this problem, the semantic information G theory, Logical Bayesian Inference (LBI), and a group of Channel Matching (CM) algorithms together form a systematic solution. MultilabelMultilabel A semantic channel in the G theory consists (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Llull and Leibniz: The Logic of Discovery.John R. Welch - 1990 - Catalan Review 4:75-83.
    Llull and Leibniz both subscribed to conceptual atomism: the belief that the majority of concepts are compounds constructed from a relatively small number of primitive concepts. Llull worked out techniques for finding the logically possible combinations of his primitives, but Leibniz criticized Llull’s execution of these techniques. This article argues that Leibniz was right about things being more complicated than Llull thought but that he was wrong about the details. The paper attempts to correct these details.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40. What's Wrong with Logic?Rani Lill Anjum - 2012 - Argumentos 4 (8).
    The truth functional account of conditional statements ‘if A then B’ is not only inadequate; it eliminates the very conditionality expressed by ‘if’. Focusing only on the truth-values of the statements ‘A’ and ‘B’ and different combinations of these, one is bound to miss out on the conditional relation expressed between them. All approaches that treat conditionals as functions of their antecedents and consequents will end up in some sort of logical atomism where causal matters simply are reduced to the (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  50
    Double Trouble for Logical Pluralists.J. W. Evershed - forthcoming - Proceedings of the Aristotelian Society:1-14.
    According to tradition, logic is normative for reasoning. According to many contemporary philosophers of logic, there is more than one correct logic. What is the relationship between these two strands of thought? This paper makes two claims. First, logic is doubly normative for reasoning because, in addition to constraining the combinations of beliefs that we may have, logic also constrains the methods by which we may form them. Second, given that logic is doubly normative for reasoning, a wide array of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42.  92
    Evolutionary Psychology and the Selectionist Model of Neural Development: A Combined Approach.Bence Nanay - 2002 - Evolution and Cognition 8:200-206.
    Evolutionary psychology and the selectionist theories of neural development are usually regarded as two unrelated theories addressing two logically distinct questions. The focus of evolutionary psychology is the phylogeny of the human mind, whereas the selectionist theories of neural development analyse the ontogeny of the mind. This paper will endeavour to combine these two approaches in the explanation of the human mind. Doing so might help in overcoming some of the criticisms of both theories. The first part of the paper (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Language, Truth, and Logic and the Anglophone Reception of the Vienna Circle.Andreas Vrahimis - 2020 - In Adam Tamas Tuboly (ed.), The Historical and Philosophical Significance of Ayer’s Language, Truth and Logic. Hampshire: Palgrave. pp. 41-68.
    A. J. Ayer’s Language, Truth, and Logic had been responsible for introducing the Vienna Circle’s ideas, developed within a Germanophone framework, to an Anglophone readership. Inevitably, this migration from one context to another resulted in the alteration of some of the concepts being transmitted. Such alterations have served to facilitate a number of false impressions of Logical Empiricism from which recent scholarship still tries to recover. In this paper, I will attempt to point to the ways in which LTL has (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44.  25
    Structured Argumentation Dynamics: Undermining Attacks in Default Justification Logic.Stipe Pandžić - forthcoming - Annals of Mathematics and Artificial Intelligence:1-41.
    This paper develops a logical theory that unifies all three standard types of argumentative attack in AI, namely rebutting, undercutting and undermining attacks. We build on default justification logic that already represents undercutting and rebutting attacks, and we add undermining attacks. Intuitively, undermining does not target default inference, as undercutting, or default conclusion, as rebutting, but rather attacks an argument’s premise as a starting point for default reasoning. In default justification logic, reasoning starts from a set of premises, which is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Down Girl: The Logic of Misogyny, by Kate Manne. [REVIEW]Nora Berenstain - 2019 - Mind 128 (512):1360-1371.
    Kate Manne’s Down Girl: The Logic of Misogyny combines traditional conceptual analysis and feminist conceptual engineering with critical exploration of cases drawn from popular culture and current events in order to produce an ameliorative account of misogyny, i.e., one that will help address the problems of misogyny in the actual world. A feminist account of misogyny that is both intersectional and ameliorative must provide theoretical tools for recognizing misogyny in its many-dimensional forms, as it interacts and overlaps with other oppressions. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Hyperlogic: A System for Talking About Logics.Alexander W. Kocurek - 2019 - Proceedings for the 22nd Amsterdam Colloquium.
    Sentences about logic are often used to show that certain embedding expressions, including attitude verbs, conditionals, and epistemic modals, are hyperintensional. Yet it not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. This paper does two things. First, it argues against a standard account of logic talk, viz., the impossible worlds semantics. It is shown that this semantics does not easily extend to a language with propositional quantifiers, which (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Expanding the Universe of Universal Logic.James Trafford - 2014 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 29 (3):325-343.
    In [5], Béziau provides a means by which Gentzen’s sequent calculus can be combined with the general semantic theory of bivaluations. In doing so, according to Béziau, it is possible to construe the abstract “core” of logics in general, where logical syntax and semantics are “two sides of the same coin”. The central suggestion there is that, by way of a modification of the notion of maximal consistency, it is possible to prove the soundness and completeness for any normal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic.Jesse Fitts & David Beisecker - 2019 - Teaching Philosophy 42 (1):41-56.
    This paper will present two contributions to teaching introductory logic. The first contribution is an alternative tree proof method that differs from the traditional one-sided tree method. The second contribution combines this tree system with an index system to produce a user-friendly tree method for sentential modal logic.
    Download  
     
    Export citation  
     
    Bookmark  
  49. Two Reformulations of the Verificationist Thesis in Epistemic Temporal Logic That Avoid Fitch’s Paradox.Alexandru Dragomir - 2014 - Romanian Journal of Analytic Philosophy 8 (1):44-62.
    1) We will begin by offering a short introduction to Epistemic Logic and presenting Fitch’s paradox in an epistemic‑modal logic. (2) Then, we will proceed to presenting three Epistemic Temporal logical frameworks creat‑ ed by Hoshi (2009) : TPAL (Temporal Public Announcement Logic), TAPAL (Temporal Arbitrary Public Announcement Logic) and TPAL+P ! (Temporal Public Announcement Logic with Labeled Past Operators). We will show how Hoshi stated the Verificationist Thesis in the language of TAPAL and analyze his argument on why this (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50.  17
    Integrated Design of Adaptive & Fuzzy Logic Control for Trajectory Tracking of 2 DOF Quadrotor.Mustefa Jibril - 2021 - ScienceOpen 7 (3):1-16.
    Accurate and precise trajectory tracking is crucial for a quadrotor to operate in disturbed environments. This paper presents a novel tracking hybrid controller for a quadrotor UAV that combines the Adaptive and Fuzzy logic controller. The Adaptive fuzzy controller is implemented to govern the behavior of two degrees of freedom quadrotor UAV. The proposed controller allows controlling the movement of UAVs to track a given trajectory in a 2D vertical plane. The Fuzzy Logic system provides an automatic adjustment of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000