Voted one of Christianity Today's 1996 Books of the Year! The carnivalesque, pluralistic culture in which we live can be seen as a consequence of the breakdown of modernity (which touted itself as the "greatest show on earth"), combined with a recognition of the socially constructed character of reality. Since the old construction has been discredited and is in a process of decomposition, the season is open on the construction of new realities which are produced with the speed and ease (...) of temporary circus tents being raised. Far from witnessing the erosion or even eclipse of religious belief that the Enlightenment so confidently predicted, the eclipse of the Enlightenment has resulted in a veritable smorgasbord of religions and worldviews for our consumption. So Richard Middleton and Brian Walsh colorfully describe our postmodern setting. In this book they survey postmodern culture and philosophy, offering lucid explanations of such difficult theories as deconstruction. They are sympathetic to the postmodern critique, yet believe that a gospel stripped of its modernist trappings speaks a radical word of hope and transformation to our chaotic culture. The book for those who wonder what postmodernism is and how biblical Christians might best respond. Endorsement (from the back cover): “In Truth Is Stranger Than It Used to Be, Middleton and Walsh lead us into the postmodern crisis with skill and sensitivity, and with the mobilization of a comprehensive reading program. But this is not simply one more review. The book makes a suggestive theological response to the crisis, exploring the claims of biblical faith in a shrewd way. It will be a most helpful resource for those who care about our common future and who are willing to think honestly, informed by faith. I anticipate the book will be widely used, to our common benefit.” Walter Brueggemann, author of Texts Under Negotiation: The Bible and Postmodern Imagination. (shrink)

The main goal of this paper is to investigate whether humans are unique in using tools and artifacts. Non-human animals exhibit some impressive instances of tool and artifact-use. Chimpanzees use sticks to get termites out of a mound, beavers build dams, birds make nests, spiders create webs, bowerbirds make bowers to impress potential mates, etc. There is no doubt that some animals modify and use objects in clever and sophisticated ways. But how does this relate to the way in (...) which humans make and use objects to achieve their goals? To answer this question, this paper first presents a taxonomy of artifacts, identifying four overlapping categories, namely embodied, perceptual, cognitive, and affective artifacts. It then discusses definitions of animal tool-use, arguing that we need a more liberal approach, one that goes beyond the use of tools that are embedded in occurrent perception-action cycles. This paper ends by analysing how instances of animal tool and artifact-use can be classified according to the four identified categories, concluding that some animals use embodied, perceptual, cognitive, and affective artifacts. In this sense, humans are thus not unique in the kinds of tools and artifacts we use. What is unique, however, is our unprecedented flexibility and openness to deeply incorporate a large variety of complex tools and artifacts into our embodied, perceptual, cognitive, and affective systems. (shrink)

It is a familiar story that, where Kant humbly draws a line beyond which cognition can’t reach, Husserl presses forward to show how we can cognize beyond that limit. Kant supposes that cognition is bound to sensibility and that what we experience in sensibility is mere appearance that does not inform us about the intrinsic nature of things in themselves. By contrast, for Husserl, it makes no sense to say we experience anything other than things in themselves when we enjoy (...) sensory perception. Kant’s conception, then, by doing just that, is nonsensical. I argue that Husserl’s account does not deliver on its promise. Things as they are in themselves are just as cognitively out of reach on Husserl’s understanding of them as they are on Kant’s. Further, the charge of nonsense Husserl raises against Kant’s conception of things in themselves applies—indeed, with greater force—to his own. (shrink)

In this chapter, we analyze the relationships between the Internet and its users in terms of situated cognition theory. We first argue that the Internet is a new kind of cognitive ecology, providing almost constant access to a vast amount of digital information that is increasingly more integrated into our cognitive routines. We then briefly introduce situated cognition theory and its species of embedded, embodied, extended, distributed and collective cognition. Having thus set the stage, we begin by taking an embedded (...) cognition view and analyze how the Internet aids certain cognitive tasks. After that, we conceptualize how the Internet enables new kinds of embodied interaction, extends certain aspects of our embodiment, and examine how wearable technologies that monitor physiological, behavioral and contextual states transform the embodied self. On the basis of the degree of cognitive integration between a user and Internet resource, we then look at how and when the Internet extends our cognitive processes. We end this chapter with a discussion of distributed and collective cognition as facilitated by the Internet. (shrink)

