Problems for Generic Reliabilism lead to a more specific account of knowledge as involving the exercise of intellectual virtues or faculties.

Most of the literature surrounding virtue reliabilism revolves around issues pertaining to the analysis of knowledge. With the exception of the lottery paradox, virtue reliabilists have paid relatively little attention to classic epistemological paradoxes, such as Moore’s paradox. This is a significant omission given how central role such paradoxes have in epistemic theorizing. In this essay I take a step towards remedying this shortcoming by providing a solution to Moore’s paradox. The solution that I offer stems directly from (...) the core of virtue reliabilism. (shrink)

Social epistemology should be truth-centred, argues Goldman. Social epistemology should capture the ‘logic of everyday practices’ and describe socially ‘situated’ reasoning, says Fuller. Starting from Goldman’s vision of epistemology, this paper aims to argue for Fuller’s contention. Social epistemology cannot focus solely on the truth because the truth can be got in lucky ways. The same too could be said for reliability. Adding a second layer of epistemic evaluation helps only insofar as the reasons thus specified are appropriately connected to (...) reliability. These claims are first made in abstract, and then developed with regard to our practice of trusting testimony, where an epistemological investigation into the grounds of reliability must inevitably detail the ‘logic of everyday practices’. (shrink)

Philosophers of memory have approached the relationship between memory and imagination from two very different perspectives. Advocates of the causal theory of memory, on the one hand, have motivated their preferred theory by appealing to the intuitive contrast between successfully remembering an event and merely imagining it. Advocates of the simulation theory, on the other hand, have motivated their preferred theory by appealing to empirical evidence for important similarities between remembering the past and imagining the future. Recently, causalists have argued (...) that simulationism is unable to accommodate the difference between successful remembering and forms of unsuccessful remembering or mere imagining such as confabulating. This paper argues that, while these arguments fail, simulationism, in its current form, is indeed unable to provide a fully adequate account of unsuccessful remembering. Rather than suggesting a return to causalism, the paper proposes a new form of simulationism, a virtue theory of memory modelled not on the process reliabilist epistemology that has so far served as the inspiration for the simulation theory but instead on virtue reliabilist epistemology, and shows that this new theory grounds a more adequate account of unsuccessful remembering. (shrink)

ABSTRACT At the centre of Plato’s Euthydemus lie a series of arguments in which Socrates’ interlocutors, the sophists Euthydemus and Dionysodorus propose a radical account of truth (‘chopped logos’) according to which there is no such thing as falsehood, and no such thing as disagreement (here ‘counter-saying’). This account of truth is not directly refutable; but in response Socrates offers a revised account of ‘saying’ focussed on the different aspects of the verb (perfect and imperfect) to give a rich account (...) of saying, of truth and of knowledge. I argue that Socrates’ response has much to offer, notably in its amplification of the process of saying and cognition, and the development of virtue. (shrink)

Knowledge defeat occurs when a subject knows that _p_, gains a defeater for her belief, and thereby loses her knowledge without necessarily losing her belief. It’s far from obvious that externalists can accommodate putative cases of knowledge defeat since a belief that satisfies the externalist conditions for knowledge can satisfy those conditions even if the subject later gains a defeater for her belief. I’ll argue that virtue reliabilists can accommodate defeat intuitions via a new kind of error theory. I (...) argue that in cases where the subject holds dogmatically onto her belief in the face of an apparent defeater, her belief never qualified as knowledge, since the belief was not gained via an exercise of her epistemic virtues. In cases where the subject suspends her judgment upon receiving the putative defeater her original belief might have qualified as knowledge, but crucially, in such cases knowledge is lost due to loss of belief, rather than due to the epistemic force of the defeater. Therefore, knowledge defeat isn’t a genuine phenomenon even though there are no cases where a subject knows what she originally believed after receiving the putative defeater. (shrink)

I review a familiar skeptical argument from Hume, and conclude that it requires us to accept that there is no necessary relation between beliefs about the world and their evidential grounds; that is, there is no logical or quasi-logical relation between empirical beliefs and their grounds, such that their grounds entail them, or even make them probable. I then argue that generic reliabilism can accommodate this fact about evidential grounds in a non-skeptical way. According to reliabilism, the grounds for our (...) beliefs constitute good evidence so long as they are contingently reliable. Next I argue that agent reliabilism successfully addresses two related problems for other versions of reliabilism: the fact that beliefs can be reliably formed by accident, and the need for subjective justification. Finally, I explain why agent reliabilism is properly conceived as a version of virtue epistemology. (shrink)

