According to the Computational/Representational Theory of Thought (CRTT ? Language of Thought Hypothesis, or LOTH), propositional attitudes, such as belief, desire, and the like, are triadic relations among subjects, propositions, and internal mental representations. These representations form a representational _system_ physically realized in the brain of sufficiently sophisticated cognitive organisms. Further, this system of representations has a combinatorial syntax and semantics, but the processes that operate on the representations are causally sensitive only to their syntax, not to their semantics. (...) On this approach, a first pass account of propositional attitudes is the following (cf. Field 1978: 37 and Fodor 1987: 17). (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)

Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for building sound (...) taxonomic structures involving them. For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. At the core of this enterprise, there has been a theory of types specially designed to address these issues. This theory is ontologically well- founded, psychologically informed, and formally characterized. These results have led to the development of a Conceptual Modelling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed on conceptual model design in a variety of domains including academic, industrial, and governmental settings. These experiences exposed improvement opportunities for both the OntoUML language and its underlying theory, UFO. In this paper, we revise the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of OntoUML’s meta-types (e.g. kind, role, phase, mixin) should be considered not as restricted to substantial types but instead should be applied to model endurant types in general, including relator types, quality types, and mode types. We also contribute with a formal characterization of this fragment of the theory, which is then used to advance a new metamodel for OntoUML (termed OntoUML 2). To demonstrate that the benefits of this approach are extended beyond OntoUML, the proposed formal theory is then employed to support the definition of UFO-based lightweight Semantic Web ontologies with ontological constraint checking in OWL. Additionally, we report on empirical evidence from the literature, mainly from cognitive psychology but also from linguistics, supporting some of the key claims made by this theory. Finally, we propose a computational support for this updated metamodel. (shrink)

‘What is characteristic of every mental activity’, according to Brentano, is ‘the reference to something as an object. In this respect every mental activity seems to be something relational.’ But what sort of a relation, if any, is our cognitive access to the world? This question – which we shall call Brentano’s question – throws a new light on many of the traditional problems of epistemology. The paper defends a view of perceptual acts as real relations of a subject (...) to an object. To make this view coherent, a theory of different types of relations is developed, resting on ideas on formal ontology put forward by Husserl in his Logical Investigations and on the theory of relations sketched in Smith's "Acta cum fundamentis in re". The theory is applied to the notion of a Cambridge change, which proves to have an unforeseen relevance to our understanding of perception. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While (...) STT, understood as a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

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)

Blindsight is a kind of residual vision found in people with lesions to V1. Subjects with blindsight typically report no visual awareness, but they are nonetheless able to make above-chance guesses about the shape, location, color and movement of visual stimuli presented to them in their blind field. A different kind of blindsight, sometimes called type 2 blindsight, is a kind of residual vision found in patients with V1 lesions in the presence of some residual awareness. Type 2 (...) blindsight differs from ordinary visual experience in lacking the particularity, transparency and fine-grainedness often taken to be essential to visual experience, at least in veridical cases. I argue that the case of type 2 blindsight provides a counterexample to the view that these characteristics are essential to veridical visual experience and that this gives us reason to resist the view that visual experience is essentially a perceptual relation to external objects. In the second part of the paper I argue that the case of type 2 blindsight yields important insights into the effects of attentional modulation on perceptual content and that cases of attentional modulation of appearance are not at odds with the view that the phenomenology of visual experience flows from its content. (shrink)

I argue that imperatives express contents that are both cognitively and semantically related to, but nevertheless distinct from, modal propositions. Imperatives, on this analysis, semantically encode features of planning that are modally specified. Uttering an imperative amounts to tokening this feature in discourse, and thereby proffering it for adoption by the audience. This analysis deals smoothly with the problems afflicting Portner's Dynamic Pragmatic account and Kaufmann's Modal account. It also suggests an appealing reorientation of clause-type theorizing, in which the (...) cognitive act of updating on a typed sentence plays a central role in theorizing about both its semantics and role in discourse. (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)

To enhance the treatment of relations in biomedical ontologies we advance a methodology for providing consistent and unambiguous formal definitions of the relational expressions used in such ontologies in a way designed to assist developers and users in avoiding errors in coding and annotation. The resulting Relation Ontology can promote interoperability of ontologies and support new types of automated reasoning about the spatial and temporal dimensions of biological and medical phenomena.

