This chapter argues that scientific and philosophical progress in our understanding of the living world requires that we abandon a metaphysics of things in favour of one centred on processes. We identify three main empirical motivations for adopting a process ontology in biology: metabolic turnover, life cycles, and ecological interdependence. We show how taking a processual stance in the philosophy of biology enables us to ground existing critiques of essentialism, reductionism, and mechanicism, all of which have traditionally been associated with (...) substance ontology. We illustrate the consequences of embracing an ontology of processes in biology by considering some of its implications for physiology, genetics, evolution, and medicine. And we attempt to locate the subsequent chapters of the book in relation to the position we defend. (shrink)

Many policies and ethical guidelines recommend developing “trustworthy AI”. We argue that developing morally trustworthy AI is not only unethical, as it promotes trust in an entity that cannot be trustworthy, but it is also unnecessary for optimal calibration. Instead, we show that reliability, exclusive of moral trust, entails the appropriate normative constraints that enable optimal calibration and mitigate the vulnerability that arises in high-stakes hybrid decision-making environments, without also demanding, as moral trust would, the anthropomorphization of AI and thus (...) epistemically dubious behavior. The normative demands of reliability for inter-agential action are argued to be met by an analogue to procedural metacognitive competence (i.e., the ability to evaluate the quality of one’s own informational states to regulate subsequent action). Drawing on recent empirical findings that suggest providing reliability scores (e.g., F1-scores) to human decision-makers improves calibration in the AI system, we argue that reliability scores provide a good index of competence and enable humans to determine how much they wish to rely on the system. (shrink)

“Gettier cases” have played a major role in Anglo-American analytic epistemology over the past fifty years. Philosophers have grouped a bewildering array of examples under the heading “Gettier case.” Philosophers claim that these cases are obvious counterexamples to the “traditional” analysis of knowledge as justified true belief, and they treat correctly classifying the cases as a criterion for judging proposed theories of knowledge. Cognitive scientists recently began testing whether philosophers are right about these cases. It turns out that philosophers were (...) partly right and partly wrong. Some “Gettier cases” are obvious examples of ignorance, but others are obvious examples of knowledge. It also turns out that much research in this area of philosophy is marred by experimenter bias, invented historical claims, dysfunctional categorization of examples, and mischaracterization by philosophers of their own intuitive judgments about particular cases. Despite these shortcomings, lessons learned from studying “Gettier cases” are leading to important insights about knowledge and knowledge attributions, which are central components of social cognition. (shrink)

An impressive case has been built for the hypothesis that knowledge is the norm of assertion, otherwise known as the knowledge account of assertion. According to the knowledge account, you should assert something only if you know that it’s true. A wealth of observational data supports the knowledge account, and some recent empirical results lend further, indirect support. But the knowledge account has not yet been tested directly. This paper fills that gap by reporting the results of such a test. (...) The knowledge account passes with flying colors. (shrink)

The concept of practical knowledge is central to G.E.M. Anscombe's argument in Intention, yet its meaning is little understood. There are several reasons for this, including a lack of attention to Anscombe's ancient and medieval sources for the concept, and an emphasis on the more straightforward concept of knowledge "without observation" in the interpretation of Anscombe's position. This paper remedies the situation, first by appealing to the writings of Thomas Aquinas to develop an account of practical knowledge as a distinctive (...) form of thought that "aims at production" of things that lie within an agent's power; and then by showing how this Thomistic understanding of practical cognition seems to have been Anscombe's, too. Having done this, I question whether the thesis that agential knowledge is practical knowledge entails that an agent always has non-observational knowledge of what she is intentionally doing. I answer "Not": Anscombe's claims to the contrary rest on a misleading assimilation of human beings' finite agency to that of an infinite agent like God. (shrink)

It is increasingly recognized that knowledge is the norm of assertion. As this view has gained popularity, it has also garnered criticism. One widely discussed criticism involves thought experiments about “selfless assertion.” Selfless assertions are said to be intuitively compelling examples where agents should assert propositions that they don’t even believe and, hence, don’t know. This result is then taken to show that knowledge is not the norm of assertion. This paper reports four experiments demonstrating that “selfless assertors” are viewed (...) as both believing and knowing the propositions they assert: this is the natural and intuitive way of interpreting the case. Thought experiments about selfless assertions do not threaten the knowledge account and they do not motivate weaker alternative accounts. The discussion also highlights a general lesson for philosophers: thought experiments intended to probe for mental state attributions should not conflict with basic principles that guide social cognition. (shrink)

