In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this gap, (...) we present in this paper a theory for representing ontologies in a dependently typed framework which relies on strong formal foundations including both a constructive logic and a functional type system. The language of this theory defines in a precise way what ontological primitives such as classes, relations, properties, etc., and thereof roles, are. The first part of the paper details how these primitives are defined and used within the theory. In a second part, we focus on the formalization of the role primitive. A review of significant role properties leads to the specification of a role profile and most of the remaining work details through numerous examples, how the proposed theory is able to fully satisfy this profile. It is demonstrated that dependent types can model several non-trivial aspects of roles including a formal solution for generalization hierarchies, identity criteria for roles and other contributions. A discussion is given on how the theory is able to cope with many of the constraints inherent in a good role representation. (shrink)

I explore the possibility of a structuralist interpretation of homotopy type theory (HoTT) as a foundation for mathematics. There are two main aspects to HoTT's structuralist credentials. First, it builds on categorical set theory (CST), of which the best-known variant is Lawvere's ETCS. I argue that CST has merit as a structuralist foundation, in that it ascribes only structural properties to typical mathematical objects. However, I also argue that this success depends on the adoption of a strict typing system which (...) undermines the metaphysical seriousness of this structuralism. Homotopy type theory adds to CST a distinctive theory of identity between sets, which arguably allows its objects to be seen as ante rem structures. I examine the prospects for such a view, and address many other interpretive problems as they arise. (shrink)

Recent debates in metaphysics have highlighted the significance of type theories, such as Simple Type Theory (STT), for our philosophical analysis. In this chapter, I present the salient features of a constructive type theory in the style of Martin-Löf, termed CTT. My principal aim is to convey the flavour of this rich, flexible and sophisticated theory and compare it with STT. I especially focus on the forms of quantification which are available in CTT. A further aim is to argue that (...) a comparison between a plurality of theories is beneficial to the philosophical analysis. We may, for example, discover helpful features of one theory that we may want to import into another context, thus enriching our repertoire of formal tools. Or, through comparison with a less well-known theory, we may gain a better understanding of the characteristics of the theories we are familiar with. As argued in this chapter, CTT has much to offer in all of these respects. (shrink)

Realism about types is the view that types are abstract and repeatable objects. Although type realists seem to agree that types, unlike properties, are objects in their own right, they argue that there is a metaphysically intimate tie between the existence conditions of types and properties. In particular, most type realists believe that types are, in a certain sense, determined by the properties that underlie them. I argue that this is a mistake, especially for those (...) type realists who believe that social and cultural types such as works of music and fiction or words are artifacts. I offer an alternative version of type realism where social and cultural types are dependent objects that should be understood in analogy with concrete artifacts. (shrink)

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, Harper, and Licata as the implicit foundation, confining (...) our presentation to elementary results such as function extensionality, the derivation of weak connections and path induction, the groupoid structure of types, and the Eckmman–Hilton duality. (shrink)

Nonindexical Context-Dependence and the Interpretation as Abduction Approach Inclusive nonindexical context-dependence occurs when the preferred interpretation of an utterance implies its lexically-derived meaning. It is argued that the corresponding processes of free or lexically mandated enrichment can be modeled as abductive inference. A form of abduction is implemented in Simple Type Theory on the basis of a notion of plausibility, which is in turn regarded a preference relation over possible worlds. Since a preordering of doxastic alternatives taken for itself only (...) amounts to a relatively vacuous ad hoc model, it needs to be combined with a rational way of learning from new evidence. Lexicographic upgrade is implemented as an example of how an agent might revise his plausibility ordering in light of new evidence. Various examples are given how this apparatus may be used to model the contextual resolution of context-dependent or semantically incomplete utterances. The described form of abduction is limited and merely serves as a proof of concept, but the idea in general has good potential as one among many ways to build a bridge between semantics and pragmatics since inclusive context-dependence is ubiquitous. (shrink)

There has been much work on ontological dependence in recent literature. However, relatively little of it has been dedicated to the ways in which individual physical objects may depend on other distinct, non-overlapping objects. This paper gives several examples of such object-dependence and distinguishes between different types of it. The paper also introduces and refines the notion of an n-tet. N-tets (typically) occur when there are object-dependence relations between n objects. I claim that the identity (or, rather, what I (...) call the n-dentity) conditions for n-tets are not grounded in the individual identity conditions of each of the n objects, but instead are metaphysically basic. The paper then briefly discusses some ramifications of accepting object-dependence (and n-tets) on the philosophy of biology, ethics, and logic. (shrink)

This paper presents and argues for an account of objectual understanding that aims to do justice to the full range of cases of scientific understanding, including cases in which one does not have an explanation of the understood phenomenon. According to the proposed account, one understands a phenomenon just in case one grasps a sufficiently accurate and comprehensive model of the ways in which it or its features are situated within a network of dependence relations; one’s degree of understanding is (...) proportional to the comprehensiveness and accuracy of such a model. I compare this account with accounts of scientific understanding that explicate understanding in terms of having an explanation of the understood phenomenon. I discuss three distinct types of cases in which scientific understanding does not amount to possessing an explanation of any kind, and argue that the proposed model-based account can accommodate these cases while still retaining a strong link between understanding and explanation. (shrink)

An analysis of the classical-quantum correspondence shows that it needs to identify a preferred class of coordinate systems, which defines a torsionless connection. One such class is that of the locally-geodesic systems, corresponding to the Levi-Civita connection. Another class, thus another connection, emerges if a preferred reference frame is available. From the classical Hamiltonian that rules geodesic motion, the correspondence yields two distinct Klein-Gordon equations and two distinct Dirac-type equations in a general metric, depending on the connection used. Each of (...) these two equations is generally-covariant, transforms the wave function as a four-vector, and differs from the Fock-Weyl gravitational Dirac equation (DFW equation). One obeys the equivalence principle in an often-accepted sense, whereas the DFW equation obeys that principle only in an extended sense. (shrink)

