This is the first in a series of math books intended for those who have completed at least secondary school mathematics and have acquired 1) certain calculating skills, and 2) dissatisfaction with their understanding of what they are calculating. We will start our journey with numbers. Numbers are the oldest mathematical idea, but still also the most important one. We will go through the basics of numbers in a way that will give you the confidence to really understand numbers (...) and really know how to apply them. You will also learn all the essential elements of mathematics through the example of the world of numbers. The example of numbers will be used to illustrate what mathematical objects are and how they are applied, and what mathematical tools we use in their description and application. (shrink)

By analysing several characteristic mathematical models: natural and real numbers, Euclidean geometry, group theory, and set theory, I argue that a mathematical model in its final form is a junction of a set of axioms and an internal partial interpretation of the corresponding language. It follows from the analysis that (i) mathematical objects do not exist in the external world: they are imagined objects, some of which, at least approximately, exist in our internal world of activities or we can realize (...) or represent them there; (ii) mathematical truths are not truths about the external world but specifications (formulations) of mathematical conceptions; (iii) mathematics is first and foremost our imagined tool by which, with certain assumptions about its applicability, we explore nature and synthesize our rational cognition of it. (shrink)

The purpose of this article is to develop an epistemology of scientific models in scientific research practices, and to show that disciplinary perspectives have crucial role in such an epistemology. A transcendental approach is taken, aimed at explanations of the kinds of questions relevant to the intended epistemology, such as “How is it possible that models provide knowledge about aspects of reality?” The approach is also pragmatic in the sense that the questions and explanations must be adequate and relevant to (...) concrete scientific practice. First it is explained why the idea of models as representations in terms of similarity or isomorphism between a model and its target is too limited as a basis for this epistemology. An important finding is that the target-phenomenon is usually not something that can be observed in a straightforward manner, but requires both characterization in terms of measurable variables and subsumption under concepts. The loss of this basis leads to a number of issues, such as: how can models be interpreted as representations if models also include conceptually meaningful linguistic content; how can researchers identify non-observable real-world target-phenomena that are then represented in the model; how do models enable inferential reasoning in performing epistemic tasks by researchers; and, how to justify scientific models. My proposal is to deal with these issues by analyzing how models are constructed, rather than by looking at ready-made models. Based on this analysis, I claim that the identification of phenomena and the construction of scientific models is guided and also confined by the disciplinary perspective within which researchers in a scientific discipline have learned to work. I propose a Kuhnian framework by which the disciplinary perspective can be systematically articulated. Finally, I argue that harmful forms of subjectivism, due to the loss of the belief that models objectively represent aspects of reality, can be overcome by making the disciplinary perspective in a research project explicit, thereby enabling its critical assessment, for which the proposed Kuhnian framework provides a tool. (shrink)

By analysing several characteristic mathematical models: natural and real numbers, Euclidean geometry, group theory, and set theory, I argue that a mathematical model in its final form is a junction of a set of axioms and an internal partial interpretation of the corresponding language. It follows from the analysis that (i) mathematical objects do not exist in the external world: they are imagined objects, some of which, at least approximately, exist in our internal world of activities or we can realize (...) or represent them there; (ii) mathematical truths are not truths about the external world but specifications (formulations) of mathematical conceptions; (iii) mathematics is first and foremost our imagined tool by which, with certain assumptions about its applicability, we explore nature and synthesize our rational cognition of it. (shrink)

The paper is concerned with the psychological relevance of a logical model for deductive reasoning. We propose a new way to analyze logical reasoning in a deductive version of the Mastermind game implemented within a popular Dutch online educational learning system (Math Garden). Our main goal is to derive predictions about the difficulty of Deductive Mastermind tasks. By means of a logical analysis we derive the number of steps needed for solving these tasks (a proxy for working memory load). (...) Our model is based on the analytic tableaux method, known from proof theory. We associate the difficulty of Deductive Mastermind game-items with the size of the corresponding logical trees obtained by the tableaux method. We derive empirical hypotheses from this model. A large group of students (over 37 thousand children, 5–12 years of age) played the Deductive Mastermind game, which gave empirical difficulty ratings of all 321 game-items. The results show that our logical approach predicts these item ratings well, which supports the psychological relevance of our model. (shrink)

The authors believe there is a need for novel ways of enhancing professional judgment and discretion in the contemporary healthcare environment. The objective is to provide a framework to guide a discursive analysis of an ongoing clinical scenario by a small group of healthcare professionals (4–12) to achieve consensual understanding in the decision-making necessary to resolve specific healthcare inadequacies and promote organisational learning. REPVAD is an acronym for the framework’s five decision-making dimensions of reasoning, evidence, procedures, values, attitudes and defences. (...) The design is set out in terms of well-defined definitions of the dimensions, a rationale for using REPVAD, and explications of dimensions one at a time. Furthermore, the REPVAD process of application to a scenario is set out, and a didactic scenario is given to show how REPVAD works together with a sample case. A discussion is fleshed out in four real life student cases, and a conclusion indicates strengths and weaknesses and the possibility of further development and transferability. In terms of findings, the model has been tried, tested and refined over a number of years in the development of advanced practitioners at university healthcare faculties in two European countries. Consent was obtained from the four participating students. (shrink)

In “The Toolbox of Science” (1995) together with Towfic Shomar we advocated a form of instrumentalism about scientific theories. We separately developed this view further in a number of subsequent works. Steven French, James Ladyman, Otavio Bueno and Newton Da Costa (FLBD) have since written at least eight papers and a book criticising our work. Here we defend ourselves. First we explain what we mean in denying that models derive from theory – and why their failure to do so should (...) be lamented. Second we defend our use of the London model of superconductivity as an example. Third we point out both advantages and weaknesses of FLBD’s techniques in comparison to traditional Anglophone versions of the semantic conception. Fourth we show that FLBD’s version of the semantic conception has not been applied to our case study. We conclude by raising doubts about FLBD’s overall project. (shrink)

The escalating number of pending cases is a growing concern worldwide. Recent advancements in digitization have opened up possibilities for leveraging artificial intelligence (AI) tools in the processing of legal documents. Adopting a structured representation for legal documents, as opposed to a mere bag-of-words flat text representation, can significantly enhance processing capabilities. With the aim of achieving this objective, we put forward a set of diverse attributes for criminal case proceedings. To enhance the effectiveness of automatically extracting these attributes from (...) legal documents within a sequence labeling framework, we propose the utilization of a few-shot learning approach based on Large Language Models (LLMs). Moreover, we demonstrate the efficacy of the extracted attributes in downstream tasks, such aslegal judgment prediction and legal statute prediction. (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)