A critical review of “Gettier” cases and theoretical attempts to solve “the” "Gettier" "problem".

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)

Appeals to ordinary thought and talk are frequent in philosophy, perhaps nowhere more than in contemporary epistemology. When an epistemological theory implies serious error in “commonsense” or “folk” epistemology, it is counted as a cost of the view. Similarly, when an epistemological theory respects or vindicates deep patterns in commonsense epistemology, it is viewed as a benefit of the view. Philosophers typically rely on introspection and anecdotal social observation to support their characterizations of commonsense epistemology. But recent experimental research shows (...) that philosophers employing these methods often seriously mischaracterize commonsense. Based on these findings, I propose a fundamental change to standard practice in the field. Whether the fundamental goal of epistemology is descriptive or prescriptive, experimentation is an integral part of the project. (shrink)

This paper briefly describes process metaphysics, and argues that it is better suited for describing life than the more standard thing, or substance, metaphysics. It then explores the implications of process metaphysics for conceptualizing evolution. After explaining what it is for an organism to be a process, the paper takes up the Hull/Ghiselin thesis of species as individuals and explores the conditions under which a species or lineage could constitute an individual process. It is argued that only sexual species satisfy (...) these conditions, and that within sexual species the degree of organization varies. This, in turn, has important implications for species' evolvability. One important moral is that evolution will work differently in different biological domains. (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)

This paper addresses a fundamental question in folk metaphysics: how do we ordinarily view human agency? According to the transcendence account, we view human agency as standing outside of the causal order and imbued with exceptional powers. According to a naturalistic account, we view human agency as subject to the same physical laws as other objects and completely open to scientific investigation. According to exceptionalist naturalism, the truth lies somewhere in between: we view human agency as fitting broadly within the (...) causal order while still being exceptional in important respects. In this paper, I report seven experiments designed to decide between these three competing theories. Across a variety of contexts and types of action, participants agreed that human agents can resist outcomes described as inevitable, guaranteed, and causally determined. Participants viewed non-human animal agents similarly, whereas they viewed computers, robots, and simple inanimate objects differently. At the same time, participants judged that human actions are caused by many things, including psychological, neurological, and social events. Overall, in folk metaphysics, human and non-human animals are viewed as exceptional parts of the natural world. (shrink)

Time in electromagnetism shares many features with time in other physical theories. But there is one aspect of electromagnetism's relationship with time that has always been controversial, yet has not always attracted the limelight it deserves: the electromagnetic arrow of time. Beginning with a re-analysis of a famous argument between Ritz and Einstein over the origins of the radiation arrow, this chapter frames the debate between modern Einsteinians and neo-Ritzians. It tries to find a clean statement of what the arrow (...) is and then explains how it relates to the cosmological and thermodynamic arrows, representing the most developed and sophisticated attack yet, in either the physics or philosophy literature, on the electromagnetic arrow of time. (shrink)

The epistemic closure principle says that knowledge is closed under known entailment. The closure principle is deeply implicated in numerous core debates in contemporary epistemology. Closure’s opponents claim that there are good theoretical reasons to abandon it. Closure’s proponents claim that it is a defining feature of ordinary thought and talk and, thus, abandoning it is radically revisionary. But evidence for these claims about ordinary practice has thus far been anecdotal. In this paper, I report five studies on the status (...) of epistemic closure in ordinary practice. Despite decades of widespread assumptions to the contrary in philosophy, ordinary practice is ambivalent about closure. Ordinary practice does not endorse an unqualified version of the epistemic closure principle, although it might endorse a source-relative version of the principle. In particular, whereas inferential knowledge is not viewed as closed under known entailment, perceptual knowledge might be. (shrink)

The A-theory and the B-theory advance competing claims about how time is grounded. The A-theory says that A-facts are more fundamental in grounding time than are B-facts, and the B-theory says the reverse. We argue that whichever theory is true of the actual world is also true of all possible worlds containing time. We do this by arguing that time is uniquely groundable: however time is actually grounded, it is necessarily grounded in that way. It follows that if either the (...) A-theory or the B-theory is actually false, then it is necessarily false. (shrink)

Proper assertion requires belief. In support of this thesis, I provide an explanatory argument from linguistic patterns surrounding assertion and show how to handle cases of "selfless" assertion.

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)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

I defend the unpopular view that inference can create justification. I call this view inferential creationism. Inferential creationism has been favored by infinitists, who think that it supports infinitism. But it doesn’t. Finitists can and should accept creationism.

