JOHN CORCORAN AND WILIAM FRANK. Surprises in logic. Bulletin of Symbolic Logic. 19 253. Some people, not just beginning students, are at first surprised to learn that the proposition “If zero is odd, then zero is not odd” is not self-contradictory. Some people are surprised to find out that there are logically equivalent false universal propositions that have no counterexamples in common, i. e., that no counterexample for one is a counterexample for the other. Some people would be (...) surprised to find out that in normal first-order logic existential import is quite common: some universals “Everything that is S is P” —actually quite a few—imply their corresponding existentials “Something that is S is P”. Anyway, perhaps contrary to its title, this paper is not a cataloging of surprises in logic but rather about the mistakes that did or might have or might still lead people to think that there are no surprises in logic. The paper cataloging of surprises in logic is on our “to-do” list. -/- ► JOHN CORCORAN AND WILIAM FRANK, Surprises in logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: [email protected] There are many surprises in logic. Peirce gave us a few. Russell gave Frege one. Löwenheim gave Zermelo one. Gödel gave some to Hilbert. Tarski gave us several. When we get a surprise, we are often delighted, puzzled, or skeptical. Sometimes we feel or say “Nice!”, “Wow, I didn’t know that!”, “Is that so?”, or the like. Every surprise belongs to someone. There are no disembodied surprises. Saying there are surprises in logic means that logicians experience surprises doing logic—not that among logical propositions some are intrinsically or objectively “surprising”. The expression “That isn’t surprising” often denigrates logical results. Logicians often aim for surprises. In fact, [1] argues that logic’s potential for surprises helps motivate its study and, indeed, helps justify logic’s existence as a discipline. Besides big surprises that change logicians’ perspectives, the logician’s daily life brings little surprises, e.g. that Gödel’s induction axiom alone implies Robinson’s axiom. Sometimes wild guesses succeed. Sometimes promising ideas fail. Perhaps one of the least surprising things about logic is that it is full of surprises. Against the above is Wittgenstein’s surprising conclusion : “Hence there can never be surprises in logic”. This paper unearths basic mistakes in [2] that might help to explain how Wittgenstein arrived at his false conclusion and why he never caught it. The mistakes include: unawareness that surprise is personal, confusing logicians having certainty with propositions having logical necessity, confusing definitions with criteria, and thinking that facts demonstrate truths. People demonstrate truths using their deductive know-how and their knowledge of facts: facts per se are epistemically inert. [1] JOHN CORCORAN, Hidden consequence and hidden independence. This Bulletin, vol.16, p. 443. [2] LUDWIG WITTGENSTEIN, Tractatus Logico-Philosophicus, Kegan Paul, London, 1921. -/-. (shrink)

The fourteenth-century thinker Thomas Bradwardine is well known in both the history of science and the history of theology. The first of the Merton Calculators (mathematical physicists) and passionate defender of the Augustinian doctrine of salvation through grace alone, he was briefly archbishop of Canterbury before succumbing to the Black Death in 1349. This new edition of his Insolubilia, made from all thirteen known manuscripts, shows that he was also a logician of the first rank. The edition is accompanied by (...) a full English translation. In the treatise, Bradwardine considers and rejects the theories of his contemporaries about the logical puzzles known as 'insolubles,' and sets out his own solution at length and in detail. In a substantial introduction, Stephen Read describes Bradwardine's analysis, compares it with other more recent theories, and places it in its historical context. The text is accompanied by three appendices, the first of which is an extra chapter found in two manuscripts (and partly in a third) that appears to contain further thoughts by Bradwardine himself. The second contains an extract from Ralph Strode's Insolubilia, composed in the 1360s, repeating and enlarging on Bradwardine's text; and the third consists of an anonymous text that applies Bradwardine's solution to a succession of different insolubles"--P. [4] of cover. (shrink)

Two new philosophical problems surrounding the gradation of certainty began to emerge in the 17th century and are still very much alive today. One is concerned with the evaluation of inductive reasoning, whether in science, jurisprudence, or elsewhere; the other with the interpretation of the mathematical calculus of change. This book, aimed at non-specialists, investigates both problems and the extent to which they are connected. Cohen demonstrates the diversity of logical structures that are available for judgements of probability, and explores (...) the rationale for their appropriateness in different contexts of application. Thus his study deals with the complexity of the underlying philosophical issues without simply cataloging alternative conceptions or espousing a particular "favorite" theory. (shrink)

