Cognitive science has recently made some startling discoveries about temporal experience, and these discoveries have been drafted into philosophical service. We survey recent appeals to cognitive science in the philosophical debate over whether time objectively passes. Since this research is currently in its infancy, we identify some directions for future research.

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)

The foundations of research ethics are riven with fault lines emanating from a fear that if research is too closely connected to weighty social purposes an imperative to advance the common good through research will justify abrogating the rights and welfare of study participants. The result is an impoverished conception of the nature of research, an incomplete focus on actors who bear important moral responsibilities, and a system of ethics and oversight highly attuned to the dangers of research but largely (...) silent about threats of ineffective, inefficient, and inequitable medical practices and health systems. -/- In For the Common Good: Philosophical Foundations of Research Ethics, Alex John London defends a conception of the common good that grounds a moral imperative with two requirements. The first is to promote research that generates the information necessary to enable key social institutions to effectively, efficiently, and equitably safeguard the basic interests of individuals. The second is to ensure that research is organized as a voluntary scheme of social cooperation that respects its various contributors' moral claims to be treated as free and equal. Connecting research to the goals of a just social order grounds a framework for assessing and managing research risk that reconciles these requirements and justifies key oversight practices in non-paternalistic terms. Reconceiving research ethics as resolving coordination problems and providing credible assurance that these requirements are being met expands the issues and actors that fall within the purview of the field and provides the foundation for a more unified and coherent approach to domestic and international research. -/- This is an open access title available under the terms of a CC BY-NC-ND 4.0 license. It is free to read at Oxford Scholarship Online and offered as a free PDF download from OUP and selected open access locations. (shrink)

We present Backward Clock, an original counterexample to Robert Nozick’s truth-tracking analysis of propositional knowledge, which works differently from other putative counterexamples and avoids objections to which they are vulnerable. We then argue that four ways of analysing knowledge in terms of safety, including Duncan Pritchard’s, cannot withstand Backward Clock either.

A collaborative article by the Editorial Collective of Social Imaginaries. Investigations into social imaginaries have burgeoned in recent years. From ‘the capitalist imaginary’ to the ‘democratic imaginary’, from the ‘ecological imaginary’ to ‘the global imaginary’ – and beyond – the social imaginaries field has expanded across disciplines and beyond the academy. The recent debates on social imaginaries and potential new imaginaries reveal a recognisable field and paradigm-in-the-making. We argue that Castoriadis, Ricoeur, and Taylor have articulated the most important theoretical frameworks (...) for understanding social imaginaries, although the field as a whole remains heterogeneous. We further argue that the notion of social imaginaries draws on the modern understanding of the imagination as authentically creative. We contend that an elaboration of social imaginaries involves a significant, qualitative shift in the understanding of societies as collectively and politically-instituted formations that are irreducible to inter-subjectivity or systemic logics. After marking out the contours of the field and recounting a philosophical history of the imagination, the essay turns to debates on social imaginaries in more concrete contexts, specifically political-economic imaginaries, the ecological imaginary, multiple modernities and their inter-civilisational encounters. The social imaginaries field imparts powerful messages for the human sciences and wider publics. In particular, social imaginaries hold significant implications for ontological, phenomenological and philosophical anthropological questions; for the cultural, social, and political horizons of contemporary worlds; and for ecological and economic phenomena. The essay concludes with the argument that social imaginaries as a paradigm-in-the-making offers valuable means by which movements towards social change can be elucidated as well providing an open horizon for the critiques of existing social practices. (shrink)

An advanced artificial intelligence could pose a significant existential risk to humanity. Several research institutes have been set-up to address those risks. And there is an increasing number of academic publications analysing and evaluating their seriousness. Nick Bostrom’s superintelligence: paths, dangers, strategies represents the apotheosis of this trend. In this article, I argue that in defending the credibility of AI risk, Bostrom makes an epistemic move that is analogous to one made by so-called sceptical theists in the debate about the (...) existence of God. And while this analogy is interesting in its own right, what is more interesting are its potential implications. It has been repeatedly argued that sceptical theism has devastating effects on our beliefs and practices. Could it be that AI-doomsaying has similar effects? I argue that it could. Specifically, and somewhat paradoxically, I argue that it could amount to either a reductio of the doomsayers position, or an important and additional reason to join their cause. I use this paradox to suggest that the modal standards for argument in the superintelligence debate need to be addressed. (shrink)

Technology could be used to improve morality but it could do so in different ways. Some technologies could augment and enhance moral behaviour externally by using external cues and signals to push and pull us towards morally appropriate behaviours. Other technologies could enhance moral behaviour internally by directly altering the way in which the brain captures and processes morally salient information or initiates moral action. The question is whether there is any reason to prefer one method over the other? In (...) this article, I argue that there is. Specifically, I argue that internal moral enhancement is likely to be preferable to external moral enhancement, when it comes to the legitimacy of political decision-making processes. In fact, I go further than this and argue that the increasingly dominant forms of external moral enhancement may already be posing a significant threat to political legitimacy, one that we should try to address. Consequently, research and development of internal moral enhancements should be prioritised as a political project. (shrink)

