According to a recent account of epistemic authority proposed by Linda Zagzebski (2012), it is rational for laypersons to believe on authority when they conscientiously judge that the authority is more likely to form true beliefs and avoid false ones than they are in some domain. Christoph Jäger (2016) has recently raised several objections to her view. By contrast, I argue that both theories fail to adequately capture what epistemic authority is, and I offer an alternative account grounded in the (...) abilities that different kinds of authorities are required to possess. (shrink)

Substance dualism is on the move. Though the view remains unfashionable, a growing and diverse group of philosophers endorse it on impressive empirical, religious, and purely metaphysical grounds. In this note, I develop and evaluate one conceptual argument for substance dualism. According to that argument, we may derive a conclusion about our nature from the mere fact that we have the concept of a spirit. The argument is intriguing and fruitful; but I shall contend that it is, nonetheless, unsound.

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)

My aim in this paper is to argue against what I call “epistemic” pessimism about moral testimony. Epistemic pessimists argue that moral testimony fails to transmit epistemic warrant as non-moral testimony does. I reject epistemic pessimism by defending theNo Difference Thesis, that there is no in principle difference between the transmission of epistemic warrant by moral and non-moral testimony. The main thrust of my argument is that there is a goodprima faciecase to be made for the thesis, namely, that it (...) is supported by all of the major current epistemological views of testimonial warrant, both reductionist and non-reductionist. After making this case, I consider five pessimist attempts to undermine theNo Difference Thesis, and argue that none of these attempts succeeds. So, in the absence of any other compelling criticisms, we are justified in rejecting epistemic pessimism and accepting theNo Difference Thesis. (shrink)

Quasi-truth (a.k.a. pragmatic truth or partial truth) is typically advanced as a framework accounting for incompleteness and uncertainty in the actual practices of science. Also, it is said to be useful for accommodating cases of inconsistency in science without leading to triviality. In this paper, we argue that the formalism available does not deliver all that is promised. We examine the standard account of quasi-truth in the literature, advanced by da Costa and collaborators in many places, and argue that it (...) cannot legitimately account for incompleteness in science. We shall claim that it conflates paraconsistency and paracompleteness. It also cannot properly account for inconsistencies, because no direct contradiction of the form S ∧ ¬S can be quasi-true according to the framework; contradictions simply have no place in the formalism. Finally, we advance an alternative interpretation of the formalism in terms of dealing with distinct contexts where incompatible information is dealt with. This does not save the original program, but seems to make better sense of the apparatus. (shrink)

Panmetaphoricism is the view that our speech about God can only be metaphorical. In this essay, I do not assess the reasons that have been given for the view. Rather, I assess the view itself. My aim is to develop the most plausible version of panmetaphoricism in order to gain a clear view of the God it offers for our consideration.

In 1902 there arrived in Jena a letter from Russell laying out a proof that shattered Frege’s confidence in logicism, which is widely taken to be the doctrine according to which every truth of arithmetic is re-expressible without relevant loss as a provable truth about a purely logical object. Frege was persuaded that Russell had exposed a pathology in logicism, which faced him with the task of examining its symptoms, diagnosing its cause, assessing its seriousness, arriving at a treatment option, (...) and making an estimate of future prospects. The symptom was the contradiction that had crept into naïve set theory in the form of the set that provably is and is not its own member. The diagnosis was that it is caused by Basic Law V of the Grundgesetze (Frege, In: Grundgesetze der Arithmetik: Begrifsschriftlich abgeleitet, Jena: Herman Pohle, 1893/1903. Translated into English as Basic Laws of Arithmetic, also edited by Philip A. Ebert and Marcus Rossberg, with Crispin Wright, Oxford: Oxford University Press, 2013). Triage answers the question, “How bad is it?” The answer was that the contradiction irreparably destroys the logicist project. The treatment option was nil. The disease was untreatable. In due course, the prognosis turned out to be that a scaled-down Fregean logic could have an honourable life as a theory inference for various domains of mathematical discourse, but not for domains containing the logical objects required for logicism. Since there aren’t such objects, there aren’t such domains. On the face of it, Frege’s logicist collapse is astonishing. Why wouldn’t he have repaired the fault in Law V and gone back to the business of bringing logicism to an assured realization? In the course of our reflections, we will have nice occasion to consider the good it might have done Frege to have booked some time with Aristotle had he been able to. By the time we’re finished, we’ll have cause to think that in the end the Russell might well have begged the question against Frege. (shrink)

Though the divide between reason-based and causal-explanatory approaches in psychiatry and psychopathology is old and deeply rooted, current trends involving multi-factorial explanatory models and evidence-based approaches to interpersonal psychotherapy, show that it has already been implicitly bridged. These trends require a philosophical reconsideration of how reasons can be causes. This paper contributes to that trajectory by arguing that Donald Davidson’s classic paradigm of 1963 is still a valid option.

This article will set out to elucidate the ways in which the philosophies of technology of Martin Heidegger and Bruno Latour seek to explain how the phenomenal world of nature, objects and tools come to presence as events through their interrelations with each other and with us. Both thinkers seek to overcome a subject/object divide that they both understand as characterising modernity in order to reveal a greater interdependence between nature and culture, human and machine. Not only do they both (...) seek to deconstruct the subject/object divide that techno-science has imposed as a paradigm dictating how we as subjects understand the world, but they both use a similar strategy to do so, finding a better means of allowing phenomena to come to presence by turning to premodern culture, ancient Greece for Heidegger, ‘primitive’, non-modern cultures for Bruno Latour. And both find in art the link to move beyond the modern paradigm to reveal technology’s hidden creative potential. By focusing on a shared problem, that of the subject/object divide that both thinkers understand as constitutive of modernity, and a shared strategy to resolve this problem, that of art, this article will set out to show how Heidegger and Latour’s strategies for revealing the co-constitution of Dasein and World as co-dependent agencies are more similar than is commonly held. But through this analysis of co-dependency, a central divergence between the two thinkers will come to the fore, that of singularity versus multiplicity . It is this crucial difference, I will hold, that will prove critical in envisioning the future of phenomenology. To the extent that we are now living amongst hybrid entities, cyborgs and forms of intelligent emergence where subject and object, nature and culture, can no longer be so easily differentiated, it seems as though opening ourselves to what presences may entail heeding Latour’s call to embrace both mediations and multitudes. If subjects and objects have been replaced by mediations that can finally ‘show themselves in themselves’ and express their own agency, and transcendental consciousness has been abandoned for an emergence consciousness that is immanent, interdependent, and greater than the sum of all individual minds, we must finally question the impact of such a state of affairs on phenomenological perception itself. (shrink)

Se puede considerar que Berkeley y Hume son antecedentes filosóficos del Formalismo Matemático. Ambos sostienen una visión instrumentalista y no-realista de las matemáticas. En la conferencia se explora las diferencias y similitudes de ambos autores, así como el porque se les puede considerar ser antecesores del Formalismo.