This article provides an overview and analysis of recent work on the extended self, demonstrating that the boundaries of selves are fluid, shifting across biological, artifactual, and sociocultural structures. First, it distinguishes the notions of minimal self, person, and narrative self. Second, it surveys how philosophers, psychologists, and cognitive scientists argue that embodiment, cognition, emotion, consciousness, and moral character traits can be extended and what that implies for the boundaries of selves. It also reviews and responds to various criticisms and (...) counterarguments against the extended self. The main focus is on the link between the extended mind and extended self, which has received the most attention in recent literature. But accounts of the extended self developed independently of the extended mind are also briefly discussed. This article ends by drawing out some of the conceptual, methodological, and normative implications of the extended self and suggesting some directions for future research. (shrink)

According to the PubMed resource from the U.S. National Library of Medicine, over 750,000 scientific articles have been published in the ~5000 biomedical journals worldwide in the year 2007 alone. The vast majority of these publications include results from hypothesis-driven experimentation in overlapping biomedical research domains. Unfortunately, the sheer volume of information being generated by the biomedical research enterprise has made it virtually impossible for investigators to stay aware of the latest findings in their domain of interest, let alone to (...) be able to assimilate and mine data from related investigations for purposes of meta-analysis. While computers have the potential for assisting investigators in the extraction, management and analysis of these data, information contained in the traditional journal publication is still largely unstructured, free-text descriptions of study design, experimental application and results interpretation, making it difficult for computers to gain access to the content of what is being conveyed without significant manual intervention. In order to circumvent these roadblocks and make the most of the output from the biomedical research enterprise, a variety of related standards in knowledge representation are being developed, proposed and adopted in the biomedical community. In this chapter, we will explore the current status of efforts to develop minimum information standards for the representation of a biomedical experiment, ontologies composed of shared vocabularies assembled into subsumption hierarchical structures, and extensible relational data models that link the information components together in a machine-readable and human-useable framework for data mining purposes. (shrink)

In his Moderate Realism and Its Logic (Yale, 1996), Donald Mertz argues that the traditional ontology of nonpredicable substances and predicable universals is beset by “intractable problems,” “harbors an insidious error,” and constitutes a “stumbling block” for the ontologist. By contrast, a onecategory ontology consisting of relation instances (and combinations thereof) is sustainable, and indeed the only way of avoiding commitment to bare particulars. The success of the project turns on Mertz’s claim that every relation instance has a linking aspect, (...) so that (in a sense) even Socrates is a predicate. I argue that, ironically, it is this very feature of a relation instance that undermines Mertz’s entire theory of predication, effectively preventing any connections from being formed between the instances that allegedly compose an ordinary individual such as Socrates. (shrink)

The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...) and Skolem. Itinerary V surveys the work in logic connected to the Hilbert school, and itinerary V deals specifically with consistency proofs and metamathematics, including the incompleteness theorems. Itinerary VII traces the development of intuitionistic and many-valued logics. Itinerary VIII surveys the development of semantical notions from the early work on axiomatics up to Tarski's work on truth. (shrink)

Space-time intervals are the fundamental components of conscious experience, gravity, and a Theory of Everything. Space-time intervals are relationships that arise naturally between events. They have a general covariance (independence of coordinate systems, scale invariance), a physical constancy, that encompasses all frames of reference. There are three basic types of space-time intervals (light-like, time-like, space-like) which interact to create space-time and its properties. Human conscious experience is a four-dimensional space-time continuum created through the processing of space-time intervals by the brain; (...) space-time intervals are the source of conscious experience (observed physical reality). Human conscious experience is modeled by Einstein’s special theory of relativity, a theory designed specifically from the general covariance of space-time intervals (for inertial frames of reference). General relativity is our most accurate description of gravity. In general relativity, the general covariance of space-time intervals is extended to all frames of reference (inertial and non-inertial), including gravitational reference frames; space-time intervals are the source of gravity in general relativity. The general covariance of space-time intervals is further extended to quantum mechanics; space-time intervals are the source of quantum gravity. The general covariance of space-time intervals seamlessly merges general relativity with quantum field theory (the two grand theories of the universe). Space-time intervals consequently are the basis of a Theory of Everything (a single all-encompassing coherent theoretical framework of physics that fully explains and links together all physical aspects of the universe). This theoretical framework encompasses our observed physical reality (conscious experience) as well; space-time intervals link observed physical reality to actual physical reality. This provides an accurate and reliable match between observed physical reality and the physical universe by which we can carry on our activity. The Minkowski metric, which defines generally covariant space-time intervals, may be considered an axiom (premise, postulate) for the Theory of Everything. (shrink)