This paper argues for a Husserlian account of phenomenal intentionality. Experience is intentional insofar as it presents a mind-independent, objective world. Its doing so is a matter of the way it hangs together, its having a certain structure. But in order for the intentionality in question to be properly understood as phenomenal intentionality, this structure must inhere in experience as a phenomenal feature. Husserl’s concept of horizon designates this intentionality-bestowing experiential structure, while his concept of motivation designates the unique phenomenal (...) character of this structure as it is experientially lived through. The way experience hangs together is itself a phenomenal feature of experience. (shrink)

According to the orthodox treatment of risk preferences in decision theory, they are to be explained in terms of the agent's desires about concrete outcomes. The orthodoxy has been criticised both for conflating two types of attitudes and for committing agents to attitudes that do not seem rationally required. To avoid these problems, it has been suggested that an agent's attitudes to risk should be captured by a risk function that is independent of her utility and probability functions. The main (...) problem with that approach is that it suggests that attitudes to risk are wholly distinct from people's (non-instrumental) desires. To overcome this problem, we develop a framework where an agent's utility function is defined over chance propositions (i.e., propositions describing objective probability distributions) as well as ordinary (non-chance) ones, and argue that one should explain different risk attitudes in terms of different forms of the utility function over such propositions. (shrink)

Number words seemingly function both as adjectives attributing cardinality properties to collections, as in Frege’s ‘Jupiter has four moons’, and as names referring to numbers, as in Frege’s ‘The number of Jupiter’s moons is four’. This leads to what Thomas Hofweber calls Frege’s Other Puzzle: How can number words function as modifiers and as singular terms if neither adjectives nor names can serve multiple semantic functions? Whereas most philosophers deny that one of these uses is genuine, we instead argue that (...) number words, like many related expressions, are polymorphic, having multiple uses whose meanings are systematically related via type shifting. (shrink)

In this paper, we outline and critically evaluate Thomas Hofweber’s solution to a semantic puzzle he calls Frege’s Other Puzzle. After sketching the Puzzle and two traditional responses to it—the Substantival Strategy and the Adjectival Strategy—we outline Hofweber’s proposed version of Adjectivalism. We argue that two key components—the syntactic and semantic components—of Hofweber’s analysis both suffer from serious empirical difficulties. Ultimately, this suggests that an altogether different solution to Frege’s Other Puzzle is required.

Reading, taking notes, and holding study sessions are all examples of routine, habitual study behaviors that pupils engage in to fulfill the learning objective. This study was conducted to the two hundred-five (n=205) grade 6 pupils at Malitbog 1 District, Division of Bukidnon, School Year 2022-2023. It attempted to answer the level of pupils’ study habits and academic performance and determine the significant relationship between the study habits and academic performance. The study utilized the descriptive-correlational research design with documentary analysis (...) and used an adapted and modified questionnaire to gather the necessary data to answer the specific questions of the study. Purposive sampling was employed to determine the respondents. Mean, Standard Deviation, Frequency, Percentage and Pearson Product Moment Correlation Coefficient or Pearson r were used as statistical tools. Results revealed that pupils’ overall level of study habits was high while their overall academic performance was at very satisfactory level. Significant correlation was registered between pupils’ study habits and their academic performance. Thus, teachers, parents and stakeholders may collaborate with each other to create and conduct activities that will continue to enhance and improve the pupils study habits to improve their academic performance. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the (...) number of truth values, and it is shown that this bound is tight. (shrink)

Several commentators have recently attributed conflicting accounts of the relation between veridical perceptual experience and hallucination to Husserl. Some say he is a proponent of the conjunctive view that the two kinds of experience are fundamentally the same. Others deny this and purport to find in Husserl distinct and non-overlapping accounts of their fundamental natures, thus committing him to a disjunctive view. My goal is to set the record straight. Having briefly laid out the problem under discussion and the terms (...) of the debate, I then review the proposals that have been advanced, disposing of some and marking others for further consideration. A.D. Smith’s disjunctive reading is among the latter. I discuss it at length, arguing that Smith fails to show that Husserl’s views on perceptual experience entail a form of disjunctivism. Following that critical discussion, I present a case for a conjunctive reading of Husserl’s account of perceptual experience. (shrink)