While promoting population health has been the classic goal of public health practice and policy, in recent decades, new objectives in terms of autonomy and equality have been introduced. These different goals are analysed, and it is demonstrated how they may conflict severly in several ways, leaving serious unclarities both regarding the normative issue of what goal should be pursued by public health, what that implies in practical terms, and the descriptive issue of what goal that actually is pursued in (...) different contexts. A basic conflict of perspective is handled by integrating the ideas of public health striving for health-related autonomy and equality, resulting in a prioritarian oriented population approach to health-related autonomy. This integrated goal is demonstrated to constrain itself in several ways attractive from the point of view of the classic goal, but several serious problems remain. For this reason, a model where all of the three goals are integrated into one coherent structure where they can be assigned varying degrees of importance relative to the level of population health is described. It is argued that this model avoids the problems set out earlier, and is actually normatively preferable to the classic goal alone. It is furthermore argued that the model may be employed as a useful tool for descriptive ethics, as well as a vehicle for international harmonisation of public health policies. A number of practical implications regarding, e.g., the importance of respecting autonomy and the allocation of public health resources are noted, as are a battery of questions for further research. (shrink)

This paper considers non-standard analysis and a recently introduced computational methodology based on the notion of ①. The latter approach was developed with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework and in all the situations requiring these notions. Non-standard analysis is a classical purely symbolic technique that works with ultrafilters, external and internal sets, standard and non-standard numbers, etc. In its turn, the ①-based methodology does not use any of these (...) notions and proposes a more physical treatment of mathematical objects separating the objects from tools used to study them. It both offers a possibility to create new numerical methods using infinities and infinitesimals in floating-point computations and allows one to study certain mathematical objects dealing with infinity more accurately than it is done traditionally. In these notes, we explain that even though both methodologies deal with infinities and infinitesimals, they are independent and represent two different philosophies of Mathematics that are not in a conflict. It is proved that texts :539–555, 2017; Gutman and Kutateladze in Sib Math J 49:835–841, 2008; Kutateladze in J Appl Ind Math 5:73–75, 2011) asserting that the ①-based methodology is a part of non-standard analysis unfortunately contain several logical fallacies. Their attempt to show that the ①-based methodology can be formalized within non-standard analysis is similar to trying to show that constructivism can be reduced to the traditional Mathematics. (shrink)

Indian Philosophy has reached across the globe. It is popular for its practical way towards life. Study of Indian philosophy should be part of all streams of education. Film is effective tool of communication. It attracts all generations and makes strong impression in the mind. Film is always considered as an effective tool in Pedagogy. Philosophy deals with abstract concepts, their correlation and logical reasoning. It deals with the complex problem of reality. People have notion that philosophy is a dry (...) and theoretical subject. Students can understand complex philosophical ideas if they are demonstrated through films. There are films based on biographies of philosophers, life picture of great people, incidences in life of philosophers. But it can attract only limited number of audience. Some popular Hollywood films have amalgamation of science fiction, super natural elements, fantastic story guided by some philosophical principles. Such films attract audience from different strata. Viewer is totally captivated by extra ordinary super natural and fictional elements in the film. As a result, certain philosophical principles are taught to audience without their conscious effort. (Kantāsammita upadeśa) Teaching philosophy with the means of such films can be definitely effective tool in Pedagogy. Such practise will not only create liking for Indian Philosophy but will result in effective understanding of complex ideas. It can create awareness that Indian Philosophy is embraced across the globe, there are no boundaries for philosophical deliberations and there are certain common threads in different philosophical schools. Paper will take example of popular movie ‘Matrix’ to explain the principles of Advaita Vedānta. The Matrix is a 1999 science fiction film written and directed by The Wachowskis, starring Keanu Reeves, Laurence Fishburne, Carrie-Anne Moss, Hugo Weaving, and Joe Pantoliano. It states the journey of hero of the film ‘Neo’ who is aspiring for reality. He is struggling between illusory world and the real world which is presented through the means of science fiction. This paper will analyse Matrix from the perspective of Advaita Vedānta. Māyā projects the illusory world (vikṣepa) in place of Brahman (āvaraṇa). Film portrays digital world as illusory world. One sees this world as real due to limitations of body, mind and intellect. Neo goes to the real world and realises his true nature. True reality is beyond senses and sense objects (atindrīya). Concepts of Advaita Vedānta can be explained with this film. Such movies can be shown to students along with Vedanta discourses. Paper will explore ‘Film and Philosophy’ as an effective pedagogical model. (shrink)

In this paper we consider some questions surrounding whether or not regional climate models “add value,” a controversial issue in climate science today. We highlight some objections frequently made about regional climate models both within and outside the community of modelers, including several claims that regional climate models do not “add value.” We show that there are a number of issues involved in the latter claims, the primary ones centering on the fact that different research questions are being pursued by (...) the modelers making the complaints against regional climate models. Further issues focus on historical deficiencies of particular—but not generalizable—failures of individual regional models. We provide tools to sort out these different research questions and particular failures, and to improve communication and understanding surrounding added value in climate modeling and philosophy of climate science. (shrink)

Context: Our body schema is not restricted to biological body boundaries (such as the skin), as can be seen in the use of a cane by a person who is visually impaired or the “rubber hands” experiment. The tool becomes a part of the body schema when the focus of our attention is shifted from the tool to the task to be performed. Problem: A body schema is formed through interactions among brain, body, tool, and environment. Nevertheless, the dynamic mechanisms (...) underlying changes in the body schema are still not fully understood. Method: To study the changing conditions of the body schema (e.g., a shift of attention), a simulation model of object discrimination was extended to differentiate between two kinds of sensitivities – sensitivity to an object being directly manipulated and sensitivity to another object being manipulated by the first. The proposed model consisted of windmills with different numbers of vanes. A model agent was required to determine the number of vanes on a windmill by touching the vanes blindly with an arm controlled by a neural network. Placing a second windmill beside the first and gearing the two windmills to move associatively resulted in the agent using the first windmill as a tool with which to discern the number of vanes on the second windmill. In other words, an agent’s body schema can shift from its arm tip to the boundary between the first and second windmills. We then introduced an experiment with a real windmill model to test the hypothesis demonstrated by the theoretical model. Results: We demonstrated that even simple computational agents can have two different sensitivities to the windmills. One agent becomes sensitive to the first windmill and insensitive to the second one. Another agent becomes insensitive to the first windmill and sensitive to the second one by using the first one as a tool. Therefore, we concluded that the boundary of the body schema was extended to the first windmill in the case of the latter agent because paying attention to the task to be performed instead of the tool itself is essential for the tool to be considered as part of the body schema. Analysis of the experiments using a computational model and human experimentation revealed that a shift from an irregular to a regular movement of a windmill is an indication of extension of the body schema. Constructivist content: Our insights are beneficial for enactive cognitive science. This is because an extended body schema questions the Cartesian separation between subject and object, and the self and the environment. (shrink)