Mainstream epistemologists have recently made a few isolated attempts to demonstrate the particular ways, in which specific types of knowledge are partly social. Two promising cases in point are Lackey’s dualism in the epistemology of testimony and Goldberg’s process reliabilist treatment of testimonial and coverage-support justification. What seems to be missing from the literature, however, is a general approach to knowledge that could reveal the partly social nature of the latter anytime this may be the case. Indicatively, even though Lackey (...) :345–361, 2007) has recently launched an attack against the Credit Account of Knowledge on the basis of testimony, she has not classified her view of testimonial knowledge into any of the alternative, general approaches to knowledge. Similarly, even if Goldberg’s attempt to provide a process reliabilist explanation of the social nature of testimonial knowledge is deemed satisfactory, his attempt to do the same in the case of coverage-support justification does not deliver the requisite result. This paper demonstrates that CAK can in fact provide, pace Lackey’s renunciation of the view, a promising account of the social nature of both testimonial and coverage-supported knowledge. Additionally, however, it can display further explanatory power by also revealing the social nature of knowledge produced on the basis of epistemic artifacts. Despite their disparities, all these types of knowledge count as partly social in nature, because in all these cases, according to CAK, the epistemic credit for the individual agent’s true belief must spread between the individual agent and certain parts of her epistemic community. Accordingly, CAK is a promising candidate for providing a unified approach to several and, perhaps all possible, instances of what we may call ‘weak epistemic anti-individualism’ within mainstream epistemology: i.e., the claim that the nature of knowledge can occasionally be both social and individual at the same time. (shrink)

This volume contains twelve previously published essays, dealing with non-formal modes of inference, with some specifically logical issues, with language and symbolic representation, with Goodman, Chomsky, and Skinner. In the first, "Reasonableness," we are told that "it would be heroic folly to aspire to be reasonable in all situations," and that reasonableness turns out to be "a somewhat humdrum, pedestrian virtue, involving... a problematic calculation of probabilities and expected values in situations of inescapable fallibility." Still, we are happily told (...) that "in a situation in which it is uncertain which action to take, an action is reasonable if there is some sufficient reason to take it, and no better reason to choose one of the alternatives.". (shrink)

Epistemic reliabilism holds that a belief is justified if and only if it is produced by a reliable or truth-conducive process. I argue that reliabilism offers an epistemology for bounded rationality. This latter concept refers to normative and descriptive accounts of real-world reasoning instead of some ideal reasoning. However, as initially formulated, reliabilism involves an absolute, context-independent assessment of rationality that does not do justice to the fact that several processes are reliable in some reasoning environments but not in others, (...) as is widely reported in the cognitive sciences literature. I consider possible solutions to this problem. Resorting to ‘normality reliabilism’, a variant of the theory, is one; but I find it insufficient. Therefore, in addition, I propose to relativise the reliability assessment to reasoning environments. This novel version of reliabilism fits bounded rationality better than the original one does. (shrink)

Wittgenstein’s language games can be put into a wider service by virtue of elements they share with some contemporary opinions concerning logic and the semantics of computation. I will give two examples: manifestations of language games and their possible variations in logical studies, and their role in some of the recent developments in computer science. It turns out that the current paradigm of computation that Girard termed Ludics bears a striking resemblance to members of language games. Moreover, the kind (...) of interrelations that are emerging could be scrutinised from the viewpoint of logic that virtually necessitates game-theoretic conceptualisations, demonstrating the fact that the meaning of utterances may, in many situations, be understood as Wittgenstein’s language games of ‘showing or telling what one sees’. This provides motivation for the use of games in relation to logic and formal semantics that some commentators have called for. Many of the ideas can be traced to C.S. Peirce, for whom signs were vehicles of strategic communication. The conclusion about Wittgenstein is that the notions of saying and showing converge in his late philosophy. (shrink)

Logical pluralism is the view that there is more than one formal logic that correctly (or best, or legitimately) codifies the logical consequence relation in natural language. This essay provides a taxonomy of different variations on the logical pluralist theme based on a five-part structure, and then identifies an unoccupied position in this taxonomy: perspectival logical pluralism. Perspectival pluralism provides an attractive position from which to formulate a philosophy of logic from a feminist perspective (and from other, identity-based perspectives, such (...) as critical race theory). An example of how such an account might be developed is sketched. The essay concludes by defusing an obvious objection to the perspectival approach: the claim that the correct logic (or logics), in virtue of the formal nature of logic, should be independent of considerations regarding the identity of the reasoner. (shrink)