For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. This ontology has led to the development of an Ontology-Driven Conceptual Modeling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed in a number of academic, industrial and governmental settings to create conceptual models in a variety of different domains. (...) These experiences have pointed out to opportunities of improvement not only to the language itself but also to its underlying theory. In this paper, we take the first step in that direction by revising the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of the meta-types present in OntoUML (differentiating Kinds, Roles, Phases, Mixins, etc.) should be considered not as restricted to Substantial types but instead should be applied to model Endurant Types in general, including Relator types, Quality types and Mode types. We also contribute a formal characterization of this fragment of the theory, which is then used to advance a metamodel for OntoUML 2.0. Finally, we propose a computational support tool implementing this updated metamodel. (shrink)

This paper argues that Twin Earth twins belong to the same psychological natural kind, but that the reason for this is not that the causal powers of mental states supervene on local neural structure. Fodor’s argument for this latter thesis is criticized and found to rest on a confusion between it and the claim that Putnamian and Burgean type relational psychological properties do not affect the causal powers of the mental states that have them. While it is true that (...) Putnamian and Burgean type relational psychological properties do not affect causal powers, it is false that no relational psychological properties do. Examples of relational psychological properties that do affect causal powers are given and psychological laws are sketched that subsume twins in virtue of them instantiating these relational properties rather than them sharing the narrow contents of their thoughts. (shrink)

Epistemic instrumentalism views epistemic norms and epistemic normativity as essentially involving the instrumental relation between means and ends. It construes notions like epistemic normativity, norms, and rationality, as forms of instrumental or means-end normativity, norms, and rationality. I do two main things in this paper. In part 1, I argue that there is an under-appreciated distinction between two independent types of epistemic instrumentalism. These are instrumentalism about epistemic norms and instrumentalism about epistemic normativity. In part 2, I argue that this (...) under-appreciated distinction matters for the debate surrounding the plausibility of EI. Specifically, whether we interpret EI as norm-EI or as source-EI matters for the widely discussed universality or categoricity objection to EI, and for two important motivations for adopting EI, namely naturalism and the practical utility of epistemic norms. I will then conclude by drawing some lessons for epistemic instrumentalism going forward. (shrink)

I here discuss two problems facing Russellian act-type theories of propositions, and argue that Fregean act-type theories are better equipped to deal with them. The first relates to complex singular terms like '2+2', which turn out not to pose any special problem for Fregeans at all, whereas Soames' theory currently has no satisfactory way of dealing with them (particularly, with such "mixed" propositions as the proposition that 2+2 is greater than 3). Admittedly, one possibility stands out as the (...) most promising one, but it requires that the Russellian treat complex properties as constituents of propositions. This leads to the second major problem for Russellians: that of proliferating propositions. I show how the most direct solution to this problem, that of rejecting complex predicative propositional constituents is available to Fregeans but very implausible for Russellians, since this virtually means rejecting complex properties. (shrink)

Relations occupy a shadowy place in Spinoza's metaphysics while they play a distinguished role in our mental lives and possess a complex epistemological status at the interface between being and its representation in the mind. This chapter attempts to disentangle Spinoza's concept of relations from his concept of universals. It suggests that there are grounds for regarding universals as a separate type of “metaphysical being. The chapter focuses on two of Spinoza's early works, the Short Treatise (KV) (...) and the Metaphysical Thoughts (CM). Spinoza subsumes relations under the category of ‘beings of reason’ in multiple early texts. Spinoza's denial that relations have the status of ideas of the natures of existing objects can be viewed in light of the putative purchase of language on metaphysical reality. The chapter ends with some brief concluding remarks, gesturing toward Spinoza's mature conception of relations in the Ethics. (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)

Recent AI progress led to a boost in beneficial applications from multiple research areas including VR. Simultaneously, in this newly unfolding deepfake era, ethically and security-relevant disagreements arose in the scientific community regarding the epistemic capabilities of present-day AI. However, given what is at stake, one can postulate that for a responsible approach, prior to engaging in a rigorous epistemic assessment of AI, humans may profit from a self-questioning strategy, an examination and calibration of the experience of their own epistemic (...) agency – especially to counteract both intentional misdirection by unethical actors and unintentional epistemic self-sabotage. In this paper, we expound on a new avenue of utilizing AIVR tools to advance an AI-related misdirection awareness of humans in the deepfake era. Firstly, we harness scientific knowledge from the psychology and neuroscience of magic where the study of misdirection techniques is center stage. Secondly, we connect the latter to creativity research linking human creative potential to inspiration from the seemingly impossible. Overall, AIVR could become an empowering experiential testbed for human epistemic agency enabling a better rational evaluation of AI capabilities. However, a misuse of the same type of tools could yield AIVR safety risks if not counteracted preemptively. (shrink)

