This presentation includes a complete bibliography of John Corcoran’s publications devoted at least in part to Aristotle’s logic. Sections I–IV list 20 articles, 43 abstracts, 3 books, and 10 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article that antedates Corcoran’s Aristotle’s studies and the Journal of Symbolic Logic article first reporting his original results; it ends with works published in 2015. A few of the items are annotated with endnotes connecting them (...) with other work. In addition, Section V “Discussions” is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 8 items published in the 1970s, 22 in the 1980s, 39 in the 1990s, 56 in the 2000s, and 65 in the current decade. The secondary bibliography is annotated with endnotes: some simply quoting from the cited item, but several answering criticisms and identifying errors. As is evident from the Acknowledgements sections, all of Corcoran’s publications benefited from correspondence with other scholars, most notably Timothy Smiley, Michael Scanlan, and Kevin Tracy. All of Corcoran’s Greek translations were done in consultation with two or more classicists. Corcoran never published a sentence without discussing it with his colleagues and students. REQUEST: Please send errors, omissions, and suggestions. I am especially interested in citations made in non-English publications. (shrink)

JUNE 2015 UPDATE: A BIBLIOGRAPHY: JOHN CORCORAN’S PUBLICATIONS ON ARISTOTLE 1972–2015 By John Corcoran -/- This presentation includes a complete bibliography of John Corcoran’s publications relevant to his research on Aristotle’s logic. Sections I, II, III, and IV list 21 articles, 44 abstracts, 3 books, and 11 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article from Corcoran’s Philadelphia period that antedates his Aristotle studies and the Journal of Symbolic Logic (...) article from his Buffalo period first reporting his original results; it ends with works published in 2015. A few of the items are annotated as listed or with endnotes connecting them with other work and pointing out passages that in-retrospect are seen to be misleading and in a few places erroneous. In addition, Section V, “Discussions”, is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 8 items published in the 1970s, 23 in the 1980s, 42 in the 1990s, 56 in the 2000s, and 69 in the current decade. The secondary bibliography is also annotated as listed or with endnotes: some simply quoting from the cited item, but several answering criticisms and identifying errors. Section VI, “Alternatives”, lists recent works on Aristotle’s logic oblivious of Corcoran’s research and, more generally, of the Lukasiewicz-initiated tradition. As is evident from Section VII, “Acknowledgements”, Corcoran’s publications benefited from consultation with other scholars, most notably Timothy Smiley, Michael Scanlan, Roberto Torretti, and Kevin Tracy. All of Corcoran’s Greek translations were done in collaboration with two or more classicists. Corcoran never published a sentence without discussing it with his colleagues and students. -/- REQUEST: Please send errors, omissions, and suggestions. I am especially interested in citations made in non-English publications. Also, let me know of passages I should comment on. (shrink)

This presentation of Aristotle's natural deduction system supplements earlier presentations and gives more historical evidence. Some fine-tunings resulted from conversations with Timothy Smiley, Charles Kahn, Josiah Gould, John Kearns,John Glanvillle, and William Parry.The criticism of Aristotle's theory of propositions found at the end of this 1974 presentation was retracted in Corcoran's 2009 HPL article "Aristotle's demonstrative logic".

This interesting and imaginative monograph is based on the author’s PhD dissertation supervised by Saul Kripke. It is dedicated to Timothy Smiley, whose interpretation of PRIOR ANALYTICS informs its approach. As suggested by its title, this short work demonstrates conclusively that Aristotle’s syllogistic is a suitable vehicle for fruitful discussion of contemporary issues in logical theory. Aristotle’s syllogistic is represented by Corcoran’s 1972 reconstruction. The review studies Lear’s treatment of Aristotle’s logic, his appreciation of the Corcoran-Smiley paradigm, (...) and his understanding of modern logical theory. In the process Corcoran and Scanlan present new, previously unpublished results. Corcoran regards this review as an important contribution to contemporary study of PRIOR ANALYTICS: both the book and the review deserve to be better known. (shrink)