To avoid the problem of regress, externalists have put forward defeaters-based accounts of justification. The paper argues that existing proposals face two serious concerns: (i) They fail to accommodate related counterexamples such as Norman the clairvoyant, and, more worryingly, (ii) they fail to explain how one can be epistemically responsible in holding basic beliefs—i.e., they fail to explain how basic beliefs can avoid being arbitrary from the agent’s point of view. To solve both of these problems, a new, externalist, defeaters-based (...) account of justification is offered—viz., System Reliabilism. The core message of the view—and the way it deals with both (i) and (ii)—is the claim that the justificatory status of justified basic beliefs originates from being the undefeated outputs of a reliable, cognitively integrated system that is capable of defeating them. Simply put, to be candidates for being justified, basic beliefs must be epistemically responsible and to be so they must be undefeated while being defeasible. The paper also offers a detailed, naturalistic analysis of the notion of cognitive integration. This long-due, mechanistic account of cognitive integration is then used to argue that an additional advantage of System Reliabilism is its unique position to account for the as yet unexplained intuition that responsible beliefs are also likely to be true. (shrink)

Although several important methodologies implicitly assume the truth of epistemic conservatism, the view that holding a belief confers some measure of justification on the belief, recent criticisms have led some to conclude that epistemic conservatism is an implausible view. That conclusion is mistaken. In this article, I propose a new formulation of epistemic conservatism that is not susceptible to the criticisms leveled at earlier formulations of epistemic conservatism. In addition to withstanding these criticisms, this formulation of epistemic conservatism has several (...) benefits. First, this formulation has the benefits of earlier formulations of epistemic conservatism, that is to say it makes sense of our intuitions about justification in regard to both memory beliefs and beliefs for which we have forgotten our evidence. Second, it provides a good way of responding to the skeptic’s challenge concerning the possibility of possessing knowledge of the external world posed by the Alternative Hypotheses argument. Third, it provides responses to both forms of a new skeptical problem plaguing basic knowledge structure theories, the Problem of Easy Knowledge formulated by Stewart Cohen. I argue that given the many benefits of this formulation of epistemic conservatism and the fact that it is not vulnerable to the criticisms that undermine earlier formulations of epistemic conservatism, this formulation of epistemic conservatism is a plausible view to maintain. (shrink)

In this paper, I present an account of group competence that is explicitly framed for cases of epistemic performances. According to it, we must consider group epistemic competence as the group agents’ capacity to produce knowledge, and not the result of the summation of its individual members’ competences to produce knowledge. Additionally, I contend that group competence must be understood in terms of group normative status. To introduce my view, I present Jesper Kallestrup’s denial that group competence involves anything over (...) and beyond the aggregation of individual competences. I have divided my response into two parts. First, I compare two conceptions of competence from Ernest Sosa’s reliabilist virtue epistemology, Thinking about oneself: The place and value of reflection in philosophy and psychology, Springer, 2019) and David Löwenstein’s account of know-how. Second, I take the results from this comparison and apply them to the issue of group know-how, by the hand of Orestis Palermos and Deborah Tollefsen’s twofold approach to the topic Socially extended epistemology, Oxford University Press, 2018). Finally, I return to Kallestrup’s denial to make my point in favour of the conception of genuine group competence as the group normative status to achieve success. (shrink)

Until recently, discussion of virtues in the philosophy of mathematics has been fleeting and fragmentary at best. But in the last few years this has begun to change. As virtue theory has grown ever more influential, not just in ethics where virtues may seem most at home, but particularly in epistemology and the philosophy of science, some philosophers have sought to push virtues out into unexpected areas, including mathematics and its philosophy. But there are some mathematicians already there, ready (...) to meet them, who have explicitly invoked virtues in discussing what is necessary for a mathematician to succeed. In both ethics and epistemology, virtue theory tends to emphasize character virtues, the acquired excellences of people. But people are not the only sort of thing whose excellences may be identified as virtues. Theoretical virtues have attracted attention in the philosophy of science as components of an account of theory choice. Within the philosophy of mathematics, and mathematics itself, attention to virtues has emerged from a variety of disparate sources. Theoretical virtues have been put forward both to analyse the practice of proof and to justify axioms; intellectual virtues have found multiple applications in the epistemology of mathematics; and ethical virtues have been offered as a basis for understanding the social utility of mathematical practice. Indeed, some authors have advocated virtue epistemology as the correct epistemology for mathematics (and perhaps even as the basis for progress in the metaphysics of mathematics). This topical collection brings together several of the researchers who have begun to study mathematical practices from a virtue perspective with the intention of consolidating and encouraging this trend. (shrink)

The idea that truth is the fundamental epistemic good is explained and defended. It is argued that this proposal has been prematurely rejected on grounds that are both independently problematic and which also turn on an implausible way of understanding the proposal. A more compelling account of what it means for truth to be the fundamental epistemic good is then developed, one that treats the intellectual virtues, and thereby virtuous inquiry, as the primary theoretical notion.