This article, corresponding to a part of the restitution of a financed international research project between France, Brazil, Canada, Italy and Belgium, aims to offer a modelisation and qualitative evaluation of mediation care settings based on an original methodological tool that involves identifying the typical games at the foundations of creativity, following a multidisciplinary perspective. Therapeutic mediations are settings or devices organised around a “pliable medium”, often artistic, like painting, modeling, writing, ​and theatre, which are very widespread in institutional practices, (...) both in France and abroad. The scientific objectives of this research consist in a multi-disciplinary exploration (anthropology, criminology, neuroscience, clinical psychology) of the process of creative symbolisation understood as a process of transformation involving play. According to this orientation, play can be defined as a psychic process whereby a subjective experience can be explored with pleasure, and consequently symbolised and appropriated. Our fundamental and original hypothesis is that play is at the source of the creative process, conceived as a work of metabolisation by the psyche of playful experiences during the different stages of life. The review of the understanding of play in psychoanalysis, anthropology, criminology and neuroscience emphasises the richness of this model and the importance of reflecting on the typical games in the field of psychic care. A clinical example of treatment in a pictorial therapeutic mediation setting of a child with psychotic disorders makes it possible to identify a number of typical games as well as the modalities of interpretation of the therapists through play. These multidisciplinary studies lead to the presentation of a general table of typical games, and these first results highlight the richness of identifying typical games in clinical settings. Ultimately, the multidisciplinary approach shows the interest of the model of play in the evaluation of therapeutic mediation settings, with a convergence of the different disciplines emphasising the pertinence of this model. The scientific impact of this research overlaps with its societal impact, through the development of innovative tools for evaluating therapeutic mediations, in order to take account of the evolution of the different forms of social expression of psychic suffering. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Integrating the Parts of the Biopsychosocial ModelMichael A. Westerman (bio)Keywordsbiopsychosocial approach, pragmatism, participatory framework, functionalist accounts, mind-body-behavior integrationEngel’s (1977, 1980) call for replacing the biomedical model with his biopsychosocial approach pointed in the right direction. Bradley Lewis recognizes this, but argues that Engel’s framework does not provide us with everything we need to develop the biopsychosocial approach. Lewis attempts to add what is missing by reinterpreting Engel as a (...) pragmatist. As I see it, he is on the right track. We need to add something more to Engel’s position, and Lewis’s reinterpretation is an intriguing attempt to respond to this need. Nevertheless, I believe Lewis’s article only takes us so far. Something is still missing. In what follows, I identify what is missing, make suggestions about additional steps we can take to remedy the situation, and raise the possibility that pragmatism can be helpful in this venture in ways that Lewis does not consider.It should come as no surprise that it will take a lot to accomplish Engel’s objectives, because those goals are extremely ambitious. For one thing, Engel offered his biopsychosocial model as an alternative framework for all of medicine, not just psychiatry. Furthermore, he believed that it was not enough to augment the technological focus of the biomedical model by simply tacking onto it more humane concern with the patient as a person and more attention to the patient–physician relationship (although he certainly advocated changes along those lines). Engel maintained that psychosocial factors play an intrinsic role in the etiology of disease, its assessment, and treatment. He based his biopsychosocial model on general systems theory because he believed that it provides a framework for dealing with disease in a way that reflects this view.This is where Lewis enters the arena. He endorses Engel’s goal of developing a biopsychosocial approach to medicine and psychiatry, but he takes issue with Engel’s belief that we can reach this goal by following along the lines of general systems theory. Indeed, he claims that Engel’s biopsychosocial model was “doomed from the start” because of this idea. At a later point, I will turn to Lewis’s arguments against employing a systems theory framework. I first consider what Lewis proposes we bring to the biopsychosocial endeavor in its place.Lewis argues that pragmatism can get us where we want to go and that it makes sense to reinterpret Engel as a pragmatist because there [End Page 321] are a number of noteworthy similarities between pragmatism and Engel’s work. First, Lewis points out that both Engel and the pragmatists believed that inquiry should start with real problems, that is, with something that is not working. Another similarity is that, like the pragmatists, Engel believed that it is important to be aware of the impact theories and philosophical perspectives have on the ways we deal with problems, even though their influence may not be readily apparent. The third similarity Lewis points to is that even though Engel at times justifies beliefs by taking recourse to idealized notions about “The Method” of science (which, Lewis notes, parallels Peirce’s own early idealization of science), Engel ends up holding the pragmatists’ view that the justification of beliefs rests on their usefulness. Finally, Lewis argues that Engel and the pragmatists (in particular, Dewey) have similar views of nature, or the world, in that they believe nature can be characterized by a hierarchy of “levels” (Engel) or “plateaus” (Dewey).What do we gain from lewis’s reinterpretation?There is a lot to recommend this new reading of Engel. I agree with Lewis that Engel did not provide us with all the tools we need for developing his biopsychosocial approach. I also think that Lewis is right when he asserts that, in particular, we have to place Engel’s ideas about the biopsychosocial model in the context of a richer philosophical perspective. In addition, Lewis has identified a number of interesting similarities between Engel’s work and pragmatism. Hence, there is a basis for reinterpreting him as a pragmatist—and, in my opinion, this brings in a philosophical perspective that does indeed... (shrink)

The mechanistic approach in the cognitive and biological sciences emphasizes that scientific explanations succeed by analyzing the mechanisms underlying phenomena across multiple levels. In this paper, we propose a formal strategy to establish such multi-level mechanistic models, which are foundational to mechanistic explanations. Our objectives are twofold: First, we introduce the novel "mLCA" (multi-Level Coincidence Analysis) script, which transforms binary data tables from tests on mechanistic systems into mechanistic models consistent with those tables. Second, we provide several philosophical insights derived (...) from the outcomes generated by this script and its underlying algorithm. Using illustrative examples, we defend the following claims: 1. Inference methods for generating mechanistic models generally require information on how causal factors are assigned to different levels within data tables generated by multi-level structures. 2. The mLCA script successfully produces appropriate mechanistic models from binary data tables, demonstrating the practical application of the philosophical mechanistic approach in the sciences. 3. The number of solutions generated by mLCA increases significantly as the number of relevant factors grows, reflecting adaptations in causal inference methods to meet the demands of multi-level mechanistic modeling. 4. Any further reduction of solutions, if possible, involves pragmatic considerations, a point that carries profound implications for the broader ambitions of the mechanistic approach. By addressing these points, our paper contributes both to the development of practical algorithmic tools and to a deeper philosophical understanding of multi-level mechanistic modeling. (shrink)

Major depression etiopathogenesis is related to a wide variety of genetics, demographic and psychosocial factors, as well as to environmental factors. The objective of this study is to analyze sociodemographic and environmental variables that are related to the prevalence of depression through correlation analysis and to develop a regression model that explains the behavior of this disease from an ecological perspective. This is an ecological, retrospective, cross-sectional study. The target population was 1,148,430 individuals over the age of 16 who were (...) registered in Aragon (Spain) during 2010, with electronic medical records in the community’s primary health care centers. The spatial unit was the Basic Health Area (BHA). The dependent variable was the diagnosis of Depression and the ecological independent variables were: Demographic variables (gender and age), population distribution, typology of the entity, population structure by sex and age, by nationality, by education, by work, by salary, by marital status, structure of the household by number of members, and state of the buildings. The results show moderate and positive correlations appear with higher rates of depression in areas having a higher femininity index, higher population density, areas with a higher unemployment rate and higher average salary. The results of the linear regression show that aging +75 and rural entities act as protective factors for depression, while urban areas and deficient buildings act as risk factors. In conclusion, the ecological methodology may be a useful tool which, together with the statistical epidemiological analysis, can help in the political decision making process. (shrink)

