Model-theoretic concepts of saturation and categoricity are studied in the context of accessible categories. Accessible categories which are categorical in a strong sense are related to categories of $M$-sets ($M$ is a monoid). Typical examples of such categories are categories of $\lambda$-saturated objects.

We investigate properties of accessible categories with directed colimits and their relationship with categories arising from ShelahʼsElementary Classes. We also investigate ranks of objects in accessible categories, and the effect of accessible functors on ranks.

We show that metric abstract elementary classes are, in the sense of [15], coherent accessible categories with directed colimits, with concrete ℵ1-directed colimits and concrete monomorphisms. More broadly, we define a notion of κ-concrete AEC—an AEC-like category in which only the κ-directed colimits need be concrete—and develop the theory of such categories, beginning with a category-theoretic analogue of Shelah’s Presentation Theorem and a proof of the existence of an Ehrenfeucht–Mostowski functor in case the category is large. For (...) mAECs in particular, arguments refining those in [15] yield a proof that any categorical mAEC is μ-d-stable in many cardinals below the categoricity cardinal. (shrink)

We explore the possibility and some potential payoffs of using the theory of accessible categories in the study of categories of logics. We illustrate this by two case studies focusing on the category of finitary structural logics and its subcategory of algebraizable logics.

We highlight connections between accessible categories and abstract elementary classes , and provide a dictionary for translating properties and results between the two contexts. We also illustrate a few applications of purely category-theoretic methods to the study of AECs, with model-theoretically novel results. In particular, the category-theoretic approach yields two surprising consequences: a structure theorem for categorical AECs, and a partial stability spectrum for weakly tame AECs.

. We explore the possibility and some potential payoffs of using the theory of accessible categories in the study of categories of logics. We illustrate this by two case studies focusing on the category of finitary structural logics and its subcategory of algebraizable logics.

In model theory, a branch of mathematical logic, we can classify mathematical structures based on their logical complexity. This yields the so-called stability hierarchy. Independence relations play an important role in this stability hierarchy. An independence relation tells us which subsets of a structure contain information about each other, for example, linear independence in vector spaces yields such a relation.Some important classes in the stability hierarchy are stable, simple, and NSOP $_1$, each being contained in the next. For each of (...) these classes there exists a so-called Kim-Pillay style theorem. Such a theorem describes the interaction between independence relations and the stability hierarchy. For example, simplicity is equivalent to admitting a certain independence relation, which must then be unique.All of the above classically takes place in full first-order logic. Parts of it have already been generalised to other frameworks, such as continuous logic, positive logic, and even a very general category-theoretic framework. In this thesis we continue this work.We introduce the framework of AECats, which are a specific kind of accessible category. We prove that there can be at most one stable, simple, or NSOP $_1$ -like independence relation in an AECat. We thus recover (part of) the original stability hierarchy. For this we introduce the notions of long dividing, isi-dividing, and long Kim-dividing, which are based on the classical notions of dividing and Kim-dividing but are such that they work well without compactness.Switching frameworks, we generalise Kim-dividing in NSOP $_1$ theories to positive logic. We prove that Kim-dividing over existentially closed models has all the nice properties that it is known to have in full first-order logic. We also provide a full Kim-Pillay style theorem: a positive theory is NSOP $_1$ if and only if there is a nice enough independence relation, which then must be given by Kim-dividing.Abstract prepared by Mark Kamsma.E-mail:mark@markkamsma.nl.URL:https://markkamsma.nl/phd-thesis. (shrink)

What type of conceptual information about an object do we get at a brief glance? In two experiments, we investigated the nature of conceptual tokening—the moment at which conceptual information about an object is accessed. Using a masked picture-word congruency task with dichoptic presentations at “brief” (50−60 ms) and “long” (190−200 ms) durations, participants judged the relation between a picture (e.g., a banana) and a word representing one of four property types about the object: superordinate (fruit), basic level (banana), a (...) high-salient (yellow), or low-salient feature (peel). In Experiment 1, stimuli were presented in black-and-white; in Experiment 2, they were presented in red and blue, with participants wearing red-blue anaglyph glasses. This manipulation allowed for the independent projection of stimuli to the left- and right-hemisphere visual areas, aiming to probe the early effects of these projections in conceptual tokening. Results showed that superordinate and basic-level properties elicited faster and more accurate responses than high- and low-salient features at both presentation times. This advantage persisted even when the objects were divided into categories (e.g., animals, vegetables, vehicles, tools), and when objects contained high-salient visual features. However, contrasts between categories show that animals, fruits, and vegetables tend to be categorized at the superordinate level, while vehicles tend to be categorized at the basic level. Also, for a restricted class of objects, high-salient features representing diagnostic color information (yellow for the picture of a banana) facilitated congruency judgments to the same extent as that of superordinate and basic-level labels. We suggest that early access to object concepts yields superordinate and basic-level information, with features only yielding effects at a later stage of processing, unless they represent diagnostic color information. We discuss these results advancing a unified theory of conceptual representation, integrating key postulates of atomism and feature-based theories. (shrink)