Conscious experience is the direct observation of conscious events. Human conscious experience is four-dimensional. Conscious events are linked (associated) by spacetime intervals to produce a coherent conscious experience. This explains why conscious experience appears to us the way it does. Conscious experience is an orientation in space and time, an understanding of the position of the observer in space and time. Causality, past-future relations, learning, memory, cognitive processing, and goal-directed actions all evolve from four-dimensional conscious experience. A neural correlate for (...) four-dimensional conscious experience can be found in the human brain and is modelled by Einstein's special theory of relativity. The relativistic concept of spacetime interval is central for understanding conscious experience and cognition. (shrink)

In Newton’s correspondence with Richard Bentley, Newton rejected the possibility of remote action, even though he accepted it in the Principia. Practically, Newton’s natural philosophy is indissolubly linked to his conception of God. The knowledge of God seems to be essentially immutable, unlike the laws of nature that can be subjected to refining, revision and rejection procedures. As Newton later states in Opticks, the cause of gravity is an active principle in matter, but this active principle is not an (...) essential aspect of matter, but something that must have been added to matter by God, arguing in the same Query of Opticks even the need for divine intervention. DOI: 10.13140/RG.2.2.16732.44162 . (shrink)

A synthetic glance about the basic outlines of Hare's Meta-ethics is offered in this paper to support the idea that Hume's law is still a productive resource for ethical studies. Hare accepted the emotivist premise that moral judgments do not, in the same way as ordinary statements do, state matters of fact that are either true or false, but denied that therefore they must be forms of exclamation. The essential character of moral discourse consisted, not, as the emotivists had held, (...) in its links with subjective attitudes, but with action; moral judgments were prescriptive, in that they expressed commitments to action on the part of the person uttering them, and at the same time their rationality was assured by their universalisability, i.e. their property of applying not merely to the person uttering them, but to all similar persons in similar circumstances. (shrink)

This essay considers Richard Calder’s Dead trilogy as an important contribution to the argument concerning how pornography’s pernicious effects might be mitigated or disrupted. Paying close attention to the way that Calder uses the rhetoric of fiction to challenge pornographic stereotypes that have achieved hegemonic status, the essay argues that Calder’s trilogy provides an important link between debates about pornography and contemporary philosophical discussions of alterity and community. Finally, it argues that, for Calder, sexuality is implicitly predicated on (...) a reconceptualization of social relations in general – a reconceptualization achieved through the exhaustion of that decadent shadow of the Enlightenment, pornography. (shrink)

The cover illustration for Richard Joyce’s elegant and powerful recent work, The Evolution of Morality, is a reproduction of an oddly fascinating and disturbing sixteenth-century engraving, the Anatomia del corpo humano. One has to examine the image for a minute to realize that the standing human figure, stripped of skin, and with muscles, tendons and joints revealed, holds the anatomist’s knife in his left hand and that, with his right, he holds up the single piece of skin, from bearded (...) face to dangling extremities, that had once covered his body. This is the anatomist self-flayed, revealed to inspection by his own knife. A double worry is suggested: the body without the skin may have surprising, or disquieting, features. There is no assurance that what is revealed will accord with our preconceptions. Additionally, there is the thought that only the artist’s magic, freezing a moment in time, permits the body to maintain its integrity. In reality, the body of the self-flayer would collapse and die in short order. -/- Richard Joyce similarly undertakes to wield the analytic knife of science and philosophy to cut away the surface appearance of the moral sense and see what lies beneath. Again, what we find may be surprising or disquieting. Beneath the surface, we find the once-hidden articulation of the moral sensibility. We see its parts, how they are connected, how one links to another. And we may also suspect or fear that what remains cannot long stand inspection in such a state. It may be, indeed, that “we murder to dissect.” And if so, then like the self-flayer, we are ourselves the victims. (shrink)