Minimal Type Theory (MTT) shows exactly how all of the constituent parts of an expression relate to each other (in 2D space) when this expression is formalized using a directed acyclic graph (DAG). This provides substantially greater expressiveness than the 1D space of FOPL syntax. -/- The increase in expressiveness over other formal systems of logic shows the Pathological Self-Reference Error of expressions previously considered to be sentences of formal systems. MTT shows that these expressions were never truth bearers, (...) thus never sentences of any formal logic system. (shrink)

Embedded in the theory of adult education (andragogy) this PhD-thesis takes up the chal-lenge proclaimed by the biography research based on the concept of Bildung and seeks to define the concept of transformational Bildung more precisely. To overcome the identified stagnation in this research field, this thesis proposes a change from qualitative research para-digm to relational paradigm and introduces the relational logic of development as methodol-ogy of relational thinking. The application of the results of the informal axiomatization of Robert Kegan’s (...) theory of human development to the concept of transformational Bildung as well as the use of various approaches based on relational communication theories allowed to provide a more precise definition of the concept of transformational Bildung. In this thesis Bildung is defined as a process of transformation of individual’s rules of mean-ing making caused by a person’s confrontation with the rules of meaning making of a higher order. From the observer’s perspective the structure of the Bildung process can be described as a transition from one context rule to another. The developed model of context levels of meaning making allows defining types of signs (ZA) that enable to measure the levels in the process of Bildung. Furthermore, this model allows determining three types of context rules (XR), which – according to the relational logic of development – represent principles of meaning making seen as rules for relating signs. Thus, on the one hand, the model of context levels of meaning making has succeeded to specify the concept of transformational Bildung and, on the other hand, has proven the effectiveness of the structuralist method for the rela-tional adult education research. (shrink)

Types are a crucial concept in conceptual modelling, logic, and knowledge representation as they are an ubiquitous device to un- derstand and formalise the classification of objects. We propose a logical treatment of types based on a cognitively inspired modelling that ac- counts for the amount of information that is actually available to a cer- tain agent in the task of classification. We develop a predicative modal logic whose semantics is based on conceptual spaces that model the ac- tual information (...) that a cognitive agent has about objects, types, and the classification of an object under a certain type. In particular, we ac- count for possible failures in the classification, for the lack of sufficient information, and for some aspects related to vagueness. (shrink)

Foundational relations play an important role in the ontological foundations of conceptual modeling. Their investigation has been theoretically addressed in philosophical/ontological theories, and empirically offered in foundational ontologies (FOs). FOs are comprehensive theories that model the world as top-level entities and relations. Empirically, for modelers aiming to use foundational relations without an urge for entity types, FOs seem to be complex to comprehend, comply with, and integrate in practice. And since the practice of these relations is (...) critical for conceptual modeling tasks, we present an approach that builds a well-founded entity-type free relations theory within a first-order-logic formalization, besides large complex FOs. The theory contributes to a minimal set of foundational ontological relations (FORT) by importing extant theories (mereotopology and location) and (re-)formalizing other relations (dependence, membership, constitution, and entity-location), while no FO has compromised this set. (shrink)

In this paper, I raise a problem for standard precisifications of the Relational Analysis of attitude reports. The problem I raise involves counterfactual attitude verbs. such as ‘wish’. In short, the trouble is this: there are true attitude reports ‘ S wishes that P ’ but there is no suitable referent for the term ‘that P ’. The problematic reports illustrate that the content of a subject’s wish is intimately related to the content of their beliefs. I capture this fact (...) by moving to a framework in which ‘wish’ relates subjects to sets of pairs of worlds, or paired propositions, rather than—as is standardly assumed—sets of worlds. Although other types of counterfactual attitude reports, for example those involving ‘imagine’, may be similarly problematic, at this stage it is unclear whether they can be handled the same way. (shrink)

