This chapter examines global policing as it takes shape through the work of Interpol, the International Criminal Police Organization. Global policing emerges in the legal, political and technological amalgam through which transnational police cooperation is carried out, and includes the police practices inflected and made possible by this phenomenon. Interpol’s role is predominantly in the circulation of information, through which it enters into relationships and provides services that affect aspects of governance, from the local to national, regional and (...) global. The chapter describes this assemblage as a noteworthy experiment in developing what McKeon called a frame for common action. Drawing on Interpol publications, news stories, interviews with staff, and fieldwork at the General Secretariat in Lyon, France, the history, institutional structure, and daily practices are described. Three cases are analyzed, concerning Red Notices, national sovereignty, and terrorism, in order to explore some of the problems arising in Interpol’s political and technical operating arrangements. In conclusion, international and global policing are compared schematically, together with Interpol’s attempts to give institutional and procedural direction to the still-evolving form of global policing. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

Decision theory requires agents to assign probabilities to states of the world and utilities to the possible outcomes of different actions. When agents commit to having the probabilities and/or utilities in a decision problem defined by objective features of the world, they may find themselves unable to decide which actions maximize expected utility. Decision theory has long recognized that work-around strategies are available in special cases; this is where dominance reasoning, minimax, and maximin play a role. Here we describe a (...) different work around, wherein a rational decision about one decision problem can be reached by ‘interpolating’ information from another problem that the agent believes has already been rationally solved. (shrink)

In a recent paper we have defined an analytic tableau calculus PL_16 for a functionally complete extension of Shramko and Wansing's logic based on the trilattice SIXTEEN_3. This calculus makes it possible to define syntactic entailment relations that capture central semantic relations of the logic---such as the relations |=_t, |=_f, and |=_i that each correspond to a lattice order in SIXTEEN_3; and |=, the intersection of |=_t and |=_f,. -/- It turns out that our method of characterising these semantic relations---as (...) intersections of auxiliary relations that can be captured with the help of a single calculus---lends itself well to proving interpolation. All entailment relations just mentioned have the interpolation property, not only when they are defined with respect to a functionally complete language, but also in a range of cases where less expressive languages are considered. For example, we will show that |=, when restricted to L_{tf}, the language originally considered by Shramko and Wansing, enjoys interpolation. This answers a question that was recently posed by M. Takano. (shrink)

This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.

Weakly Aggregative Modal Logic (WAML) is a collection of disguised polyadic modal logics with n-ary modalities whose arguments are all the same. WAML has some interesting applications on epistemic logic and logic of games, so we study some basic model theoretical aspects of WAML in this paper. Specifically, we give a van Benthem-Rosen characterization theorem of WAML based on an intuitive notion of bisimulation and show that each basic WAML system Kn lacks Craig Interpolation.

Spinoza's insistence that a deductive metaphysics built from a single Principle or 'Deus sive Natura' and from there proceeding to deduce in descending order all of the 'common properties' or 'Infinite Modalities', is far superior to the inductive method which begins with observation and measurement of particulars and then proceeds to the general. In fact Spinoza recognized in a universe of an infinite number of particulars no metaphysical assertions could be conjectured with any certainty from any investigation of the 'modes' (...) or what is commonly referred to as the world of the 'sensible'.. This is because 'causality' is not a function of any particular object within the finite modes. In other words, any 'thing' which is not the cause of itself cannot render any measurable 'certainty' or 'truth value'. In this Pamphlet we examine Substantia sive Deus sive Natura by moving inclusively from Proposition to Proposition with explanations and interpolated commentary which provide the linkages which make clear the Essence and Nature of true Divinity. -/- Spinoza's insight affords us a completely new and 'contemporary' understanding of what it means to truly grasp 'God'. Charles M Saunders. (shrink)

Although numerous commentators have attempted to decipher Spinoza's intended meaning within the "Ethics Part 1- Concerning God",it does not appear as if anyone has effectively identified 'Concerning God' as the controlling idea which holds the key to the absolutely unique contribution which Baruch has bequeathed to human knowledge within the unity of thought achieved in the "Ethics". Part 1 is the linchpin for Baruch's entire philosophy. As we approach the 340th anniversary of his passing in February of 1677, and with (...) the passage of time and the shedding of some antiquated superstitious beliefs about god we have gained the distance required to build a new perspective. Many of us feel very strongly that something compelling about the nature of God remains after the anthropomorphic aspects have been dispelled. Thanks to Spinoza's insight into the true nature of the divinity,a next step in human evolution can occur. We will embark on the road to internalizing the divinity. Yes, god is real, ever present and vital in our lives. The goal of this Pamphlet will be to open up the inner workings of Part 1 in the hope that this will incept a new discussion among those interested in Baruch's masterwork. Please join us and find your voice to assist in the unraveling. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...) semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