This presentation includes a complete bibliography of John Corcoran’s publications relevant on Aristotle’s logic. The Sections I, II, III, and IV list respectively 23 articles, 44 abstracts, 3 books, and 11 reviews. Section I starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article—from Corcoran’s Philadelphia period that antedates his discovery of Aristotle’s natural deduction system—and the Journal of Symbolic Logic article—from his Buffalo period first reporting his original results. It ends with works published in (...) 2015. Some items are annotated as listed or with endnotes connecting them with other work and pointing out passages that, in retrospect, are seen to be misleading and in a few places erroneous. In addition, Section V, “Discussions”, is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 10 items published in the 1970s, 24 in the 1980s, 42 in the 1990s, 60 in the 2000s, and 70 in the current decade. The secondary bibliography is also annotated as listed or with endnotes: some simply quoting from the cited item, but several answering criticisms and identifying errors. Section VI, “Alternatives”, lists recent works on Aristotle’s logic oblivious of Corcoran’s research and, more generally in some cases, even of the Łukasiewicz-initiated tradition. As is evident from Section VII, “Acknowledgements”, Corcoran’s publications benefited from consultation with other scholars, most notably George Boger, Charles Kahn, John Mulhern, Mary Mulhern, Anthony Preus, Timothy Smiley, Michael Scanlan, Roberto Torretti, and Kevin Tracy. All of Corcoran’s Greek translations were done in collaboration with two or more classicists. Corcoran never published a sentence without discussing it with his colleagues and students. (shrink)

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. Several (...) attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

This paper details how ghost hunting, as a set of learning activities, can be used to enhance critical thinking and philosophy of science classes. We describe in some detail our own work with ghost hunting, and reflect on both intended and unintended consequences of this pedagogical choice. This choice was partly motivated by students’ lack of familiarity with science and philosophic questions about it. We offer reflections on our three different implementations of the ghost hunting activities. In addition, we discuss (...) the practical nuances of implementing these activities, as well the relation of ghost hunting to our course content, including informal fallacies and some models for scientific inference. We conclude that employing ghost hunting along-side traditional activities and content of critical thinking and philosophy of science offers a number of benefits, including being fun, increasing student attendance, enhancing student learning, and providing a platform for campus wide dialogues about philosophy. (shrink)

Worldwide populations are aging with economic development as a result of public health initiatives and advances in therapeutic discoveries. Since 1850, life expectancy has advanced by 1 year for every four. Accompanying this change is the rapid development of anti‐aging science. There are three schools of thought in the field of aging science. One perspective is the life course approach, which considers that aging is a good and natural process to be embraced as a necessary and positive aspect of life, (...) where the aim is to improve the quality of existing lifespan and “compress” morbidity. Another view is that aging is undesirable, and that rejuvenation and indeed immortality are possible since the biological basis of aging is understood, and therefore, strategies are possible for engineering negligible senescence. Finally, a hybrid approach is that life span can be extended by anti‐aging medicines but with uncertain effects on health. While these advances offer much promise, the ethical perspectives are seldom discussed in cross‐disciplinary settings. This article discusses some of the key ethical issues arising from recent advances in biogerontology. (shrink)

This article adapts John Rawls’s writings, arguing that past injustice can change what we ought to publicly affirm as the standard of justice today. My approach differs from forward-looking approaches based on alleviating prospective disadvantage and backward-looking historical entitlement approaches. In different contexts, Rawls’s own concern for the ‘social bases of self-respect’ and equal citizenship may require public endorsement of different principles or specifications of the standard of justice. Rawls’s difference principle focuses on the least advantaged socioeconomic group. I (...) argue that a historicized difference principle considers the relative standing of racial, gender, and other historically stigmatized groups; provides their members assurance by weakening incentives to manipulate justice to another group’s advantage; and may result in policies resembling reparations, though justified by forward-looking considerations of self-respect and public assurance. I then examine how disrespectful justifications were historically used to forcibly include indigenous peoples as citizens. While Rawls thinks providing citizens one package of basic liberties signals respect, indigenous self-government could better support self-respect. I invoke Rawlsian international justice, which calls for mutual respect between peoples. Indigenous peoples’ status should reflect their past and persisting peoplehood, providing assurance by weakening incentives to unjustly transform international into domestic contexts. (shrink)