Elijah Chudnoff’s case for irreducible cognitive phenomenology hinges on seeming to see the truth of a mathematical proposition (Chudnoff 2015). In the following, I develop an augmented version of Chudnoff’s case, not based on seeming to see, or intuition, but based on being in a state with presentational phenomenology of high-level content. In contrast to other cases for cognitive phenomenology, those based on Strawson’s case (Strawson 2011), I argue that the case presented here is able to withstand counterarguments, which attempt (...) to reduce cognitive phenomenology to sensory phenomenology. To support my argument, I present findings from Bowden and Jung-Beeman’s experiments with the Aha! Experience (Bowden & Jung-Beeman 2004), and argue that the Aha! Experience is a species of the experience of understanding presented here. I interpret the results of these experiments to provide further evidence for irreducible cognitive phenomenology. (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)

One routinely undergoes a noetic feeling (also called “metacognitive feeling” or “epistemic feeling”), the so-called “feeling of knowing”, whenever trying to recall a person’s name. One feels the name is known despite being unable to recall it. Other experiences also fall under this category, e.g., the tip-of-the-tongue experience, the feeling of confidence. A distinguishing characteristic of noetic feelings is how they are crucially related to the facts we know, so much so that the activation of semantic memory can easily result (...) in the production of noetic feelings – a regularity that memory research has often exploited. And yet little is known about the mechanism that produces noetic feelings. Is it solely brain-based or does it depend upon the extracerebral body for its production of feelings? To arrive at an answer, various studies in metamemory research will be analyzed to determine what ought to be made of the mechanism responsible for noetic feelings. I argue that evidence suggests that it relies upon extracerebral processes, in particular cardiovascular processes, the result being support for an embodied view of metacognition. (shrink)

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

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)

“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)

Can human life have value in a world in which humans are rendered obsolete by technological advances? This article answers this question by developing an extended analysis of the axiological impact of human obsolescence. In doing so, it makes four main arguments. First, it argues that human obsolescence is a complex phenomenon that can take on at least four distinct forms. Second, it argues that one of these forms of obsolescence is not a coherent concept and hence not a plausible (...) threat to human well-being. Third, it argues that existing fears of technologically-induced human obsolescence are less compelling than they first appear. Fourth, it argues that there are two reasons for embracing a world of widespread, technologically-induced human obsolescence. (shrink)

This paper raises obvious questions undermining any residual confidence in Mates work and revealing our embarrassing ignorance of true nature of Stoic deduction. It was inspired by the challenging exploratory work of JOSIAH GOULD.

Misinformation can have significant societal consequences. For example, misinformation about climate change has confused the public and stalled support for mitigation policies. When people lack the expertise and skill to evaluate the science behind a claim, they typically rely on heuristics such as substituting judgment about something complex (i.e. climate science) with judgment about something simple (i.e. the character of people who speak about climate science) and are therefore vulnerable to misleading information. Inoculation theory offers one approach to effectively neutralize (...) the influence of misinformation. Typically, inoculations convey resistance by providing people with information that counters misinformation. In contrast, we propose inoculating against misinformation by explaining the fallacious reasoning within misleading denialist claims. We offer a strategy based on critical thinking methods to analyse and detect poor reasoning within denialist claims. This strategy includes detailing argument structure, determining the truth of the premises, and checking for validity, hidden premises, or ambiguous language. Focusing on argument structure also facilitates the identification of reasoning fallacies by locating them in the reasoning process. Because this reason-based form of inoculation is based on general critical thinking methods, it offers the distinct advantage of being accessible to those who lack expertise in climate science. We applied this approach to 42 common denialist claims and find that they all demonstrate fallacious reasoning and fail to refute the scientific consensus regarding anthropogenic global warming. This comprehensive deconstruction and refutation of the most common denialist claims about climate change is designed to act as a resource for communicators and educators who teach climate science and/or critical thinking. (shrink)

This paper questions the idea that theism can function as an explanatory hypothesis to account for the nature and origins of the cosmos. Invoking God cannot dissolve the mystery of existence, and the characteristic religious response here is one of awe and humility. I then address David E. Cooper’s challenge of showing how a ”doctrine of mystery’ can have any discursible content. It is argued that certain aspects of our human experience afford us glimpses of the divine nature -- intimations (...) of the transcendent, which shine through from the ineffable source of our being to the human world we inhabit. (shrink)