Logical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classifications, distinguished the following types of reasoning: (1) deductive and (2) non-deductive, and additionally (...) two types of them in each of the two, depending on the manner of combining their premises with the conclusion through the relation of classical logical entailment. Consequently, the four types of reasoning: unilateral deductive (incl. its sub-types: deductive inference and proof), bilateral deductive (incl. complete induction), and reductive (incl. the sub-types: explanation and verification), logically nonvaluable (incl. inference by analogy, statistic inference), correspond to four operators of derivability. They are defined formally on the ground of Tarski’s axiomatic theory of deductive systems, by means of the consequence operation _Cn_ (Tarski in Monatshefte Math Phys 37:361–404, 1930a, C R Soc Sci Lett Vars 23:22–29, 1930b). Also, certain metalogical properties of these operators are given, as well as their relations with Tarski’s consequence operations \(Cn^+\) ( \(Cn^+ = Cn\) ) and dual consequences \(Cn^{-1}\) (Słupecki in Zeszyty Naukowe Uniwersytetu Wrocławskiego Seria B Nr 3:33–40, 1959, Słupecki et al. in Stud Log 29:76–123, 1971, Wybraniec-Skardowska, in: Wybraniec-Skardowska, Bryll (eds) Z badań nad teorią zdań odrzuconych [Studies in the Theory of Rejected Propositions], Series B, Studia i Monografie, Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Opole, 1969), and \(Cn^-\) (Wójcicki in Bull Sect Log 2(2):54–57, 1973)). (shrink)

This paper integrates type functionalism with the Kairetic account to develop context-specific models for explaining mental states, particularly pain, across different species and systems. By employing context-dependent mapping f_c, we ensure cohesive causal explanations while accommodating multiple realizations of mental states. The framework identifies context subsets C_i and maps them to similarity subspaces S_i, capturing the unique physiological, biochemical, and computational mechanisms underlying pain in different entities such as humans, octopi, and AI systems. This approach highlights the importance of (...) causal relations in defining mental states and preserves their functional roles across diverse contexts. Furthermore, the paper incorporates elements of token functionalism by recognizing species-specific realizations of mental states. By acknowledging the unique representations of mental states within different species and systems, the framework provides a nuanced understanding of how similar functional roles can be fulfilled by diverse physical substrates. This synthesis of type and token functionalism enhances our explanatory power and coherence in addressing the complex nature of mental states. The resulting framework offers a robust tool for analyzing and understanding mental phenomena, with significant implications for cognitive science, philosophy of mind, and artificial intelligence. By maintaining the functional roles of mental states while accommodating their multiple realizations, this approach not only advances theoretical understanding but also opens new avenues for practical applications in cross-species empathy, AI ethics, and the development of context-aware cognitive models. (shrink)

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 mastered three (...) books." In our solution developed in homotopy type theory and using the rule of existential closure following Heim analysis of indefinites, common nouns are modeled as identifications of their aspects using HoTT identity types, e.g., the common noun book is modeled as identifications of its physical and informational aspects. The previous treatments of copredication in systems of semantics which are based on simple type theory and dependent type theories make the correct predictions but at the expense of ad hoc extensions (e.g., partial functions, dot types and coercive subtyping). The model proposed here, also predicts the correct results but using a conceptually simpler foundation and no ad hoc extensions. (shrink)

The influence of imagery on perception depends on the content of the mental image. Sixty-three students responded to the location of the 2 hands of a clock while visualizing the correct or an incorrect clock. Reaction time was shorter with valid cueing. Could this have resulted from visual acquisition strategies such as planning visual saccades or shifting covert attention? No. in this study, a crucial control condition made participants look at rather than visualize the cue. Acquisition strategies should have affected (...) equally both types of cueing, but we observed that the effect of the visual cue was smaller and limited to a particular subcase in which one expects visual acquisition strategies. Thus, what matters is the similarity of the content of the mental image with the visual scene. In addition, an interaction involving the hand used for responding supports the notion that composite imagery is lateralized. (shrink)

”It is often assumed that knowledge claims must be justified. But what kind of justification is required for knowledge ? . . . ” (*) -/- presupposition: the kind of epistemic justification depends on the type of the knowledge claim and its respective knowledge claim tradeoff ’vague vs. precise’. -/- procedere: in two - almost purely logical - case studies I account for this tradeoff and question in each case what (if any) were its general outcome wrt justification -/- first (...) for basic measurement statements of the form ′′ϕ(x) = r ∈ IR ± δ′′ (wrt ”measurement accuracy realism” debate) -/- and secondly predication statements of the form ′′x is ( a case of )P′′ (wrt ”epistemic vagueness” debate). (shrink)

The paper emphasizes the inadequacy of formal semantics, the classical paradigm in semantics, in treating contextual dependence. Some phenomena of contextual dependence threaten one central assumption of the classical paradigm, namely the idea that linguistic expressions have a fixed meaning, and utterances have truth conditions well defined. It is possible to individuate three forms of contextual dependence: the one affecting pure indexicals, the one affecting demonstratives and "contextual expressions", and the one affecting all linguistic expressions. The third type of dependence (...) is top-down: context, and not only linguistic material, shows which variables must be instantiated, relying on context itself. The generalization of underdetermination to all linguistic expressions is in fact a kind of metadependence: the mode of dependence itself depends on context. (shrink)