An introduction to category theory as a rigorous, flexible, and coherent modeling language that can be used across the sciences. Category theory was invented in the 1940s to unify and synthesize different areas in mathematics, and it has proven remarkably successful in enabling powerful communication between disparate fields and subfields within mathematics. This book shows that category theory can be useful outside of mathematics as a rigorous, flexible, and coherent modeling language throughout the sciences. Information is inherently dynamic; the same (...) ideas can be organized and reorganized in countless ways, and the ability to translate between such organizational structures is becoming increasingly important in the sciences. Category theory offers a unifying framework for information modeling that can facilitate the translation of knowledge between disciplines. Written in an engaging and straightforward style, and assuming little background in mathematics, the book is rigorous but accessible to non-mathematicians. Using databases as an entry to category theory, it begins with sets and functions, then introduces the reader to notions that are fundamental in mathematics: monoids, groups, orders, and graphs—categories in disguise. After explaining the “big three” concepts of category theory—categories, functors, and natural transformations—the book covers other topics, including limits, colimits, functor categories, sheaves, monads, and operads. The book explains category theory by examples and exercises rather than focusing on theorems and proofs. It includes more than 300 exercises, with solutions. Category Theory for the Sciences is intended to create a bridge between the vast array of mathematical concepts used by mathematicians and the models and frameworks of such scientific disciplines as computation, neuroscience, and physics. (shrink)

This paper establishes a connection between structure sensitive categorial inference and classical modal logic. The embedding theorems for non-associative Lambek Calculus and the whole class of its weak Sahlqvist extensions demonstrate that various resource sensitive regimes can be modelled within the framework of unimodal temporal logic. On the semantic side, this requires decomposition of the ternary accessibility relation to provide its correlation with standard binary Kripke frames and models.

The inductive category formation framework, an influential set of theories of learning in psychology and artificial intelligence, is deeply flawed. In this framework a set of necessary and sufficient features is taken to define a category. Such definitions are not functionally justified, are not used by people, and are not inducible by a learning system. Inductive theories depend on having access to all and only relevant features, which is not only impossible but begs a key question in learning. The crucial (...) roles of other cognitive processes (such as explanation and credit assignment) are ignored or oversimplified. Learning necessarily involves pragmatic considerations that can only be handled by complex cognitive processes.We provide an alternative framework for learning according to which category definitions must be based on category function. The learning system invokes other cognitive processes to accomplish difficult tasks, makes inferences, analyses and decides among potential features, and specifies how and when categories are to be generated and modified. We also examine the methodological underpinnings of the two approaches and compare their motivations. (shrink)

In this paper, we develop a mathematical model of awareness based on the idea of plurality. Instead of positing a singular principle, telos, or essence as noumenon, we model it as plurality accessible through multiple forms of awareness (“n-awareness”). In contrast to many other approaches, our model is committed to pluralist thinking. The noumenon is plural, and reality is neither reducible nor irreducible. Nothing dies out in meaning making. We begin by mathematizing the concept of awareness by appealing to (...) the mathematical formalism of higher category theory. The beauty of higher category theory lies in its universality. Pluralism is categorical. In particular, we model awareness using the theories of derived categories and (infinity, 1)-topoi which will give rise to our meta-language. We then posit a “grammar” (“n-declension”) which could express n-awareness, accompanied by a new temporal ontology (“n-time”). Our framework allows us to revisit old problems in the philosophy of time: how is change possible and what do we mean by simultaneity and coincidence? Another question which could be re-conceptualized in our model is one of soteriology related to this pluralism: what is a self in this context? A new model of “personal identity over time” is thus introduced. (shrink)

Within Western approaches to disability, the expectation for disabled people to ‘prove our disability’ is not only central for receiving access supports, but also for being accepted by those around us. Disabled people must make themselves intelligible to the able-bodied world under the threat of not getting one’s needs met, exclusion, and violence. In this paper I argue that Édouard Glissant is important to bring into conversation with issues in disability studies for two reasons: First, Glissant’s account of compulsory transparency (...) illuminates the underlying colonial values that inform the assumption that we need to understand someone’s disability in order to provide access and respect. Second, Glissant’s argument for the right to opacity creates a potential avenue to rethink an approach to access that is not predicated on being fully understood or rendered fully visible by means of reductive, able-bodied categories: the right to access opacity. (shrink)