B a c k g r o u n d . The article is devoted to the Minnemystik of Hadewijch of Brabant in the XIII century. It deals with the genesis of Hadewijch's concept of Minne in its relation to the monastic Cistercian mysticism of Bernard of Clairvaux, William of Saint-Thierry in the XII century and Beatrice of Nazareth in the XIII century. It also considers the conception of theologist and philosopher Richard of Saint-Victor in the XII century. Considering (...) the existing advances of researchers on Hadewijch's Minnemystik, since the XX century, this investigation especially focuses on the primary role of the secular tradition of minnesingers and trobairitz of the mid-XIII century in her texts. M e t h o d s . The main method of the article is a comparative analysis. It is used to find the common meaning of Minne in two traditions: secular and religious minnesingers. The historical-philosophical approach allows us to demonstrate the conceptual link between monastic theology in the XII–XIII centuries and Hadewijch's beguinal Minnemystik. R e s u l t s . The article sheds light on Hadewijch's concept of the Minne and stresses the primary role of the secular and religious conceptions of predecessors and contemporaries in Hadewijch's Minnemystik. C o n c l u s i o n . The author underlines that Hadewijch's concept of Minne comes from the secular tradition of minnesingers and, especially, trobairitz. It also derives from the XII-century male and female mystic theology, which follows Augustine. Thus, the concept of the Minne is deeply connected with the notion of Amor and the tradition of "courtly love", and with Caritas and the tradition of "pure love". K e y w o r d s : Hadewijch's concept of the Minne, Caritas, trobairitz, minnesingers, troubadours, Minnemystik, Unio Mystica, William of Saint-Thierry, Beatrice of Nazareth, Richard of Saint-Victor, Bernard of Clairvaux. (shrink)

Thirty years ago Richard Rorty detected the similarities between Wittgenstein's Philosophical Investigations (1953) and the philosophical framework of Charles S. Peirce (1839-1914), the founder of pragmatism. Rorty tried to show that Peirce envisaged and repudiated in advance logical positivism and developed insights and a philosophical mood very close to the analytical philosophers influenced by the later Wittgenstein (Rorty 1961). In spite of that, the majority of scholars have considered both thinkers as totally alien. Some scholars have attributed the pragmatist (...) flavor of the Philosophical Investigations to the influence of Frank P. Ramsey, who awoke Wittgenstein from the dogmatic slumber of the Tractatus. Nevertheless, the real scope of the influence of American pragmatist philosophy in Wittgenstein's later thought is not clearly known. The purpose of my paper is not to describe the common themes between Wittgenstein and Peirce, but the way in which recent scholarship has established some links between both philosophers. -/- . (shrink)

"Subjectivisation of Sense Perception and Two Models of Early Modern Idealism" The distinction between primary and secondary qualities, most famously outlined by Galileo, and subsequently supported, inter alia, by Descartes and by Locke has widely been considered one of the crucial factors in the development of modern idealism. In its contemporary form, the distinction identifies some of the perceived properties as mental phenomena due to their content and structural dependence on the mind. However, this account of the primary/secondary distinction is (...) largely different from its original version developed by the above-mentioned philosophers, within whose work the mental being of the perceived qualities was demonstrated objectively, from the conceptually-derived nature of matter, and not subjectively, by referring to the mind’s participation in the cognitive process. It was only at the next stage of the early modern subjectivisation of sense perception, best exemplified by such philosophers as Arnold Geulincx and Richard Burthogge, that the creative role played by the mind in sensation and, consequently, the mind-dependency of the sensible qualities was recognised – a turn influenced by the reinterpretation of Aristotelian philosophy offered by Jacopo Zabarella and Paduan school as well as by Anti-Aristotelianism of the kind developed in Netherlands. Furthermore, the two different approaches to the primary/secondary distinction can be linked with two main types of post-Cartesian idealism, i.e. Berkeleian and Kantian – a claim for which illustrative evidence from British philosophy, namely from Berkeley’s and Burthogge’s respective theories, can be drawn. (shrink)

