It is proposed that our memory is made up of individual, unconnected Records, to each of which is attached a Heading. Retrieval of a Record can only be accomplished by addressing the attached Heading, the contents of which cannot itself be retrieved. Each Heading is made up of a mixture of content in more or less literal form and context, the latter including specification of environment and of internal states (e.g. drug states and mood). This view of memory allows an (...) easy account of a number of natural memory phenomena as well as a variety of laboratory findings such as the differences between recall and recognition. The theory further proposes that Headed Records can neither be deleted nor modified. Data apparently against such a hypothesis can be accounted for in terms of the retrieval process. (shrink)

The most common approach to the problem of requests for futile treatment – the hospital futility policy – rests on the assumption that demands for futile treatment are both intractable and irrational. But there is another approach to the futility problem, an approach that would be dialogic, piecemeal, and case-by-case. This is the only approach that attempts to deal with both the hospital’s problem and the patient’s or family’s problem that motivates the request/demand for futile treatments. As such, it holds (...) the promise of resolving the problem of demands for futile treatment in a way that does not generate anger and ill will at the hospital staff for what will inevitably strike patients and their families as a blatant assertion of the hospital’s power. (shrink)

In this article, we aim to map out the complexities which characterise debates about the ethics of vaccine distribution, particularly those surrounding the distribution of the COVID-19 vaccine. In doing so, we distinguish three general principles which might be used to distribute goods and two ambiguities in how one might wish to spell them out. We then argue that we can understand actual debates around the COVID-19 vaccine – including those over prioritising vaccinating the most vulnerable – as reflecting disagreements (...) over these principles. Finally, we shift our attention away from traditional discussions of distributive justice, highlighting the importance of concerns about risk imposition, special duties, and social roles in explaining debates over the COVID-19 vaccine. We conclude that the normative complexity this article highlights deepens the need for decision-making bodies to be sensitive to public input. (shrink)

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

Is it possible to misidentify the object of an episode of bodily awareness? I argue that it is, on the grounds that a person can reasonably be unsure or mistaken as to which part of his or her body he or she is aware of at a given moment. This requires discussing the phenomenon of body ownership, and defending the claim that the proper parts of one’s body are at least no less ‘principal’ among the objects of bodily awareness than (...) is the body as a whole. I conclude with some reasons why this should lead us to think that bodily awareness, unlike introspection, is a form of perception. (shrink)

Robust technological enhancement of core cognitive capacities is now a realistic possibility. From the perspective of neutralism, the view that justifications for public policy should be neutral between reasonable conceptions of the good, only members of a subset of the ethical concerns serve as legitimate justifications for public policy regarding robust technological enhancement. This paper provides a framework for the legitimate use of ethical concerns in justifying public policy decisions regarding these enhancement technologies by evaluating the ethical concerns that arise (...) in the context of testing such technologies on nonhuman animals. Traditional issues in bioethics, as well as novel concerns such as the possibility of moral status enhancement, are evaluated from the perspective of neutralism. (shrink)

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

This paper applies speech-act theory to craft a new response to Pyrrhonian skepticism and diagnose its appeal. Carefully distinguishing between different levels of language-use and noting their interrelations can help us identify a subtle mistake in a key Pyrrhonian argument.

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

The vision of natural kinds that is most common in the modern philosophy of biology, particularly with respect to the question whether species and other taxa are natural kinds, is based on a revision of the notion by Mill in A System of Logic. However, there was another conception that Whewell had previously captured well, which taxonomists have always employed, of kinds as being types that need not have necessary and sufficient characters and properties, or essences. These competing views employ (...) different approaches to scientific methodologies: Mill’s class-kinds are not formed by induction but by deduction, while Whewell’s type-kinds are inductive. More recently, phylogenetic kinds (clades, or monophyletic-kinds) are inductively projectible, and escape Mill’s strictures. Mill’s version represents a shift in the notions of kinds from the biological to the physical sciences. (shrink)

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

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

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)

I will develop a new problem for almost all realist theories of colour. The problem involves fluctuations in our colour experiences that are due to visual noise rather than changes in the objects we are looking at.

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