Many response-dependence theorists equate moral truth with the generation of some affective psychological response: what makes this action wrong, as opposed to right, is that it would cause (or merit) affective response of type R (perhaps under ideal conditions). Since our affective nature is purely contingent, and not necessarily shared by all rational creatures (or even by all humans), response-dependence threatens to lead to relativism. In this paper, I will argue that emotional responses and moral features do not align in (...) the way predicted by the response-dependence theorist who wishes to tie morality to emotional affect. I further argue that since response-dependence accounts that tie morality to any sort of affect (be it an emotion, a desire, a desire to desire, or so on) cannot explain the objectivity and universality of morality; and since we do not need a psychological response to play a truth-constituting role in morality in order to explain the normativity or content of morality, we should reject such response-dependence accounts. (shrink)

By using multilevel mediation involving 322,589 posts made by 384 musicians over 104 weeks, we simultaneously analyze the short-term and long-term effects of charity-related signaling on sales, with social media engagement as the mediator. Specifically, we compare the effects of charity-related signals with those of two other types of signals: mission-related (i.e., promoting music and commercial products) and non-mission-related (i.e., other posts that do not relate to the other two categories). In the short term, the indirect effect of using (...) charity signaling on sales (through engagement) is positive, though smaller than the effects of mission-related and non-mission related signals. However, in the long term, the indirect effect of regularly using charity-related signaling on sales (through long-term engagement) is greater than for the effects involving the other types of signals. We derive from these findings three main implications for the business ethics literature. First, in the long term, the mutual economic benefits of charity signaling should encourage both entities (i.e., musicians and charities) to go beyond short-term, transactional philanthropy. Second, because it is profitable for musicians to partner with charities in the long-term, our research argues that charities have extensive bargaining power in such co-branding decisions. Third, our research highlights the importance of studying the longitudinal aspects of co-branding decisions involving non-profit organizations; the financial outlook of such decisions could greatly vary depending on the timeframe (i.e., short vs. long). (shrink)

Proponents of enactivism should be interested in exploring what notion of action best captures the type of action-perception link that the view proposes, such that it covers all the aspects in which our doings constitute and are constituted by our perceiving. This article proposes and defends the thesis that the notion of sensorimotor dependencies is insufficient to account for the reality of human perception, and that the central enactive notion should be that of perceptual practices. Sensorimotor enactivism is insufficient because (...) it has no traction on socially dependent perceptions, which are essential to the role and significance of perception in our lives. Since the social dimension is a central desideratum in a theory of human perception, enactivism needs a notion that accounts for such an aspect. This article sketches the main features of the Wittgenstein-inspired notion of perceptual practices as the central notion to understand perception. Perception, I claim, is properly understood as woven into a type of social practices that includes food, dance, dress, music, etc. More specifically, perceptual practices are the enactment of culturally structured, normatively rich techniques of commerce of meaningful multi- and inter-modal perceptible material. I argue that perceptual practices explain three central features of socially dependent perception: attentional focus, aspects’ saliency, and modal-specific harmony-like relations. (shrink)

This article investigates the ability of mental incapacity tests to account for problems of control, through a study of the approach to alcohol dependence and a comparison with the approach to anorexia nervosa, in England and Wales. The focus is on two areas of law where questions of legal and mental capacity arise for people who are alcohol dependent: decisions about treatment for alcohol dependence and diminished responsibility for a killing. The mental incapacity tests used in these legal contexts (...) are importantly different—one involves a ‘cognitive’ test, while the other includes an explicit impaired-control limb—and the comparison provides insight into a longstanding debate about the virtues of one type of test over the other. It is shown that both kinds of test can take control problems into account, but also that both can be interpreted in narrow and wide ways that significantly influence the outcome of the assessment. It is therefore argued that to a large extent, it is not the kind of mental incapacity test that matters, but how the test is interpreted. It is further proposed that value judgements are playing an unrecognised and inappropriate role in shaping this interpretation. This raises concerns about the current approach to assessing the impact of alcohol dependency on the capacity to make decisions about alcohol use or treatment, as well as broader concerns about flexibility within incapacity tests. (shrink)

Multidimensional concepts are everywhere, and they are important. Examples include moral value, welfare, scientific confirmation, democracy, and biodiversity. How, if at all, can we aggregate the underlying dimensions of a multidimensional concept F to yield verdicts about which things are Fer than which overall? Social choice theory can be used to model and investigate this aggregation problem. Here, we focus on a particularly thorny problem made salient by this social choice-theoretic framework: the underlying dimensions of a given concept might be (...) measurable on different types of scales—e.g., some ordinal and some cardinal. An underappreciated impossibility theorem due to Anna Khmelnitskaya shows that seemingly plausible constraints on aggregation across scale types are inconsistent. This impossibility threatens to render the notion of overall Fness incoherent. We attempt to defuse this threat, arguing that the impossibility depends on an overly restrictive conception of measurement and of how measurement constrains aggregation. Adopting a more flexible—and, we think, more perspicuous—conception of measurement opens an array of possibilities for aggregation across disparate scale types. (shrink)

Granting that there could be true subjunctive conditionals of libertarian freedom (SCLs), I argue (roughly) that there could be such conditionals only in connection with individual "possible creatures" (in contrast to types). This implies that Molinism depends on the view that, prior to creation, God grasps possible creatures in their individuality. In making my case, I explore the notions of counterfactual implication (that relationship between antecedent and consequent of an SCL which consists in its truth) and counterfactual relevance (that (...) feature of an antecedent in virtue of which it counterfactually implies something or other). (shrink)

An observation of Hume’s has received a lot of attention over the last decade and a half: Although we can standardly imagine the most implausible scenarios, we encounter resistance when imagining propositions at odds with established moral (or perhaps more generally evaluative) convictions. The literature is ripe with ‘solutions’ to this so-called ‘Puzzle of Imaginative Resistance’. Few, however, question the plausibility of the empirical assumption at the heart of the puzzle. In this paper, we explore empirically whether the difficulty we (...) witness in imagining certain propositions is indeed due to claim type (evaluative v. non-evaluative) or whether it is much rather driven by mundane features of content. Our findings suggest that claim type plays but a marginal role, and that there might hence not be much of a ‘puzzle’ to be solved. (shrink)

