Results for 'logistics, categories, relation, function graph, relation graph, Cartesian product'

979 found
Order:
  1.  13
    Символічна логіка: повернення до витоків. Стаття ІV. Графіки функцій та відношень.Yaroslav Kokhan - 2023 - Multiversum. Philosophical Almanac 2 (2):129-143.
    The paper is the Part IV of the large research, dedicated to both revision of the system of basic logical categories and generalization of modern predicate logic to functional logic. The topic of the paper is consideration of graphs of functions and relations as a derivative and definable category of ultra-Fregean logistics. There are two types of function specification: an operational specification, in which a function is first applied to arguments and then the value of the function (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  78
    The Minimal Levels of Abstraction in the History of Modern Computing.Federico Gobbo & Marco Benini - 2014 - Philosophy and Technology 27 (3):327-343.
    From the advent of general purpose, Turing-complete machines, the relation between operators, programmers and users with computers can be observed as interconnected informational organisms (inforgs), henceforth analysed with the method of levels of abstraction (LoAs), risen within the philosophy of information (PI). In this paper, the epistemological levellism proposed by L. Floridi in the PI to deal with LoAs will be formalised in constructive terms using category theory, so that information itself is treated as structure-preserving functions instead of (...) products. The milestones in the history of modern computing are then analysed through constructive levellism to show how the growth of system complexity lead to more and more information hiding. (shrink)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  3. The category of equivalence relations.Luca San Mauro, Valentino Delle Rose & Andrea Sorbi - 2021 - Algebra and Logic 5 (60):295-307.
    We make some beginning observations about the category Eq of equivalence relations on the set of natural numbers, where a morphism between two equivalence relations R and S is a mapping from the set of R-equivalence classes to that of S-equivalence classes, which is induced by a computable function. We also consider some full subcategories of Eq, such as the category Eq(Σ01) of computably enumerable equivalence relations (called ceers), the category Eq(Π01) of co-computably enumerable equivalence relations, and the category (...)
     
    Export citation  
     
    Bookmark  
  4.  38
    Cartesian closed Dialectica categories.Bodil Biering - 2008 - Annals of Pure and Applied Logic 156 (2):290-307.
    When Gödel developed his functional interpretation, also known as the Dialectica interpretation, his aim was to prove consistency of first order arithmetic by reducing it to a quantifier-free theory with finite types. Like other functional interpretations Gödel’s Dialectica interpretation gives rise to category theoretic constructions that serve both as new models for logic and semantics and as tools for analysing and understanding various aspects of the Dialectica interpretation itself. Gödel’s Dialectica interpretation gives rise to the Dialectica categories , in: Contemp. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  22
    The Maximality of Cartesian Categories.Z. Petric & K. Dosen - 2001 - Mathematical Logic Quarterly 47 (1):137-144.
    It is proved that equations between arrows assumed for cartesian categories are maximal in the sense that extending them with any new equation in the language of free cartesian categories collapses a cartesian category into a preorder. An analogous result holds for categories with binary products, which may lack a terminal object. The proof is based on a coherence result for cartesian categories, which is related to model-theoretic methods of normalization. This maximality of cartesian categories, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  6.  19
    Functional informality: crafting social interaction toward scientific productivity at the Gordon Research Conferences, 1950–1980.Georgiana Kotsou - 2023 - British Journal for the History of Science 56 (4):519-534.
    In the early and mid-twentieth century, scientific conferences were a popular tool to establish communication between scientists. Organisational efforts, research and funds were spent defining what makes a productive and successful scientific gathering. A unique example of this was the monitoring and evaluation system of the Gordon Research Conferences (GRCs), which conceptualized informal communication in small, specialized meetings as the best method of advancing cutting-edge research. Studying the detailed monitoring reports of the sessions and the evaluation forms filled by the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  12
    Intangible Life: Functorial Connections in Relational Biology.A. H. Louie - 2017 - Cham: Imprint: Springer.
    This rare publication continues an exploratory journey in relational biology, a study of biology in terms of the organization of networked connections in living systems. It builds on the author's two earlier monographs which looked at the epistemology of life and the ontogeny of life. Here the emphasis is on the intangibility of life, that the real nature of living systems is conveyed not by their tangible material basis but by their intangible inherent processes. Relational biology is the approach that (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  10
    The indispensability of relational, adapted, and derived proper functions.Jakob Roloff - 2025 - Synthese 205 (2):1-17.
    Since the early debates on teleosemantics, there have been people objecting that teleosemantics cannot account for evolutionarily novel contents such as “democracy” (e.g., Peacocke in A Study of Concepts, MIT Press, Cambridge, 1992). Most recently, this objection was brought up by Garson (What Biological Functions Are and Why They Matter, Cambridge University Press, Cambridge, 2019. https://doi.org/10.1017/9781108560764 ) and in a more moderate form by Garson and Papineau (Biol Philos 34(3):36, 2019. https://doi.org/10.1007/s10539-019-9689-8 ). The underlying criticism is that the traditional selected (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. Символічна логіка: повернення до витоків. Стаття ІІІ. Похідні логістичні категорії.Yaroslav Kokhan - 2021 - Multiversum. Philosophical Almanac 2 (2):141-155.
    The paper is Part III of the large research, dedicated to both the revision of the system of basic logical categories and the generalization of modern predicate logic to functional logic. We determinate and contrapose modern Fregean logistics and proposed by the author ultra-Fregean logistics, next we describe values and arguments of functions, arguments of relations, relations themselves, sets (classes), and subsets (subclasses) as derivative categories (concepts) of ultrafregean logistics. Logistics is a part of metalogic, independent of semantics. Fregean logictics (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Information Theory as a General Language for Functional Systems.John Collier - unknown
    Function refers to a broad family of concepts of varying abstractness and range of application, from a many-one mathematical relation of great generality to, for example, highly specialized roles of designed elements in complex machines such as degaussing in a television set, or contributory processes to control mechanisms in complex metabolic pathways, such as the inhibitory function of the appropriate part of the lac-operon on the production of lactase through its action on the genome in the absence (...)
     
    Export citation  
     
    Bookmark  
  11.  11
    (1 other version)Equality and Coequality Relations on the Cartesian Product of Sets.Daniel A. Romano - 1988 - Mathematical Logic Quarterly 34 (5):471-480.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. Coherence in substructural categories.Zoran Petrić - 2002 - Studia Logica 70 (2):271 - 296.
    It is proved that MacLane''s coherence results for monoidal and symmetric monoidal categories can be extended to some other categories with multiplication; namely, to relevant, affine and cartesian categories. All results are formulated in terms of natural transformations equipped with graphs (g-natural transformations) and corresponding morphism theorems are given as consequences. Using these results, some basic relations between the free categories of these classes are obtained.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  13.  45
    Invoking a Cartesian product structure on social states: New resolutions of Sen’s and Gibbard’s impossibility theorems.Herrade Igersheim - 2013 - Theory and Decision 74 (4):463-477.
    The purpose of this article is to introduce a Cartesian product structure into the social choice theoretical framework and to examine if new possibility results to Gibbard’s and Sen’s paradoxes can be developed thanks to it. We believe that a Cartesian product structure is a pertinent way to describe individual rights in the social choice theory since it discriminates the personal features comprised in each social state. First we define some conceptual and formal tools related to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  23
    Estudio de las funciones de la atenuación en hablantes de Málaga con nivel de instrucción alto. Aproximación sociolingüística: Study on mitigation functions from a group of well-educated Malaga speakers. A sociolinguistic approach.María Rodríguez Cruces & Antonio Ávila-Muñoz - 2020 - Pragmática Sociocultural 8 (2):139-158.
    Mitigation is a pragmatic-linguistic category traditionally related to the theory of verbal politeness. Previous work on this issue has shown that conversational hedging is largely conditioned by the speaker’s identity (Albelda 2012, Cestero 2011, Samper 2017), that is why a deeper understanding of attenuating phenomena requires close attention to the social context underpinning communicative interactions. This paper advances some preliminary results from the ongoing research on discursive mitigation in the Malaga-PRESEEA spoken corpus. The analysis is centered on the underlying mitigating (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  46
    An algebraic approach to categories of partial morphisms.S. T. Stefani - 2002 - Journal of Symbolic Logic 67 (1):117-129.
    In the study of categories whose morphisms display a behaviour similar to that of partial functions, the concept of morphism domain is, obviously, central. In this paper an operation defined on morphisms describes those properties which are related to morphisms being regarded as abstractions of partial functions. This operation allows us to characterise the morphism domains directly, and gives rise to an algebra defined by a simple set of identities. No product-like categorical structures are needed therefore. We also develop (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  20
    On Homomorphism and Cartesian Products of Intuitionistic Fuzzy PMS-subalgebra of a PMS-algebra.Beza Lamesgin Derseh, Berhanu Assaye Alaba & Yohannes Gedamu Wondifraw - 2023 - Bulletin of the Section of Logic 52 (1):19-38.
    In this paper, we introduce the notion of intuitionistic fuzzy PMS-subalgebras under homomorphism and Cartesian product and investigate several properties. We study the homomorphic image and inverse image of the intuitionistic fuzzy PMS-subalgebras of a PMS-algebra, which are also intuitionistic fuzzy PMS-subalgebras of a PMS-algebra, and find some other interesting results. Furthermore, we also prove that the Cartesian product of intuitionistic fuzzy PMS-subalgebras is again an intuitionistic fuzzy PMS-subalgebra and characterize it in terms of its level (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. Mathematical Quality and Experiential Qualia.Posina Venkata Rayudu & Sisir Roy - manuscript
    Our conscious experiences are qualitative and unitary. The qualitative universals given in particular experiences, i.e. qualia, combine into the seamless unity of our conscious experience. The problematics of quality and cohesion are not unique to consciousness studies. In mathematics, the study of qualities (e.g., shape) resulting from quantitative variations in cohesive spaces led to the axiomatization of cohesion and quality. Using the mathematical definition of quality, herein we model qualia space as a categorical product of qualities. Thus modeled qualia (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. In Pursuit of the Functional Definition of a Mind: The Pivotal Role of a Discourse.Vitalii Shymko - 2018 - Psycholinguistics 24 (1):403-424.
    This article is devoted to describing results of conceptualization of the idea of mind at the stage of maturity. Delineated the acquisition by the energy system (mind) of stable morphological characteristics, which associated with such a pivotal formation as the discourse. A qualitative structural and ontological sign of the system transition to this stage is the transformation of the verbal morphology of the mind into a discursive one. The analysis of the poststructuralist understanding of discourse in the context of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  19.  8
    Pri̇Vate Property and Strata Formati̇On.Сабіна Мурадова - 2022 - Epistemological studies in Philosophy, Social and Political Sciences 5 (2):118-125.
    The theoretical foundations of the social structure of the society and the historical forms of ownership were discussed in the article. The presence of many types of property is a necessary condition for its normal functioning in society. As a result of these types of property, the needs and activities of every person in society are fully satisfied. From ancient times to the present day, attitudes towards property issues have developed in different ways in different regimes. Even before the creation (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  14
    Using AI to detect panic buying and improve products distribution amid pandemic.Yossiri Adulyasak, Omar Benomar, Ahmed Chaouachi, Maxime C. Cohen & Warut Khern-Am-Nuai - 2024 - AI and Society 39 (4):2099-2128.
    The COVID-19 pandemic has triggered panic-buying behavior around the globe. As a result, many essential supplies were consistently out-of-stock at common point-of-sale locations. Even though most retailers were aware of this problem, they were caught off guard and are still lacking the technical capabilities to address this issue. The primary objective of this paper is to develop a framework that can systematically alleviate this issue by leveraging AI models and techniques. We exploit both internal and external data sources and show (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21. Old McDonald’s Had a Farm: The Metaphysics of Factory Farming.Drew Leder - 2012 - Journal of Animal Ethics 2 (1):73-86.
    This article explores the cultural and philosophical foundations of factory farming. Modes of capitalist production play a role: Marx’s analysis of the fourfold alienation of labor can be applied to animal-laborers. However, the harshness with which animals are treated exceeds the harshness directed toward human workers. At root is a cultural anthropocentrism that prohibits viewing animals as moral subjects, removing ethical restraints. Ultimately, the modernist ways in which animals are treated as both like and unlike human workers are related to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  44
    Definability Aspects of the Denjoy Integral.Walsh Sean - forthcoming - Fundamenta Mathematicae.
    The Denjoy integral is an integral that extends the Lebesgue integral and can integrate any derivative. In this paper, it is shown that the graph of the indefinite Denjoy integral f↦∫xaf is a coanalytic non-Borel relation on the product space M[a,b]×C[a,b], where M[a,b] is the Polish space of real-valued measurable functions on [a,b] and where C[a,b] is the Polish space of real-valued continuous functions on [a,b]. Using the same methods, it is also shown that the class of indefinite (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Similar systems and dimensionally invariant laws.R. Duncan Luce - 1971 - Philosophy of Science 38 (2):157-169.
    Using H. Whitney's algebra of physical quantities and his definition of a similarity transformation, a family of similar systems (R. L. Causey [3] and [4]) is any maximal collection of subsets of a Cartesian product of dimensions for which every pair of subsets is related by a similarity transformation. We show that such families are characterized by dimensionally invariant laws (in Whitney's sense, [10], not Causey's). Dimensional constants play a crucial role in the formulation of such laws. They (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  24.  77
    Topologies and free constructions.Anna Bucalo & Giuseppe Rosolini - 2013 - Logic and Logical Philosophy 22 (3):327-346.
    The standard presentation of topological spaces relies heavily on (naïve) set theory: a topology consists of a set of subsets of a set (of points). And many of the high-level tools of set theory are required to achieve just the basic results about topological spaces. Concentrating on the mathematical structures, category theory offers the possibility to look synthetically at the structure of continuous transformations between topological spaces addressing specifically how the fundamental notions of point and open come about. As a (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  25.  18
    Fundamentals of mathematical proof.Charles A. Matthews - 2018 - [place of publication not identified]: [Publisher Not Identified].
    This mathematics textbook covers the fundamental ideas used in writing proofs. Proof techniques covered include direct proofs, proofs by contrapositive, proofs by contradiction, proofs in set theory, proofs of existentially or universally quantified predicates, proofs by cases, and mathematical induction. Inductive and deductive reasoning are explored. A straightforward approach is taken throughout. Plenty of examples are included and lots of exercises are provided after each brief exposition on the topics at hand. The text begins with a study of symbolic logic, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. From Bi-facial Truth to Bi-facial Proofs.Stefan Wintein & Reinhard A. Muskens - 2015 - Studia Logica 103 (3):545-558.
    In their recent paper Bi-facial truth: a case for generalized truth values Zaitsev and Shramko [7] distinguish between an ontological and an epistemic interpretation of classical truth values. By taking the Cartesian product of the two disjoint sets of values thus obtained, they arrive at four generalized truth values and consider two “semi-classical negations” on them. The resulting semantics is used to define three novel logics which are closely related to Belnap’s well-known four valued logic. A syntactic characterization (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  6
    From Taylorism to competence-based production.Peter Brödner - 2007 - AI and Society 21 (4):497-514.
    During the four decades of my professional career, manufacturing has been subdued to a radical change from objectifying to subjectifying work. The evolution of the originally prevailing Taylor model with its functionally divided and highly mechanised work processes culminated in the 1980s in the rise and fall of computer integrated manufacturing (CIM) contested by the alternative approach of human-centred production systems. The change process then went through phases of confusion and experimentation, in which competence-based manufacturing strategies and structures have been (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  32
    The use of the relational function of address pronouns in L2 French before and after study abroad: do interaction and exposure to media make a difference?Emmanuella Annan, Catherine Collin & Cyrille Granget - 2021 - Corela. Cognition, Représentation, Langage 19.
    This study focuses on the acquisition of the two basic relational functions of the French address pronouns: tu for solidarity with friends and vous for deference with an unknown person or a known person with higher social status. Previous research has found that L2 learners of French become more target-like in their choice between tu and vous when they spend time in a French community. This is due to the fact that study-abroad offers L2 learners exposure to naturalistic interaction involving (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. Assessing abstract thought and its relation to language with a new nonverbal paradigm: Evidence from aphasia.Peter Langland-Hassan, Frank R. Faries, Maxwell Gatyas, Aimee Dietz & Michael J. Richardson - 2021 - Cognition 211 (C):104622.
    In recent years, language has been shown to play a number of important cognitive roles over and above the communication of thoughts. One hypothesis gaining support is that language facilitates thought about abstract categories, such as democracy or prediction. To test this proposal, a novel set of semantic memory task trials, designed for assessing abstract thought non-linguistically, were normed for levels of abstractness. The trials were rated as more or less abstract to the degree that answering them required the participant (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  18
    The nuts and bolts of proofs: an introduction to mathematical proofs.Antonella Cupillari - 2023 - San Diego, CA: Academic Press, an imprint of Elsevier.
    The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs, Fifth Edition provides basic logic of mathematical proofs and shows how mathematical proofs work. It offers techniques for both reading and writing proofs. The second chapter of the book discusses the techniques in proving if/then statements by contrapositive and proofing by contradiction. It also includes the negation statement, and/or. It examines various theorems, such as the if and only-if, or equivalence theorems, the existence theorems, and the uniqueness theorems. In (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. Mad Speculation and Absolute Inhumanism: Lovecraft, Ligotti, and the Weirding of Philosophy.Ben Woodard - 2011 - Continent 1 (1):3-13.
    continent. 1.1 : 3-13. / 0/ – Introduction I want to propose, as a trajectory into the philosophically weird, an absurd theoretical claim and pursue it, or perhaps more accurately, construct it as I point to it, collecting the ground work behind me like the Perpetual Train from China Mieville's Iron Council which puts down track as it moves reclaiming it along the way. The strange trajectory is the following: Kant's critical philosophy and much of continental philosophy which has followed, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  32.  24
    Judgement and Sense in Modern French Philosophy: A New Reading of Six Thinkers by Henry Somers-Hall.Clayton Crockett - 2022 - Review of Metaphysics 76 (2):365-367.
    In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Judgement and Sense in Modern French Philosophy: A New Reading of Six Thinkers by Henry Somers-HallClayton CrockettSOMERS-HALL, Henry. Judgement and Sense in Modern French Philosophy: A New Reading of Six Thinkers. Cambridge: Cambridge University Press, 2022. 264 pp. Cloth, $99.99Henry Somers-Hall's book examines how French philosophers in the twentieth century develop a logic of thinking based on sense that is both influenced by but also counters Kant's paradigm (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  3
    The Fluid Ubiquity of Food: Why Human Beings are Space–Time Cannibals.Mario Ricca - forthcoming - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique:1-83.
    This essay focuses on the impossibility of considering food as ‘a thing.’ It addresses the legal profiles of food from an interdisciplinary perspective by treating the production, signification and consumption of food as semio-spatial categories. The argument starts from the foundational premise that the dynamics of food, as a magmatic flow, comprehensively connect and transform all human activities and ecological aspects of life. Like a stream of radial projections in a mass of fluid, food functions as a semiotic membrane, embodying (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  35
    Conflict-of-interest policy at the national institutes of health: The pendulum swings wildly.Evan G. DeRenzo - 2005 - Kennedy Institute of Ethics Journal 15 (2):199-210.
    In lieu of an abstract, here is a brief excerpt of the content:Kennedy Institute of Ethics Journal 15.2 (2005) 199-210 [Access article in PDF] Conflict-of-Interest Policy at the National Institutes of Health: The Pendulum Swings Wildly* Evan G. DeRenzo **This article addresses the National Institutes of Health (NIH) employee conflict-of-interest (COI) policy that went into effect February 2005. It is not, however, merely an account of another poorly crafted government policy that cries out for revision. Instead, it is also a (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  41
    Functional completeness of cartesian categories.J. Lambek - 1974 - Annals of Mathematical Logic 6 (3):259.
  36.  30
    Grasping AI: experiential exercises for designers.Dave Murray-Rust, Maria Luce Lupetti, Iohanna Nicenboim & Wouter van der Hoog - 2024 - AI and Society 39 (6):2891-2911.
    Artificial intelligence (AI) and machine learning (ML) are increasingly integrated into the functioning of physical and digital products, creating unprecedented opportunities for interaction and functionality. However, there is a challenge for designers to ideate within this creative landscape, balancing the possibilities of technology with human interactional concerns. We investigate techniques for exploring and reflecting on the interactional affordances, the unique relational possibilities, and the wider social implications of AI systems. We introduced into an interaction design course (n = 100) nine (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  27
    An Application of Product of Intuitionistic Fuzzy Incidence Graphs in Textile Industry.Irfan Nazeer, Tabasam Rashid & Abazar Keikha - 2021 - Complexity 2021:1-16.
    In this research article, we presented the idea of intuitionistic fuzzy incidence graphs along with their certain properties. The number of operations including Cartesian product, composition, tensor product, and normal product in an IFIGs are also investigated. The method to compute the degree of IFIGs obtained by CP, composition, tensor product, and the normal product is discussed. Some important theorems to calculate the degree of the vertices of IFIGs acquired by CP, composition, tensor (...), and normal product are elaborated. An application of CP and composition of two IFIGs in the textile industry to find the best combinations of departments expressing the highest percentage of progress and the lowest percentage of nonprogress is provided. A comparative analysis of our study with the existing study is discussed. Our study will be beneficial to comprehend and understand the further characteristics of IFIGs in detail. Another advantage of our study is that it will be helpful to find the maximum percentage of progress and minimum percentage of nonprogress in different departments of universities, garment factories, and hospitals. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  93
    Dagger Categories of Tame Relations.Bart Jacobs - 2013 - Logica Universalis 7 (3):341-370.
    Within the context of an involutive monoidal category the notion of a comparison relation ${\mathsf{cp} : \overline{X} \otimes X \rightarrow \Omega}$ is identified. Instances are equality = on sets, inequality ${\leq}$ on posets, orthogonality ${\perp}$ on orthomodular lattices, non-empty intersection on powersets, and inner product ${\langle {-}|{-} \rangle}$ on vector or Hilbert spaces. Associated with a collection of such (symmetric) comparison relations a dagger category is defined with “tame” relations as morphisms. Examples include familiar categories in the foundations (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  21
    Social categories, Standardized Relational Pairs and identity work in World War II-narratives.Dorien Van De Mieroop & Kim Schoofs - 2018 - Lodz Papers in Pragmatics 14 (2):227-248.
    Drawing on Membership Categorization Analysis, we aim to tease out how narrators talk into being the social group constellations in their storyworlds and how these – potentially shifting – constellations can be related to the narrator’s identity constructions. We investigate two World War II-testimonies narrated by Belgian concentration camp survivors and scrutinize whether the expected Standardized Relational Pair of victim-perpetrator – viz. the camp prisoners versus the Nazis – is in operation, how these two categories are talked into being, whether (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. Functional completeness and primitive positive decomposition of relations on finite domains.Sergiy Koshkin - 2024 - Logic Journal of the IGPL 32.
    We give a new and elementary construction of primitive positive decomposition of higher arity relations into binary relations on finite domains. Such decompositions come up in applications to constraint satisfaction problems, clone theory and relational databases. The construction exploits functional completeness of 2-input functions in many-valued logic by interpreting relations as graphs of partially defined multivalued ‘functions’. The ‘functions’ are then composed from ordinary functions in the usual sense. The construction is computationally effective and relies on well-developed methods of functional (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  15
    Around Exponential-Algebraic Closedness.Francesco Paolo Gallinaro - 2023 - Bulletin of Symbolic Logic 29 (2):300-300.
    We present some results related to Zilber’s Exponential-Algebraic Closedness Conjecture, showing that various systems of equations involving algebraic operations and certain analytic functions admit solutions in the complex numbers. These results are inspired by Zilber’s theorems on raising to powers.We show that algebraic varieties which split as a product of a linear subspace of an additive group and an algebraic subvariety of a multiplicative group intersect the graph of the exponential function, provided that they satisfy Zilber’s freeness and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. Self-re-production and functionality.Gerhard Schlosser - 1998 - Synthese 116 (3):303-354.
    Function and teleology can be naturalized either by reference to systems with a particular type of organization or by reference to a particular kind of history. As functions are generally ascribed to states or traits according to their current role and regardless of their origin, etiological accounts are inappropriate. Here, I offer a systems-theoretical interpretation as a new version of an organizational account of functionality, which is more comprehensive than traditional cybernetic views and provides explicit criteria for empirically testable (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   72 citations  
  43.  18
    When is Sustainability a Liability, and When Is It an Asset? Quality Inferences for Core and Peripheral Attributes.Siv Skard, Sveinung Jørgensen & Lars Jacob Tynes Pedersen - 2020 - Journal of Business Ethics 173 (1):109-132.
    Sustainable products offered in today’s marketplace are labelled with product-related green attributes or non-product-related green attributes. The current research investigates consumers’ inferences about a product’s functional quality when its core attributes are green and when its peripheral attributes are green. Four experimental studies and an internal meta-analysis show that there is a sustainability liability effect in strength-dependent categories, and a sustainability asset effect in gentleness-dependent categories. Our research contributes to the current understanding of how consumers make inferences (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  14
    Independent Effects of Age, Education, Verbal Working Memory, Motor Speed of Processing, Locality, and Morphosyntactic Category on Verb‐Related Morphosyntactic Production: Evidence From Healthy Aging.Marielena Soilemezidi, Maki Kubota, Marina Chrisikopoulou & Valantis Fyndanis - forthcoming - Topics in Cognitive Science.
    This study investigates the role of locality (a task/material-related variable), demographic factors (age, education, and sex), cognitive capacities (verbal working memory [WM], verbal short-term memory [STM], speed of processing [SOP], and inhibition), and morphosyntactic category (time reference and grammatical aspect) in verb-related morphosyntactic production (VRMP). A sentence completion task tapping production of time reference and grammatical aspect in local and nonlocal configurations, and cognitive tasks measuring verbal WM capacity, verbal STM capacity, motor SOP, perceptual SOP, and inhibition were administered to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45. Normal forms for characteristic functions on n-ary relations.Jan van Eijck - unknown
    Functions of type n are characteristic functions on n-ary relations. Keenan [5] established their importance for natural language semantics, by showing that natural language has many examples of irreducible type n functions, i.e., functions of type n that cannot be represented as compositions of unary functions. Keenan proposed some tests for reducibility, and Dekker [3] improved on these by proposing an invariance condition that characterizes the functions with a reducible counterpart with the same behaviour on product relations. The present (...)
     
    Export citation  
     
    Bookmark   1 citation  
  46.  64
    On the unification problem for cartesian closed categories.Paliath Narendran, Frank Pfenning & Richard Statman - 1997 - Journal of Symbolic Logic 62 (2):636-647.
    Cartesian closed categories (CCCs) have played and continue to play an important role in the study of the semantics of programming languages. An axiomatization of the isomorphisms which hold in all Cartesian closed categories discovered independently by Soloviev and Bruce, Di Cosmo and Longo leads to seven equalities. We show that the unification problem for this theory is undecidable, thus settling an open question. We also show that an important subcase, namely unification modulo the linear isomorphisms, is NP-complete. (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  28
    Modulation of Brain Functional Connectivity and Efficiency During an Endurance Cycling Task: A Source-Level EEG and Graph Theory Approach.Gabriella Tamburro, Selenia di Fronso, Claudio Robazza, Maurizio Bertollo & Silvia Comani - 2020 - Frontiers in Human Neuroscience 14:551041.
    Various methods have been employed to investigate different aspects of the brain activity modulation related to the performance of a cycling task. In our study we examined how functional connectivity and brain network efficiency varied during an endurance cycling task. To this purpose, we reconstructed EEG signals at source level: we computed current densities in 28 anatomical regions of interest (ROIs) through the eLORETA algorithm, then we calculated the Lagged Coherence of the 28 current density signals to define the adjacency (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  44
    Relating Bishopʼs function spaces to neighbourhood spaces.Hajime Ishihara - 2013 - Annals of Pure and Applied Logic 164 (4):482-490.
    We extend Bishopʼs concept of function spaces to the concept of pre-function spaces. We show that there is an adjunction between the category of neighbourhood spaces and the category of Φ-closed pre-function spaces. We also show that there is an adjunction between the category of uniform spaces and the category of Ψ-closed pre-function spaces.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  12
    Epistemología de las políticas de ciencia y tecnología en América Latina.Julio Mejía - 2020 - Cinta de Moebio 67:14-25.
    Resumen: Este ensayo sobre la epistemología de las políticas de ciencia y tecnología, con referencia al campo de las ciencias sociales, examina la base fundante del orden estratégico que guía la producción y circulación cognitiva en América Latina. Precisamente, la disposición expositiva del artículo versa en torno de sus principales categorías epistemológicas: el principio cartesiano de las dos culturas, el eurocentrismo cognoscitivo hegemónico, la apropiación de saberes de la periferia y la extinción de la función-autor en tiempos de la globalización.: (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. Whatever Happened to "Wisdom"?: "Human Beings" or "Human Becomings?".Roger Ames & Yih-Hsien Yu - 2007 - Philosophy and Culture 34 (6):71-87.
    Sri Lanka completed eloquent pull Dage described the love of wisdom is a holistic, practical way of life, which of course requires an abstract, theoretical science of meditation, more importantly, it also contains many religious practices is legal, such as flexible do not rot the soul, bitter conduct regular ring legal, social and political reform program, sustained ethics reflection, body control, dietary rules and taboos. However, this Pythagorean philosophy as a better life to all the light and fade away In (...)
     
    Export citation  
     
    Bookmark  
1 — 50 / 979