Model-data symbiosis is the view that there is an interdependent and mutually beneficial relationship between data and models, whereby models are not only data-laden, but data are also model-laden or model filtered. In this paper I elaborate and defend the second, more controversial, component of the symbiosis view. In particular, I construct a preliminary taxonomy of the different ways in which theoretical and simulation models are used in the production of data sets. These include data conversion, data correction, data interpolation, (...) data scaling, data fusion, data assimilation, and synthetic data. Each is defined and briefly illustrated with an example from the geosciences. I argue that model-filtered data are typically more accurate and reliable than the so-called raw data, and hence beneficially serve the epistemic aims of science. By illuminating the methods by which raw data are turned into scientifically useful data sets, this taxonomy provides a foundation for developing a more adequate philosophy of data. (shrink)

►JOHN CORCORAN AND IDRIS SAMAWI HAMID, Two-method errors: having it both ways. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: [email protected] Philosophy, Colorado State University, Fort Collins, CO 80523-1781 USA E-mail: [email protected] Where two methods produce similar results, mixing the two sometimes creates errors we call two-method errors, TMEs: in style, syntax, semantics, pragmatics, implicature, logic, or action. This lecture analyzes examples found in technical and in non-technical contexts. One can say “Abe knows whether Ben draws” in two other (...) ways: ‘Abe knows whether or not Ben draws’ or ‘Abe knows whether Ben draws or not’. But a stylistic TME occurs in ‘Abe knows whether or not Ben draws or not’. One can say “Abe knows how Ben looks” using ‘Abe knows what Ben looks like’. But syntactical TMEs are in ‘Abe knows what Ben looks’ and in ‘Abe knows how Ben looks like’. One can deny that Abe knows Ben by prefixing ‘It isn’t that’ or by interpolating ‘doesn’t’. But a pragmatic TME occurs in trying to deny that Abe knows Ben by using ‘It isn’t that Abe doesn’t know Ben’. There are several standard ways of defining truth using sequences. Quine’s discussions in the 1970 first printing of Philosophy of logic [3] and in previous lectures were vitiated by mixing two [1, p. 98]. The logical TME in [3], which eluded Quine’s colleagues, was corrected in the 1978 sixth printing [2]. But Quine never explicitly acknowledged, described, or even mentioned the error. This lecture presents and analyses two-method errors in the logic literature. [1] JOHN CORCORAN, Review of Quine’s 1970 Philosophy of Logic. In Philosophy of Science, vol. 39 (1972), pp. 97–99. [2] JOHN CORCORAN, Review of sixth printing of Quine’s 1970 Philosophy of Logic. In Mathematical Reviews MR0469684 (1979): 57 #9465. [3] WILLARD VAN ORMAN QUINE, Philosophy of logic, Harvard, 1970/1986. (shrink)

We summarize a new realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes but leaves the theory's basic dynamical content essentially intact. Much as classical systems have specific states that evolve along definite trajectories through configuration spaces, the traditional formulation of quantum theory permits assuming that closed quantum systems have specific states that evolve unitarily along definite trajectories through Hilbert spaces, and our interpretation extends this intuitive (...) picture of states and Hilbert-space trajectories to the more realistic case of open quantum systems despite the generic development of entanglement. Our interpretation—which we claim is ultimately compatible with Lorentz invariance—reformulates wave-function collapse in terms of an underlying interpolating dynamics, makes it possible to derive the Born rule from deeper principles, and resolves several open questions regarding ontological stability and dynamics. (shrink)

Potential of sustainable regional development is studied through demographic, economic, social, socio-cultural and ecological indicators in order to determine the strategy development areas of regional SMART specialisation on the example of Cherkasy oblast (the central region of Ukraine).Cherkasy oblast was selected for the study because it is one of the pilot regions for the implementation of the SMART specialisation strategies. The following methods were used in the course of the study: the system-structure analysis, comparative-geographic method, mapping (GIS – MapInfo Professional, (...) Surfer Golden Software, and program for gravity modelling of the potential field calculation), interpolation, correlation and description-statistical method.The results of the study are intended for national and regional policy-makers, representatives of self-governance, researchers dealing with regional development problems, NGOs, representatives of small and medium business, public activists and others.The proposed results of the study of the sustainable regional development potential in view of SMART specialisation on the example of Cherkassy oblast may be used in the countries of the Eastern Partnership (Belarus, Georgia, Moldova, Azerbaijan, Armenia). (shrink)