This volume completes, starting from chapter 6, the commentary by the young Philoponus on Aristotle's Categories, chapters 1-5 of which were previously published in this series. This ancient commentary was the first work in the Aristotelian syllabus after a general introduction to Aristotle by the same author. It is influenced by an extant short anonymous record of his teacher Ammonius' lecturees on the same work, but Philoponus' commentary is two and a half times as long as that anonymous record, (...) and includes special contributions of Philoponus' own, for example in philology, Christian theology and in disagreements with Aristotle. This English translation of Philoponus' work is the latest volume in the Ancient Commentators on Aristotle series and makes this philosophical work accessible to a modern readership. The translation is accompanied by an introduction, comprehensive commentary notes, bibliography, glossary of translated terms and a subject index. (shrink)

About thirty years ago, when the Internet started to be commercialised, access to the medium became a topic of research and debate. Up-to-date evidence about key predictors, such as age, is crucial because of the Internet's ever-changing nature and the challenges associated with gaining access to it. This paper aims to give an overview of New Zealand's Internet access trends and how they relate to age. It is based on secondary analysis of data from a larger online panel survey with (...) 1,001 adult respondents. The Chi-square test of independence and Cramer's V were used in the analysis. The study provides new evidence to understand the digital divide. Specifically, it uncovers a growing disparity in the quality of Internet connectivity. Even though fibre is the most common type of broadband connection at home, older adults are less likely to have it and more likely to use wireless broadband, which is a slower connection type. Additionally, a sizable majority of people in all age categories have favourable opinions on the Internet. Interestingly, this was more prevalent among older people, although they report an increased concern about the security of their personal information online. The implications of the results are discussed and some directions for future research are proposed. (shrink)

Epstein et al. fail to show that L2 learners have full access to UG because they do not explain the relationship between UG and functional categories (FCs). Nor do they provide an explanation of why learners with (supposed) full knowledge of FCs fail to use them in a native-like way.

The French translation with commentary, the first in a modern language, allows historians of philosophy access to a fundamental work for the understanding of medieval and modern thought. They could also explore more easily the great variety of information contained in the commentary of Simplicius on the history of the exegis of the _Catégories of Aristotle_, and more generally on the history of comparative philosophy of Simplicius. They will discover some important aspects in the actual thought of Simplicius, which so (...) far has hardly been explored. (shrink)

The aim of this paper is to describe and analyze the epistemological justification of a proposal initially made by the biomathematician Robert Rosen in 1958. In this theoretical proposal, Rosen suggests using the mathematical concept of “category” and the correlative concept of “natural equivalence” in mathematical modeling applied to living beings. Our questions are the following: According to Rosen, to what extent does the mathematical notion of category give access to more “natural” formalisms in the modeling of living beings? Is (...) the so -called “naturalness” of some kinds of equivalences (which the mathematical notion of category makes it possible to generalize and to put at the forefront) analogous to the naturalness of living systems? Rosen appears to answer “yes” and to ground this transfer of the concept of “natural equivalence” in biology on such an analogy. But this hypothesis, although fertile, remains debatable. Finally, this paper makes a brief account of the later evolution of Rosen’s arguments about this topic. In particular, it sheds light on the new role played by the notion of “category” in his more recent objections to the computational models that have pervaded almost every domain of biology since the 1990s. (shrink)

This paper, accessible for a general philosophical audience having only some fleeting acquaintance with set-theory and category-theory, concerns the philosophy of mathematics, specifically the bearing of category-theory on the foundations of mathematics. We argue for six claims. (I) A founding theory for category-theory based on the primitive concept of a set or a class is worthwile to pursue. (II) The extant set-theoretical founding theories for category-theory are conceptually flawed. (III) The conceptual distinction between a set and a class can (...) be seen to be formally codified in Ackermann's axiomatisation of set-theory. (IV) A slight but significant deductive extension of Ackermann's theory of sets and classes founds Cantorian set-theory as well as category-theory, and therefore can pass as a founding theory of the whole of mathematics. (V) The extended theory does not suffer from the conceptual flaws of the extant set-theoretical founding theories. (VI) The extended theory is not only conceptually but also logically superior to the competing set-theories because its consistency can be proved on the basis of weaker assumptions than the consistency of the competition. (shrink)

Explicit concepts and sufficiently precise definitions are the basis for further advance of a science beyond a given level. To move toward a situation where the whole population has access to the authentic results of science (italics mine) requires making explicit some general philosophical principles which can help to guide the learning, development, and use of mathematics, a science which clearly plays a pivotal role regarding the learning, development and use of all the sciences. Such philosophical principles have not come (...) from speculation but from studying and concentrating the development of actual mathematical subjects such as algebraic geometry, functional analysis, continuum mechanics, combinatorics, etc. The simplifications in the conceptual relations revealed by such philosophical/mathematical advances are of great value, not only in: (1) clarifying and guiding further research in the mathematical sciences, but also in (2) reforming pedagogy and popularization in ways that will not prove deceptive. (shrink)

