Based on the Aristotelian dynamis-energeia-differentiation, a concept issuing dynamic coherence providers as the sub-level of individual realizations. This logical sub-level is given for any kind of realizations. Based on this two-level approach, to some degree similar to the two-level approach developed by Polanyi, model of biopsychosocial interaction is established. It is suggested as the theoretical basis for a person-centered approach in healthcare, integrating science and humanitites.

In a new paper in recent issue of this journal (PSTJ), Prof. M. Pitkanen describes a solar system model inspired by spiral galaxies. While we appreciate his new approach, we find it lacks substantial discussion on the nature of vortices and chirality in galaxy. Therefore we submit a viewpoint that Gross-Pitaevskii model can be a more complete description of both solar system and also spiral galaxies, especially taking into account the nature of chirality and vortices in galaxies. In this article, (...) we also hope to bring out some correspondence among existing models, so we discuss shortly: the topological vortice approach, Burgers equation in the light of KAM theory, and the Cantorian Navier-Stokes approach. Of course, this short article is far from being complete. We hope further investigation can be done around this line of approach. Aim of this paper: With this article, we hope to begin a healthy dialogue with Prof. M. Pitkanen, especially on his solar system model, since we also believe that he also support “evidence-based physics.” Limitation: In this paper we only discuss Pitkanen’s solar system model, we don’t discuss his other papers in a recent issue of PSTJ. (shrink)

