Formal systems are standardly envisaged in terms of a grammar specifying well-formed formulae together with a set of axioms and rules. Derivations are ordered lists of formulae each of which is either an axiom or is generated from earlier items on the list by means of the rules of the system; the theorems of a formal system are simply those formulae for which there are derivations. Here we outline a set of alternative and explicitly visual ways of envisaging and analyzing (...) at least simple formal systems using fractal patterns of infinite depth. Progressively deeper dimensions of such a fractal can be used to map increasingly complex wffs or increasingly complex 'value spaces', with tautologies, contradictions, and various forms of contingency coded in terms of color. This and related approaches, it turns out, offer not only visually immediate and geometrically intriguing representations of formal systems as a whole but also promising formal links (1) between standard systems and classical patterns in fractal geometry, (2) between quite different kinds of value spaces in classical and infinite-valued logics, and (3) between cellular automata and logic. It is hoped that pattern analysis of this kind may open possibilities for a geometrical approach to further questions within logic and metalogic. (shrink)

Much innovation has taken place in the development of medical schools and licensure exam processes across the African continent. Still, little attention has been paid to education that enables the multidisciplinary, critical thinking needed to understand and help shape the larger social systems in which health care is delivered. Although more than half of medical schools in Canada, the United Kingdom, and the United States offer at least one medical humanities course, this is less common in Africa. We report on (...) the “liberal arts approach” to medical curricula undertaken by the University of Global Health Equity beginning in 2019. The first six-month semester of the curriculum, called Foundations in Social Medicine, includes courses in critical thinking and communication, African history and global political economy, medical anthropology and social medicine, psychology and health, gender and social justice, information technology and health, and community-based training. Additionally, an inquiry-based pedagogy with relatively small classes is featured within an overall institutional culture that emphasizes health equity. We identify key competencies for physicians interested in pursuing global health equity and how such competencies relate to liberal arts integration into the African medical school curriculum and pedagogical approach. We conclude with a call for a research agenda that can better evaluate the impact of such innovations on physicians’ education and subsequent practices. (shrink)

Zeno's paradoxes of motion and the semantic paradoxes of the Liar have long been thought to have metaphorical affinities. There are, in fact, isomorphisms between variations of Zeno's paradoxes and variations of the Liar paradox in infinite-valued logic. Representing these paradoxes in dynamical systems theory reveals fractal images and provides other geometric ways of visualizing and conceptualizing the paradoxes.

The goal of philosophy of information is to understand what information is, how it operates, and how to put it to work. But unlike ‘information’ in the technical sense of information theory, what we are interested in is meaningful information. To understand the nature and dynamics of information in this sense we have to understand meaning. What we offer here are simple computational models that show emergence of meaning and information transfer in randomized arrays of neural nets. These we take (...) to be formal instantiations of a tradition of theories of meaning as use. What they offer, we propose, is a glimpse into the origin and dynamics of at least simple forms of meaning and information transfer as properties inherent in behavioral coordination across a community. (shrink)

This book is an introduction, entirely by example, to the possibilities of using computer models as tools in phosophical research in general and in philosophical logic in particular. Topics include chaos, fractals, and the semantics of paradox; epistemic dynamics; fractal images of formal systems; the evolution of generosity; real-valued game theory; and computation and undecidability in the spatialized Prisoner's Dilemma.

We work with a large spatialized array of individuals in an environment of drifting food sources and predators. The behavior of each individual is generated by its simple neural net; individuals are capable of making one of two sounds and are capable of responding to sounds from their immediate neighbors by opening their mouths or hiding. An individual whose mouth is open in the presence of food is “fed” and gains points; an individual who fails to hide when a predator (...) is present is “hurt” by losing points. Opening mouths, hiding, and making sounds each exact an energy cost. There is no direct evolutionary gain for acts of cooperation or “successful communication” per se. In such an environment we start with a spatialized array of neural nets with randomized weights. Using standard learning algorithms, our individuals “train up” on the behavior of successful neighbors at regular intervals. Given that simple setup, will a community of neural nets evolve a simple language for signaling the presence of food and predators? With important qualifications, the answer is “yes.” In a simple spatial environment, pursuing individualistic gains and using partial training on successful neighbors, randomized neural nets can learn to communicate. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

This paper supersedes an ealier version, entitled "A Non-Standard Semantics for Inexact Knowledge with Introspection", which appeared in the Proceedings of "Rationality and Knowledge". The definition of token semantics, in particular, has been modified, both for the single- and the multi-agent case.

