Obituary of an American philosopher born in Latvia. Family fled Russians, migrated to Milwaukee. John became first non-identical twin to receive a kidney transplant, wrote about new technology.

A Letter to the Editor about the origin of "gender identity" and deficiencies in its current definition.

Dewey's instrumentalist approach to problem-solving stressed social organization; and under this umbrella he included unionization. First part of this article: his active involvement in and support for the union movement summarized. Second part: his theoretical defense of unions is addressed, especially as to "democratic liberalism" and its implementation in the fabric of society. Third part: a brief account of the current status of unions in universities.

John Keane’s book is an important intervention in the debate on the persistent proliferation of violence and its role in political life, especially in democracies.

The representational theory of phenomenal experience is often stated in terms of a supervenience thesis: Byrne recently characterises it as the thesis that “there can be no difference in phenomenal character without a difference in content”, while according to Tye, “[a]t a minimum, the thesis is one of supervenience: necessarily, experiences that are alike in their representational contents are alike in their phenomenal character.” Consequently, much of the debate over whether representationalism is true centres on purported counter-examples – that (...) is to say, purported failures of supervenience. The refutation of putative counter-examples has been, it seems to me, by and large successful. But there is a certain class of these for which the representationalist response has been something less than completely convincing. These are the cross-modality cases. I will explain what I mean, and then argue that the response in question is not only unconvincing but actually undermines the representationalist position. (shrink)

Religious pluralism is the view that more than one religion is correct, and that no religion enjoys a special status in relation to the ultimate. Yet the world religions appear to be incompatible. How, then, can more than one be correct? Discussions and critiques of religious pluralism usually focus on the work of John Hick, yet there are a number of other pluralists whose responses to this incompatibility problem are importantly different from Hick’s. This article surveys the solutions of (...) Hick, Harrison, Heim, Byrne, and Knitter to the incompatibility problem. I conclude that, while none of these views is without weakness, there are several promising pluralist solutions to this problem. Moreover, confessionalists (i.e. exclusivists and inclusivists) must also address issues related to incompatibility. (shrink)

This is the review of a book by Paula Byrne on Lord Mansfield's great-niece, Dido, whom he raised as his own daughter. Lord Mansfield was the Lord Chief Justice of England in the Eighteenth Century. The child was brought to him as an infant and grew up to become what we would today term his paralegal clerk in his Library at Kenwood House. His great-niece was the child of a black slave and his sister's son, Sir John Lindsay. (...) This is also a narrative of the British Slave trade including some of Lord Mansfield's judgements at the King's Bench Division, Royal Courts of Justice. (shrink)

Judging by our folk appraisals, then, knowledge and action are intimately related. The theories of rational action with which we are familiar leave this unexplained. Moreover, discussions of knowledge are frequently silent about this connection. This is a shame, since if there is such a connection it would seem to constitute one of the most fundamental roles for knowledge. Our purpose in this paper is to rectify this lacuna, by exploring ways in which knowing something is related to rationally acting (...) upon it, defending one particular proposal against anticipated objections. (shrink)

On the extended mind hypothesis (EM), many of our cognitive states and processes are hybrids, unevenly distributed across biological and nonbiological realms. In certain circumstances, things - artifacts, media, or technologies - can have a cognitive life, with histories often as idiosyncratic as those of the embodied brains with which they couple. The realm of the mental can spread across the physical, social, and cultural environments as well as bodies and brains. My independent aims in this chapter are: first, to (...) describe two compatible but distinct movements or "waves" within the EM literature, arguing for the priority of the second wave (and gesturing briefly toward a third); and, second, to defend and illustrate the interdisciplinary implications of EM as best understood, specifically for historical disciplines, by sketching two case studies. (shrink)