An influential tradition holds that thoughts are public: different thinkers share many of their thoughts, and the same applies to a single subject at different times. This ‘publicity principle’ has recently come under attack. Arguments by Mark Crimmins, Richard Heck and Brian Loar seem to show that publicity is inconsistent with the widely accepted principle that someone who is ignorant or mistaken about certain identity facts will have distinct thoughts about the relevant object—for instance, the astronomer who does not (...) know that Hesperus is Phosphorus will have two distinct thoughts Hesperus is bright and Phosphorus is bright. In this paper, I argue that publicity can be defended if we adopt a relational account on which thoughts are individuated by their mutual relations. I then go on to develop a specific relational theory—the ‘linking account’—and contrast it with other relational views. (shrink)

I begin by distinguishing four different versions of the argument from evil that start from four different moral premises that in various ways link the existence of God to the absence of suffering. The version of the argument from evil that I defend starts from the premise that if God exists, he would not allow excessive, unnecessary suffering. The argument continues by denying the consequent of this conditional to conclude that God does not exist. I defend the argument against (...) Skeptical Theists who say we are in no position to judge that there is excessive, unnecessary suffering by arguing that this defense has absurd consequences. It allows Young Earthers to construct a parallel argument that concludes that we are in no position to judge that God did not create the earth recently. In the last section I consider whether theists can turn the argument from evil on its head by arguing that God exists. I first criticize Alvin Plantinga’s theory of warrant that one might try to use to argue for God’s existence. I then criticize Richard Swinburne’s Bayesian argument to the same conclusion. I conclude that my version of the argument from evil is a strong argument against the existence of God and that several important responses to it do not defeat it. (shrink)

“There’s Plenty of Room at the Bottom”, said the title of Richard Feynman’s 1959 seminal conference at the California Institute of Technology. Fifty years on, nanotechnologies have led computer scientists to pay close attention to the links between physical reality and information processing. Not all the physical requirements of optimal computation are captured by traditional models—one still largely missing is reversibility. The dynamic laws of physics are reversible at microphysical level, distinct initial states of a system leading to distinct (...) final states. On the other hand, as von Neumann already conjectured, irreversible information processing is expensive: to erase a single bit of information costs ~3 × 10−21 joules at room temperature. Information entropy is a thermodynamic cost, to be paid in non-computational energy dissipation. This paper addresses the problem drawing on Edward Fredkin’s Finite Nature hypothesis: the ultimate nature of the universe is discrete and finite, satisfying the axioms of classical, atomistic mereology. The chosen model is a cellular automaton with reversible dynamics, capable of retaining memory of the information present at the beginning of the universe. Such a CA can implement the Boolean logical operations and the other building bricks of computation: it can develop and host all-purpose computers. The model is a candidate for the realization of computational systems, capable of exploiting the resources of the physical world in an efficient way, for they can host logical circuits with negligible internal energy dissipation. (shrink)

This paper investigates a famous argument, first introduced by Richard Taylor, that attempts to establish a radical similarity in the concepts of space and time. The argument contends that the spatial and temporal aspects of material bodies are much more alike, or analogous, than has been hitherto acknowledged. As will be demonstrated, most of the previous investigations of Taylor and company have failed to pinpoint the weakest link in their complex of analogies. By concentrating on their most fundamental (...) cases, however, a substantial difference, or disanalogy, can be brought to light that undermines this purported equivalence of space and time. (shrink)

In this fine book, David Owens presents a new theory of causation based on the idea that the notions of cause and coincidence are intimately related. That there is a link between the concept of cause and the concept of coincidence is not news. As Richard Sorabji has argued, Aristotle thought that coincidences cannot be explained. What is new in Owens's book is the claim that this apparent truism can form the basis of a full-scale analysis of causation.

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