THERE IS WIDESPREAD AGREEMENT among historians that the writings of Robert Boyle (1697-1691) constitute a valuable archive for understanding the concerns of seventeenth-century British natural philosophers. His writings have often been seen as representing, in one fashion or another, all of the leading intellectual currents of his day. ~ There is somewhat less consensus, however, on the proper historiographic method for interpreting these writings, as well as on the specific details of the beliefs expressed in them. Studies seeking to explicate (...) Boyle's thought have been, roughly speaking, of two general sorts. On the one hand there are those studies of a broadly "intellectualist" orientation which situate his natural philosophy within the intellectual context provided by metaphysics, religion, and early modern science. In this connection his corpuscularianism has been shown to be motivated by specific epistemological, theological, as well as empirical concerns. One of the central aims of such studies has been to show that apparently discordant elements in his scientific thought are rendered coherent by referring them to such "non-scientific" commitments. Among studies of this sort might be mentioned the works of John Hedley Brooke, E. A. Burtt, Gary B. Deason, J. E. McGuire, R. Hooykaas, Robert H. Kargon, Eugene M. Klaaren, P. M. Rattansi, and Richard S. Westfall. (shrink)

A cursory glance at the list of Nobel Laureates for Economics is sufficient to confirm Stanovich’s description of the project to evaluate human rationality as seminal. Herbert Simon, Reinhard Selten, John Nash, Daniel Kahneman, and others, were awarded their prizes less for their work in economics, per se, than for their work on rationality, as such. Although philosophical works have for millennia attempted to describe, explicate and evaluate individual and collective aspects of rationality, new impetus was brought to this (...) endeavor over the last century as mathematical logic along with the social and behavioral sciences emerged. Yet more recently, over the last several decades, propelled by the emergence of artificial intelligence, cognitive science, evolutionary psychology, neuropsychology, and related fields, even more sophisticated approaches to the study of rationality have emerged. (shrink)

In discussing the obligation to love everyone, Mary Astell (1666–1731) recognizes and responds to what I call the theocentric challenge: if humans are required to love God entirely, then they cannot fulfill the second requirement to love their neighbor. In exploring how Astell responds to this challenge, I argue that Astell is an astute metaphysician who does not endorse the metaphysical views she praises. This viewpoint helps us to understand the complicated relationship between her views and those of Descartes, Malebranche, (...) Henry More, and John Norris, as well as her sophisticated approach to biblical interpretation and theology. Attending to theocentrism opens up new avenues of research in the study of early modern philosophy. It also helps us to see connections between Astell and other theocentric philosophers such as Spinoza and Anne Conway. (shrink)

Hume’s criticisms of divine causation are insufficient because he does not respond to important philosophical positions that are defended by those whom he closely read. Hume’s arguments might work against the background of a Cartesian definition of body, or a Malebranchian conception of causation, or some defenses of occasionalism. At least, I will not here argue that they succeed or fail against those targets. Instead, I will lay out two major deficiencies in his arguments against divine causation. I call these (...) “deficiencies” because Hume does not adequately address live positions. This does not mean, of course, that there are not problems with these views or that Hume could not have given strong arguments against them. Rather, Hume’s arguments, which can seem comprehensive to the twenty-first century reader, are in fact not so. For the deficiencies discussed in this essay, I point to writers from Hume’s near context (many of whom we know he read carefully) who held the views not discussed, and I provide reasons why Hume seems not to have entertained these possibilities. I won’t distinguish between accidentally overlooking and actively ignoring. By drawing attention to these three deficiencies, I have two goals. The first is to demonstrate the diversity of seventeenth and early eighteenth century views on divine causation, especially among philosophers in England, Scotland, and Ireland, who are often ignored by philosophers today who, like Hume, focus on continental Cartesians while ignoring British dualists and vitalists. The second goal is to make today’s readers aware of shortcomings in Hume’s arguments to encourage productively contextual readings of Hume and his contemporaries. (shrink)

I respond to an objection against satisficing consequentialism, due to Tim Mulgan.

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.

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)

Recent research has identified a tension between the Safety principle that knowledge is belief without risk of error, and the Closure principle that knowledge is preserved by competent deduction. Timothy Williamson reconciles Safety and Closure by proposing that when an agent deduces a conclusion from some premises, the agent’s method for believing the conclusion includes their method for believing each premise. We argue that this theory is untenable because it implies problematically easy epistemic access to one’s methods. Several possible (...) solutions are explored and rejected. (shrink)