The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...) the exclusion of the opposite truth value describe the same situation.). (shrink)

It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.

The full scope of enactivist approaches to cognition includes not only a focus on sensory-motor contingencies and physical affordances for action, but also an emphasis on affective factors of embodiment and intersubjective affordances for social interaction. This strong conception of embodied cognition calls for a new way to think about the role of the brain in the larger system of brain-body-environment. We ask whether recent work on predictive coding offers a way to think about brain function in an enactive system, (...) and we suggest that a positive answer is possible if we interpret predictive coding in a more enactive way, i.e., as involved in the organism’s dynamic adjustments to its environment. (shrink)

E-learning has been a main disruption in teaching and learning in the world, which has no doubt changed the narratives in the education sector. The advancements in the field of information and communication technologies have been a huge leap in the development of e-learning and presented a novel approach to education, with the switch from the conventional learning environment to transfer of knowledge online. During and after the COVID-19 pandemic it became imperative for more institutions of learning to adopt it. (...) Despite the undeniable benefits of e-learning, usability has become the bane of its smooth implementation. This chapter highlights challenges associated with e-learning solutions and buttress the fact that usability will go a long way to give both teachers and learners a good user experience and give e-learning its pride of place in disruptive technologies. To successfully re-image education, more attention should be focused on ensuring usability of software solutions. (shrink)

This project has been supported by the Australian Government through the Australian Research Council (project number CS170100008); the Department of Industry, Innovation and Science; and the Department of Prime Minister and Cabinet. ACOLA collaborates with the Australian Academy of Health and Medical Sciences and the New Zealand Royal Society Te Apārangi to deliver the interdisciplinary Horizon Scanning reports to government. The aims of the project which produced this report are: 1. Examine the transformative role that artificial intelligence may play in (...) different sectors of the economy, including the opportunities, risks and challenges that advancement presents. 2. Examine the ethical, legal and social considerations and frameworks required to enable and support broad development and uptake of artificial intelligence. 3. Assess the future education, skills and infrastructure requirements to manage workforce transition and support thriving and internationally competitive artificial intelligence industries. (shrink)

Husserl’s theory of passive experience first came to systematic and detailed expression in the lectures on passive synthesis from the early 1920s, where he discusses pure passivity under the rubric of affection and association. In this paper I suggest that this familiar theory of passive experience is a first approximation leaving important questions unanswered. Focusing primarily on affection, I will show that Husserl did not simply leave his theory untouched. In later manuscripts he significantly reworks the theory of affection in (...) terms of instinctive intentionality and a passive experience of desire aimed at satisfaction and enjoyment. This paper will show that the theory of affection and the theory of instincts in Husserl are really one and the same, differing only in the superior theoretical apparatus with which Husserl treats the phenomenon in his more considered theory of the instincts. I demonstrate the connection between the two theories by showing how what he generically calls “affection” in earlier texts is the same phenomenon he calls “curiosity” in later texts. The connection is further supported by the way curiosity does the same work as affection in its function within Husserl’s theory of association, serving as the basic connective tissue linking diverse experiences. In closing, I deal with the problem of how to integrate the experience of the body into the theory of instincts, displaying in another way how Husserl improves his theory of affection by making it more concrete when he recasts it as a theory of instincts. (shrink)

All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF.

It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the authors' temporal (...) logic of linear discrete time with gaps follows. (shrink)

The aim of this paper is to motivate the need for and then present the outline of an alternative explanation of what Dan Zahavi has dubbed “open intersubjectivity,” which captures the basic interpersonal character of perceptual experience as such. This is a notion whose roots lay in Husserl’s phenomenology. Accordingly, the paper begins by situating the notion of open intersubjectivity – as well as the broader idea of constituting intersubjectivity to which it belongs – within Husserl’s phenomenology as an approach (...) distinct from his more well-known account of empathy in the Fifth Cartesian Meditation. I then recapitulate and criticize Zahavi’s phenomenological explanation of open intersubjectivity, arguing that his account hinges on a flawed phenomenology of perceptual experience. In the wake of that criticism, I supply an alternative phenomenological framework for explaining open intersubjectivity, appealing to the methodological principles of Husserl’s genetic phenomenology and his theory of developmentally primitive affect. Those principles are put to work using the resources of recent studies of cognitive developmental and social cognition. From that literature, I discuss how infants learn about the world from others in secondary intersubjectivity through natural pedagogy. Lastly, the paper closes by showing how the discussion of infant development explains the phenomenon of open intersubjectivity and by highlighting the relatively moderate nature of this account compared to Zahavi’s. (shrink)