We introduce a realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes but leaves the theory’s basic dynamical content essentially intact. Much as classical systems have specific states that evolve along definite trajectories through configuration spaces, the traditional formulation of quantum theory permits assuming that closed quantum systems have specific states that evolve unitarily along definite trajectories through Hilbert spaces, and our interpretation extends this intuitive picture (...) of states and Hilbert-space trajectories to the more realistic case of open quantum systems despite the generic development of entanglement. We provide independent justification for the partial-trace operation for density matrices, reformulate wave-function collapse in terms of an underlying interpolating dynamics, derive the Born rule from deeper principles, resolve several open questions regarding ontological stability and dynamics, address a number of familiar no-go theorems, and argue that our interpretation is ultimately compatible with Lorentz invariance. Along the way, we also investigate a number of unexplored features of quantum theory, including an interesting geometrical structure—which we call subsystem space—that we believe merits further study. We conclude with a summary, a list of criteria for future work on quantum foundations, and further research directions. We include an appendix that briefly reviews the traditional Copenhagen interpretation and the measurement problem of quantum theory, as well as the instrumentalist approach and a collection of foundational theorems not otherwise discussed in the main text. (shrink)

Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ. It is shown that there is a rich structure of infinite-valued Gödel logics, only one of which is compact. It is also shown that the compact infinite-valued Gödel logic is the only one which interpolates, and the only one with an r.e. entailment relation.