Domination consists in subjection to the will of others and manifests itself both as a personal relation and a structural phenomenon serving as the context for relations of power. Domination has again become a central political concern through the revival of the republican tradition of political thought . However, normative debates about domination have mostly remained limited to the context of domestic politics. Also, the republican debate has not taken into account alternative ways of conceptualizing domination. Critical theorists, liberals, feminists, (...) critical race theorists, and postcolonial writers have discussed domination in different ways, focusing on such problems as imperialism, racism, and the subjection of indigenous peoples. This volume extends debates about domination to the global level and considers how other streams in political theory and nearby disciplines enrich, expand upon, and critique the republican tradition’s contributions to the debate. This volume brings together, for the first time, mostly original pieces on domination and global political justice by some of this generation’s most prominent scholars, including Philip Pettit, James Bohman, Rainer Forst, Amy Allen, John McCormick, Thomas McCarthy, Charles Mills, Duncan Ivison, John Maynor, Terry Macdonald, Stefan Gosepath, and Hauke Brunkhorst. -/- Front matter and First chapter available for download. (shrink)

Two objections are raised against Oliver and Smiley’s analysis of the collective–distributive opposition in their 2016 book: They take it as a basic premise that the collective reading of ‘baked a cake’ corresponds to a predicate different from its distributive reading, and the same applies to all predicate expressions that admit both a collective and a distributive interpretation. At the same time, however, they argue that inflectional forms of the same lexeme reveal a univocity that should be preserved in (...) a formal representation of English. These two assumptions sit uneasily. In developing their analysis, Oliver and Smiley come to the conclusion that even a singular predication such as ‘Tom baked a cake’ must be regarded as ambiguous between a collective and a distributive reading. This is so artificial that it hardly makes sense, and yet there seems to be no way out of the difficulty unless we are prepared to give up the basic premise just mentioned. (shrink)

This special issue of the Canadian Journal of Philosophy is dedicated to Timothy Williamson's work on modality. It consists of a new paper by Williamson followed by papers on Williamson's work on modality, with each followed by a reply by Williamson. -/- Contributors: Andrew Bacon, Kit Fine, Peter Fritz, Jeremy Goodman, John Hawthorne, Øystein Linnebo, Ted Sider, Robert Stalnaker, Meghan Sullivan, Gabriel Uzquiano, Barbara Vetter, Timothy Williamson, Juhani Yli-Vakkuri.

Timothy Williamson (1992, 224–5) and Ernest Sosa (1996) have ar- gued that knowledge requires one to be safe from error. Something is said to be safe from happening iff it does not happen at “close” worlds. I expand here on a puzzle noted by John Hawthorne (2004, 56n) that suggests the need for two notions of closeness. Counterfac- tual closeness is a matter of what could in fact have happened, given the specific circumstances at hand. The notion is (...) involved in the semantics for counterfactuals and is the one epistemologists have typically assumed. Normalized closeness is rather a matter of what could typically have happened, that is, what would go on in a class of normal alternatives to actuality, irrespectively of whether or not they could have happened in the circumstances at hand. (shrink)

John Burgess has recently argued that Timothy Williamson’s attempts to avoid the objection that his theory of vagueness is based on an untenable metaphysics of content are unsuccessful. Burgess’s arguments are important, and largely correct, but there is a mistake in the discussion of one of the key examples. In this note I provide some alternative examples and use them to repair the mistaken section of the argument.

As noted in 1962 by Timothy Smiley, if Aristotle’s logic is faithfully translated into modern symbolic logic, the fit is exact. If categorical sentences are translated into many-sorted logic MSL according to Smiley’s method or the two other methods presented here, an argument with arbitrarily many premises is valid according to Aristotle’s system if and only if its translation is valid according to modern standard many-sorted logic. As William Parry observed in 1973, this result can be proved (...) using my 1972 proof of the completeness of Aristotle’s syllogistic. (shrink)

Both Wilfrid Sellars and John McDowell reject Kant’s conclusion that the world is fundamentally unknowable, and on similar grounds: each invokes conceptual change, what I call the diachronic instability of a conceptual scheme. The similarities end there, though. It is important to Sellars that the world is only knowable at “the end of inquiry” – he rejects a commonsense realism like McDowell’s for its inability to fully appreciate diachronic instability. To evaluate this disagreement, I consider Timothy Williamson’s argument (...) that the knowability thesis, as it rules out “elusive objects”, is problematically idealistic. I argue that McDowell’s insistence on diachronic instability suffices to address Williamson’s worry, and as such that his reply ought to be available to Sellars too. That Sellars would instead invoke the end of inquiry suggests it is he who underestimates the ineliminability of conceptual change. (shrink)