Despite extensive discussion of naïve realism in the wider philosophical literature, those influenced by the phenomenological movement who work in the philosophy of perception have hardly weighed in on the matter. It is thus interesting to discover that Edmund Husserl’s close philosophical interlocutor and friend, the early twentieth-century phenomenologist Johannes Daubert, held the naive realist view. This article presents Daubert’s views on the fundamental nature of perceptual experience and shows how they differ radically from those of Husserl’s. The author argues, (...) in conclusion, that Daubert’s views are superior to those of Husserl’s specifically in the way that they deal with the phenomenon of perceptual constancy. (shrink)

In this paper I piece present an account of Husserl’s approach to the phenomenological reconstruction of consciousness’ immemorial past, a problem, I suggest, that is quite pertinent for defenders of Lockean psychological continuity views of personal identity. To begin, I sketch the background of the problem facing the very project of a genetic phenomenology, within which the reconstructive analysis is situated. While the young Husserl took genetic matters to be irrelevant to the main task of phenomenology, he would later come (...) to see their importance and, indeed, centrality as the precursor and subsoil for the rationality of consciousness. I then argue that there is a close connection between reconstruction and genetic phenomenology, such that reconstruction is a necessary component of the program of genetic phenomenology, and I set out an argument of Husserl’s compelling one to enter into reconstructive territory. With that impetus, I schematically lay out the main contours one finds in Husserl’s practice of reconstructive techniques. We find him taking two distinct approaches, that of the individual viewed egologically (through the abstract lens of a single individual’s consciousness) and as embedded in interpersonal relations. Husserl occasionally calls these the approach “from within” and “from without,” respectively. Ultimately, the two approaches are not only complementary, but require one another. In closing, I argue that these considerations lead to a blurring of lines between the genetic and generative phenomenological registers, which challenges the prevalent view that there is a sharp demarcation of the two. (shrink)

Я читал много недавних дискуссий о границах вычислений и Вселенной, как компьютер, надеясь найти некоторые комментарии по удивительной работы физика полимата и теоретик решений Дэвид Вольперт, но не нашли ни одной цитаты, и поэтому я представляю это очень краткое резюме. Вольперт доказал некоторые потрясающие невозможности или теоремы неполноты (1992 до 2008-см arxiv dot org) на пределы выводов (вычисления), которые настолько общие они не зависят от устройства делать вычисления, и даже независимо от законов физики, поэтому они применяются через компьютеры, физика, и (...) поведение человека. Они используют диагоналализацию Кантора, парадокс лжецов и мирские линии, чтобы обеспечить то, что может быть конечной теорему в теории машины Тьюринга, и, казалось бы, дают представление о невозможности, неполноте, пределы вычислений, и Вселенной, как компьютер, во всех возможных вселенных и всех существ или механизмов, генерации, среди прочего, неквантовной неопределенности механического принципа и доказательство монотеизма. Есть очевидные связи с классической работой Чайтина, Соломона, Комольгарова и Витгенштейна и с понятием, что ни одна программа (и, следовательно, ни одно устройство) не может генерировать последовательность (или устройство) с большей сложностью, чем она обладает. Можно сказать, что этот объем работы подразумевает атеизм, поскольку не может быть ни одной сущности, более сложной, чем физическая вселенная, и с точки зрения Витгенштейна, «более сложный» не имеет смысла (не имеет условий удовлетворения, т.е. истины-мейкера или испытания). Даже "Бог" (т.е. "устройство" с безграничным временем /пространством и энергией) не, может определить, является ли данное "число" "случайным", ни найти определенный способ показать, что данная "формула", "теорема" или "предложение" или "устройство" (все это сложные языковые игры) является частью конкретной "системы". Те, кто желает всеобъемлющего до современных рамок для человеческого поведения из современных двух systEms зрения могут проконсультироваться с моей книгой"Логическая структура философии, психологии, Минd иязык в Людвиг Витгенштейн и Джон Сирл" второй ред (2019). Те, кто заинтересован в более моих работ могут увидеть "Говоря обезьян - -Философия, Психология, Наука, Религия и Политика на обреченной планете - Статьи и обзоры 2006-2019 2-й эд (2019) и суицидальные утопические заблуждения в 21-мst веке 4-й ed (2019) th и другие. (shrink)

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.