Three‐ to 4‐month‐old infants show asymmetric exclusivity in the acquisition of cat and dog perceptual categories. The cat perceptual category excludes dog exemplars, but the dog perceptual category does not exclude cat exemplars. We describe a connectionist autoencoder model of perceptual categorization that shows the same asymmetries as infants. The model predicts the presence of asymmetric retroactive interference when infants acquire cat and dog categories sequentially. A subsequent experiment conducted with 3‐ to 4‐month‐olds verifies the predicted pattern of looking time (...) behaviors. We argue that bottom‐up, associative learning systems with distributed representations are appropriate for modeling the operation of short‐term visual memory in early perceptual category learning. (shrink)

In this paper we compare different models of vagueness viewed as a specific form of subjective uncertainty in situations of imperfect discrimination. Our focus is on the logic of the operator “clearly” and on the problem of higher-order vagueness. We first examine the consequences of the notion of intransitivity of indiscriminability for higher-order vagueness, and compare several accounts of vagueness as inexact or imprecise knowledge, namely Williamson’s margin for error semantics, Halpern’s two-dimensional semantics, and the system we call Centered semantics. (...) We then propose a semantics of degrees of clarity, inspired from the signal detection theory model, and outline a view of higher-order vagueness in which the notions of subjective clarity and unclarity are handled asymmetrically at higher orders, namely such that the clarity of clarity is compatible with the unclarity of unclarity. (shrink)

Human adults appear different from other animals in their ability to form abstract mental representations that go beyond perceptual similarity. In short, they can conceptualize the world. This book brings together leading psychologists and neuroscientists to tackle the age-old puzzle of what might be unique about human concepts.

Forthcoming in S. Artemov and R. Parikh, Proceedings of the ESSLLI 2006 Workshop on Rationality and Knowledge.

Version of March 05, 2007. An extended abstract of the paper appeared in the Proceedings of the 2006 Prague Colloquium on "Reasoning about Vagueness and Uncertainty".

For [Formula: see text], the coarse similarity class of [Formula: see text], denoted by [Formula: see text], is the set of all [Formula: see text] such that the symmetric difference of [Formula: see text] and [Formula: see text] has asymptotic density [Formula: see text]. There is a natural metric [Formula: see text] on the space [Formula: see text] of coarse similarity classes defined by letting [Formula: see text] be the upper density of the symmetric difference of [Formula: see text] and (...) [Formula: see text]. We study the metric space of coarse similarity classes under this metric, and show in particular that between any two distinct points in this space there are continuum many geodesic paths. We also study subspaces of the form [Formula: see text] where [Formula: see text] is closed under Turing equivalence, and show that there is a tight connection between topological properties of such a space and computability-theoretic properties of [Formula: see text]. We then define a distance between Turing degrees based on Hausdorff distance in the metric space [Formula: see text]. We adapt a proof of Monin to show that the Hausdorff distances between Turing degrees that occur are exactly [Formula: see text], [Formula: see text], and [Formula: see text], and study which of these values occur most frequently in the senses of Lebesgue measure and Baire category. We define a degree [Formula: see text] to be attractive if the class of all degrees at distance [Formula: see text] from [Formula: see text] has measure [Formula: see text], and dispersive otherwise. In particular, we study the distribution of attractive and dispersive degrees. We also study some properties of the metric space of Turing degrees under this Hausdorff distance, in particular the question of which countable metric spaces are isometrically embeddable in it, giving a graph-theoretic sufficient condition for embeddability. Motivated by a couple of issues arising in the above work, we also study the computability-theoretic and reverse-mathematical aspects of a Ramsey-theoretic theorem due to Mycielski, which in particular implies that there is a perfect set whose elements are mutually [Formula: see text]-random, as well as a perfect set whose elements are mutually [Formula: see text]-generic. Finally, we study the completeness of [Formula: see text] from the perspectives of computability theory and reverse mathematics. (shrink)

