John Corcoran

(1937 - 2021)

Corcoran, J. 2005. Counterexamples and proexamples. Bulletin of Symbolic Logic 11(2005) 460. John Corcoran, Counterexamples and Proexamples. Philosophy, University at Buffalo, Buffalo, NY 14260-4150 E-mail: [email protected] Every perfect number that is not even is a counterexample for the universal proposition that every perfect number is even. Conversely, every counterexample for the proposition “every perfect number is even” is a perfect number that is not even. Every perfect number that is odd is a proexample for the existential proposition that some perfect number is odd. Conversely, every proexample for the proposition “some perfect number is odd” is a perfect number that is odd. As trivial these remarks may seem, they can not be taken for granted, even in mathematical and logical texts designed to introduce their respective subjects. One well-reviewed book on counterexamples in analysis says that in order to demonstrate that a universal proposition is false it is necessary and sufficient to construct a counterexample. It is easy to see that it is not necessary to construct a counterexample to demonstrate that the proposition “every true proposition is known to be true” is false–necessity fails. Moreover the mere construction of an object that happens to be a counterexample does not by itself demonstrate that it is a counterexample–sufficiency fails. In order to demonstrate that a universal proposition is false it is neither necessary nor sufficient to construct a counterexample. Likewise, of course, in order to demonstrate that an existential proposition is true it is neither necessary nor sufficient to construct a proexample. This article defines the above relational concepts of counterexample and of proexample, it discusses their surprising history and philosophy, it gives many examples of uses of these and related concepts in the literature and it discusses some of the many errors that have been made as a result of overlooking the challenging subtlety of the proper use of these two basic and indispensable concepts.

This exposition of ockham's theory of (common, Personal) supposition involves the logical form of the four descent/ascent conditions and the logical relations of these with the three main modes of supposition. Central theses: each condition is a one-Way entailment, Each mode is a truth-Functional combination of conditions, Two of the three modes are not even coextensive with the two-Way entailments commonly taken as their definitions. Ockham's idea of "the singulars" of a general proposition is vague and problematic and the entailment used in the descent/ascent conditions probably cannot be taken to be logical consequence in any strict sense