Scientists and philosophers frequently speak about levels of description, levels of explanation, and ontological levels. In this paper, I propose a unified framework for modelling levels. I give a general definition of a system of levels and show that it can accommodate descriptive, explanatory, and ontological notions of levels. I further illustrate the usefulness of this framework by applying it to some salient philosophical questions: (1) Is there a linear hierarchy of levels, with a fundamental level at the bottom? (...) And what does the answer to this question imply for physicalism, the thesis that everything supervenes on the physical? (2) Are there emergent properties? (3) Are higher-level descriptions reducible to lower-level ones? (4) Can the relationship between normative and non-normative domains be viewed as one involving levels? Although I use the terminology of “levels”, the proposed framework can also represent “scales”, “domains”, or “subject matters”, where these are not linearly but only partially ordered by relations of supervenience or inclusion. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of the combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC + TR, whose semantics is based on the notion of rational closure, as well as on the distributed semantics of probabilistic Description Logics, and is equipped with a cognitive heuristic used by humans for concept composition. We first extend the logic of typicality ALC + TR by typicality inclusions of the (...) form p :: T(C) v D, whose intuitive meaning is that “we believe with degree p about the fact that typical Cs are Ds”. As in the distributed semantics, we define different scenarios containing only some typicality inclusions, each one having a suitable probability. We then exploit such scenarios in order to ascribe typical properties to a concept C obtained as the combination of two prototypical concepts. We also show that reasoning in the proposed Description Logic is EXPTIME-complete as for the underlying standard Description Logic ALC. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC + TR, based on the notion of rational closure, by inclusions p :: T(C) v D (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive heuristics for concept (...) combination. We show that the complexity of reasoning in our logic is EXPTIME-complete as in ALC. (shrink)

A technical artefact is often described in two ways: by means of a physicalistic model of its structure and dynamics, and by a functional account of the contributions of the components of the artefact to its capacities. These models do not compete, as different models of the same phenomenon in physics usually do; they supplement each other and cohere. Coherence is shown to be the result of a mapping of role-contributions on physicalistic relations that is brought about by (...) the concept of function. It results a sandwich-like structure of the two models, which can be reconstructed as a two-sorted theory element. (shrink)

Descriptive accounts of the nature of explanation in neuroscience and the global goals of such explanation have recently proliferated in the philosophy of neuroscience and with them new understandings of the experimental practices of neuroscientists have emerged. In this paper, I consider two models of such practices; one that takes them to be reductive; another that takes them to be integrative. I investigate those areas of the neuroscience of learning and memory from which the examples used to substantiate (...) these models are culled, and argue that the multiplicity of experimental protocols used in these research areas presents specific challenges for both models. In my view, these challenges have been overlooked largely because philosophers have hitherto failed to pay sufficient attention to fundamental features of experimental practice. I demonstrate that when we do pay attention to such features, evidence for reduction and integrative unity in neuroscience is simply not borne out. I end by suggesting some new directions for the philosophy of neuroscience that pertain to taking a closer look at the nature of neuroscientific experiments. (shrink)

In computational complexity theory, decision problems are divided into complexity classes based on the amount of computational resources it takes for algorithms to solve them. In theoretical computer science, it is commonly accepted that only functions for solving problems in the complexity class P, solvable by a deterministic Turing machine in polynomial time, are considered to be tractable. In cognitive science and philosophy, this tractability result has been used to argue that only functions in P can feasibly work as computational (...) models of human cognitive capacities. One interesting area of computational complexity theory is descriptive complexity, which connects the expressive strength of systems of logic with the computational complexity classes. In descriptive complexity theory, it is established that only first-order systems are connected to P, or one of its subclasses. Consequently, second-order systems of logic are considered to be computationally intractable, and may therefore seem to be unfit to model human cognitive capacities. This would be problematic when we think of the role of logic as the foundations of mathematics. In order to express many important mathematical concepts and systematically prove theorems involving them, we need to have a system of logic stronger than classical first-order logic. But if such a system is considered to be intractable, it means that the logical foundation of mathematics can be prohibitively complex for human cognition. In this paper I will argue, however, that this problem is the result of an unjustified direct use of computational complexity classes in cognitive modelling. Placing my account in the recent literature on the topic, I argue that the problem can be solved by considering computational complexity for humanly relevant problem solving algorithms and input sizes. (shrink)

An attractive way to model the relation between an underspecified syntactic representation and its completions is to let the underspecified representation correspond to a logical description and the completions to the models of that description. This approach, which underlies the Description Theory of Marcus et al. 1983 has been integrated in Vijay-Shanker 1992 with a pure unification approach to Lexicalized Tree-Adjoining Grammars (Joshi et al. 1975, Schabes 1990). We generalize Description Theory by integrating semantic information, that is, we propose (...) to tackle both syntactic and semantic underspecification using descriptions. (shrink)

Frege-Geach worries about embedding and composition have plagued metaethical theories like emotivism, prescriptivism and expressivism. The sharpened point of such criticism has come to focus on whether negation and inconsistency have to be understood in descriptivist terms. Because they reject descriptivism, these theories must offer a non-standard account of the meanings of ethical and normative sentences as well as related semantic facts, such as why certain sentences are inconsistent with each other. This paper fills out such a solution to the (...) negation problems, following some of the original emotivist ideas about the interplay of interests in conversation. We communicate both to share information and coordinate our actions, and we use distinctively normative language like deontic ‘must’ and ‘may’ to negotiate what people are to do. The kinds of disagreement involved in such negotiation can illuminate the issues with negation and inconsistency. This paper outlines a dynamic semantic system in which these ideas can bear fruit, developing the scorekeeping model of conversation. The result is clarification about what Frege-Geach worries can mean for nondescriptive semantics. (shrink)

It is regrettably common for theorists to attempt to characterize the Humean dictum that one can’t get an ‘ought’ from an ‘is’ just in broadly logical terms. We here address an important new class of such approaches which appeal to model-theoretic machinery. Our complaint about these recent attempts is that they interfere with substantive debates about the nature of the ethical. This problem, developed in detail for Daniel Singer’s and Gillian Russell and Greg Restall’s accounts of Hume’s dictum, is of (...) a general type arising for the use of model-theoretic structures in cashing out substantive philosophical claims: the question of whether an abstract model-theoretic structure successfully interprets something often involves taking a stand on non-trivial issues surrounding the thing. In the particular case of Hume’s dictum, given reasonable conceptual or metaphysical claims about the ethical, Singer’s and Russell and Restall’s accounts treat obviously ethical claims as descriptive and vice versa. Consequently, their model-theoretic characterizations of Hume’s dictum are not metaethically neutral. This encourages skepticism about whether model-theoretic machinery suffices to provide an illuminating distinction between the ethical and the descriptive. (shrink)

In this article, I argue that the use of scientific models that attribute intentional content to complex systems bears a striking similarity to the way in which statistical descriptions are used. To demonstrate this, I compare and contrast an intentional model with a statistical model, and argue that key similarities between the two give us compelling reasons to consider both as a type of phenomenological model. I then demonstrate how intentional descriptions play an important role in scientific methodology as (...) a type of phenomenal model, and argue that this makes them as essential as any other model of this type. (shrink)

It has been stated that the notion of cause and effect is one object of study that sciences and engineering revolve around. Lately, in software engineering, diagrammatic causal inference methods (e.g., Pearl’s model) have gained popularity (e.g., analyzing causes and effects of change in software requirement development). This paper concerns diagrammatical (graphic) models of causal relationships. Specifically, we experiment with using the conceptual language of thinging machines (TMs) as a tool in this context. This would benefit works on causal (...) relationships in requirements engineering, enhance our understanding of the TM modeling, and contribute to the study of the philosophical notion of causality. To specify the causality in a system’s description is to constrain the system’s behavior and thus exclude some possible chronologies of events. The notion of causality has been studied based on tools to express causal questions in diagrammatic and algebraic forms. Causal models deploy diagrammatic models, structural equations, and counterfactual and interventional logic. Diagrammatic models serve as a language for representing what we know about the world. The research methodology in the paper focuses on converting causal graphs into TM models and contrasts the two types of representation. The results show that the TM depiction of causality is more complete and therefore can provide a foundation for causal graphs. (shrink)

Description Logics (DLs) are a family of well-known terminological knowledge representation formalisms in modern semantics-based systems. This research focuses on analysing how our developed Occurrence Logic (OccL) can conceptually and logically support the development of a description logic. OccL is integrated into the alternative theory of natural language syntax in `Deviational Syntactic Structures' under the label `EFA(X)3' (or the third version of Epi-Formal Analysis in Syntax, EFA(X), which is a radical linguistic theory). From the logical point of view, OccL is (...) a formal logic that mainly deals with the occurrences of symbols as well as with their priorities within linguistic descriptions, i.e. natural language syntax, semantics and phonology. In this article---based on our OccL-based definitions of the concepts of `strong implication' and `occurrence value' as well as of the logical concept `identical occurrence constructor (IDOC)' that is the most fundamental logical concept in our formalism---we will model Occurrence Description Logic ($\mathcal{ODL}$). Accordingly, we will formally-logically analyse `occurrence(s) of symbol(s)' within descriptions of the world in $\mathcal{ODL}$. In addition, we will analyse and assess the logical concepts of `occurrence' and `occurrence priority' in $\mathcal{ODL}$. This research can make a strong logical background for our future research in the development of a Modal Occurrence Description Logic. (shrink)

I argue that normative formal epistemology (NFE) is best understood as modelling, in the sense that this is the reconstruction of its methodology on which NFE is doing best. I focus on Bayesianism and show that it has the characteristics of modelling. But modelling is a scientific enterprise, while NFE is normative. I thus develop an account of normative models on which they are idealised representations put to normative purposes. Normative assumptions, such as the transitivity of comparative credence, are (...) characterised as modelling idealisations motivated normatively. I then survey the landscape of methodological options: what might formal epistemologists be up to? I argue the choice is essentially binary: modelling or theorising. If NFE is theorising it is doing very poorly: generating false claims with no clear methodology for separating out what is to be taken seriously. Modelling, by contrast, is a successful methodology precisely suited to the management of useful falsehoods. Regarding NFE as modelling is not costless, however. First, our normative inferences are less direct and are muddied by the presence of descriptive idealisations. Second, our models are purpose-specific and limited in their scope. I close with suggestions for how to adapt our practice. (shrink)

dolce, the first top-level ontology to be axiomatized, has remained stable for twenty years and today is broadly used in a variety of domains. dolce is inspired by cognitive and linguistic considerations and aims to model a commonsense view of reality, like the one human beings exploit in everyday life in areas as diverse as socio-technical systems, manufacturing, financial transactions and cultural heritage. dolce clearly lists the ontological choices it is based upon, relies on philosophical principles, is richly formalized, and (...) is built according to well-established ontological methodologies, e.g. OntoClean. Because of these features, it has inspired most of the existing top-level ontologies and has been used to develop or improve standards and public domain resources. Being a foundational ontology, dolce is not directly concerned with domain knowledge. Its purpose is to provide the general categories and relations needed to give a coherent view of reality, to integrate domain knowledge, and to mediate across domains. In these 20 years dolce has shown that applied ontologies can be stable and that interoperability across reference and domain ontologies is a reality. This paper briefly introduces the ontology and shows how to use it on a few modeling cases. (shrink)

This paper uses classical logic for a simultaneous description of the syntax and semantics of a fragment of English and it is argued that such an approach to natural language allows procedural aspects of linguistic theory to get a purely declarative formulation. In particular, it will be shown how certain construction rules in Discourse Representation Theory, such as the rule that indefinites create new discourse referents and definites pick up an existing referent, can be formulated declaratively if logic is used (...) as a metalanguage for English. In this case the declarative aspects of a rule are highlighted when we focus on the model theory of the description language while a procedural perspective is obtained when its proof theory is concentrated on. Themes of interest are Discourse Representation Theory, resolution of anaphora, resolution of presuppositions, and underspecification. (shrink)

The descriptions and theoretical laws scientists write down when they model a system are often false of any real system. And yet we commonly talk as if there were objects that satisfy the scientists’ assumptions and as if we may learn about their properties. Many attempt to make sense of this by taking the scientists’ descriptions and theoretical laws to define abstract or fictional entities. In this paper, I propose an alternative account of theoretical modelling that draws upon Kendall Walton’s (...) ‘make-believe’ theory of representation in art. I argue that this account allows us to understand theoretical modelling without positing any object of which scientists’ modelling assumptions are true. (shrink)

Biomedical science has been remarkably successful in explaining illness by categorizing diseases and then by identifying localizable lesions such as a virus and neoplasm in the body that cause those diseases. Not surprisingly, researchers have aspired to apply this powerful paradigm to addiction. So, for example, in a review of the neuroscience of addiction literature, Hyman and Malenka (2001, p. 695) acknowledge a general consensus among addiction researchers that “[a]ddiction can appropriately be considered as a chronic medical illness.” Like other (...) diseases, “Once addiction has taken hold, it tends to follow a chronic course.” (Koob and La Moal 2006, p. ?). Working from this perspective, much effort has gone into characterizing the symptomology of addiction and the brain changes that underlie them. Evidence for involvement of dopamine transmission changes in the ventral tegmental area (VTA) and nucleus accumbens (NAc) have received the greatest attention. Kauer and Malenka (2007, p. 844) put it well: “drugs of abuse can co-opt synaptic plasticity mechanisms in brain circuits involved in reinforcement and reward processing”. Our goal in this chapter to provide an explicit description of the assumptions of medical models, the different forms they may take, and the challenges they face in providing explanations with solid evidence of addiction. <br>. (shrink)

This article outlines a “descriptive animal ethics” based on the study of people’s intuitions about particular cases, in order to determine which moral theories best comport with those intuitions. I suggest that the latter need not be unreliable since they may be endorsed as considered judgments, and that even if they were, knowing them would still provide relevant information for a complete moral theory concerned with what moral agents can do. I describe a survey in descriptive ethics, discuss (...) the results, and introduce prospective experiments. I then set forth hypotheses and propose a dual model of moral status attribution in terms of both intrinsic and extrinsic properties. I rely on recent empirical research in psychology and experimental philosophy, which I confront with the above results, to support my hypotheses. The model predicts that attributions vary depending on the capacities of entities, their context (including relationships), and the context of the attributor. These facts of descriptive ethics, I conclude, are directly relevant to normative ethics insofar as our cognitive apparatus constrains our ability to act morally. Moreover, they suggest ways to improve moral perception, education, and motivation. (shrink)

Building upon Nancy Cartwright's discussion of models in How the Laws of Physics Lie, this paper addresses solid state research in transition metal oxides. Historical analysis reveals that in this domain models function both as the culmination of phenomenology and the commencement of theoretical explanation. Those solid state chemists who concentrate on the description of phenomena pertinent to specific elements or compounds assess models according to different standards than those who seek explanation grounded in approximate applications of (...) the Schroedinger equation. Accurate accounts of scientific debate in this field must include both perspectives. (shrink)

Julia Annas is one of the few modern writers on virtue that has attempted to recover the ancient idea that virtues are similar to skills. In doing so, she is arguing for a particular account of virtue, one in which the intellectual structure of virtue is analogous to the intellectual structure of practical skills. The main benefit of this skill model of virtue is that it can ground a plausible account of the moral epistemology of virtue. This benefit, though, is (...) only available to some accounts of virtue. Annas claims that Aristotle rejects this skill model of virtue, and so the model of virtues as a skill that Annas endorses for the modern virtue theory is Socratic. This paper argues that while Aristotle rejects the Socratic model of virtue as a skill, he does not reject the model of virtue as a skill altogether. Annas has mischaracterized Aristotle's position on the skill model, because she has not recognized that Aristotle endorses a different account of the structure of skill than the one put forth by Socrates. In addition, recent research on expertise provides an account of skills very much at odds with the description of skills offered by Annas, but similar to the account endorsed by Aristotle. Contrary to Annas, not only is the skill model of virtue compatible with a neo-Aristotelian account of virtue, but it also appears that basing a skill model of virtue on a Socratic account of virtue is likely to prove unsuccessful. (shrink)

This paper presents a human-computer interaction model with a three layers learning mechanism in a pervasive environment. We begin with a discussion around a number of important issues related to human-computer interaction followed by a description of the architecture for a multi-agent cooperative design system for pervasive computing environment. We present our proposed three- layer HCI model and introduce the group formation algorithm, which is predicated on a dynamic sharing niche technology. Finally, we explore the cooperative reinforcement learning and fusion (...) algorithms; the paper closes with concluding observations and a summary of the principal work and contributions of this paper. (shrink)

This paper discusses modeling from the artifactual perspective. The artifactual approach conceives models as erotetic devices. They are purpose-built systems of dependencies that are constrained in view of answering a pending scientific question, motivated by theoretical or empirical considerations. In treating models as artifacts, the artifactual approach is able to address the various languages of sciences that are overlooked by the traditional accounts that concentrate on the relationship of representation in an abstract and general manner. In contrast, the (...) artifactual approach focuses on epistemic affordances of different kinds of external representational and other tools employed in model construction. In doing so, the artifactual account gives a unified treatment of different model types as it circumvents the tendency of the fictional and other representational approaches to separate model systems from their “model descriptions”. (shrink)

The tremendous advances of research into artificial intelligence as well as neuroscience made over the last two to three decades have given further support to a renewed interest into philosophical discussions of the mind-body problem. Especially the last decade has seen a revival of panpsychist and idealist considerations, often focused on solving philosophical puzzles like the socalled hard problem of consciousness.1–9 While a number of respectable philosophers advocate some sort of panpsychistic solution to the mind-body problem now, fewer advocate that (...) idealism can contribute substantially to the debate. Interest in idealism has nevertheless risen again, as can be seen also from recent overview articles and collections of works.10–14 The working hypothesis here is that a properly formulated idealism can not only provide an alternative view of the mind/matter gap, but that this new view will also shed light on open questions in our common scientific, i.e. materialist, world view. To investigate this possibility, idealism first of all needs a model for the integration of modern science which allows for a mathematically consistent reinterpretation of the physical world as a limiting case of a both material and non-material world, which would make the outcome of idealistic considerations accessible to scientific investigation. To develop such a model I will first try to explain what I mean when I speak of a ‘scientifically tenable’ idealism, including a formulation of the emanation problem which for idealism replaces the interaction problem, then give a very brief summary of the available elements of such a theory in the philosophical literature, before sketching out some ‘design questions’ which have to be answered upon the construction of such models, and finally put forward a first model for a scientifically tenable objective idealism. (shrink)

This paper deals with two theories Husserl worked out on imagery in order to see if the properties a phenomenological description ascribes to imagery are fit to give meaningful constraints upon theoretical models that guide empirical research. Husserlian descriptions and Kosslyn and colleagues models are hence compared as to their explanatory strategy and implications.

Purpose – The purpose of this paper is to examine the popular “information transmitted” interpretation of absolute judgments, and to provide an alternative interpretation if one is needed. Design/methodology/approach – The psychologists Garner and Hake and their successors used Shannon’s Information Theory to quantify information transmitted in absolute judgments of sensory stimuli. Here, information theory is briefly reviewed, followed by a description of the absolute judgment experiment, and its information theory analysis. Empirical channel capacities are scrutinized. A remarkable coincidence, the (...) similarity of maximum information transmitted to human memory capacity, is described. Over 60 representative psychology papers on “information transmitted” are inspected for evidence of memory involvement in absolute judgment. Finally, memory is conceptually integrated into absolute judgment through a novel qualitative model that correctly predicts how judgments change with increase in the number of judged stimuli. Findings – Garner and Hake gave conflicting accounts of how absolute judgments represent information transmission. Further, “channel capacity” is an illusion caused by sampling bias and wishful thinking; information transmitted actually peaks and then declines, the peak coinciding with memory capacity. Absolute judgments themselves have numerous idiosyncracies that are incompatible with a Shannon general communication system but which clearly imply memory dependence. Research limitations/implications – Memory capacity limits the correctness of absolute judgments. Memory capacity is already well measured by other means, making redundant the informational analysis of absolute judgments. Originality/value – This paper presents a long-overdue comprehensive critical review of the established interpretation of absolute judgments in terms of “information transmitted”. An inevitable conclusion is reached: that published measurements of information transmitted actually measure memory capacity. A new, qualitative model is offered for the role of memory in absolute judgments. The model is well supported by recently revealed empirical properties of absolute judgments. (shrink)

Preference relations are intensively studied in Economics, but they are also approached in AI, Knowledge Representation, and Conceptual Modelling, as they provide a key concept in a variety of domains of application. In this paper, we propose an ontological foundation of preference relations to formalise their essential aspects across domains. Firstly, we shall discuss what is the ontological status of the relata of a preference relation. Secondly, we investigate the place of preference relations within a rich taxonomy of relations (e.g. (...) we ask whether they are internal or external, essential or contingent, descriptive or nondescriptive relations). Finally, we provide an ontological modelling of preference relation as a module of a foundational (or upper) ontology (viz. OntoUML). The aim of this paper is to provide a sharable foundational theory of preference relation that foster interoperability across the heterogeneous domains of application of preference relations. (shrink)

A formal model of the processes of digestion in a hypothetical cell is developed and discussed as a case study of how the threefold logic of Peircean semiotics works within Rosen’s paradigm of relational ontology. The formal model is used to demonstrate several fundamental differences between a relational description of biological processes and a mechanistic description. The formal model produces a logic of embodied generalization that is mediated and determined by the cell through its interactions with the environment. Specifically, the (...) synchronization of the functions of pattern recognition and semantic attribution results in an open and adaptive learning system that is stabilized by a hermeneutical circle. The relational principles of biosemiotics demonstrated through this case study are applicable to other biological systems, as well as to the relational ontology of systems theory, artificial intelligence systems, and relativistic quantum theory. (shrink)

The paper presents and discusses the “which-is-which content of handedness,” the meaning of left as left and right as right, as a possible candidate for the idea of a genuine embodied cognitive content. After showing that the Ozma barrier, the non-transferability of the meaning of left and right, provides a kind of proof of the non-descriptive, indexical nature of the which-is-which content of handedness, arguments are presented which suggest that the classical representationalist account of cognition faces a perplexing problem (...) of underdetermination of reference of left and right in the which-is-which sense. By way of contrast, no such problems occur in a framework were embodied contents are not mediated by some extra body model which carries the representational power, but are instead directly represented. (shrink)

This original research hypothesises that the most fundamental building blocks of logical descriptions of cognitive, or knowledge, agents’ descriptions are expressible based on their conceptions (of the world). This article conceptually and logically analyses agents’ conceptions in order to offer a constructivist- based logical model for terminological knowledge. The most significant characteristic of [terminological] knowing is that there are strong interrelationships between terminological knowledge and the individualistic constructed, and to-be-constructed, models of knowledge. Correspondingly, I conceptually and logically analyse conception (...) expressions based on terminological knowledge, and I show how terminological knowledge may reasonably be assumed to be constructed based on the agents’ conceptions of the world. The focus of my model is on terminological knowledge structures, which may find applications in such diverse fields as the Semantic Web and educational/learning systems. (shrink)

Le déficit d’explicabilité des techniques d’apprentissage machine (AM) pose des problèmes opérationnels, juridiques et éthiques. Un des principaux objectifs de notre projet est de fournir des explications éthiques des sorties générées par une application fondée sur de l’AM, considérée comme une boîte noire. La première étape de ce projet, présentée dans cet article, consiste à montrer que la validation de ces boîtes noires diffère épistémologiquement de celle mise en place dans le cadre d’une modélisation mathématique et causale d’un phénomène physique. (...) La différence majeure est qu’une méthode d’AM ne prétend pas représenter une causalité entre les paramètres d’entrées, qui peuvent être de plus de haute dimensionnalité, et ceux de sortie. Nous montrons dans cet article l’intérêt de mettre en œuvre les distinctions épistémologiques entre les différentes fonctions épistémiques d’un modèle, d’une part, et entre la fonction épistémique et l’usage d’un modèle, d’autre part. Enfin, la dernière partie de cet article présente nos travaux en cours sur l’évaluation d’une explication, qui peut être plus persuasive qu’informative, ce qui peut ainsi causer des problèmes d’ordre éthique. (shrink)

Contextuality and entanglement are valuable resources for quantum computing and quantum information. Bell inequalities are used to certify entanglement; thus, it is important to understand why and how they are violated. Quantum mechanics and behavioural sciences teach us that random variables ‘measuring’ the same content (the answer to the same Yes or No question) may vary, if ‘measured’ jointly with other random variables. Alice’s and Bob’s raw data confirm Einsteinian non-signaling, but setting dependent experimental protocols are used to create samples (...) of coupled pairs of distant ±1 outcomes and to estimate correlations.Marginal expectations, estimated using these final samples, depend on distant settings. Therefore,a system of random variables ‘measured’ in Bell tests is inconsistently connected and it should be analyzed using a Contextuality- by-Default approach, what is done for the first time in this paper.The violation of Bell inequalities and inconsistent connectedness may be explained using a contextual locally causal probabilistic model in which setting dependent variables describing measuring instruments are correctly incorporated. We prove that this model does not restrict experimenters` freedom of choice which is a prerequisite of science. Contextuality seems to be the rule and not an exception; thus, it should be carefully tested. (shrink)

This paper presents an artifactual approach to models that also addresses their fictional features. It discusses first the imaginary accounts of models and fiction that set model descriptions apart from imagined-objects, concentrating on the latter :251–268, 2010; Frigg and Nguyen in The Monist 99:225–242, 2016; Godfrey-Smith in Biol Philos 21:725–740, 2006; Philos Stud 143:101–116, 2009). While the imaginary approaches accommodate surrogative reasoning as an important characteristic of scientific modeling, they simultaneously raise difficult questions concerning how the imagined entities (...) are related to actual representational tools, and coordinated among different scientists, and with real-world phenomena. The artifactual account focuses, in contrast, on the culturally established external representational tools that enable, embody, and extend scientific imagination and reasoning. While there are commonalities between models and fictions, it is argued that the focus should be on the fictional uses of models rather than considering models as fictions. (shrink)

The study aimed to identify the relationship between correcting the deviations in the measurement of performance and achieving the objectives of control and the performance of the job at the Islamic University in the Gaza Strip. To achieve the objectives of the research, the researchers used the descriptive analytical approach to collect information. The questionnaire consisted of (20) statements distributed to three categories of employees of the Islamic University (senior management, faculty members, their assistants and members of the administrative (...) board). A random sample of 314 employees was selected and 276 responses were retrieved with a recovery rate of 88.1%. The Statistical Analysis Program (SPSS) was used to enter, process, and analyze the data. The results of the study showed a positive relationship between correcting deviations in performance measurement and achieving the control objectives represented by the functional performance in the Islamic University from the point of view of the members (senior management, faculty and their assistants, and the administrative board), where the relative weight of all the paragraphs was (74.25%). The study recommended the need to ensure that the actual performance of the planned performance is matched and decisions are taken to correct the serious deviations and take the necessary measures in terms of retraining and change in regulations, wages and bonuses and punishment of the culprit, neglect and negligence by mistake. (shrink)

The study's general objective is to determine the students' stance on the most appropriate model of writing skills, using Structural Equation Modeling (SEM) as a basic design in the relationship of self-regulated learning strategies, communicative learning strategies, learning grammatical strategies, and writing skills. This study used a mixed-method sequential explanatory design, in which quantitative design is more widely used than qualitative Creswell, J., & Creswell, D. (2017). The researcher used the stratified random sampling technique for selecting respondents and, by using (...) the Raosoft sample size calculator, identified 390 respondents using a four-part questionnaire to collect data. Purposive sampling is the method for determining participants in a qualitative design using a guided questionnaire to obtain data from In-Depth Interviews and Focus Group Discussions. Model 5 was the best-fitting model for writing skills, showing significant correlations with the exogenous variables: self-regulated learning strategies, communicative learning strategies, learning grammatical strategies, and writing skills as endogenous variables. Both the exogenous and endogenous variables obtained a high level of overall description, meaning that students often practiced strategies to cultivate writing skills. The participants' stance on the most appropriate model is essential for tertiary students to have different strategies for developing writing skills. It is necessary to reach the full description of the highest level by using different strategies to build writing skills. (shrink)

In this paper I outline a comprehensive theory of legal interpretation based on an assumption that legal text, understood as the aggregate of texts of all legal acts in force at a particular time and place, describes one rational and coherent possible world. The picture of this possible world is decoded from the text by interpreters and serves as a holistic model to which the real world is adjusted when the law is applied. From the above premise I will limit (...) myself to drawing two conclusions for how legal interpretation should be carried out. First, I argue that the possible world described by the legal text has to be ‘accessible’ from the real world, i.e. it has to be feasible to transform the actual world into the described one. Were it otherwise, the possible world could not serve as a model for adjustment. The accessibility requirement imposes obligations on the interpreters to secure the rationality of the possible world decoded from the text, amongst other to secure that the description of this world is not contradictory and – as a consequence – the law of excluded middle is obeyed in the possible world described by the legal text. Secondly, I argue for the inevitability of interpretative discretion arising from the requirement to decode a sufficiently ‘saturated’ picture of the possible world., i.e. possessing enough properties to resemble the actual world. As texts have a limited number of sentences and worlds have an unlimited number of properties, interpreters have to supplement the picture of a possible world to achieve its coherence. This involves the inclusion of some additional, non-predetermined features that integrate with the properties of the world predefined by the legal text. This process of saturation consists of filling in so-called ‘places of indeterminacy’ (Roman Ingarden) with content implicated by other features of the possible world. I also argue that the discretion resulting from the necessity of filling in the places of indeterminacy is justified by the requirement of fulfilling the intention of the lawmaker to make the possible world described by the legal text real. The theory presented here is based on contemporary theories of discourse representation and so-called ‘text-world theory’ by J. Gavins. Phenomenalism and causal (historical) theories of reference provide its philosophical background. (shrink)

Contemporary demographic processes forcing increasing attention to the problems of relationships and dependencies between the different age groups. The ageing of the population in each society leads to changes in the contacts between young people, adults and the elderly. It is reasonable to undertake research on the concept of "solidarity of generations". Maintaining relationships without generational conflict requires actions in the field of social policy known as intergenerational policy. Aim of this article is to present some of its models, (...) which allow not only to analyze the changes in the various communities, but also to create recommendations for public intervention. Description will include activities at the international, national, regional and local levels. (shrink)

In the view of my philosophical position “nominal conceptualism”, cognitive/knowledge agents, who are in some way aware of expressing the world based on their mental concepts, deal with their linguistic and/or symbolic expressions. In this paper I rely on nominal conceptualism to logically characterise agents’ concept-based descriptions of the world and analyse a fundamental logical system for conception representation.

The protests at the Universiteit van Amsterdam (UvA) that began in November 2014 as a reaction to severe cuts in the department of humanities have sparked a broad debate nationally and even internationally about the future of the university and the values and ideals that should define it. It turned out that dissatisfaction was much more widespread in different parts of the university than some had previously thought, and many turned out to share the concerns first put forward in the (...) humanities department, to extend beyond the borders of the university and the country. Increasing focus on getting as many students as possible to graduate promptly has shifted the attention ever more towards quantitative indicators for the evaluation of education rather than qualitative ones, leading to raising the question of whether the quality of education has suffered from these priorities. How did this come about and what could be done to improve this quality? In this essay we briefly consider the history of the university as an institute that aims to combine research and education, subsequently mentioning some more recent challenges for the university, finishing it with a brief description of a ‘circulation model of education’ that we consider to be a fruitful source for answering some of the challenges we identified from the current discussions. In this model circulation rather than unidirectional traffic occurs between different elements: circulation between research and education, between insights of teachers and of students, between disciplines, between general and contextualized knowledge, between disciplinary and experi- ential knowledge, between doing research and (meta-)reflection upon research, and so on. (shrink)

Learning mathematics through distance education can be challenging, with the “logical” and “rewarding” nature proving difficult to measure. This article aimed to articulate an argument explaining the “logical” and “rewarding” nature of online mathematics learning, elucidating their causal factors. Existing data from the literature that involving students at Visayas State University, Philippines, were utilized in this study. The study used statistical measures to capture descriptions from the data, and quantile regression analysis was employed to forecast the predictors of the logicality (...) and rewarding nature of learning mathematics at a distance. Results indicate that learning mathematics in the new normal is perceived as “logical” and moderately “rewarding”. The regression and correlation analyses revealed a significant positive association between the perceived “logical” nature and the rewarding experience of learning mathematics. The constructed statistical models depicted that the determinants of logicality in learning mathematics include family income, money spent on the internet, learning environment, household size, social status, and health. Moreover, causal factors such as family income, money spent on the internet, learning environment, leisure activities, social status, and health significantly determine the rewarding nature of learning mathematics online. Conclusively, institution must support college students with their online learning needs. Furthermore, mathematics instructors should create lively and exciting online discussions that boost their logical thinking. Providing problem-solving task that are intrinsically rewarding can contribute to a more fulfilling learning experience. (shrink)

L'ingénierie ontologique, associé aux technologies du Web sémantique, permet la modélisation sémantique et le développement du flux opérationnel requis pour la conception de la technologie blockchain. Le système de modélisation blockchain le plus utilisé, par la représentation abstraite, la description et la définition de la structure, des processus, des informations et des ressources, est la modélisation des entreprises. La modélisation d'entreprise utilise des ontologies de domaine utilisant des langages de représentation du modèle. Bitcoin est le principal système de paiement pair-à-pair (...) et cryptomonnaie qui utilise la technologie de la blockchain. DOI: 10.13140/RG.2.2.25379.50726. (shrink)

The study aimed to identify the role of administrative procedures and systems in enhancing the performance of the educational institutions in the Islamic University in Gaza. To achieve the research objectives, the researchers used the analytical descriptive approach to collect information. The researchers used the questionnaire distributed to three categories of employees at the Islamic University (senior management, faculty members, their assistants and members of the administrative board). A random sample of 314 employees was selected and 276 questionnaires were (...) retrieved with a recovery rate of 88.1%. The Statistical Analysis Program (SPSS) was used to enter process and analyze data. The results of the research showed a positive role for the administrative procedures and systems in enhancing the performance of the Islamic University from the point of view of the members (senior management, teaching staff and their assistants and the administrative body), where the relative weight of all the paragraphs (73.728%). The analysis of the results revealed that the administrative procedures at the Islamic University in Gaza are used to an acceptable degree. The relative weight of all the paragraphs is 70%. This indicates a relationship between administrative procedures and regulations and the performance of the Islamic University in the Gaza Strip. The study found that there was a good degree of approval from the sample regarding the administrative procedures and their relationship to the job performance. There exist a sufficient degree of powers to the deans and department managers to carry out their tasks, with the use of plans as control tools. And that there are rules and procedures provided for decision-making in the University Council. It also has full powers to manage the university to improve the teaching and learning environment. The researchers also recommended a number of recommendations, including the need to follow up on the procedures and systems of management and update them continuously in the light of changes that may occur and to ensure the existence of a strong system of electronic information systems within the university. There is a need to provide mechanisms for obtaining information about the surrounding external environment, and effective mechanisms to provide managers with the necessary information in a timely manner. The importance of providing channels of communication that enables staff to communicate information about any violations and breaches. The study also recommended the follow-up, review, procedures and administrative systems, and work to modify them in line with the mission of the university and the objectives that the university seeks to reach. (shrink)

The study aimed to measure the effect of Crowdfunding financing on entrepreneurship aspirations in Arabic region. Population consists of members in (15) Crowdfunding Arabic platforms which are working with all models and online at (2018). Descriptive approach and a questionnaire used as a tool for this research. The results showed that Crowdfunding financing effect positively on entrepreneurship aspirations, Crowdfunding used mostly to finance small business or microfinance and charity. Add to that, Crowdfunding leads to financial efficiency and costs (...) reduction, more flexible payments methods and more opportunities for entrepreneurs. The study recommended the importance of entrepreneurship culture and its role in promoting entrepreneurs, the effect off Fintech and various e-banking and e-payments methods, and the need of more interest in innovation and creativity. (shrink)

Since the stone age humankind has created masterworks which possess a mysterious quality of solidity and grandeur or monumentality. A Paleolithic Venus and a still life by Cezanne both share this monumentality. Michelangelo likened monumentality to sculptural relief, Braque called monumentality 'space', and Hans Hoffman, himself one of the masters, called monumentality 'pictorial depth.' The masters agreed on the import of monumentality, but none of them left a clear explanation of it. In 1943 Earl Loran published his classic book on (...) Cezanne's pictorial structure but, as I demonstrate, his explanation was misleading. This book provide a clear explanation, as did an earlier book by Robert Casper. This book also traces some history of monumentality with reproductions. It also explains how some painters achieved monumentality and how a student can attempt it. Pictorial space is created in the tension between pairs of opposing planes. Opposing planes pull against each other, each containing the other, paradoxically, within the flat surface of the canvas. Sculpture also can be 'plastic': opposing masses pull against each other, each containing the other and creating tension in the space which lies between them. Painting has other aspects like subject matter, expression, style and technique but pictorial space does not depend on these. Monumentality moves us profoundly and apparently has done so since the Paleolith. Using patients' vignettes, I show that there are profound parallels between the structure of a monumental work of art and the structure of an evolving personality. In Winnicott's words, such a personality has 'depth ... an interior space to put beliefs in ... an inside ... a space where things can be held ... the capacity to accept paradox [to contain opposites] ... room and strength ... and originality and the acceptance of tradition as the basis for invention'. A monumental painting also meets this description. I argue that monumental art provides a visual portrait of an evolving personality just as myth, as Freud and Jung both showed, provides a narrative portrait of an evolving personality. An evolving personality is perhaps humankind's most important creation; an underlying purpose of both myth and art is to help us achieve it. I demonstrate in this book that monumental art represented the evolving personality since at least 35,000 BC. Thus to understand monumentality is to better understand the personality and its history. (shrink)

Ontology engineering, along with semantic Web technologies, allow the semantic development and modeling of the operational flow required for blockchain design. The semantic Web, in accordance with W3C, "provides a common framework that allows data to be shared and reused across application, enterprise, and community boundaries" and can be seen as an integrator for various content, applications and information systems. The most widely used blockchain modelling system, by abstract representation, description and definition of structure, processes, information and resources, is the (...) enterprises modelling. Enterprise modelling uses domain ontologies by model representation languages. DOI: 10.13140/RG.2.2.19062.24642. (shrink)

In this paper I distinguish various ways in which empirical claims about evolutionary and ecological models can be supported by data. I describe three basic factors bearing on confirmation of empirical claims: fit of the model to data; independent testing of various aspects of the model, and variety of evident. A brief description of the kinds of confirmation is followed by examples of each kind, drawn from a range of evolutionary and ecological theories. I conclude that the greater complexity (...) and precision of my approach, as compared to, for instance, a Popperian approach, can facilitate detailed analysis and comparison of empirical claims. (shrink)

There is a lively debate in contemporary Analytic Philosophy of Religion about the consistency of the Trinitarian doctrine. In this context, the notion of ‘mystery’ has become crucial. However, although it is currently considered the main challenge of Trinitarian theology, its definition remains rather partial and superficial. After a brief description of today’s Mysterianism, I analyse three ‘emblematic’ positions in light of the current debate: Aquinas, Leibniz and Hegel present three ways to believe in a mysterious Trinity. I will point (...) out a few possible weaknesses in the positions of the first two authors in order to better highlight the usefulness of the Hegelian position, often underestimated in the contemporary analytic debate. I will also analyse the connection between the three positions and their respective metaphysics, showing the epistemological premises (e.g., analogy and univocity) that need to be better investigated in the future. (shrink)

It is here proposed an analysis of symbolic and sub-symbolic models for studying cognitive processes, centered on emergence and logical openness notions. The Theory of logical openness connects the Physics of system/environment relationships to the system informational structure. In this theory, cognitive models can be ordered according to a hierarchy of complexity depending on their logical openness degree, and their descriptive limits are correlated to Gödel-Turing Theorems on formal systems. The symbolic models with low logical openness (...) describe cognition by means of semantics which fix the system/environment relationship, while the sub-symbolic ones with high logical openness tends to seize its evolutive dynamics. An observer is defined as a system with high logical openness. In conclusion, the characteristic processes of intrinsic emergence typical of “bio-logic” - emerging of new codes-require an alternative model to Turing- computation, the natural or bio-morphic computation, whose essential features we are going here to outline. (shrink)

This essay is part of a larger project aimed at making sense of rational thought and agency as part of the natural world. It provides a semantic framework for thinking about the contents of: 1) descriptive thoughts and sentences having a representational or mind-to-world direction of fit, and which manifest our capacity for theoretical rationality; and 2) prescriptive and intentional sentences having an expressive or world-to-mind direction of fit, and which manifest our capacity for practical rationality. I use a (...) modified version of Allan Gibbard’s hyperstate semantics, employing both maximally determinate possible worlds and maximally determinate plans of action, as a basis for providing a unified understanding of moral judgments and expressions of individual and collective intentionality – they one and all give voice to our ability as rational agents to adopt the perspectives of various individuals within a community and consider how we would behave were we in their positions. In the course of spelling out the view I draw on and criticize ideas that Wilfrid Sellars advanced in the middle of the 20th century, while employing the tools of contemporary modal logic and model-theoretic semantics to give perspicuous formulation to his thought that the moral judgment ‘one ought to do A’ should be understood in terms of the collective intention ‘we shall do A’, where the pronoun denotes the unrestricted class of rational agents and the ‘ought’ is in some sense unconditionally binding. (shrink)