This is a brief review of the Rasa theory of Indian aesthetics and the works I have done on the same. A major source of the Indian system of classification of emotional states comes from the ‘Natyasastra’, the ancient Indian treatise on the performing arts, which dates back to the 2nd Century AD (or much earlier, pg. LXXXVI: Natyasastra, Ghosh, 1951). The ‘Natyasastra’ speaks about ‘sentiments’ or ‘Rasas’ (pg.102: Natyasastra, Ghosh, 1951) which are produced when certain ‘dominant states’ (sthayi Bhava), (...) ‘transitory states’ (vyabhicari Bhava) and ‘temperamental states’ (sattvika Bhava) of emotions come together (pgs.102, 105: Natyasastra, Ghosh, 1951). This Rasa theory, which is still widely followed in classical Indian performing arts, classifies eight Rasas or sentiments which are: Sringara (erotic), Hasya (comic), Karuna (pathetic), Raudra (furious), Vira (heroic), Bhayanaka (terrible), Bibhatsa (odious) and Adbhuta (marvellous). There was a later addition of the ninth sentiment or Rasa called Santa (peace) in later Sanskrit poetics (pg.102: Natyasastra, Ghosh, 1951). According to ancient Indian aesthetics (especially in the context of Bharatas’ ‘Natyasastra’, Anandavardhana’s ‘Dhvanyaloka’ and Abhinavagupta’s ‘Abhinavabharati’), ‘Rasa’ is the relishable state of elemental human emotions called ‘Bhavas’. Bharata’s ‘Natyasastra’ originally spoke of eight Rasas. The concept of the 9th Rasa was a later interpolation by the Kashmiri Shaivist Abhinavagupta (10th Century AD) and also his predecessor Anandavardhana (9th Century AD). Abhinavagupta extends the eight Rasas by adding the concept of the Santa Rasa which he regards as the essence of all Rasas. It is this 9th Rasa which according to Abhinavagupta lets the Rasika attain the aesthetic detachment and savour the essences of all other Rasas and therefore the true aesthetic delight. The introduction of 9th Rasa integrates the concepts of Bharata’s Rasasutra and Patanjali’s Yoga theory – the detachment necessary to introspect inwards into the inherent state of freedom and bliss (aesthetic consciousness). (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Why Gaia?Massimo Pigliucci (bio)The Gaia Hypothesis: Science on a Pagan Planet, Michael Ruse, Chicago: University of Chicago Press, 2013. 272 pages.“The Gaia Hypothesis: Science on a Pagan Planet tells a story that comes out of the 1960s, a story that reflects all of the beliefs and enthusiasms and tensions of that decade.” So begins Michael Ruse’s fascinating, if at times puzzling, exploration of James Lovelock’s famous idea that our (...) planet is, in a serious scientific sense, a living organism with a tendency of taking care of (her)self. But why tell this particular story, especially considering that Gaia hardly makes an appearance in today’s scientific or philosophical publications, and doesn’t even seem quite that popular with the lay public as it used to be? Because, as Ruse tells us near the end of the book, at the onset of chapter seven: “the paradox that set us on our path [is] why the scientific community reacted so negatively to the Gaia hypothesis, whereas the public reaction was so positive.”As it turns out, there is a good answer to that conundrum, one that Ruse himself lays out clearly in the last chapter of the book, and which makes the reader wonder why this should count a paradox at all. But we will get there in due time. First, the basics: the so-called Gaia hypothesis is the brainchild of iconoclastic inventor-turned-independent-scientist James Lovelock, who later got significant help in elaborating (and promoting) his ideas from another iconoclast, biologist Lynn Margulis. By the time you get to the end of Ruse’s engaging book, however, you won’t have gained a particularly good understanding of what the hypothesis actually consists. But that’s not Ruse’s fault, it is Lovelock’s (and Margulis’). At times it sounds like the entirely uncontroversial claim that the Earth’s [End Page 117] biosphere is a somewhat homeostatic system—i.e., a biophysical system that is resistant to major changes, at the least within a certain range (the planet’s atmosphere, after all, did change dramatically early on, increasing its oxygen content as a result of the evolution of photosynthetic organisms—the anaerobic life forms that had up to that point been dominant did not appreciate the novelty). At other times the claim is downright preposterous: the Earth literally is a living organism (according to Lovelock) (Chapter 7),1 a finding that allegedly puts in question the whole Darwinian view of biological evolution (according to Margulis) (Chapter 7), a position that can only be characterized as nonsense on stilts. At yet other moments, Gaia is presented as just a metaphor to help us wrap our minds around the complexities (and homeostatic properties) of the world’s ecosystems (Chapter 8). It is this never-ending oscillation between the trivial and the bizarre that has led the majority of scientists to write off Gaia, to the chagrin of Lovelock, Margulis, and a large number of New Age tree huggers from the 1960s.Indeed, the scientific reaction to Gaia was swift and ranging from the condescending to the unforgiving. Evolutionary biologist John Maynard Smith—never one to mince words—called it “an evil religion” (Chapter 2). Another evolutionary biologist, Stephen Jay Gould (whose own disagreements with Maynard Smith became legendary) said that “Gaia strikes me as a metaphor, not a mechanism” (Chapter 2). Ecologist Robert May, who eventually became president of the Royal Society, called Lovelock “a holy fool” (Chapter 2). The highly respected theoretical biologist W.D. Hamilton said that in order for the hypothesis to work, it would require “treaties between Neptune and Zeus, a Gaian Interpol, conventions about bills of lading for chemical transport by air and water, and so on” (Chapter 7). Finally, Richard Dawkins accused Lovelock of committing the fallacy of “the BBC theorem,” assuming (or wishfully thinking) that the world is a harmonious place, just like in naive BBC nature documentaries (Chapter 2).You get the gist: pretty much from the beginning, and with very few exceptions, the scientific establishment rejected Gaia on the grounds that it is not a scientific hypothesis at all, and that its main tenets actually go against pretty... (shrink)

In this paper we consider the theory of predicate logics in which the principle of Bivalence or the principle of Non-Contradiction or both fail. Such logics are partial or paraconsistent or both. We consider sequent calculi for these logics and prove Model Existence. For L4, the most general logic under consideration, we also prove a version of the Craig-Lyndon Interpolation Theorem. The paper shows that many techniques used for classical predicate logic generalise to partial and paraconsistent logics once the right (...) set-up is chosen. Our logic L4 has a semantics that also underlies Belnap’s [4] and is related to the logic of bilattices. L4 is in focus most of the time, but it is also shown how results obtained for L4 can be transferred to several variants. (shrink)

It should now be recognized that codes are central to life and to understanding its more complex forms, including human culture. Recognizing the ‘conventional’ nature of codes provides solid grounds for rejecting efforts to reduce life to biochemistry and justifies according a place to semantics in life. The question I want to consider is whether this is enough. Focussing on Eigen’s paradox of how a complex code could originate, I will argue that along with Barbieri’s efforts to account for the (...) origins of life based on the ribosome and then to account for the refined codes through a process of ambiguity reduction, something more is required. Barbieri has not provided an adequate account of emergence, or the basis for providing such an account. I will argue that Stanley Salthe has clarified to some extent the nature of emergence by conceptualizing it as the interpolation of new enabling constraints. Clearly, codes can be seen as enabling constraints. How this actually happens, though, is still not explained. Stuart Kauffman has grappled with this issue and shown that it radically challenges the assumptions of mainstream science going back to Newton. He has attempted to reintroduce real possibilities or potentialities into his ontology, and argued that radically new developments in nature are associated with realizing adjacent possibles. This is still not adequate. What is also involved, I will suggest, utilizing concepts developed by the French natural philosopher Gilbert Simondon, is ‘transduction’ as part of ‘ontogenesis’ of individuals in a process of ‘individuation’, that is, the emergence of ‘individuals’ from preindividual fields or milieux. (shrink)

This paper introduces the Analects of Kongzi (better known to English-speakers as 'Confucius') to non-specialist readers, and discusses two major lines of interpretation. According to one group of interpretations, the key to understanding the Analects is passage 4.15, in which a disciple says that 'loyalty' and 'reciprocity' together make up the 'one thread' of the Master's teachings. More recently, some interpreters have emphasised passage 13.3, which discusses 'correcting names': bringing words and things into proper alignment. This paper argues that both (...) approaches are mistaken, based on interpolated and unrepresentative passages. The paper closes with a brief suggestion that the Analects reveals a thinker who emphasises cultivating virtues that allow for the appreciation of complex individual contexts, rather than one who seeks systematic generalisations. An afterword to the paper suggests that we should avoid both 'methodological dualism' (which posits a radical incommensurability between Western and Eastern philosophies) and 'the perennial philosophy' (which ignores differences in favour of similarities). (shrink)

The article emphasizes the relevance of revising the content of professional activities and the range of powers of specialists of IT departments in business organizations and, accordingly, the conceptual foundations of their professional training. The need for forming future IT specialists with unique skills and abilities to carry out strategic and tactical activities and develop the relevant competencies, which allows them to be active participants in the construction and implementation of the organization’s business strategies, has been clarified. The purpose of (...) the article is to review and analyse the features of strategic and tactical activities in the functioning of IT specialists in a business organization, as well as the study of methodological foundations of the formation of tactical and strategic competence in future IT specialists, which will allow them to implement various measures of strategic planning and project work successfully. During the study of the problem of training future IT specialists for strategic and tactical activities in business organizations, methods of retrospective analysis, generalization and interpolation of theoretical aspects of the problem were applied; methods of conceptualizing advanced pedagogical experience in the formation of professional important competencies of future IT specialists were used. It has been found that tactical and strategic competence determines the ability of an IT specialist to project short-term and long-term goals, develop methods and tactics for their achievement, and in this way effectively organize professional activity and achieve success in it. It has been substantiated that the development of tactical and strategic competence can be realized in terms of a specially organized training process for future IT specialists contributing to their mastering the experience of developing and approbation IT strategies and tactics. Methodological approaches (competent-oriented, creative-developmental, multidisciplinary, practice-oriented, problem-based ones) have been revealed, for them the methods of training future IT specialists for strategic and tactical activities in business organization should be based. It has been noted that the methods of formation of future IT specialists’ readiness for strategic and tactical activities involve a number of stages, namely: 1) actualization of professional needs, interests, motives, and formation of students’ business values; 2) determination of the goal and selection the tools of influence aimed at the shaping of students’ scientific and theoretical knowledge and personal experience in the implementation of professional skills; 3) arming students with an arsenal of strategies that allow for a holistic analysis of the situation, actions, and motives and, as a result, permits to reduce the operational costs of the organization and the turned IT service into a driver of business; 4) modelling of possible strategy implementation tactics in various production situations; 5) analysis of acquired experience, control and correction of formation of future IT specialists’ professionally important competencies. The features of the application of methods of activation and stimulation of motivation and responsibility in educational and professional activities, organizational methods, the method of immersion in the situation, the method of pattern and case study in the process of formation of tactical and strategic competence in future IT specialists have been defined and described. A conclusion was made regarding the requirement for step-by-step application of methods and technologies in order to prepare future IT specialists for strategic and tactical activities during their professional training process. (shrink)