The aim of this essay is twofold. First, it outlines the concept of ontological frame. Secondly, two models are distinguished on this structure. The first one is connected to Kant’s concept of possible object and the second one relates to Leibniz’s. Leibniz maintains that the source of possibility is the mere logical consistency of the notions involved, so that possibility coincides with analytical possibility. Kant, instead, argues that consistency is only a necessary component of possibility. According to Kant, something is (...) possible if there is a cause capable of bringing it into existence; to this end consistency alone is not sufficient. Thus, while the Leibnizian notion of consistency is at the root of the concept of analytical possibility, the Kantian notion of possibility is the source of real possibility. This difference plays an important role in the discussion of Gödel’s ontological proof, which can be formally interpreted on the ontological frame of the pure perfections. While this proof, under some emendation condition, is conclusive in the context of Leibniz’s ontological model, it is not so within the Kantian one. This issue will be the subject of the second part of the present essay. (shrink)

In this paper, we discern different types of possible relations. We focus on the distinction between internal and external relations and their various possible sub-types. In the first section, we present what is nowadays more or less the standard distinction between internal and external relations. In the second section, we make two contributions to the literature of internal relations: a new taxonomy of internal relations and a novel distinction between formal and material ontological relations. (...) In the third section, we discuss three distinctions among external relations, in particular the distinction between relata-specific and relata-unspecific relations. We argue that relata-specific external relations are a promising but incomplete solution to the vexed problem of Bradley’s relation regress. (shrink)

There are two ways to characterize symmetric relations. One is intensional: necessarily, _Rxy_ iff _Ryx_. In some discussions of relations, however, what is important is whether or not a relation gives rise to the same completion of a given type (fact, state of affairs, or proposition) for each of its possible applications to some fixed relata. Kit Fine calls relations that do ‘strictly symmetric’. Is there is a difference between the notions of necessary and strict symmetry (...) that would prevent them from being used interchangeably in such discussions? I show that there is. While the notions coincide assuming an intensional account of relations and their completions, according to which relations/completions are identical if they are necessarily coinstantiated/equivalent, they come apart assuming a hyperintensional account, which individuates relations and completions more finely on the basis of relations’ real definitions. I establish this by identifying two definable relations, each of which is necessarily symmetric but nonetheless results in distinct facts when it applies to the same objects in opposite orders. In each case, I argue that these facts are distinct because they have different grounds. (shrink)

This paper considers ethical concerns with regard to replacing human relations with humanoid robots. Many have written about the impact that certain types of relations with robots may have on us, and why we should be concerned about robots replacing human relations. There has, however, been no consideration of this issue from an African philosophical perspective. Ubuntu philosophy provides a novel perspective on how relations with robots may impact our own moral character and moral development. This (...) paper first discusses what humanoid robots are, why and how humans tend to anthropomorphise them, and what the literature says about robots crowding out human relations. It then explains the ideal of becoming “fully human”, which pertains to being particularly moral in character. In ubuntu philosophy, we are not only biologically human, but must strive to become better, more moral versions of ourselves, to become fully human. We can become fully human by having other regarding traits or characteristics within the context of interdependent, or humane, relationships (such as by exhibiting human equality, reciprocity, or solidarity). This concept of becoming fully human is important in ubuntu philosophy. Having explained that idea, the main argument of the paper is then put forward: that treating humanoid robots as if they are human is morally concerning if they crowd out human relations, because such relations prevent us from becoming fully human. This is because we cannot experience human equality, solidarity, and reciprocity with robots, which can be seen to characterise interdependent, or humane, relations with human beings. (shrink)

Recent philosophical accounts of discrimination face challenges in accommodating robust intuitions about the particular way in which it is wrongful—most prominently, the intuition that discriminatory actions intrinsically violate equality irrespective of their contingent consequences. The paper suggests that we understand the normative structure of discrimination in a way that is different from the one implicitly assumed by these accounts. It argues that core discriminatory wrongs—such as segregation in Apartheid South Africa—divide into two types, corresponding to violations of relational and distributive (...) equality; and that a pluralistic view of the internal structure of each type should be adopted. This normative structure serves to appropriately vindicate the mentioned intuitions; it also contributes to clarifying the normative underpinnings of legal concepts associated with discrimination (including the distinctions between direct and indirect, or ‘disparate treatment/impact’ discrimination, and intentional vs. unintentional discrimination), and developing a more productive public discourse around allegations of discrimination. (shrink)

I provide a characterization of weakly pseudo-rationalizable choice functions---that is, choice functions rationalizable by a set of acyclic relations---in terms of hyper-relations satisfying certain properties. For those hyper-relations Nehring calls extended preference relations, the central characterizing condition is weaker than (hyper-relation) transitivity but stronger than (hyper-relation) acyclicity. Furthermore, the relevant type of hyper-relation can be represented as the intersection of a certain class of its extensions. These results generalize known, analogous results for path independent choice (...) functions. (shrink)