Numbers. Natural numbers -- Integers -- Real numbers -- Irrational and transcendental numbers -- Funny numbers. Zero -- e : the unnatural natural number -- [Phi] : the golden ratio -- i : the imaginary number -- Writing numbers. Roman numerals -- Egyptian fractions -- Continued fractions -- Logic. Mr. Spock is not logical -- Proofs, truth, and trees : oh my! -- Programming with logic -- Temporal reasoning -- Sets. Cantor's diagonalization : infinity isn't just infinity -- Axiomatic set (...) theory : keep the good, dump the bad -- Models : using sets as the LEGOs of the math world -- Transfinite numbers : counting and ordering infinite sets -- Group theory : finding symmetries with sets -- Mechanical math. Finite state machines : simplicity goes far -- The turing machine -- Pathology and the heart of computing -- Calculus : no, not that calculus- [lambda] calculus -- Numbers, booleans, and recursion -- Types, types, types : modeling [lambda] calculus -- The halting problem. (shrink)

Journal of Mathematical Logic, Ahead of Print. Asperó and Schindler have completely solved the Axiom [math] vs. [math] problem. They have proved that if [math] holds then Axiom [math] holds, with no additional assumptions. The key question now concerns the relationship between [math] and Axiom [math]. This is because the foundational issues raised by the problem of Axiom [math] vs. [math] arguably persist in the problem of Axiom [math] vs. [math]. (...) The first of our two main theorems is that Axiom [math] is equivalent to Axiom [math], and as a corollary we show that Axiom [math] fails in all the known models of [math]. This suggests that [math] actually refutes Axiom [math]. Our second main theorem is that the [math] Conjecture holds assuming [math]. This is the strongest partial result known on this conjecture which is one of the central open problems of [math]-theory and [math]-logic. These results identify a fundamental asymmetry between the Continuum Hypothesis and any axiom which is both [math]-expressible and which implies [math], on the basis of generic absoluteness for the simplest of the nontrivial sentences of Third-Order Number Theory. These are the [math]-sentences with no parameters. Such sentences are those which simply assert the existence of a set [math] for which some property involving only quantification over [math] holds. (shrink)

The objective of analysis is new opportunities in the study of self-awareness, which became possible through the use of an interdisciplinary approach. This approach allows to solve number of conceptual and methodological problems in psychology and psychiatry. The general development of psychiatry in the 20th and early 21st centuries was to improve diagnosis and therapy based on objectively measured indicators. There is a very superficial development of the phenomenology of self-awareness disorders as a result. The interdisciplinary point of view may (...) be the beginning of new theoretical studies of self-awareness in philosophy, as well as provoke pragmatic conclusions for psychological and psychiatric science. Authors claim that the delimitation of the methodological tools of various sciences in the study of self-awareness is unnecessary in principle. interdisciplinary view should be formed by philosophers. The phenomenology of Karl Jaspers and his concept of self-awareness in this sense are heuristically attractive. The authors propose a working model of self-awareness, based on the phenomenological approach of Jaspers, on the ideas of his followers, and also abandoning the disciplinary view of the subject. In this model self-awareness is described through its specific functions. That may be pragmatically useful for mental health professionals: psychiatrists, psychologists and psychotherapists and it may be interesting to philosophers using phenomenological analysis. (shrink)

Many accounts of scientific modeling conceive of models as fictions: scientists interact with models in ways analogous to various aesthetic objects. Fictionalists follow most other accounts of modeling by taking them to be revelatory of the actual world in virtue of bearing some resemblance relation to a target system. While such fictionalist accounts capture crucial aspects of modelling practice, they are ill-suited to some design and engineering contexts. Here, models sometimes serve to underwrite design projects whereby real-world targets are (...) constructed. In such circumstances, it is unclear what the model is supposed to resemble. Further, while fictionalists often require that models qua models have their content in virtue of construal or interpretation, in some engineering and design contexts success-conditions do not require such content—all that is required is that the model generates the required outputs. I take these points to motivate a view which accommodates fictionalism, but is broader. I articulate and defend an account of models as tools: specifically, material objects which are put to particular uses in particular contexts. (shrink)

Since Benacerraf’s ‘What Numbers Could Not Be, ’ there has been a growing interest in mathematical structuralism. An influential form of mathematical structuralism, modal structuralism, uses logical possibility and second order logic to provide paraphrases of mathematical statements which don’t quantify over mathematical objects. These modal structuralist paraphrases are a useful tool for nominalists and realists alike. But their use of second order logic and quantification into the logical possibility operator raises concerns. In this paper, I show that the work (...) of both these elements can be done by a single natural generalization of the logical possibility operator. (shrink)

In modern mathematics the value of applied research increases, for this reason, modern mathematics is initially focused on resolving the situation actually arose in this respect on a par with other disciplines. Using a new tool - computer systems, applied mathematics appealed to the new object: not to nature, not to society or the practical activity of man. In fact, the subject of modern applied mathematics is a problem situation for the actor-person, and the study is aimed at solving the (...) material and practical problems. Developing the laws of its internal logic, mathematical science today covers various practices and makes them its own requirements, subjugating and organizing in their own way a subject of study. This math activity is influenced by such external factors as the condition of the actor-person; capacity of computers together with service professionals; characteristics of the object, and the external circumstances act as constituting the essence of the case and not as minor issues. The modern applied mathematics is becoming more and more similar to the engineering sciences, and the importance of mathematical modeling problem is rising. In the studies the author bases on the broader context of modern science, including works of philosophy and methodology, as well as mathematicians and specialists in the field of natural sciences. (shrink)

The paper undertakes three interdisciplinary tasks. The first one consists in constructing a formal model of the basic arithmetic competence, that is, the competence sufficient for solving simple arithmetic story-tasks which do not require any mathematical mastery knowledge about laws, definitions and theorems. The second task is to present a generalized arithmetic theory, called the arithmetic of indexed numbers (INA). All models of the development of counting abilities presuppose the common assumption that our simple, folk arithmetic encoded linguistically in the (...) mind is based on the linear number representation. This classical conception is rejected and a competitive hypothesis is formulated according to which the basic mature representational system of cognitive arithmetic is a structure composed of many numerical axes which possess a common constituent, namely, the numeral zero. Arithmetic of indexed numbers is just a formal tool for modelling the basic mature arithmetic competence. The third task is to develop a standpoint called temporal pluralism, which is motivated by neo-Kantian philosophy of arithmetic. (shrink)

We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...) Lebesgue measurable, suggesting that Connes views a theory as being “virtual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnerable to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace −∫ (featured on the front cover of Connes’ magnum opus) and the Hahn–Banach theorem, in Connes’ own framework. We also note an inaccuracy in Machover’s critique of infinitesimal-based pedagogy. (shrink)