Diffusion theory explains in physical terms how materials move through a medium, e.g. water or a biological fluid. There are strong and widely acknowledged grounds for doubting the applicability of this theory in biology, although it continues to be accepted almost uncritically and taught as a basis of both biology and medicine. Our principal aim is to explore how this situation arose and has been allowed to continue seemingly unchallenged for more than 150 years. The main shortcomings of diffusion theory (...) will be briefly reviewed to show that the entrenchment of this theory in the corpus of biological knowledge needs to be explained, especially as there are equally valid historical grounds for presuming that bulk fluid movement powered by the energy of cell metabolism plays a prominent note in the transport of molecules in the living body. First, the theory's evolution, notably from its origins in connection with the mechanistic materialist philosophy of mid nineteenth century physiology, is discussed. Following this, the entrenchment of the theory in twentieth century biology is analyzed in relation to three situations: the mechanism of oxygen transport between air and mammalian tissues; the structure and function of cell membranes; and the nature of the intermediary metabolism, with its implicit presumptions about the intracellular organization and the movement of molecules within it. In our final section, we consider several historically based alternatives to diffusion theory, all of which have their precursors in nineteenth and twentieth century philosophy of science. (shrink)

For many years, biology was largely descriptive (natural history), but with its emergence as a scientific discipline in its own right, a reductionist approach began, which has failed to be matched by adequate understanding of function of cells, organisms and species as whole entities. Every effort was made to explain biological phenomena in physico-chemical terms.It is argued that there is and always has been a clear distinction between life sciences and physical sciences, explicit in the use of the word biology. (...) If this distinction is real, it implies that biological phenomena can never be entirely satisfactorily explained in terms of extant physicochemical laws. One notable manifestation of this is that living organisms appear to -- actually do -- behave in purposeful ways, and the inanimate universe does not. While this fundamental difference continues to be suppressed, the purposiveness (or teleology) which pervades biology remains anathema to almost all scientists (including most biologists) even to the present day. We argue here that it can, however, become a perfectly tenable position when the Theory of Natural Selection is accepted as the main foundation, the essential tenet, of biology that distinguishes it from the realm of physical sciences. In accepting this position, it remains quite legitimate to expect that in many but not all circumstances, extant physical laws (and presumably others still to be discovered) are in no way breached by biological systems, which cannot be otherwise since all organisms are composed of physical material. (shrink)

Evolution - both the fact that it occurred and the theory describing the mechanisms by which it occurred - is an intrinsic and central component in modern biology. Theodosius Dobzhansky captures this well in the much-quoted title of his 1973 paper 'Nothing in biology makes sense except in the light of evolution'. The correctness of this assertion is even more obvious today: philosophers of biology and biologists agree that the fact of evolution is undeniable and that the theory of evolution (...) explains that fact. Such a theory has far-reaching implications. In this volume, eleven distinguished scholars address the conceptual, metaphysical and epistemological richness of the theory and its ethical and religious impact, exploring topics including DNA barcoding, three grand challenges of human evolution, functionalism, historicity, design, evolution and development, and religion and secular humanism. The volume will be of great interest to those studying philosophy of biology and evolutionary biology. (shrink)

Molière.--Pascal.--Mistral.--Balzac.--Balzac et les idées.--Paul Valéry et les idées.--Platon et les contemporains: Stephen Hudson, Valéry, Proust.--Meredith, et Proust.--Le judaïsme de Proust.--Le génie malade.--Proust.--Henri Bremond.

David Hume (1711-1776) is widely recognized as one of the most influential and significant critics of religion in the history of philosophy. There remains, nevertheless, considerable disagreement about the exact nature of his views. According to some, he was a skeptic who regarded all conjectures relating to religious hypotheses to be beyond the scope of human understanding – he neither affirmed nor denied these conjectures. Others read him as embracing a highly refined form of “true religion” of some kind. On (...) the other side of this spectrum, it is claimed that Hume was committed to atheism, although due to social conditions at the time, this had to be (thinly) concealed or masked. The aim of this article is to provide an overview of Hume’s core concerns and arguments on this subject and to provide the reader with a framework for interpreting and assessing his various contributions. (shrink)

The argument and discussion in this paper begins from the premise that Hume was an atheist who denied the religious or theist hypothesis. However, even if it is agreed that that Hume was an atheist this does not tell us where he stood on the question concerning the value of religion. Some atheists, such as Spinoza, have argued that society needs to maintain and preserve a form of “true religion”, which is required for the support of our ethical life. Others, (...) such as D’Holbach have argued that religion is not only false it is pernicious and it should be eradicated. This paper argues that Hume rejected both these proposals, on the ground that they rest, in different ways, on excessively optimistic assumptions. The sensible, practical form of atheism that Hume defends has a more modest and realistic aim, which is simply to restrict and limit the most pernicious forms of religion. Understood this way, Hume’s practical atheism is very different from the forms of “old” atheism associated with Spinoza and D’Holbach, as well as from the “new atheism” of thinkers such as Dawkins and Dennett. -/- Reprinted in Paul Russell, "Recasting Hume and Early Modern Philosophy: Selected Essays" (New York: Oxford University Press, 2021): 340-383. (shrink)