Philosophers, psychologists, economists and other social scientists continue to debate the nature of human well-being. We argue that this debate centers around five main conceptualizations of well-being: hedonic well-being, life satisfaction, desire fulfillment, eudaimonia, and non-eudaimonic objective-list well-being. Each type of well-being is conceptually different, but are they empirically distinguishable? To address this question, we first developed and validated a measure of desire fulfillment, as no measure existed, and then examined associations between this new measure and several other well-being measures. (...) In addition, we explored associations among all five types of well-being. We found high correlations among all measures of well-being, but generally correlations did not approach unity, even when correcting for unreliability. Furthermore, correlations between well-being and related constructs (e.g., demographics, personality) depended on the type of well-being measured. We conclude that empirical findings based on one type of well-being measure may not generalize to all types of well-being. (shrink)

It has been debated whether the so-called attention economy, in which the attention of agents is measured and sold, jeopardizes something of value. One strand of this discussion has focused on so-called attention rights, asking: should attention be legally protected, either by introducing novel rights or by extending the scope of pre-existing rights? In this paper, however, in order to further this discussion, we ask: How is attention already protected legally? In what situations does a person have the right to (...) attention under current law? -/- Unlike (Chomanski, Neuroethics 16:1–11, 2023), who discusses an overall right to attention, or (Puri, Rutgers Law Record 48:206–221, 2021), who discusses an overall right to attentional privacy, in this paper we focus on two types of situations in which a person’s attention is already protected by legal regulation. Sustained attention-requiring tasks can be jeopardized by distractions whereas attentiveness to certain kind of stimuli can be jeopardized by immersive stimuli. That is why distractions are regulated in situations where an agent has what we call a concentration right and immersive stimuli are regulated in situations where an agent has what we call a duty to be attentive. The further analysis of these situations provides an understanding of the legal means by which attention is already regulated, which can be helpful when thinking about how it should be regulated in the future. (shrink)

The study aimed to know the relationship between the nature of the work and the type of communication among the Employees in the Palestinian universities. A comparative study between Al-Azhar University and Al-Aqsa University. The researchers used the analytical descriptive method through a questionnaire that is randomly distributed among the employees of Al-Azhar and Al-Aqsa universities in Gaza Strip. The study was conducted on a sample of (176) administrative employees from the surveyed universities. The response rate was (85.79%). The study (...) reached a number of results, the most important of which is that there is a high degree of satisfaction with the nature of work prevailing in the Palestinian universities in Gaza Strip from the point of view of the administrative staff, where the percentage was (68.15%). There is an Mean level of communication from the point of view of administrative staff, with a percentage of (67.50%). There is a direct correlation between the nature of the work and the prevailing pattern of communication. There is an absence of differences between the sample according to the gender variable in their perception of the nature of work and the prevailing pattern of communication. There is an absence of differences in the perception of Employees nature of work and the pattern of communication prevailing depending on the variables (age, years of service, job level, and university). There are statistically significant differences between Al-Azhar University and Al-Aqsa University in favor of Al-Azhar University. The study reached a number of recommendations, the most important of which is that the interest of the management of the Palestinian universities in Gaza Strip in general, and Al-Aqsa and Al-Azhar Universities in particular should be provided with a good nature of work and communication. There is a need for continuing the management of universities to pay attention and continuous improvement of the performance of employees. There is an importance of solving the problems of Employees and giving them the opportunity to contribute to solving their own problems. Staff rotation should be used periodically and the need to strengthen the democratic leadership style and empower university Employees. (shrink)

Chalmers has provided a dilemmatic master argument against all forms of the phenomenal concept strategy. This paper explores a position that evades Chalmers's argument, dubbed Type Bb: it is for Type B physicalists who embrace horn b of Chalmers's dilemma. The discussion concludes that Chalmers fails to show any incoherence in the position of a Type B physicalist who depends on the phenomenal concept strategy.

This paper explores the integration of Michael Strevens' concept of idealizations with my previous framework of similarity spaces and context-dependence to develop a comprehensive account of ideal explanations in scientific practice. Idealizations, which involve deliberate falsifications, play a crucial role in distinguishing between causally relevant and irrelevant factors in scientific models. Context-dependent mapping provides a structured approach to handling complementarities and context-dependent phenomena by mapping different observational contexts to distinct sets of physical laws. By combining these two ideas, (...) I will construct an idealized context-dependent mapping structure and discuss how ideal similarity spaces within the framework of context-dependent mapping can enhance our understanding of complex scientific phenomena, especially those involving wave-particle duality and black hole complementarity. I also aim to discuss the types of idealizations that may exist within explanation and examine their relations to the mapping. (shrink)

In this paper, I argue that the relationship between belief and credence is a central question in epistemology. This is because the belief-credence relationship has significant implications for a number of current epistemological issues. I focus on five controversies: permissivism, disagreement, pragmatic encroachment, doxastic voluntarism, and the relationship between doxastic attitudes and prudential rationality. I argue that each debate is constrained in particular ways, depending on whether the relevant attitude is belief or credence. This means that epistemologists should pay attention (...) to whether they are framing questions in terms of belief or in terms of credence and the success or failure of a reductionist project in the belief-credence realm has significant implications for epistemology generally. (shrink)