Moderate scientism is the view that empirical science can help answer questions in nonscientific disciplines. In this paper, we evaluate moderate scientism in philosophy. We review several ways that science has contributed to research in epistemology, action theory, ethics, philosophy of language, and philosophy of mind. We also review several ways that science has contributed to our understanding of how philosophers make judgments and decisions. Based on this research, we conclude that the case for moderate philosophical scientism is strong: scientific (...) practice has promoted significant progress in philosophy and its further development should be welcomed and encouraged. (shrink)

The primary goal of this research was to determine the influence of social media marketing (SMM) on the customer purchasing behavior (CPB) of senior high school (SHS) students. Utilizing the non-experimental quantitative method of research and validated questionnaires in data analysis with Mean, Person Product-Moment Correlation Coefficient (Pearson-r), and Multiple Linear Regression Analysis as statistical tools, the outcome displayed that the levels of social media marketing and customer purchasing behavior through the lens of SHS students are high, which means that (...) these two variables are oftentimes manifested. There is a strong positive relationship between social media marketing and customer purchasing behavior. It was also found out that quality content, as a domain of social media marketing, best influences customer purchasing behavior. (shrink)

Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...) Q is one whose existentialization, ∃ x Q, is logically true; otherwise, Q is existential-import-free or simply import-free.How abundant or widespread is existential import? How abundant or widespread are existential-import predicates in themselves or in comparison to import-free predicates? We show that existential-import predicates are quite abundant, and no less so than import-free predicates. Existential.. (shrink)

RÉSUMÉ : Dans son récent recueil d’articles Language, Truth and History, Donald Davidson semble pencher en faveur d’une philosophie du langage mettant l’accent sur la notion de l’intention communicative du sujet parlant; en quoi il se rapproche du point de vue de Paul Grice. Si cela est juste, la pensée de Davidson se serait dégagée de l’approche sémantique formelle qu’il soutenait dans ses Inquiries into Truth and Interpretation. Dans cet article, je soutiens que, bien qu’il y ait beaucoup de similitudes (...) entre ces deux penseurs, Davidson n’a pas abandonné ses précédentes vues sur le langage. (shrink)

Human development is meant to be transformational in that it aims to improve people's lives by enhancing their capabilities. But who does it target: people as they are or the people they will become? This paper argues that the human development approach relies on an understanding of personal identity as dynamic rather than as static collections of preferences, and that this distinguishes human development from conventional approaches to development. Nevertheless, this dynamic understanding of personal identity is presently poorly conceptualized and (...) this has implications for development practice. We identify a danger of paternalism and propose institutionalizing two procedural principles as side constraints on development policies and projects: the principle of free prior informed consent and the principle of democratic development. -/- . (shrink)

I discuss two arguments against the view that reasons are propositions. I consider responses to each argument, including recent responses due to Mark Schroeder, and suggest further responses of my own. In each case, the discussion proceeds by comparing reasons to answers and goals.

This accessible essay treats knowledge and belief in a usable and applicable way. Many of its basic ideas have been developed recently in Corcoran-Hamid 2014: Investigating knowledge and opinion. The Road to Universal Logic. Vol. I. Arthur Buchsbaum and Arnold Koslow, Editors. Springer. Pp. 95-126. http://www.springer.com/birkhauser/mathematics/book/978-3-319-10192-7 .

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)

A Inseparabilidade entre Lógica e a Ética. Philósophos. 18 (2013) 245–259. Portuguese translation by Décio Krause and Pedro Merlussi: The Inseparability of Logic and Ethics, Free Inquiry, Spring 1989, 37–40. This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science of justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is pointless (...) without rigor and objectivity. The logician’s advice to be dispassionate is in resonance and harmony with the ethicist’s advice to be compassionate. (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)