Abstract: Herders and farmers conflicts in Nigeria have enjoyed a lot of construal and different connotations. The confrontations mostly started as farmers and herder’s conflict, then the attacks of suspected Fulani herders, then rustlers and bandits and a lot of others. The mode of attacks and nature of the clashes varies in different times and different places. The conflicts have further opened ways to menace such as the spread of Fulani bandit, the rise of cattle rustlers and other criminalities such (...) as the activities of societal miscreants, and conflict entrepreneurs. All the attacks and confrontations often have negative bearings on people lives, properties, businesses, houses, food and agricultural produces. This study attempted to examine herders and farmers conflicts in Barkin Ladi Local Government Area of Plateau State and how it has affected societal progression. The study generated data from array of both published and unpublished materials such as text books, journal papers, newspapers, magazines, white paper of reports of panel of investigation and commission of inquiry, internet materials, seminar and conference papers and a lot of others. The main instrument used to generate data was interview. In interpreting our data, the relationship between herders and farmers conflicts and development was established at both theoretical and empirical level. Empirically, we used a qualitative and historical method that was critical and analytical in providing descriptive and historical details. This was further complemented by descriptive analysis. It was established that the activities of groups such as the Bigol, bandit and some youth of the Berom who often indulged in cattle rustling is at the heart to the incessant attacks that are witnessing in the Local Government Area . The acts have enjoyed a lot of interpolation and have been eroded and broaden by different vices in the society. It was also found out that the attacks have negative impact on lives and properties, farm products, livestock, food production, business and a lot of others. Conclusion was drawn that the herders and farmers confrontation in Barkin Ladi is a migraine to socio-economic development. Recommendations such as control of borders, good governance, improve policing, religious tolerance and a lot of others were proffered. (shrink)