Corcoran, John. 2005. Meanings of word: type-occurrence-token. Bulletin of Symbolic Logic 11(2005) 117. -/- Once we are aware of the various senses of ‘word’, we realize that self-referential statements use ambiguous sentences. If a statement is made using the sentence ‘this is a pronoun’, is the speaker referring to an interpreted string, a string-type, a string-occurrence, a string-token, or what? The listeners can wonder “this what?”. -/- John Corcoran, Meanings of word: type-occurrence-token Philosophy, University at Buffalo, Buffalo, NY 14260-4150 E-mail: [email protected] The four-letter written-English expression ‘word’, which plays important roles in applications and expositions of logic and philosophy of logic, is ambiguous (multisense, or polysemic) in that it has multiple normal meanings (senses, or definitions). Several of its meanings are vague (imprecise, or indefinite) in that they admit of borderline (marginal, or fringe) cases. This paper juxtaposes, distinguishes, and analyses several senses of ‘word’ focusing on a constellation of senses analogous to constellations of senses of other expression words such as ‘expression’, ‘symbol’, ‘character’, ‘letter’, ‘term’, ‘phrase’, ‘formula’, ‘sentence’, ‘derivation’, ‘paragraph’, and ‘discourse’. Consider, e.g., the word ‘letter’. In one sense there are exactly twenty-six letters (letter-types or ideal letters) in the English alphabet and there are exactly four letters in the word ‘letter’. In another sense, there are exactly six letters (letter-repetitions or letter-occurrences) in the word-type ‘letter’. In yet another sense, every new inscription (act of writing or printing) of ‘letter’ brings into existence six new letters (letter-tokens or ink-letters) and one new word that had not previously existed. The number of letter-occurrences (occurrences of a letter-type) in a given word-type is the same as the number of letter-tokens (tokens of a letter-type) in a single token of the given word. Many logicians fail to distinguish “token” from “occurrence” and a few actually confuse the two concepts. Epistemological and ontological problems concerning word-types, word-occurrences, and word-tokens are described in philosophically neutral terms. This paper presents a theoretical framework of concepts and principles concerning logicography, including use of English in logic. The framework is applied to analytical exposition and critical evaluation of classic passages in the works of philosophers and logicians including Boole, Peirce, Frege, Russell, Tarski, Church and Quine. This paper is intended as a philosophical sequel to Corcoran et al. “String Theory”, Journal of Symbolic Logic 39(1974) 625-637. https://www.academia.edu/s/cdfa6c854e?source=link -/- .

Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis of Variable Binding Term Operators” (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague 1964 proposed using vbtos to formalize definite descriptions “the x: x+x=2”, set abstracts {x: F}, minimization in recursive function theory “the least x: x+x>2”, etc. However, they gave no semantics for vbtos. Hatcher 1968 gave a semantics but one that has flaws described in the 1971 paper and admitted by Hatcher. In 1971 we give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture, proved in this paper with Hatcher’s help, was proved independently about the same time by Newton da Costa.

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.

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.

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

First-order logic has limited existential import: the universalized conditional ∀x [S → P] implies its corresponding existentialized conjunction ∃x [S & P] in some but not all cases. We prove the Existential-Import Equivalence:∀x [S → P] implies ∃x [S & P] iff ∃x S is logically true.The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import: implies its corresponding existentialized conjunction.A predicate is a 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. Existential-import predicates are also said to be import-carrying.How widespread is existential import? How widespread are import-carrying predicates in themselves or in comparison to import-free predicates? To answer, let L be any first-order language with any interpretation INT in any [sc. nonempty] universe U. A subset S of U is definable in L under INT iff for some predicate Q in L, S is the truth-set of Q under INT. S is import-carrying definable iff S is the truth-set of an import-carrying predicate. S is import-free definable iff S is the truth-set of an import-free predicate.Existential-Importance Theorem: Let L, INT, and U be arbitrary. Every nonempty definable subset of U is both import-carrying definable and import-free definable.Import-carrying predicates are quite abundant, and no less so than import-free predicates. Existential-import implications hold as widely as they fail.A particular conclusion cannot be validly drawn from a universal premise, or from any number of universal premises.—Lewis-Langford, 1932, p. 62.

Equality and identity. Bulletin of Symbolic Logic. 19 (2013) 255-6. (Coauthor: Anthony Ramnauth) Also see https://www.academia.edu/s/a6bf02aaab This article uses ‘equals’ [‘is equal to’] and ‘is’ [‘is identical to’, ‘is one and the same as’] as they are used in ordinary exact English. In a logically perfect language the oxymoron ‘the numbers 3 and 2+1 are the same number’ could not be said. Likewise, ‘the number 3 and the number 2+1 are one number’ is just as bad from a logical point of view. In normal English these two sentences are idiomatically taken to express the true proposition that ‘the number 3 is the number 2+1’. Another idiomatic convention that interferes with clarity about equality and identity occurs in discussion of numbers: it is usual to write ‘3 equals 2+1’ when “3 is 2+1” is meant. When ‘3 equals 2+1’ is written there is a suggestion that 3 is not exactly the same number as 2+1 but that they merely have the same value. This becomes clear when we say that two of the sides of a triangle are equal if the two angles they subtend are equal or have the same measure. Acknowledgements: Robert Barnes, Mark Brown, Jack Foran, Ivor Grattan-Guinness, Forest Hansen, David Hitchcock, Spaulding Hoffman, Calvin Jongsma, Justin Legault, Joaquin Miller, Tania Miller, and Wyman Park. ► JOHN CORCORAN AND ANTHONY RAMNAUTH, Equality and identity. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: [email protected] The two halves of one line are equal but not identical [one and the same]. Otherwise the line would have only one half! Every line equals infinitely many other lines, but no line is [identical to] any other line—taking ‘identical’ strictly here and below. Knowing that two lines equaling a third are equal is useful; the condition “two lines equaling a third” often holds. In fact any two sides of an equilateral triangle is equal to the remaining side! But could knowing that two lines being [identical to] a third are identical be useful? The antecedent condition “two things identical to a third” never holds, nor does the consequent condition “two things being identical”. If two things were identical to a third, they would be the third and thus not be two things but only one. The plural predicate ‘are equal’ as in ‘All diameters of a given circle are equal’ is useful and natural. ‘Are identical’ as in ‘All centers of a given circle are identical’ is awkward or worse; it suggests that a circle has multiple centers. Substituting equals for equals [replacing one of two equals by the other] makes sense. Substituting identicals for identicals is empty—a thing is identical only to itself; substituting one thing for itself leaves that thing alone, does nothing. There are as many types of equality as magnitudes: angles, lines, planes, solids, times, etc. Each admits unit magnitudes. And each such equality analyzes as identity of magnitude: two lines are equal [in length] if the one’s length is identical to the other’s. Tarski [1] hardly mentioned equality-identity distinctions (pp. 54-63). His discussion begins: Among the logical concepts […], the concept of IDENTITY or EQUALITY […] has the greatest importance. Not until page 62 is there an equality-identity distinction. His only “notion of equality”, if such it is, is geometrical congruence—having the same size and shape—an equivalence relation not admitting any unit. Does anyone but Tarski ever say ‘this triangle is equal to that’ to mean that the first is congruent to that? What would motivate him to say such a thing? This lecture treats the history and philosophy of equality-identity distinctions. [1] ALFRED TARSKI, Introduction to Logic, Dover, New York, 1995. [This is expanded from the printed abstract.]

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.

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.

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

A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague proposed using vbtos to formalize definite descriptions, set abstracts {x: F}, minimalization in recursive function theory, etc. However, they gave no sematics for vbtos. Hatcher gave a semantics but one that has flaws. We give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture was later proved independently by the authors and by Newton da Costa. The expression (vy:F) is called a variable bound term (vbt). In case F has only y free, (vy:F) has the syntactic propreties of an individual constant; and under a suitable interpretation of the language vy:F) denotes an individual. By a semantic analysis of vbtos we mean a proposal for amending the standard notions of (1) "an interpretation o f a first -order language" and (2) " the denotation of a term under an interpretation and an assignment", such that (1') an interpretation o f a first -order language associates a set-theoretic structure with each vbto and (2') under any interpretation and assignment each vb t denotes an individual.

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.

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. -/- KEY WORDS: hypothesis, theorem, argumentation, proof, deduction, premise-conclusion argument, valid, inference, implication, epistemic, ontic, cogent, fallacious, paradox, formal, validation.

