This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to branch out in several areas of mathematics related to foundations and computability, such as logic, axiomatic set theory, model theory, recursion theory, and computability. In (...) this new edition, many small and large changes have been made throughout the text. The main purpose of this new edition is to provide a healthy first introduction to model theory, which is a very important branch of logic. Topics in the new chapter include ultraproduct of models, elimination of quantifiers, types, applications of types to model theory, and applications to algebra, number theory and geometry. Some proofs, such as the proof of the very important completeness theorem, have been completely rewritten in a more clear and concise manner. The new edition also introduces new topics, such as the notion of elementary class of structures, elementary diagrams, partial elementary maps, homogeneous structures, definability, and many more. (shrink)

The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields of mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere for an exchange of information and ideas. This combined proceedings volume represents works presented or arising from the 14th and 15th ALCs.

Perceptions "present" objects as red, as round, etc.-- in general as possessing some property. This is the "perceptual content" of the title, And the article attempts to answer the following question: what is a materialistically adequate basis for assigning content to what are, after all, neurophysiological states of biological organisms? The thesis is that a state is a perception that presents its object as "F" if the "biological function" of the state is to detect the presence of objects that are (...) "F". The theory contrasts with causal/informational theories, and with internalist theories, for example those which assign content on the basis of introspected feel. Its advantages are that it permits perceptual error while at the same time allowing content to be expressed in terms of external properties. The argument of the paper is illustrated throughout by examples from biology and computational psychology. (shrink)

What is color? What is color vision? Most philosophers answer by reference to humans: to human color qualia, or to the environmental properties or "quality spaces" perceived by humans. It is argued, with reference to empirical findings concerning comparative color vision and the evolution of color vision, that all such attempts are mistaken. An adequate definition of color vision must eschew reference to its outputs in the human cognition and refer only to inputs: color vision consists in the use of (...) wavelength discrimination in the construction of visual representations. A color quality is one that is generated from such processing. (shrink)

This article presents an analogical account of the meaning of function attributions in biology. To say that something has a function analogizes it with an artifact, but since the analogy rests on a necessary (but possibly insufficient) basis, function statements can still be assessed as true or false in an objective sense.

We have argued elsewhere that: (A) Natural selection is not a cause of evolution. (B) A resolution-of-forces (or vector addition) model does not provide us with a proper understanding of how natural selection combines with other evolutionary influences. These propositions have come in for criticism recently, and here we clarify and defend them. We do so within the broad framework of our own “hierarchical realization model” of how evolutionary influences combine.

Seeing, Doing, and Knowing is an original and comprehensive philosophical treatment of sense perception as it is currently investigated by cognitive neuroscientists. Its central theme is the task-oriented specialization of sensory systems across the biological domain. Sensory systems are automatic sorting machines; they engage in a process of classification. Human vision sorts and orders external objects in terms of a specialized, proprietary scheme of categories - colours, shapes, speeds and directions of movement, etc. This 'Sensory Classification Thesis' implies that sensation (...) is not a naturally caused image from which an organism must infer the state of the world beyond; it is more like an internal communication, a signal concerning the state of the world issued by a sensory system, in accordance with internal conventions, for the use of an organism's other systems. This is why sensory states are both easily understood and persuasive.Sensory classification schemes are purpose-built to serve the knowledge-gathering and pragmatic needs of particular types of organisms. They are specialized: a bee or a bird does not see exactly what a human does. The Sensory Classification Thesis helps clarify this specialization in perceptual content and supports a new form of realism about the deliverances of sensation: 'Pluralistic Realism' is based on the idea that sensory systems coevolve with an organism's other systems; they are not simply moulded to the external world. The last part of the book deals with reference in vision. Cognitive scientists now believe that vision guides the limbs by means of a subsystem that links up with the objects of physical manipulation in ways that bypass sensory categories. In a novel extension of this theory, Matthen argues that 'motion-guiding vision' is integrated with sensory classification in conscious vision. This accounts for the quasi-demonstrative form of visual states: 'This particular object is red', and so on. He uses this idea to cast new light on the nature of perceptual objects, pictorial representation, and the visual representation of space. (shrink)