.... The strategy I have defended involves drawing a distinction between those who can and cannot legitimately hold an agent responsible in circumstances when the agent is being covertly controlled (e.g. through implantation processes). What is intuitively unacceptable, I maintain, is that an agent should be held responsible or subject to reactive attitudes that come from another agent who is covertly controlling or manipulating him. This places some limits on who is entitled to take up the participant stance in relation (...) to agents who are rational self-controllers but nevertheless subject to covert control.26 In this way, what is compromised by conditions of covert control is not the responsibility of the agent as such. It is, rather, the participant stance of those other agents who covertly control him. Clearly it is possible to establish these specific limits on who can hold these agents responsible without denying that the agents themselves remain free and responsible. When we take this approach we will find that we are no longer faced with an unattractive choice between simply “biting the bullet” or having to “spit it out”. All we need to do is chew carefully, until there is nothing left that we find too hard to swallow. (shrink)

Les travaux du Comité public de suivi Le comité a été créé le 12 avril 2016. À cette occasion, il a annoncé le dépôt d’un rapport de suivi à l’occasion du premier anniversaire du dépôt du rapport de la Commission Charbonneau. Dans les derniers mois, le comité s’est penché sur les initiatives répondant aux recommandations de la Commission, en étudiant les informations rendues publiques sur ce sujet. Aidé d’une équipe...

Michael A. PetersBeijing Normal UniversityMy deepest condolences to Pepe, Dom and Marcus and to Jim’s grandchildren. Tina and I spent a lot of time at the Marshall family home, often attending dinn...

There are few who would deny that P. F. Strawson’s “Freedom and Resentment” (1962) ranks among the most significant contributions to modern moral philosophy. Although any number of essays have been devoted to it, Pamela Hieronymi’s 'Freedom, Resentment, and the Metaphysics of Morals' is the first book-length study. The aim of Hieronymi’s study is to show that Strawson’s “central argument” has been “underestimated and misunderstood.” Hieronymi interprets this argument in terms of what she describes as Strawson’s “social naturalism”. Understood this (...) way, Hieronymi maintains, “the argument is powerful”. In what follows I argue that while Hieronymi’s discussion is stimulating and provides valuable insights into “Freedom and Resentment,” neither the interpretation advanced nor the social naturalist position that it describes is convincing. (shrink)

Debates about the moral status of social robots (SRs) currently face a second-order, or metatheoretical impasse. On the one hand, moral individualists argue that the moral status of SRs depends on their possession of morally relevant properties. On the other hand, moral relationalists deny that we ought to attribute moral status on the basis of the properties that SRs instantiate, opting instead for other modes of reflection and critique. This paper develops and defends a pragmatic approach which aims to reconcile (...) these two positions. The core of this proposal is that moral individualism and moral relationalism are best understood as distinct deliberative strategies for attributing moral status to SRs, and that both are worth preserving insofar as they answer to different kinds of practical problems that we face as moral agents. (shrink)

Conventional scientific realism is just the doctrine that our theoretical terms refer. Conventional antirealism denies, for various reasons, theoretical reference and takes theory to give us only information about the word of the perceptual where reference, it would appear, is secure. But reference fails for the perceptual every bit as much for the perceptual as for the theoretical, and for the same reason: the world is too complicated for us to succeed in attaching specific referents to our terms. That would (...) appear to leave us with a kind of latter day, representational idealism: All we have are representations. I argue that our representations tell us about an independent world without securing reference by showing that the world is very like the way it is represented in a range of different, often complementary modeling schemes. Though never exact, these representations are of something extra-representational because they present the world modally as going beyond what is represented explicitly. (shrink)

(2013). Heidegger, Wittgenstein and St Paul on the Last Judgement: On the Roots and Significance of ‘The Theoretical Attitude’. British Journal for the History of Philosophy: Vol. 21, No. 1, pp. 143-164. doi: 10.1080/09608788.2012.686980.

Noam Chomsky offered a fruitful conception of the languages that children regularly acquire and use in human speech. In discussions of meaning, Chomsky often emphasizes complexities of usage and warns against theories that identify word meanings with sets of things that the words are allegedly “true of.” While syntactic structure plays an important role in determining the conditions on reference that complex expressions impose, Chomsky denied that the semantic role of syntax is adequately characterized as a mapping from syntactic structures (...) and extensions of lexical items to extensions of complex expressions. Chomsky began by describing languages as sets of sentences, with sentences described as strings of “formatives.” This familiar simplification was pedagogically useful. It let Chomsky distinguish importantly different kinds of recursive procedures, without yet discussing homophony. (shrink)