The standard view of academic freedom and free speech is that they play complementary roles in universities. Academic freedom protects academic discourse, while other public discourse in universities is protected by free speech. Here I challenge this view, broadly, on the grounds that free speech in universities sometimes undermines academic practices. One defense of the standard view, in the face of this worry, says that campus free speech actually furthers the university’s academic aims. Another says that universities have a secondary (...) democratic function, which cannot be fulfilled without free speech on campus. I identify shortcomings in both types of arguments. (shrink)

Vitamin D deficiency and its effect have attracted considerable research interest due to its relation to glucose homeostasis, insulin secretion, sensitivity and synthesis. This study aimed to evaluate vitamin D levels in patients with type II diabetes mellitus aged between 35-65 years and investigate their relations with glycemic control and obesity. The study included 74 Libyan patients with a known history of type II diabetes mellitus (33 males and 41 females). Serum glucose, glycosylated hemoglobin (HbA1c) and vitamin (...) D levels were biochemically estimated in these patients. Further, body mass index (BMI) was calculated for all diabetic patients (weight in kilogram per height in meter square). The mean level of plasma glucose level was 150.58±63.82 mg/dl (mean±SD). The mean of HbA1c level was 7.90±8.48% (mean±SD). The mean level of vitamin D was 22.75±14.97 ng/ml. The mean of BMI was 26.55±4.10 Kg per m2. The findings showed that 58.10% of the cases had vitamin D deficiency (Out of which 24.24% were males and 85.36% were females). This study showed significant differences in glucose, HbA1c, vitamin D and BMI between male and female patients. Moreover, elderly ages for both sexes had adverse effects on vitamin D status. Vitamin D levels have negatively been correlated with levels of glucose, HbA1c and BMI. It is concluded that vitamin D deficiency has an adverse effect on glucose homeostasis in patients with type II diabetes mellitus and this can be a contributing risk factor in complications of type II diabetes mellitus development in Libyan patients. (shrink)

It has been widely believed since the nineteenth century that modern science provides a serious challenge to religion, but less agreement as to the reason. One main complication is that whenever there has been broad consensus for a scientific theory that challenges traditional religious doctrines, one finds religious believers endorsing the theory or even formulating it. As a result, atheists who argue for the incompatibility of science and religion often go beyond the religious implications of individual scientific theories, arguing that (...) the sciences taken together provide a comprehensive challenge to religious belief. Scientific theories, on this view, can be integrated to form a general vision of humans and our place in nature, one that excludes the existence of supernatural phenomena to which many religious traditions refer. The most common name given to this general vision is the scientific worldview. The purpose of my paper is to argue that the relation of a worldview to science is more complex and ambiguous than this position allows, drawing upon recent work in the history and philosophy of science. While there are other ways to complicate the picture, this paper will focus on differing views that scientists and philosophers have on the proper scope and limits of scientific inquiry. I will identify two different types of science—Baconian and Cartesian—that have different ambitions with respect to scientific theories, and thus different answers about the possibility of a scientific worldview. The paper will conclude by showing how their differing intuitions about scientific inquiry are evident in contemporary debates about reductionism, drawing upon the work of two physicists, Steven Weinberg and John Polkinghorne. History is more complex than this simple schema allows, of course, but these types provide a useful first approximation into the ambiguities of modern science. (shrink)

Absurdist accounts of life’s meaning posit that life is absurd because our pretensions regarding its meaning conflict with the actual or perceived reality of the situation. Relationary accounts posit that contingent things gain their meaning only from their relationship to other meaningful things. I take a detailed look at the two types of account, and, proceeding under the assumption that they are correct, combine them to see what the implications of such a combination might be. I conclude that another way (...) of looking at the absurdity of life is to see it as a conflict between our dual beliefs that there exist intrinsically meaningful contingent things, and that contingent things may only gain their meaning extrinsically through their relationships to other meaningful things. In this way, I provide another lens through which feelings of life’s absurdity may be interpreted and analysed: as the conflict between the simultaneous beliefs in both intrinsically and relationally meaningful contingent things. Looking through this lens gives us an entirely different framework for analysing life’s absurdity than that which Nagel described in 1971, providing opportunity for more potential avenues of analysis and discussion. (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)