There are two competing views of knowledge-how: Intellectualism and anti-intellectualism. According to the reductionist varieties of intellectualism defended by Jason Stanley and Timothy Williamson (2001) and Berit Brogaard (2007, 2008, 2009), knowledge-how simply reduces to knowledge-that. To a first approximation, s knows how to A iff there is a w such that s knows that w is a way to A. For example, John knows how to ride a bicycle if and only if there is a way w (...) such that John knows that w is a way to ride a bicycle. John Bengson and Marc Moffett (2007) defend an anti-reductionist version of intellectualism which takes knowledge-how to require, in addition, that s understand the concepts involved in her belief. According to the anti-intellectualist accounts originally defended by Gilbert Ryle (1946) and many others after him, knowledge-how requires the possession of a practical ability and so knowing that w (for some w) is a way to A does not suffice for knowing-how. For example, John knows how to ride a bicycle only if John has the ability to ride it; if John merely knows that w (for some w) is a way to ride a bicycle, John does not know how to ride a bicycle. Here I will argue for a conciliatory position that is compatible with the reductionist variety of intellectualism: knowledge-how is reducible to knowledge-that. But, I argue, there are knowledge states which are not justification-entailing and knowledge states which are not belief-entailing. Both kinds of knowledge state require the possession of practical abilities. I conclude by arguing that the view defended naturally leads to a disjunctive conception of abilities as either essentially involving mental states or as not essentially involving mental states. Only the former kind of ability is a kind of knowledge-state, viz. a knowledge-how state. (shrink)

If we add as an extra premise that the agent does know H, then it is possible for her to know E — H, we get the conclusion that the agent does not really know H. But even without that closure premise, or something like it, the conclusion seems quite dramatic. One possible response to the argument, floated by both Descartes and Hume, is to accept the conclusion and embrace scepticism. We cannot know anything that goes beyond our evidence, so (...) we do not know very much at all. This is a remarkably sceptical conclusion, so we should resist it if at all possible. A more modern response, associated with externalists like John McDowell and Timothy Williamson, is to accept the conclusion but deny it is as sceptical as it first appears. The Humean argument, even if it works, only shows that our evidence and our knowledge are more closely linked than we might have thought. Perhaps that’s true because we have a lot of evidence, not because we have very little knowledge. There’s something right about this response I think. We have more evidence than Descartes or Hume thought we had. But I think we still need the idea of ampliative knowledge. It stretches the concept of evidence to breaking point to suggest that all of our knowledge, including knowledge about the future, is part of our evidence. So the conclusion really is unacceptable. Or, at least, I think we should try to see what an epistemology that rejects the conclusion looks like. (shrink)

Are science and religion compatible when it comes to understanding cosmology (the origin of the universe), biology (the origin of life and of the human species), ethics, and the human mind (minds, brains, souls, and free will)? Do science and religion occupy non-overlapping magisteria? Is Intelligent Design a scientific theory? How do the various faith traditions view the relationship between science and religion? What, if any, are the limits of scientific explanation? What are the most important open questions, problems, or (...) challenges confronting the relationship between science and religion, and what are the prospects for progress? These and other questions are explored in Science and Religion: 5 Questions--a collection of thirty-three interviews based on 5 questions presented to some of the world's most influential and prominent philosophers, scientists, theologians, apologists, and atheists. Contributions by Simon Blackburn, Susan Blackmore, Sean Carroll, William Lane Craig, William Dembski, Daniel C. Dennett, George F.R. Ellis, Owen Flanagan, Owen Gingerich, Rebecca Newberger Goldstein, John F. Haught, Muzaffar Iqbal, Lawrence Krauss, Colin McGinn, Alister McGrath, Mary Midgley, Seyyed Hossein Nasr, Timothy O'Connor, Massimo Pigliucci, John Polkinghorne, James Randi, Alex Rosenberg, Michael Ruse, Robert John Russell, John Searle, Michael Shermer, Victor J. Stenger, Robert Thurman, Michael Tooley, Charles Townes, Peter van Inwagen, Keith Ward, Rabbi David Wolpe. (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)

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)

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing (...) by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle's general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. (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)