Over the past fifteen years there has been a considerable amount of debate concerning what theoretical population dynamic models tell us about the nature of natural selection and drift. On the causal interpretation, these models describe the causes of population change. On the statistical interpretation, the models of population dynamics models specify statistical parameters that explain, predict, and quantify changes in population structure, without identifying the causes of those changes. Selection and drift are part of a statistical description of population (...) change; they are not discrete, apportionable causes. Our objective here is to provide a definitive statement of the statistical position, so as to allay some confusions in the current literature. We outline four commitments that are central to statisticalism. They are: 1. Natural Selection is a higher order effect; 2. Trait fitness is primitive; 3. Modern Synthesis (MS)-models are substrate neutral; 4. MS-selection and drift are model-relative. (shrink)

A crucial part of the contemporary interest in logicism in the philosophy of mathematics resides in its idea that arithmetical knowledge may be based on logical knowledge. Here an implementation of this idea is considered that holds that knowledge of arithmetical principles may be based on two things: (i) knowledge of logical principles and (ii) knowledge that the arithmetical principles are representable in the logical principles. The notions of representation considered here are related to theory-based and structure-based notions of representation (...) from contemporary mathematical logic. It is argued that the theory-based versions of such logicism are either too liberal (the plethora problem) or are committed to intuitively incorrect closure conditions (the consistency problem). Structure-based versions must on the other hand respond to a charge of begging the question (the circularity problem) or explain how one may have a knowledge of structure in advance of a knowledge of axioms (the signature problem). This discussion is significant because it gives us a better idea of what a notion of representation must look like if it is to aid in realizing some of the traditional epistemic aims of logicism in the philosophy of mathematics. (shrink)

For children, the collateral damage of the COVID-19 pandemic response has been considerable. In this paper, we use the framework of evidence-based medicine to argue that child abuse is another negative side effect of COVID-19 lockdowns. While it was certain that school closures would have profound social and economic costs, it remains uncertain whether they have any effect on COVID-19 transmission. There is emerging evidence that lockdowns significantly worsened child abuse on a global scale. Low-income and middle-income countries are particularly (...) vulnerable to increases in child abuse. The best available external evidence from systematic research during the pandemic demonstrates an increase in the risk of child maltreatment, an increase in child maltreatment hospitalisations and a concerning decrease in official child maltreatment referrals. The paradoxical phenomenon of increased hospitalisations and decreased reports is unlikely to be explained by a genuine decrease in child abuse. We conclude that lockdowns have an unacceptably high risk of negative side effects for children, as evidenced by child abuse, the true extent of which appears to be masked by lockdown-related disruptions to schools and other surveillance systems. The desire for a sense of security may be a tempting bias towards emphasising the resilience of children, but it is ethically problematic to push children towards abuse in the name of public health. It is our view that the collateral damage of prolonged school closures for society’s most vulnerable members is a powerful ethical consideration against any pandemic response which involves their use. (shrink)

The literature on the history of electricity production have studied the evolution of electricity in both developed and developing countries and its impact on their economies. Some have laid foundations upon which other works are carried out. A close examination of historiography and multidisciplinary research on electricity production in Ghana shows that more efforts are required to improve the electric power landscape in Ghana. From the colonial era, the increasing demand for electricity has been the biggest challenge plaguing the energy (...) sector. Respective governments have made significant strides in ensuring reliable and universal access to electricity throughout Ghana, yet such efforts have been accompanied by different levels of challenges. The study uses a qualitative and exploratory research approach to trace the activities that helped, in many other ways to the creation of a sustainable electric power provision to household and industry in Ghana, particularly in two of Ghana’s cities; Accra and Kumasi, within the period 1900 to the1960s. The work focused mainly on archival sources in its quest to arrive at how indigenous Ghanaians provided power for industrial activities and for household purposes. Results from the study show that local and cottage industries relied predominantly on wood, fuel, and biomass for their operations even before the introduction of the more sophisticated means of power generation. Also, the study revealed that in finding solutions to the challenges of electricity production, policymakers have focused more on current issues with little or no effort to trace the historical foundation of electricity production. This notwithstanding, the little efforts that have been made examined the history of energy production, with a limited focus on the immediate post-independence era. (shrink)

