Categories for the Working Philosopher

2018 ◽  
Keyword(s):  
Mathematical Modeling ◽  
Computer Science ◽  
Category Theory ◽  
Proof Theory ◽  
Scientific Theories ◽  
General Audience ◽  
Seminal Work ◽  
The World

Borrowing from the title of Saunders Mac Lane’s seminal work Categories for the Working Mathematician, this book aims to bring the concepts of category theory to philosophers working in areas ranging from mathematics to proof theory to computer science to ontology, from physics to biology to cognition, from mathematical modeling to the structure of scientific theories to the structure of the world. Moreover, it aims to do this in a way that is accessible to a general audience. Each chapter is written by either a category-theorist or a philosopher working in one of the represented areas, and in a way that is accessible and is intended to build on the concepts already familiar to those philosophers working in these areas.

A Beginner’s Guide to the New Population Genomics of Homo sapiens

2019 ◽  
Vol 26 ◽  
pp. 135-151
Author(s):  
Rasmus Grønfeldt Winther ◽  
Keyword(s):  
Mathematical Modeling ◽  
Personalized Medicine ◽  
Computer Science ◽  
Population Genomics ◽  
Homo Sapiens ◽  
Human Populations ◽  
Contemporary Science ◽  
The World ◽  
Potential Impact ◽  
Philosophical Debates

It is important to understand the science underlying philosophical debates. In particular, careful reflection is needed on the scientific study of the origins of Homo sapiens, the division of current human populations into ethnicities, populations, or races, and the potential impact of genomics on personalized medicine. Genomic approaches to the origins and divisions of our species are among the most multi-dimensional areas of contemporary science, combining mathematical modeling, computer science, medicine, bioethics, and philosophy of biology. The best evidence suggests that we are a young species, with a cradle in Africa. While prejudice, misunderstanding, and violence grow in many corners of the world, our best genomic science suggests a deep biological connection among all peoples.

Medical Diagnosis from a Clinician’s Point of View

1978 ◽  
Vol 17 (01) ◽  
pp. 28-35
Author(s):  
F. T. De Dombal
Keyword(s):  
Decision Making ◽  
Data Analysis ◽  
Computer Science ◽  
Medical Diagnosis ◽  
Information Science ◽  
Point Of View ◽  
Joint Research ◽  
The World

This paper discusses medical diagnosis from the clinicians point of view. The aim of the paper is to identify areas where computer science and information science may be of help to the practising clinician. Collection of data, analysis, and decision-making are discussed in turn. Finally, some specific recommendations are made for further joint research on the basis of experience around the world to date.

International School in Informatics “Junior” for IOI Training

2018 ◽  
Vol 12 ◽  
pp. 187-193
Author(s):  
Marina S. TSVETKOVA ◽  
Vladimir M. KIRYUKHIN
Keyword(s):  
Science Education ◽  
Secondary School ◽  
Computer Science ◽  
International School ◽  
International Training ◽  
Internet Resources ◽  
Thirtieth Anniversary ◽  
The World ◽  
Training Event ◽  
School Computer

In 2018 the IOI will celebrate its thirtieth anniversary. Over these three decades, not only the world secondary school Olympiads in informatics community have been formed, which covers more than 80 countries from all continents, but a formation of an united methodological space of the school Informatics started also. This space allows many countries today to develop school computer science education, using the experience of other countries, materials from the IOI conference journal, sites of computer science contests, and other Internet resources. This article describes a model for organizing an international training event for juniors – International School in Informatics “Junior” – ISIJ.

Some Fixpoint Techniques in Algebraic Structures and Applications to Computer Science

1987 ◽  
Vol 10 (4) ◽  
pp. 387-413
Author(s):  
Irène Guessarian
Keyword(s):  
Logic Programming ◽  
Computer Science ◽  
Proof Theory ◽  
Algebraic Structures ◽  
Data Bases

This paper recalls some fixpoint theorems in ordered algebraic structures and surveys some ways in which these theorems are applied in computer science. We describe via examples three main types of applications: in semantics and proof theory, in logic programming and in deductive data bases.

Mathematical modeling of fluid movement inside the eyeball during intravitreal injection

2021 ◽  
pp. 106-109
Author(s):  
D.V. Lipatov ◽  
◽  
S.A. Skladchikov ◽  
N.P. Savenkova ◽  
V.V. Novoderezkin ◽  
...  
Keyword(s):  
Mathematical Modeling ◽  
Mathematical Model ◽  
Residence Time ◽  
Complex Structure ◽  
Posterior Vitreous Detachment ◽  
Vitreous Body ◽  
Complete Removal ◽  
Intravitreal Injections ◽  
The World