This paper presents information about the moisture content and temperature level of brick walls in Tirana, Albania. The buildings whose walls have been studied were built in two different eras, throughout the twentieth century, and in more recent times. Given that during the second half of the twentieth century, Albania has been isolated from most of Europe and the West, and consequently the new architectural ideologies of the time, have not had the proper implementation there, the paper focuses on the (...) characteristic types of bricks used in Albania, the functions for which they are used, and their effectiveness in achieving comfort (thermal, moisture content control) during the two time periods mentioned above. Depending on the functions bricks perform in the walls studied in this paper, the walls are separated into two main groups: Walls in which bricks have structural role (red silicate brick walls, white silicate brick walls) and walls in which bricks do not have structural role (concrete block walls, holed brick walls). For all the types of bricks mentioned above, indoor moisture content and temperature measurements have been performed in all four cardinal directions. For the walls in which the bricks have a structural function, moisture measurements have been performed in all the facades of the buildings, because moisture in the bricks of these types of buildings, being a very important factor, directly affects the structural performance of the elements. The aim of the paper is to show the differences in moisture and temperature levels of the walls of these buildings, depending on the engineering and architectural techniques used during the building process, the use of insulation, and the masonry composition. (shrink)

Metformin is considered the first-line treatment as a monotherapy for patients with type 2 diabetes mellitus. Emerging evidence suggests that metformin may have a renoprotective role; therefore, understanding the impact of metformin dose and therapy duration on renal function may significantly improve renal outcomes in type 2 diabetes patients. This study aims to investigate the renoprotective effects of metformin by analyzing its dose-dependent impacts on the estimated glomerular filtration rate in patients with type 2 diabetes mellitus. A retrospective cross-sectional (...) study design was used from September 2022 to October 2023. Data from 302 type 2 diabetes patients were collected from patient files at the Benghazi Diabetic Center and the Aljabal Al-Alkdar Diabetic Center, including all with type 2 diabetes mellitus patients on varying doses of metformin. The collected data included age, gender, metformin dose, duration of metformin therapy, urea, and creatinine. Exclusion criteria included patients with significant comorbidities such as chronic kidney disease (other than diabetic nephropathy), liver disease, heart failure, or malignancy; those taking nephrotoxic medications; individuals with recent acute illnesses or surgical procedures; pregnant or lactating women; participants with inadequate medical records; and patients who were non-adherent to metformin therapy. Survival analysis was conducted to evaluate the effect of different metformin doses on the estimated glomerular filtration rate. The study analyzed 302 diabetic patients, of whom 46.0% were male and 54.0% were female. The age was 58.3±11.9 years. The HbA1c was 7.7%±1.3%. The duration of diabetes was 11.4±8.1 years. The creatinine was 1.0±0.9 mg/dL, and the urea was 36.7±23.8 mg/dL. Data analysis revealed a statistically significant difference in survival distribution across the dose groups. Different metformin doses significantly impact the estimated glomerular filtration rate, suggesting that dosage plays a crucial role in maintaining renal function. (shrink)

This paper discusses and criticizes Segal’s 1989 argument against singular object-dependent thoughts. His argument aims at showing that object-dependent thoughts are explanatorily redundant. My criticism of Segal’s argument has two parts. First, I appeal to common anti-individualist arguments to the effect that Segal’s type of argument only succeeds in establishing that object-dependent thoughts are explanatorily redundant for those aspects of subjects’ behaviour that do not require reference to external objects. Secondly, Segal’s view on singular thoughts is at (...) odds with his view on the semantics of proper names, which favours the singularity and object-dependency of the truth-conditions of sentences in which they occur. In particular, his views are at odds with a position he holds, that truth-conditional semantics can adequately account for all aspects of speakers’ linguistic competence in the use of proper names. (shrink)

Truthmaking non-maximalism usually assumes that some truths do not have truthmakers. I suggest, however, that non-maximalism can be understood more specifically, and that different types of non-maximalism can be distinguished. To do so, I refer to two positions. The first is deflationary truthmaking, some of whose proponents assume that no truths have truthmakers. The second distinguishes between truths that do not have truthmakers but depend on being, and truths that do not have truthmakers and moreover do not depend on (...) being. Given the combinations of these positions, I propose a new classification indicating the positions available to a non-maximalist. I argue that one of these positions is particularly worth adopting because of its advantages over the other options. (shrink)

The COVID-19 crisis has forced a difficult trade-off between limiting the health impacts of the virus and maintaining economic activity. Welfare economics offers tools to conceptualize this trade-off so that policy-makers and the public can see clearly what is at stake. We review four such tools: the Value of Statistical Life (VSL); the Value of Statistical Life Years (VSLYs); Quality-Adjusted Life-Years (QALYs); and social welfare analysis, and argue that the latter are superior. We also discuss how to choose policies that (...) differentially affect people’s wellbeing. We argue in favor of evaluating policies using a Social Welfare Function (SWF), which evaluates the possible distributions of wellbeing across individuals that may result from a policy. Such a function, we argue, should regard increases in the wellbeing of the less well-off as especially valuable. We then use a model to illustrate how such a framework can help evaluate two broad policy types in response to the pandemic: eradication of the virus, and more lenient control of the spread. Our model reveals how such evaluations depend on many empirical facts but also on key value judgments about the relative importance of health and on the extent of special concern for the worse off. The purpose of this brief is not to make precise recommendations, as conditions vary widely across countries and over time, but to provide a methodology. (shrink)