Despite their recent development, geo-ontologies represent a complicated conundrum for the different experts involved in their design. Computer scientists use ontologies for describing the meaning of data and their semantics in order to make information resources built for humans understandable also for artificial agents. Geographers pursue conceptualizations that describe the domain of interest in a way that should be accessible, informative, and complete for their final recipients. In this context, philosophers are not required to sketch the historical background of (...) ontology. Rather, they should offer conceptual solutions for carving nature at the joints and choosing how best to categorize and classify the different entities belonging to the geographical domain in question. Accordingly, the aim of this paper is to combine assumptions and requirements coming from these different areas of research in order to show what different categories might potentially complete the current domain of geo-ontologies. (shrink)

Background Research shows that undocumented migrants have difficulties in accessing healthcare. Act 2013:407 came into force in 2013 and entitled undocumented migrants to healthcare that cannot be deferred. To date, studies about undocumented migrants’ access to care in Sweden and the impact of Act 2013:407 are sparse. Hence, the aim of this study was to describe professionals’ experiences of access to healthcare for undocumented migrants in Sweden and the impact of Act 2013:407. Methods A qualitative design with semi-structured interviews was (...) employed. Nine interviews were carried out in 2015 with nurses at two NGO healthcare centres for undocumented migrants – and an additional seven interviews in 2022 with staff at an NGO healthcare centre for undocumented migrants and personnel at a regional health and medical care administration. Interpretive description was used for the analyses. Ethical considerations Permission to carry out the study was obtained from managers at the participating NGOs and the regional health and medical care administration. Participants received verbal and written information about the study, and informed consent was obtained from all participants. Findings Six categories emerged from the analysis: Changes since the Act was introduced, General problems with healthcare access, Care for undocumented migrants – politics and social economy, Lack of knowledge, ‘Healthcare that cannot be deferred’ and Being an undocumented migrant. Conclusion Undocumented migrants’ social needs are as great as their needs for healthcare. Healthcare staff are burdened with healthcare cost considerations which affect their judgement of care provision and prioritization. Healthcare staff attitudes towards undocumented migrants affect their access to healthcare. Undocumented migrants in need of healthcare are especially vulnerable due to their legal status, being ill and the fear of being reported and deported. To assure undocumented migrants’ access to healthcare and maintain healthcare ethics, the only possible solution is to provide healthcare based on needs. (shrink)

We conducted three studies aimed at showing that one-to-one translations between emotion terms might be comparing independent or barely overlapping categories of emotional experience. In Study 1 we found that the speakers' most accessible features of two supposedly equivalent emotions terms (shame and vergüenza) were very different. In Study 2, American and Spanish speakers' typicality ratings of 25 out of 29 constitutive features of “shame” or “vergüenza” were significantly different. In Study 3, these important differences in the content (...) and internal structure of “shame” and “vergüenza” were also reflected in the affective meaning of their corresponding terms. We conclude that “shame” and “vergüenza” do not share the same cluster of central features, and cannot be treated as identical categories of emotional experience. This finding raises serious questions about the one-to-one translation practices not only of most cross-cultural studies on “shame”, but also of other emotion concepts. We suggest an alternative method of translation based on Diachronic Prototype Semantics (Geeraerts, 1997). (shrink)

In this paper, I discuss how to distinguish between ontological categories and ordinary categories. Using an argument against van Inwagen’s proposed account of what makes a category ontological as a springboard, I argue that if ontological categories are modally robust, then ontological categories need to be understood hyperintensionally. This conclusion opens up a wide range of new ways to define ‘ontological category’, and I close by briefly outlining one such way in order to illustrate the advantages (...) of embracing hyperintensionality in this debate. (Published Open Access). (shrink)

Türkiye hosts approximately 3.6 million Syrian refugees, which accounts for roughly 4.5% of Türkiye's population. This places undeniable pressure on public institutions, particularly on healthcare services. The objective of this study is to document the healthcare structure for Syrian refugees and various challenges faced by Syrians when seeking healthcare and to highlight the ethical concerns emerging from those challenges. To achieve this, we conducted a comprehensive review of several qualitative studies and reports conducted by various organizations and institutions, specifically focusing (...) on health or including a dedicated chapter on health issues, published between 2011 and 2023. Following an extensive analysis of the secondary literature, we classified the challenges into three categories: procedural, cultural, and psychosocial. We argue that each of these challenges is linked to overarching medical ethics concerns. Finally, we propose three possible means to mitigate the challenges Syrians experience in accessing and uptake of healthcare services in Türkiye. (shrink)