Everyone agrees that musical works are individuated by essential elements such as tone, harmony, and rhythm. Some argue that timbre or instrumentation can individuate musical works, too. I argue here that there can be a further element of musical works: spatial location. Some works of music are partly constituted by the location and motion of their sound sources. I begin by describing works of spatial music and arguing that they exist. I then consider the implications for the ontology of music. (...) Hardcore formalists cannot allow for spatial music. I argue that two other views, which allow a close relationship between sounds and musical works, can allow for works of spatial music. However, their ability to do so turns on issues in the philosophy of sound. I appeal to work in philosophy of sound to show that music is an art not just of hearing, but of sounds. (shrink)

Upon first hearing sinewaves, all that can be discerned are beeps and whistles. But after hearing the original speech, the beeps and whistles sound like speech. The difference between these two episodes undoubtedly involves an alteration in phenomenal character. O’Callaghan (2011) argues that this alteration is non-sensory, but he leaves open the possibility of attributing it to some other source, e.g. cognition. I discuss whether the alteration in phenomenal character involved in sinewave speech provides evidence for cognitive phenomenology. I defend (...) both the existence of cognitive phenomenology and the phenomenal contrast method, as each concerns the case presented here. (shrink)

C. I. Lewis (I883-I964) was the first major figure in history and philosophy of logic—-a field that has come to be recognized as a separate specialty after years of work by Ivor Grattan-Guinness and others (Dawson 2003, 257).Lewis was among the earliest to accept the challenges offered by this field; he was the first who had the philosophical and mathematical talent, the philosophical, logical, and historical background, and the patience and dedication to objectivity needed to excel. He was blessed with (...) many fortunate circumstances, not least of which was entering the field when mathematical logic, after only six decades of toil, had just reaped one of its most important harvests with publication of the monumental Principia Mathematica. It was a time of joyful optimism which demanded an historical account and a sober philosophical critique. Lewis was one of the first to apply to mathematical logic the Aristotelian dictum that we do not understand a living institution until we see it growing from its birth. (shrink)

Although successive generations of digital technology have become increasingly powerful in the past 20 years, digital democracy has yet to realize its potential for deliberative transformation. The undemocratic exploitation of massive social media systems continued this trend, but it only worsened an existing problem of modern democracies, which were already struggling to develop deliberative infrastructure independent of digital technologies. There have been many creative conceptions of civic tech, but implementation has lagged behind innovation. This article argues for implementing one such (...) vision of digital democracy through the establishment of a public corporation. Modeled on the Corporation for Public Broadcasting in the United States, this entity would foster the creation of new digital technology by providing a stable source of funding to nonprofit technologists, interest groups, civic organizations, government, researchers, private companies, and the public. Funded entities would produce and maintain software infrastructure for public benefit. The concluding sections identify what circumstances might create and sustain such an entity. (shrink)

A counterfactual is a conditional statement in the subjunctive mood. For example: If Suzy hadn’t thrown the rock, then the bottle wouldn’t have shattered. The philosophical importance of counterfactuals stems from the fact that they seem to be closely connected to the concept of causation. Thus it seems that the truth of the above conditional is just what is required for Suzy’s throw to count as a cause of the bottle’s shattering. If philosophers were reluctant to exploit this idea prior (...) to 1970, it was because of a widespread feeling that the truth-conditions of the counterfactual conditional were not sufficiently well understood. The development of a formal semantics for counterfactuals by Robert Stalnaker [1968] and David Lewis [1973b] stands as a major recent achievement in philosophical logic. (shrink)

Tarski’s Convention T—presenting his notion of adequate definition of truth (sic)—contains two conditions: alpha and beta. Alpha requires that all instances of a certain T Schema be provable. Beta requires in effect the provability of ‘every truth is a sentence’. Beta formally recognizes the fact, repeatedly emphasized by Tarski, that sentences (devoid of free variable occurrences)—as opposed to pre-sentences (having free occurrences of variables)—exhaust the range of significance of is true. In Tarski’s preferred usage, it is part of the meaning (...) of true that attribution of being true to a given thing presupposes the thing is a sentence. Beta’s importance is further highlighted by the fact that alpha can be satisfied using the recursively definable concept of being satisfied by every infinite sequence, which Tarski explicitly rejects. Moreover, in Definition 23, the famous truth-definition, Tarski supplements “being satisfied by every infinite sequence” by adding the condition “being a sentence”. Even where truth is undefinable and treated by Tarski axiomatically, he adds as an explicit axiom a sentence to the effect that every truth is a sentence. Surprisingly, the sentence just before the presentation of Convention T seems to imply that alpha alone might be sufficient. Even more surprising is the sentence just after Convention T saying beta “is not essential”. Why include a condition if it is not essential? Tarski says nothing about this dissonance. Considering the broader context, the Polish original, the German translation from which the English was derived, and other sources, we attempt to determine what Tarski might have intended by the two troubling sentences which, as they stand, are contrary to the spirit, if not the letter, of several other passages in Tarski’s corpus. (shrink)