Interaction with the environment occurs in the perception of movement. Movement is the basic concept of mobility. Development and diversification (i.e., faster transportations, new technological access, etc.) of movement concepts may contribute modern people to become independent of any place. Nomadic cultures constitute the basic principles of mobile architecture with light, portable materials and flexible constructions. In the industrial age, futurist manifesto announced machine-housing concepts. The mechanized perception of the spaces prepared ground for mobilization. Mobility, as a source of independence (...) from places, is sometimes a preference but sometimes the result of urgency. “Individual preference”, “cultural movement” and “forced movement” are key reasons for movements which may differentiate modes of mobile space. The objective of this study to examine distinctive features of mobile spaces of forced movements (i.e., for refugees) by comparing with other types of mobility (individual preference and cultural movement). Various design competitions were held for mobile spaces. The cases were selected for this study, considering the role of the user’s profile (unspecific users; nomads/immigrants; refugees) who live in mobile spaces. We analyzed awarded/selected projects for each type of mobility. As a result of examining the awarded outcomes of the competition the following parameters were detected: quantity of users; designer's choice for location; reaction to the environment; contextual attention; scope of modularity; mode of portability; type of portability; cost of materials and construction; proposal for belonging; sensitivity for sustainability. It seems that current events in the world have transformed the concept of mobility and led to the development of new definitions of mobility. This paper presents one of the new definitions of mobility, specifically for refugees. Many aspects of mobile architecture for refugees, as a new definition of mobility, has shown in this study. (shrink)

Consider an infinite set of discrete, finite-sized solid balls (i.e., elements) extending in all directions forever. Here, infinite set is not meant so much in the abstract, mathematical sense but in more of a physical sense where the balls have physical size and physical location-type relationships with their neighbors. In this sense, the set is used as an analogy for our possibly infinite physical universe. Two observers are viewing this set. One observer is internal to the set and is of (...) the same finite size scale as the ball elements. Another observer is external to the set and is infinite in size relative to the balls and observer within the set. This observer is of the same size scale as the set as a whole. What do these sets look like to the two observers? The finite-sized (relative to the balls inside the set) observer within the set would view the set as a space composed of discrete, finite-sized objects. The external infinite-sized (relative to the inside the set) observer would view the very same set as a continuous space and would see no distinct elements within the set. How does this relate to us? First, the differing views of set N as being composed of a discrete versus continuous space may be related to the differing views of spacetime as discrete and continuous. Second, the perspective of the observer would have an impact on the assignment of a cardinality to an infinite set. (shrink)

A widespread intuition is that words, musical works, and flags are intentionally produced and that they’re abstract types that can have incorrect tokens. But some philosophers, notably Julian Dodd and Nicholas Wolterstorff, think intention-dependence isn’t necessary; tokens just need to have certain relevant intrinsic features to be tokens of a given type. I show how there’s an unappreciated puzzle that arises from these two views: if tokens aren’t intention-dependent and types can admit of correct and incorrect tokens, (...) then some driftwood that washes up and forms what seems like the word ‘cat’ may simultaneously be a misspelling of ‘act’ and innumerable other misspelt words. I consider various ways Dodd and Wolterstorff can respond to this counterintuitive result and argue that biting the bullet, as well as nearby views, are implausible. Thus, they need to give up one of the two commitments, and I argue that requiring the intention-dependence of tokens, rather than the mere possession of certain intrinsic properties, is the best option. (shrink)

In formal ontology, infinite regresses are generally considered a bad sign. One debate where such regresses come into play is the debate about fundamentality. Arguments in favour of some type of fundamentalism are many, but they generally share the idea that infinite chains of ontological dependence must be ruled out. Some motivations for this view are assessed in this article, with the conclusion that such infinite chains may not always be vicious. Indeed, there may even be room for a type (...) of fundamentalism combined with infinite descent as long as this descent is “boring,” that is, the same structure repeats ad infinitum. A start is made in the article towards a systematic account of this type of infinite descent. The philosophical prospects and scientific tenability of the account are briefly evaluated using an example from physics. (shrink)

Diabetic ketoacidosis is a serious, medical emergency that can be fatal but treatable, we aimed to evaluate the clinical profile of patients admitted with diabetic ketoacidosis. This case series study enrolled 213 non-pregnant adult and adolescent patients admitted with diabetic ketoacidosis at Tripoli Diabetes Hospital from January to September 2023. Demographic data, clinical characteristics, laboratory findings, precipitating factors, and patient outcomes were extracted from medical records and analyzed. Type 1 diabetes mellitus was present in 187 (87.8%) of patients, the age (...) range 11-84 years, (30.26±13.28), with 130 patients ≤30 years old (61.0%), females accounting for 110 of the patients (51.6%), 109 had a diabetes duration of less than 10 years (51.2%). The most common precipitating factor was insulin omission 92 (43.2%) in patients with known diabetes mellitus, whereas, diabetic ketoacidosis as the first presentation of diabetes mellitus in 24 patients (11.7%), systolic blood pressure ranged 50-160 mmHg (112.82±16.19), diastolic blood pressure varied 30-100 mmHg (70.24±11.32). Plasma glucose at presentation ranged 183-1494 mg/dl (462.92±169.85), with Eu-glycemic diabetic ketoacidosis 100-249 mg/dl were in nine patients (4.2%), whereas most of cases (135 patients, 63.4%) present with plasma glucose 250-500 mg/dl, while hyperosmolar status (≥701 mg/dl) were present in 13 patients (6.1%). Venous pH varied from 6.7-7.42 (7.13±0.14), 132 (62.0%) patients presented with pH <7.24, while severe acidosis was pH < 7 in 32 of patients (14.6%), serum bicarbonate with 10.93±4.95, severe (<5 mmol) in 91 patients (42.7%) and moderate (5-10 mmol) were in 79 patients (37.08%). The mean length of hospital stay was 3.33 days, with an average of 2.11 days spent in the high-dependent unit. Serum potassium varied from 2.4-6.7 meq/L with 3.66± 0.63, most common complications of diabetic ketoacidosis treatment were hypokalemia observed in 82 (35.7%) of cases, and hypoglycemia was detected in 41 patients (19.2%). 170 patients were discharged in good condition (79.8%), and 17.8% of patients were transferred to another hospital to receive further management for co-morbid diseases with diabetes after controlling their hyperglycemic crises. The majority of patients presented with the critical status of diabetic ketoacidosis. The findings emphasize the importance of patient education about prevention measures prompt presentation to the hospital, and clinicians' awareness for early and aggressive treatment of hyperglycemic crises. (shrink)

