Results for 'Informal type theory'

973 found
Order:
  1. Naive cubical type theory.Bruno Bentzen - 2021 - Mathematical Structures in Computer Science 31:1205–1231.
    This article proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the homotopy type theory book for dependent type theory augmented with axioms for univalence and higher inductive types. We adopt a cartesian cubical type theory proposed by Angiuli, Brunerie, Coquand, Favonia, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Copredication in homotopy type theory.Hamidreza Bahramian - manuscript
    This paper applies homotopy type theory to formal semantics of natural languages and proposes a new model for the linguistic phenomenon of copredication. Copredication refers to sentences where two predicates which assume different requirements for their arguments are asserted for one single entity, e.g., "the lunch was delicious but took forever". This paper is particularly concerned with copredication sentences with quantification, i.e., cases where the two predicates impose distinct criteria of quantification and individuation, e.g., "Fred picked up and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. An empirically-informed cognitive theory of propositions.Berit Brogaard - 2013 - Canadian Journal of Philosophy 43 (5):534-557.
    Scott Soames has recently argued that traditional accounts of propositions as n-tuples or sets of objects and properties or functions from worlds to extensions cannot adequately explain how these abstract entities come to represent the world. Soames’ new cognitive theory solves this problem by taking propositions to be derived from agents representing the world to be a certain way. Agents represent the world to be a certain way, for example, when they engage in the cognitive act of predicating, or (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  4. Review of Treatise on Intuitionistic Type Theory by Johan Georg Granström.Eric Schmid - manuscript
    Johan Georg Granström’s Treatise on Intuitionistic Type Theory represents a landmark contribution to our understanding of the philosophical foundations of Per Martin-Löf’s intuitionistic type theory (ITT). The work is particularly noteworthy for its careful exposition of how ITT emerges as a sophisticated codification of Brouwerian intuitionism while simultaneously advancing a distinctly Kantian program in the philosophy of mathematics. This philosophical grounding, drawing heavily on both Kantian and Husserlian phenomenology, offers valuable insights into the nature of mathematical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Types and taxonomic structures in conceptual modeling: A novel ontological theory and engineering support.Giancarlo Guizzardi, Tiago Prince Sales, Claudenir M. Fonseca & Daniele Porello - 2021 - Data and Knowledge Engineering 1 (134):101891.
    Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for building sound (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  6. Efficiency in Organism-Environment Information Exchanges: A Semantic Hierarchy of Logical Types Based on the Trial-and-Error Strategy Behind the Emergence of Knowledge.Mattia Berera - 2024 - Biosemiotics 17 (1):131-160.
    Based on Kolchinsky and Wolpert’s work on the semantics of autonomous agents, I propose an application of Mathematical Logic and Probability to model cognitive processes. In this work, I will follow Bateson’s insights on the hierarchy of learning in complex organisms and formalize his idea of applying Russell’s Type Theory. Following Weaver’s three levels for the communication problem, I link the Kolchinsky–Wolpert model to Bateson’s insights, and I reach a semantic and conceptual hierarchy in living systems as an (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Semantic information and the network theory of account.Luciano Floridi - 2012 - Synthese 184 (3):431-454.
    The article addresses the problem of how semantic information can be upgraded to knowledge. The introductory section explains the technical terminology and the relevant background. Section 2 argues that, for semantic information to be upgraded to knowledge, it is necessary and sufficient to be embedded in a network of questions and answers that correctly accounts for it. Section 3 shows that an information flow network of type A fulfils such a requirement, by warranting that the erotetic deficit, characterising the (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  8. What Types Should Not Be.Bruno Bentzen - 2020 - Philosophia Mathematica 28 (1):60-76.
    In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  9. Quantum theory, active information and the mind-matter problem.Paavo Pylkkänen - 2016 - In Pylkkänen Paavo (ed.), Contextuality from Quantum Physics to Psychology. World Scientific. pp. 325-334.
    Bohm and Hiley suggest that a certain new type of active information plays a key objective role in quantum processes. This paper discusses the implications of this suggestion to our understanding of the relation between the mental and the physical aspects of reality.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Semantic Information Measure with Two Types of Probability for Falsification and Confirmation.Lu Chenguang - manuscript
    Logical Probability (LP) is strictly distinguished from Statistical Probability (SP). To measure semantic information or confirm hypotheses, we need to use sampling distribution (conditional SP function) to test or confirm fuzzy truth function (conditional LP function). The Semantic Information Measure (SIM) proposed is compatible with Shannon’s information theory and Fisher’s likelihood method. It can ensure that the less the LP of a predicate is and the larger the true value of the proposition is, the more information there is. So (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Four challenges for a theory of informational privacy.Luciano Floridi - 2006 - Ethics and Information Technology 8 (3):109–119.
    In this article, I summarise the ontological theory of informational privacy (an approach based on information ethics) and then discuss four types of interesting challenges confronting any theory of informational privacy: (1) parochial ontologies and non-Western approaches to informational privacy; (2) individualism and the anthropology of informational privacy; (3) the scope and limits of informational privacy; and (4) public, passive and active informational privacy. I argue that the ontological theory of informational privacy can cope with such challenges (...)
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  12. Antagonistic Redundancy -- A Theory of Error-Correcting Information Transfer in Organisms.Johannes W. Dietrich & Bernhard O. Boehm - 2004 - In Robert Trappl (ed.), Cybernetics and Systems 2004. Wien, Österreich: pp. 225-30.
    Living organisms are exposed to numerous influencing factors. This holds also true for their infrastructures that are processing and transducing information like endocrine networks or nerval channels. Therefore, the ability to compensate for noise is crucial for survival. An efficient mechanism to neutralise disturbances is instantiated in form of parallel complementary communication channels exerting antagonistic effects at their common receivers. Different signal processing types share the ability to suppress noise, to widen the system’s regulation capacity, and to provide for variable (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. A Single-Type Semantics for Natural Language.Kristina Liefke - 2014 - Dissertation, Tilburg University
    Montague (1970) interprets a small fragment of English through the use of two basic types of objects: individuals and propositions. My dissertation develops an alternative semantics that only uses one basic type (hence, *single-type semantics*). Such a semantics has been conjectured by Partee (2006) as a ‘minimality test’ for the Montagovian type system, which captures the lowest ontological requirements on any successful semantics for Montague’s fragment. The development of this semantics answers a number of important open questions (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Cell Types as Natural Kinds.Matthew H. Slater - 2013 - Biological Theory 7 (2):170-179.
    Talk of different types of cells is commonplace in the biological sciences. We know a great deal, for example, about human muscle cells by studying the same type of cells in mice. Information about cell type is apparently largely projectible across species boundaries. But what defines cell type? Do cells come pre-packaged into different natural kinds? Philosophical attention to these questions has been extremely limited [see e.g., Wilson (Species: New Interdisciplinary Essays, pp 187–207, 1999; Genes and the (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  15. (1 other version)Information recovery problems.John Corcoran - 1995 - Theoria 10 (3):55-78.
    An information recovery problem is the problem of constructing a proposition containing the information dropped in going from a given premise to a given conclusion that folIows. The proposition(s) to beconstructed can be required to satisfy other conditions as well, e.g. being independent of the conclusion, or being “informationally unconnected” with the conclusion, or some other condition dictated by the context. This paper discusses various types of such problems, it presents techniques and principles useful in solving them, and it develops (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  16. INFORMATION-THEORETIC LOGIC.John Corcoran - 1998 - In C. Martínez U. Rivas & L. Villegas-Forero (eds.), Truth in Perspective edited by C. Martínez, U. Rivas, L. Villegas-Forero, Ashgate Publishing Limited, Aldershot, England (1998) 113-135. ASHGATE. pp. 113-135.
    Information-theoretic approaches to formal logic analyse the "common intuitive" concept of propositional implication (or argumental validity) in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; an argument is valid if the conclusion contains no information beyond that of the premise-set. This paper locates information-theoretic approaches historically, philosophically and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and (...)
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  17. Information-theoretic logic and transformation-theoretic logic,.John Corcoran - 1999 - In R. A. M. M. (ed.), Fragments in Science,. World Scientific Publishing Company,. pp. 25-35.
    Information-theoretic approaches to formal logic analyze the "common intuitive" concepts of implication, consequence, and validity in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; one given proposition is a consequence of a second if the latter contains all of the information contained by the former; an argument is valid if the conclusion contains no information beyond that of the premise-set. This (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Examining the demanded healthcare information among family caregivers for catalyzing adaptation in female cancer: Insights from home-based cancer care.Ni Putu Wulan Purnama Sari, Adrino Mazenda, Made Mahaguna Putra, Abigael Grace Prasetiani, Minh-Hoang Nguyen & Quan-Hoang Vuong - manuscript
    Adaptation and stress are two main concepts useful for better understanding the phases of illness and health-related human behavior. The two faces of adaptation, adaptation as a process and adaptation as a product, have raised the question of how long the adaptation process will take in cancer trajectories. The care setting transition from clinical-based into home-based cancer care has stressed the role of family caregivers (FCG) in cancer management. This study examines how types of demanded healthcare information affect the FCG’s (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. A New Theory of Serendipity: Nature, Emergence and Mechanism.Quan-Hoang Vuong (ed.) - 2022 - Berlin, Germany: De Gruyter.
    When you type the word “serendipity” in a word-processor application such as Microsoft Word, the autocorrection engine suggests you choose other words like “luck” or “fate”. This correcting act turns out to be incorrect. However, it points to the reality that serendipity is not a familiar English word and can be misunderstood easily. Serendipity is a very much scientific concept as it has been found useful in numerous scientific discoveries, pharmaceutical innovations, and numerous humankind’s technical and technological advances. Therefore, (...)
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  20. Quantum information theoretic approach to the mind–brain problem.Danko D. Georgiev - 2020 - Progress in Biophysics and Molecular Biology 158:16-32.
    The brain is composed of electrically excitable neuronal networks regulated by the activity of voltage-gated ion channels. Further portraying the molecular composition of the brain, however, will not reveal anything remotely reminiscent of a feeling, a sensation or a conscious experience. In classical physics, addressing the mind–brain problem is a formidable task because no physical mechanism is able to explain how the brain generates the unobservable, inner psychological world of conscious experiences and how in turn those conscious experiences steer the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  21. Type-2 Fuzzy Sets and Newton’s Fuzzy Potential in an Algorithm of Classification Objects of a Conceptual Space.Adrianna Jagiełło, Piotr Lisowski & Roman Urban - 2022 - Journal of Logic, Language and Information 31 (3):389-408.
    This paper deals with Gärdenfors’ theory of conceptual spaces. Let S{\mathcal {S}} be a conceptual space consisting of 2-type fuzzy sets equipped with several kinds of metrics. Let a finite set of prototypes P~1,,P~nS\tilde{P}_1,\ldots,\tilde{P}_n\in \mathcal {S} be given. Our main result is the construction of a classification algorithm. That is, given an element A~S,{\tilde{A}}\in \mathcal {S}, our algorithm classifies it into the conceptual field determined by one of the given prototypes P~i.\tilde{P}_i. The construction of our algorithm uses some (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Propositions as (Flexible) Types of Possibilities.Nate Charlow - 2022 - In Chris Tillman & Adam Murray (eds.), The Routledge Handbook of Propositions. Routledge. pp. 211-230.
    // tl;dr A Proposition is a Way of Thinking // -/- This chapter is about type-theoretic approaches to propositional content. Type-theoretic approaches to propositional content originate with Hintikka, Stalnaker, and Lewis, and involve treating attitude environments (e.g. "Nate thinks") as universal quantifiers over domains of "doxastic possibilities" -- ways things could be, given what the subject thinks. -/- This chapter introduces and motivates a line of a type-theoretic theorizing about content that is an outgrowth of the recent (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. An analysis of information visualisation.Min Chen & Luciano Floridi - 2013 - Synthese 190 (16):3421-3438.
    Philosophers have relied on visual metaphors to analyse ideas and explain their theories at least since Plato. Descartes is famous for his system of axes, and Wittgenstein for his first design of truth table diagrams. Today, visualisation is a form of ‘computer-aided seeing’ information in data. Hence, information is the fundamental ‘currency’ exchanged through a visualisation pipeline. In this article, we examine the types of information that may occur at different stages of a general visualization pipeline. We do so from (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Communication vs. Information, an Axiomatic Neutrosophic Solution.Florentin Smarandache & Stefan Vladutescu - 2013 - Neutrosophic Sets and Systems 1:38-45.
    Study represents an application of the neutrosophic method, for solving the contradiction between communication and information. In addition, it recourse to an appropriate method of approaching the contradictions: Extensics, as the method and the science of solving the contradictions. The research core is the reality that the scientific research of communication-information relationship has reached a dead end. The bivalent relationship communicationinformation, information-communication has come to be contradictory, and the two concepts to block each other. After the critical examination of conflicting (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  25. Reducing Uncertainty: Understanding the Information-Theoretic Origins of Consciousness.Garrett Mindt - 2020 - Dissertation, Central European University
    Ever since the hard problem of consciousness (Chalmers, 1996, 1995) first entered the scene in the debate over consciousness many have taken it to show the limitations of a scientific or naturalist explanation of consciousness. The hard problem is the problem of explaining why there is any experience associated with certain physical processes, that is, why there is anything it is like associated with such physical processes? The character of one’s experience doesn’t seem to be entailed by physical processes and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Understanding the Supportive Care Needs of Family Caregivers in Cancer Stress Management: The Significance of Healthcare Information.Ni Putu Wulan Purnama Sari, Minh-Phuong Thi Duong, Adrino Mazenda, Agustina Chriswinda Bura Mare, Minh-Hoang Nguyen & Quan-Hoang Vuong - manuscript
    Cancer care has transitioned from clinical-based to home-based care to support longterm care in a more familiar and comfortable environment. This care transition has put family caregivers (FCGs) in a strategic position as care providers. Cancer care at home involves psychological and emotional treatment at some point, making FCGs deal with the stress of cancer patients frequently. Due to their limited care competencies, they need supportive care from healthcare professionals in cancer stress management. This study aims to examine how types (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. From data to semantic information.Luciano Floridi - 2003 - Entropy 5:125–145.
    There is no consensus yet on the definition of semantic information. This paper contributes to the current debate by criticising and revising the Standard Definition of semantic Information as meaningful data, in favour of the Dretske-Grice approach: meaningful and well-formed data constitute semantic information only if they also qualify as contingently truthful. After a brief introduction, SDI is criticised for providing necessary but insufficient conditions for the definition of semantic information. SDI is incorrect because truth-values do not supervene on semantic (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  28. African Theories of Meaning in Life: A Critical Assessment.Thaddeus Metz - 2020 - South African Journal of Philosophy 39 (2):113-126.
    In this article, I expound and assess two theories of meaning in life informed by the indigenous sub-Saharan African philosophical tradition. According to one principle, a life is more meaningful, the more it promotes community with other human persons. According to the other principle, a life is more meaningful, the more it promotes vitality in oneself and others. I argue that, at least upon some refinement, both of these African conceptions of meaning merit global consideration from philosophers, but that the (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  29. PREDICTING THE NEEDS OF EMOTIONAL SUPPORT AMONG FAMILY CAREGIVERS BY ANALYZING THE DEMANDED HEALTHCARE INFORMATION: INSIGHTS FROM FEMALE CANCER CAREGIVING.Sari Ni Putu Wulan Purnama, Minh-Phuong Thi Duong, Agustina Chriswinda Bura Mare, Minh-Hoang Nguyen & Quan-Hoang Vuong - manuscript
    In the last decade, the cases of breast and cervical cancer have been positioned at the top rank of cancer statistics worldwide. Consequently, many husbands become family caregivers (FCGs) and get the burden of cancer caregiving. Being blind and incompetent, they need supportive care from healthcare professionals (HCPs). To support them, HCPs provide various healthcare information to meet their needs. Further, their demand for a specific type of healthcare information may reflect their need for emotional support from the HCPs (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Fraudulent Advertising: A Mere Speech Act or a Type of Theft?Pavel Slutskiy - unknown - Libertarian Papers 8.
    Libertarian philosophy asserts that only the initiation of physical force against persons or property, or the threat thereof, is inherently illegitimate. A corollary to this assertion is that all forms of speech, including fraudulent advertising, are not invasive and therefore should be considered legitimate. On the other hand, fraudulent advertising can be viewed as implicit theft under the theory of contract: if a seller accepts money knowing that his product does not have some of its advertised characteristics, he acquires (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Computation on Information, Meaning and Representations. An Evolutionary Approach (World Scientific 2011).Christophe Menant - 2011 - In Gordana Dodig Crnkovic & Mark Burgin (eds.), Information and computation: Essays on scientific and philosophical understanding of foundations of information and computation. World Scientific. pp. 255-286.
    Understanding computation as “a process of the dynamic change of information” brings to look at the different types of computation and information. Computation of information does not exist alone by itself but is to be considered as part of a system that uses it for some given purpose. Information can be meaningless like a thunderstorm noise, it can be meaningful like an alert signal, or like the representation of a desired food. A thunderstorm noise participates to the generation of meaningful (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  32. Covid-19 vaccines production and societal immunization under the serendipity-mindsponge-3D knowledge management theory and conceptual framework.Quan-Hoang Vuong, Tam-Tri Le, Viet-Phuong La, Huyen Thanh Thanh Nguyen, Manh-Toan Ho, Van Quy Khuc & Minh-Hoang Nguyen - 2022 - Humanities and Social Sciences Communications 9:22.
    Since the outbreak of the Coronavirus disease 2019 (Covid-19), tremendous efforts have been made by scientists, health professionals, business people, politicians, and laypeople around the world. Covid-19 vaccines are one of the most crucial innovations that help fight against the virus. This paper attempts to revisit the Covid-19 vaccines production process by employing the serendipity-mindsponge-3D creativity management theory. Vaccine production can be considered an information process and classified into three main stages. The first stage involved the processes of absorbing (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  33. A Theory of Bayesian Groups.Franz Dietrich - 2017 - Noûs 53 (3):708-736.
    A group is often construed as one agent with its own probabilistic beliefs (credences), which are obtained by aggregating those of the individuals, for instance through averaging. In their celebrated “Groupthink”, Russell et al. (2015) require group credences to undergo Bayesian revision whenever new information is learnt, i.e., whenever individual credences undergo Bayesian revision based on this information. To obtain a fully Bayesian group, one should often extend this requirement to non-public or even private information (learnt by not all or (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  34. A Theory Explains Deep Learning.Kenneth Kijun Lee & Chase Kihwan Lee - manuscript
    This is our journal for developing Deduction Theory and studying Deep Learning and Artificial intelligence. Deduction Theory is a Theory of Deducing World’s Relativity by Information Coupling and Asymmetry. We focus on information processing, see intelligence as an information structure that relatively close object-oriented, probability-oriented, unsupervised learning, relativity information processing and massive automated information processing. We see deep learning and machine learning as an attempt to make all types of information processing relatively close to probability information processing. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Assessing the needs of healthcare information for assisting family caregivers in cancer fear management: A mindsponge-based approach.Ni Putu Wulan Purnama Sari, Minh-Phuong Thi Duong, Made Mahaguna Putra, Pande Made Arbi Yudamuckti, Minh-Hoang Nguyen & Quan-Hoang Vuong - manuscript
    Fear of cancer is mostly related to cancer recurrence, metastasis, additional cancer, and diagnostic tests. Its legacy as a lethal disease has raised fear of approaching death. Currently, cancer’s total suffering and the worsening phenomena have raised fear, especially among female patients. Family caregivers (FCGs) who are responsible for the day-to-day cancer care at home need to help the patients deal with this fear frequently. Due to the limited care competencies, they need supportive care from healthcare professionals in cancer fear (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Anatomical information science.Barry Smith, Jose Mejino, Stefan Schulz, Anand Kumar & Cornelius Rosse - 2005 - In A. G. Cohn & D. M. Mark (eds.), Spatial Information Theory. Springer. pp. 149-164.
    The Foundational Model of Anatomy (FMA) is a map of the human body. Like maps of other sorts – including the map-like representations we find in familiar anatomical atlases – it is a representation of a certain portion of spatial reality as it exists at a certain (idealized) instant of time. But unlike other maps, the FMA comes in the form of a sophisticated ontology of its objectdomain, comprising some 1.5 million statements of anatomical relations among some 70,000 anatomical kinds. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  37. From meaningful information to representations, enaction and cognition (E-CAP08 Montpellier 2008).Christophe Menant - manuscript
    The notions of information, representation and enaction entertain historical and complex relations with cognition. Historical relations because representational structures belong to the central hypothesis of cognitive sciences. Complex relations because cognitive sciences apply the notion of representation to animals, humans and robots, and also because the enactive approach tends to disregard the GOFAI type of representations. In this wide horizon of relations, we propose to look at a systemic approach that could bring up a common denominator for information and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Neutrosophic SuperHyperAlgebra and New Types of Topologies.Florentin Smarandache - 2023 - Infinite Study. Edited by Florentin Smarandache, Memet Şahin, Derya Bakbak, Vakkas Uluçay & Abdullah Kargın.
    The n-th PowerSet is used in defining the SuperHyperOperation, SuperHyperAxiom, and their corresponding Neutrosophic SuperHyperOperation, Neutrosophic SuperHyperAxiom in order to build the SuperHyperAlgebra and Neutrosophic SuperHyperAlgebra. In general, in any field of knowledge, one in fact encounters SuperHyperStructures. Also, six new types of topologies have been introduced in the last years (2019-2022), such as: Refined Neutrosophic Topology, Refined Neutrosophic Crisp Topology, NeutroTopology, AntiTopology, SuperHyperTopology, and Neutrosophic SuperHyperTopology. Neutrosophic set has been derived from a new branch of philosophy, namely Neutrosophy. Neutrosophic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39.  90
    Error Statistics Using the Akaike and Bayesian Information Criteria.Henrique Cheng & Beckett Sterner - forthcoming - Erkenntnis.
    Many biologists, especially in ecology and evolution, analyze their data by estimating fits to a set of candidate models and selecting the best model according to the Akaike Information Criterion (AIC) or the Bayesian Information Criteria (BIC). When the candidate models represent alternative hypotheses, biologists may want to limit the chance of a false positive to a specified level. Existing model selection methodology, however, allows for only indirect control over error rates by setting a threshold for the difference in AIC (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Motor experience interacts with effector information during action prediction.Lincoln Colling, William Thompson & John Sutton - 2013 - Proceedings of the 35th Annual Conference of the Cognitive Science Society:2082-2087.
    Recent theory suggests that action prediction relies of a motor emulation mechanism that works by mapping observed actions onto the observer action system so that predictions can be generated using that same predictive mechanisms that underlie action control. This suggests that action prediction may be more accurate when there is a more direct mapping between the stimulus and the observer. We tested this hypothesis by comparing prediction accuracy for two stimulus types. A mannequin stimulus which contained information about the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Cognition as management of meaningful information. Proposal for an evolutionary approach (IACAP Aarhus July 2011).Christophe Menant - manuscript
    Humans are cognitive entities. Our ongoing interactions with the environment are threaded with creations and usages of meaningful information. Animal life is also populated with meaningful information related to survival constraints. Information managed by artificial agents can also be considered as having meanings, as derived from the designer. Such perspective brings us to propose an evolutionary approach to cognition based on meaningful information management. We use a systemic tool, the Meaning Generator System (MGS), and apply it consecutively to animals, humans (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Implicit Theories of Morality, Personality, and Contextual Factors in Moral Appraisal.Ana Maria Hojbotă - 2014 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 1 (2):191-221.
    This article explores the implicit theories of morality, or the conceptions regarding the patterns of stability, continuity and change in moral dispositions, both in lay and academic discourses. The controversies surrounding these conceptions and the fragmentation of the models and perspectives in metaethics and moral psychology endangers the pursuit of adequate operationalizations of morally relevant constructs. The current debate between situationists, who deny that character is an useful concept for understanding human behavior, which is better explained by contextual factors (Doris (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43.  23
    The Possibility of Non-Physical Evolution of Intelligence in a Type III Civilization.Angelito Malicse - manuscript
    The Possibility of Non-Physical Evolution of Intelligence in a Type III Civilization -/- The concept of intelligence evolving beyond physical constraints is an intriguing possibility, especially in the context of a Type III civilization on the Kardashev Scale. A Type III civilization, capable of harnessing the energy of an entire galaxy, would likely have transcended biological limitations and developed intelligence that is no longer dependent on physical substrates. This essay explores the theoretical foundations of non-physical intelligence, the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. THE THEORY OF EVOLUTION: from the space vacuum to neural networks and moving forward.Oleg Bazaluk - 2014 - ISPC.
    In the book, the author defines the evolution as a continuous and nonlinear complex of the structure of matter, interaction types and environments of existence; analyzes existing in modern science and philosophy approaches to the study of the process of evolution, degree of development factors and causes of evolution. Unifying interdisciplinary research in cosmology, evolution, biology, neuroscience and philosophy, the author presents his vision of the evolution model of «Evolving matter», which allows us to consider not only the laws of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Introduction to a Systemic Theory of Meaning - March 2020 update.Christophe Menant - manuscript
    Information and meaning are present everywhere around us and within ourselves. Specific studies have been implemented to link information and meaning (Linguistic, Biosemiotic, Psychology, Psychiatry, Cognition, Artificial Intelligence... ). No general coverage is available for the notion of meaning. We propose to complement this lack by a system approach to meaning generation in an evolutionary background. That short paper is a summary of the system approach where a Meaning Generator System (MGS) based on internal constraint satisfaction has been introduced. The (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Description: Its meaning, epistemology, and use with emphasis on information science.Birger Hjørland - 2023 - Journal of the Association for Information Science and Technology 74 (13):1532-1549.
    This study examines the concept of “description” and its theoretical foundations. The literature about it is surprisingly limited, and its usage is vague, sometimes even conflicting. Description should be considered in relation to other processes, such as representation, data capturing, and categorizing, which raises the question about what it means to describe something. Description is often used for any type of predication but may better be limited to predications based on observations. Research aims to establish criteria for making optimal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. From coincidence to purposeful flow? properties of transcendental information cascades.Markus Luczak-Roesch, Ramine Tinati, Max van Kleek & Nigel Shadbolt - 2015 - In Markus Luczak-Roesch, Ramine Tinati, Max van Kleek & Nigel Shadbolt (eds.), International Conference on Advances in Social Networks Analysis and Mining (ASONAM) 2015.
    In this paper, we investigate a method for constructing cascades of information co-occurrence, which is suitable to trace emergent structures in information in scenarios where rich contextual features are unavailable. Our method relies only on the temporal order of content-sharing activities, and intrinsic properties of the shared content itself. We apply this method to analyse information dissemination patterns across the active online citizen science project Planet Hunters, a part of the Zooniverse platform. Our results lend insight into both structural and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Plato's Theory of Forms and Other Papers.John-Michael Kuczynski - 2020 - Madison, WI, USA: College Papers Plus.
    Easy to understand philosophy papers in all areas. Table of contents: Three Short Philosophy Papers on Human Freedom The Paradox of Religions Institutions Different Perspectives on Religious Belief: O’Reilly v. Dawkins. v. James v. Clifford Schopenhauer on Suicide Schopenhauer’s Fractal Conception of Reality Theodore Roszak’s Views on Bicameral Consciousness Philosophy Exam Questions and Answers Locke, Aristotle and Kant on Virtue Logic Lecture for Erika Kant’s Ethics Van Cleve on Epistemic Circularity Plato’s Theory of Forms Can we trust our senses? (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Dialectical Relevance and Dialogical Context in Walton’s Pragmatic Theory.Fabrizio Macagno - 2008 - Informal Logic 28 (2):102-128.
    The notions of types of dialogue and dialectical relevance are central themes in Walton’s work and the grounds for a dialectical approach to many fallacies. After outlining the dialogue models constituting the background of Walton’s account, this article presents the concepts of dialectical relevance and dialogue shifts in their application to biased argumentation, fallacious moves, and illicit argumentative strategies. Showing the different dialectical proposals Walton advanced in several studies on argumentation as a development of a dialogical system, it has proved (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  50. Clinical guidelines as plans: An ontological theory.Anand Kumar, Barry Smith, Domenica Pisanelli, Aldo Gangemi & Mario Stefanelli - 2006 - Methods of Information in Medicine 45 (2):204-210.
    Clinical guidelines are special types of plans realized by collective agents. We provide an ontological theory of such plans that is designed to support the construction of a framework in which guideline-based information systems can be employed in the management of workflow in health care organizations. The framework we propose allows us to represent in formal terms how clinical guidelines are realized through the actions of are realized through the actions of individuals organized into teams. We provide various levels (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 973