Our modern egalitarian and individualistic age is suspicious of authority, and in recent times there have been almost daily reports in the press of cases where trust in various authorities, including financial, governmental, political and religious, has been found to have been abused or misplaced. Such disappointments seem to bolster the case for withholding trust in external authority and falling back on one’s own resources. But if the lessons from Linda Zagzebski’s groundbreaking work are accepted, 1 self- reliance turns out (...) to be a confused and probably incoherent ideal ; and the rational and self-reflective person is committed to believing and acting on authority. In the second half of this short discussion paper I shall raise some possible concerns about Zagzebski’s positive case for reliance on authority, focussing on the moral and religious spheres. First however, let me say something about the negative part of Zagzebski’s work, her critique of self-reliance. Since I find this wholly convincing, I shall confine myself to some supplementary observations, mainly to do with the historical context in which her critique is located. (shrink)

This review concludes that if the authors know what mathematical logic is they have not shared their knowledge with the readers. This highly praised book is replete with errors and incoherency.

This paper has as its topic two recent philosophical disputes. One of these disputes is internal to the project known as decision theory, and while by now familiar to many, may well seem to be of pressing concern only to specialists. It has been carried on over the last twenty years or so, but by now the two opposing camps are pretty well entrenched in their respective positions, and the situation appears to many observers (as well as to some of (...) the parties involved) to have reached a sort of stalemate. The second of these two disputes is, on the other hand, very much alive. While it has been framed in decision theoretic terms, it is definitely not a dispute internal to that enterprise. It is, rather, a debate about the very coherence of the notion of objective value, and as such touches on issues of central importance to, for example, meta–ethics and moral psychology. (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)

Peter H. Hare (1935-2008) developed informed, original views about the proposition: some published (Hare 1969 and Hare-Madden 1975); some expressed in conversations at scores of meetings of the Buffalo Logic Colloquium and at dinners following. The published views were expository and critical responses to publications by Curt J. Ducasse (1881-1969), a well-known presence in American logic, a founder of the Association for Symbolic Logic and its President for one term.1Hare was already prominent in the University of Buffalo's Philosophy Department in (...) 1969 when I was appointed. Soon after, he became Chair. As his Associate Chair from 1971to 1975, I spent many hours with him in Buffalo and on professional trips .. (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)

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)

DEFINING OUR TERMS A “paradox" is an argumentation that appears to deduce a conclusion believed to be false from premises believed to be true. An “inconsistency proof for a theory" is an argumentation that actually deduces a negation of a theorem of the theory from premises that are all theorems of the theory. An “indirect proof of the negation of a hypothesis" is an argumentation that actually deduces a conclusion known to be false from the hypothesis alone or, more commonly, (...) from the hypothesis augmented by a set of premises known to be true. A “direct proof of a hypothesis" is an argumentation that actually deduces the hypothesis itself from premises known to be true. Since `appears', `believes' and `knows' all make elliptical reference to a participant, it is clear that `paradox', `indirect proof' and `direct proof' are all participant-relative. PARTICIPANT RELATIVITY In normal mathematical writing the participant is presumed to be “the community of mathematicians" or some more or less well-defined subcommunity and, therefore, omission of explicit reference to the participant is often warranted. However, in historical, critical, or philosophical writing focused on emerging branches of mathematics such omission often invites confusion. One and the same argumentation has been a paradox for one mathematician, an inconsistency proof for another, and an indirect proof to a third. One and the same argumentation-text can appear to one mathematician to express an indirect proof while appearing to another mathematician to express a direct proof. WHAT IS A PARADOX’S SOLUTION? Of the above four sorts of argumentation only the paradox invites “solution" or “resolution", and ordinarily this is to be accomplished either by discovering a logical fallacy in the “reasoning" of the argumentation or by discovering that the conclusion is not really false or by discovering that one of the premises is not really true. Resolution of a paradox by a participant amounts to reclassifying a formerly paradoxical argumentation either as a “fallacy", as a direct proof of its conclusion, as an indirect proof of the negation of one of its premises, as an inconsistency proof, or as something else depending on the participant's state of knowledge or belief. This illustrates why an argumentation which is a paradox to a given mathematician at a given time may well not be a paradox to the same mathematician at a later time. -/- The present article considers several set-theoretic argumentations that appeared in the period 1903-1908. The year 1903 saw the publication of B. Russell's Principles of mathematics, [Cambridge Univ. Press, Cambridge, 1903; Jbuch 34, 62]. The year 1908 saw the publication of Russell's article on type theory as well as Ernst Zermelo's two watershed articles on the axiom of choice and the foundations of set theory. The argumentations discussed concern “the largest cardinal", “the largest ordinal", the well-ordering principle, “the well-ordering of the continuum", denumerability of ordinals and denumerability of reals. The article shows that these argumentations were variously classified by various mathematicians and that the surrounding atmosphere was one of confusion and misunderstanding, partly as a result of failure to make or to heed distinctions similar to those made above. The article implies that historians have made the situation worse by not observing or not analysing the nature of the confusion. -/- RECOMMENDATION This well-written and well-documented article exemplifies the fact that clarification of history can be achieved through articulation of distinctions that had not been articulated (or were not being heeded) at the time. The article presupposes extensive knowledge of the history of mathematics, of mathematics itself (especially set theory) and of philosophy. It is therefore not to be recommended for casual reading. AFTERWORD: This review was written at the same time Corcoran was writing his signature “Argumentations and logic”[249] that covers much of the same ground in much more detail. https://www.academia.edu/14089432/Argumentations_and_Logic . (shrink)