In the essay I first argue that Albert ofSaxony's defense of perceptual ``directrealism'' is in fact a forerunner of contemporaryforms of ``process reliabilist''epistemologies. Second, I argue that Albert's defenseof perceptual direct realism has aninteresting consequence for his philosophy oflanguage. His semantic notion of `naturalsignification' does not require any semanticintermediary entity called a `concept' or`description', to function as the directsignificatum of written or spoken termsfor them to designate perceptual objects. AlthoughAlbert is inspired by Ockham's mentalact theory, I conclude that Albert seemsto (...) be striking out in a very new direction. (shrink)

This article seeks to correct some widespread misunderstandings of Derrida's thought, mostly amongst philosophers working in the mainstream analytic line of descent. I put the case – with reference to Of Grammatology along with other writings of his earlier period – that Derrida has made important contributions to philosophy of language and logic, especially with regard to issues of modality, tense, and the scope and limits of classical (bivalent) reasoning. Moreover I contend, again contra the received analytic view, that his (...) texts themselves bear witness to the highest standards of conceptual and logico-semantic precision. That there are now some signs – albeit hesitant and belated – of their coming to recognise these virtues of Derrida's work is welcome evidence that philosophers in that 'other', analytical tradition are beginning to move beyond the old outlook of mistrust or downright hostility toward their typecast 'continental' counterparts. (shrink)

The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, (...) deductive databases, and applications such as computer-aided manufacturing. Krzysztof R. Apt is project leader at the Centre for Mathematics and Computer Science in Amsterdam and part-time Professor in Computer Science at the University of Amsterdam. Topics covered: Theory Foundations. Programming Languages. Implementation. Programming Methodologies and Tools. Applications. Deductive Databases. Artificial Intelligence. Parallelism. (shrink)

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and (...) semantic structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

The papers collected in this volume exemplify some of the trends in current approaches to logic, language and computation. Written by authors with varied academic backgrounds, the contributions are intended for an interdisciplinary audience. The first part of this volume addresses issues relevant for multi-agent systems: reasoning with incomplete information, reasoning about knowledge and beliefs, and reasoning about games. Proofs as formal objects form the subject of Part II. Topics covered include: contributions on logical frameworks, linear logic, and different approaches (...) to formalized reasoning. Part III focuses on representations and formal methods in linguistic theory, addressing the areas of comparative and temporal expressions, modal subordination, and compositionality. (shrink)

Buoyed by research in philosophy and moral psychology, virtue ethics has become increasingly influential in the literature. This renewed attention has also led to the development of the situationist challenge: empirical studies undermine the idea that we possess character traits that allow us to act virtuously across contexts. A promising reply to the situationist challenge is that we should not conceive of virtues as traits. Instead, we should conceive of them as expert skills. Here, I raise a new challenge (...) for those who go in for the (s)kill against situationism. Expert skills are brittle, rather than flexible or robust. They typically develop in narrow ways and can falter in novel situations. Experts also sometimes perform worse than novices in novel situations. Such findings present a problem for the virtue-as-skill thesis. Someone who will help others only in narrow contexts or who causes more harm than good does not exemplify virtue. The brittleness of expert skills means that virtue theorists must either (a) abandon the idea that virtues explain behaviour across contexts or (b) abandon the idea that virtues are expert skills. It’s brittle virtue or bust – you can’t teach an old dogma new skills. (shrink)

John Greco has proposed a new sort of contextualism which exhibits a principled grounding in an agent reliabilist virtue epistemology. In this paper I will discuss Greco's two main reasons in favor of virtue contextualism. The first reason is that his account of knowledge can be derived from a more general theory of virtue and credit. The second reason consists in the thesis that a virtue contextualist solution to the lottery problem is superior to standards contextualism. (...) With regard to the first claim, I raise some questions concerning the status and the content of the crucial conditions for Greco's theory of intellectual credit. With regard to the second claim, I try to show that his arguments do not succeed in establishing the superiority of virtue contextualism to standards contextualism. I close with some remarks on the relation among Greco's virtue contextualism, the traditional approach to the theory of knowledge and the proper domain of contextualism. (shrink)

The main thesis of this paper is that we sometimes are disposed to accept false and even jointly inconsistent claims by virtue of our semantic competence, and that this comes to light in the sorites and liar paradoxes. Among the subsidiary theses are that this is an important source of indeterminacy in truth conditions, that we must revise basic assumptions about semantic competence, and that classical logic and bivalence can be upheld in the face of the sorites paradox.