Demonstratives seem to have posed a severe difficulty for Frege’s philosophy of language, to which his doctrine of incommunicable senses was a reaction. In “The Thought,” Frege briefly discusses sentences containing such demonstratives as “today,” “here,” and “yesterday,” and then turns to certain questions that he says are raised by the occurrence of “I” in sentences (T, 24-26). He is led to say that, when one thinks about oneself, one grasps thoughts that others cannot grasp, that cannot be communicated. However, (...) nothing could be more out of the spirit of Frege’s account of sense and thought than an incommunicable, private thought. In the first part of the paper, I explain the problem demonstratives pose for Frege, and explore three ways he might have dealt with it. I argue that none of these ways provides Frege with a solution to his problem consistent with his philosophy of language. The first two are plausible as solutions, but contradict his identification of the sense expressed by a sentence with a thought. The third preserves the identification, but is implausible. In the second part, I suggest that Frege was led to his doctrine of incommunicable senses as a result of some appreciation of the difficulties his account of demonstratives faces, for these come quickly to the surface when we think about “I.” I argue that incommunicable senses won’t help. I end by trying to identify the central problem with Frege’s approach, and sketching an alternative. (shrink)

I argue against the orthodox view of the relationship between propositional and doxastic justification. The view under criticism is: if p is propositionally justified for S in virtue of S's having reason R, and S believes p on the basis of R, then S's belief that p is doxastically justified. I then propose and evaluate alternative accounts of the relationship between propositional and doxastic justification, and conclude that we should explain propositional justification in terms of doxastic justification. If correct, this (...) proposal would constitute a significant advance in our understanding of the sources of epistemic justification. (shrink)

Most traditional epistemologists see trust and knowledge as deeply antithetical: we cannot know by trusting in the opinions of others; knowledge must be based on evidence, not mere trust. I argue that this is badly mistaken. Modern knowers cannot be independent and self-reliant. In most disciplines, those who do not trust cannot know. Trust is thus often more epistemically basic than empirical evidence or logical argument, for the evidence and the argument are available only through trust. Finally, since the reliability (...) of testimonial evidence depends on the trustworthiness of the testifier, this implies that knowledge often rests on a foundation of ethics. The rationality of many of our beliefs depends not only on our own character, but on the character of others. (shrink)

Many philosophers favour the simple knowledge account of assertion, which says you may assert something only if you know it. The simple account is true but importantly incomplete. I defend a more informative thesis, namely, that you may assert something only if your assertion expresses knowledge. I call this 'the express knowledge account of assertion', which I argue better handles a wider range of cases while at the same time explaining the simple knowledge account's appeal. §1 introduces some new data (...) that a knowledge account of assertion well explains. §2 explains the simple knowledge account's advantage over two of its main competitors. §3 presents a problem for the simple account and offers a solution, which is to adopt the express knowledge account. §4 encapsulates the case for the express knowledge account, and offers a unifying vision for the epistemology of belief and assertion. §5 answers an objection. §6 briefly sums up. Even those who ultimately reject my conclusion can still benefit from the new data presented in §1, and learn an important lesson from the problem discussed in §3, which demonstrates a general constraint on an acceptable account of the norm of assertion. (shrink)

Epistemic reasons are mental states. They are not propositions or non-mental facts. The discussion proceeds as follows. Section 1 introduces the topic. Section 2 gives two concrete examples of how our topic directly affects the internalism/externalism debate in normative epistemology. Section 3 responds to an argument against the view that reasons are mental states. Section 4 presents two problems for the view that reasons are propositions. Section 5 presents two problems for the view that reasons are non-mental facts. Section 6 (...) argues that reasons are mental states. Section 7 responds to objections. (shrink)

In this essay I show how to reconcile epistemic invariantism with the knowledge account of assertion. My basic proposal is that we can comfortably combine invariantism with the knowledge account of assertion by endorsing contextualism about speech acts. My demonstration takes place against the backdrop of recent contextualist attempts to usurp the knowledge account of assertion, most notably Keith DeRose's influential argument that the knowledge account of assertion spells doom for invariantism and enables contextualism's ascendancy.

Conceptualism is the thesis that, for any perceptual experience E, (i) E has a Fregean proposition as its content and (ii) a subject of E must possess a concept for each item represented by E. We advance a framework within which conceptualism may be defended against its most serious objections (e.g., Richard Heck's argument from nonveridical experience). The framework is of independent interest for the philosophy of mind and epistemology given its implications for debates regarding transparency, relationalism and representationalism, demonstrative (...) thought, phenomenal character, and the speckled hen objection to modest foundationalism. (shrink)

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...) by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