The problem of closure for the traditional unstructured possible worlds model of attitudinal content is that it treats belief and other cognitive states as closed under entailment, despite apparent counterexamples showing that this is not a necessary property of such states. One solution to this problem, which has been proposed recently by several authors (Schaffer 2005; Yalcin 2018; Hoek forthcoming), is to restrict closure in an unstructured setting by treating propositional attitudes as question-sensitive. Here I argue that this line of (...) response is unsatisfying as it stands because the problem of closure is more general than is typically discussed. A version of the problem recurs for attitudes like wondering, entertaining, considering, and so on, which are directed at questions rather than propositions. For such questioning attitudes, the appeal to question-sensitivity is much less convincing as a solution to the problem of closure. (shrink)

Many welfarists wish to assign to each possible state of the world a numerical value that measures something like its moral goodness. How are we to determine this quantity? This paper proposes a contractualist approach: a legitimate measure of moral goodness is one that could be justified to each member of the population in question. How do we justify a measure of moral goodness to each individual? Each individual recognises the measure of moral goodness must be a compromise between the (...) different levels of well-being within the population. Some compromises are more reasonable than others; and some are better justifiable to a given member of the population than others. Each member recognises that the social chooser's measure of moral goodness is going to have to deviate from the well-being function of at least some of the members of the population. But we can nonetheless justify it to each of them if it doesn't deviate more than is necessary, and if the deviations from each member are given equal weighting in whatever process we use to determine it. This paper proposes that we begin with a measure of the distance from a proposed compromise to an individual's level of well-being, and then say that the moral goodness is the candidate compromise that minimizes the sum of distances from it to the individuals' levels of well-being. I describe a range of such measures of distance and show that some give utilitarianism, others different versions of prioritarianism. (shrink)

Regina Fabry has proposed an intriguing marriage of enculturated cognition and predictive processing. I raise some questions for whether this marriage will work and warn against expecting too much from the predictive processing framework. Furthermore I argue that the predictive processes at a sub-personal level cannot be driving the innovations at a social level that lead to enculturated cognitive systems, like those explored in my target paper.

Frege famously held that numbers play the role of objects in our language and thought, and that this role is on display when we use sentences like "The number of Jupiter's moons is four". I argue that this role is an example of a general pattern that also encompasses persons, times, locations, reasons, causes, and ways of appearing or acting. These things are 'objects' simply in the sense that they are answers to questions: they are the sort of thing we (...) search for and specify during investigation or inquiry. I support this epistemological conception of objects by studying specificational sentences, a class of sentences which includes Frege's original example. I defend an analysis of such sentences as question-answer pairs, and show how to formally represent this analysis using game-theoretical semantics. (shrink)

This paper explores the relationship between the questioning attitude of wondering and a class of attitudes I call 'epistemic desires'. Broadly, these are desires to improve one's epistemic position on some question. A common example is the attitude of wanting to know the answer to some question. I argue that one can have any kind of epistemic desire towards any question, Q, without necessarily wondering Q, but not conversely. That is, one cannot wonder Q without having at least some epistemic (...) desire directed towards Q. I defend this latter claim from apparent counterexamples due to Friedman (2013) and Drucker (2022), and finish with a proposal on which epistemic desires, particularly the desire for understanding, play an explanatory role in distinguishing wondering from other forms of question-directed thought. (shrink)

In this brief article I argue that liberalism is the political form most consistent with theism.