Among the areas of knowledge that the method of reflective equilibrium (RE) has been applied to is that of logical validity. According to RE in logic, we come to be justified in believing a (deductive) logical theory in virtue of establishing some state of equilibrium between our initial judgements over the validity of specific (natural language) arguments and the logical principles which constitute our logical theory. Unfortunately, however, while relatively popular, RE with regards to logical theorizing is underspecified. In (...) particular, it’s unclear what constitute: (1) the relevant logical “data”, (2) logical theories, so that they can be suitably tested, and (3) the mechanisms under which such theories are tested. Considering the various options for how to interpret the position, we argue that in order to be workable the advocate of RE about logic must embrace what we call an _operationalised_, _wide_ and _communal_ version of RE with a _rich_ understanding of logical theories. Fortunately for the advocate of RE, there is an available account of logic’s epistemology which possesses just these properties, _logical predictivism_. However, equally unfortunately, logical predictivism commits the advocate of RE to certain further claims that they have historically been weary of holding. Consequently, it is unclear whether RE about logic itself is a viable proposal, or rather a similar but distinct epistemology of logic. (shrink)

The epistemic virtues and vices are typically defined in terms of effects or motivations related to the epistemic states of their possessors. However, philosophers have recently begun to consider _other-regarding_ epistemic virtues, traits oriented toward the epistemic flourishing of others. In a similar vein, this paper discusses _outward-facing_ epistemic vices, properties oriented toward the epistemic languishing of others. I argue for the existence of both reliabilist and responsibilist outward-facing vices, and illustrate how such vices negatively bear on the epistemic prospects (...) of others. I pay special attention to how outward-facing epistemic vices may manifest in online activities that promote the epistemic languishing of others by negatively influencing the online epistemic environment. (shrink)

William of Ockham (d. 1347) was among the most influential and the most notorious thinkers of the late Middle Ages. In the twenty-seven questions translated in this volume, most never before published in English, he considers a host of theological and philosophical issues, including the nature of virtue and vice, the relationship between the intellect and the will, the scope of human freedom, the possibility of God's creating a better world, the role of love and hatred in practical reasoning, (...) whether God could command someone to do wrong, and more. In answering these questions, Ockham critically engages with the ethical thought of such predecessors as Aristotle, Augustine, Thomas Aquinas, and John Duns Scotus. Students and scholars of both philosophy and historical theology will appreciate the accessible translations and ample explanatory notes on the text. Eric W. Hagedorn is Associate Professor of Philosophy at St. Norbert College, Wisconsin. He has published a number of articles and book reviews on medieval philosophy of mind, language, and logic in journals including Oxford Studies in Medieval Philosophy and Notre Dame Philosophical Reviews. (shrink)

According to reliabilist virtue epistemology, or virtue reliabilism, knowledge is true belief that is produced by intellectual excellence (or virtue), where intellectual excellence is understood in terms of reliable, truth-directed cognitive dispositions. This essay explains why virtue reliabilism is a form of epistemological externalism, is a moderately naturalized epistemology, and is distinct from virtue responsibilism. We explain virtue reliabilism’s answers to various forms of skepticism, its solution to the Gettier Problem, and its explanation of (...) the value of knowledge. We also describe several varieties of contemporary virtue reliabilism. Finally, we offer replies to two recently prominent objections to virtue reliabilism: that it is committed to an untenable epistemological individualism, and that there are empirical reasons to doubt whether people generally have the kinds of intellectual abilities that virtue reliabilism requires for knowledge. (shrink)

The SDML programming language which is optimized for modelling multi-agent interaction within articulated social structures such as organizations is described with several examples of its functionality. SDML is a strictly declarative modelling language which has object-oriented features and corresponds to a fragment of strongly grounded autoepistemic logic. The virtues of SDML include the ease of building complex models and the facility for representing agents flexibly as models of cognition as well as modularity and code reusability.

Additional theorizing about mathematical practice is needed in order to ground appeals to truly useful notions of the virtues in mathematics. This paper aims to contribute to this theorizing, first, by characterizing mathematical practice as being epistemic and “objectual” in the sense of Knorr Cetina The practice turn in contemporary theory, Routledge, London, 2001). Then, it elaborates a MacIntyrean framework for extracting conceptions of the virtues related to mathematical practice so understood. Finally, it makes the case that Wittgenstein’s methodology for (...) examining mathematics and its practice is the most appropriate one to use for the actual investigation of mathematical practice within this MacIntyrean framework. At each stage of thinking through mathematical practice by these means, places where new virtue-theoretic questions are opened up for investigation are noted and briefly explored. (shrink)

Type-logical semantics studies linguistic meaning with the help of the theory of types. The latter originated with Russell as an answer to the paradoxes, but has the additional virtue that it is very close to ordinary language. In fact, type theory is so much more similar to language than predicate logic is, that adopting it as a vehicle of representation can overcome the mismatches between grammatical form and predicate logical form that were observed by Frege and Russell. The grammatical (...) forms of ordinary language sentences consequently may be taken to be much less misleading than logicians in the first half of the 20th century often thought them to be. This was realized by Richard Montague, who used the theory of types to translate fragments of ordinary language into a logical language. Semantics is commonly divided into lexical semantics, which studies the meaning of words, and compositional semantics, which studies the way in which complex phrases obtain a meaning from their constituents. The strength of type-logical semantics lies with the latter, but type-logical theories can be combined with many competing hypotheses about lexical meaning, provided these hypotheses are expressed using the language of type theory. (shrink)