While recognizing the theoretical importance of context, current research has treated naming as though semantic meaning were invariant and the same mapping of category exemplars and names should exist across experimental contexts. An assumed symmetry or bidirectionality in naming behavior has been implicit in the interchangeable use of tasks that ask subjects to match names to stimuli and tasks that ask subjects to match stimuli to names. Examples from the literature are discussed together with several studies of color naming and (...) basic emotion naming in which no such symmetry was found. A more complete model of naming is proposed to account for flexible mapping of names to items. Principles of naming are suggested to describe effects of stimulus sampling, differing access to terms, task demands, and other impacts on naming behavior. (shrink)

In today's philosophy of science, scientific theories are construed as abstract mathematical objects: formal axiomatic systems or classes of set-theoretic models. By focusing exclusively on the logico-mathematical structure of theories, however, this approach ignores their essentially cognitive nature: that theories are conceptualizations of the world produced by some cognitive agents. As a result, traditional philosophical analyses of scientific theories are incapable of coherently accounting for the relevant relations between highly abstract and idealized models in science and concrete empirical phenomena in (...) the world. ;As a more accurate and comprehensive alternative to traditional analyses of scientific theorizing, the dissertation proposes and develops a conception of scientific theories which makes explicit the essential role of cognitive agents--theorizers--in generating abstract scientific models and systematically relating such models to experimentally controlled parts of the world. ;Specifically, by utilizing the conceptually powerful formal framework of the Theory of Categories, the new approach clarifies and makes formally precise the cognitive status of several important aspects of scientific theorizing, including the notion of a scientific model as theorizers' mathematical conceptualization of the world jointly determined by theorizers' physical interactions with the world and their cognitive access to mathematical objects, the distinction between models in science and models in pure mathematics, the distinction between provisional and successful scientific models, the notion of a systematic correspondence between successful scientific models and the world which does not impose upon the world the mathematical structure of scientific models, and the way in which theorizers' modeling strategy determines the general structure of scientific knowledge. (shrink)

RESUMEN. El autor describe algunos elementos distintivos del estatus y de las funciones del ciudadano en la Atenas del siglo V así como en el contexto democrático ateniense, en el que nació la figura del ciudadano. Pone de relieve el carácter excluyente y las instituciones "limitadas" que hacen de la ciudadanía un estatus exclusivo, reservado para los hombres, para los hijos de ambos padres atenienses y que de esa manera excluía a los extranjeros residentes (metecos), a los otros griegos y (...) a los bárbaros. A partir de la categoría aristotélica de "ciudadano en sentido absoluto", el autor muestra cómo incluso dentro de la comunidad de los atenienses libres, por varias razones, grupos como el de los jóvenes, de los ancianos y de las mujeres en particular, estén excluidos de la plena participación en la vida política de la ciudad, en definitiva, a las decisiones y la gestión del poder. Al mismo tiempo, la investigación muestra cómo los atenienses, a pesar de que sean una minoría de hombres libres dentro de la ciudad, durante dos siglos en forma gradual desarrollen un alto nivel de participación en la vida política de la ciudad, en el sentido de que incluso las clases menos privilegiadas pudieran ocupar cargos políticos que antes eran reservados solo para los más ricos. De este modo se aplicaría plenamente el principio democrático con el cual todo el pueblo gobierna y, al mismo tiempo, a través del primer ejército hecho enteramente de ciudadanos, defiendan sus propias decisiones. ABSTRACT. The author describes a number of distinctive traits of the status and role of citizens in the democratic Athens of the 5th-century BC and in the Athenian democratic framework which saw the establishment of the figure of the citizen. He highlights the exclusiveness of citizenship and the legal institutes that “closed” access to citizenship status. Citizenship was reserved to males born to Athenian parents, and excluded resident aliens (meteci), the other Greeks and the Barbarians. Starting with the Aristotelian category of “citizens in the absolute sense”, the author shows that even within the community of free Athenians, young people, the elderly and, above all, women, were barred from fully participating in the political life of the city for various reasons. Such categories were in all effects excluded from the decision-making process and from the management of power. At the same time the research shows how Athenian citizens, made up of free men which formed but a minority in the city population, succeeded within two centuries to fully develop a high degree of participation in the political life of the city. It was not long before members of lower-income groups started holding key positions in the city that were previously reserved to individuals belonging to the wealthier classes. It was a turnaround that reflected the full realisation of the democratic principle according to which it was the people of Athens as a whole that governed and defended the choices made with an army made up of Athenian citizens. (shrink)