What accounts for the prestige of quantitative methods? The usual answer is that quantification is desirable in social investigation as a result of its successes in science. Trust in Numbers questions whether such success in the study of stars, molecules, or cells should be an attractive model for research on human societies, and examines why the natural sciences are highly quantitative in the first place. Theodore Porter argues that a better understanding of the attractions of quantification in business, government, and (...) social research brings a fresh perspective to its role in psychology, physics, and medicine. Quantitative rigor is not inherent in science but arises from political and social pressures, and objectivity derives its impetus from cultural contexts. In a new preface, the author sheds light on the current infatuation with quantitative methods, particularly at the intersection of science and bureaucracy. (shrink)

It is often claimed that one can avoid the kind of underdetermination that is a typical consequence of symmetries in physics by stipulating that symmetry-related models represent the same state of affairs (Leibniz Equivalence). But recent commentators (Dasgupta 2011; Pooley 2021; Pooley and Read 2021; Teitel 2021a) have responded that claims about the representational capacities of models are irrelevant to the issue of underdetermination, which concerns possible worlds themselves. In this paper I distinguish two versions of this objection: (1) that (...) a theory’s formalism does not (fully) determine the space of physical possibilities, and (2) that the relevant notion of possibility is not physical possibility. I offer a refutation of each. (shrink)

This paper sets out to show how mathematical modelling can serve as a way of ampliating knowledge. To this end, I discuss the mathematical modelling of time in theoretical physics. In particular I examine the construction of the formal treatment of time in classical physics, based on Barrow’s analogy between time and the real number line, and the modelling of time resulting from the Wheeler-DeWitt equation. I will show how mathematics shapes physical concepts, like time, acting as (...) a heuristic means—a discovery tool—, which enables us to construct hypotheses on certain problems that would be hard, and in some cases impossible, to understand otherwise. (shrink)

The object lesson concerns the passage from the foundational aims for which various branches of modern logic were originally developed to the discovery of areas and problems for which logical methods are effective tools. The main point stressed here is that this passage did not consist of successive refinements, a gradual evolution by adaptation as it were, but required radical changes of direction, to be compared to evolution by migration. These conflicts are illustrated by reference to set theory, model theory, (...) recursion theory, and proof theory. At the end there is a brief autobiographical note, including the touchy point to what extent the original aims of logical foundations are adequate for the broad question of the heroic tradition in the philosophy of mathematics concerned with the nature of the latter or, in modern jargon, with the architecture of mathematics and our intuitive resonances to it. (shrink)

From 1950 to 1952, statisticians W.G. Cochran, C.F. Mosteller, and J.W. Tukey reviewed A.C. Kinsey and colleagues’ methodology. Neither the history-and-philosophy of science literature nor contemporary theories of interdisciplinarity seem to offer a conceptual model that fits this forced interaction, which was characterized by significant power asymmetries and disagreements on multiple levels. The statisticians initially attempted to exclude all non-technical matters from their evaluation, but their political and personal investments interfered with this agenda. In the face of McCarthy’s witch hunts, (...) negotiations with Kinsey and his funding institutions became integral to the review group’s work. This paper analyzes the heavy burden of emotional and affective labor in this collaboration, the conflicts caused by competing visions of objectivity, and the uses of statistical knowledge to gain and sustain authority. Kinsey’s refusal to adopt the recommended probability sample damaged his already precarious position even further and marked him as a biased researcher who put his personal agenda above methodological rigor. Kinsey’s uncooperative demeanor can be explained by distrust resulting from numerous adverse reactions to his work and by fear of having his sexuality exposed. This case study illustrates that the very concept of valid numbers can become an arena for power struggles and that quantification alone does not guarantee productive exchanges across disciplines. It calls for a deeper conceptual analysis of the prerequisites for successful scientific collaborations. (shrink)

Machine learning (ML) refers to a class of computer-facilitated methods of statistical modelling. ML modelling techniques are now being widely adopted across the sciences. A number of outspoken representatives from the general public, computer science, various scientific fields, and philosophy of science alike seem to share in the belief that ML will radically disrupt scientific practice or the variety of epistemic outputs science is capable of producing. Such a belief is held, at least in part, because its adherents (...) take ML to exist on novel epistemic footing relative to classical mathematical or statistical modelling approaches utilised in science. Namely, they take modelling with ML to be a “theory-free” enterprise, in the sense of not resting essentially on input from human conceptual grasp on the target phenomenon and domain expertise. I take this view to arise from the further, and more deeply entrenched belief that data is worldly and objective; i.e., data is viewed as recapitulating or representing with perfect fidelity the structure or properties of the systems in nature it is sampled from. Yet most contemporary philosophers of science take on board, in one version or other, the thesis of theory-ladenness or theory-mediation of observation or measurement. From this, it follows that most philosophers of science (and, I will venture, many scientists) hold irreconcilable views on the nature of data, an internal tension which threatens the integrity of their appraisals of ML in science. Taking the thesis of theory-ladenness on board---and its implications for the nature of data seriously---it follows that there is no reason to believe that ML differs fundamentally in its epistemic footing from established mathematical modelling approaches in the sciences. I show that usage and interpretation can differ from “standard practice” in scientific projects which wield the tools of ML without accepting a difference in the epistemic or representational status of such tools. (shrink)

Making more accurate marketing decisions by managers requires building effective predictive models. Typically, these models specify the probability of customer belonging to a particular category, group or segment. The analytical CRM categories refer to customers interested in starting cooperation with the company, customers who purchase additional products or customers intending to resign from the cooperation. During building predictive models researchers use analytical tools from various disciplines with an emphasis on their best performance. This article attempts to build a hybrid predictive (...) model combining decision trees and cluster analysis. During experiments five different cluster validity indices and eight datasets were used. The performance of models was evaluated by using popular measures such as: accuracy, precision, recall, G-mean, F-measure and lift in the first and in the second decile. The authors tried to find a connection between the number of clusters and models' quality. (shrink)

My goal in this paper is, to tentatively sketch and try defend some observations regarding the ontological dignity of object references, as they may be used from within in a formalized language. -/- Hence I try to explore, what properties objects are presupposed to have, in order to enter the universe of discourse of an interpreted formalized language. -/- First I review Frege′s analysis of the logical structure of truth value definite sentences of scientific colloquial language, to draw suggestions from (...) his saturated vs. unsaturated sentence components paradigm. -/- Next try investigate, in how far reference to non pure math objects might allow for a role as argument of a truth value function. Object kinds to be considered are: common sense objects, technical objects, humanities object kinds (social, psychical, ...), objects of art, ... , be they abstract, concrete, or in this respect mixed objects. -/- Then have a comment on the just referenced label abstract objects. -/- Next try to get an idea wrt the ontological significance of the fact, that pure math objects and functions in some important classical cases can be uniquely defined by means of categorical theories. Here, in the course of my argument, I have a little corollary wrt the standard model of first order Peano arithmetic, reducing the epistemological significance of the existence of the non standard models. -/- Next, wrt a special concept of a formalized empirical theory, I care for whether the impure math objects and mixed objects described here, and complying best with truth value function mapping, are also reliable candidates for the ontological commitment of such theories: and discuss an alternative, which reduces the ontological significance of the universe of discourse of the theories intended models. -/- In the end I sum up what is - from my point of view - the status quo, according to my respective findings. (shrink)