Background. The avalanche-like growth of intravitreal injections in the world has significantly increased interest in the hemodynamics of the processes that occur in the eye when a drug is injected into the vitreous cavity. Every year, the number of intravitreally used drugs and promising areas in which they can be used is growing. This also applies to the creation of new combined medicines and the development of drugs with a long-term therapeutic effect. Aims. Create mathematical model of eyeball to evaluate the movement of the drug substance in it; to estimate the time of the drug's presence in the eye cavity before its complete removal, to characterize the ways of its removal from the eye cavity; to assess the significance of posterior vitreous detachment during the time when the drug is present in the eye cavity; to evaluate the effect on the hydrodynamics of the depth of drug administration. Results. When the drug is administered closer to the center of the eyeball, its residence time increases in comparison with the parietal administration. With a complete posterior detachment of the vitreous body, the time of finding the drug in the eye is prolonged compared to its absence. The obtained results of mathematical modeling of the movement of the drug administered intravitreally cannot be mechanically transferred to the human eye, due to the more complex structure of the latter. Key words: intravitreal injections, vitreous body, mathematic computing.

Instrumentalism

2015 ◽  
Author(s):  
P. Kyle Stanford
Keyword(s):  
Newtonian Mechanics ◽  
Scientific Theories ◽  
Restricted Class ◽  
Scientific Realist ◽  
Scientific Domain ◽  
The World

This chapter seeks to explore and develop the proposal that even our best scientific theories are not (as the scientific realist would have it) accurate descriptions of how things stand in otherwise inaccessible domains of nature but are instead simply powerful conceptual tools or instruments for engaging practically with the world around us. It describes a number of persistent challenges facing any attempt to apply the American Pragmatists’ global conception of all ideas, beliefs, theories, and cognitions quite generally as such tools or instruments to only a restricted class or category of such entities (such as our best scientific theories) instead. It then seeks to overcome these challenges by regarding scientific instrumentalism as simply applying the scientific realist’s own attitude toward a theory like Newtonian mechanics to even the most empirically successful and instrumentally powerful theory we have in any given scientific domain.

scholarly journals Automatic Data Processes

2021 ◽  
Vol 09 (10) ◽  
Author(s):  
Sheyla Yadira Esquivel ◽  
Keyword(s):  
Data Processing ◽  
Computer Science ◽  
Automatic Data Processing ◽  
Special Science ◽  
Operating Speed ◽  
Automatic Data ◽  
Human Control ◽  
Data Process ◽  
The World ◽  
Physical Elements

Well, the data process is created by the need to process the data more quickly and efficiently since the manual process that was carried out no longer met the expectations of people and companies, for this reason the data process arises automatic. In an automatic data process, the computer has different physical elements that allow it to carry out these same processes. That is, practically the speed of operation of the system is limited by human control. The entry by electromechanical type machines, as well as the exit, have a higher operating speed than the conventional one (until then this was achieved by tachy-typing). We can define data processing as the technique of converting data into information by any means, whether manual or automatic. Manual data processing is the technique of converting data into information using tools such as pencil, pens, typewriters, etc. The automatic data process within its objectives is the technique of converting data into information using appropriate methods, procedures and equipment for this purpose; such as interviews, surveys, computer. Automatic data processing came to renew the world, creating a special science for its study, such as computer science.

scholarly journals Człowiek w teorii — teoria w człowieku. Przykład biografii naukowej Czesława Robotyckiego (przyczynek do problemu upodmiotawiania dyskursów naukowych)

2017 ◽  
Vol 61 (3) ◽  
pp. 197-208
Author(s):  
Marcin Kafar
Keyword(s):  
Close Connection ◽  
Individual Experience ◽  
Human Being ◽  
Scientific Theories ◽  
Contemporary Theory ◽  
Meeting Point ◽  
Cognitive Context ◽  
The World ◽  
Complicated Conditions

This article considers the dichotomy between theory and life, treating it as a reflection of the process of subjectivization of discourse of the anthropological variety. In accord with the accepted premise, scientific theories do not emerge on their own but as result of complicated conditions at the meeting point of subjective-individual experience and the language of theory, leading to a close connection between the maker of given theory and the theory itself. In such a cognitive context, legitimacy is achieved by analytical-interpretative tasks, which consist in seeking meanings and discovering the sense of manifold signs of the presence of the human being in theory (thus someone real, who situates himself openly or covertly in the constructed descriptions of the world) and the theory in the human being, that is, the conceptual or otherwise indicated manifestations of self-understanding. An instructive exemplification of such analytical and interpretative work is the scientific autobiography of an outstanding Polish anthropologist, Czesław Robotycki, a scholar developing the contemporary theory of culture while taking into account cultural paradoxes and the attitude of anthropological distancing which were personally important to him.

Sign in / Sign up

Export Citation Format

Share Document