The French translation with commentary, the first in a modern language, allows historians of philosophy access to a fundamental work for the understanding of medieval and modern thought. They could also explore more easily the great variety of information contained in the commentary of Simplicius on the history of the exegis of the Catégories of Aristotle, and more generally on the history of comparative philosophy of Simplicius. They will discover some important aspects in the actual thought of Simplicius, which so (...) far has hardly been explored. (shrink)

Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the set (...) of theorems. The concept of an accessible domain comes from Wilfried Sieg's analysis of proof-theoretic practices, starting with his dissertation. In particular, he noticed the special epistemological character of elements of an accessible domain: they can always be uniquely identified with their build-up. Generally, the unique build-up of elements justifies the principles of induction and recursion. -/- I use category theory to give an abstract characterization of accessible domains. I claim that accessible domains are all instances of initial algebras for endofunctors. Grounded in the historical roots of Sieg's discussions, this dissertation shows how the properties of initial algebras for endofunctors and accessible domains coincide in a satisfying and natural way. -/- Filling out this characterization, I show how important examples of accessible domains fit into this broad characterization. I first characterize some accessible domains by relatively simple functors (e.g. finite, polynomial, those that preserve certain colimits) where we can see how iterating the functor can produce the accessible domain. Then I describe accessible domains that result from more involved specifications (e.g. ordinals and segments of the cumulative hierarchies associated with CZF, IZF, and ZF) by relying heavily on algebraic set theory. I end with a discussion of some of the methodological features of category theory in particular that helped characterize accessible domains. (shrink)

Despite its position in an introductory work to logic, the account of continuity presented by Abū Naṣr Al-Fārābī in his paraphrase of Aristotle’s Categories is apparently even less accessible to the beginner than Aristotle’s original. This is in part because Al-Fārābī integrated elements of the accounts of continuity in Aristotle’s Physics and Metaphysics into an account mainly derived from Aristotle’s Categories. While Al-Fārābī’s account chiefly follows Aristotle’s Categories 6 in describing a continuous object that can be (...) divided into parts with a shared boundary, it borrows the terminology of limits from Physics 5 and the notion of quantity as divisible into its parts from Metaphysics 5.13. In doing so, Al-Fārābī defines continuity using a notion of a limit without determining whether or not it was part of the continuous quantity. This definition could also accommodate atomists, since it would work even if the limit were an atom or several atoms that were part of the continuous object. The broadness of this definition is probably intended to allow students of logic who may have atomist tendencies to accept the account of quantity in the categories tradition, even though they may not be ready to reject atomism until after studying physics. (shrink)

Despite its position in an introductory work to logic, the account of continuity presented by Abū Naṣr Al-Fārābī in his paraphrase of Aristotle’s Categories is apparently even less accessible to the beginner than Aristotle’s original. This is in part because Al-Fārābī integrated elements of the accounts of continuity in Aristotle’s Physics and Metaphysics into an account mainly derived from Aristotle’s Categories. While Al-Fārābī’s account chiefly follows Aristotle’s Categories 6 in describing a continuous object that can be (...) divided into parts with a shared boundary, it borrows the terminology of limits from Physics 5 and the notion of quantity as divisible into its parts from Metaphysics 5.13. In doing so, Al-Fārābī defines continuity using a notion of a limit without determining whether or not it was part of the continuous quantity. This definition could also accommodate atomists, since it would work even if the limit were an atom or several atoms that were part of the continuous object. The broadness of this definition is probably intended to allow students of logic who may have atomist tendencies to accept the account of quantity in the categories tradition, even though they may not be ready to reject atomism until after studying physics. (shrink)

According to a common sense theory, facial expressions signal specific emotions to people of all ages and therefore provide children easy access to the emotions of those around them. The evidence, however, does not support that account. Instead, children’s understanding of facial expressions is poor and changes qualitatively and slowly over the course of development. Initially, children divide facial expressions into two simple categories (feels good, feels bad). These broad categories are then gradually differentiated until an adult system (...) of discrete categories is achieved, likely in the teen years. Children’s understanding of most specific emotions begins not with facial expressions, but with their understanding of the emotion’s antecedents and behavioral consequences. (shrink)

Questions regarding the moral responsibility of Internet accessand service providers relating to information on the Internetcall for a reassessment of the ways in which we think aboutattributing blame, guilt, and duties of reparation andcompensation. They invite us to borrow something similar to theidea of strict liability from the legal sphere and to introduceit in morality and ethical theory. Taking such a category in thedistribution of responsibilities outside the domain of law andintroducing it into ethics, however, is a difficult thing. Doingso (...) seems to conflict with some broadly shared and deeply feltintuitions regarding the individuality of responsibility and therelationship between responsibility and guilt. These convictionscoincide with some basic ideas in Kantian moral theory and theascriptive theory based on these ideas. Nevertheless, theproblems to which the proposed liabilities / responsibilitiesrelate are so serious that they do not seem to leave room foraloofness. At least, they encourage us to reconsider the idea ofstrict liability carefully and to assess its merits. (shrink)

