Results for 'logic as a description language for cognition'

920 found
Order:
  1. Human reasoning and cognitive science.Keith Stenning & Michiel van Lambalgen - 2008 - Boston, USA: MIT Press.
    In the late summer of 1998, the authors, a cognitive scientist and a logician, started talking about the relevance of modern mathematical logic to the study of human reasoning, and we have been talking ever since. This book is an interim report of that conversation. It argues that results such as those on the Wason selection task, purportedly showing the irrelevance of formal logic to actual human reasoning, have been widely misinterpreted, mainly because the picture of logic (...)
    Download  
     
    Export citation  
     
    Bookmark   89 citations  
  2. 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 + (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  3.  85
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  5.  49
    The Hazards of the Use of English as a Default Language in Analytic Philosophy: An Essay on Conceptual Biodiversity.Christoph Harbsmeier - 2020 - In Paul W. Kroll & Jonathan A. Silk (eds.), "At the shores of the sky": Asian Studies for Albert Hoffstädt. Leiden | Boston: Brill. pp. 292-307.
    The hazards of the use of English as a default language in analytic philosophy are obvious to everyone except mainstream analytical philosophers. The uncanny conceptual resemblance between what one is told about Jerry Fodor’s universal Language of Thought and current globalese basic academic English calls for reflection. [...] What I am pleading for is not just a matter of paying great attention to other philosophical traditions. It is a matter of understanding how English cannot serve as any centre (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Erotetic Logic as a Specification Language for Database Queries.Gary James Jason - 1987 - Dissertation, Kansas State University
    Download  
     
    Export citation  
     
    Bookmark  
  8. Commonsense reasoning as a key feature for dynamic knowledge invention and computational creativity.Antonio Lieto - 2020 - ICAR-MEET 2020.
    Inventing novel knowledge to solve problems is a crucial, creative, mechanism employed by humans, to extend their range of action. In this talk, I will show how commonsense reasoning plays a crucial role in this respect. In particular, I will present a cognitively inspired reasoning framework for knowledge invention and creative problem solving exploiting TCL: a non-monotonic extension of a Description Logic (DL) of typicality able to combine prototypical (commonsense) descriptions of concepts in a human-like fashion. The proposed (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Logical Realism: A Tale of Two Theories.Gila Sher - forthcoming - 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, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. 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  
  11. DOLCE: A descriptive ontology for linguistic and cognitive engineering1.Stefano Borgo, Roberta Ferrario, Aldo Gangemi, Nicola Guarino, Claudio Masolo, Daniele Porello, Emilio M. Sanfilippo & Laure Vieu - 2022 - Applied ontology 17 (1):45-69.
    dolce, the first top-level ontology to be axiomatized, has remained stable for twenty years and today is broadly used in a variety of domains. dolce is inspired by cognitive and linguistic considerations and aims to model a commonsense view of reality, like the one human beings exploit in everyday life in areas as diverse as socio-technical systems, manufacturing, financial transactions and cultural heritage. dolce clearly lists the ontological choices it is based upon, relies on philosophical principles, is richly formalized, and (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  12. (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  
  13. Language, concepts, and the nature of inference.Matías Osta-Vélez - 2024 - In Carlos Enrique Caorsi & Ricardo J. Navia (eds.), Philosophy of language in Uruguay: language, meaning, and philosophy. Lanham: Lexington Books. pp. 181-196.
    Traditionally, analytic philosophy has been affiliated with a formalist conception of inference which understands reasoning as a process that exploits syntactic properties of natural language according to a set of formal rules that are insensitive to conceptual content. This chapter discusses an alternative approach that takes semantic properties as the underlying forces driving rational inference. Building on Wilfird Sellars’ notion of material inference and analytic tools from cognitive linguistics, I will show how parts of the inferential structure of natural (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Deontic logic as a study of conditions of rationality in norm-related activities.Berislav Žarnić - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. London, UK: College Publications. pp. 272-287.
    The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15.  70
    Conceptual Spaces: A Solution to Goodman’s New Riddle of Induction?Sebastian Scholz - forthcoming - Philosophia.
    Nelson Goodman observed that we use only certain ‘good’ (viz. projectible) predicates during reasoning, with no obvious demarcation criterion in sight to distinguish them from the bad and gruesome ones. This apparent arbitrariness undermines the justifiability of our reasoning practices. Inspired by Quine’s 1969 paper on Natural Kinds, Peter Gärdenfors proposes a cognitive criterion based on his theory of Conceptual Spaces (CS). He argues the good predicates are those referring to natural concepts, and that we can capture naturalness in terms (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. 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  
  17. (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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. 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. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  95
    Review of 'Wittgenstein and the End of Philosophy-by Daniel Hutto 2nd ed. (2006).Starks Michael - 2016 - In Michael Starks (ed.), Suicidal Utopian Delusions in the 21st Century: Philosophy, Human Nature and the Collapse of Civilization-- Articles and Reviews 2006-2017 2nd Edition Feb 2018. Las Vegas, USA: Reality Press. pp. 259-270.
    Probably the leading exponent of Wittgenstein’s ideas on the language games of inner and outer (the ‘Two Selves’ operation of our personality or intentionality or EP etc.) the prolific Daniel Hutto’s (DH) approach is called ‘Radical Enactivism’ and is well explained in numerous recent books and papers. It is a development of or version of the Embodied Mind ideas now current and, cleansed of its jargon, it is a straightforward extension of W’s 2nd and 3rd period writings (though Hutto (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. 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  
  21. The Language Essence of Rational Cognition with some Philosophical Consequences.Boris Culina - 2021 - Tesis (Lima) 14 (19):631-656.
    The essential role of language in rational cognition is analysed. The approach is functional: only the results of the connection between language, reality, and thinking are considered. Scientific language is analysed as an extension and improvement of everyday language. The analysis gives a uniform view of language and rational cognition. The consequences for the nature of ontology, truth, logic, thinking, scientific theories, and mathematics are derived.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22. The new Tweety puzzle: arguments against monistic Bayesian approaches in epistemology and cognitive science.Matthias Unterhuber & Gerhard Schurz - 2013 - Synthese 190 (8):1407-1435.
    In this paper we discuss the new Tweety puzzle. The original Tweety puzzle was addressed by approaches in non-monotonic logic, which aim to adequately represent the Tweety case, namely that Tweety is a penguin and, thus, an exceptional bird, which cannot fly, although in general birds can fly. The new Tweety puzzle is intended as a challenge for probabilistic theories of epistemic states. In the first part of the paper we argue against monistic Bayesians, who assume that epistemic states (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  23. Language as a cognitive tool.Marco Mirolli & Domenico Parisi - 2009 - Minds and Machines 19 (4):517-528.
    The standard view of classical cognitive science stated that cognition consists in the manipulation of language-like structures according to formal rules. Since cognition is ‘linguistic’ in itself, according to this view language is just a complex communication system and does not influence cognitive processes in any substantial way. This view has been criticized from several perspectives and a new framework (Embodied Cognition) has emerged that considers cognitive processes as non-symbolic and heavily dependent on the dynamical (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  24. (2 other versions)Another cartoon portrait of the mind from the reductionist metaphysicians--a Review of Peter Carruthers ‘The Opacity of Mind’ (2011).Michael Starks - 2017 - Philosophy, Human Nature and the Collapse of Civilization -- Articles and Reviews 2006-2017 3rd Ed 686p(2017).
    Materialism, reductionism, behaviorism, functionalism, dynamic systems theory and computationalism are popular views, but they were shown by Wittgenstein to be incoherent. The study of behavior encompasses all of human life but behavior is largely automatic and unconscious and even the conscious part, mostly expressed in language (which Wittgenstein equates with the mind), is not perspicuous, so it is critical to have a framework which Searle calls the Logical Structure of Rationality (LSR) and I call the Descriptive Psychology of Higher (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. (1 other version)Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2017.Michael Starks - 2017 - Las Vegas, NV USA: Reality Press.
    This collection of articles was written over the last 10 years and edited to bring them up to date (2017). The copyright page has the date of the 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 a recent monkey ancestry (8 million years or much less depending on viewpoint) and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. (1 other version)Review of Radicalizing Enactivism by Hutto and Myin (2012).Michael Starks - 2017 - Philosophy, Human Nature and the Collapse of Civilization Michael Starks 3rd Ed. (2017).
    Probably the leading exponent of W’s ideas on the language games of inner and outer (the ‘Two Selves’ operation of our personality or intentionality or EP etc. ) the prolific Daniel Hutto’s (DH) approach is called ‘Radical Enactivism’ and is well explained in numerous recent books and papers. It is a development of or version of the Embodied Mind ideas now current and, cleansed of its jargon, it is a straightforward extension of W’s 2nd and 3rd period writings (though (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. A Modal Logic and Hyperintensional Semantics for Gödelian Intuition.David Elohim - manuscript
    This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the modal $\mu$-calculus. Via correspondence results between fixed point modal propositional logic and the bisimulation-invariant fragment of monadic second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Logical openness in cognitive models.Prof Ignazio Licata - 2008 - Epistemologia:177-192.
    It is here proposed an analysis of symbolic and sub-symbolic models for studying cognitive processes, centered on emergence and logical openness notions. The Theory of logical openness connects the Physics of system/environment relationships to the system informational structure. In this theory, cognitive models can be ordered according to a hierarchy of complexity depending on their logical openness degree, and their descriptive limits are correlated to Gödel-Turing Theorems on formal systems. The symbolic models with low logical openness describe cognition by (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Cognitive Skills Achievement in Mathematics of the Elementary Pre-Service Teachers Using Piaget’s Seven Logical Operations.Jaynelle G. Domingo, Edwin D. Ibañez, Gener Subia, Jupeth Pentang, Lorinda E. Pascual, Jennilyn C. Mina, Arlene V. Tomas & Minnie M. Liangco - 2021 - Turkish Journal of Computer and Mathematics Education 12 (4):435-440.
    This study determined the cognitive skills achievement in mathematics of elementary pre-service teachers as a basis for improving problem-solving and critical thinking which was analyzed using Piaget's seven logical operations namely: classification, seriation, logical multiplication, compensation, ratio and proportional thinking, probability thinking, and correlational thinking. This study utilized an adopted Test on Logical Operations (TLO) and descriptive research design to describe the cognitive skills achievement and to determine the affecting factors. Overall, elementary pre-service teachers performed with sufficient understanding in dealing (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  30. Mechanizmy predykcyjne i ich normatywność [Predictive mechanisms and their normativity].Michał Piekarski - 2020 - Warszawa, Polska: Liberi Libri.
    The aim of this study is to justify the belief that there are biological normative mechanisms that fulfill non-trivial causal roles in the explanations (as formulated by researchers) of actions and behaviors present in specific systems. One example of such mechanisms is the predictive mechanisms described and explained by predictive processing (hereinafter PP), which (1) guide actions and (2) shape causal transitions between states that have specific content and fulfillment conditions (e.g. mental states). Therefore, I am guided by a specific (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Logical Analysis of Symbolic Conception Representation in Terminological Systems.Farshad Badie - 2022 - Логико-Философские Штудии 20 (4):360-370.
    Cognitive, or knowledge, agents, who are in some way aware of describing their own view of the world (based on their mental concepts), need to become concerned with the expressions of their own conceptions. My main supposition is that agents’ conceptions are mainly expressed in the form of linguistic expressions that are spoken, written, and represented based on e.g. letters, numbers, or symbols. This research especially focuses on symbolic conceptions (that are agents’ conceptions that are manifested in the form of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. 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, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Between Language and Consciousness: Linguistic Qualia, Awareness, and Cognitive Models.Piotr Konderak - 2017 - Studies in Logic, Grammar and Rhetoric 48 (1):285-302.
    The main goal of the paper is to present a putative role of consciousness in language capacity. The paper contrasts the two approaches characteristic for cognitive semiotics and cognitive science. Language is treated as a mental phenomenon and a cognitive faculty. The analysis of language activity is based on the Chalmers’ distinction between the two forms of consciousness: phenomenal and psychological. The approach is seen as an alternative to phenomenological analyses typical for cognitive semiotics. Further, a cognitive (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  34. Inquiries into Cognition: Wittgenstein’s Language-Games and Peirce’s Semeiosis for the Philosophy of Cognition.Andrey Pukhaev - 2013 - Dissertation, Gregorian University
    SUMMARY Major theories of philosophical psychology and philosophy of mind are examined on the basis of the fundamental questions of ontology, metaphysics, epistemology, semantics and logic. The result is the choice between language of eliminative reductionism and dualism, neither of which answers properly the relation between mind and body. In the search for a non–dualistic and non–reductive language, Wittgenstein’s notion of language–games as the representative links between language and the world is considered together with Peirce’s (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. L'etica del Novecento. Dopo Nietzsche.Sergio Cremaschi - 2005 - Roma RM, Italia: Carocci.
    TWENTIETH-CENTURY ETHICS. AFTER NIETZSCHE -/- Preface This book tells the story of twentieth-century ethics or, in more detail, it reconstructs the history of a discussion on the foundations of ethics which had a start with Nietzsche and Sidgwick, the leading proponents of late-nineteenth-century moral scepticism. During the first half of the century, the prevailing trends tended to exclude the possibility of normative ethics. On the Continent, the trend was to transform ethics into a philosophy of existence whose self-appointed task was (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  36. Do babies represent? On a failed argument for representationalism.Giovanni Rolla - 2022 - Synthese 200 (4):1-20.
    In order to meet the explanatory challenge levelled against non-representationalist views on cognition, radical enactivists claim that cognition about potentially absent targets involves the socioculturally scaffolded capacity to manipulate public symbols. At a developmental scale, this suggests that higher cognition gradually emerges as humans begin to master language use, which takes place around the third year of life. If, however, it is possible to show that pre-linguistic infants represent their surroundings, then the radical enactivists’ explanation for (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  37. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  38. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Defining a Decidability Decider for the Halting Problem.P. Olcott - manuscript
    When we understand that every potential halt decider must derive a formal mathematical proof from its inputs to its final states previously undiscovered semantic details emerge. -/- When-so-ever the potential halt decider cannot derive a formal proof from its input strings to its final states of Halts or Loops, undecidability has been decided. -/- The formal proof involves tracing the sequence of state transitions of the input TMD as syntactic logical consequence inference steps in the formal language of Turing (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Endless Incoherence— A Review of Shoemaker's Physical Realization (2009)(review revised 2019).Michael Starks - 2019 - In Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2019 Michael Starks 3rd Edition. Las Vegas, NV USA: Reality Press. pp. 284-301.
    Over 40 years ago I read a small grey book with metaphysics in the title which began with the words “Metaphysics is dead. Wittgenstein has killed it.” I am one of many who agree but sadly the rest of the world has not gotten the message. Shoemaker’s work is nonsense on stilts but is unusual only in that it never deviates into sense from the first paragraph to the last. At least with Dennett, Carruthers, Churchland etc. one gets a breath (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Prospects for a Cognitive Norm Account of Logical Consequence.Thomas N. P. A. Brouwer - 2015 - In Pavel Arazim & Michal Dancak (eds.), The Logica Yearbook 2014. College Publications. pp. 13-32.
    When some P implies some Q, this should have some impact on what attitudes we take to P and Q. In other words: logical consequence has a normative import. I use this idea, recently explored by a number of scholars, as a stepping stone to a bolder view: that relations of logical consequence can be identified with norms on our propositional attitudes, or at least that our talk of logical consequence can be explained in terms of such norms. I investigate (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. A Master Wittgensteinian Surveys Human Nature -A Review of Human Nature-the Categorial Framework by PMS Hacker (2010) (review revised 2019).Michael Starks - 2019 - In Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2019 Michael Starks 3rd Edition. Las Vegas, NV USA: Reality Press. pp. 165-192.
    Materialism, reductionism, behaviorism, functionalism, dynamic systems theory and computationalism are popular views, but they were shown by Wittgenstein and more recently by Searle to be incoherent. The study of behavior encompasses all of human life but behavior is largely automatic and unconscious and even the conscious part, mostly expressed in language (which Wittgenstein equates with the mind), is not perspicuous, so it is critical to have a framework which Searle calls the Logical Structure of Rationality (LSR) and I call (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  44. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. (1 other version)Moral Judgments as Descriptions of Institutional Facts.Rafael Ferber - 1994 - In . pp. 719-729.
    It deals with the question of what a moral judgment is. On the one hand, a satisfactory theory of moral judgments must take into account the descriptive character of moral judgments and the realistic language of morals. On the other hand, it must also meet the non-descriptive character of moral judgments that consists in the recommending or condemning element and in the fact that normative statements are derived from moral judgments. However, cognitivism and emotivism or “normativism” are contradictory theories: (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  44
    Metaphysical Debates about Words: What Does It Mean to Be a Realist about Words?A. Nekhaev - 2023 - Tomsk State University Journal of Philosophy, Sociology, and Political Science 17 (75):64–75.
    In current discussions on the problem of the metaphysical nature of the word, four factions – eliminativism, nominalism, originalism, and the type-token theory – take an active part. For eliminativism, words as separate entities do not exist; they are only a useful cognitive illusion. In the process of communication, competent speakers make sounds and inscriptions through which they are able to infer certain intentional contents of each other’s cognitive states. However, these sounds and inscriptions cannot be regarded as instances of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Complexity as a new framework for emotion theories.Giovanna Colombetti - 2003 - Logic and Philosophy of Science 1 (1).
    In this paper I suggest that several problems in the study of emotion depend on a lack of adequate analytical tools, in particular on the tendency of viewing the organism as a modular and hierarchical system whose activity is mainly constituted by strictly sequential causal events. I argue that theories and models based on this view are inadequate to account for the complex reciprocal influences of the many ingredients that constitute emotions. Cognitive processes, feelings and bodily states are so subtly (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48. A type-theoretical approach for ontologies: The case of roles.Patrick Barlatier & Richard Dapoigny - 2012 - Applied ontology 7 (3):311-356.
    In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  49. The gift of silence : towards an anthropology of jazz improvisation as neuroresistance.Martin E. Rosenberg - 2021 - In Alice Koubová & Petr Urban (eds.), Play and Democracy: Philosophical Perspectives. New York, NY: Routledge.
    Martin E. Rosenberg -/- The Gift of Silence: Towards an Anthropology of Jazz Improvisation as Neuro-Resistance. -/- ABSTRACT: -/- This essay addresses how the complex processes that occur during jazz improvisation enact behaviors that resemble the logic of gift exchange first described by Marcel Mauss. It is possible to bring to bear structural, sociological, political economical, deconstructive or even ethical approaches to what constitutes gift exchange during the performance of jazz. Yet, I would like to shift from focusing this (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. THE HARDWARE AND SOFTWARE OF HUMAN COGNITION AND COMMUNNICATION: A COGNITIVE SCIENCE PERSPECTIVE OF THE UPANISHADS AND INDIAN PHILOSOPHICAL SYSTEMS.R. B. Varanasi Varanasi Varanasi Ramabrahmam, Ramabrahmam Varanasi, V. Ramabrahmam - 2016 - Science and Scientist Conference.
    The comprehensive nature of information and insight available in the Upanishads, the Indian philosophical systems like the Advaita Philosophy, Sabdabrahma Siddhanta, Sphota Vaada and the Shaddarsanas, in relation to the idea of human consciousness, mind and its functions, cognitive science and scheme of human cognition and communication are presented. All this is highlighted with vivid classification of conscious-, cognitive-, functional- states of mind; by differentiating cognition as a combination of cognitive agent, cognizing element, cognized element; formation; form and (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 920