One fairly common view about practical reason has it that whether you have a reason to act is not determined by what you know, or believe, or are justified in believing. Your reasons are determined by the facts. Perhaps there are two kinds of reasons, and however it goes with motivating reasons, normative reasons are determined by the facts, not your take on the facts. One fairly common version of this view has it that what's reasonable for you to do (...) is determined by what you know or believe. Any view that drives this kind of wedge between reasons and rationality is inherently unstable. I argue against this view, criticize the arguments typically presented in its favor, and sketch an alternative. (shrink)

One of the most noticeable trends in recent years has been the increasing reliance of public decision-making processes on algorithms, i.e. computer-programmed step-by-step instructions for taking a given set of inputs and producing an output. The question raised by this article is whether the rise of such algorithmic governance creates problems for the moral or political legitimacy of our public decision-making processes. Ignoring common concerns with data protection and privacy, it is argued that algorithmic governance does pose a significant threat (...) to the legitimacy of such processes. Modelling my argument on Estlund’s threat of epistocracy, I call this the ‘threat of algocracy’. The article clarifies the nature of this threat and addresses two possible solutions. It is argued that neither solution is likely to be successful, at least not without risking many other things we value about social decision-making. The result is a somewhat pessimistic conclusion in which we confront the possibility that we are creating decision-making processes that constrain and limit opportunities for human participation. (shrink)

We are living through an era of increased robotisation. Some authors have already begun to explore the impact of this robotisation on legal rules and practice. In doing so, many highlight potential liability gaps that might arise through robot misbehaviour. Although these gaps are interesting and socially significant, they do not exhaust the possible gaps that might be created by increased robotisation. In this article, I make the case for one of those alternative gaps: the retribution gap. This gap arises (...) from a mismatch between the human desire for retribution and the absence of appropriate subjects of retributive blame. I argue for the potential existence of this gap in an era of increased robotisation; suggest that it is much harder to plug this gap than it is to plug those thus far explored in the literature; and then highlight three important social implications of this gap. (shrink)

This article accomplishes two closely connected things. First, it refutes an influential view about the relationship between perception and knowledge. In particular, it demonstrates that perceiving does not entail knowing. Second, it leverages that refutation to demonstrate that knowledge is not the most general factive propositional attitude.

I argue that you can have a priori knowledge of propositions that neither are nor appear necessarily true. You can know a priori contingent propositions that you recognize as such. This overturns a standard view in contemporary epistemology and the traditional view of the a priori, which restrict a priori knowledge to necessary truths, or at least to truths that appear necessary.

This paper argues that the role of knowledge in the explanation and production of intentional action is as indispensable as the roles of belief and desire. If we are interested in explaining intentional actions rather than intentions or attempts, we need to make reference to more than the agent’s beliefs and desires. It is easy to see how the truth of your beliefs, or perhaps, facts about a setting will be involved in the explanation of an action. If you believe (...) you can stop your car by pressing a pedal, then, if your belief is true, you will stop. If it is false, you will not. By considering cases of unintentional actions, actions involving luck and cases of deviant causal chains, I show why knowledge is required. By looking at the notion of causal relevance, I argue that the connection between knowledge and action is causal and not merely conceptual. (shrink)

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

Suppose we are about to enter an era of increasing technological unemployment. What implications does this have for society? Two distinct ethical/social issues would seem to arise. The first is one of distributive justice: how will the efficiency gains from automated labour be distributed through society? The second is one of personal fulfillment and meaning: if people no longer have to work, what will they do with their lives? In this article, I set aside the first issue and focus on (...) the second. In doing so, I make three arguments. First, I argue that there are good reasons to embrace non-work and that these reasons become more compelling in an era of technological unemployment. Second, I argue that the technological advances that make widespread technological unemployment possible could still threaten or undermine human flourishing and meaning, especially if they do not remain confined to the economic sphere. And third, I argue that this threat could be contained if we adopt an integrative approach to our relationship with technology. In advancing these arguments, I draw on three distinct literatures: the literature on technological unemployment and workplace automation; the antiwork critique—which I argue gives reasons to embrace technological unemployment; and the philosophical debate about the conditions for meaning in life—which I argue gives reasons for concern. (shrink)