Because culture plays a role in determining the aesthetic merit of a work of art, intrinsically similar works can have different aesthetic merit when assessed in different cultures. This paper argues that a form of aesthetic hedonism is best placed to account for this relativity of aesthetic value. This form of hedonism is based on a functional account of aesthetic pleasure, according to which it motivates and enables mental engagement with artworks, and an account of pleasure-learning, in which it reinforces (...) the appreciation of culture specific ways of engaging with art. (shrink)

Perception has been for philosophers in the last few decades an area of compelling interest and intense investigation. Developments in contemporary cognitive science and neuroscience has thrown up new information about the brain and new conceptions of how sensory information is processed and used. These new conceptions offer philosophers opportunities for reconceptualising the senses--what they tell us, how we use them, and the nature of the knowledge they give us. Today, the philosophy of perception resonates with ideas that had not (...) even been articulated in the 1970s and 1980s. This Handbook is a survey by leading philosophical thinkers of contemporary issues and new thinking in philosophy of perception. It includes sections on the history of the subject, introductions to contemporary issues in the epistemology, ontology and aesthetics of perception, treatments of the individual sense modalities and of the things we perceive by means of them, and a consideration of how perceptual information is integrated and consolidated. New analytic tools and applications to other areas of philosophy are discussed in depth. Each of the entries is written by a leading expert, some collaborating with younger figures; each seeks to introduce the reader to a broad range of issues. All contain new ideas on the topics covered; together they demonstrate the vigour and innovative zeal of a young field. (shrink)

Regional food is grounded in local practices and heritage. With industrialization and post-green revolution threat to food produced within specific region and the associated knowledge has become imminent. Scholars have analyzed the revival of regional foods in different parts of the world. However, there have been limited studies focusing on the revival of regional food from the perspective of food as commons. The paper fills this gap by analyzing the efforts of Morarka-GDC Foundation along with farmers collective in Nawalgarh, India. (...) Employing the framework of commons, we examine how the foundation along with the collective is reviving Shekhawati region’s foods. We used primary and secondary sources to capture the social activities undertaken to sustain the commons. It was found that adopting organic agricultural practices helped in reviving the regional foods by creating and using stock of local resources. Further, social dilemma associated with culinary commons was avoided by creating networks between producers and consumers through _Shekhawati_ festival and Morarka Organics. These practices have resulted in rebuilding the local food system, local tourism, and intergenerational transmission strengthening the local gastronomic identity. However, linking regional food with gastronomic tourism can threaten the local gastronomic culture and survival of authentic regional food. We also find that for a sustained management of the regional foods, scaling-up plays an essential role which has further limitations. (shrink)

How do fitness and natural selection relate to other evolutionary factors like architectural constraint, mode of reproduction, and drift? In one way of thinking, drawn from Newtonian dynamics, fitness is one force driving evolutionary change and added to other factors. In another, drawn from statistical thermodynamics, it is a statistical trend that manifests itself in natural selection histories. It is argued that the first model is incoherent, the second appropriate; a hierarchical realization model is proposed as a basis for a (...) statistical treatment. It emerges that natural selection does not cause evolution; it just is evolution. The theory incorporates relations of statistical correlation, but not the kind of causation found in fundamental physical processes. (shrink)

The authors attempt to show that certain forms of behavior of the human immune system are illuminatingly regarded as errors in that system's operation. Since error-ascription can occur only within the context of an intentional/teleological characterization of the system, it follows that such a characterization is illuminating. It is argued that error-ascription is objective, non-anthropomorphic, irreducible to any purely causal form of explanation of the same behavior, and further that it is wrong to regard all errors of the immune system (...) as due to malfunction or maladaptation. <br>. (shrink)