Background There is no definition of what constitutes a lie when working with people with moderate to severe dementia. Lies are often defined as therapeutic with no evidence of how therapeutic value is gauged. There is no previous research that observes lies being told or the impact the lies have on people with dementia. Aim The aim was to develop a taxonomy of lies for use when supporting people with moderate to severe dementia and then use this to develop a (...) model, which could be used to explore the impact of lie telling. Research design Ethnography was used, with the researcher observing and recording lies told to people with moderate to severe dementia, by professional caregivers. Data analysis was based on Burnard’s thematic analysis. Ethical consideration Ethical approval for the study was obtained from Northumbria University, the Research Ethics Committee (REC) and the Health Research Authority (HRA) in the United Kingdom. Study number 227508. Findings Six categories of lie were identified; blatant, avoidance, familiarity, props, banter and going along with. Spontaneous and planned lies were observed. Motivation, validation and genuineness were key in terms of how the person with dementia responded. These affective domains were used to develop the Lie ARM (affective reflective model). Discussion Planned and spontaneous lies are an effective intervention for people with moderate to severe dementia. Healthcare professionals need to be aware of their motivation for using lies, as well as the impact they have on patients. Conclusion The taxonomy is an objective way to categorise lies. It supports increased reflection, particularly if used in conjunction with the Lie ARM. The Lie ARM is a useful tool to help staff reflect on practice or to predict whether a proposed lie is likely to be therapeutic. (shrink)

The relation between theoretical models and metaphors has been studied since at least the 1950s. The relation between metaphors and mathematical modelling is less well researched. This article takes the media coverage of the foot and mouth modelling exercise in 2001 as an occasion to examine the metaphors of mathematical modelling that were proposed by the UK press during that time to make sense of this new scientific policy tool. One can detect a gradual change in metaphor (...) use by the newspapers from conceptualizing modellers as detectives and models as mapping tools to modellers as soldiers and heroes, to modellers as liars and models as tools to distort the truth. This seems to indicate a shift in reporting from seeing models as a legitimate and "objective" basis used by decision makers to pursue science-based policies towards seeing models as tools used to legitimize increasingly difficult political decisions. (shrink)

Economics is dominated by model building, therefore a comprehension of how such models work is vital to understanding the discipline. This book provides a critical analysis of the economist's favourite tool, and as such will be an enlightening read for some, and an intriguing one for others.

Background: Ethical competence in nursing practice helps clinical nurses to think critically, analyse issues, make ethical decisions, solve ethical problems and behave ethically in their daily work. Thus, ethical competence contributes to the promotion of high-quality care. However, studies on ethical competence in Malawi are scanty. Objectives: The aim of this study was to explore ethical competence among clinical nurses in selected hospitals in Malawi. Methodology: A cross-sectional survey was conducted in four selected hospitals in Malawi with a sample of (...) 271 clinical nurses. Data were collected using self-administered questionnaires, which included a Moral Competence Scale for Home Care Nurses. Descriptive statistics and logistic regression were computed for the dataset using STATA version 12.0. Ethical consideration: The study protocol complied with all ethical requirements and was approved by the College of Medicine Research Ethics Committee under the University of Malawi. Results: The clinical nurses in Malawi are ethically competent. However, there is a significantly high number (p 0.05). Three determinants of high ethical competence level (strong will, judgement skills and recognition of discrepancy of intention) were identified through a reduced model after stepwise logistic regression analysis. Furthermore, results show that indicators of ethical competence include caring, confidentiality and observance of nurses dressing code. The study has also confirmed that the Moral Competence Scale for Home Care Nurses is a reliable tool to assess ethical competence in low-resource settings. Conclusion: The majority of nurses who completed the survey had low ethical competence. However, clinical nurses with high ethical competence level are required to competently manage complex ethical challenges in health facilities. Strategies for enhancing ethical competence such as continuing ethics education, establishment of ethics committees and provision of supportive supervision are recommended to enable nurses in Malawi attain a high level of ethical competence. (shrink)

This eighth book of the author on gambling math presents in accessible terms the cold mathematics behind the sparkling slot machines, either physical or virtual. It contains all the mathematical facts grounding the configuration, functionality, outcome, and profits of the slot games. Therefore, it is not a so-called how-to-win book, but a complete, rigorous mathematical guide for the slot player and also for game producers, being unique in this respect. As it is primarily addressed to the slot player, its (...) goal is to present practical applications of the mathematical models of slot games, in order to provide numerical results that a player can use as criteria for gaming decisions or just as information for any slot game and any predicted winning event. These results are focused on probability and expected value, these being the most important parameters for decisional criteria in slots. The book is packed with plenty of figures, tables, and formulas. The content is organized so that readers can skip the theoretical parts and go picking the practical results (numerical, in tables of values where possible, or ready-to-compute formulas) for the desired situation. The practical results are gathered in the last chapter, titled "Practical Applications and Numerical Results," the largest part of the book, for the most popular categories of slot machines, namely with 3, 5, 9, and 16 reels. Any other category of slot games is covered in the theoretical part of the book, where the general formulas apply not only to existing slot games, but also to possible future slot games of any design and configuration. The author does not just throw the slot mathematics to the audience and run away, but offers an ultimate practical contribution with the chapter "How to estimate the number of stops and the symbol distribution on a reel", a surprise for both players and producers, where one can see that mathematics provides players with some statistical methods as well as methods based on physical measurements for retrieving these missing data. Having these data along with the mathematical results of this book, anyone can generate the PAR sheet of any slot machine. In the last decade, mathematics has been taken more and more seriously into account in gaming, as being the essence that governs the games of chance and the only rigorous tool providing information on optimal play, where possible. For the popular game of slots, mathematics already fulfilled its duty by providing all the data that it can provide and that cannot be found on the display of the slot machines - it is all here in this book. (shrink)

We discuss conceptual change and progress within mathematics, in particular how tools, structural concepts and representations are transferred between fields that appear to be unconnected or remote from each other. The theoretical background is provided by the frame concept, which is used in linguistics, cognitive science and artificial intelligence to model how explicitly given information is combined with expectations deriving from background knowledge. In mathematical proofs, we distinguish two kinds of frames, namely structural frames and ontological frames. The interaction between (...) both kinds of frames can drive mathematical interpretation. We first discuss two examples where structural frames (formulaic notation) drive ontological development (the discovery or exploration of mathematical objects). The development of Boole’s Boolean algebra may at first appear as a metaphorical treatment of the (then) new area of logic. In the analysis, we discuss how different (aspects of) certain algebraic frames change in the transfer, how arising difficulties are solved and overall argue that Boole uses the numerical algebra frame as a research template for the discovery of a system for calculations in logic. Following Ifrah, we analyse the discovery of zero as an extension to the number ontology as driven by the development of notation. Both structural and ontological frames are extended and simplified as notation progresses. Finally, we discuss two examples from infinite combinatorics, viz. topological graph theory, and one foundational issue. In both examples, the two simultaneous frames about one object are maintained independently. They motivate different research questions, but may also fruitfully interact: shifting between multiple synchronously maintained perspectives acts as a motor of innovation. The analysis shows how a frame-based approach allows to model how different perspectives drive mathematical innovation because they highlight different aspects, questions and heuristics. (shrink)