This study concerns logical systems considered as theories. By searching for the problems which the traditionally given systems may reasonably be intended to solve, we clarify the rationales for the adequacy criteria commonly applied to logical systems. From this point of view there appear to be three basic types of logical systems: those concerned with logical truth; those concerned with logical truth and with logical consequence; and those concerned with deduction per se as well as with logical truth and logical (...) consequence. Adequacy criteria for systems of the first two types include: effectiveness, soundness, completeness, Post completeness, "strong soundness" and strong completeness. Consideration of a logical system as a theory of deduction leads us to attempt to formulate two adequacy criteria for systems of proofs. The first deals with the concept of rigor or "gaplessness" in proofs. The second is a completeness condition for a system of proofs. An historical note at the end of the paper suggests a remarkable parallel between the above hierarchy of systems and the actual historical development of this area of logic. (shrink)

The initial argument presented herein is not significantly original—it is a simple reflection upon a notion of computation originally developed by Putnam and criticised by Chalmers et al. . In what follows, instead of seeking to justify Putnam’s conclusion that every open system implements every Finite State Automaton and hence that psychological states of the brain cannot be functional states of a computer, I will establish the weaker result that, over a finite time window every open system implements the trace (...) of FSA Q, as it executes program on input . If correct the resulting bold philosophical claim is that phenomenal states—such as feelings and visual experiences—can never be understood or explained functionally. (shrink)

The outlines of a novel, fully naturalistic theory of perception are provided, that can explain perception of an object X by organism Z in terms of reflexive causality. On the reflexive view proposed, organism Z perceives object or property X just in case X causes Z to acquire causal dispositions reflexively directed back upon X itself. This broadly functionalist theory is potentially capable of explaining both perceptual representation and perceptual content in purely causal terms, making no use of informational concepts. (...) However, such a reflexive, naturalistic causal theory must compete with well entrenched, supposedly equally naturalistic theories of perception that are based on some concept of information, so the paper also includes some basic logical, naturalistic and explanatory criticisms of such informational views. (shrink)

ABSTRACT: The Reflexive Theory of Perception (RTP) claims that perception of an object or property X by an organism Z consists in Z being caused by X to acquire some disposition D toward X itself. This broadly behavioral perceptual theory explains perceptual intentionality and correct versus incorrect, plus successful versus unsuccessful, perception in a plausible evolutionary framework. The theory also undermines cognitive and perceptual modularity assumptions, including informational or purely epistemic views of perception in that, according to the RTP, any (...) X-caused and X-directed dispositions are genuinely perceptual—including affective, attitudinal, and immediately activated purely action-directed behavioral dispositions. Thus the RTP has the potential to provide the foundations for a broadly behavioral counter-revolution in cognitive science. (shrink)

The artefacts produced by artists during their creation of works of art are very various: paintings, writings, musical scores, and so on. I have a general thesis to offer about the relations of artefacts and artworks, but within the confines of this article I shall mainly discuss cases drawn from the art of painting, central specimens of which seem to be autographic in Nelson Goodman's sense, namely such that even the most exact duplication of them does not count as producing (...) the same work of art. My view will be that an artwork (such as a painting) and its associated artefact are not identical, and nor is the artefact in any sense part of the painting in question,2 but that nevertheless it is still possible to maintain the view that paintings are autographic (which view I shall call l the autographic thesis). I shall proceed initially through presentation of some counter-examples to common assumptions as to the relations of artefacts and artworks, and then present an alternative 'representational' theory of their relations. (shrink)

This paper will investigate the basic question of the nature of perception, as theoretically approached from a purely naturalistic standpoint. An adequate theory must not only have clear application to a world full of pre-existing biological examples of perception of all kinds, from unicellular perception to conscious human perception, but it must also satisfy a series of theoretical or philosophical constraints, as enumerated and discussed in Section 1 below. A perceptual theory invoking _reflexive dispositions_--that is, dispositions directed toward the very (...) same worldly perceived objects or properties that caused them--will be defended as one legitimate such naturalistic theory. (shrink)