We should now be able to come to some general conclusions about the main lines of Cuvier's development as a naturalist after his departure from Normandy. We have seen that Cuvier arrived in Paris aware of the importance of physiology in classification, yet without a fully worked out idea of how such an approach could organize a whole natural order. He was freshly receptive to the ideas of the new physiology developed by Xavier Bichat.Cuvier arrived in a Paris also torn (...) by many overlapping debates on the nature of classification, and in particular that between the natural and artificial systems. The very validity of the enterprise of classification was questioned in many quarters. Cuvier's achievement on his entry into the Parisian world of science was not simply to establish himself as a highly competent anatomist: far more important, he also began to use ideas from many different specialties to change completely the notion of what was involved in natural history.124 At the same time that he himself swung away from the guiding image of the field naturalist as the ideal of the specialty, he took ideas from the new physiology to answer questions about the order of the animal world, and from comparative anatomy to resurrect extinct creation — and to come to conclusions from that creation about the history of the forms of life and the manner of their succession. He showed himself able to alter the relationships between natural history and many other fields of study in a way that implied, rightly or wrongly, his own complete mastery over such a movement. Partly he was able to do this because the ideas he borrowed were not themselves logically articulated and thus could be easily adapted and refocused for many different specific purposes. The value of the heuristic possibilities inherent in the idea of life, for example, far outweighed its inability to generate full systems of classification. Cuvier also consistently refused to consider in science matters relating to the first causes of events. Freed from the consideration of first-order phenomena, he was able to use second-order explanations across a far wider field of applicability. Personal doubts about the validity of a theology that had used science in order to bolster its own claims were combined here with the strong influence of the Kantian critique of the limits of human reason.125Cuvier's characteristic mode of procedure was that of intellectual appropriation and a bold capacity for altering the relationships between different fields of knowledge, rather than, with the exception of taxonomy, the technique of expanding their subject matter. His claims to originality came, first, from this reappropriation and reorientation and, second, from the sheer scope of his work, which aimed at nothing less than the cataloging and classification of all animate objects.126 They rested also on his acute use of his assertion of a certain relationship with the past of his subject. Very often he would present this history in such a way as to obscure his own intellectual genealogy, and often too he would give differing accounts of the priority of use of an idea in order to distract attention from the questionable exactitude of his own claims to originality. Cuvier came to Paris at precisely the time when society and institutions were most profitably malleable for a newcomer; it was also a time when many scientific disciplines had reached a stage advanced in terms of their factual content, yet relatively inadequate in conceptual organization. They were ripe for takeover by large-scale organizing ideas such as the animal economy and the subordination of characteristics. Paleontology is a particularly good example of a specialty in this particular form of underdevelopment in 1795.Cuvier paid a high price for his initial success. His electic applications of large-scale organizing ideas tended to mean that little of his own work had complete coherence at all levels. Ideas, as we have seen, that proved capable of providing a complete reform of the larger groups of the animal kingdom were incapable of producing its detailed working-out in the taxonomy of smaller groups, which had to be supplied from observed analogical correlations. Further, his physiological approach to classification involved the breakdown of strict correspondence between organs and functions, which left the way open for workers such as Geoffroy St. Hilaire gradually to tilt the balance away from the study of the correlations of hierarchies of functions, and toward morphology as the basis of the order of nature. Cuvier's brilliant appropriations from physiology from the beginning, therefore, contained the seeds of conflict with Geoffroy.Cuvier's eclectic approach made it very nearly impossible for him to present a clear idea of the ways in which the life sciences could be said to be lawful. In spite of his efforts to assimilate them to the position of the physical sciences in this respect, he was forced in the end to accord only an ambiguous status as “laws” to observational correlations. From this area of failure came much of the attempt to give his own two laws — the correlation of parts and the subordination of characteristics — predictive qualities, particularly in relation to paleontological research.It is not surprising that Cuvier's title as the “legislator” of natural history should represent more a claim than a reality. How, then, was he able to emerge as the leading French naturalist of his day? First of all must be adduced the sheer scale of his undertakings. Then comes his expertise as a practical anatomist, and the range of different topics toward which he turned his interest. His collaborators cannot be given credit for his output nor, as we have seen, for slavish adherence to his ideas. Cuvier was able to successfully claim to have dominated the underdeveloped specialties, such as paleontology, and turned them into a major heuristic input into both geology and comparative anatomy; but in other fields, such as physiology, he appropriated concepts and encouraged research but made little impact on the field himself. His attempts in 1812 to head off, or neutralize and absorb the growth of morphological studies landed him in a dangerously rigid position, which despite his encouragement of the new physiological research under the Restoration made further elaboration of his own conceptual underpinnings almost impossible.Cuvier's authority in the scientific world would in any case have been great because of his substantive achievement in taxonomy, but the rest of his work had enough ambiguities and dislocations for it to need the support of his political and social power. Cuvier's detractors seized on a vital fragment of the truth when they accused him of finding the political dimension all-important: it obscured the disjunctions in his theories and at the same time gave him the authority to make new claims for the status of the observational sciences - and for their relations of power with their surrounding specialties. Cuvier's science both thrived on and was halted by the power games of intellectual appropriation, manipulation of the past to confirm the present, and continual claims for hegemony. (shrink)