An information recovery problem is the problem of constructing a proposition containing the information dropped in going from a given premise to a given conclusion that folIows. The proposition(s) to beconstructed can be required to satisfy other conditions as well, e.g. being independent of the conclusion, or being “informationally unconnected” with the conclusion, or some other condition dictated by the context. This paper discusses various types of such problems, it presents techniques and principles useful in solving them, and it develops algorithmic methods for certain classes of such problems. The results are then applied to classical number theory, in particular, to questions concerning possible refinements of the 1931 Gödel Axiom Set, e.g. whether any of its axioms can be analyzed into “informational atoms”. Two propositions are “informationally unconnected” [with each other] if no informative (nontautological) consequence of one also follows from the other. A proposition is an “informational atom” if it is informative but no information can be dropped from it without rendering it uninformative (tautological). Presentation, employment, and investigation of these two new concepts are prominent features of this paper

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

In its strongest, unqualified form the principle of wholistic reference is that each and every proposition refers to the whole universe of discourse as such, regardless how limited the referents of its non-logical or content terms. Even though Boole changed from a monistic fixed-universe framework in his earlier works of 1847 and 1848 to a pluralistic multiple-universe framework in his mature treatise of 1854, he never wavered in his frank avowal of the principle of wholistic reference, possibly in a slightly weaker form. Indeed, he took it as an essential accompaniment to his theory of concept formation and proposition formation. Similar views are found in later logicians, and some of the most recent formulations of standard, one-sorted first-order logic seem to be in accord with a form of it, if they do not actually imply the principle itself.Em sua forma mais forte e geral, o princípio da referência universalista afirma que toda proposição refere-se ao universo completo do discurso propriamente dito, independentemente de quão limitados sejam os referentes de seus termos não-lógicos ou com conteúdo. Embora Boole mudasse de um modelo monístico de universo-fixo nos seus trabalhos iniciais de 1847 e 1848 para um modelo pluralista de universo-múltiplo no seu tratado maduro de 1854, ele nunca hesitou em sua aceitação franca do princípio da referência universalista, possivelmente em uma forma ligeiramente mais fraca. De fato, ele considerou este princípio como um acompanhamento essencial para a sua teoria de formação de conceitos e de proposições. Visões semelhantes são encontradas em lógicos posteriores, e algumas das mais recentes formulações da lógica clássica de primeira ordem parecem estar de acordo com uma forma deste, se é que elas não implicam, de fato, o próprio princípio.

We begin with an introductory overview of contributions made by more than twenty scholars associated with the Philosophy Department at the University of Buffalo during the last half-century to our understanding and evaluation of Aristotle's logic. More well-known developments are merely mentioned in order to make room to focus on issues at the center of attention from the beginning: existential import and, more generally, the analysis of categorical propositions. I include a list of the UB scholars, a list of collaborators and supporters from fellowinstitutions, a bibliography of relevant publications by UB scholars, and a bibliography of important related works.

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.