Knowledge demands more than accuracy: epistemologists are broadly agreed that those who know are non-accidentally right, satisfying some kind of safety condition. However, it is hard to formulate any adequate account of safety, and harder still to explain exactly why we care about it. This paper approaches the problem by looking at a concrete human cognitive capacity, face recognition, to see where epistemic safety shows up in it. Drawing on new models in artificial intelligence, and making a case that human (...) face recognition is relevantly similar, I argue that safety is a natural feature of successful generalization. The concluding section of the paper applies this lesson to the problem of our intuitive recognition of knowledge. (shrink)

I propose a novel model of the human ego (which I define as the tendency to measure one’s value based on extrinsic success rather than intrinsic aptitude or ability). I further propose the conjecture that ego so defined both is a non-adaptive by-product of evolutionary pressures, and has some evolutionary value as an adaptation (protecting self-interest). I explore ramifications of this model, including how it mediates individuals’ reactions to perceived and actual limits of their power, their ability to cope with (...) risk and uncertainty, and how this model may interpolate between rational choice models and cognitive psychology. I develop numerous examples and applications, including poverty traps, to demonstrate the model’s predictive power to elucidate a broad range of social phenomena. -/- [December 2018: Updated version to submit for publication. Expanded Sections 4 and 5.1, revised Section 5.7] -/- . (shrink)

An ongoing mystery in sensory science is how sensation magnitude F(I), such as loudness, increases with increasing stimulus intensity I. No credible, direct experimental measures exist. Nonetheless, F(I) can be inferred algebraically. Differences in sensation have empirical (but non-quantifiable) minimum sizes called just-noticeable sensation differences, ∆F, which correspond to empirically-measurable just-noticeable intensity differences, ∆I. The ∆Is presumably cumulate from an empirical stimulus-detection threshold I_th up to the intensity of interest, I. Likewise, corresponding ∆Fs cumulate from the sensation at the stimulus-detection (...) threshold, F(I_th ), up to F(I). Regarding the ∆Is, however, it is unlikely that all of them will be known experimentally; the procedures are too lengthy. The customary approach, then, is to find ∆I at a few widely-spaced intensities, and then use those ∆Is to interpolate all ∆Is using some smooth continuous function. The most popular of those functions is Weber’s Law, ∆I⁄I=K. But that is often not even a credible approximation to the data. However, there are other equations for ∆I⁄I. Any such equation for ∆I⁄I can be combined with any equation for ∆F, through calculus, to altogether obtain F(I). Here, two assumptions for ∆F are considered: ∆F=B (Fechner’s Law) and (∆F⁄F)=g (Ekman’s Law). The respective integrals involve lower bounds I_th and F(I_th ). This stands in broad contrast to the literature, which heavily favors non-bounded integrals. We, hence, obtain 24 new, alternative equations for sensation magnitude F(I) (12 equations for (∆I⁄I) × 2 equations for ∆F). (shrink)

This is a brief discussion I started in the "Questions" section of ResearchGate's website. It's largely based on posts by Valentyn Nastasenko (the Physicist) and myself (the Philosopher), with just a few minor additions to make my position clearer. Topics include "Intergalactic and time travel via division by zero" as well as "Computer Science Brings Changes to Medicine and Physics That Give Everyone in History Eternal Life NOW".