The core of a Trinitarian model is the internal layout of intra-Trinitarian relations. Depending on different metaphysical interpretations of the nature of the relations, various patristic authors have produced different and oftentimes incompatible Trinitarian models, and, consequently, conflicting expositions of the doctrine of the Trinity. In order to elucidate the differences in their Trinitarian theologies, I demonstrate the divergence in their understanding of the divine relations using the contemporary philosophical taxonomy of relations. I analyze the models (...) of Basil of Caesarea, Gregory Nazianzen, and Boethius, and their attempted synthesis by Thomas Aquinas. Each of the patristic Trinitarian models, in spite of being fully orthodox, uses completely different types of relations, which makes them incompatible. One of the results of this incompatibility is the problem of the filioque, which cannot be resolved without addressing the metaphysics of relations. (shrink)

This paper presents a diagrammatic notation for visualizing epistemic entities and relations. The notation was created during the Visualizing Worldviews project funded by the University of Toronto’s Jackman Humanities Institute and has been further developed by the scholars participating in the university’s Research Opportunity Program. Since any systematic diagrammatic notation should be based on a solid ontology of the respective domain, we first outline the current state of the scientonomic ontology. We then proceed to providing diagrammatic tools for visualizing (...) the epistemic entities and relations of this ontology. These basic diagramming techniques allow us to construct diagrams of various types for both synchronic and diachronic visualizations. The paper concludes by highlighting some future research directions. As the notation presented here is de facto accepted and used in scientonomy, the paper suggests no modifications. (shrink)

Relations occupy a shadowy place in Spinoza's metaphysics while they play a distinguished role in our mental lives and possess a complex epistemological status at the interface between being and its representation in the mind. This chapter attempts to disentangle Spinoza's concept of relations from his concept of universals. It suggests that there are grounds for regarding universals as a separate type of “metaphysical being." The chapter focuses on two of Spinoza's early works, the Short Treatise (KV) (...) and the Metaphysical Thoughts (CM). Spinoza subsumes relations under the category of ‘beings of reason’ in multiple early texts. Spinoza's denial that relations have the status of ideas of the natures of existing objects can be viewed in light of the putative purchase of language on metaphysical reality. The chapter ends with some brief concluding remarks, gesturing toward Spinoza's mature conception of relations in the Ethics. (shrink)

In this paper I consider whether a powers ontology facilitates a reduction of causal relations to intrinsic powers of the causal relata. I first argue that there is a tension in the view that powerful causation is an internal relation in this sense. Powers are ontologically dependent on other powers for their individuation, but in that case—given an Aristotelian conception of properties as immanent universals—powers will not be intrinsic on several extant analyses of ‘intrinsic’, since to possess a given (...) power P requires the existence of other concrete particulars as bearers of the powers that individuate P. I suggest several ways for Aristotelians to resolve this tension, but all tenable options involve individuative type-level causal relations between powers. While these individuative relations between powers are internal in the sense that the powers are essentially related, this is a different sense of ‘ internal ’ to the one that entails reducibility. The proposed reduction of token-causal relations to powers succeeds only at the cost of irreducible type-level causal relations between the powers themselves. (shrink)

An important part of the Unified Medical Language System (UMLS) is its Semantic Network, consisting of 134 Semantic Types connected to each other by edges formed by one or more of 54 distinct Relation Types. This Network is however for many purposes overcomplex, and various groups have thus made attempts at simplification. Here we take this work further by simplifying the relations which involve the three Semantic Types – Diagnostic Procedure, Laboratory Procedure and Therapeutic or Preventive Procedure. We define (...) operators which can be used to generate terms instantiating types from this selected set when applied to terms designating certain other Semantic Types, including almost all the terms specifying clinical tasks. Usage of such operators thus provides a useful and economical way of specifying clinical tasks. The operators allow us to define a mapping between those types within the UMLS which do not represent clinical tasks and those which do. This mapping then provides a basis for an ontology of clinical tasks that can be used in the formulation of computer-interpretable clinical guideline models. (shrink)

The objective of this report is twofold. In the first place it aims to demonstrate that a four-dimensional local U(1) gauge invariant relativistic quantum mechanical Dirac-type equation is derivable from the equations for the classical electromagnetic field. In the second place, the transformational consequences of this local U(1) invariance are used to obtain solutions of different Maxwell equations.