Women have always been central concerning the provision of healthcare. The transitions into the modern world have been very slow for women because of how societies classify women. Starting from lay care, women provided healthcare for their family and sometimes to the members of the community in which they lived. With no formal education, women served as midwives and served in other specialised fields in medicine. They usually treated their fellow women because they saw ‘women’s medicine’ as women’s business. They (...) were discriminated against by the opposite sex and by the church, which regarded it as a taboo to allow women to practice medicine. This study points to a Ghanaian context on how the charismas of women have made them excel in their efforts to provide healthcare for their people. The study also focused on the role of indigenous practitioners who are mostly found in the rural areas and modern practitioners who are mostly found in the peri-urban, urban areas and larger cities in Ghana. (shrink)

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

Husserl introduces a phenomenological concept called “motivation” early in the First Investigation of his magnum opus, the Logical Investigations. The importance of this concept has been overlooked since Husserl passes over it rather quickly on his way to an analysis of the meaningful nature of expression. I argue, however, that motivation is essential to Husserl’s overall project, even if it is not essen- tial for defining expression in the First Investigation. For Husserl, motivation is a relation between mental acts whereby (...) the content of one act make some fur- ther meaningful content probable. I explicate the nature of this relation in terms of “evidentiary weight” and differentiate it from Husserl’s notion of Evidenz, often translated as “self-evidence”. I elucidate the importance of motivation in Husserl’s overall phenomenological project by focusing on his analyses of thing-perception and empathy. Through these examples, we can better understand the continuity between the Logical Investigations and Husserl’s later work. (shrink)

A theory of the first-person plural occupies a unique place in philosophical investigations into intersubjectivity and social cognition. In order for the referent of the first-person plural—“the We”—to come into existence, it seems there must be a shared ground of communicative possibility, but this requires a non-circular explanation of how this ground could be shared in the absence of a pre-existing context of communicative conventions. Margaret Gilbert’s and John Searle’s theories of collective intentionality capture important aspects of the We, but (...) fail to fully account for this shared ground of communicative possibility. This paper argues that Merleau-Ponty’s concept of intercorporeity helps reconcile the positive aspects of these accounts while also explaining how the genesis of the social world is continuous with perceptual life in general. This enables an account of the first-person plural as dependent on reciprocal communicative interaction without the need to posit a primitive or primordial “we-mode” of consciousness. “Intercorporeity” designates a bodily openness to others that is not fundamentally different in kind from the general style of bodily comportment found in Merleau-Ponty’s rich analyses of perceptual life. (shrink)

We take ourselves to have an inner life of thought, and we take ourselves to be capable of linguistically expressing our thoughts to others. But what is the nature of this “inner life” of thought? Is conscious thought necessarily carried out in language? This paper takes up these questions by examining Merleau-Ponty’s theory of expression. For Merleau-Ponty, language expresses thought. Thus it would seem that thought must be independent of, and in some sense prior to, the speech that expresses it. (...) He also claims, however, that thinking just is linguistic expression, and thus that language constitutes thought. The primary aim of this paper is to make sense of this constitutive claim while maintaining that, for Merleau-Ponty, there is an inner life of thought that exists independently of linguistic expression, and that this inner life rightly deserves the label “thought”. The upshot of this account is twofold. First, it explains why the mainstream view of Merleau-Ponty’s theory of expression seems plausible, but is ultimately inadequate. Second, it functions as a corrective to contemporary debates about the nature and scope of phenomenal consciousness and the sense in which conscious experience has content. (shrink)