The logical form of a discourse—such as a proposition, a set of propositions, an argument, or an argumentation—is obtained by abstracting from the subject-matter of its content terms or by regarding the content terms as mere place-holders or blanks in a form. In a logically perfect language the logical form of a proposition, a set of propositions, an argument, or an argumentation is determined by the grammatical form of the sentence, the set of sentences, the argument-text, or the argumentation-text expressing (...) it. Two such discourse-texts are said to have the same grammatical form, in this sense, if a uniform one-one substitution of content words transforms the one exactly into the other. The sentence ‘Abe properly respects every agent who respects himself’ may be regarded as having the same grammatical form as the sentence ‘Ben generously assists every patient who assists himself’. (shrink)

Critical thinking involves deliberate application of tests and standards to beliefs per se and to methods used to arrive at beliefs. Pedagogical license is authorization accorded to teachers permitting them to use otherwise illicit means in order to achieve pedagogical goals. Pedagogical license is thus analogous to poetic license or, more generally, to artistic license. Pedagogical license will be found to be pervasive in college teaching. This presentation suggests that critical thinking courses emphasize two topics: first, the nature and usefulness (...) of critical thinking; second, the nature and pervasiveness of pedagogical license. Awareness of pedagogical license alerts the student to the need for critical thinking. Indoctrination is done to students; education is done by students. (shrink)

Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the last: the (...) parallel postulate. -/- Euclid’s axioms are general principles of magnitude: they concern geometric magnitudes and magnitudes of other kinds as well even numbers. The first is often translated “Things that equal the same thing equal one another”. -/- There are other differences that are or might become important. -/- Aristotle [fl. 350 BCE] meticulously separated his basic principles [archai, singular archê] according to subject matter: geometrical, arithmetic, astronomical, etc. However, he made no distinction that can be assimilated to Euclid’s postulate/axiom distinction. -/- Today we divide basic principles into non-logical [topic-specific] and logical [topic-neutral] but this too is not the same as Euclid’s. In this regard it is important to be cognizant of the difference between equality and identity—a distinction often crudely ignored by modern logicians. Tarski is a rare exception. The four angles of a rectangle are equal to—not identical to—one another; the size of one angle of a rectangle is identical to the size of any other of its angles. No two angles are identical to each other. -/- The sentence ‘Things that equal the same thing equal one another’ contains no occurrence of the word ‘magnitude’. This paper considers the problem of formalizing the proposition Euclid intended as a principle of magnitudes while being faithful to the logical form and to its information content. (shrink)

With the growth of epistemology, an important debate in philosophy of religion has arisen: can mystical encounters—purported feelings of intense unity with the divine—serve as epistemic warrants? In this paper, I examine two of the most prominent and promising standards by which to determine the veridicality of such encounters—those of William Alston and Richard Swinburne—and demonstrate their respective strengths and shortcomings. Considering these shortcomings, I compose and defend my own set of criteria to use in evaluating the veridicality of putative (...) mystical experiences which draws upon the subject’s religious tradition, rationality, and affectivity. (shrink)

I am saying farewell after more than forty happy years of teaching logic at the University of Buffalo. But this is only a partial farewell. I will no longer be at UB to teach classroom courses or seminars. But nothing else will change. I will continue to be available for independent study. I will continue to write abstracts and articles with people who have taken courses or seminars with me. And I will continue to honor the LogicLifetimeGuarantee™, which is earned (...) by taking one of my logic courses or seminars. As you know, according to the terms of the LogicLifetimeGuarantee™, I stand behind everything I teach. If you find anything to be unsatisfactory, I am committed to fixing it. If you forget anything, I will remind you. If you have questions, I will answer them or ask more questions. And if you need more detail on any topic we discussed, I will help you to broaden and deepen your knowledge—and maybe write an abstract or article. Stay in touch. (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)

1971. Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value, Journal of Structural Learning 3, #2, 1–16. REPRINTED 1976. Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon & Breach Science Publishers, New York, MR56#15263. -/- This is the second of a series of three articles dealing with application of linguistics and logic to the study of mathematical reasoning, especially in the setting of a concern for improvement of (...) mathematical education. The present article presupposes the previous one. Herein we develop our ideas of the purposes of a theory of proof and the criterion of success to be applied to such theories. In addition we speculate at length concerning the specific kinds of uses to which a successful theory of proof may be put vis-a-vis improvement of various aspects of mathematical education. The final article will deal with the construction of such a theory. The 1st is the 1971. Discourse Grammars and the Structure of Mathematical Reasoning I: Mathematical Reasoning and Stratification of Language, Journal of Structural Learning 3, #1, 55–74. https://www.academia.edu/s/fb081b1886?source=link . (shrink)