The Cell Ontology (CL) is designed to provide a standardized representation of cell types for data annotation. Currently, the CL employs multiple is_a relations, defining cell types in terms of histological, functional, and lineage properties, and the majority of definitions are written with sufficient generality to hold across multiple species. This approach limits the CL’s utility for cross-species data integration. To address this problem, we developed a method for the ontological representation of cells and applied this method to develop (...) a dendritic cell ontology (DC-CL). DC-CL subtypes are delineated on the basis of surface protein expression, systematically including both species-general and species-specific types and optimizing DC-CL for the analysis of flow cytometry data. This approach brings benefits in the form of increased accuracy, support for reasoning, and interoperability with other ontology resources. 104. Barry Smith, “Toward a Realistic Science of Environments”, Ecological Psychology, 2009, 21 (2), April-June, 121-130. Abstract: The perceptual psychologist J. J. Gibson embraces a radically externalistic view of mind and action. We have, for Gibson, not a Cartesian mind or soul, with its interior theater of contents and the consequent problem of explaining how this mind or soul and its psychological environment can succeed in grasping physical objects external to itself. Rather, we have a perceiving, acting organism, whose perceptions and actions are always already tuned to the parts and moments, the things and surfaces, of its external environment. We describe how on this basis Gibson sought to develop a realist science of environments which will be ‘consistent with physics, mechanics, optics, acoustics, and chemistry’. (shrink)

Social innovations are usually understood as new ideas, initiatives, or solutions that make it possible to meet the challenges of societies in fields such as social security, education, employment, culture, health, environment, housing, and economic development. On the one hand, many citizen science activities serve to achieve scientific as well as social and educational goals. Thus, these actions are opening an arena for introducing social innovations. On the other hand, some social innovations are further developed, adapted, or altered after the (...) involvement of scientist-supervised citizens in research and with the use of the citizen science tools and methods such as action research, crowdsourcing, and community-based participatory research. Such approaches are increasingly recognized as crucial for gathering data, addressing community needs, and creating engagement and cooperation between citizens and professional scientists. However, there are also various barriers to both citizen science and social innovation. For example, management, quality and protection of data, funding difficulties, non-recognition of citizens’ contributions, and limited inclusion of innovative research approaches in public policies. In this volume, we open theoretical as well as empirically-based discussion, including examples, practices, and case studies of at least three types of relations between citizen science and social innovation: domination of the citizen science features over social innovation aspects; domination of the social innovation features over the citizen science aspects; and the ways to achieve balance and integration between the social innovation and citizen science features. Each of these relationships highlights factors that influence the development of the main scales of sustainability of innovations in the practice. These innovations are contributing to a new paradigm of learning and sharing knowledge as well as interactions and socio-psychological development of participants. Also, there are factors that influence the development of platforms, ecosystems, and sustainability of innovations such as broad use of the information and communications technologies including robotics and automation; emerging healthcare and health promotion models; advancements in the development and governance of smart, green, inclusive and age-friendly cities and communities; new online learning centers; agri-food, cohousing or mobility platforms; and engagement of citizens into co-creation or co-production of services delivered by public, private, non-governmental organizations as well as non-formal entities. (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)

This is part two of a two-part paper in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. In this part of the paper, we extend the base theory of the first part of the paper with hierarchically typed truth-predicates and principles about the interaction of partial ground and truth. We show that our theory is (...) a proof-theoretically conservative extension of the ramified theory of positive truth up to. (shrink)

Jesse Prinz (2004) argues that emotional feelings (“state emotions”) can by themselves perceptually represent significant organism-environment relations. I object to this view mainly on the grounds that (1) it does not rule out the at least equally plausible view that emotional feelings are non-representational sensory registrations rather than perceptions, as Tyler Burge (2010) draws the distinction, and (2) perception of a relation requires perception of at least one of the relation’s relata, but an emotional feeling by itself perceives neither (...) the subject’s environment, nor in many cases the relevant subject itself. I then explore two ways in which emotional feelings as non-perceptual sensory registrations might still contribute to significant relation representation when associated with representations of the subject and/or its environment. After briefly discussing some difficulties presented by a multimodal, sensory-perceptual view of such representation, I argue in favor of a “cognitive recognition theory” that holds that significant relation instances are represented during emotion occurrences via applications of emotion-type concepts to "incoming" emotional feelings and their associated mental states. (shrink)