Aristotle said that induction (epagōgē) is a proceeding from particulars to a universal, and the definition has been conventional ever since. But there is an ambiguity here. Induction in the Scholastic and the (so-called) Humean tradition has presumed that Aristotle meant going from particular statements to universal statements. But the alternate view, namely that Aristotle meant going from particular things to universal ideas, prevailed all through antiquity and then again from the time of Francis Bacon until the mid-nineteenth century. Recent (...) scholarship is so steeped in the first-mentioned tradition that we have virtually forgotten the other. In this essay McCaskey seeks to recover that alternate tradition, a tradition whose leading theoreticians were William Whewell, Francis Bacon, Socrates, and in fact Aristotle himself. The examination is both historical and philosophical. The first part of the essay fills out the history. The latter part examines the most mature of the philosophies in the Socratic tradition, specifically Bacon’s and Whewell’s. After tracing out this tradition, McCaskey shows how this alternate view of induction is indeed employed in science, as exemplified by several instances taken from actual scientific practice. In this manner, McCaskey proposes to us that the Humean problem of induction is merely an artifact of a bad conception of induction and that a return to the Socratic conception might be warranted. (shrink)

The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this paper (...) is to demonstrate that ordinary English properly used has the resources for intricate and philosophically sound investigation of rather deep issues in logic and philosophy of language. No mathematical, logical, or linguistic symbols are used. Meanings need to be identified and clarified before being expressed in symbols. We hope to establish that clarity is served by deferring the extensive use of formalized or logically perfect languages until a solid “informal” foundation has been established. Questions of “ontological status”—e.g., whether propositions or sentences, or for that matter characters, numbers, truth-values, or instants, are “real entities”, are “idealizations”, or are “theoretical constructs”—plays no role in this paper. As is suggested by the title, this paper is written to be read aloud. -/- I hope that reading this aloud in groups will unite people in the enjoyment of the humanistic spirit of analytic philosophy. (shrink)

“Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of our traditional intuitive logical framework and (...) that it is not an artificial formalism created by specialists for technical purposes. To illustrate some of the main relationships between second-order logic and first-order logic, this paper introduces basic logic, a kind of zero-order logic, which is more rudimentary than first-order and which is transcended by first-order in the same way that first-order is transcended by second-order. The heuristic effectiveness and the historical importance of second-order logic are reviewed in the context of the contemporary debate over the legitimacy of second-order logic. Rejection of second-order logic is viewed as radical: an incipient paradigm shift involving radical repudiation of a part of our scientific tradition, a tradition that is defended by classical logicians. But it is also viewed as reactionary: as being analogous to the reactionary repudiation of symbolic logic by supporters of “Aristotelian” traditional logic. But even if “genuine” logic comes to be regarded as excluding second-order reasoning, which seems less likely today than fifty years ago, its effectiveness as a heuristic instrument will remain and its importance for understanding the history of logic and mathematics will not be diminished. Second-order logic may someday be gone, but it will never be forgotten. Technical formalisms have been avoided entirely in an effort to reach a wide audience, but every effort has been made to limit the inevitable sacrifice of rigor. People who do not know second-order logic cannot understand the modern debate over its legitimacy and they are cut-off from the heuristic advantages of second-order logic. And, what may be worse, they are cut-off from an understanding of the history of logic and thus are constrained to have distorted views of the nature of the subject. As Aristotle first said, we do not understand a discipline until we have seen its development. It is a truism that a person's conceptions of what a discipline is and of what it can become are predicated on their conception of what it has been. (shrink)

This paper tries to clarify, strengthen and respond to two prominent objections to the development and use of human enhancement technologies. Both objections express concerns about the link between enhancement and the drive for hyperagency. The first derives from the work of Sandel and Hauskeller—and is concerned with the negative impact of hyperagency on social solidarity. In responding to their objection, I argue that although social solidarity is valuable, there is a danger in overestimating its value and in neglecting some (...) obvious ways in which the enhancement project can be planned so as to avoid its degradation. The second objection, though common to several writers, has been most directly asserted by Saskia Nagel, and is concerned with the impact of hyperagency on the burden and distribution of responsibility. Though this is an intriguing objection, I argue that not enough has been done to explain why this is morally problematic. I try to correct for this flaw before offering a variety of strategies for dealing with the problems raised. (shrink)

This article argues that the word ψυχαγωγία and its cognates which are found in the writings of Philodemus retain a semantic connection to the domain of magic and are best translated in terms of ‘enchantment’ rather than the more generic sense of ‘entertainment’.

Translated from: Searle, J. R. 'Social Ontology: some basic principles'. Anthopological Theory, 2006, Vol. 6, issue 1, pp.51-71.

Climate negotiations under the United Nations Framework Convention on Climate Change have so far failed to achieve a robust international agreement to reduce greenhouse gas emissions. Game theory has been used to investigate possible climate negotiation solutions and strategies for accomplishing them. Negotiations have been primarily modelled as public goods games such as the Prisoner’s Dilemma, though coordination games or games of conflict have also been used. Many of these models have solutions, in the form of equilibria, corresponding to possible (...) positive outcomes—that is, agreements with the requisite emissions reduction commitments. Other work on large-scale social dilemmas suggests that it should be possible to resolve the climate problem. It therefore seems that equilibrium selection may be a barrier to successful negotiations. Here we use an N-player bargaining game in an agent-based model with learning dynamics to examine the past failures of and future prospects for a robust international climate agreement. The model suggests reasons why the desirable solutions identified in previous game-theoretic models have not yet been accomplished in practice and what mechanisms might be used to achieve these solutions. (shrink)