Centuries ago, Descartes and Locke initiated a foundational debate in epistemology over the relationship between knowledge, on the one hand, and practical factors, on the other. Descartes claimed that knowledge and practice are fundamentally separate. Locke claimed that knowledge and practice are fundamentally united. After a period of dormancy, their disagreement has reignited on the contemporary scene. Latter-day Lockeans claim that knowledge itself is essentially connected to, and perhaps even constituted by, practical factors such as how much is at stake, (...) how important the situation is, or how one should act. Latter-day Cartesians claim, by contrast, that knowledge is entirely constituted by truth-related factors such as truth, belief, and evidence. Each side has supported its case with claims about patterns in ordinary behavior and knowledge judgments. Lockeans argue that these patterns are best explained by positing a fundamental and direct link between knowledge and practical factors. Cartesians argue that the patterns can be equally well explained by positing an indirect link, entirely mediated by the traditional factors of truth, belief, and evidence, thereby rendering the Lockean hypothesis unnecessary. We argue that Cartesians are right about some practical factors, in particular stakes and how important a situation is, which have, at best, a modest indirect relationship to knowledge. However, Lockeans are right about actionability: whether a person should pursue a course of action is unquestionably very powerfully and directly connected to knowledge. (shrink)

We think we have lots of substantial knowledge about the future. But contemporary wisdom has it that indeterminism prevails in such a way that just about any proposition about the future has a non-zero objective chance of being false.2, 3 What should one do about this? One, pessimistic, reaction is scepticism about knowledge of the future. We think this should be something of a last resort, especially since this scepticism is likely to infect alleged knowledge of the present and past. (...) One anti-sceptical strategy is to pin our hopes on determinism, conceding that knowledge of the future is unavailable in an indeterministic world. This is not satisfying either: we would rather not be hostage to empirical fortune in the way that this strategy recommends. A final strategy, one that we shall explore in this paper, is one of reconciliation: knowledge of a proposition is compatible with a subject’s belief having a non-zero objective chance of error.4 Following Williamson, we are interested in tying knowledge to the presence or absence of error in close cases, and so we shall explore the connections between knowledge and objective chance within such a framework. We don’t want to get tangled up here in complications involved in attempting to formulate a necessary and sufficient condition for knowledge in terms of safety. Instead, we will assume the following rough and ready necessary condition: a subject knows P only if she could not easily have falsely believed P.5 Assuming that easiness is to be spelt.. (shrink)

From a moral point of view we think of ourselves as capable of responsible actions. From a scientific point of view we think of ourselves as animals whose behaviour, however highly evolved, conforms to natural scientific laws. Natural Agency argues that these different perspectives can be reconciled, despite the scepticism of many philosophers who have argued that 'free will' is impossible under 'scientific determinism'. This scepticism is best overcome, according to the author, by defending a causal theory of action, that (...) is by establishing that actions are constituted by behavourial events with the appropriate kind of mental causal history. He sets out a rich and subtle argument for such a theory and defends it against its critics. Thus the book demonstrates the importance of philosophical work in action theory for the central metaphysical task of understanding our place in nature. (shrink)

Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...) problems, epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity. (shrink)

This paper critically evaluates the regress argument for infinitism. The dialectic is essentially this. Peter Klein argues that only an infinitist can, without being dogmatic, enhance the credibility of a questioned non-evident proposition. In response, I demonstrate that a foundationalist can do this equally well. Furthermore, I explain how foundationalism can provide for infinite chains of justification. I conclude that the regress argument for infinitism should not convince us.

Perceptual Confidence is the view that perceptual experiences assign degrees of confidence. After introducing, clarifying, and motivating Perceptual Confidence, I catalogue some of its more interesting consequences, such as the way it blurs the distinction between veridical and illusory experiences, a distinction that is sometimes said to carry a lot of metaphysical weight. I also explain how Perceptual Confidence fills a hole in our best scientific theories of perception and why it implies that experiences don't have objective accuracy conditions.