Down through the ages, logic has adopted many strange and awkward technical terms: assertoric, prove, proof, model, constant, variable, particular, major, minor, and so on. But truth-value is a not a typical example. Every proposition, even if false, no matter how worthless, has a truth-value:even “one plus two equals four” and “one is not one”. In fact, every two false propositions have the same truth-value—no matter how different they might be, even if one is self-contradictory and one is consistent. It (...) is not such a big surprise that every true proposition, no matter how worthless, has a truth-value. Every proposition, whether valuable or worthless, has a truth-value.But it is a little strange that every two true propositions, no matter how different they might be, have the same truth-value. The Pythagorean Theorem has the same truth-value as the proposition that one is one. It is a stretch to think of truth-values as values in any of the normal senses of the word ‘value’. (shrink)

In this article I first set out Aristotle's explanation of chance as a term that refers to an event that occurs unusually and that appears significant in the context of the human search to achieve a goal. On this basis Aristotle argues against Democritus that the order in the universe could not be due to chance. Aristotle argues that all natural beings strive for their full potential and greatest possible development, and this is their way of striving for the goodness (...) of God. And they strive for survival and to remain in their best condition for as long as possible, and this is their way of striving for the eternity of God. Chance abnormalities occur accidentally in this process. This view of Aristotle enables us to give a much more satisfactory explanation of the evolution of species than that put forward by Darwin and Neodarwinians. In the field of ethics Aristotle argues that a certain measure of good fortune is required for happiness and even for the performance of virtuous acts. Finally, Aristotle rejects determinism and supports his belief in free choice by means of the reality of accidental occurrences and indeterminism in the field of physics. (shrink)

Alfred Tarski (1901--1983) is widely regarded as one of the two giants of twentieth-century logic and also as one of the four greatest logicians of all time (Aristotle, Frege and Gödel being the other three). Of the four, Tarski was the most prolific as a logician. The four volumes of his collected papers, which exclude most of his 19 monographs, span over 2500 pages. Aristotle's writings are comparable in volume, but most of the Aristotelian corpus is not about logic, whereas (...) virtually everything written by Tarski concerns logic more or less directly. There is no doubt that Tarski wrote more on logic than any other author; he started publishing on logic in 1921 at the age of 20 and continued until his death at the age of 82. Two of his works appeared posthumously [Hist. Philos. Logic 7 (1986), no. 2, 143--154; MR0868748 (88b:03010); Tarski and Givant, A formalization of set theory without variables, Amer. Math. Soc., Providence, RI, 1987; MR0920815 (89g:03012)]. Tarski's voluminous writings were widely scattered in numerous journals, some quite rare. It has been extremely difficult to study the development of Tarski's thought and to trace the interconnections and interdependence of his various papers. Thanks to the present collection all this has changed, and it is likely that the increased accessibility of Tarski's papers will have the effect of increasing Tarski's already enormous influence. (shrink)