CORCORAN REVIEWS THE 4 VOLUMES OF TARSKI’S COLLECTED PAPERS 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. (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)

It is widely agreed by philosophers that the so-called “Frege-Russell definition of natural number” is actually an assertion concerning the nature of the numbers and that it cannot be regarded as a definition in the ordinary mathematical sense. On the basis of the reasoning in this paper it is clear that the Frege-Russell definition contradicts the following three principles (taken together): (1) each number is the same entity in each possible world, (2) each number exists in each possible world, (3) (...) some entities existing in the actual world do not exist in every possible world. Since these principles seem to be true, the paper is a refutation of the Frege-Russell definition. The paper does more. It shows that the contradictory of the Frege-Russell definition follows even when principles 2 and 3 are replaced by one considerably weaker principle. The ideas contained in the paper are related to two earlier objections to the definition. The first, sometimes attributed to the mathematician, C. S. Keyser, is that existence of the numbers as defined implies the existence of infinitely many particulars in each possible world. The second is, in effect, an idea which is said to have led Whitehead to reject the definition of number to which he had subscribed in Principia Mathematica. Whitehead is supposed to have said that he could not believe that the number two changes every “time twins are born”. The mathematician H. Jeffreys expressed similar ideas [Philos. of Sci. 5 (1938), 434–451]. One of the merits of the author’s work is that it refutes the Frege-Russell definition without the need to take sides on controversial points presupposed by the Keyser and Whitehead objections. The objections made by the author are therefore not to be identified with the Keyser and Whitehead objections. Even if the author’s work is to be regarded as a refinement and integration of previous ideas, it is nevertheless a contribution—not only because the basic points are well worth repeating but also because the refinements are logically significant improvements and because the author has stated them clearly and concisely in the idiom of contemporary philosophy. (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 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)

ABSTRACT This part of the series has a dual purpose. In the first place we will discuss two kinds of theories of proof. The first kind will be called a theory of linear proof. The second has been called a theory of suppositional proof. The term "natural deduction" has often and correctly been used to refer to the second kind of theory, but I shall not do so here because many of the theories so-called are not of the second kind--they (...) must be thought of either as disguised linear theories or theories of a third kind (see postscript below). The second purpose of this part is 25 to develop some of the main ideas needed in constructing a comprehensive theory of proof. The reason for choosing the linear and suppositional theories for this purpose is because the linear theory includes only rules of a very simple nature, and the suppositional theory can be seen as the result of making the linear theory more comprehensive. CORRECTION: At the time these articles were written the word ‘proof’ especially in the phrase ‘proof from hypotheses’ was widely used to refer to what were earlier and are now called deductions. I ask your forgiveness. I have forgiven Church and Henkin who misled me. (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)

PUTNAM has made highly regarded contributions to mathematics, to philosophy of logic and to philosophy of science, and in this book he brings his ideas in these three areas to bear on the traditional philosophic problem of materialism versus (objective) idealism. The book assumes that contemporary science (mathematical and physical) is largely correct as far as it goes, or at least that it is rational to believe in it. The main thesis of the book is that consistent acceptance of contemporary (...) science requires the acceptance of some sort of Platonistic idealism affirming the existence of abstract, non-temporal, non-material, non-mental entities (numbers, scientific laws, mathematical formulas, etc.). The author is thus in direct opposition to the extreme materialism which had dominated philosophy of science in the first three quarters of this century. The book can be recommended to the scientifically literate, general reader whose acquaintance with these areas is limited to the literature of the 1950’s and before, when it had been assumed that empiricistic materialism was the only philosophy compatible with a scientific outlook. To this group the book presents an eye-opening challenge fulfilling the author’s intention of “shaking up preconceptions and stimulating further discussion”. QUINE’S book is not easy to read, partly because the level of sophistication fluctuates at high frequency between remote extremes and partly because of convoluted English prose style and devilish terminology. Almost all of the minor but troublesome technical errata in the first printing have been corrected [see reviews, e.g., the reviewer, Philos. Sci. 39 (1972), no. 1, 97–99]. In the opinion of the reviewer the book is not suitable for undergraduate instruction, and without external motivation few mathematicians are likely to have the patience to appreciate it. Nevertheless, a careful study of the book will more than repay the effort and one should expect to find frequent references to this book in coming years. (shrink)