More than a hundred years ago, the American philosopher C. S. Peirce suggested the idea of pragmatism as a logical criterion to analyze what words and concepts express through their practical meaning. Many words have been spent on creative processes and reasoning, especially in the case of scientific practices. In fact, philosophers have usually offered a number of ways of construing hypotheses generation, but all aim at demonstrating that the activity of generating hypotheses is paradoxical, illusory or obscure, and thus (...) not analyzable. The “computational turn” gave us a new way to understand creative processes in a strictly pragmatic sense. Artificial Intelligence and Cognitive Science tools allow us to test concepts and ideas previously conceived in abstract terms. It is in the perspective of these actual models that we find the central role of abduction in the explanation of creative reasoning in science. What I call theoretical abduction certainly illustrates much of what is important in abductive reasoning, especially the objective of selecting and creating a set of hypotheses that are able to dispense good explanations of data, but fails to account for many cases of explanation occurring in science or in everyday reasoning when the exploitation of the environment is crucial. The concept of manipulative abduction is devoted to capture the role of action in many interesting situations: action provides otherwise unavailable information that enables the agent to solve problems by starting and performing a suitable abductive process of generation or selection of hypotheses. Many external things, usually inert from the epistemological point of view, can be transformed into what I call epistemic mediators, which are illustrated in the last part of the paper. (shrink)

The article evaluates the Domain Postulate of the Classical Model of Science and the related Aristotelian prohibition rule on kind-crossing as interpretative tools in the history of the development of mathematics into a general science of quantities. Special reference is made to Proclus’ commentary to Euclid’s first book of Elements , to the sixteenth century translations of Euclid’s work into Latin and to the works of Stevin, Wallis, Viète and Descartes. The prohibition rule on kind-crossing formulated by Aristotle in Posterior (...) analytics is used to distinguish between conceptions that share the same name but are substantively different: for example the search for a broader genus including all mathematical objects; the search for a common character of different species of mathematical objects; and the effort to treat magnitudes as numbers. (shrink)

Why is it that we respond emotionally to plays, movies, and novels and feel moved by characters and situations that we know do not exist? This question, which constitutes the kernel of the debate on »the paradox of fiction«, speaks to the perennial themes of philosophy, and remains of interest to this day. But does this question entail a paradox? A significant group of analytic philosophers have indeed thought so. Since the publication of Colin Radford's celebrated paper »How Can We (...) Be Moved by the Fate of Anna Karenina?« (1975), the number of proposals to solve, explain, reformulate, dismiss or even revitalize this apparent paradox has continued to proliferate. In line with recent developments in the philosophy of emotion, in this paper I will argue against the sustainability of the paradox, claiming that the only reasonable way to continue our discussions about it consists in using it as a heuristic tool to shed light on problems regarding our involvement with fiction. Against this background, I will then focus on one of the problems related to how our emotional responses to fiction contribute to our appreciation of it. The paper is divided into three main sections. The first section shows the parallel evolution of the paradox of fiction and the analytic philosophy of emotion. Here I claim that, although the paradox is epistemically flawed, since one of its premises is rooted in a limited view on the emotions typical of early cognitiv-ism, the discussions it provokes are still epistemically useful. As Robert Stecker (2011, 295), among others, has pointed out, the paradox was formulated during the heyday of cognitive theories of the emotions in which emotion necessarily requires belief. Today, however, only few authors would endorse this premise. If emotion does not always require belief (as the majority of authors in the contemporary debate admit), let alone belief about the existence of the object towards which it is directed, then there is no reason to speak of a paradox. From this first conclusion, however, it does not follow that the paradox is completely without use from the epistemic point of view. A glimpse at the topics touched on during the discussions about how to solve, reformulate, or negate the paradox reveals their value in shedding light on the interrelation between emotion and fiction. The second section elaborates a phenomenologically inspired cognitive account of the emotions by focusing on their cognitive bases, their influence on Emotion in the Appreciation of Fiction 205 cognitions, and their cognitive function. In this model, emotions are responsible for indicating values, for showing what matters to us, and for being appropriate to their objects. My claim is that this view applies not only to reality, but also to our involvement with fiction. In the final section I draw on this account to focus on one kind of appreciation of fiction which necessarily requires our emotional involvement. Following an idea put forward by Susan Feagin (1996, 1), I employ the concept of »appre-ciation« to refer to a set of abilities exercised with the aim of extracting value from the work. There is a long tradition in aesthetics that condemns any focus on the emotions in the appreciation of art and fiction, and defends the necessity of aesthetic appreciation without emotional influence. To refer to this negative attitude towards the emotions, I will borrow an expression coined by Susan Feagin (2013, 636), who refers to »the intellectualized view of appreciation«. Against this widespread view, I will argue that some aspects of the fiction can only be appreciated with the help of our emotions. The cognitive approach developed in the previous section can explain how the emotions might in fact play a significant role in the appreciation of art and fiction. Attention will be paid to three activities involved in appreciation, for all of which emotion is crucial: processing relevant information about the fictional world, understanding aspects of it, and becoming acquainted with the values it presents. My aim here is to argue that there are particular aspects of the fictional world that can only be appreciated if recipients have the appropriate emotions. (shrink)

Invention is an important source of technology, and, to understand invention, one needs a model system or prototype. A candidate model system is the hand tool. Using the hand tool as an example, the authors present a systematic approach to invention, dealing with description, classification, and joining or integrating simpler forms. Heuristics for when to integrate are presented. Finally, the authors introduce a new way of thinking about hand tools: simple spatial transformations applied to an abstract element make possible the (...) re-creation of a large number of tools. (shrink)