Economists can value things for cost-benefit analysis using either a structured or an unstructured approach. The first imposes some theoretical structure on the valuation; the second does not. This paper explains the difference between the approaches and examines the relative merits of each. Cost-benefit analysis may be aimed at finding what would be the best action, or alternatively at finding which action should be done in a democracy. The paper explains the difference, and argues that the appropriate aim is the (...) first. Given that, it comes down in favour of the structured approach to valuation. As an example, it discusses different approaches to valuing life in economics. (shrink)

The meaning of an utterance is often enriched by the pragmatic context in which it is uttered. This is because in ordinary conversations we routinely and uncontroversially compress what we say, safe in the knowledge that those interpreting us will ‘add in’ the content we intend to communicate. Does the same thing hold true in the case of legal utterances like ‘This constitution protects the personal rights of the citizen’ or ‘the parliament shall have the power to lay and collect (...) taxes’? This article addresses this question from the perspective of the constitutional originalist—the person who holds that the meaning of a constitutional text is fixed at some historical moment. In doing so, it advances four theses. First, it argues that every originalist theory is committed to some degree of pragmatic enrichment, the debate is about how much. Second, that in determining which content gets ‘added in’, originalists typically hold to a common knowledge standard for enrichment, protestations... (shrink)

This paper corrects a mistake I saw students make but I have yet to see in print. The mistake is thinking that logically equivalent propositions have the same counterexamples—always. Of course, it is often the case that logically equivalent propositions have the same counterexamples: “every number that is prime is odd” has the same counterexamples as “every number that is not odd is not prime”. The set of numbers satisfying “prime but not odd” is the same as the set of (...) numbers satisfying “not odd but not not-prime”. The mistake is thinking that every two logically-equivalent false universal propositions have the same counterexamples. Only false universal propositions have counterexamples. A counterexample for “every two logically-equivalent false universal propositions have the same counterexamples” is two logically-equivalent false universal propositions not having the same counterexamples. The following counterexample arose naturally in my sophomore deductive logic course in a discussion of inner and outer converses. “Every even number precedes every odd number” is counterexemplified only by even numbers, whereas its equivalent “Every odd number is preceded by every even number” is counterexemplified only by odd numbers. Please let me know if you see this mistake in print. Also let me know if you have seen these points discussed before. I learned them in my own course: talk about learning by teaching! (shrink)

This paper attempts to reconcile two apparently opposed ways of thinking about the imagination and its relationship to literature, one which casts it as essentially concerned with fiction-making and the other with culture-making. The literary imagination’s power to create fictions is what gives it its most obvious claim to “autonomy”, as Kant would have it: its freedom to venture out in often wild and spectacular excess of reality. The argument of this paper is that we can locate the literary imagination’s (...) complementary power of cultural articulation in this fictional activity. The suggestion is that we should conceive of the literary imagination as expressing its interests in culture not mimetically but by producing a certain kind of meaning. This meaning is irreducibly narratological, and understanding it helps us to see the role of narrative in bringing into harmony the literary imagination’s interests in both the imaginary and the real. (shrink)

2006. George Boole. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA. -/- George Boole (1815-1864), whose name lives among modern computer-related sciences in Boolean Algebra, Boolean Logic, Boolean Operations, and the like, is one of the most celebrated logicians of all time. Ironically, his actual writings often go unread and his actual contributions to logic are virtually unknown—despite the fact that he was one of the clearest writers in the field. Working with various students including Susan Wood and Sriram (...) Nambiar, I have written several publications trying to set the record straight—but so far to little avail. This encyclopedia entry is one more attempt to set the record straight in a way that can be appreciated by non-experts.Also see https://www.academia.edu/10161999/Booles_criteria_of_validity_and_invalidity . (shrink)

This new, inexpensive translation of Plato's Apology of Socrates is an alternative to the 19th-century Jowett translation that students find online when they're trying to save money on books. Using the 1995 Oxford Classical Text and the commentaries of John Burnet and James Helm, I aimed to produce a 21st-century English translation that is both true to Plato's Greek and understandable to college students in introductory philosophy, political theory, and humanities courses. The book also includes a new translation of (...) the death scene from Plato's Phaedo, a short introduction, a dozen explanatory notes, advice on how to cite Plato in papers, and suggestions for further reading. Search for "Plato Armstrong" in Apple Books (epub ISBN 9781957448022) and Amazon (paperback ISBN 9781957448008, Kindle ISBN 9781957448015). (shrink)