Following Quine [] and others we take deductions to produce knowledge of implications: a person gains knowledge that a given premise-set implies a given conclusion by deducing—producing a deduction of—the conclusion from those premises. How does this happen? How does a person recognize their desire for that knowledge of a certain implication, or that they lack it? How do they produce a suitable deduction? And most importantly, how does their production of that deduction provide them with knowledge of the implication. (...) What experienceable sign reveals to the reasoner that they achieved the desired knowledge? If a deduction is an array of inscriptions constructed by following syntactical—mechanical, machine-performable—rules as suggested by Tarski, Carnap, Church, and others, the epistemic question becomes even more pressing and more challenging. Moreover, deduction, the ability to produce deductions and to recognize them when produced, is operational knowledge that presupposes other component operations such as recognizing characters, making assumptions, inferring conclusions from premises, chaining inferences [AL]. (shrink)

Paper was presented at the 29th Annual Symposium on Economic Crime in Cambridge, England. -/- Regardless of our concern for privacy, real-time criminal activity information is being disseminated throughout cyberspace by the private sector. This information is growing very quickly while being archived for search and retrieval on a long term basis. This is inevitable and could not, nor should not, be stopped. -/- Law enforcement and government policy makers should consider the risk of sharing with the risk of not (...) sharing and allow the private sector to participate in the management of this risk in an informed way. The private sector has the right to be as well informed as law enforcement – they often have as much, if not more, to lose. -/- Law enforcement should also not be afraid of true partnership with the private sector - meet with privacy experts within government and reconsider the level of secrecy attached to the criminal records and crime reports that have been carefully guarded for all of these years. Whenever and wherever possible, secrecy levels should be abandoned, particularly when one can make a reasonable argument for a 'duty to warn'. There is an opportunity to use valid substantiated information to clarify, correct and override some of the misinformation that is available openly on the Internet. -/- Fully transparent reported crime along with fully transparent end-results (i.e. criminal records) could be a wondrous thing for the safety of our citizens. It is time that the private sector received more on their side of the private sector law enforcement partnerships. This would undoubtedly go a long ways in preventing much crime before it happens as more and more business people and safety-minded members of each community become better informed about who they are dealing with. The risks associated with being uninformed are very high. (shrink)

Open access publishing delivers on the dream of centuries - the free and unfettered access to the written word - however there are multiple shades of openness. Is there a world’s best practice? And best for whom? The issue is considered from the point of view of the clientele - readers and authors. Four criteria are proposed which will generate a star rating for an open access journal - for ‘openness’ - with a star available for meeting each criterion, to (...) a maximum of four.The criteria for scoring star ratings are: (1) There is no barrier to access for the reader; (2) It is free to the author/s; (3) Copyright is retained by the author/s; and (4) The paper can be freely distributed under licence. (shrink)

This is a brief essay discussing Colin McGinn's theory of human cognition. Mcginn believes that the more profound Metaphysical problems such as the mind-body problem, are unsolvable due to the limitations of our cognitive abilities. I argue that the solutions to these problems lies not in the strength of our cognitive abilities but rather in how we apply these abilities.

Language, Truth, and History is an excellent volume of essays coming from one of the most important philosophers in the last fifty years. It would be of interest to anyone interested in the ways Davidson's philosophy evolved after the publication of the first two volumes, and it is essential reading for anyone working in philosophy of language or philosophy of mind.

Doris Olin's Paradox is a very helpful book for those who want to be introduced to the philosophical treatment of paradoxes, or for those who already have knowledge of the general area and would like to have a helpful resource book.

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)