Epistemic contextualism is one of the most hotly debated topics in contemporary epistemology. Contextualists claim that ‘know’ is a context-sensitive verb associated with different evidential standards in different contexts. Contextualists motivate their view based on a set of behavioural claims. In this paper, I show that several of these behavioural claims are false. I also show that contextualist test cases suffer from a critical confound, which derives from people's tendency to defer to speakers’ statements about their own mental states. My (...) evidence consists in results from several behavioural experiments. I conclude that contextualism is an idle hypothesis and I propose some general methodological lessons. (shrink)

The growth of self-tracking and personal surveillance has given rise to the Quantified Self movement. Members of this movement seek to enhance their personal well-being, productivity, and self-actualization through the tracking and gamification of personal data. The technologies that make this possible can also track and gamify aspects of our interpersonal, romantic relationships. Several authors have begun to challenge the ethical and normative implications of this development. In this article, we build upon this work to provide a detailed ethical analysis (...) of the Quantified Relationship. We identify eight core objections to the QR and subject them to critical scrutiny. We argue that although critics raise legitimate concerns, there are ways in which tracking technologies can be used to support and facilitate good relationships. We thus adopt a stance of cautious openness toward this technology and advocate the development of a research agenda for the positive use of QR technologies. (shrink)

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)

A standard view in contemporary philosophy is that belief is involuntary, either as a matter of conceptual necessity or as a contingent fact of human psychology. We present seven experiments on patterns in ordinary folk-psychological judgments about belief. The results provide strong evidence that voluntary belief is conceptually possible and, granted minimal charitable assumptions about folk-psychological competence, provide some evidence that voluntary belief is psychologically possible. We also consider two hypotheses in an attempt to understand why many philosophers have been (...) tempted to view belief as involuntary: that belief is a prototype concept and that belief is a dual character concept. Altogether, our findings contribute to longstanding philosophical debates about the relationship between the will and the intellect, while also advancing scientific understanding of important social judgments. (shrink)

Researchers recently demonstrated a strong direct relationship between judgments about what a person knows and judgments about how a person should act. But it remains unknown whether actionability judgments cause knowledge judgments, or knowledge judgments cause actionability judgments. This paper uses causal modeling to help answer this question. Across two experiments, we found evidence that actionability judgments cause knowledge judgments.

Communication is essential to human society, and assertion is central to communication. This article reviews evidence from life science, cognitive science, and philosophy relevant to understanding how our social practice of assertion is structured and sustained. The principal conclusion supported by this body of evidence is that knowledge is a central norm of assertion—that is, according to the rules of the practice, assertions should express knowledge.

This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient logic texts. A renaissance in ancient (...) logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)