For all their differences, the “pro-choice” and the “pro-life” views of abortion are largely in agreement about one aspect of abortion decisions: where an abortion is morally legitimate, the pregnant woman should be permitted to decide whether or not to have an abortion. But I argue in this paper that if the man who will become the father of the fetus is known, if he believes that he will not be able (or permitted) to simply walk away from his biological (...) offspring, and if he does not think it would be a good idea for him to a) become a parent, b) with this woman, or c) at this time, then the woman should have an abortion. Given the life-altering moral obligations involved in raising a child, a woman should not decide to make her (sexual) partner a father without his full consent. (shrink)

Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are devoted. (...) At the time of the first edition, 1920, the editor was apparently not acquainted with the secondary literature on Logica demonstrativa which continued to grow in the period preceding the second edition \ref[see D. J. Struik, in Dictionary of scientific biography, Vol. 12, 55--57, Scribner's, New York, 1975]. Of special interest in this connection is a series of three articles by A. F. Emch [Scripta Math. 3 (1935), 51--60; Zbl 10, 386; ibid. 3 (1935), 143--152; Zbl 11, 193; ibid. 3 (1935), 221--333; Zbl 12, 98]. (2) It seems curious that modern writers believe that demonstration of the "nondeducibility" of the parallel postulate vindicates Euclid whereas at first Saccheri seems to have thought that demonstration of its "deducibility" is what would vindicate Euclid. Saccheri is perfectly clear in his commitment to the ancient (and now discredited) view that it is wrong to take as an "axiom" a proposition which is not a "primal verity", which is not "known through itself". So it would seem that Saccheri should think that he was convicting Euclid of error by deducing the parallel postulate. The resolution of this confusion is that Saccheri thought that he had proved, not merely that the parallel postulate was true, but that it was a "primal verity" and, thus, that Euclid was correct in taking it as an "axiom". As implausible as this claim about Saccheri may seem, the passage on p. 237, lines 3--15, seems to admit of no other interpretation. Indeed, Emch takes it this way. (3) As has been noted by many others, Saccheri was fascinated, if not obsessed, by what may be called "reflexive indirect deductions", indirect deductions which show that a conclusion follows from given premises by a chain of reasoning beginning with the given premises augmented by the denial of the desired conclusion and ending with the conclusion itself. It is obvious, of course, that this is simply a species of ordinary indirect deduction; a conclusion follows from given premises if a contradiction is deducible from those given premises augmented by the denial of the conclusion---and it is immaterial whether the contradiction involves one of the premises, the denial of the conclusion, or even, as often happens, intermediate propositions distinct from the given premises and the denial of the conclusion. Saccheri seemed to think that a proposition proved in this way was deduced from its own denial and, thus, that its denial was self-contradictory (p. 207). Inference from this mistake to the idea that propositions proved in this way are "primal verities" would involve yet another confusion. The reviewer gratefully acknowledges extensive communication with his former doctoral students J. Gasser and M. Scanlan. ADDED 14 March 14, 2015: (1) Wikipedia reports that many of Saccheri's ideas have a precedent in the 11th Century Persian polymath Omar Khayyám's Discussion of Difficulties in Euclid, a fact ignored in most Western sources until recently. It is unclear whether Saccheri had access to this work in translation, or developed his ideas independently. (2) This book is another exemplification of the huge difference between indirect deduction and indirect reduction. Indirect deduction requires making an assumption that is inconsistent with the premises previously adopted. This means that the reasoner must perform a certain mental act of assuming a certain proposition. It case the premises are all known truths, indirect deduction—which would then be indirect proof—requires the reasoner to assume a falsehood. This fact has been noted by several prominent mathematicians including Hardy, Hilbert, and Tarski. Indirect reduction requires no new assumption. Indirect reduction is simply a transformation of an argument in one form into another argument in a different form. In an indirect reduction one proposition in the old premise set is replaced by the contradictory opposite of the old conclusion and the new conclusion becomes the contradictory opposite of the replaced premise. Roughly and schematically, P,Q/R becomes P,~R/~Q or ~R, Q/~P. Saccheri’s work involved indirect deduction not indirect reduction. (3) The distinction between indirect deduction and indirect reduction has largely slipped through the cracks, the cracks between medieval-oriented logic and modern-oriented logic. The medievalists have a heavy investment in reduction and, though they have heard of deduction, they think that deduction is a form of reduction, or vice versa, or in some cases they think that the word ‘deduction’ is the modern way of referring to reduction. The modernists have no interest in reduction, i.e. in the process of transforming one argument into another having exactly the same number of premises. Modern logicians, like Aristotle, are concerned with deducing a single proposition from a set of propositions. Some focus on deducing a single proposition from the null set—something difficult to relate to reduction. (shrink)

The paper will explicate the Sache or matter of the dialectic of the founder of Kyoto School philosophy, Nishida Kitarō (1870-1945), from the standpoint of his mature thought, especially from the 1930s and 40s. Rather than providing a simple exposition of his thought I will engage in a creative reading of his concept of basho (place) in terms of chiasma and chōra, or a chiasmatic chōra. I argue that Nishida’s appropriation of nineteenth century German, especially Hegelian, terminology was inadequate in (...) expressing what he strove to say—for his concept of basho confounds traditional metaphysical discourse. Because of its chiasmatic and chōratic nature, the Sache he strove to capture and express through the language of dialectical philosophy, perpetually slips away from any systemic bounds. His “dialectic” (benshōhō) implies a chiasma or a criss-crossing of multiple factors on multi-dimensional levels that exceed in complexity simplistic binomial oppositions or the triadic formula of traditional dialectics. The complexity is one of over-determination that threatens to undermine the very language of such a dialectic. As the deep complexity of over-inter-determinations would deconstruct any notion of a substance, what Nishida offers—as opposed to an ousiology (or logic of substance)—is a chiasmology. I thus argue that his so-called dialectic is really an unfolding of that chiasma. And if chiasma expresses the over-determinate aspect of Nishida’s matter of thinking, chōra would express its under-determinate aspect. Nishida himself based his concept of basho or “place” on Plato’s notion of the chōra from the Timaeus. I take Nishida’s basho in its chōratic nature as what simultaneously unfolds and enfolds the chiasma. But in the case of the chōra it is its under-determinate nature that refuses reduction to any of the terms of opposition. In its self-withdrawal, it provides a clearing, a space, for the chiasmatic unraveling of the many. Like the chiasma it undermines any claim to a first substance or the hegemony of a universal First. For in its indeterminateness, it is “nothing” (mu). The unfolding it enfolds is, as Nishida states, “a determination without determiner.” In concrete terms, however, we might develop Nishida’s concept further by returning to the original pre-Platonic Greek meaning of chōra in the sense of “region” or “country,” to understand chōra or basho here as the very space of co-existence provided by this very earth. As a chiasmatic chōra irreducible, in its over- and under-determinations, to being or non-being, Nishida’s basho qua mu proves to be the an-ontological origin of both on and meon (being and non-being). Rejecting the culture-nature dichotomy this notion of our place of being as chiasma and chōra underscores our holistic symbiosis with the earth as the anontological (un)ground and clearing for our co-existence in a concrete milieau with one another and with nature. It is this earth as our ultimate contextual wherein that provides a clearing for co-dwelling and mutual encounter with one’s other, that we must acknowledge today if we are to co-exist authentically and freely vis-à-vis our global neighbors and vis-à-vis the surrounding nature. (shrink)

Linguistic expressions must be decrypted if they are to transmit information. Thoughts need not be decrypted if they are to transmit information. Therefore thought-processes do not consist of linguistic expressions: thought is not linguistic. A consequence is that thought is not computational, given that a computation is the operationalization of a function that assigns one expression to some other expression (or sequence of expressions).

Published in PoMo Magazine vol. 2, nr. 1 (Spring/Summer 1996) during my years as a grad student at the New School. I examine Nietzsche's presentation of the eternal recurrence, and discuss its interpretations by Heidegger, Bataille, Derrida, Klossowski, Stambaugh, and Vattimo. I will be returning to Nietzsche in the future.

The primary sense of the word ‘hypothesis’ in modern colloquial English includes “proposition not yet settled” or “open question”. Its opposite is ‘fact’ in the sense of “proposition widely known to be true”. People are amazed that Plato [1, p. 1684] and Aristotle [Post. An. I.2 72a14–24, quoted below] used the Greek form of the word for indemonstrable first principles [sc. axioms] in general or for certain kinds of axioms. These two facts create the paradoxical situation that in many cases (...) it is impossible to translate the Greek form of the word using the English form: the primary sense of the word ‘hypothesis’ in modern colloquial English is diametrically opposed to one sense used by Plato and by his most accomplished student Given current colloquial English usage it is impossible to get the word hypothesis to carry the connotation of “settled truth” much less “axiomatic truth”. The ‘hypo-’ [under] in the Plato-Aristotle use of ‘hypothesis’ might carry the sense of “basis” or “foundational” as opposed to “less than usual or normal”. This paradox parallels the one pointed out by Robin Smith: it is impossible for the English word ‘syllogism’ to carry the meaning of its Greek form Aristotle intended. There are other cases as well: it is impossible for the English biological term ‘genus’ to carry the meaning of its Greek form the Greek genos refers to family as in our ‘genealogy’, not to “higher species” as in our ‘generic’. (shrink)

English translation of an entry on pages 137–42 of the Spanish-language dictionary of logic: Luis Vega, Ed. Compendio de Lógica, Argumentación, y Retórica. Madrid: Trotta. -/- DEDICATION: To my friend and collaborator Kevin Tracy. -/- This short essay—containing careful definitions of ‘counterargument’ and ‘counterexample’—is not an easy read but it is one you’ll be glad you struggled through. It contains some carefully chosen examples suitable for classroom discussion. -/- Using the word ‘counterexample’ instead of ‘counterargument’ in connection with Aristotle’s invalidity (...) proofs leads to a misinterpretation of Aristotle’s intentions. The two relations expressed by these two words are drastically different—as explained in this essay. There is however a subtle overlap: Every argument that is a counterargument for a given argument is a counterexample to the universal proposition that every argument in the same form as the given argument is valid. The word ‘counterexample’ was coined in the 1800s. The word ‘counterargument’ was given this sense in the 1960s. Saying that one argument is a counterexample for another argument is bad English—taking the word ‘counterexample’ in its Standard English sense. The word ‘counterinstance’ is an exact synonym for ‘counterexample’. Which logic books define ‘counterinstance’ or ‘counterexample’? Who started using ‘counterinstance’ or ‘counterexample’ in the sense of ‘counterargument’? Did they note that they were not using the word in the Standard sense? Why did it catch on? -/- Also see: https://www.academia.edu/8840909/Argumentations_and_logic_1989_ . (shrink)

The word ‘equality’ often requires disambiguation, which is provided by context or by an explicit modifier. For each sort of magnitude, there is at least one sense of ‘equals’ with its correlated senses of ‘is greater than’ and ‘is less than’. Given any two magnitudes of the same sort—two line segments, two plane figures, two solids, two time intervals, two temperature intervals, two amounts of money in a single currency, and the like—the one equals the other or the one is (...) greater than the other or the one is greater than the other [sc. in appropriate correlated senses of ‘equals’, ‘is greater than’ and ‘is less than’]. In case there are two or more appropriate senses of ‘equals’, the one intended is often indicated by an adverb. For example, one plane figure may be said to be equal in area to another and, in certain cases, one plane figure may be said to be equal in length to another. Each sense of ‘equality’ is tied to a specific domain and is therefore non-logical. Notice that in every cases ‘equality’ is definable in terms of ‘is greater than’ and also in terms of ‘is less than’ both of which are routinely considered domain specific, non-logical. The word ‘identity’ in the logical sense does not require disambiguation. Moreover, it is not correlated ‘is greater than’ and ‘is less than’. If it is not the case that a certain designated triangle is [sc. is identical to] an otherwise designated triangle, it is not necessary for the one to be greater than or less than the other. Moreover, if two magnitudes are equal then a unit of measure can be chosen and, no matter what unit is chosen, each magnitude is the same multiple of the unit that the other is. But identity does not require units. In this regard, congruence is like identity and unlike equality. In arithmetic, the logical concept of identity is coextensive with the arithmetic concept of equality. The logical concept of identity admits of an analytically adequate definition in terms of logical concepts: given any number x and any number y, x is y iff x has every property that y has. The arithmetical concept of equality admits of an analytically adequate definition in terms of arithmetical concepts: given any number x and any number y, x equals y iff x is neither less than nor greater than y. As Aristotle told us and as Frege retold us, just because one relation is coextensive with another is no reason to conclude that they are one. (shrink)

This 4-page review-essay—which is entirely reportorial and philosophically neutral as are my other contributions to MATHEMATICAL REVIEWS—starts with a short introduction to the philosophy known as mathematical structuralism. The history of structuralism traces back to George Boole (1815–1864). By reference to a recent article various feature of structuralism are discussed with special attention to ambiguity and other terminological issues. The review-essay includes a description of the recent article. The article’s 4-sentence summary is quoted in full and then analyzed. The point (...) of the quotation is to make clear how murky, incompetent, and badly written the paper is. There is no way to determine from the article whether the editor or referees suggests improvements. (shrink)

This paper will annoy modern logicians who follow Bertrand Russell in taking pleasure in denigrating Aristotle for [allegedly] being ignorant of relational propositions. To be sure this paper does not clear Aristotle of the charge. On the contrary, it shows that such ignorance, which seems unforgivable in the current century, still dominated the thinking of one of the greatest modern logicians as late as 1831. Today it is difficult to accept the proposition that Aristotle was blind to the fact that, (...) for example, incommensurability is a relation and not a property: that the proposition “In every square, the diagonals are incommensurable with the sides” is relational and not categorical. This paper asks the reader to do something more difficult: to accept the proposition that as late as 1831 De Morgan was blind to the same fact. This paper shows conclusively that in 1831, De Morgan was still in the grips of the allegedly Aristotelian paradigm. (shrink)

A truth-preservation fallacy is using the concept of truth-preservation where some other concept is needed. For example, in certain contexts saying that consequences can be deduced from premises using truth-preserving deduction rules is a fallacy if it suggests that all truth-preserving rules are consequence-preserving. The arithmetic additive-associativity rule that yields 6 = (3 + (2 + 1)) from 6 = ((3 + 2) + 1) is truth-preserving but not consequence-preserving. As noted in James Gasser’s dissertation, Leibniz has been criticized for (...) using that rule in attempting to show that arithmetic equations are consequences of definitions. -/- A system of deductions is truth-preserving if each of its deductions having true premises has a true conclusion—and consequence-preserving if, for any given set of sentences, each deduction having premises that are consequences of that set has a conclusion that is a consequence of that set. Consequence-preserving amounts to: in each of its deductions the conclusion is a consequence of the premises. The same definitions apply to deduction rules considered as systems of deductions. Every consequence-preserving system is truth-preserving. It is not as well-known that the converse fails: not every truth-preserving system is consequence-preserving. Likewise for rules: not every truth-preserving rule is consequence-preserving. There are many famous examples. In ordinary first-order Peano-Arithmetic, the induction rule yields the conclusion ‘every number x is such that: x is zero or x is a successor’—which is not a consequence of the null set—from two tautological premises, which are consequences of the null set, of course. The arithmetic induction rule is truth-preserving but not consequence-preserving. Truth-preserving rules that are not consequence-preserving are non-logical or extra-logical rules. Such rules are unacceptable to persons espousing traditional truth-and-consequence conceptions of demonstration: a demonstration shows its conclusion is true by showing that its conclusion is a consequence of premises already known to be true. The 1965 Preface in Benson Mates (1972, vii) contains the first occurrence of truth-preservation fallacies in the book. (shrink)

My very first published article as a graduate student in 1995 in a peer-reviewed journal (PoMo Magazine) that no longer exists. Published in PoMo Magazine, vol. 1, nr. 1 (Spring/Summer 1995). I elaborate a non-metaphysical phenomenology that is at the same time a way of thinking and a way of being "without why." My starting point is Reiner Schürmann's anarchistic interpretation of Heidegger. It was my first (somewhat sophmoric) attempt to develop a kind of ontology.

This largely expository lecture deals with aspects of traditional solid geometry suitable for applications in logic courses. Polygons are plane or two-dimensional; the simplest are triangles. Polyhedra [or polyhedrons] are solid or three-dimensional; the simplest are tetrahedra [or triangular pyramids, made of four triangles]. -/- A regular polygon has equal sides and equal angles. A polyhedron having congruent faces and congruent [polyhedral] angles is not called regular, as some might expect; rather they are said to be subregular—a word coined for (...) this lecture. To repeat, a subregular polyhedron has congruent faces and congruent [polyhedral] angles. A subregular polyhedron whose faces are all regular polygons is regular—using standard terminology. -/- Geometers before Euclid showed that there are “essentially” only five regular polyhedra: every regular polyhedron is a tetrahedron (4 faces), a hexahedron or cube (6 faces), an octahedron (8 faces), a dodecahedron (12 faces), or an icosahedron (20 faces). -/- The first question is whether there are subregular polyhedra that are not regular. For example, are there tetrahedra having congruent angles and congruent triangular faces but whose faces are not equilateral triangles? -/- Another question is the classification of subregular polyhedra if they exist. For example, considering the fact that the regular tetrahedra all have equilateral triangles as faces, we ask which triangles other than equilaterals are faces of subregular tetrahedra. Similarly, considering the fact that the regular hexahedra all have squares as faces, we ask which quadrangles other than squares are faces of subregular hexahedra. -/- After introductory remarks that include historical and philosophical points, we concentrate on tetrahedra. A triangle that is congruent to each of the four faces of a tetrahedron is called a generator of the tetrahedron. The main result proved is that every acute triangle is a generator of a subregular tetrahedron. The proof includes an algorithm –implementable with scissors and paper –that constructs from any given acute triangle a subregular tetrahedron whose faces are congruent to the given triangle. -/- Algorithm: Given any acute triangle. Construct a similar triangle whose sides are double the sides of the given triangle. Draw the three lines connecting the three midpoints of the sides (making four triangles congruent to the given triangle—a central triangle surrounded by three peripheral triangles). Make three “hinges” along the lines connecting the midpoints. “Fold” the peripheral triangles together (into a tetrahedron). [LIGHTLY EDITED VERSION OF PRINTED ABSTRACT] Acknowledgements: William Lawvere, Colin McLarty, Irvin Miller, Frango Nabrasa, Lawrence Spector, Roberto Torretti, and Richard Vesley. -/- . (shrink)

The premise-fact confusion in Aristotle’s PRIOR ANALYTICS. -/- The premise-fact fallacy is talking about premises when the facts are what matters or talking about facts when the premises are what matters. It is not useful to put too fine a point on this pencil. -/- In one form it is thinking that the truth-values of premises are relevant to what their consequences in fact are, or relevant to determining what their consequences are. Thus, e.g., someone commits the premise-fact fallacy if (...) they think that a proposition has different consequences were it true than it would have if false. C. I. Lewis said that confusing logical consequence with material consequence leads to this fallacy. See Corcoran’s 1973 “Meanings of implication” [available on Academia. edu]. -/- The premise-fact confusion occurs in a written passage that implies the premise-fact fallacy or that suggests that the writer isn’t clear about the issues involved in the premise-fact fallacy. Here are some examples. -/- E1: If Abe is Ben and Ben swims, then it would follow that Abe swims. -/- Comment: The truth is that from “Abe is Ben and Ben swims”, the proposition “Abe swims” follows. Whether in fact Abe is Ben and Ben swims is irrelevant to whether “Abe swims” follows from “Abe is Ben and Ben swims”. -/- E1 suggests that maybe “Abe swims” wouldn’t follow from “Abe is Ben and Ben swims” if the latter were false. -/- E2: The truth of “Abe is Ben and Ben swims” implies that Abe swims. -/- E3: Indirect deduction requires assuming something false. -/- Comment: If the premises of an indirect deduction are true the conclusion is true and thus the “reductio” assumption is false. But deduction, whether direct or indirect, does not require true premises. In fact, indirect deduction is often used to determine that the premises are not all true. -/- Anyway, the one-page paper accompanying this abstract reports one of dozens of premise-fact errors in PRIOR ANALYTICS. In the session, people can add their own examples and comment on them. For example, is the one at 25b32 the first? What is the next premise-fact error after 25b32? Which translators or commentators discuss this? -/- . (shrink)

A review with commentary on Mark A. Bedau and Emily C. Parke (eds): The Ethics of Protocells: Moral and Social Implications of Creating Life in the Laboratory (Basic Bioethics series) MIT Press, Cambridge,MA, 2009, 365 pp, ISBN 978-0-262-01262-1, ISBN 978-0-262-51269-5.

Theory of Computation -- Computation by Abstracts Devices.

What are laws, and do they necessarily have any basis in morality? The present work argues that laws are governmental assurances of protections of rights and that concepts of law and legal obligation must therefore be understood in moral terms. There are, of course, many immoral laws. But once certain basic truths are taken into account – in particular, that moral principles have a “dimension of weight”, to use an expression of Ronald Dworkin’s, and also that principled relations are not (...) always expressed by perfect statistical concomitances – the existence of iniquitous laws poses no significant threat to a moralistic analysis of law. Special attention is paid to the debate between Ronald Dworkin and H.L.A. Hart. Dworkin’s over-all position is argued to be correct, but issue is taken with his argument for that position. Hart’s analysis is found to be vitiated by an impoverished conception of morality and also of the nature of government. Our analysis of law enables us to answer three questions that, at this juncture of history, are of special importance: Are there international laws? If not, could such laws exist? And if they could exist, would their existence necessarily be desirable? The answers to these questions are, respectively: “no”, “yes”, and “no.” Our analysis of law enables us to hold onto the presumption that so-called legal interpretation is a principled endeavor, and that some legal interpretations are truer to existing laws than others. At the same time, it accommodates the obvious fact that the sense in which a physicist interprets meter-readings, or in which a physician interprets a patient’s symptoms, is different from the sense in which judges interpret the law. So our analysis of law enables us to avoid the extreme views that have thus far dominated debates concerning the nature of legal interpretation. On the one hand, it becomes possible to avoid the cynical view (held by the so-called “legal realists”) that legal interpretation is mere legislation and that no legal interpretation is more correct than any other. On the other hand, it becomes possible to avoid Blackstone’s view (rightly descried by Austin as a “childish fiction”) that judges merely discover, and do not create, the law. (shrink)

The text “Language and Social Reality” is translated here from the work of John R. Searle: The Construction of Social Reality (The Free Press: New York, 1995. Chapter 3: Language and Social Reality. pp. 59–78.

Marx's concept of alienation has proven to be a subject of controversy for many social theorists. One of the more provocative treatments of this concept has been outlined by Jean-Paul Sartre. Drawing heavily on Marxism's Hegelian tradition, Sartre portrays alienation as being a crucial element in the formation of the individual's perception of social reality. An appreciation of Sartre's project and its relevance to Marxist theory necessitates the examination of the origins and development of the concept of alienation. For this (...) purpose, a brief account of Hegel's usage of the term is followed by a discussion of Feuerbach's efforts to counter Hegelian idealism with an explicitly materialist perspective. Alienation makes its first appearance in Marx's work with the publication of the Economic and Philosophical Manuscripts of 1844 and the concept was to be a topic of concern throughout Marx's life. In particular, his analysis of commodity fetishism in his later work shows an obvious connection with alienation. Georg Lukacs' presentation of the reification of consciousness is a valuable addition to the examination of the fetishism of commodities. Lukacs provides numerous insights concerning the relationship between alienation and commodity fetishism as well as offering a useful articulation of the role of consciousness in Marxist theory. Lukacs' contribution is especially helpful in clarifying the nature of Sartre's project. Both theorists seek to outline an exposition of consciousness which counters idealistic excesses with a materialistic perspective faithful to the basic tenents of Marxism. In addition, Sartre employs the notion of reification as well as that of alienation in his psychoanalytic approach. His technique is intended to illuminate the class biases inherent in the consciousness of each individual, a proposal which finds an immediate application in explaining the distorted awareness which petit bourgeois intellectuals such as Lukacs and Sartre himself bring to the study of Marx's method. (shrink)

John Clarke of Hull, one of the eighteenth century's staunchest proponents of psychological egoism, defended that theory in his Foundation of Morality in Theory and Practice. He did so mainly by opposing the objections to egoism in the first two editions of Francis Hutcheson's Inquiry into Virtue. But Clarke also produced a challenging, direct argument for egoism which, regrettably, has received virtually no scholarly attention. In this paper I give it some of the attention it merits. In addition to (...) reconstructing it and addressing interpretive issues about it, I show that it withstands a tempting objection. I also show that although Clarke's argument ultimately fails, to study it is instructive. It illuminates, for example, Hutcheson's likely intentions in a passage relevant to egoism. (shrink)

A book review of Valtteri Viljanen's "Spinoza’s Geometry of Power".

In this paper, I transcend the abstract engagement of J. L. Austin's Speech Acts theory and explore their sociopolitical advantages, using the Nigerian social space as my primary experimental field. Nigerian social space is quite hierarchical and progresses along apparently asymmetrical lines of social relationship (in most cases). This in turn, accentuates some sort of power dynamics. In every communication, there is an implicit reinforcement of the social fabric as well as the power dynamic, either through one person's percep6of the (...) social status of the other or, of one's emphasis of power dynamic over the other. Austin's theory comes to the fore as a very laudable framework to map this interesting sociological facts. This work then, offers a philosophical contribution to an otherwise, sociological/anthropological fact. My job in this paper, is to explore a sociopolitical negotiation of Austin's theory in a multiethnic nation-state as Nigeria where hierarchy and power dynamics are heavily emphasized. This paper thus highlights the importance of the perlocutionary acts and the felicity conditions, and also accentuates their implications for social interactions and power dynamics in the Nigerian social space. (shrink)