The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate (...) and control the process of deduction in inquiry, i.e., they are prescriptive for the use of language and thought in inquiry, I argue that logic may, and should, be seen as an instrument or as a way of proceeding (modus procedendi) in inquiry. (shrink)

One of the critical issues in the philosophy of science is to understand scientific knowledge. This paper proposes a novel approach to the study of reflection on science, called “cognitive metascience”. In particular, it offers a new understanding of scientific knowledge as constituted by various kinds of scientific representations, framed as cognitive artifacts. It introduces a novel functional taxonomy of cognitive artifacts prevalent in scientific practice, covering a huge diversity of their formats, vehicles, and functions. As a consequence, toolboxes, conceptual (...) frameworks, theories, models, and individual hypotheses can be understood as artifacts supporting our cognitive performance. It is also shown that by empirically studying how artifacts function, we may discover hitherto undiscussed virtues and vices of these scientific representations. This paper relies on the use of language technology to analyze scientific discourse empirically, which allows us to uncover the metascientific views of researchers. This, in turn, can become part of normative considerations concerning virtues and vices of cognitive artifacts. (shrink)

The recent literature on ad hominem argument contends that the speaker’s character is sometimes relevant to evaluating what she says. This effort to redeem ad hominems requires an analysis of character that explains why and how character is relevant. I argue that virtue epistemology supplies this analysis. Three sorts of ad hominems that attack the speaker’s intellectual character are legitimate. They attack a speaker’s: (1) possession of reliabilist vices; or (2) possession of responsibilist vices; or (3) failure to perform (...) intellectually virtuous acts. Legitimate ad hominems conclude that we should not believe what a speaker says solely on her say-so. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Diacritics 29.3 (1999) 22-39 [Access article in PDF] Review Article Language, or No Language Daniel Heller-Roazen Werner Hamacher. Maser: Bemerkungen im Hinblick auf Hinrich Weidemanns Bilder. Berlin: Gallerie Max Hetzler, 1998. All translations from this text are my own. [M] ________. pleroma--Reading in Hegel. Trans. Nicholas Walker and Simon Jarvis. Stanford: Stanford UP, 1998. [pl] ________. Premises: Essays on Philosophy and Literature from Kant to Celan. Trans. Peter Fenves. (...) Cambridge, MA: Harvard UP, 1996. [P] Trans. of Entferntes Verstehen: Studien zu Philosophie und Literatur von Kant bis Celan. Frankfurt am Main: Suhrkamp, 1998. [EV] 1. The Rest of Language When Aristotle, at the opening of his treatise on interpretation, defines the nature and function of language, he does so by referring "the things in the voice [ta en tei phonei]" to impressions on the soul (pathe¯mata), which, in turn, he refers to "things [pragmata]" [De interpretatione 16a4 ff.]. Aristotle's text establishes, in this way, that vocal utterances are signs of things. The philosophical significance of this gesture could not be more decisive. Once De interpretatione determines the canonical form of the statement as a "meaningful sentence [logos se¯mantikos]" and, more precisely, as a "proposition [logos apophantikos]" bearing truth or falsity, and once it asserts that truth and falsity reside in the composition (synthesis) of elements [16a10-15], 1 the consequence is inevitable: the paradigmatic form of true speech must be that of the "statement of one thing concerning another thing [legein ti kata tinos]" [17a25]. 2 Here it matters little whether the relation of speech to things is grasped as one of imitation or constitution, reproduction or production; it matters little, moreover, whether the things at issue--that which language means--are understood as sensible objects or supersensuous entities, material beings or logical idealities. In every utterance, speech, by virtue of its very form, is necessarily capable of being dissolved into those things of which it speaks. Indeed, the Aristotelian principle of analysis (literally, "loosening up") demands this [End Page 22] dissolution as the end toward which all speech, insofar as it is both assertive and predicative, ultimately tends. Language is thus posited only in order to be effaced; its specific constituents are identified only to be returned, in the end, to the world of things. When Augustine writes, in a lapidary formula at the start of his De doctrina christiana, that "things are learned by signs [res per signa discuntur]" [1.2.2.20], he simply summarizes what is already stated in the Aristotelian locus classicus: words, the elements of language, function in the service of things; when words show what exists, their task is accomplished.Werner Hamacher's works constitute perhaps the most powerful contemporary attempt to delineate and interrogate this aporetic structure, by which language, in its classical philosophical and theoretical elaboration, is simultaneously constructed and effaced, identified as such and destituted of all propriety. The implications of this structure, which are both logical and metaphysical, extend not only to the Aristotelian, but even to the most modern theories of language and its operation. "At the end of every semantic theory of language and its truth," Hamacher thus writes in Premises: Essays on Philosophy and Literature from Kant to Celan, "stands the aporetic verdict: language does not speak; it has nothing to say" [P 338; EV 325]. When language is determined by its "semantic and referential functions," we read, it follows that at "the end and thus the site of its destination, it no longer means anything and no longer refers to anything" [P 338; EV 325]. If Hamacher's texts often take as their point of departure contemporary doctrines of literary production and language, it is because, in the field of literary studies, the invocation of the semantic determination of language thus leads thought to eliminate the very element that might have been its subject of examination: language. The one discipline that might have resisted the apophantic dissolution of language proves itself not to be, as the German term has it, a "science of literature [Literaturwissenschaft]" but, rather, "more or less clandestinely a science against literature" [P... (shrink)