This paper introduces a new theory of moral responsibility that does not rely on any concept of human control. Since an understanding of determinism shapes the possible set of views one can take regarding control, and there is no account of control that could be held simultaneously by both compatibilists and libertarians, the “relational theory of responsibility” is meant to create a common ground between compatibilism and libertarianism which are held to be mutually exclusive. Since the relational account of responsibility (...) is to be a common ground, it must be neutral regarding the truth of determinism and indeterminism. Thus, it must also be indifferent concerning different concepts of control formed by compatibilists and libertarians. I argue that my view can be accepted by both compatibilists and incompatibilists. It makes the claim that, in order for a person to be responsible, she has to act in a certain type of situation that needs to be such that there is at least one relevantly similar situation in which the agent refrains from performing the action that was executed in the original case. A person cannot be held responsible for doing what she does if no person refrains from performing that action in a relevantly similar situation. I claim that the relational theory of responsibility itself is sufficient for grounding responsibility. Since the relational account expresses responsibility without relying on any concept of control, a choice between determinism and indeterminism does not have to be made in order to establish a proper concept of moral responsibility. (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)

The aim of this conceptual paper is to discuss the issue of managing fake news in the online environment, from an organizational perspective, by using reactive PR strategies. First, we critically discuss the most important definitions of the umbrella term fake news, in the so-called post-truth era, in order to emphasize different challenges in conceptualizing this elusive social phenomenon. Second, employing some valuable contribution from literature, we present and illustrate with vivid examples 10 categories of fake news. Each type (...) of fake news is discussed in the context of organizational communication. Based on existent literature, we propose a 3D conceptual model of fake news, in an organizational context. Furthermore, we consider that PR managers can use either reactive PR strategies to counteract online fake news regarding an organization, or communication stratagems to temporarily transform the organization served into a potential source of fake news. The existing typology of reactive public relations strategies from the literature allow us to discuss the challenge of using them in counteracting online fake news. Each reactive PR strategy can be a potential solution to respond to different types of online fake news. Although these possibilities seem to be extensive, in some cases, PR managers can find them ineffective. In our view, this cluster of reactive PR strategies is not a panacea for managing fake news in the online environment and different strategic approaches may be need, such as communication stratagems. In this context, communication stratagems consist in using organization as a source or as a vector for strategic creation and dissemination of online fake news, for the benefit of the organization. We conclude that within online environment PR managers can employ a variety of reactive PR strategies to counteract fake news, or different communication stratagems to achieve organizational goals. (shrink)

The paper presents, a new large deviations principles (SLDP) of non-Freidlin-Wentzell type, corresponding to the solutions Colombeau-Ito’s SDE. Using SLDP we present a new approach to construct the Bellman function ????(????, ????) and optimal control ????(????, ????) directly by way of using strong large deviations principle for the solutions Colombeau-Ito’s SDE. As important application such SLDP, the generic imperfect dynamic models of air-to-surface missiles are given in addition to the related simple guidance law. A four, examples have been illustrated (...) proposed approach and corresponding numerical simulations have been illustrated and analyzed. Using SLDP approach, Jumps phenomena, in financial markets, also is considered. Jumps phenomena, in financial markets is explained from the first principles, without any reference to Poisson jump process. In contrast with a phenomenological approach we explain such jumps phenomena from the first principles, without any reference to Poisson jump process. (shrink)

There are two broad approaches to theorizing about ontological categories. Quineans use first-order quantifiers to generalize over entities of each category, whereas type theorists use quantification on variables of different semantic types to generalize over different categories. Does anything of import turn on the difference between these approaches? If so, are there good reasons to go type-theoretic? I argue for positive answers to both questions concerning the category of propositions. I also discuss two prominent arguments for a Quinean (...) conception of propositions, concerning their role in natural language semantics and apparent quantification over propositions within natural language. It will emerge that even if these arguments are sound, there need be no deep question about Quinean propositions’ true nature, contrary to much recent work on the metaphysics of propositions. (shrink)

In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard correspondence, which has been well-established between the simply typed lambda-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural deduction (...) system of Wansing's bi-intuitionistic logic 2Int, which I will turn into a term-annotated form. Therefore, we need a type theory that extends to a two-sorted typed lambda-calculus. I will present such a term-annotated proof system for 2Int and prove a Dualization Theorem relating proofs and refutations in this system. On the basis of these formal results I will argue that this gives us interesting insights into questions about sense and denotation as well as synonymy and identity of proofs from a bilateralist point of view. (shrink)