An archive is a repository - that is, a place or space in which materials of historic interest or social significance are stored and ordered. A national archive is the storing and ordering place of the collective memory of that nation or people(s). This article provides a brief his torical/theoretical introduction to the politics of the archive in late capi talist societies and discusses this politics of memory via the performance of ordinary daily activities of librarians and archivists. Some relevant (...) political/discursive questions include: who controls, establishes and maintains the archive, and how do they do so? Which materials are preserved in the archive and which are excluded? As the documents and artifacts selected for the archive are ordered and classi fied, how do the schemas and structures applied include, exclude, fore ground or marginalize those materials? Finally, to what extent do the logical hierarchies for classification and arrangement reflect social or political hierarchies? Librarians and archivists face these concerns in HISTORY OF THE HUMAN SCIENCES Vol. 11 No. 4 © 1998 SAGE Publications (London, Thousand Oaks and New Delhi) [0952-6951(199811)11:4;17-32; 006604]their professional practice as they make decisions influenced by budgets, finite amounts of both physical and computer storage space and limited staff resources. The authors give real-life examples of choices made as archivists struggle to balance ideological goals made contradictory by practical constraints. For example, is it more appro priate to acquire as many materials as possible but be unable to describe, preserve and present them adequately, or is it preferable to describe, preserve and make fully available a more limited range of records and documents? Because of such practical concerns in modern technicist cultures, the explicitly political who often is reduced to the technically instrumental how - that is, political-moral questions are displaced to nonmoral and nonpolitical technical discourse, thereby establishing a 'meta-politics' that is understood only by the initiated. Conversely, archival activities such as acquisition, classification and preservation are 'technical' activi ties that may become explicitly 'political'. The article concludes that technical activities always are political, at least latently or potentially, even when they are not contested and made explicitly political. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Abortion to Abolition: Reproductive Health and Justice in Canada by Martha PaynterRebecca Simmons (bio)Abortion to Abolition: Reproductive Health and Justice in Canada by Martha Paynter Winnipeg, MB: Fernwood Publishing, 2022Martha Paynter's Abortion to Abolition: Reproductive Health and Justice in Canada is a bold, ambitious work that seeks to not only catalog Canada's meandering and often backtracking path toward reproductive justice, but to act as a manifesto for Paynter's (...) own ideas and goals for reproductive justice. The book takes the form of an anthology of stories, divided into chapters, that are grouped according to a certain right; for example, the right to bodily autonomy. This format effectively guides the reader from abortion to abolition. Paynter adroitly starts the book with white feminist favorites such as bodily autonomy and not having children. Then she logically progresses to more radical ideas such as parenting in prison and the total abolition of prisons. The stories in this book are accompanied by warm, colorful illustrations by Julia Hunt. These drawings help the reader visualize the person behind the story and the very real life that was affected by reproductive law and/or social norms. Paynter holds a PhD in nursing, and it is from this background that she writes, seeking to educate nurses and other healthcare professionals alongside a broader readership garnered through her clear, approachable writing style.Chapter 1 introduces the reader to many of the book's key themes by considering the right and need to have bodily autonomy, and the multiple ways this manifests itself in ordinary (and less-ordinary) life. Paynter considers the disparate stories of five women, all fighting in some way for bodily autonomy. The stories cover events of gender-based gun violence, sexual assault, transgender rights in prison, the legalization of sex work, police violence, and institutional racism. Each story recounted by Paynter catalogs tragedies and injustices with blunt and brutal honesty—perhaps to an unnecessary extent. Every horrific fact is laid bare for the readers as they uncover the intricacies of gender-based, imperialist, and racist violence. Paynter has chosen these stories to display the multitude of ways in which people—especially Black, Indigenous, people of color (BIPOC) and minoritized genders—can be willfully wronged by the state and [End Page 209] the criminal justice system, such that the reader must begin to confront the fact that these structures don't seem to exist to benefit or protect the most marginalized in society.Chapter 2 approaches the right not to have children through a number of stories related to contraception, abortion, and family planning. Paynter sketches some of the key points in Canada's journey toward the decriminalization of abortion, from paradoxical trailblazers, such as Dr. Emily Stowe in the 1800s, to the viral memefied content of art protestor iamkarats. While the unequivocal legality of abortion in Canada suggests incredible progressiveness and support for women's rights, Paynter paints a more complex picture through her chosen narratives. Crucially, the inequitable geographical access to abortion, in particular, throughout the huge landmass of Canada suggests that the right to not have children in Canada is not universal. Moreover, Paynter suggests that access is also bounded by financial constraints, finite public funding, and the limited availability of inclusive clinics that prioritize healthcare for LGBTQ2S+ people.Chapter 3 considers the topic of having children; in particular, the right to reproductive technologies and freedom from forced sterilization. Paynter quickly makes clear that while many white feminists might see having and not having children as diametrically opposed, they are two equally essential parts of reproductive justice. Paynter draws attention to the Sexual Sterilization Act of 1928 that was only overturned in 1972. She describes it as part of the "genocidal colonial project" (84), a collection of laws and policies aimed at fulfilling eugenicist, neoimperial ideals of increasing production of the white "race" and promoting the genocide of Indigenous peoples. Furthermore, Paynter argues that evidence of forced sterilization of Indigenous peoples, and other physical violence and neglect, persists to the present day and must be stopped and reparations made for previous harms. Paynter then considers the complex, often-debated case of commercialized surrogacy, which she defines... (shrink)

