Results for 'description logics'

946 found
Order:
  1. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  2. A Description Logic of Typicality for Conceptual Combination.Antonio Lieto & Gian Luca Pozzato - 2018 - In Antonio Lieto & Gian Luca Pozzato (eds.), 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  3. (1 other version)An Occurrence Description Logic.Farshad Badie & Hans Götzsche - forthcoming - Logical Investigations:142-156.
    Description Logics (DLs) are a family of well-known terminological knowledge representation formalisms in modern semantics-based systems. This research focuses on analysing how our developed Occurrence Logic (OccL) can conceptually and logically support the development of a description logic. OccL is integrated into the alternative theory of natural language syntax in `Deviational Syntactic Structures' under the label `EFA(X)3' (or the third version of Epi-Formal Analysis in Syntax, EFA(X), which is a radical linguistic theory). From the logical point of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Towards World Identification in Description Logics.Farshad Badie - forthcoming - Logical Investigations:115–134.
    Logical analysis of the applicability of nominals (which are introduced by hybrid logic) in the formal descriptions of the world (within modern knowledge representation and semantics-based systems) is very important because nominals, as second sorts of propositional symbols, can support logical identification of the described world at specific [temporal and/or spacial] states. This paper will focus on answering the philosophical-logical question of ‘how a fundamental world description in description logic (DL) and a nominal can be related to each (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Ontology and medical terminology: Why description logics are not enough.Werner Ceusters, Barry Smith & Jim Flanagan - 2003 - In Werner Ceusters, Smith Barry & Jim Flanagan (eds.), in Proceedings of the Conference: Towards an Electronic Patient Record (TEPR 2003). Medical Records Institute.
    Ontology is currently perceived as the solution of first resort for all problems related to biomedical terminology, and the use of description logics is seen as a minimal requirement on adequate ontology-based systems. Contrary to common conceptions, however, description logics alone are not able to prevent incorrect representations; this is because they do not come with a theory indicating what is computed by using them, just as classical arithmetic does not tell us anything about the entities (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  6.  99
    Two semantic interpretations of probabilities in description logics of typicality.Antonio Lieto & Gian Luca Pozzato - forthcoming - Logic Journal of the IGPL.
    We intoduce a novel extension of Description Logics (DLs) of typicality by means of probabilities able to represent and reason about typical properties and defeasible inheritance in DLs.
    Download  
     
    Export citation  
     
    Bookmark  
  7. Uniform and Modular Sequent Systems for Description Logics.Tim Lyon & Jonas Karge - 2022 - In Ofer Arieli, Martin Homola, Jean Christoph Jung & Marie-Laure Mugnier (eds.), Proceedings of the 35th International Workshop on Description Logics (DL 2022).
    We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common description logics, but also allows for sequent systems to be obtained for extensions of description logics with special formulae that we call "role relational axioms." All sequent systems are sound, complete, and possess favorable properties such as height-preserving admissibility of common structural rules and height-preserving invertibility of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Investigating Subsumption in SNOMED CT: An Exploration into Large Description Logic-Based Biomedical Terminologies.Olivier Bodenreider, Barry Smith, Anand Kumar & Anita Burgun - 2007 - Artificial Intelligence in Medicine 39 (3):183-195.
    Formalisms based on one or other flavor of Description Logic (DL) are sometimes put forward as helping to ensure that terminologies and controlled vocabularies comply with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) does indeed comply with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  9. Definite Descriptions in Intuitionist Positive Free Logic.Nils Kürbis - 2020 - Logic and Logical Philosophy 30:1.
    This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Logic. of Descriptions. A New Approach to the Foundations of Mathematics and Science.Joanna Golińska-Pilarek & Taneli Huuskonen - 2012 - Studies in Logic, Grammar and Rhetoric 27 (40):63-94.
    We study a new formal logic LD introduced by Prof. Grzegorczyk. The logic is based on so-called descriptive equivalence, corresponding to the idea of shared meaning rather than shared truth value. We construct a semantics for LD based on a new type of algebras and prove its soundness and completeness. We further show several examples of classical laws that hold for LD as well as laws that fail. Finally, we list a number of open problems. -/- .
    Download  
     
    Export citation  
     
    Bookmark  
  11. Descriptive Complexity, Computational Tractability, and the Logical and Cognitive Foundations of Mathematics.Markus Pantsar - 2021 - Minds and Machines 31 (1):75-98.
    In computational complexity theory, decision problems are divided into complexity classes based on the amount of computational resources it takes for algorithms to solve them. In theoretical computer science, it is commonly accepted that only functions for solving problems in the complexity class P, solvable by a deterministic Turing machine in polynomial time, are considered to be tractable. In cognitive science and philosophy, this tractability result has been used to argue that only functions in P can feasibly work as computational (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  12. Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (4):299-317.
    Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented in (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  83
    Normalisation for Negative Free Logics Without and with Definite Descriptions.Nils Kürbis - forthcoming - Review of Symbolic Logic.
    This paper proves normalisation theorems for intuitionist and classical negative free logic, without and with the $\invertediota$ operator for definite descriptions. Rules specific to free logic give rise to new kinds of maximal formulas additional to those familiar from standard intuitionist and classical logic. When $\invertediota$ is added it must be ensured that reduction procedures involving replacements of parameters by terms do not introduce new maximal formulas of higher degree than the ones removed. The problem is solved by a rule (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (2):81-97.
    This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  15. Logical analysis versus Phenomenological Descriptions.Denis Fisette - 2004 - In Feist R. (ed.), Husserl and the Sciences. University of Ottawa Press. pp. 69-98.
    Husserl and Frege on the analysis of the concept of number and primitive logical concepts.
    Download  
     
    Export citation  
     
    Bookmark  
  16. Remarks on logic for process descriptions in ontological reasoning: A Drug Interaction Ontology case study.Mitsuhiro Okada, Barry Smith & Yutaro Sugimoto - 2008 - In Okada Mitsuhiro, Smith Barry & Sugimoto Yutaro (eds.), InterOntology. Proceedings of the First Interdisciplinary Ontology Meeting, Tokyo, Japan, 26-27 February 2008. Tokyo: Keio University Press. pp. 127-138.
    We present some ideas on logical process descriptions, using relations from the DIO (Drug Interaction Ontology) as examples and explaining how these relations can be naturally decomposed in terms of more basic structured logical process descriptions using terms from linear logic. In our view, the process descriptions are able to clarify the usual relational descriptions of DIO. In particular, we discuss the use of logical process descriptions in proving linear logical theorems. Among the types of reasoning supported by DIO one (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. A Logic-based Tool for Dynamic Generation and Classification of Musical Content.Antonio Lieto - 2022 - In proceedings of AI*IA 2022. Springer LNCS. pp. 1-12.
    In this work we present NERVOUS, an intelligent recommender system exploiting a probabilistic extension of a Description Logic of typicality to dynamically generate novel contents in AllMusic, a comprehensive and in-depth resource about music, providing data about albums, bands, musicians and songs. The tool can be used for both the generation of novel music genres and styles, described by a set of typical properties characterizing them, and the reclassification of the available songs within such new genres.
    Download  
     
    Export citation  
     
    Bookmark  
  18. A Binary Quantifier for Definite Descriptions for Cut Free Free Logics.Nils Kürbis - 2021 - Studia Logica 110 (1):219-239.
    This paper presents rules in sequent calculus for a binary quantifier I to formalise definite descriptions: Ix[F, G] means ‘The F is G’. The rules are suitable to be added to a system of positive free logic. The paper extends the proof of a cut elimination theorem for this system by Indrzejczak by proving the cases for the rules of I. There are also brief comparisons of the present approach to the more common one that formalises definite descriptions with a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Concept Combination in Weighted Logic.Guendalina Righetti, Claudio Masolo, Nicolas Toquard, Oliver Kutz & Daniele Porello - 2021 - In Guendalina Righetti, Claudio Masolo, Nicolas Toquard, Oliver Kutz & Daniele Porello (eds.), Proceedings of the Joint Ontology Workshops 2021 Episode {VII:} The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems {(FOIS} 2021), and the 12th Internati.
    We present an algorithm for concept combination inspired and informed by the research in cognitive and experimental psychology. Dealing with concept combination requires, from a symbolic AI perspective, to cope with competitive needs: the need for compositionality and the need to account for typicality effects. Building on our previous work on weighted logic, the proposed algorithm can be seen as a step towards the management of both these needs. More precisely, following a proposal of Hampton [1], it combines two weighted (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. A non-classical logical foundation for naturalised realism.Emma Ruttkamp-Bloem, Giovanni Casini & Thomas Meyer - 2015 - In Pavel Arazim & Michal Dancak (eds.), 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 on (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Description, Construction and Representation. From Russell and Carnap to Stone.Thomas Mormann - 2006 - In Guido Imagire & Christine Schneider (eds.), Untersuchungen zur Ontologie.
    The first aim of this paper is to elucidate Russell’s construction of spatial points, which is to be <br>considered as a paradigmatic case of the "logical constructions" that played a central role in his epistemology and theory of science. Comparing it with parallel endeavours carried out by Carnap and Stone it is argued that Russell’s construction is best understood as a structural representation. It is shown that Russell’s and Carnap’s representational constructions may be considered as incomplete and sketchy harbingers of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Formal thought disorder and logical form: A symbolic computational model of terminological knowledge.Luis M. Augusto & Farshad Badie - 2022 - Journal of Knowledge Structures and Systems 3 (4):1-37.
    Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. DESCRIPTION, ESPACE LOGIQUE ET ENJEU DE L'IMPLICATION DE L'OUVERTURE AU LANGAGE POUR LA CONCEPTION DU JUGEMENT DE LA LOGIQUE DE PORT-ROYAL.Katarina Peixoto - 2020 - Logique Et Analyse 249 (249-250):79-95.
    In this study, I intend to show how and why, in the Port-Royal Logic, a singular term can reveal the nature of the logical judgment in the handbook. As I argue, the treatment given to one of thee singular terms, namely, the defined descriptions, in the terminology introduced by Russell, leads to an opening to langage that sounds unexpected and unjustified. Considering the privilege of thinking over langage and also that judgment is the mental act that defines logic, however, we (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. A Simple Logic of Concepts.Thomas F. Icard & Lawrence S. Moss - 2022 - Journal of Philosophical Logic 52 (3):705-730.
    In Pietroski ( 2018 ) a simple representation language called SMPL is introduced, construed as a hypothesis about core conceptual structure. The present work is a study of this system from a logical perspective. In addition to establishing a completeness result and a complexity characterization for reasoning in the system, we also pinpoint its expressive limits, in particular showing that the fourth corner in the square of opposition (“ Some_not ”) eludes expression. We then study a seemingly small extension, called (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Logic and Natural Language: Commitments and Constraints.Gil Sagi - 2020 - Disputatio 12 (58):377-408.
    In his new book, Logical Form, Andrea Iacona distinguishes between two different roles that have been ascribed to the notion of logical form: the logical role and the semantic role. These two roles entail a bifurcation of the notion of logical form. Both notions of logical form, according to Iacona, are descriptive, having to do with different features of natural language sentences. I agree that the notion of logical form bifurcates, but not that the logical role is merely descriptive. In (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Carnap’s Theory of Descriptions and its Problems.Jan Heylen - 2010 - Studia Logica 94 (3):355-380.
    Carnap's theory of descriptions was restricted in two ways. First, the descriptive conditions had to be non-modal. Second, only primitive predicates or the identity predicate could be used to predicate something of the descriptum . The motivating reasons for these two restrictions that can be found in the literature will be critically discussed. Both restrictions can be relaxed, but Carnap's theory can still be blamed for not dealing adequately with improper descriptions.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  27.  89
    Logic as an internal organisation of language.Boris Čulina - 2024 - Science and Philosophy 12 (1):62-71.
    Contemporary semantic description of logic is based on the ontology of all possible interpretations, an insufficiently clear metaphysical concept. In this article, logic is described as the internal organization of language. Logical concepts -- logical constants, logical truths, and logical consequence -- are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which the universal and existential quantifiers (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Definite Descriptions in Argument: Gettier’s Ten-Coins Example.Yussif Yakubu - 2020 - Argumentation 34 (2):261-274.
    In this article, I use Edmund Gettier’s Ten Coins hypothetical scenario to illustrate some reasoning errors in the use of definite descriptions. The Gettier problem, central as it is to modern epistemology, is first and foremost an argument, which Gettier (Analysis 23(6):121–123, 1963) constructs to prove a contrary conclusion to a widely held view in epistemology. Whereas the epistemological claims in the case have been extensively analysed conceptually, the strategies and tools from other philosophical disciplines such as analytic philosophy of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. What Is a Good Domain Description? Evaluating and Revising Action Theories in Dynamic Logic.Ivan Varzinczak - 2006 - Dissertation, Université Paul Sabatier
    Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the meta-theory of actions by investigating what other properties a good domain de- scription should satisfy. Having Propositional Dynamic Logic (PDL) as background, we state some meta-theoretical postulates concerning this sore spot. When all pos- tulates are satisfied, we call the action theory modular. We point out the problems that arise when the postulates (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Descriptions as predicates.Delia Graff Fara - 2001 - Philosophical Studies 102 (1):1-42.
    Although Strawson’s main aim in “On Referring” was to argue that definite descriptions can be used referentially – that is, “to mention or refer to some individual person or single object . . . , in the course of doing what we should normally describe as making a statement about that person [or] object” (1950, p. 320) – he denied that definite descriptions are always used referentially. The description in ‘Napoleon was the greatest French soldier’ is not used referentially, (...)
    Download  
     
    Export citation  
     
    Bookmark   81 citations  
  31. Logical Indefinites.Jack Woods - 2014 - Logique Et Analyse -- Special Issue Edited by Julien Murzi and Massimiliano Carrara 227: 277-307.
    I argue that we can and should extend Tarski's model-theoretic criterion of logicality to cover indefinite expressions like Hilbert's ɛ operator, Russell's indefinite description operator η, and abstraction operators like 'the number of'. I draw on this extension to discuss the logical status of both abstraction operators and abstraction principles.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  32.  25
    Les descriptions définies ont-elles une logique?Hady Ba - 2024 - le Cahier Philosophique D’Afrique. Revue Internationale de Philosophie 1 (1):25-51.
    La logique peut-elle se détacher des facteurs environnementaux et opérer indépendamment des états mentaux des locuteurs ? Dans cette article, nous montrons comment on est passé d’une réponse positive à une réponse négative à cette question. La critique de la formalisation logique des descriptions définies amorcée par Strawson, a été critiquée et étendue par Donnellan, qui distingue les usage référentiels et attributifs du langage et montre que la formalisation des énoncés en langue naturelle est inextricable de facteurs pragmatiques non automatisables. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. Construction by Description in Discourse Representation.Noor van Leusen & Reinhard Muskens - 2003 - In Jaroslav Peregrin (ed.), Meaning: the dynamic turn. Oxford, UK: Elsevier Science. pp. 33-65.
    This paper uses classical logic for a simultaneous description of the syntax and semantics of a fragment of English and it is argued that such an approach to natural language allows procedural aspects of linguistic theory to get a purely declarative formulation. In particular, it will be shown how certain construction rules in Discourse Representation Theory, such as the rule that indefinites create new discourse referents and definites pick up an existing referent, can be formulated declaratively if logic is (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  34. Argumentations and Logic.John Corcoran - 1989 - ARGUMENTAION 3 (1):17-43.
    Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  35. Description theory, LTAGs and Underspecified Semantics.Reinhard Muskens & Emiel Krahmer - 1998 - In Anne Abeillé, Tilman Becker, Giorgio Satta & K. Vijay-Shanker (eds.), Fourth International Workshop on Tree Adjoining Grammars and Related Frameworks. Institute for Research in Cognitive Science. pp. 112-115.
    An attractive way to model the relation between an underspecified syntactic representation and its completions is to let the underspecified representation correspond to a logical description and the completions to the models of that description. This approach, which underlies the Description Theory of Marcus et al. 1983 has been integrated in Vijay-Shanker 1992 with a pure unification approach to Lexicalized Tree-Adjoining Grammars (Joshi et al. 1975, Schabes 1990). We generalize Description Theory by integrating semantic information, that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Logical Form, the First Person, and Naturalism about Psychology: The Case Against Physicalist Imperialism.Frederique Janssen-Lauret - 2017 - In Uskali Mäki, Adrian Walsh & Manuela Fernández Pinto (eds.), Scientific Imperialism: Exploring the Boundaries of Interdisciplinarity. Routledge. pp. 237-253.
    Physicalistic theories of psychology are a classic case of scientific imperialism: the explanatory capacity of physics, both with respect to its methods and to its domain, is taken to extend beyond the traditional realm of physics, and into that of psychology. I argue in this paper that this particular imperialistic venture has failed. Contemporary psychology uses methods not modelled on those of physics, embracing first-personal methodology where physics is strictly impersonal. I make the case that whether or not scientific imperialism (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Logical Realism: A Tale of Two Theories.Gila Sher - 2024 - In Sophia Arbeiter & Juliette Kennedy (eds.), The Philosophy of Penelope Maddy. Springer.
    The paper compares two theories of the nature of logic: Penelope Maddy's and my own. The two theories share a significant element: they both view logic as grounded not just in the mind (language, concepts, conventions, etc.), but also, and crucially, in the world. But the two theories differ in significant ways as well. Most distinctly, one is an anti-holist, "austere naturalist" theory while the other is a non-naturalist "foundational-holistic" theory. This methodological difference affects their questions, goals, orientations, the scope (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. World and Logic.Jens Lemanski - 2021 - London, Vereinigtes Königreich: College Publications.
    What is the relationship between the world and logic, between intuition and language, between objects and their quantitative determinations? Rationalists, on the one hand, hold that the world is structured in a rational way. Representationalists, on the other hand, assume that language, logic, and mathematics are only the means to order and describe the intuitively given world. In World and Logic, Jens Lemanski takes up three surprising arguments from Arthur Schopenhauer’s hitherto undiscovered Berlin Lectures, which concern the philosophy of language, (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  39. Logic or Reason?Penelope Rush - 2012 - Logic and Logical Philosophy 21 (2):127-163.
    This paper explores the question of what logic is not. It argues against the wide spread assumptions that logic is: a model of reason; a model of correct reason; the laws of thought, or indeed is related to reason at all such that the essential nature of the two are crucially or essentially co-illustrative. I note that due to such assumptions, our current understanding of the nature of logic itself is thoroughly entangled with the nature of reason. I show that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Perceptron Connectives in Knowledge Representation.Pietro Galliani, Guendalina Righetti, Daniele Porello, Oliver Kutz & Nicolas Toquard - 2020 - In Pietro Galliani, Guendalina Righetti, Daniele Porello, Oliver Kutz & Nicolas Toquard (eds.), Knowledge Engineering and Knowledge Management - 22nd International Conference, {EKAW} 2020, Bolzano, Italy, September 16-20, 2020, Proceedings. Lecture Notes in Computer Science 12387. pp. 183-193.
    We discuss the role of perceptron (or threshold) connectives in the context of Description Logic, and in particular their possible use as a bridge between statistical learning of models from data and logical reasoning over knowledge bases. We prove that such connectives can be added to the language of most forms of Description Logic without increasing the complexity of the corresponding inference problem. We show, with a practical example over the Gene Ontology, how even simple instances of perceptron (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  41. Nominal Conceptualism and Logical Modelling of Agents’ Conceptions.Farshad Badie - 2021 - Логико-Философские Штудии 1 (19):95-100.
    In the view of my philosophical position “nominal conceptualism”, cognitive/knowledge agents, who are in some way aware of expressing the world based on their mental concepts, deal with their linguistic and/or symbolic expressions. In this paper I rely on nominal conceptualism to logically characterise agents’ concept-based descriptions of the world and analyse a fundamental logical system for conception representation.
    Download  
     
    Export citation  
     
    Bookmark  
  42. Logical Positivism and Carnap's Confirmability on the Meaningfulness of Religious Language.Alberto Oya - 2018 - Espíritu 67 (155):243-249.
    Due to their acceptance of the verifiability principle, the only way left for logical positivists to argue for the meaningfulness of religious language was to accept some sort of emotivistic conception of it or to reduce it to the description of religious attitude. The verifiability principle, however, suffers from some severe limitations that make it inadequate as a criterion for cognitive meaning. To resolve these problems, logical positivists gave up the requirement of conclusive verifiability and defended a sort of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Normalizing medical ontologies using Basic Formal Ontology.Thomas Bittner & Barry Smith - 2004 - In K. Versorgung & V. Forschung (eds.), Ubiquitäre Information (Proceedings of GMDS 2004). Videel OHG. pp. 199-201.
    Description Logics are nowadays widely accepted as formalisms which provide reasoning facilities which allow us to discover inconsistencies in ontologies in an automatic fashion. Where ontologies are developed in modular fashion, they allow changes in one module to propogated through the system of ontologies automatically in a way which helps to maintain consistency and stability. For this feature to be utilized effectively, however, requires that domain ontologies be represented in a normalized form.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  44. Logic and Constructivism: A Model of Terminological Knowledge.Farshad Badie - 2020 - Journal of Knowledge Structures and Systems 1 (1):23-39.
    This original research hypothesises that the most fundamental building blocks of logical descriptions of cognitive, or knowledge, agents’ descriptions are expressible based on their conceptions (of the world). This article conceptually and logically analyses agents’ conceptions in order to offer a constructivist- based logical model for terminological knowledge. The most significant characteristic of [terminological] knowing is that there are strong interrelationships between terminological knowledge and the individualistic constructed, and to-be-constructed, models of knowledge. Correspondingly, I conceptually and logically analyse conception expressions (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  45. Proof Theory and Semantics for a Theory of Definite Descriptions.Nils Kürbis - 2021 - In Anupam Das & Sara Negri (eds.), TABLEAUX 2021, LNAI 12842.
    This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier I. I forms a formula from two formulas. Ix[F, G] means ‘The F is G’. This approach has the advantage of incorporating scope distinctions directly into the notation. Cut elimination is proved for a system of classical positive free logic with I and it is shown to be (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. To reply or not to reply, that is the question: descriptive metaphysics and the sceptical challenge.Giuseppina D'Oro - 2023 - In Benjamin De Mesel and Sybren Heyndels Audun Bengtson (ed.), P.F. Strawson and His Philosophical Legacy. Oxford University Press. pp. 192-211.
    How should one respond to scepticism? Should one seek to refute it? Or should scepticism be ignored? This paper argues that descriptive metaphysics occupies an intermediate logical space between truth-directed transcendental arguments aimed at refuting the sceptic and the quietist stance of the Humean naturalist who declines to take up the sceptical challenge. Descriptive metaphysics is neither quietist nor confrontational. It seeks to show, rather, that the sceptic is not a genuine partner in conversation.
    Download  
     
    Export citation  
     
    Bookmark  
  47. Bertrand Russell on Logical Constructions: Matter as a Logical Construction from Sense-data.Mika Suojanen - 2020 - AL-Mukhatabat 36:13-33.
    The notion of logical construction was used by Bertrand Russell in the early 20th century, which originally comes from A. N. Whitehead. Russell said that matter as a mind-independent thing can only be known by description. He also argued that matter is a logical construction of sense-data. However, this leads to an incoherent view of the direct or indirect connection between a mind and the external world. The problem examining is whether a collapsing house is a logical construction of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. On the logic of the ontological argument.Paul E. Oppenheimer & Edward N. Zalta - 1991 - Philosophical Perspectives 5:509-529.
    In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary (...)
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  49. Objective description in physics.Hans Halvorson - 2022 - In Tomas Marvan, Hanne Andersen, Hasok Chang, Benedikt Löwe & Ivo Pezlar (eds.), Proceedings of the 16th International Congress of Logic, Methodology and Philosophy of Science and Technology. London: College Publications.
    I argue against the claim -- advocated by Albert Einstein, Bernard Williams, and Ted Sider, among others -- that a description is objective only if it says how the world is in itself. Instead, I argue for the claim -- inspired by comments of Niels Bohr -- that a family of descriptions is objective only if they co-vary with their respective descriptive contexts. Moreover, I claim that "there is a shared objective reality" simply means that it is possible to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Pink panthers and toothless tigers: three problems in classification.Guendalina Righetti, Daniele Porello, Oliver Kutz, Nicolas Troquard & Claudio Masolo - 2019 - In Guendalina Righetti, Daniele Porello, Oliver Kutz, Nicolas Troquard & Claudio Masolo (eds.), Proceedings of the 7th International Workshop on Artificial Intelligence and Cognition, Manchester, UK, September 10-11, 2019. {CEUR} Workshop Proceedings 2483. pp. 39-53.
    Many aspects of how humans form and combine concepts are notoriously difficult to capture formally. In this paper, we focus on the representation of three particular such aspects, namely overexten- sion, underextension, and dominance. Inspired in part by the work of Hampton, we consider concepts as given through a prototype view, and by considering the interdependencies between the attributes that define a concept. To approach this formally, we employ a recently introduced family of operators that enrich Description Logic languages. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 946