The value problem for knowledge is the problem of explaining why knowledge is cognitively more valuable than mere true belief. If an account of the nature of knowledge is unable to solve the value problem for knowledge, this provides a pro tanto reason to reject that account. Recent literature argues that process reliabilism is unable to solve the value problem because it succumbs to an objection known as the swamping objection. Virtue reliabilism (i.e., agent reliabilism), on the other hand, (...) is able to solve the value problem because it can avoid the swamping objection. I argue that virtue reliabilism escapes the swamping objection only by employing what I call an entailment strategy. Furthermore, since an entailment strategy is open to the process reliabilist (in two different forms), I argue that the process reliabilist is also able to escape the swamping objection and thereby solve the value problem for knowledge. (shrink)

The value problem for knowledge is the problem of explaining why knowledge is cognitively more valuable than mere true belief. If an account of the nature of knowledge is unable to solve the value problem for knowledge, this provides a pro tanto reason to reject that account. Recent literature argues that process reliabilism is unable to solve the value problem because it succumbs to an objection known as the swamping objection. Virtue reliabilism (i.e., agent reliabilism), on the other hand, (...) is able to solve the value problem because it can avoid the swamping objection. I argue that virtue reliabilism escapes the swamping objection only by employing what I call an entailment strategy. Furthermore, since an entailment strategy is open to the process reliabilist (in two different forms), I argue that the process reliabilist is also able to escape the swamping objection and thereby solve the value problem for knowledge. (shrink)

Consider the following argument: All men are mortal; Socrates is a man; therefore, Socrates is mortal. Intuitively, what makes this a valid argument has nothing to do with Socrates, men, or mortality. Rather, each sentence in the argument exhibits a certain logical form, which, together with the forms of the other two, constitute a pattern that, of itself, guarantees the truth of the conclusion given the truth of the premises. More generally, then, the logical form of a sentence of natural (...) language is what determines both its logical properties and its logical relations to other sentences. The logical form of a sentence of natural language is typically represented in a theory of logical form by a well-formed formula in a ‘logically pure’ language whose only meaningful symbols are expressions with fixed, distinctly logical meanings (e.g., quantifiers). Thus, the logical forms of the sentences in the above argument would be represented in a theory based on pure predicate logic by the formulas ‘∀x(Fx ⊃ Gx)’, ‘Fy’, and ‘Gy’, respectively, where ‘F’, ‘G’, and ‘y’ are all free variables. The argument’s intuitive validity is then explained in virtue of the fact that the logical forms of the premises formally entail the logical form of the conclusion. The primary goal of a theory of logical form is to explain as broad a range of such intuitive logical phenomena as possible in terms of the logical forms that it assigns to sentences of natural language. (shrink)

Wittgenstein taught us that there could not be a logically private language— a language on the proper speaking of which it was logically impossible for there to be more than one expert. For then there would be no difference between this person thinking she was using the language correctly and her actually using it correctly. The distinction requires the logical possibility of someone other than her being expert enough to criticize or corroborate her usage, someone able to constitute or hold (...) her to a standard of proper use. I shall explore the possibility of something opposite- sounding about laws, namely, that there could in principle be laws whose existence, legitimacy, goodness, and efficacy depend upon their being private, in this sense: their existence is kept secret from those who legitimately benefit from the laws and yet who would misguidedly destroy them were they to come to know of them; and it is kept secret from those who would illegitimately benefit from being able to circumvent the laws, and who could circumvent them if they knew of them. The secrecy of the laws increases their efficacy against bad behavior, and since were the public to come to know of these laws the public would lose its nerve and demand that the laws be rescinded, it prevents the public from destroying laws that are in fact in the public interest. These laws are therefore in a way logically private: they cannot at the same time exist, have the foregoing virtues, and be public. After proposing conditions under which such laws ought to be enacted, I moot logical objections to the very idea that there could be such laws, practical objections to their workability, and moral objections to their permissibility. I conclude by suggesting that, while we normally think of secret laws as creatures of the executive branch, things functionally equivalent to secret laws could also be created by other branches of government and societal institutions, and that all of this would be compatible with the form of sovereignty that is democratically grounded in the will and interests of the people. (shrink)