Tourism is one of the socio-economic trends that significantly contributes to the shift of the planetary system into the Anthropocene regime. At the same time, it is also a socio-cultural practice characteristic of the imperial mode of living, or consumerism. Thus, it is a form of commodification of nature, also a way of deepening social inequalities between a privileged minority of the global population and an exploited majority providing services to those whose socio-economic status allows them to travel for fun (...) and commoditised “experience”. This is not an inevitable activity, an activity in which environmental costs (carbon footprint, water footprint, energy consumption, and waste production) are necessary to ensure the basic resources of life. Tourism is therefore a form of luxury consumption. For any tourism model to be, not only, environmentally sustainable but also socially just, or at least acceptable, it would have to be accessible to all people. Ecotourism should also have to meet the criterion of a solidarity mode of living referred to as sufficiency. This is hardly conceivable in the climatic, demographic, and political regime of the Anthropocene. The latter is likely to be characterized by, among other things, mass migration of climate or environmental refugees on the one hand and climate apartheid of the states of the global North on the other. Ecotourism, accessible to an even smaller proportion of the world`s population than the current mass tourism, will thus be more likely to accentuate the social and environmental inequalities of which it is already a significant manifestation. Therefore, the question is whether the concept of ecotourism is not just another manifestation of greenwashing, i.e. an attempt to legitimize economic, social, and cultural activities that devastate the social and environmental environment. (shrink)

Tradução para o português do artigo "Berkeley and the pyrrhonism" publicado originalmente em The Review of Metaphysics 5 (1951); reimpresso em Burnyeat, Myles (org.) The Skeptical Tradition. University of California Press, 1983, p. 377-396 e em Richard A. Watson and James E. Force (Editors). The high road to Pyrrhonism, p. 297-318.

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)

In this essay I argue that Darwinian theory, far from supporting a philosophy of metaphysical materialism, actually calls materialism into question. Once this is recognized we see that evolutionary theory, for all its successes (which are considerable), is more limited than is generally supposed in its ability to reveal or explain the ultimate thrust of life.

According to the Rationality Constraint, our concept of belief imposes limits on how much irrationality is compatible with having beliefs at all. We argue that empirical evidence of human irrationality from the psychology of reasoning and the psychopathology of delusion undermines only the most demanding versions of the Rationality Constraint, which require perfect rationality as a condition for having beliefs. The empirical evidence poses no threat to more relaxed versions of the Rationality Constraint, which only require only minimal rationality. Nevertheless, (...) we raise problems for all versions of the Rationality Constraint by appealing to more extreme forms of irrationality that are continuous with actual cases of human irrationality. In particular, we argue that there are conceivable cases of “mad belief” in which populations of Lewisian madmen have beliefs that are not even minimally rational. This undermines Lewis’s claim that our ordinary concept of belief is a theoretical concept that is implicitly defined by its role in folk psychology. We argue that introspection gives us a phenomenal concept of belief that cannot be analyzed by applying Lewis’s semantics for theoretical terms. (shrink)

Alongside existing research into the social, political and economic impacts of the Web, there is a need to study the Web from a cognitive and epistemic perspective. This is particularly so as new and emerging technologies alter the nature of our interactive engagements with the Web, transforming the extent to which our thoughts and actions are shaped by the online environment. Situated and ecological approaches to cognition are relevant to understanding the cognitive significance of the Web because of the emphasis (...) they place on forces and factors that reside at the level of agent–world interactions. In particular, by adopting a situated or ecological approach to cognition, we are able to assess the significance of the Web from the perspective of research into embodied, extended, embedded, social and collective cognition. The results of this analysis help to reshape the interdisciplinary configuration of Web Science, expanding its theoretical and empirical remit to include the disciplines of both cognitive science and the philosophy of mind. (shrink)

In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...) in Chapter 2 shows that a completeness proof for propositional logic was found by Hilbert and his assistant Paul Bernays already in 1917--18, and that Bernays's contribution was much greater than is commonly acknowledged. Aside from logic, the main technical contribution of Hilbert's Program are the development of formal mathematical theories and proof-theoretical investigations thereof, in particular, consistency proofs. In this respect Wilhelm Ackermann's 1924 dissertation is a milestone both in the development of the Program and in proof theory in general. Ackermann gives a consistency proof for a second-order version of primitive recursive arithmetic which, surprisingly, explicitly uses a finitistic version of transfinite induction up to www . He also gave a faulty consistency proof for a system of second-order arithmetic based on Hilbert's &egr;-substitution method. Detailed analyses of both proofs in Chapter 3 shed light on the development of finitism and proof theory in the 1920s as practiced in Hilbert's school. ;In a series of papers, Charles Parsons has attempted to map out a notion of mathematical intuition which he also brings to bear on Hilbert's finitism. According to him, mathematical intuition fails to be able to underwrite the kind of intuitive knowledge Hilbert thought was attainable by the finitist. It is argued in Chapter 4 that the extent of finitistic knowledge which intuition can provide is broader than Parsons supposes. According to another influential analysis of finitism due to W. W. Tait, finitist reasoning coincides with primitive recursive reasoning. The acceptance of non-primitive recursive methods in Ackermann's dissertation presented in Chapter 3, together with additional textual evidence presented in Chapter 4, shows that this identification is untenable as far as Hilbert's conception of finitism is concerned. Tait's conception, however, differs from Hilbert's in important respects, yet it is also open to criticisms leading to the conclusion that finitism encompasses more than just primitive recursive reasoning. (shrink)

A current focus of legal debate is the proper role of the courts in the interpretation of statutes and the Constitution. Are judges to look solely to the naked language of an enactment, then logically deduce its application in simple syllogistic fashion, as legal formalists had purported to do? Or may the inquiry into meaning be informed by perhaps unbridled and unaccountable judicial notions of public policy, using legal realism to best promote the general welfare? Judge Posner considers the concepts (...) of formalism and realism to be meaningful and useful in common law reasoning but in interpretation to be useless and, worse, forbidden. He analogizes unclear "orders" from a legislature to garbled battlefield communications, and argues that the duty of the recipient of those orders (the judge) is to advance as best he can the enterprise set on foot by the superiors. Case studies elaborate this thesis. Judicial decisions interpreting fixed texts, Judge Posner concludes, can be neither logically correct or incorrect, philosophically sound or unsound, until the ultimate jurist, time, has adjudged their results. (shrink)

I discuss a puzzle that arises as an apparent tension between plausible theories of good guessing and intuitive constraints on rational inquiry. Clearly, our best guess at a question should reflect the likelihoods we assign to its possible answers. Your best guess is the answer you judge most likely. Additionally, it seems like a requirement of rational inquiry that our guesses be coherent. Thus, our best guess to a constituent (wh-) questions should cohere with our best guess to a polar (...) (yes/no) question whenever answers to the former entail answers to the latter. I argue that these requirements are in conflict and that a familiar form of contextualism doesn’t resolve the issue. The puzzle stands as a challenge to existing accounts of rational inquiry and question directed attitudes like guessing. (shrink)

In this brief essay, I argue that Anselm's ontological argument for the existence of God achieves its effect through the verbal equivalent of a magician's "sleight-of-hand." More technically, the argument commits the informal fallacy of equivocation. I provide a brief analysis of the argument's text to demonstrate this.

A brief reflection on the mind-body problem and its implications for the way we conceive of ourselves and live our lives.

In this essay I argue for the need to restore our recognition of the importance of philosophical truth in our endeavor to understand our world and our selves. In particular, I note that the physical sciences have no way of examining the axiological dimension of being - i.e., that dimension from which values spring - whereas an appreciation for, and understanding of, our values is crucial to the conduct of our personal, interpersonal, and political lives.

Sut Jhally begins his essay “Advertising at the Edge of the Apocalypse” with the following provocative claim: “Advertising is the most powerful and sustained system of propaganda in human history and its cumulative effects, unless quickly checked, will be responsible for destroying the world as we know it.” Jhally argues that the advertising industry, in fostering an association between human aspiration and desire for consumable goods, creates an artificial demand for such goods that is, at once, far in excess of (...) what is needed for human flourishing and catastrophic to the global environment. Jhally sees capitalism as the ultimate culprit. In a system in which wealth is defined as a “vast collection of commodities” (Marx, Capital), those who produce such commodities have no other choice but to promote excess consumption. Hence the advertising industry emerges as the propaganda arm of capitalism. My paper argues that, though Jhally’s analysis of the problem is both compelling and alarming, his diagnosis fails to reach its heart. Indeed, it is not Marx but Plato who provides us with the terms needed both to understand and respond to the problem Jhally cites. My paper provides a Platonic analysis of these issues and concludes with some suggestions as to how to address them. (shrink)

Although arguments for and against competing theories of vagueness often appeal to claims about the use of vague predicates by ordinary speakers, such claims are rarely tested. An exception is Bonini et al. (1999), who report empirical results on the use of vague predicates by Italian speakers, and take the results to count in favor of epistemicism. Yet several methodological difficulties mar their experiments; we outline these problems and devise revised experiments that do not show the same results. We then (...) describe three additional empirical studies that investigate further claims in the literature on vagueness: the hypothesis that speakers confuse ‘P’ with ‘definitely P’, the relative persuasiveness of different formulations of the inductive premise of the Sorites, and the interaction of vague predicates with three different forms of negation. (shrink)

David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics. Hilbert was unfortunately not exact in delineating what that viewpoint was, and Hilbert himself changed his usage of the term through the 1920s and 30s. The purpose of this paper is to outline what the main problems are in understanding Hilbert and Bernays on this issue, based on some publications by them which have so far received (...) little attention, and on a number of philosophical reconstructions of the viewpoint (in particular, by Hand, Kitcher, and Tait). (shrink)

The Book of Job is often read as the Bible's response to theodicy's 'problem of evil.' As a resolution to the logical difficulties of this problem, however, it is singularly unsatisfying. Job's ethical protest against God is never addressed at the level of the ethical. But suggested in Job's final encounter with God is the possibility of a spiritual resolution beyond the ethical. In this paper I examine the Book of Job as a response to the spiritual problem of despair; (...) despair engendered by the ethical problem of evil. My reading is informed by Kierkegaard's analysis of despair in The Sickness unto Death, and Stephen Mitchell's extraordinary translation of the Book of Job, as well as his insightful commentary. (shrink)

In the Pledge of Allegiance we pledge our loyalty, not to the United States as it may exist at any particular moment, but to the flag and what it represents: an ideal United States that maintains "liberty and justice for all." When we say the Pledge we commit ourselves to this ideal, and to the ongoing struggle of bringing our actual nation into alignment with it.

What is the relationship of human desire to divine love? Spiritual traditions teach us that human desire achieves its true aim only when elevated into the life of divine love. In this essay, I provide a reading of three sayings from three spiritual traditions - Buddhist, Taoist, and Christian - in order to explore the meaning of this.

In December of 2013, my Dad died of advanced Alzheimer's and a condition called Myasthenia Gravis. This is a selection of journal entries I made over the course of the two years leading up to my Dad's death. It is not a philosophical essay, but a personal reflection, in "real time" so to speak, on the nature of the dying process in relation to questions of faith, hope, despair, and the meaning of a man's life. I offer it here for (...) any who might find it worthwhile. (shrink)

The paradox of 'the One and the Many' might, more generally, be understood as the paradox of relationship. In order for there to be relationship there must be at least two parties in relation. The relation must, at once, hold the parties apart (otherwise they would collapse into unity) while holding them together (otherwise relationship itself would cease). It must do so, further, without itself becoming a third party which would then, itself, need to be related. This paper considers this (...) paradox as we find it manifest in the theories of quantum physics, the Socratic pursuit of universals, and, finally, at the very heart of human personhood - where we discover it at the core of interpersonal relationships, existential anxiety, and social distress. It is suggested, in the end, that though reason cannot resolve the terms of this paradox, there is a potential solution to the existential problems that spring from it, a solution lying in what Jesus calls, simply, 'faith.'. (shrink)

I was inspired to write this letter by something my 7-year old said about the meaning of holiness. In it I reflect on this meaning, in language and terms a 7-year-old might understand and appreciate.

It has been known for a few years that no more than Pi-1-1 comprehension is needed for the proof of "Frege's Theorem". One can at least imagine a view that would regard Pi-1-1 comprehension axioms as logical truths but deny that status to any that are more complex—a view that would, in particular, deny that full second-order logic deserves the name. Such a view would serve the purposes of neo-logicists. It is, in fact, no part of my view that, say, (...) Delta-3-1 comprehension axioms are not logical truths. What I am going to suggest, however, is that there is a special case to be made on behalf of Pi-1-1 comprehension. Making the case involves investigating extensions of first-order logic that do not rely upon the presence of second-order quantifiers. A formal system for so-called "ancestral logic" is developed, and it is then extended to yield what I call "Arché logic". (shrink)

History of science and philosophy of science are not perfectly complementary disciplines. Several important asymmetries govern their relationship. These asymmetries, concerning levels of analysis, evidence, theories, writing, and training show that to be a decent philosopher of science is more difficult than being a decent historian. But to be a good historian-well, the degree of difficulty is reversed.