This article interrogates the bureaucratization of war, incarnate in the covert lethal drone. Bureaucracies are criticized typically for their complexity, inefficiency, and inflexibility. This article is concerned with their moral indifference. It explores killing, which is so highly administered, so morally remote, and of such scale, that we acknowledge a covert lethal program. This is a bureaucratized program of assassination in contravention of critical human rights. In this article, this program is seen to compromise the advance of global justice. Moreover, (...) the bureaucratization of lethal force is seen to dissolve democratic ideals from within. The bureaucracy isolates the citizens from lethal force applied in their name. People are killed, in the name of the State, but without conspicuous justification, or judicial review, and without informed public debate. This article gives an account of the risk associated with the bureaucratization of the State’s lethal power. Exemplified by the covert drone, this is power with formidable reach. It is power as well, which requires great moral sensitivity. Considering the drone program, this article identifies challenges, which will become more prominent and pressing, as technology advances. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

This paper brings together several strands of thought from both the analytic and phenomenological traditions in order to critically examine accounts of cognitive enhancement that rely on the idea of cognitive extension. First, I explain the idea of cognitive extension, the metaphysics of mind on which it depends, and how it has figured in recent discussions of cognitive enhancement. Then, I develop ideas from Husserl that emphasize the agential character of thought and the distinctive way that conscious thoughts are related (...) to one another. I argue that these considerations are necessary for understanding why forms of cognitive extension may diminish our cognitive lives in different ways. This does not lead to a categorical rejection of cognitive enhancement as unethical or bad for human flourishing, but does warrant a conservative approach to the design and implementation of cognitive artifacts. (shrink)

This paper presents an account of empathy as the form of experience directed at embodied unities of expressive movement. After outlining the key differences between simulation theory and the phenomenological approach to empathy, the paper argues that while the phenomenological approach is closer to respecting a necessary constitutional asymmetry between first-personal and second-personal senses of embodiment, it still presupposes a general concept of embodiment that ends up being problematic. A different account is proposed that is neutral on the explanatory role (...) of the first-person sense of embodiment, which leads to an emphasis on the transformative nature of empathy and a broadening of the scope of possible targets of empathic awareness. (shrink)

On standard readings of Grice, Gricean communication requires (a) possession of a concept of belief, (b) the ability to make complex inferences about others’ goal-directed behaviour, and (c) the ability to entertain fourth order meta-representations. To the extent that these abilities are pre-requisites of Gricean communication they are inconsistent with the view that Gricean communication could play a role in their development. In this paper, I argue that a class of ‘minimally Gricean acts’ satisfy the intentional structure described by Grice, (...) but require none of abilities (a)-(c). As a result, Gricean communicative abilities may indeed contribute to the development of (a)-(c) – in particular, by enabling language development. This conclusion has important implications for our theorising about cognitive development. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

In a letter to William Molyneux John Locke states that in reviewing his chapter 'Of Power' for the second edition of An Essay Concerning Human Understanding he noticed that he had made one mistake which, now corrected, has put him "into a new view of things" which will clarify his account of human freedom. Locke says the mistake was putting “things for actions” on p.123 of the first edition, a page on which the word 'things' does not appear (The Correspondence (...) of John Locke. E.S. de Beer, ed. (Oxford: Clarendon, 1976), Vol.4, no.1643, 15 July, 1693.) It is the aim of this paper to (1) elucidate where the correction occurs, (2) give an analysis of why the correction is needed, and (3) give an explanation of why Locke believed replacing 'things' with 'actions' was an important change. (shrink)

Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.

My aim in this paper is to determine how Locke understands suspension and the role it plays in his view of human liberty. To this end I, 1) discuss the deficiencies of the first edition version of ‘Of Power’ and why Locke needed to include the ability to suspend in the second edition, then 2) analyze Locke’s definitions of the power to suspend with a focus on his use of the terms ‘source’, ‘hinge’, and ‘inlet’ to describe the power. I (...) determine from these descriptions that the ability to suspend is a passive power and is a necessary condition for the rational deliberation that Locke takes to be necessary for acting as a free agent. In 3) I connect Locke’s view of the power to suspend to his discussion in the sections that precede ‘Of Power.’ I argue that the kind of judgment that Locke endorses in his discussion of the Molyneux problem is also at work in acts of suspension. In 4) I apply my interpretation to Locke’s description of the connection between the power to suspend and liberty. In 5) I conclude with a discussion of a passage from the fifth edition of the Essay. Locke adds this passage to address worries raised by Limborch over the course of their correspondence. According to Chappell, it lends evidence to the view that Locke takes suspensions to be caused by undetermined volitions. (shrink)

In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.