This paper presents a new account of aesthetic pleasure, according to which it is a distinct psychological structure marked by a characteristic self-reinforcing motivation. Pleasure figures in the appreciation of an object in two ways: In the short run, when we are in contact with particular artefacts on particular occasions, aesthetic pleasure motivates engagement and keeps it running smoothly—it may do this despite the fact that the object we engagement is aversive in some ways. Over longer periods, it plays a (...) critical role in shaping how we engage with objects to get this kind of pleasure from them. This account is yoked to a broadly functional understanding of art: it is not the nature of the object that makes it art, but the nature of the response that it is designed to elicit. The view does not, however, rest on individual psychology alone, as some other functional accounts do. Crucially, it is argued that shared cultural context is a key determinant of the pleasure we derive from aesthetic artefacts. The pleasure of art is always communal and communicative. (shrink)

Management research has attracted a plethora of research intending to optimize performance within and outside firms. We have seen plenty of progress in various dimensions; however, we also notice domains where the struggle still exists. This work tries to develop a theory of a hypothetical firm that goes beyond the current theories and takes inspiration from the texts of the Bhagavad Gita. We look at the theory of a hypothetical firm through the lens of the Bhagavad Gita. Precisely, this work (...) theorizes about the three aspects of a firm: leadership, governance and motivation. Governance provides a structure to business management; leaderships play a pivotal role in converting inputs to desired outputs; and motivation acts as a catalyst in any process that builds and runs the firm. Moreover, this work integrates the understanding of certain shlokas of the Bhagavad Gita for theorizing. (shrink)

Throughout this research, imposing the training of an Artificial Neural Network (ANN) to play tic-tac-toe bored game, by training the ANN to play the tic-tac-toe logic using the set of mathematical combination of the sequences that could be played by the system and using both the Gradient Descent Algorithm explicitly and the Elimination theory rules implicitly. And so on the system should be able to produce imunate amalgamations to solve every state within the game course to make better of results (...) of winnings or getting draw. (shrink)

The study examines the benefits of imaginative teaching practices in enhancing educational quality by focusing on innovative pedagogical approaches. It aims to evaluate the influence of these performances on key variables, including Student Engagement (SE), Academic Performance (AP), Educational Satisfaction (ES), Creativity Development (CD), and Critical Thinking Skills (CTS). Using SPSS software, various statistical methods, such as x2 tests, ANOVA (Analysis of Variance), T-tests, and descriptive statistics, were employed to analyze data collected from educators. The findings reveal significant improvements across (...) all measured variables, indicating that imaginative teaching practices effectively enhance student engagement, academic performance, critical thinking skills, creativity, and overall satisfaction with the educational experience. These results suggest that incorporating creative methods in teaching can create a more dynamic, engaging, and effective learning environment, ultimately leading to improved educational outcomes. (shrink)

The target article, which is part of a larger study, the International Sexuality Description Project (ISDP), seeks to explore cross-culturally aspects of human mating behavior on a global scale. However the nonrepresentation of large cultures restricts the depth of this study. The inferences drawn from such a sample must therefore remain limited despite the impressive sample sizes. In a larger context it raises thoughts on how partial disclosures may misrepresent the design of the larger study.

PurposeThis paper presumes that a public policy document must aim at protecting human rights. The question being raised is- what kind of moral reasoning or grounding can we afford to the idea that human rights are important for the whole framework of public policy. The paper aims at looking at the moral and political philosophy of Immanuel Kant as we find it in his Groundwork of the Metaphysics of Morals and the Metaphysics of Morals for providing this background.MethodThe paper provides (...) an exegetical account of some of the key concepts in Kant’s moral philosophy and the application of these in socio-political contexts.Result and DiscussionThe processes involved in the framing of the document, the document itself, as well as the persons framing the document must aspire to respect and protect human rights. The implication itself rests on the principle that a moral end cannot be achieved by immoral means and protecting human rights is a moral end that all societies must seek to achieve. Hence not only the end, which in this case is the policy document itself, but the means, i.e., the processes of framing the documents and intentions of those responsible and accountable for it, must also be moral. (shrink)

On alienation in 20th century Indic poetry in English.