I read Stefan Collini’s What are Universities For? last week with very mixed feelings. In the past, I’ve much admired his polemical essays on the REF, “impact”, the Browne Report, etc. in the London Review of Books and elsewhere: they speak to my heart. If you don’t know those essays, you can get some of their flavour from his latest article in the Guardian yesterday. But I found the book a disappointment. Perhaps the trouble is that Collini is too decent, (...) too high-minded, has too unrealistically exalted a view about what actually happens in universities which is too coloured by attitudes appropriate to the traditional humanities. And he is optimistic to the point of fantasy if he thinks that people are so susceptible to “the romance of ideas and the power of beauty” that they will want, or can be brought to want, lots and lots of universities in order to promote the ideas (as if they would suppose that the task of “conserving, understanding, extending and handing on to subsequent generations the intellectual, scientific, and artistic heritage of mankind” was clearly ill-served when there were only forty universities in England, as opposed to a hundred and whatever). (shrink)

The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found (...) in human reasoning. Topics covered: Stable Semantics. Default Logic. AutoEpistemic Logic. Truth Maintenance Systems. Implementation Issues. Diagnosis. Applications. Inheritance Reasoning. Logics of Belief. Inconsistency and Non-Monotonicity. (shrink)

This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997. The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents (...) the state of the art in the area. (shrink)

It is a commonplace of the history of analytic philosophy that Carnap swiftly adopted Tarskian semantics in the mid-1930s. There is no doubt that, in a very general sense, this is true. But to what extent are the innovative technical details characteristic of Tarski's method, specifically the handling of quantification by way of a satisfaction relation between formulas and variable assignments, reflected in Carnap's writings on semantics? Curiously enough, their essentials are in place just before Carnap took the purported Tarskian (...) turn, namely in the definition of analyticity he formulated some time between September 1932 and April 1933, but are missing from his publications on semantics after 1935 until the final chapter of Meaning and Necessity of 1947, at which point we find Carnap reverting to the use of specifically Tarskian techniques in the context of his novel semantics for quantified modal languages. (shrink)

The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense (...) reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing. Krzysztof R. Apt is project leader at the Centre for Mathematics and Computer Science in Amsterdam and part-time Professor in Computer Science at the University of Amsterdam. Topics covered: Theory Foundations. Programming Languages. Implementation. Programming Methodologies and Tools. Applications. Deductive Databases. Artificial Intelligence. Parallelism. (shrink)

The paper is a critique of the widespread conception of logic as a neutral arbiter between metaphysical theories, one that makes no `substantive’ claims of its own (David Kaplan and John Etchemendy are two recent examples). A familiar observation is that virtually every putatively fundamental principle of logic has been challenged over the last century on broadly metaphysical grounds (however mistaken), with a consequent proliferation of alternative logics. However, this apparent contentiousness of logic is often treated as (...) though it were neutralized by the possibility of studying all these alternative logics within an agreed metalogical framework, typically that of first-order logic with set theory. In effect, metalogic is given the role of neutral arbiter. The paper will consider a variety of examples in which deep logical disputes re-emerge at the meta-level. One case is quantified modal logic, where some varieties of actualism require a modal meta-language (as opposed to the usual non-modal language of possible worlds model theory) in order not to make their denial of the Barcan formula self-defeating. Similarly, on some views the intended model theory for second-order logic can only be given in a second-order metalanguage—this may be needed to avoid versions of Russell’s paradox when the first-order quantifiers are read as absolutely unrestricted. It can be shown that the phenomenon of higher-order vagueness eventually forces fuzzy logical treatments of vagueness to use a fuzzy metalanguage, with consequent repercussions for what first-order principles are validated. The difficulty of proving the completeness of first-order intuitionistic logic on its intended interpretation by intuitionistically rather than just classically valid means is a more familiar example. These case studies will be discussed in some detail to reveal a variety of ways in which even metalogic is metaphysically contested, substantial and non-neutral. (shrink)

The Editors express their gratitude and appreciation to the indi-viduals listed below who served as referees for Informal Logic for Volumes 31 (2011) and 32 (2012).