Human dignity, a normative category developed by the Colombian Constitutional Court, is seen from "humanist constitutionalism", due to its functionality for the configuration of the fundamental human right of access to the Internet that translates into a digital vital minimum of the human person, emphasizing in the inclusion of the poor and vulnerable affected by digital inequality. A complex fundamental hyperright that obliges the State to guarantee the human rights of their essential core and formulate public policies for their effective (...) satisfaction inherent in the realization of the valuable life project of the person and their effective functioning in society. (shrink)

Giandomenico Sica’s volume is a collection of eleven papers on category theory by philosophers, mathematicians, and mathematical physicists. In addition to papers of direct interest to philosophers of mathematics, the volume contains some introductory expositions of category theory along with a valuable discussion of the relationship between category theory and physics by Bob Coecke. While there are several technically difficult papers, the volume as a whole is reasonably accessible to those with some familiarity with the basics of category theory. (...) The importance of the volume lies in the possibility that it will encourage broader interest in category theory among philosophers. (shrink)

Social Justice, Health Inequities, and Access to New Age-Related Interventions Content Type Journal Article Category Original Paper Pages 281-295 DOI 10.1007/s12376-009-0027-3 Authors Hans-Jörg Ehni, University of Tuebingen, Tuebingen, Baden-Württemberg Germany Georg Marckmann, University of Tuebingen, Tuebingen, Baden-Württemberg Germany Journal Medicine Studies Online ISSN 1876-4541 Print ISSN 1876-4533 Journal Volume Volume 1 Journal Issue Volume 1, Number 3.

The classes stable, simple, and NSOP $_1$ in the stability hierarchy for first-order theories can be characterised by the existence of a certain independence relation. For each of them there is a canonicity theorem: there can be at most one nice independence relation. Independence in stable and simple first-order theories must come from forking and dividing (which then coincide), and for NSOP $_1$ theories it must come from Kim-dividing. We generalise this work to the framework of Abstract Elementary Categories (...) (AECats) with the amalgamation property. These are a certain kind of accessible category generalising the category of (subsets of) models of some theory. We prove canonicity theorems for stable, simple, and NSOP $_1$ -like independence relations. The stable and simple cases have been done before in slightly different setups, but we provide them here as well so that we can recover part of the original stability hierarchy. We also provide abstract definitions for each of these independence relations as what we call isi-dividing, isi-forking, and long Kim-dividing. (shrink)

BackgroundViral pandemics present a range of ethical challenges for policy makers, not the least among which are difficult decisions about how to allocate scarce healthcare resources. One important question is whether healthcare workers should receive priority access to a vaccine in the event that an effective vaccine becomes available. This question is especially relevant in the coronavirus pandemic with governments and health authorities currently facing questions of distribution of COVID-19 vaccines.Main textIn this article, we critically evaluate the most common ethical (...) arguments for granting healthcare workers priority access to a vaccine. We review the existing literature on this topic, and analyse both deontological and utilitarian arguments in favour of HCW prioritisation. For illustrative purposes, we focus in particular on the distribution of a COVID-19 vaccine. We also explore some practical complexities attendant on arguments in favour of HCW prioritisation.ConclusionsWe argue that there are deontological and utilitarian cases for prioritising HCWs. Indeed, the widely held view that we should prioritise HCWs represents an example of ethical convergence. Complexities arise, however, when considering who should be included in the category of HCW, and who else should receive priority in addition to HCWs. (shrink)

The relationship between perceptual categorization and organization processes in 3‐ to 4‐month‐old infants was explored. The question was whether an invariant part abstracted during category learning could interfere with Gestalt organizational processes. Experiment 1 showed that the infants could parse a circle in accord with good continuation from visual patterns consisting of a circle and a complex polygon. In Experiments 2 and 3, however, this parsing was interfered with by a prior category familiarization experience in which infants were presented with (...) visual patterns consisting of a pacman shape and a complex polygon. Part 1 of Experiments 2 and 3 showed that the infants recognized the pacman as familiar, and Part 2 demonstrated that the representation of the pacman blocked the subsequent parsing of the circle. The results suggest that a cognitive system of flexible feature creation can override organizational principles with which a perceptual system may come pre‐equipped. (shrink)