From the point of view of Brentano’s philosophy, contemporary philosophy of mind presupposes an over-crude theory of the internal structures of mental acts and states and of the corresponding types of parts, unity and dependence. We here describe Brentano’s own account of the part-whole structures obtaining in the mental sphere, and show how it opens up new possibilities for mereological investigation. One feature of Brentano’s view is that the objects of experience are themselves parts of mind, so that there (...) is a sense in which for him (as e.g. for Leibniz) ontology is a proper part of rational or descriptive psychology. (shrink)

This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...) The second reason is conditional on a substitutional interpretation of quantification over types other than that of individuals. This reason stands up to investigation: a simple-type language will not sustain such an interpretation, but a ramified-type language will. And there is evidence that Russell was tacitly inclined towards such an interpretation. A strong construal of that interpretation opens a way to make sense of Russell’s simultaneous repudiation of propositions and his willingness to quantify over them. But that way runs into trouble with Russell’s commitment to the finitude of human understanding. (shrink)

Over the last decades, science has grown increasingly collaborative and interdisciplinary and has come to depart in important ways from the classical analyses of the development of science that were developed by historically inclined philosophers of science half a century ago. In this paper, I shall provide a new account of the structure and development of contemporary science based on analyses of, first, cognitive resources and their relations to domains, and second of the distribution of cognitive resources among collaborators and (...) the epistemic dependence that this distribution implies. On this background I shall describe different ideal types of research activities and analyze how they differ. Finally, analyzing values that drive science towards different kinds of research activities, I shall sketch the main mechanisms underlying the perceived tension between disciplines and interdisciplinarity and argue for a redefinition of accountability and quality control for interdisciplinary and collaborative science. (shrink)

I first distinguish four types of objection to paternalism and argue that only one – the principled objection – amounts to a substantive and distinct normative doctrine. I then argue that this doctrine should be understood as preventing certain facts from playing the role of reasons they would otherwise play. I explain how this filter approach makes antipaternalism independent of several philosophical controversies: On the role reasons play, on what reasons there are, and on how reasons are related to (...) values. I go on to contrast the filter approach with the competing and dominant action-focused approach, which understands objections to paternalism in terms of paternalistic action, behavior, law, policy and the like. Seana Shiffrin and Peter de Marneffe are singled out as prominent recent proponents of this approach. By engaging with their definitions of paternalism, I explain how the action-focused approach makes antipaternalism dependent on the sorting of actions into paternalistic and nonpaternalistic according to what reasons support them. Because one and the same action can be supported by many different reasons, and by different sorts of reasons, such sorting is very difficult. The upshot is that antipaternalism on the action-focused account fails to provide the precise normative implications of the filter approach that I favor. (shrink)

We depend upon explanation in order to “make sense” out of our world. And, making sense is all the more important when dealing with change. But, what happens if our explanations are wrong? This question is examined with respect to two types of explanatory model. Models based on labels and categories we shall refer to as “representations.” More complex models involving stories, multiple algorithms, rules of thumb, questions, ambiguity we shall refer to as “compressions.” Both compressions and representations are (...) reductions. But representations are far more reductive than compressions. Representations can be treated as a set of defined meanings – coherence with regard to a representation is the degree of fidelity between the item in question and the definition of the representation, of the label. By contrast, compressions contain enough degrees of freedom and ambiguity to allow us to make internal predictions so that we may determine our potential actions in the possibility space. Compressions are explanatory via mechanism. Representations are explanatory via category. Managers are often confusing their evocation of a representation as the creation of a context of compression . When this type of explanatory error occurs, more errors follow. In the drive for efficiency such substitutions are all too often proclaimed – at the manager’s peril. (shrink)

This paper examines the preference-based approach to the identification of beliefs. It focuses on the main problem to which this approach is exposed, namely that of state-dependent utility. First, the problem is illustrated in full detail. Four types of state-dependent utility issues are distinguished. Second, a comprehensive strategy for identifying beliefs under state-dependent utility is presented and discussed. For the problem to be solved following this strategy, however, preferences need to extend beyond choices. We claim that (...) this a necessary feature of any complete solution to the problem of state-dependent utility. We also argue that this is the main conceptual lesson to draw from it. We show that this lesson is of interest to both economists and philosophers. (shrink)

We analyze the logical form of the domain knowledge that grounds analogical inferences and generalizations from a single instance. The form of the assumptions which justify analogies is given schematically as the "determination rule", so called because it expresses the relation of one set of variables determining the values of another set. The determination relation is a logical generalization of the different types of dependency relations defined in database theory. Specifically, we define determination as a relation between schemata of (...) first order logic that have two kinds of free variables: (1) object variables and (2) what we call "polar" variables, which hold the place of truth values. Determination rules facilitate sound rule inference and valid conclusions projected by analogy from single instances, without implying what the conclusion should be prior to an inspection of the instance. They also provide a way to specify what information is sufficiently relevant to decide a question, prior to knowledge of the answer to the question. (shrink)