In considering the very possibility of deviant logic, we face the following question: what makes us see an operator of one logical system as a deviant version of an operator of another system? Why not see it simply as a different operator? Why do we see, say, intuitionist implication as an operator 'competing' with classical implication? Is it only because both happen to be called implications?1 It is clear that if we want to make cross-systemic comparisons, we need an 'Archimedean (...) point' external to the systems compared. Some logicians and philosophers, including Quine (1986), come close to saying that no such Archimedean point is available, and hence that there can be no deviant logics, for if two operators are governed by different axioms, then they are simply two different operators (or, if you prefer, operators with different meanings). From this viewpoint, intuitionist implication is no less different from classical implication than, say, intuitionist or classical conjunction. This conclusion is indeed plausible if we consider logical calculi simply as algebraic structures2; however, things are different if we see them as a means of accounting for something that is already 'there' before we establish the structures and is to be explicated by them. From such a perspective, two operators of different systems may be variants of the same operator in virtue of the fact that they are both means of capturing the same pretheoretical item. What might these items be? Sometimes it seems that logicians tacitly assume that there are some mythical archetypes of implication, conjunction etc., located somewhere in some Platonic heaven or somehow underlying the a priori structures of our mind, which logic tries to capture (for better or worse). However, when it comes to the comparison of the concrete outcomes of our logical efforts, say the classical and the intuitionist implications with the archetypal Implication, the latter can never be materialized so distinctly as to be of any help. A more constructive proposal is that the operators are related to elements or constructions of our language.. (shrink)

Ignacio Jane has argued that second-order logic presupposes some amount of set theory and hence cannot legitimately be used in axiomatizing set theory. I focus here on his claim that the second-order formulation of the Axiom of Separation presupposes the character of the power set operation, thereby preventing a thorough study of the power set of infinite sets, a central part of set theory. In reply I argue that substantive issues often cannot be separated from a logic, but rather must (...) be presupposed. I call this the logic-metalogic link. There are two facets to the logic-metalogic link. First, when a logic is entangled with a substantive issue, the same position on that issue should be taken at the meta- level as at the object level; and second, if an expression has a clear meaning in natural language, then the corresponding concept can equally well be deployed in a formal language. The determinate nature of the power set operation is one such substantive issue in set theory. Whether there is a determinate power set of an infinite set can only be presupposed in set theory, not proved, so the use of second-order logic cannot be ruled out by virtue of presupposing one answer to this question. Moreover, the legitimacy of presupposing in the background logic that the power set of an infinite set is determinate is guaranteed by the clarity and definiteness of the notions of all and of subset. This is also exactly what is required for the same presupposition to be legitimately made in an axiomatic set theory, so the use of second-order logic in set theory rather than first-order logic does not require any new metatheoretic commitments. (shrink)

Causal analyses of one’s knowing that p have recently emphasized the involvement of cognitive virtues in coming to believe that p. John Greco suggests that in order to deal with Gettier-type cases, a virtue analysis of knowing should include a requirement that one’s knowing does not in a certain way involve abnormality. Yet Greco’s emphasis on statistical abnormality either renders his analysis subject to a generality problem or to objections regarding certain Gettier-type cases. When we instead consider abnormality in (...) the sense of a causally differentiating factor in relation to a causal contrast situation, the account remains unclear concerning its application to an interesting non-Gettier-type case concerning chance. The exploration of these shortcomings casts doubt on the epistemological usefulness of the schema, ‘If you know, then there is no abnormality in your being right. ’. (shrink)

This chapter contains sections titled: Introduction How to Read Maimonides' Guide of the Perplexed Belief and Articles of Faith The Art of Biblical Exegesis: Harvesting “Apples of Gold” Language and Logic Philosophy and the Art of Demonstration Conclusion: Implications of Maimonides' Views further reading.

I give an informal presentation of the evolutionary game theoretic approach to the conventions that constitute linguistic meaning. The aim is to give a philosophical interpretation of the project, which accounts for the role of game theoretic mathematics in explaining linguistic phenomena. I articulate the main virtue of this sort of account, which is its psychological economy, and I point to the casual mechanisms that are the ground of the application of evolutionary game theory to linguistic phenomena. Lastly, I (...) consider the objection that the account cannot explain predication, logic, and compositionality. (shrink)