Synthesizing the domains of investigation highlighted in current research in distributed cognition and related fields, this paper offers an initial taxonomy of the overlapping types of resources which typically contribute to distributed or extended cognitive systems. It then outlines a number of key dimensions on which to analyse both the resulting integrated systems and the components which coalesce into more or less tightly coupled interaction over the course of their formation and renegotiation.

Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...) epistemic process of extracting information implicit in explicitly given information) and, second, the process of establishing knowledge that a conclusion does not follow. Despite the overwhelming tendency to interpret the syllogistic as formal epistemology, it was not until the early 1970s that it occurred to anyone to think that Aristotle may have developed a theory of deductive reasoning with a well worked-out system of deductions comparable in rigor and precision with systems such as propositional logic or equational logic familiar from mathematical logic. When modern logicians in the 1920s and 1930s first turned their attention to the problem of understanding Aristotle's contribution to logic in modern terms, they were guided both by the Frege-Russell conception of logic as formal ontology and at the same time by a desire to protect Aristotle from possible charges of psychologism. They thought they saw Aristotle applying the informal axiomatic method to formal ontology, not as making the first steps into formal epistemology. They did not notice Aristotle's description of deductive reasoning. Ironically, the formal axiomatic method (in which one explicitly presents not merely the substantive axioms but also the deductive processes used to derive theorems from the axioms) is incipient in Aristotle's presentation. Partly in opposition to the axiomatic, ontically-oriented approach to Aristotle's logic and partly as a result of attempting to increase the degree of fit between interpretation and text, logicians in the 1970s working independently came to remarkably similar conclusions to the effect that Aristotle indeed had produced the first system of formal deductions. They concluded that Aristotle had analyzed the process of deduction and that his achievement included a semantically complete system of natural deductions including both direct and indirect deductions. Where the interpretations of the 1920s and 1930s attribute to Aristotle a system of propositions organized deductively, the interpretations of the 1970s attribute to Aristotle a system of deductions, or extended deductive discourses, organized epistemically. The logicians of the 1920s and 1930s take Aristotle to be deducing laws of logic from axiomatic origins; the logicians of the 1970s take Aristotle to be describing the process of deduction and in particular to be describing deductions themselves, both those deductions that are proofs based on axiomatic premises and those deductions that, though deductively cogent, do not establish the truth of the conclusion but only that the conclusion is implied by the premise-set. Thus, two very different and opposed interpretations had emerged, interestingly both products of modern logicians equipped with the theoretical apparatus of mathematical logic. The issue at stake between these two interpretations is the historical question of Aristotle's place in the history of logic and of his orientation in philosophy of logic. This paper affirms Aristotle's place as the founder of logic taken as formal epistemology, including the study of deductive reasoning. A by-product of this study of Aristotle's accomplishments in logic is a clarification of a distinction implicit in discourses among logicians--that between logic as formal ontology and logic as formal epistemology. (shrink)

According to factive accounts of the norm of belief and decision-making, you should not believe or base decisions on a falsehood. Even when the evidence misleadingly suggests that a false proposition is true, you should not believe it or base decisions on it. Critics claim that factive accounts are counterintuitive and badly mischaracterize our ordinary practice of evaluating beliefs and decisions. This paper reports four experiments that rigorously test the critic’s accusations and the viability of factive accounts. The results undermine (...) the accusations and provide the best evidence yet of factive norms of belief and decision-making. The results also help discriminate between two leading candidates for a factive norm: truth and knowledge. Knowledge is the superior candidate. (shrink)

One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows from (...) the premises. The complementarity and interrelation of premise-conclusion arguments and premise-conclusion-mediation arguments resonate throughout the rest of the paper which articulates the conceptual structure found in logic from Aristotle to Tarski. This 1972 paper can be seen as anticipating Corcoran’s signature work: the more widely read 1989 paper, Argumentations and Logic, Argumentation 3, 17–43. MR91b:03006. The 1972 paper was translated into Portuguese. The 1989 paper was translated into Spanish, Portuguese, and Persian. (shrink)

Researchers have debated whether knowledge or certainty is a better candidate for the norm of assertion. Should you make an assertion only if you know it's true? Or should you make an assertion only if you're certain it's true? If either knowledge or certainty is a better candidate, then this will likely have detectable behavioral consequences. I report an experiment that tests for relevant behavioral consequences. The results support the view that assertability is more closely linked to knowledge than to (...) certainty. In multiple scenarios, people were much more willing to allow assertability and certainty to come apart than to allow assertability and knowledge to come apart. (shrink)

Thirteen meanings of 'implication' are described and compared. Among them are relations that have been called: logical implication, material implication,deductive implication, formal implication, enthymemic implication, and factual implication. In a given context, implication is the homogeneous two-place relation expressed by the relation verb 'implies'. For heuristic and expository reasons this article skirts many crucial issues including use-mention, the nature of the entities that imply and are implied, and the processes by which knowledge of these relations are achieved. This paper is (...) better thought of as an early stage of a dialogue than as a definitive treatise. (shrink)

A viable theory of literary humanism must do justice to the idea that literature offers cognitive rewards to the careful reader. There are, however, powerful arguments to the effect that literature is at best only capable of offering idle visions of a world already well known. In this essay I argue that there is a form of cognitive awareness left unmentioned in the traditional vocabulary of knowledge acquisition, a form of awareness literature is particularly capable of offering. Thus even if (...) it is the case that literature has nothing interesting to give us in the way of knowledge, the literary humanist can consistently maintain that literary experience is thoroughly cognitive. (shrink)