Results for 'LOGICAL VS DESCRIPTIVE'

934 found
Order:
  1. Meaning, Colouring, and Logic: Kaplan vs. Frege on Pejoratives.Ludovic Soutif - 2022 - Princípios: Revista de Filosofia 29 (59):151-171.
    In this essay I consider Kaplan’s challenge to Frege’s so-called dictum: “Logic (and perhaps even truth) is immune to epithetical color”. I show that if it is to challenge anything, it rather challenges the view (attributable to Frege) that logic is immune to pejorative colour. This granted, I show that Kaplan’s inference-based challenge can be set even assuming that the pejorative doesn’t make any non-trivial truth-conditional (descriptive) contribution. This goes against the general tendency to consider the truth-conditionally inert logically (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Formalizing Euclid’s first axiom.John Corcoran - 2014 - Bulletin of Symbolic Logic 20 (3):404-405.
    Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the last: the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Nos comportements inconscients automatisés révèlent-ils notre vrai moi et nos vérités cachées sur l’univers ? -- Un examen de David Hawkins « Puissance vs Force » (Power vs Force)--les déterminants cachés du comportement humain -édition officielle de l’auteur' 412p (2012)(édition originale 1995)(revue révisée 2019).Michael Richard Starks - 2020 - In Bienvenue en Enfer sur Terre : Bébés, Changement climatique, Bitcoin, Cartels, Chine, Démocratie, Diversité, Dysgénique, Égalité, Pirates informatiques, Droits de l'homme, Islam, Libéralisme, Prospérité, Le Web, Chaos, Famine, Maladie, Violence, Intellige. Las Vegas, NV USA: Reality Press. pp. 242-245.
    Je suis très habitué à des livres étranges et des gens spéciaux, mais Hawkins se distingue par son utilisation d’une technique simple pour tester la tension musculaire comme une clé de la «vérité» de tout type de déclaration que ce soit, c’est-à-dire pas seulement à savoir si la personne testée croit, mais si c’est vraiment vrai! Ce que l’on sait bien, c’est que les gens montreront des réponses physiologiques et psychologiques automatiques, inconscientes à peu près tout ce à quoi ils (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. (2 other versions)Do our automated unconscious behaviors reveal our real selves and hidden truths about the universe? -- A review of David Hawkins ‘Power vs Force-the hidden determinants of human behavior –author’s official authoritative edition’ 412p(2012)(original edition 1995).Michael Starks - 2017 - Philosophy, Human Nature and the Collapse of Civilization -- Articles and Reviews 2006-2017 3rd Ed 686p(2017).
    I am very used to strange books and special people but Hawkins stands out due to his use of a simple technique for testing muscle tension as a key to the “truth” of any kind of statement whatsoever—i.e., not just to whether the person being tested believes it, but whether it is really true! What is well known is that people will show automatic, unconscious physiological and psychological responses to just about anything they are exposed to—images, sounds, touch, odors, ideas, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  5. A Cantorian argument against Frege's and early Russell's theories of descriptions.Kevin C. Klement - 2008 - In Nicholas Griffin & Dale Jacquette (eds.), Russell Vs. Meinong: The Legacy of "on Denoting". London and New York: Routledge. pp. 65-77.
    It would be an understatement to say that Russell was interested in Cantorian diagonal paradoxes. His discovery of the various versions of Russell’s paradox—the classes version, the predicates version, the propositional functions version—had a lasting effect on his views in philosophical logic. Similar Cantorian paradoxes regarding propositions—such as that discussed in §500 of The Principles of Mathematics—were surely among the reasons Russell eventually abandoned his ontology of propositions.1 However, Russell’s reasons for abandoning what he called “denoting concepts”, and his rejection (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  6. 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  
  7. The Logical vs. the Ontological Understanding of Conditions.Rögnvaldur Ingthorsson - 2008 - Metaphysica 9 (2):129-137.
    According to the truth-functional analysis of conditions, to be ‘necessary for’ and ‘sufficient for’ are converse relations. From this, it follows that to be ‘necessary and sufficient for’ is a symmetric relation, that is, that if P is a necessary and sufficient condition for Q, then Q is a necessary and sufficient condition for P. This view is contrary to common sense. In this paper, I point out that it is also contrary to a widely accepted ontological view of conditions, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Logical vs Practical Reasons.Paul Mayer - manuscript
    For years, the European world saw millions of swans, and all of them without exception were white. If inductive reasoning is valid, one may conclude that all swans are white. However, this would be incorrect: in 1667 Dutch explorer Willem de Vlamingh observed black swans in Australia, falsifying the hypothesis that all swans are white. While often used as a cautionary tale for the use of induction, such as with Popper’s falsification principle, I want to explore a slightly different idea: (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Riflessioni sul concetto di necessità nella prima metà del XII secolo.Irene Binini - 2019 - In Fabrizio Amerini, Simone Fellina & Andrea Strazzoni (eds.), _Tra antichità e modernità. Studi di storia della filosofia medievale e rinascimentale_. Raccolti da Fabrizio Amerini, Simone Fellina e Andrea Strazzoni. Firenze-Parma, Torino: E-theca OnLineOpenAccess Edizioni, Università degli Studi di Torino. pp. 1045-1088.
    In this essay, I consider some logical treatises and commentaries from the first decades of the 12th century (many of which are still unedited) which contain a discussion on modalities and modal logic. After presenting a short catalogue of these sources and a description of their common features, I shall focus on some definitions of the modal term “necessarium” which are provided in them. As we will see, Abelard and logicians of his time advanced three different characterizations of this (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Modal Logic vs. Ontological Argument.Andrezej Biłat - 2012 - European Journal for Philosophy of Religion 4 (2):179--185.
    The contemporary versions of the ontological argument that originated from Charles Hartshorne are formalized proofs based on unique modal theories. The simplest well-known theory of this kind arises from the b system of modal logic by adding two extra-logical axioms: “If the perfect being exists, then it necessarily exists‘ and “It is possible that the perfect being exists‘. In the paper a similar argument is presented, however none of the systems of modal logic is relevant to it. Its only (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. 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 the (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  12. 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 heuristics for concept (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  13. Making Something Happen. Where Causation and Agency Meet.Geert Keil - 2007 - In Francesca Castellani & Josef Quitterer (eds.), Agency and Causation in the Human Sciences. Mentis Verlag. pp. 19-35.
    1. Introduction: a look back at the reasons vs. causes debate. 2. The interventionist account of causation. 3. Four objections to interventionism. 4. The counterfactual analysis of event causation. 5. The role of free agency. 6. Causality in the human sciences. -- The reasons vs. causes debate reached its peak about 40 years ago. Hempel and Dray had debated the nature of historical explanation and the broader issue of whether explanations that cite an agent’s reasons are causal or not. Melden, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Symmetry and Reformulation: On Intellectual Progress in Science and Mathematics.Josh Hunt - 2022 - Dissertation, University of Michigan
    Science and mathematics continually change in their tools, methods, and concepts. Many of these changes are not just modifications but progress---steps to be admired. But what constitutes progress? This dissertation addresses one central source of intellectual advancement in both disciplines: reformulating a problem-solving plan into a new, logically compatible one. For short, I call these cases of compatible problem-solving plans "reformulations." Two aspects of reformulations are puzzling. First, reformulating is often unnecessary. Given that we could already solve a problem using (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. 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  
  16. Il relativismo etico fra antropologia culturale e filosofia analitica.Sergio Volodia Marcello Cremaschi - 2007 - In Ilario Tolomio, Sergio Cremaschi, Antonio Da Re, Italo Francesco Baldo, Gian Luigi Brena, Giovanni Chimirri, Giovanni Giordano, Markus Krienke, Gian Paolo Terravecchia, Giovanna Varani, Lisa Bressan, Flavia Marcacci, Saverio Di Liso, Alice Ponchio, Edoardo Simonetti, Marco Bastianelli, Gian Luca Sanna, Valentina Caffieri, Salvatore Muscolino, Fabio Schiappa, Stefania Miscioscia, Renata Battaglin & Rossella Spinaci (eds.), Rileggere l'etica tra contingenza e principi. Ilario Tolomio (ed.). Padova: CLUEP. pp. 15-46.
    I intend to: a) clarify the origins and de facto meanings of the term relativism; b) reconstruct the reasons for the birth of the thesis named “cultural relativism”; d) reconstruct ethical implications of the above thesis; c) revisit the recent discussion between universalists and particularists in the light of the idea of cultural relativism.. -/- 1.Prescriptive Moral Relativism: “everybody is justified in acting in the way imposed by criteria accepted by the group he belongs to”. Universalism: there are at least (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. 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  
  18. 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  
  19. (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 view, OccL (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Logical Omniscience and Acknowledged vs. Consequential Commitments.Niels Skovgaard Olsen - 2014 - Questions, Discourse and Dialogue: 20 Years After Making It Explicit, Proceedings of AISB50.
    The purpose of this paper is to consider the explanatory resources that Robert Brandom‟s distinction between acknowledged and consequential commitments affords in relation to the problem of logical omniscience. With this distinction the importance of the doxastic perspective under consideration for the relationship between logic and norms of reasoning is emphasized, and it becomes possible to handle a number of problematic cases discussed in the literature without thereby incurring a commitment to revisionism about logic. 12.
    Download  
     
    Export citation  
     
    Bookmark  
  21. Meaning vs. Power: Are Thick Description and Power Analysis intrinsically at odds? Response to Interpretation, Explanation, and Clifford Geertz.Jason A. Springs - 2012 - Religion Compass 6 (12):534-542.
    This essay clarifies and defends the methodological multidimensionality and improvisational character of Clifford Geertz’s account of interpretation and explanation. In contrast to accounts of power analysis offered by Michel Foucault and Talal Asad, I argue that Geertz’s work can simultaneously attend to meaning, power, identity, and experience in understanding and assessing religious practices and cultural formations.
    Download  
     
    Export citation  
     
    Bookmark  
  22. Ingarden vs. Meinong on the logic of fiction.Barry Smith - 1980 - Philosophy and Phenomenological Research 41 (1/2):93-105.
    For Meinong, familiarly, fictional entities are not created, but rather merely discovered (or picked out) from the inexhaustible realm of Aussersein (beyond being and non-being). The phenomenologist Roman Ingarden, in contrast, offers in his Literary Work of Art of 1931 a constructive ontology of fiction, which views fictional objects as entities which are created by the acts of an author (as laws, for example, are created by acts of parliament). We outline the logic of fiction which is implied by Ingarden’s (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  23. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. 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  
  25. Logical Concepts vs. Logical Operations.Tabea Rohr - 2021 - Journal for the History of Analytical Philosophy 9 (11):56 - 74.
    In what follows, the difference between Frege’s and Schröder’s understanding of logical connectives will be investigated. It will be argued that Frege thought of logical connectives as concepts, whereas Schröder thought of them as operations. For Frege, logical connectives can themselves be connected. There is no substantial difference between the connectives and the concepts they connect. Frege’s distinction between concepts and objects is central to this conception, because it allows a method of concept formation which enables us (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. The Self and Its World: Husserlian Contributions to a Metaphysics of Einstein’s Theory of Relativity and Heisenberg’s Indeterminacy Principle in Quantum Physics.Maria Eliza Cruz - manuscript
    This paper centers on the implicit metaphysics beyond the Theory of Relativity and the Principle of Indeterminacy – two revolutionary theories that have changed 20th Century Physics – using the perspective of Husserlian Transcedental Phenomenology. Albert Einstein (1879-1955) and Werner Heisenberg (1901-1976) abolished the theoretical framework of Classical (Galilean- Newtonian) physics that has been complemented, strengthened by Cartesian metaphysics. Rene Descartes (1596- 1850) introduced a separation between subject and object (as two different and self- enclosed substances) while Galileo and Newton (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. People vs. God: The Logic of Divine Sovereignty in Islamic Democratic Discourse.Raja Bahlul - 2000 - Islam and Muslim-Christian Relations 11 (3):287-297.
    This paper aims at clarifying the role which the concept of 'divine sovereignty ' plays in the discussions which are taking place among Islamic thinkers (and others) concerning the possibility of democracy in an Islamic context. It argues that 'sovereignty ' has at least two meanings, one 'f'actual', the other 'normative'. The paper also argues that the second sense of 'sovereignty ' allows us to construe ta!k o{ 'divine sovereignty' as an attempt by Islamic thinkers to go beyond the merely (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29.  75
    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  
  30. Speculative Philosophy of Science vs. Logical Positivism: Preliminary Round.Joel Katzav - forthcoming - In Sander Verhaegh (ed.), American Philosophy and the Intellectual Migration: Pragmatism, Logical Empiricism, Phenomenology, Critical Theory. Berlin: De Gruyter.
    I outline the theoretical framework of, and three research programs within American speculative philosophy of science during the period 1900-1931. One program applies verificationism to research in psychology, one investigates the methodology of research programs, and one analyses scientific explanation and other scientific concepts. The primary sources for my outline are works by Morris Raphael Cohen, Grace Andrus de Laguna, Theodore de Laguna, Edgar Arthur Singer Jr., Harold Robert Smart, and Marie Collins Swabey. I also use my outline to provide (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. 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 rules.
    Download  
     
    Export citation  
     
    Bookmark  
  32. 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  
  33. 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 that are added or (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  34.  92
    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  
  35. 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  
  36. DSM-5 and Psychiatry's Second Revolution: Descriptive vs. Theoretical Approaches to Psychiatric Classification.Jonathan Y. Tsou - 2015 - In Steeves Demazeux & Patrick Singy (eds.), The Dsm-5 in Perspective: Philosophical Reflections on the Psychiatric Babel. Springer. pp. 43-62.
    A large part of the controversy surrounding the publication of DSM-5 stems from the possibility of replacing the purely descriptive approach to classification favored by the DSM since 1980. This paper examines the question of how mental disorders should be classified, focusing on the issue of whether the DSM should adopt a purely descriptive or theoretical approach. I argue that the DSM should replace its purely descriptive approach with a theoretical approach that integrates causal information into the (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  37. (2 other versions)Making Sense of Questions in Logic and Mathematics: Mill vs. Carnap.Esther Ramharter - 2006 - Prolegomena 5 (2):209-218.
    Whether mathematical truths are syntactical (as Rudolf Carnap claimed) or empirical (as Mill actually never claimed, though Carnap claimed that he did) might seem merely an academic topic. However, it becomes a practical concern as soon as we consider the role of questions. For if we inquire as to the truth of a mathematical statement, this question must be (in a certain respect) meaningless for Carnap, as its truth or falsity is certain in advance due to its purely syntactical (or (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. 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, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  41. 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  
  42. 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 SNOMED (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  43. 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  
  44. 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  
  45. Øystein vs Archimedes: A Note on Linnebo’s Infinite Balance.Daniel Hoek - 2023 - Erkenntnis 88 (4):1791-1796.
    Using Riemann’s Rearrangement Theorem, Øystein Linnebo (2020) argues that, if it were possible to apply an infinite positive weight and an infinite negative weight to a working scale, the resulting net weight could end up being any real number, depending on the procedure by which these weights are applied. Appealing to the First Postulate of Archimedes’ treatise on balance, I argue instead that the scale would always read 0 kg. Along the way, we stop to consider an infinitely jittery flea, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Quine vs. Quine: Abstract Knowledge and Ontology.Gila Sher - 2020 - In Frederique Janssen-Lauret (ed.), Quine, Structure, and Ontology. Oxford, United Kingdom: Oxford University Press. pp. 230-252.
    How does Quine fare in the first decades of the twenty-first century? In this paper I examine a cluster of Quinean theses that, I believe, are especially fruitful in meeting some of the current challenges of epistemology and ontology. These theses offer an alternative to the traditional bifurcations of truth and knowledge into factual and conceptual-pragmatic-conventional, the traditional conception of a foundation for knowledge, and traditional realism. To make the most of Quine’s ideas, however, we have to take an active (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. 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, says (...)
    Download  
     
    Export citation  
     
    Bookmark   81 citations  
  48.  96
    Singularism vs. Descriptivism?Rachel Goodman - 2023 - In Ernest Lepore & David Sosa (eds.), Oxford Studies in Philosophy of Language, 3. Oxford University Press. pp. 33-66.
    This paper’s most general aim is to illuminate the disagreement between singularists about thought (who claim there are non-descriptive thoughts about ordinary external objects), and descriptivists about thought (who claim all thought about ordinary external objects is descriptive). It does this by clarifying the common claim that singular thoughts have an anchoring role with respect to thought in general and by making two further claims: 1) some of the putative disagreements between singularists and descriptivists are illusory once properly (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Logical Form, the First Person, and Naturalism about Psychology: The Case Against Physicalist Imperialism.Frederique Janssen-Lauret - 2018 - 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  
  50. 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  
1 — 50 / 934