The book titled The Collaborative Economy in Action: European Perspectives is one of the important outcomes of the COST Action CA16121, From Sharing to Caring: Examining the Socio-Technical Aspects of the Collaborative Economy that was active between March 2017 and September 2021. The Action was funded by the European Cooperation in Science and Technology - COST. The main objective of the COST Action Sharing and Caring is the development of a European network of researchers and practitioners interested in investigating the (...) collaborative economy models, platforms, and their socio-technological implications. The network involves scholars, practitioners, communities, and policymakers. The COST Action Sharing and Caring helped to connect research initiatives across Europe and enabled scientists to develop their ideas by collaborating with peers. This collaboration opportunity represented a boost for the participants’ research, careers, and innovation potential. The main aim of this book is to provide a comprehensive overview of the collaborative economy in European countries with a variety of its aspects for a deeper understanding of the phenomenon as a whole. For this reason, in July 2017, an open call for country reports was distributed among the members of the COST Action Sharing and Caring. Representatives of the member countries were invited to produce short country reports covering: definition of the CE; types and models of the CE; key stakeholders involved; as well as legislation and technological tools relevant for the CE. Submitted reports varied in length and regarding the level of detail included, in accordance with how much information was available in each respective country at the time of writing. Editors of the book have compiled these early reports into a summary report, which was intended as a first step in mapping the state of the CE in Europe. The Member Countries Report on the Collaborative Economy, edited by Gaia Mosconi, Agnieszka Lukasiewicz, and Gabriela Avram that was published on the Sharing and Caring website, represented its first synergetic outcome and provided an overview of the CE phenomenon as interpreted and manifested in each of the countries part of the network. Additionally, Sergio Nassare-Aznar, Kosjenka Dumančić, and Giulia Priora compiled a Preliminary Legal Analysis of Country Reports on Cases of Collaborative Economy. In 2018, after undertaking an analysis of the previous reports’ strengths and weaknesses, the book editors issued a call for an updated version of these country reports. Prof. Ann Light advised the editorial team, proposing a new format for country reports and 4000 words limit. The template included: Introduction, Definition, Key Questions, Examples, Illustration, Context, Developments, Issues, Other Major Players, and Relevant Literature. The new template was approved by the Management Committee in October 2018. The task force that had supported the production of the first series of country reports acted as mentors for the team of authors in each country. The final reports arrived at the end of 2018, bringing the total number of submissions to 30. A call for book editors was issued, and a new editorial team was formed by volunteers from the participants of the COST Action: Andrzej Klimczuk, Vida Česnuityte, Cristina Miguel, Santa Mijalche, Gabriela Avram, Bori Simonovits, Bálint Balázs, Kostas Stefanidis, and Rafael Laurenti. The editorial team organized the double-blind reviews of reports and communicated to the authors the requirements for improving their texts. After reviews, the authors submitted updated versions of their country reports providing up-to-date interdisciplinary analysis on the state of the CE in 2019, when the reports were collected. During the final phase, the chapters were again reviewed by the lead editors together with all editorial team members. At the time, the intention was to update these reports again just before the end of the COST Action Sharing and Caring in 2021 and to produce a third edition. However, the COVID-19 pandemic changed these plans. Thus, this final volume was created by 82 scholars-editors and contributors-and consists of reports on 27 countries participating in the COST Action. M4 - Citavi. (shrink)

Automated software engineering has attracted a large amount of research efforts. The use of object-oriented methods for software systems development has made it necessary to develop approaches that automate the construction of different Unified Modeling Language models in a semiautomated approach from textual user requirements. UML use case models represent an essential artifact that provides a perspective of the system under analysis or development. The development of such use case models is very crucial in an object-oriented development method. The main (...) principles used in obtaining these models are described. A natural language processing tool is used to parse different statements of the user requirements written in Arabic to obtain lists of nouns, noun phrases, verbs, verb phrases, etc., that aid in finding potential actors and use cases. A set of steps that represent our approach for constructing a use case model are presented. Finally, the proposed approach is validated using an experiment involving a group of graduate students who are familiar with use case modeling. (shrink)

An object-based activity—science and culture story box—was designed, developed, and used to explore young people’s views about cultural knowledge and scientific knowledge. In informal education spaces, culture is often presented via representations of easily observable features of ethnicity such as music or dress. The development and application of knowledge in culturally diverse communities can be difficult to visualize and is rarely presented. Instead, Western science often dominates as the authoritative, valid, systematic, and useful way of thinking. Conversations about science and (...) culture can create a platform for meaningful dialogue and valuing of a variety of cultures and different funds of knowledge. Using an informal science education lens, we interrogated young people’s views about different knowledge systems. Six cohorts of Western Australian young people participated in the study. The activity involved groups of three to four young people assigning seventeen photographs of objects and or processes onto a Venn diagram of scientific knowledge, cultural knowledge, or both. Photographs were taken of the forty-four resulting Venn diagrams showing association of items with knowledge domain. This was quantified to show the number of times an item was associated with scientific knowledge, cultural knowledge, or both. Group discussions were audio recorded and transcribed. Thematic analysis of discussions and associations of items to knowledge domain revealed intriguing themes and perspectives. Young people in this study associated technology with electronic devices and scientific knowledge but not with cultural knowledge. Young people expressed views that culture was old and basic and science was new and progressive. Other impressions expressed were that cultures do not “do” science and that skin color determines culture. No clear or consistent conception emerged of Australian culture. These young people’s perspectives are discussed within the context of meaningful intercultural understanding in multicultural societies. This activity was developed as a research tool for use with young people in a multicultural society to examine views of different funds of knowledge. We propose further development and directed use of the story box in informal education spaces as a process to stimulate conversations that might enhance intercultural understanding and appreciation of multiple ways of knowing. (shrink)

Models are indispensable tools of scientific inquiry, and one of their main uses is to improve our understanding of the phenomena they represent. How do models accomplish this? And what does this tell us about the nature of understanding? While much recent work has aimed at answering these questions, philosophers' focus has been squarely on models in empirical science. I aim to show that pure mathematics also deserves a seat at the table. I begin by presenting two cases: Cramér’s random (...) model of the prime numbers and the function field model of the integers. These cases show that mathematicians, like empirical scientists, rely on unrealistic models to gain understanding of complex phenomena. They also have important implications for some much-discussed theses about scientific understanding. First, modeling practices in mathematics confirm that one can gain understanding without obtaining an explanation. Second, these cases undermine the popular thesis that unrealistic models confer understanding by imparting counterfactual knowledge. (shrink)

Linear structural equation models (SEMs) are widely used in sociology, econometrics, biology, and other sciences. A SEM (without free parameters) has two parts: a probability distribution (in the Normal case specified by a set of linear structural equations and a covariance matrix among the “error” or “disturbance” terms), and an associated path diagram corresponding to the functional composition of variables specified by the structural equations and the correlations among the error terms. It is often thought that the path diagram is (...) nothing more than a heuristic device for illustrating the assumptions of the model. However, in this paper, we will show how path diagrams can be used to solve a number of important problems in structural equation modelling. (shrink)

The adaptive object model method is an effective way to develop dynamic and configurable adaptive software. It has the characteristics of metamodel, description drive, and runtime reflection. First, the core idea of the adaptive object model is explained; then, the five modes of establishing the metamodel in the adaptive object model architecture, the model engine, and supporting tools are analyzed; and the basketball tracking algorithm of the adaptive object model is discussed. Secondly, a two-dimensional joint information strategy is proposed to (...) improve the tracking effect. When the basketball is in a very complex environment, there will always be some color information in the background that is the same as the target, which affects the effect of basketball tracking. Therefore, this paper proposes a Camshift tracking method based on the significance of histograms, through real time. The basketball movement is compared with the background histogram to continuously adjust the basketball movement tracking model. These two methods can better establish the tracking model of the basketball adaptive object, reduce the interference of background information, and achieve the effect of stable tracking of the target. The simulation experiment results show that the method proposed in this paper can effectively improve the accuracy of the basketball goal model and achieve stable tracking of the goal. (shrink)