The Ethics of Governance: Moral Limits of Policy Decisions offers a toolbox drawn from normative ethics which finds applications in public governance, primarily focusing on policy making and executive action. It includes ethical concepts and principles culled from different philosophical traditions, ranging from more familiar Western theories to non-Western ethical perspectives, thereby providing a truly global, decolonized and expanded normative lens on issues of governance. The book takes a unique and original approach; it demonstrates the use of the ethical toolbox (...) in the context of actual examples of governance challenges. Taking three major case studies each representing an aspect of human-human and/or human-nature and/or human-animal relationship, the book attempts to show the significance of public practical reasoning in policy decisions with the aim of arriving at reasonable responses. Acknowledging the challenges that policy makers often face, the book highlights the fact that policy making is hardly an exercise yielding a black-or-white solution; rather it involves finding the most reasonable normative outcome in a given situation, especially employing an expanded understanding of values including well-being, sustainability, interdependence and community. This effort that helps bridge the gap between ethical theorists and policy practitioners exemplifies the necessary role of ‘engaged philosophy’ in public governance. In the major case studies, Boxes offer facts and figures along with pertinent ethical questions that have been raised and discussed. Aiming to aid the engagement of a diverse audience including non-philosophy readers, each chapter also includes Boxes containing examples, shorter case studies, at-a-glance charts, and tables with comprehensive ethical tools for a quick recap. (shrink)

Argues for a category of “cognitive feelings”, which are representationally significant, but are not part of the content of the states they accompany. The feeling of pastness in episodic memory, of familiarity (missing in Capgras syndrome), and of motivation (that accompanies desire) are examples. The feeling of presence that accompanies normal visual states is due to such a cognitive feeling; the “two visual systems” are partially responsible for this feeling.

This paper proposes to argue that ecological justice that is rooted in an ecocentric approach to nature is the key to achieving integral human development which goes beyond ‘development that is only worth our while’. Ecological justice is achievable if there is a clear understanding of relations at two distinct levels - one, the relation among humans and another between the entire human community and other elements of the ecosystem. These relations are the basis of the alliances that we form (...) to address issues of integral human development. The focus of the paper is the second kind of alliance that is based on an understanding of the relation between the human and the non-human realm. However, an ‘alliance’ is normally formed between partners with equal standing. Is there a sense in which both humans and the non-human world can be considered to be ‘equal partners in an alliance? The paper considers how one might establish this by examining diverse philosophical viewpoints that have addressed the issue of the treatment of non-human animals for anthropocentric ends. It discusses whether equality between parties is necessary for the formation of an alliance drawing extensively from ethical theories and examples from the world. From rights approach, recipients of justice, to care ethics, several theories offer guidance to support what would constitute a ‘humane’ approach to non-human animals. While these approaches crucially pin the broad perspective, they have not explicitly considered the role of an alliance between humans and non-human animals in achieving a basic level of wellbeing for the latter. Taking cues from the different kinds of ‘ruling over’ from Stuart Gray’s understanding of the relation between humans and non-human nature, the paper seeks to establish that an alliance between humans and the non-human realm is possible even without committing to their equal status and this could form the basis of ecological justice and well-being. (shrink)

This paper offers a new definition of "adaptationism". An evolutionary account is adaptationist, it is suggested, if it allows for multiple independent origins for the same function -- i.e., if it violates the "Unique Origin Constraint". While this account captures much of the position Gould and Lewontin intended to stigmatize, it leaves it open that adaptationist accounts may sometimes be appropriate. However, there are many important cases, including that of human rationality, in which it is not.

Two questions are addressed in this paper. First, what is it to see? I argue that it is veridical experience of things outside the perceiver brought about by looking. Second, what is it to see a material object? I argue that it is experience of an occupant of a spatial region that is a logical subject for other visual features, able to move to another spatial region, to change intrinsically, and to interact with other material objects. I show how this (...) theory is different from the idea that object-seeing is merely the visual segregation of a region of the visual field. Finally, I argue that we do not object-see objects reflected in mirrors, surfaces of back-lit objects, and depictions of objects. (shrink)