Bell-type inequalities are proven using oversimplified probabilistic models and/or counterfactual definiteness (CFD). If setting-dependent variables describing measuring instruments are correctly introduced, none of these inequalities may be proven. In spite of this, a belief in a mysterious quantum nonlocality is not fading. Computer simulations of Bell tests allow people to study the different ways in which the experimental data might have been created. They also allow for the generation of various counterfactual experiments’ outcomes, such as repeated or simultaneous measurements (...) performed in different settings on the same “photon-pair”, and so forth. They allow for the reinforcing or relaxing of CFD compliance and/or for studying the impact of various “photon identification procedures”, mimicking those used in real experiments. Data samples consistent with quantum predictions may be generated by using a specific setting-dependent identification procedure. It reflects the active role of instruments during the measurement process. Each of the setting-dependent data samples are consistent with specific setting-dependent probabilistic models which may not be deduced using non-contextual local realistic or stochastic hidden variables. In this paper, we will be discussing the results of these simulations. Since the data samples are generated in a locally causal way, these simulations provide additional strong arguments for closing the door on quantum nonlocality. (shrink)

Auty (1993) and Sachs and Warner (1997) reignited the line of argument of the resource curse: the idea that natural resource wealth has negative net effects on the development of nations. However, the result has been found to be highly dependent on the types of variables used to represent natural resource wealth (Brunnschweiler, 2007) and similar questions can raised about variables used to represent being “cursed”. In this paper we pursue the hunt for better variables by looking at (...) the relationship between average income from natural resources per person and a wide array of key development indicators: Adjusted National Net Income, GDP per capita, an aggregate of services and industrialized goods, inequality measured by the Gini index, Poverty, the Human Development Index, the Prosperity Index, the Social Progress Index and the Fragile State Index. We do this on a global scale between 1970 and 2010. On the contrary, we find that natural resource wealth is positively linked to development. We suggest, alternatively, that much of the actual cases where abundant natural resources hurt nations have been cases of common theft by tyrants, often backed by imperial powers. (shrink)

The subject matter of this work covers the issues or problems listed below: * The problem of the ontological status of language signs and a more general philosophical problem connected with it: * What is language as a system of signs, which – on the one hand – serves to: 1) represent our knowledge about the reality which is being recognized, and, on the other one to: 2) a. explore and better cognize or discover it, b. describe it in an (...) adequate manner, and c. enable users to make interpersonal communication? All the pragmatic functions of language require carrying out its logical-philosophical analysis, and this means both regarding its syntax and semantics. Such an analysis is not possible without determining the following: How are signs perceived and what is their ontological nature in the so-called functional approach towards logical semiotics of natural language, founded on two ways of their usage: either as signs which we use in concrete situational or situational-language contexts or as isolated signs detached from such contexts? In the first case, they are language tokens (concretes), existing material objects perceived through the senses, with a fixed temporal-spatial location, in the other one – they are non-concretes and as such (as the majority of researchers in the field of philosophy and linguistics accept) – abstract objects, language types. The type-token distinction (differentiation between abstract and concrete) has already acquired a certain status in contemporary philosophy and is of considerable importance to metaphysics and epistemology in particular. Indeed, it is most often illustrated with reference to language signs (words, expressions) as the distinction type/token of a sign, introduced into semiotics by Ch. S. Peirce. In the semiotic analysis, and also in the linguistic one, there are used both types and tokens of signs, however, often without paying due attention to when it is said about types and when about tokens. This is related to the problems which are still considered by the philosophy of language: What is the type? What is the token (specimen)? What are the mutual relations between the type and the token? Disputes concerning providing answers to these questions are related to existential issues dealing with the ontological status of these language signs and two currents within the ontology of language, remaining under the influence of two fundamental concepts formed in the debate: nominalism and realism. The author presents in brief different stances on the above-mentioned issues or problems, as well as argues that from the logical point of view: 1) working out any theoretical conception of language must take into account its bi-aspectual characteristics: as a language of expression-tokens and as a language of expression-types; 2) advocating either of the standpoints: (a) types exist independent of their tokens, or (b) it is not so, can be omitted in syntactic considerations on language; 3) mutual relations between sign-tokens differ from the mutual relations between sign-types, yet; 4) determination of the mutual relation between sign-types and sign-tokens depends on accepting either of the standpoints: (a) or (b); 5) semantic or semantic-pragmatic concepts of language, such as meaning, denotation, interpretation should be defined exclusively for types of tokens, but their definitions require certain reference to the functions which sign-tokens perform in the language (words, expressions), or to relations between them; 6) The concept of an act of language communication differs from general language communication: the first one is defined by means of sign-tokens, whereas the other one – with the use of sign-types. (shrink)

The major competing statistical paradigms share a common remarkable but unremarked thread: in many of their inferential applications, different probability interpretations are combined. How this plays out in different theories of inference depends on the type of question asked. We distinguish four question types: confirmation, evidence, decision, and prediction. We show that Bayesian confirmation theory mixes what are intuitively “subjective” and “objective” interpretations of probability, whereas the likelihood-based account of evidence melds three conceptions of what constitutes an “objective” probability.

This paper develops a problem for conciliationism that is structurally similar to the self-undermining problem but which is immune to most of the solutions offered against it. A popular objection to conciliationism is that it undermines itself. Given the current disagreement among philosophers about conciliationism, conciliationism seems to require rejecting conciliationism. Adam Elga (2010) has influentially argued that this shows that conciliationism is an incoherent method. By recommending its own rejection, conciliationism recommends multiple, incompatible responses to the same body of (...) experience. Many have offered solutions to this problem, including Elga himself. However, there is another undermining problem. When a peer disagrees about their own peerhood, conciliationism can require the rejection of the peer’s peerhood. The result is that conciliationism recommends two incompatible responses to the same body of experience in a way that parallels the original self-undermining problem. But since many, if not all, of the proposed solutions to the original undermining problem depend on distinctive characteristics of conciliationism undermining itself, they cannot apply to a peer undermining themself. I illustrate this by dividing the solutions that have been offered against the self-undermining problem into two categories: self-exempting solutions and non-exempting solutions. I then show how the proposed solutions under each type do not extend to the peer-undermining problem. If that is right, then conciliationism is faced with a more difficult undermining problem than has been so far acknowledged. (shrink)