Paul Rateau traces the genesis and development of G.W. Leibniz's treatment of the problem of evil, from his earliest writings through the Essays on Theodicy (1710). By investigating Leibniz's early thinking about what evil is and where it comes from, Rateau reveals the deeply original nature of Leibniz's later work and the challenges it raises. Rateau explores the ways in which the Theodicy's theoretical project, which integrates numerous disciplines and various argumentative strategies, informs and is influenced by two more (...) practical aims-justifying the end of denominational divisions between Catholics and Protestants, and inculcating "true piety" in believers. By paying equal attention to both Leibniz's intellectual and personal development, Rateau offers a holistic view of Leibniz's most profound and sophisticated work of philosophy. Rateau shows how the young Leibniz moves from suggesting that the author of evil is God himself to later defending an original theory of necessitarianism (in The Confession of a Philosopher), which makes God the first link in the chain of beings that constitute the world, but which ultimately denies God's responsibility for sin. By examining Leibniz's theoretical development after 1673, he demonstrates how Leibniz comes to a revised framework that forms the basis for the project of theodicy. After having examined the defensive and the doctrinal aspects of the Theodicy, Rateau shows how human freedom can be reconciled with divine freedom in Leibniz's system. Newly translated from the original French edition, Rateau's book offers a novel and important new interpretation of Leibniz and will appeal to scholars both of Leibniz and of early modern thought generally. (shrink)

Paul Boghossian has pointed out a ’circularity problem’ for dispositionalist theories of meaning: as a result of the holistic character of belief fixation, one cannot identify someone’s meaning such and such with facts of the form S is disposed to utter P under conditions C, without C involving the semantic and intentional notions that such a theory was to explain. Alex Miller has recently suggested an ’ultra‐sophisticated dispositionalism’ (modelled on David Lewis’s well known version of functionlism) and has argued (...) that this version of dispositionalism escapes Boghossian’s ’circularity problem’. Miller argues, nonetheless, that another of Boghossian’s criticisms of dispositionalism, ’the infinity problem’ still applies to this ’ultra‐sophisticated dispositionalism’: C will still draw upon a potential infinity of mediating background clusters of belief. The present paper argues that the feature that ’the infinity problem’ presents as problematic is a feature of a host of familiar explanations. Our fundamental difficulty in this area is not our inability to understand how a more general model can be applied to a particular domain (the intentional understood as dispositional) but our failure to understand that general model itself (dispositional explanation). (shrink)

Paul L. Holmer (1916-2004) was Professor of Philosophy at the University of Minnesota (1946-1960) and Noah Porter Professor of Philosophical Theology at Yale Divinity School (1960-1987). Among his many acomplishments, Holmer was one of the most significant American students of Kierkegaard of his generation. Although written in the 1950s and 1960s, Holmer's theological and philosophical engagement with Kierkegaard challenges much in the contemporary scholarly discussions of this important thinker. Unlike many, Holmer refuses reductionist readings that tie Kierkegaard to any (...) particular "school." He likewise criticizes biographical readings of Kierkegaard, much in vogue recently, seeing Kierkegaard rather as an indirect communicator aiming at his reader's own ethical and religious capacities. Holmer also rejects popular existentialist readings of Kierkegaard, seeing him as an analyzer of concepts, while at the same time denying that he is a "crypto-analyst." Holmer criticizes the attempt to construe Kierkegaard as a didactic religious thinker, appreciating Kierkegaard's "cool" descriptive objectivity and his ironic and stylistic virtuosity. In his important reading of Kierkegaard on "truth," Holmer pits Kierkegaard against those who see "truth" empirically, idealistically, or relativistically. Holmer's carefully textured account of Kierkegaard's conceptual grammar of "truth" in ethical and religious contexts, fifty years after it was penned, addresses immediately current discussions of truth, meaning, reference, and realism versus antirealism, relativism, and hermeneutics. It will be of great interest to all interested in Kierkegaard and his importance for contemporary theology and philosophy. (shrink)

L’auteur revisite certains textes de Paul Ricœur publiés entre 1960 et 1992, afin d’exposer le rapport de cette philosophie avec la théologie chrétienne. Il interroge le statut de la théologie spéculative, dévolu par cette pensée, qui accorde un certain privilège à la théologie herméneutique et à la théologie politique.