Whether or not qualia are ways things seem, the view that qualia have the properties typically attributed to them is unjustified. Ways things seem do not have many of the properties commonly attributed to them. For example, inverted ways things seem are impossible. If ways things seem do not have the features commonly attributed to them, and qualia do have those same features, this looks like good reason to distinguish the two. But if your reasons for believing that qualia have (...) the features are epistemically on a par with reasons for believing that ways things seem have the features, and you know that ways things seem do not have the features, then those reasons cannot justify your belief that qualia have the features. I argue that the reasons are epistemically on a par in this way. (shrink)

In this paper Lucas suggests that many of his critics have not read carefully neither his exposition nor Penrose’s one, so they seek to refute arguments they never proposed. Therefore he offers a brief history of the Gödelian argument put forward by Gödel, Penrose and Lucas itself: Gödel argued indeed that either mathematics is incompletable – that is axioms can never be comprised in a finite rule and so human mind surpasses the power of any finite machine – or there (...) exist absolutely unsolvable diophantine problems, and he suggest that the second disjunct is untenable; on the other side, Penrose proposed an argument similar to Lucas’ one but making use of Turing’s theorem. Finally Lucas exposes again his argument and considers some of the most important objections to it. (shrink)

According to the computational theory of mind , to think is to compute. But what is meant by the word 'compute'? The generally given answer is this: Every case of computing is a case of manipulating symbols, but not vice versa - a manipulation of symbols must be driven exclusively by the formal properties of those symbols if it is qualify as a computation. In this paper, I will present the following argument. Words like 'form' and 'formal' are ambiguous, as (...) they can refer to form in either the syntactic or the morphological sense. CTM fails on each disambiguation, and the arguments for CTM immediately cease to be compelling once we register that ambiguity. The terms 'mechanical' and 'automatic' are comparably ambiguous. Once these ambiguities are exposed, it turns out that there is no possibility of mechanizing thought, even if we confine ourselves to domains where all problems can be settled through decision-procedures. The impossibility of mechanizing thought thus has nothing to do with recherché mathematical theorems, such as those proven by Gödel and Rosser. A related point is that CTM involves, and is guilty of reinforcing, a misunderstanding of the concept of an algorithm. (shrink)

The field of machine perception is based on standard informational and computational approaches to perception. But naturalistic informational theories are widely regarded as being inadequate, while purely syntactic computational approaches give no account of perceptual content. Thus there is a significant need for a novel, purely naturalistic perceptual theory not based on informational or computational concepts, which could provide a new paradigm for mechanistic perception. Now specifically evolutionary naturalistic approaches to perception have been—perhaps surprisingly—almost completely neglected for this purpose. Arguably (...) perceptual mechanisms enhance evolutionary fitness by facilitating sensorily mediated causal interactions between an organism Z and items X in its environment. A ‘reflexive’ theory of perception of this kind is outlined, according to which an organism Z perceives an item X just in case X causes a sensory organ zi of Z to cause Z to acquire a disposition toward the very same item X that caused the perception. The rest of the paper shows how an intuitively plausible account of mechanistic perception can be developed and defended in terms of the reflexive theory. Also, a compatibilist option is provided for those who wish to preserve a distinct informational concept of perception. (shrink)

Clearly we can perceive both objects, and various aspects or appearances of those objects. But how should that complexity of perceptual content be explained or analyzed? I argue that perceptual representations normally have a double or two level nested structure of content, so as to adequately incorporate information both about contextual aspects Y(X) of an object X, and about the object X itself. On this double content (DC) view, perceptual processing starts with aspectual data Y?(X?) as a higher level of (...) content, which data does not itself provide lower level X-related content, but only an aspectually encoded form of such data. Hence the relevant perceptual data Y?(X?) must be. (shrink)

A psychological study of thought and language which takes an exposition of scientific linquistics as a point of departure.