We present a computational model of multiple-object tracking that makes trial-level predictions about the allocation of visual attention and the effect of this allocation on observers' ability to track multiple objects simultaneously. This model follows the intuition that increased attention to a location increases the spatial resolution of its internal representation. Using a combination of empirical and computational experiments, we demonstrate the existence of a tight coupling between cognitive and perceptual resources in this task: Low-level tracking of objects generates bottom-up (...) predictions of error likelihood, and high-level attention allocation selectively reduces error probabilities in attended locations while increasing it at non-attended locations. Whereas earlier models of multiple-object tracking have predicted the big picture relationship between stimulus complexity and response accuracy, our approach makes accurate predictions of both the macro-scale effect of target number and velocity on tracking difficulty and micro-scale variations in difficulty across individual trials and targets arising from the idiosyncratic within-trial interactions of targets and distractors. (shrink)

Cognitive definitions cannot accommodate fear as it occurs in species incapable of sophisticated cognition. Some think that fear must, therefore, be noncognitive. This paper explores another option, arguably more in line with evolutionary theory: that like other "biological universals" fear admits of variation across and within species. A paradigm case of such universals is species: it is argued that they can be defined by ostension in the manner of Putnam and Kripke without implying that they must have an invariable essence. (...) Emotions can be defined in this way too, in principle, but the theoretical understanding of homology necessary to do so is lacking at present. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Omissions and Chronological ComplexitiesJyoti Mohan (bio)The stated purpose of Chinese and Indian Ways of Thinking in Early Modern European Philosophy: The Reception and the Exclusion by Selusi Ambrogio is "to examine the European understanding of China and India within the histories of philosophy from 1600 to 1744."1 Specifically, Ambrogio sets out to investigate the antecedents of the "othering" of non-Western philosophies. How far back did the notion go, (...) that non-Western philosophies were inferior? While Ambrogio often extends his argument to non-Western philosophies in general, in this monograph he examines only what he defines as "orientalist" philosophies—the philosophies of India and China. Since Ambrogio is investigating the histories of philosophy written in Europe, this choice makes sense: India and China were the two philosophical giants that most European philosophers needed to include in their works in order to claim to be universalist. No philosopher who wrote about world philosophies—and by extension no historian of philosophy—could ignore India and China, whether it was to dismiss the philosophies emanating from these geographic regions as inferior, or to extol them as proof that Europe was not the birthplace of "original thought."Ambrogio has chosen a time span from 1600 to 1744 c.e. to represent "the year 1600 … [,] the publication of Barbaricae philosophae antiquitatum by Otto van Heurn[,] and 1744[,] the year of the publication of the last book of the Historia critica by Jakob Brucker."2 Within the limits of this time [End Page 220] span, Ambrogio examines the work of several scholars who included Indian and Chinese philosophies in their "world histories of philosophies" and delineates three major historiographical trends. His rationale for ending his study with Brucker's work is that after this eighteenth-century opus, "Asians were usually excluded from the histories of philosophy."3 This time span seems puzzling to me. I know that most, if not all, of the authors Ambrogio cites had successors in their individual traditions well into the nineteenth century, if not the twentieth. While many histories of philosophy focused solely on the Western and classical traditions (as they did during the period under review by Ambrogio as well), the work of historians and scholars on Orientalist philosophies continued to multiply. To the extent that Ambrogio diligently studies his sources and constructs his argument, his work is commendable, but as a historian my questions for Ambrogio have to do with the underlying rationale for the time span he has chosen, and, by that extension, by the choices of his sources. Below I collect evidence that Asians continue to be included in the histories of philosophy past 1744, and in so doing suggest that this fact has an impact on his historiographical model.For instance, I would like to understand why, in his choice of sources, he has omitted all colonial works, especially since he engages with the argument that descriptions and understandings of Indian and Chinese philosophies were meditated through lenses of proselytization and of conquest. Granted, he is beginning with historians of philosophy, but as the eighteenth and nineteenth centuries progressed, historians also diversified their writings—as Ambrogio acknowledges—into histories of religion for instance. The connections between, and descriptions of, non-Western religions and philosophies were so muddled that it is impossible to separate them, save by attending to the titles of individual authors' works as being about religion or philosophy, respectively.The contents of such works are so closely related, at least in the Indian context, that contemporary historians, especially of the colonial period and of Indology, do not quibble over whether these works are about religion or philosophy. For instance, Paul Masson-Oursel wrote in 1923 that the development of Indian philosophy was integral to and proceeded alongside the development of religion.4 Systems of philosophical thought in India operated within larger systems of religious practice. Based on this model, Masson-Oursel describes the development of Indian philosophy as proceeding from the needs of religion. So, for example, he theorized that the mix of an Indo-Iranian religion and a pastoral, fire-worshipping people with an older indigenous Dravidian culture of agriculture, Goddess worship, and belief in amulets, spells, talismans, and other... (shrink)