Place is a key concept in environmental studies and criticism. However, it is often overlooked as a dimension of situatedness in social studies of information. Rather, situatedness has been defined primarily as embodiment or social context. This paper explores place attachments in Big Data by adapting close and distant approaches for reading texts to examine the accessions data of the Arnold Arboretum, a living collection of trees, vines and shrubs established by Harvard University in 1872. Although it is an early (...) and unconventional example of the phenomenon, there are several reasons that the Arboretum is a useful site for investigating the relationship between Big Data and place. First, the category of place is embedded in a range of data fields used in the Arboretum’s records. Second, the Arboretum has long sought to be a place in which scientists and citizens alike can encounter large collections of data firsthand. Third, the place has shaped fluctuations in the daily production of data over the course of the Arboretum’s 144 year history. Furthermore, Arboretum data can help us see place in ways not necessarily tied to geolocation. Each of these place attachments suggests a different way in which data can be environmental: by being about, in, from, or generative of place. Taken together, these attachments offer a model for examining other data in relation to their environments. Moreover, the paper contends that rather than being detached from place, as prevailing discourses suggest, Big Data bring together more and further reaching place attachments than data sets of smaller sizes. (shrink)

Over time, ethical judgments evolve, but so do the phenomena they are applied to. For example, plagiarism is a modern concept. Before the early eighteenth century, works did not generally have references or acknowledgments, and ideas were freely exchanged. As writing became an occupation, copying others' words became “unethical.” As cut and paste, music mash‐up, and other technological forms of exchange make copying the works of others simple, the idea of plagiarism is eroding, and perhaps will eventually even be discarded. (...) The same may be true with privacy. As with plagiarism, it was not really until the eighteenth century that our modern idea of privacy was established. To younger generations, raised on social media, online life is predicated on trading personal information for access. The undermining of former standards of privacy may suggest that privacy may also eventually become an outmoded concept. (shrink)

The paper attempts to show that Predictive Processing (PP), despite recent attempts by its proponents to ward off accusations that lead to skepticism (Clark, A. (2016). _Surfing uncertainty: prediction, action and the embodied mind_. Oxford University Press, Clark, A. (2019). Replies to critics: In search of the embodied, extended, enactive predictive (EEE-P) mind. In M. Colombo, E. Irvine, & M. Stapleton (Eds.), _Andy Clark and his critics_ (pp. 266–302). Oxford University Press), is susceptible to undesirable skeptical consequences of a Kantian (...) (rather than Cartesian) character. Specifically, I shall argue that Clark’s version of PP is susceptible to a particularly Kantian version of skepticism in which the external world directly revealed by PP generative models is a _phenomenal_ one in the Kantian sense: A world perceived and conceived _as_ external, but at the same time essentially ‘internal’ in its categorial form, where this ‘internality’ only diverges from Kant in that it is a consequence of evolution. It will be suggested that these skeptical consequences can be avoided by articulating a more nuanced notion of the boundary between mind and world in PP, namely, one that differentiates an _ontological_ from an _epistemological_ understanding of the boundary between mind (generative model) and world. Moreover, it will be argued that in order to avoid Kantian skepticism, we must construe the very distinction between the phenomenal world and the world as it is in itself in non-metaphysical, pragmatic terms, as a framework condition for epistemically coordinating empirical inquiry within an ever-changing and unpredictable world. As a bonus, this view seems capable of accommodating the insights of autopoietic enactivism without buying into the latter’s controversial ‘transcendental idealist’ organism-relative ontology. (shrink)

Introduction: There is currently no binding, internationally accepted and successful approach to ensure global equitable access to healthcare during a pandemic. The aim of this ethical analysis is to bring into the discussion a legally regulated vaccine allocation as a possible strategy for equitable global access to vaccines. We focus our analysis on COVAX (COVID-19 Vaccines Global Access) and an existing EU regulation that, after adjustment, could promote global vaccine allocation. -/- Methods: The main documents discussing the two strategies are (...) examined with a qualitative content analysis. The ethical values reasonableness, openness and transparency, inclusiveness, responsiveness and accountability serve as categories for our ethical analysis. -/- Results: We observed that the decision-making processes in a legal solution to expand access to vaccines would be more transparent than in COVAX initiative, would be more inclusive, especially of nation states, and the values responsiveness and accountability could be easily incorporated in the development of a new regulation. -/- Discussion: A legal strategy that offers incentives to the pharmaceutical industry in return for global distribution of vaccines according to the Fair Priority Model is an innovative way to achieve global and equitable access to vaccines. However, in the long term, achieving the Sustainable Development Goals will require from all nations to work in solidarity to find durable solutions for global vaccine research and development. Interim solutions, such as our proposed legal strategy for equitable access to vaccines, and efforts to find long-term solutions must be advanced in parallel. (shrink)