Chapter 1: "Reason for Hope " by Michael J. Murray Chapter 2: "Theistic Arguments" by William C. Davis Chapter 3: "A Scientific Argument for the Existence of God: The Fine- Tuning Design Argument" by Robin Collins Chapter 4: "God, Evil and Suffering" by Daniel Howard Snyder Chapter 5: "Arguments for Atheism" by John O'Leary Hawthorne Chapter 6: "Faith and Reason" by Caleb Miller Chapter 7: "Religious Pluralism" by Timothy O'Connor Chapter 8: "Eastern Religions" by Robin Collins Chapter 9: (...) "Divine Providence and Human Freedom" by Scott A. Davison Chapter 10: "The Incarnation and the Trinity" by Thomas D. Senor Chapter 11: "The Resurrection of the Body and the Life Everlasting" by Trenton Merricks Chapter 12: "Heaven and Hell" by Michael J. Murray Chapter 13: "Religion and Science" by W. Christopher Stewart Chapter 14: "Miracles and Christian Theism" by J. A. Cover Chapter 15: "Christianity and Ethics" by Frances Howard-Snyder Chapter 16: "The Authority of Scripture" by Douglas Blount. (shrink)

How can it be true that one sees a lake when looking at a picture of a lake, since one's gaze is directed upon a flat dry surface covered in paint? An adequate contemporary explanation cannot avoid taking a theoretical stand on some fundamental cognitive science issues concerning the nature of perception, of pictorial content, and of perceptual reference to items that, strictly speaking, have no physical existence. A solution is proposed that invokes a broadly functionalist, naturalistic theory of perception, (...) plus a double content analysis of perceptual interpretation, which permits non-supervenient, culturally autonomous modes of reference to be generated and artistically exploited even in a purely physical world. In addition, a functionalist concept of broad or 'spread' reference replaces the traditional precise intentional concept of reference, which previously made reference to non-existent items theoretically intractable. (shrink)

What is the potential for improvements in the functioning of consciousness? The paper addresses this issue using global workspace theory. According to this model, the prime function of consciousness is to develop novel adaptive responses. Consciousness does this by putting together new combinations of knowledge, skills and other disparate resources that are recruited from throughout the brain. The paper's search for potential improvements in consciousness is aided by studies of a developmental transition that enhances functioning in whichever domain it occurs. (...) This transition involves a shift from the use of procedural (implicit) knowledge to declarative (explicit) knowledge. However, the potential of the transition to enhance functioning has not yet been realised to any extent in relation to consciousness itself. The paper assesses the potential for consciousness to use declarative knowledge to improve its own functioning and to thereby enhance human adaptability. A number of sources (including the practices of religious and contemplative traditions) are drawn on to investigate how this potential might be realised. (shrink)

The representational content or subject matter of a picture is normally distinguished from various non-representational components of meaning involved in artworks, such as expressive, stylistic or intentional factors. However, I show how such non subject matter components may themselves be analyzed in content terms, if two different categories of representation are recognized--aspect indication for stylistic etc. factors, and normal representation for subject matter content. On the account given, the relevant kinds of content are hierarchically structured, with relatively unconceptualized lower level (...) aspectual contents encoding or symbolizing higher level conceptualized representational subject matter. Such an account is strongly supported by the latest findings of cognitive science regarding levels of conceptualization. The paper also demonstrates how the account given is compatible with the actual pictorial competence of normal viewers of visual artworks. (shrink)

What is the relation between a perceptual experience of an object X as being red, and one's belief, if any, as to the nature of that experience? A traditional Cartesian view would be that, if indeed object X does seem to be red to oneself, then one's resulting introspective belief about it could only be a _conforming _belief, i.e., a belief that X perceptually seems to be _red _to oneself--rather than, for instance, a belief that X perceptually seems to be (...) green to oneself instead. On such a Cartesian view, our introspective certainly about our own thoughts extends also to our perceptual experiences as to how things seem to be to us, so that our resulting introspective beliefs about our phenomenal states also count as knowledge of them. (shrink)

Memory is studied across a bewildering range of disciplines and subdisciplines in the neural, cognitive, and social sciences, and the term covers a wide range of related phenomena. In an integrative spirit, this chapter examines two case studies in memory research in which empirically-informed philosophy and philosophically informed sciences of the mind can be mutually informative, such that the interaction between psychology and philosophy can open up new research problems—and set new challenges—for our understanding of certain aspects of memory. In (...) each case, there is already enough interdisciplinary interaction on specific issues to give some confidence in the potential productivity of mutual exchange: but in each case, residual gulfs in research style and background assumptions remain to be addressed. (shrink)

There are many different ways to think about what has happened before. I think about my own recent actions, and about what happened to me a long time ago; I can think about times before I lived, and about what will happen after my death. I know many things about the past, and about what has happened because people did things before now, or because some good or bad things happened to me.