In this study, we develop a new theoretical framework of Coping Intelligence which examines relationships between coping strategies and organizational commitment among boundary spanning employees. We collected data from 452 boundary spanning salespeople using multiple sources. Results demonstrate that a formative model of Coping Intelligence is superior to a reflective model and that problem-focused coping contributes to CI which, in turn, is related to affective and normative commitment. Further, our more parsimonious formative model illustrates that positive problem-focused coping and negative (...) emotion-focused coping contribute to both affective and normative commitment. After controlling for gender and salespeople’s commission in separate analyses, results remain significant. We provide additional insights: Females are likely to use emotion-focused coping than males, but gender is not related to organizational commitment. Salespeople’s commission is positively related to both affective and normative commitment but unrelated to coping strategies. We shed new lights on boundary spanning employees’ Coping Intelligence and organizational commitment and offer theoretical, empirical, and practical implications to coping strategies and business ethics. (shrink)

Sound like a philosopher’s controversy? I think so. In ‘Evolution,’ I argued that Anti-Individualism was committed to a ‘highly metaphysical’ proposition at odds with the methodology of population genetics. This infelicity gave me reason for rejecting it. In his recent article, Pust takes issue with Neander and me. Until Pust wrote, Sober felt some small pressure from Individualism, and had shifted, albeit microscopically, toward it—he thought that on a very broad conception of causation, there might be some reason to think (...) that selection explains individual traits. He is now convinced that he was right all along. So we are back where we were a few years ago, though with new arguments on each side. Such is the nature of progress in philosophy. The purpose of this paper is to offer some refinements of Individualism. (shrink)

Aristotle held that perception consists in the reception of external sensory qualities (or sensible forms) in the sensorium. This idea is repeated in many forms in contemporary philosophy, including, with regard to vision, in the idea (still not firmly rejected) that the retinal image consists of points of colour. In fact, this is false. Colour is a quality that is constructed by the visual system, and though it is possible to be a realist about colour, it is completely misleading to (...) think of it as received by the retina. Moreover, such supposedly “charitable” interpretations of Aristotle’s doctrines, based on miscon- ceptions of perception-science, distort our understanding of his historical context. (shrink)

Standard biological and philosophical treatments assume that dramatic genotypic or phenotypic change constitutes instantaneous speciation, and that barring such saltation, speciation is gradual evolutionary change in individual properties. Both propositions appear to be incongruent with standard theoretical perspectives on species themselves, since these perspectives are (a) non-pheneticist, and (b) tend to disregard intermediate cases. After reviewing certain key elements of such perspectives, it is proposed that species-membership is mediated by membership in a population. Species-membership depends, therefore, not on intrinsic characteristics (...) of an organism, but on relationship of an organism to others. A new definition of speciation is proposed in the spirit of this proposal. This definition implies that dramatic change is neither necessary nor sufficient for speciation. It also implies, surprisingly, that an organism can change species during its lifetime. (shrink)

The sense of touch provides us knowledge of two kinds of events. Tactile sensation (T) makes us aware of events on or just below the skin; haptic perception (H) gives us knowledge of things outside the body with which we are in contact. This paper argues that T and H are distinct experiences, and not (as some have argued) different aspects of the same touch-experience. In other words, T ≠ H. Moreover, H does not supervene on T. Secondly: In T, (...) we are aware of immanent, phenomenal qualities; in H, we come to know of transcendent qualities in things that exist independently of ourselves. Finally: T is non-spatial; it is indexed by parts of the body, but not by position in space. H, by contrast, is spatial. This brings to mind Kant’s contention that things are presented as existing objectively when they are represented spatially. (shrink)