This article discusses various dangers that accompany the supposedly benign methods in behavioral evoltutionary biology and evolutionary psychology that fall under the framework of "methodological adaptationism." A "Logic of Research Questions" is proposed that aids in clarifying the reasoning problems that arise due to the framework under critique. The live, and widely practiced, " evolutionary factors" framework is offered as the key comparison and alternative. The article goes beyond the traditional critique of Stephen Jay Gould and Richard C. (...) Lewontin, to present problems such as the disappearance of evidence, the mishandling of the null hypothesis, and failures in scientific reasoning, exemplified by a case from human behavioral ecology. In conclusion the paper shows that "methodological adaptationism" does not deserve its benign reputation. (shrink)

What methodological approaches do research programs use to investigate the world? Elisabeth Lloyd’s Logic of Research Questions (LRQ) characterizes such approaches in terms of the questions that the researchers ask and causal factors they consider. She uses the Logic of Research Questions Framework to criticize adaptationist programs in evolutionary biology for dogmatically assuming selection explanations of the traits of organisms. I argue that Lloyd’s general criticism of methodological adaptationism is an artefact of the impoverished LRQ. (...) My Ordered Factors Proposal extends the LRQ to characterize approaches with sequences of questions and factors. I highlight the importance that ordering one’s investigation plays in approaches at the level of adaptationism by analyzing two research programs in community ecology: competitionists and neutralists. Competitionists and neutralists take opposed starting points and use explanatory and developmental heuristics to consider more factors in due time. On the Ordered Factors Proposal, these approaches are not only the ecological factors they are open to considering but also the order in which they will consider them. My disagreement with Lloyd’s over how to characterize methodological approaches reflects different views about methodological monism and pluralism. (shrink)

After biologist Deborah Gordon made a series of experimental discoveries in the 1980s, she argued that a change in terminology regarding the division of labor among castes of specialists was needed. Gordon’s investigations of the interactive effects of ants in colonies led her to believe that the established approach Edward O. Wilson had pioneered was biased in a way that made some alternative candidate adaptive explanations invisible. Gordon argued that this was because the term “division of labor” implied a division (...) among specialists that was unwarranted, and proposed “task allocation” as a better description that did not bias research against the alternative causes she had discovered. Gordon’s empirical findings and theoretical proposals also vindicate the initial critics of Wilson’s human sociobiology who have been dismissed as political radicals, but her proposals have been widely misunderstood by many contemporary behavioral ecologists. The terminological and methodological confusions rampant in contemporary discourse can be clarified by applying a framework developed by Elisabeth Lloyd involving an analysis of the constraints imposed by different research questions. Applying this framework will show how the methodological problems involving description raised by the initial critics of Wilson’s human sociobiology extended to his analysis of ants, indicating that they were not challenging Wilson’s naturalistic approach to the study of human evolution, but rather his methods. It will also show how confusion over how Gordon’s proposed research questions have been conflated with the possible answers she has argued ought to be investigated. This in turn will clarify contemporary disputes over her proposal to abandon the term “division of labor.”. (shrink)

Review:Geeks & Geezers: How Era, Values, and Defining Moments Shape Leaders. Book by Warren G. Bennis and Robert J. Thomas. Published by Harvard Business School Press, Boston, Massachusetts, 2002, 224 pp., ISBN: 1 57851 582 3,.

Most recently, what I have been working on in connection with it is the larger picture of the role of the editor in professional communication. Since the basic context for this is not philosophical communication in particular but rather scientific communication in general—ultimately professional communication in general—I've been exchanging some ideas with one of the main editors for the American Physical Society, which is the major professional society for physicists, and it has been most helpful in expanding my understanding of (...) the editorial role, which is clearly the single most important factor in the publication system at this point. I don't get into that in what follows below, but the basic frame for the discussion is adjusted to make that a part of what is considered. (shrink)

Critical realism claims to bring a significant improvement to social science, especially in comparison with empiricist and interpretive approaches. So far, however, it has fallen short of the high expectations it raises. Critical realist arguments are convincing on the philosophical or meta-theoretical level but the contributions of critical realism to social science in terms of research activities at the field level are less clear. Nonetheless, there is no way back. Moving forward requires that the practice of doing social scientific (...) research be no longer perceived as limited to the justification of specific knowledge claims but must be seen as an integral part of the cycle of scientific discovery. (shrink)

When first published twenty years ago, The Logic of Medicine presented a new way of thinking about clinical medicine as a scholarly discipline as well as a profession. Since then, advances in research and technology have revolutionized both the practice and theory of medicine. In this new, extensively rewritten edition, Dr. Murphy includes changes to show how these different areas of scholarship may affect details of "the logic of medicine" without compromising its fundamental coherence. New to this (...) edition are discussions of the challenge of the flood of new empirical data, new ideas in genetics, molecular biology, homeostasis, pathogenesis, cancer, aging, and Alzheimer's disease. Murphy also comments on such new theoretical topics as dynamic systems, chaos, and fractals and their impact on the burgeoning fields of philosophy and practice of medicine. Written with medical students in mind, the book includes a glossary, many new examples, and problems for solutions with comments on each. An entirely new chapter deals with modeling. Clinicians and researchers will also find the principles thought-provoking and illuminating. (shrink)

Joseph Ransdell posted the following draft of an introduction to a work in progress to the peirce-l email list on September 22, 2000. The post triggered a long thread of discussion in which he participated quite actively. At least one later and much longer version of the introduction exists. Still, this draft will give a concentrated “taste” of a side of Ransdell more familiar perhaps to long-time peirce-l subscribers than to those who have read only his published works. In the (...) message containing the draft, Ransdell characterized the draft as follows: “What follows below is an introductory section to some work that has actually been in progress for some five years or more now, which began as an explication of.. (shrink)

As do all forms of science, medical theories have a factual as well as a logical basis. New information is presented in medical research articles. These papers have three separate arguments: the argument of the hypothesis, the argument of the experimental protocol, and the argument of the hypothesis's judgment. These arguments may be examples of the hypothetico-deductive or confirmational model of scientific inference. The logical form of these arguments are informal and inductive rather than formal and deductive. Understanding the (...) nature of the logic of the medical research article may help avoid erroneous conclusions. (shrink)

There are two problems with the logic of Cesario's argument for abandoning existing research on social bias. First, laboratory findings of decisional bias have social significance even if Cesario is right that the research strips away real-world context. Second, the argument makes overly skeptical demands of a research program seeking complex causal linkages between micro- and macro-scale phenomena.

Traditional logical empiricist and more recent historicist positions on the logic of discovery are briefly reviewed and both are found wanting. None have examined the historical detail now available from recent research on Darwin, from which there is evidence for gradual transition in descriptive and explanatory concepts. This episode also shows that revolutionary research can be directed by borrowed metascientific objectives and heuristics from other disciplines. Darwin's own revolutionary research took place within an ontological context borrowed (...) from non evolutionary predecessors with methodological objectives borrowed from and justified by their success in Newton's physics. The logic of discovery is not a special form of inference from observation to theory, but rather a theory of the rationality of research, including principles bearing upon the rational choice of problems, or epistemic objectives, and heuristic, or means to solving the problems. Such choices can be justified only locally in the context of a relatively stable background ontology and substantive epistemology, not globally for all science. (shrink)

Multi-modal versions of propositional logics S5 or S4—commonly accepted as logics of knowledge—are capable of describing static states of knowledge but they do not reflect how the knowledge changes after communications among agents. In the present paper (part of broader research on logics of knowledge and communications) we define extensions of the logic S5 which can deal with public communications. The logics have natural semantics. We prove some completeness, decidability and interpretability results and formulate a general method that (...) solves certain kind of problems involving public communications—among them well known puzzles of Muddy Children and Mr. Sum & Mr. Product. As the paper gives a formal logical treatment of the operation of restriction of the universe of a Kripke model, it contributes also to investigations of semantics for modal logics. (shrink)

In order to present the incidence of the dynamic turn in the logic of scientific research, we begin with a section, in this article, that deals with logical games as triggers of this dynamic turn in contemporary logic, together with the program of logical dynamics of information and interaction. We briefly introduce the main characteristics of the logic favorable to independence and the game-theoretical semantics, of dialogical logic, as well as the essential elements of this (...) program. Although from any of these points of view we have a list of logical tools to deal with more clearly epistemological issues, we highlight the role of dynamic epistemic logic, to which we dedicate the following section. There follows another one in which we enter the logical studies of abduction as one of the fundamental problems of contemporary epistemology and, in a new section, in terms of the theoretical constructs of the preceding sections, we present and explain a phenomenon that emerged in the field of linguistics, the case of the discovery of the Amazonian language pirahã, which should be considered an anomaly within the framework of the Chomskian theory. (shrink)

Worries about scientific objectivity seem never-ending. Social critics and philosophers of science have argued that invocations of objectivity are often little more than attempts to boost the status of a claim, while calls for value neutrality may be used to suppress otherwise valid dissenting positions. Objectivity is used sometimes to advance democratic agendas, at other times to block them; sometimes for increasing the growth of knowledge, at others to resist it. Sandra Harding is not ready to throw out objectivity quite (...) yet. For all of its problems, she contends that objectivity is too powerful a concept simply to abandon. In Objectivity and Diversity, Harding calls for a science that is both more epistemically adequate and socially just, a science that would ask: How are the lives of the most economically and politically vulnerable groups affected by a particular piece of research? Do they have a say in whether and how the research is done? Should empirically reliable systems of indigenous knowledge count as "real science"? Ultimately, Harding argues for a shift from the ideal of a neutral, disinterested science to one that prizes fairness and responsibility. (shrink)

John Woods' The Logic of Fiction, now thirty-five years old, is a ground-breaking event in the establishment of the semantics of fiction as a stand-alone research programme in the philosophies of language and logic. There is now a large literature about these matters, but Woods' book retains a striking freshness, and still serves as a convincing template of the treatment options for the field's key problems. The book now appears in a second edition with a new Foreword (...) by Nicholas Griffin and an extended bibliography covering the period 1969-2009. As Griffin notes in his Foreword, it is "surprising on looking back to discover how little was written on the semantics of fiction before John Woods' The Logic of Fiction was published in 1974. The surprise is the greater because Woods' book appeared after almost a quarter century of fierce philosophical debate about reference Fictional discourse, one would have thought, would be an important testing ground for philosophical theories of referential expressions and one, moreover, in which the standard theories would likely be tested to destruction. " " One of the great merits of Woods' book is that it takes seriously the wide-ranging demands that fiction imposes on logic and semantics, and does not try to force fiction into some pre-conceived logical mould. but thanks to Woods' pioneering efforts, we are much closer to one now than we were when he set out to write his book. His book was not the last word on the logic of fiction; it was much more important: it was nearly the first." NICHOLAS GRIFFIN is Canada Research Chair in Philosophy at McMaster University. Recent publications include Russell vs Meinong: The Legacy of "On Denoting," edited with Dale Jacquette. JOHN WOODS is Director of the Abductive Systems Group at the University of British Columbia and Charles S. Peirce Visiting Professor of Logic in the Group on Logic and Computational Science, King's College London. He has two forthcoming books on fiction - an edited volume, Fictions and Models: New Essays, and a research monograph, Sherlock's Member: New Perspectives on the Semantics of Fiction, both to appear in 2010. (shrink)

Previous research has examined growing globalized divisions in domestic labor through the perspective of poor migrant women who perform care work in advanced industrialized societies. This article explores this global trend in reverse, focusing on first-world women who migrate into developing countries and engage with local dynamics of care through volunteer work. Based on 15 months of ethnographic fieldwork with Helping Hands, an organization of expatriate wives that assisted a local state-run orphanage in Beijing, China, I argue that gendered (...) processes of privileged migration caused women to develop a “logic of care” that equated good care solely with maternal nurturance and emotional connection. This logic permeated their volunteer efforts, causing conflicts with Chinese state caregivers who prioritized the performance of reproductive tasks. This case demonstrates the socially constructed nature of logics that underlie care practices and their relationship to increasingly transnational configurations of privilege and inequality. When applied to first-world women’s charitable activities in developing countries, unquestioned gendered logics can reinforce larger global disparities of power through the stratified provision of care. (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)

Mosher and Bond (this issue) suggest experimental designs that are not appropriate for the research purposes they criticize. In defending their own research, they make contradictory statements about the realism of their guided imagery procedure for simulating rape. They present data that we believe provide evidence for the possibility that wrongful harm occurred in their previous research. We assert our right to study the ethics of research and object to specious charges of having threatened sexual freedom (...) and being associated with ideologues of the right and left. (shrink)

The paper proposes a way to naturalise Charles S. Peirce’s conception of the scientific method, which he specified in terms of abduction, deduction and induction. The focus is on the central issue of the economy of research in abduction and self-correction by error reduction in induction. We show how Peirce’s logic of science receives support from modern breakthroughs in computational neuroscience, and more specifically from Karl Friston’s statements of active inference and the Free Energy Principle, namely the account (...) of how organisms’ capacity to decrease the discrepancy between the expected value and actual outcomes entails the minimisation of errors in their hypotheses about the world. A scientific account of organisms’ capacity to choose policies and form expectations is aligned with Peirce’s theories of abduction and induction, and especially with the economy of research. The upshot is the recovery of Peirce’s theory of the logic of science in the context of active inquiry. (shrink)

What sets someone on a life trajectory? This question is at the heart of studies of 21st-century neurosciences that build on scientific models developed over the last 150 years that attempt to link psychopathology risk and human development. Historically, this research has documented persistent effects of singular, negative life experiences on people’s subsequent development. More recently, studies have documented neuromolecular effects of early life adversity on life trajectories, resulting in models that frame lives as disproportionately affected by early negative (...) experiences. This view is dominant, despite little evidence of the stability of the presumably early-developed molecular traits and their potential effects on phenotypes. We argue that in the context of gaps in knowledge and the need for scientists to reason across molecular and phenotypic scales, as well as time spans that can extend beyond an individual’s life, specific interpretative frameworks shape the ways in which individual scientific findings are assessed. In the process, scientific reasoning oscillates between understandings of cellular homeostasis and organisms’ homeorhesis, or life trajectory. Biologist and historian François Jacob described this framework as the “attitude” that researchers bring to bear on their “objects” of study. Through an analysis of, first, historical and contemporary scientific literature and then ethnographic research with neuroscientists, we consider how early life trauma came to be associated with specific psychological and neurobiological effects grounded in understandings of life trajectories. We conclude with a consideration of the conceptual, ontological, and ethical implications of interpreting life trajectories as the result of the persistence of long-embodied biological traits, persistent life environments, or both. (shrink)

This book is devoted to a different proposal--that the logical structure of the scientist's method should guarantee eventual arrival at the truth given the scientist's background assumptions.

Moral luck is a puzzling aspect of our psychology: Why do we punish outcomes that were not intended (i.e. accidents)? Prevailing psychological accounts of moral luck characterize it as an accident or error, stemming either from a re‐evaluation of the agent's mental state or from negative affect aroused by the bad outcome itself. While these models have strong evidence in their favor, neither can account for the unique influence of accidental outcomes on punishment judgments, compared with other categories of moral (...) judgment. Why might punishment be particularly sensitive to moral luck? We suggest that such sensitivity is easily understood from the broader perspective of punishment's ultimate adaptive goal: Changing others’ behavior by exploiting their capacity to learn. This pedagogical perspective accounts for the exceptional influence of outcomes on punitive sentiments and makes predictions for additional moderators of punishment. We review evidence supporting the pedagogical hypothesis of punishment and discuss fruitful directions for future research. (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 article investigates the deep-rooted logical structures underlying our thinking about other animals with a particular focus on topics relevant for cognitive primate research. We begin with a philosophical propaedeutic that makes perspicuous how we are to differentiate ontological from epistemological considerations regarding primates, while also accounting for the many perplexities that will undoubtedly be encountered upon applying this difference to concrete phenomena. Following this, we give an account of what is to be understood by the assertion of a (...) thesis of anthropological difference, identifying, inter alia, a property that fulfils the exclusivity, universality, and constitution criteria and demarcates the differentia specifica between humans and other animals. Also, we systematically develop how such theses can be formulated more moderately. Furthermore, we account for different theoretical frameworks, argumentative schemes, and sociological factors whose employment is associated with theses as such. This endeavor is carried out under the guise of anthropomorphism and anthropodenial. Doing so, we show that both are favored by the logic of cognitive primate research. Put briefly, concepts like cladistic parsimony and arguments by analogy favor anthropomorphism whereas concepts like traditional parsimony and Morgan’s canon favor anthropodenial. We close by framing these topics in the light of the self-other category mistake that lies in ascribing exclusive self-properties to some other. Lastly, we probe this category mistake for potency and scope of implications and find it to be central to and unavoidably ingrained in our thinking about other animals. (shrink)

Aristotle's modal syllogistic has been an object of study ever since the time of Theophrastus; but these studies have been somewhat desultory. Remarkably, in the 1990s several new lines of research have appeared, with series of original publications by Fred Johnson, Richard Patterson and Ulrich Nortmann. Johnson presented for the first time a formal semantics adequate to a de re reading of the apodeictic syllogistic; this was based on a simple intuition linking the modal syllogistic to Aristotelian metaphysics. Nortmann (...) developed an ingenious de dicto analysis. Patterson articulated the links between the modal syllogistic and the metaphysics, using an analysis which strictly speaking is neither de re nor de dicto. My own studies in this field date from 1976, when my colleague Peter Roeper and I jointly wrote a paper "Aristotle's apodeictic syllogisms" for the XXIInd History of Logic Conference in Krakow. This paper contained the disjunctive reading of particular affirmative apodeictic propositions, which I still favour. Nonetheless, I did not consider that paper's results decisive or comprehensive enough to publish, and my 1981 book The Syllogism contained no treatment of the modal syllogism. The paper's ideas lay dormant till 1989, when I read Johnson's and Patterson's initial articles. I began publishing on the topic in 1991. Gradually my thoughts acquired a certain comprehensiveness and systematicity, till in 1993 I was able to take a semester's sabbatical to write up a draft of this book. (shrink)

A major and brilliant work of Marxist theory, admirably rigorous, clear-minded and well-researched.

This paper examines the research leading from the initial discovery of a disease in 1957 to its complete description twenty years later. The analysis reveals four stages in the discovery process and attempts to pinpoint the key characteristics of each of those stages. It is suggested that the early stages in the process have some of the characteristics depicted by T. H. Kuhn about the logic of discovery whereas the later stages exemplify the characteristics of the logic (...) of discovery propounded by Karl Popper. (shrink)

The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part (...) of a larger work on causal logic, which additionally treats volition and allied cause-effect relations (2004). The Logic of Causation deals with the main technicalities relating to reasoning about causation. Once all the deductive characteristics of causation in all its forms have been treated, and we have gained an understanding as to how it is induced, we are able to discuss more intelligently its epistemological and ontological status. In this context, past theories of causation are reviewed and evaluated (although some of the issues involved here can only be fully dealt with in a larger perspective, taking volition and other aspects of causality into consideration, as done in Volition and Allied Causal Concepts). Phase I: Macroanalysis. Starting with the paradigm of causation, its most obvious and strongest form, we can by abstraction of its defining components distinguish four genera of causation, or generic determinations, namely: complete, partial, necessary and contingent causation. When these genera and their negations are combined together in every which way, and tested for consistency, it is found that only four species of causation, or specific determinations, remain conceivable. The concept of causation thus gives rise to a number of positive and negative propositional forms, which can be studied in detail with relative ease because they are compounds of conjunctive and conditional propositions whose properties are already well known to logicians. The logical relations (oppositions) between the various determinations (and their negations) are investigated, as well as their respective implications (eductions). Thereafter, their interactions (in syllogistic reasoning) are treated in the most rigorous manner. The main question we try to answer here is: is (or when is) the cause of a cause of something itself a cause of that thing, and if so to what degree? The figures and moods of positive causative syllogism are listed exhaustively; and the resulting arguments validated or invalidated, as the case may be. In this context, a general and sure method of evaluation called ‘matricial analysis’ (macroanalysis) is introduced. Because this (initial) method is cumbersome, it is used as little as possible – the remaining cases being evaluated by means of reduction. Phase II: Microanalysis. Seeing various difficulties encountered in the first phase, and the fact that some issues were left unresolved in it, a more precise method is developed in the second phase, capable of systematically answering most outstanding questions. This improved matricial analysis (microanalysis) is based on tabular prediction of all logically conceivable combinations and permutations of conjunctions between two or more items and their negations (grand matrices). Each such possible combination is called a ‘modus’ and is assigned a permanent number within the framework concerned (for 2, 3, or more items). This allows us to identify each distinct (causative or other, positive or negative) propositional form with a number of alternative moduses. This technique greatly facilitates all work with causative and related forms, allowing us to systematically consider their eductions, oppositions, and syllogistic combinations. In fact, it constitutes a most radical approach not only to causative propositions and their derivatives, but perhaps more importantly to their constituent conditional propositions. Moreover, it is not limited to logical conditioning and causation, but is equally applicable to other modes of modality, including extensional, natural, temporal and spatial conditioning and causation. From the results obtained, we are able to settle with formal certainty most of the historically controversial issues relating to causation. Phase III: Software Assisted Analysis. The approach in the second phase was very ‘manual’ and time consuming; the third phase is intended to ‘mechanize’ much of the work involved by means of spreadsheets (to begin with). This increases reliability of calculations (though no errors were found, in fact) – but also allows for a wider scope. Indeed, we are now able to produce a larger, 4-item grand matrix, and on its basis find the moduses of causative and other forms needed to investigate 4-item syllogism. As well, now each modus can be interpreted with greater precision and causation can be more precisely defined and treated. In this latest phase, the research is brought to a successful finish! Its main ambition, to obtain a complete and reliable listing of all 3-item and 4-item causative syllogisms, being truly fulfilled. This was made technically feasible, in spite of limitations in computer software and hardware, by cutting up problems into smaller pieces. For every mood of the syllogism, it was thus possible to scan for conclusions ‘mechanically’ (using spreadsheets), testing all forms of causative and preventive conclusions. Until now, this job could only be done ‘manually’, and therefore not exhaustively and with certainty. It took over 72’000 pages of spreadsheets to generate the sought for conclusions. This is a historic breakthrough for causal logic and logic in general. Of course, not all conceivable issues are resolved. There is still some work that needs doing, notably with regard to 5-item causative syllogism. But what has been achieved solves the core problem. The method for the resolution of all outstanding issues has definitely now been found and proven. The only obstacle to solving most of them is the amount of labor needed to produce the remaining (less important) tables. As for 5-item syllogism, bigger computer resources are also needed. (shrink)

The Logic of Human Personality shows how the ancient definition of person remains useful today, and explains how it happened to fall into disuse. The method of using the categories of Aristotle is illustrated by showing how action, relation, and time as well as the fundamental category of substance, can help us understand what it is to be a person. The Logic of Human Personality agrues, against Mill and others who have found Aristotle's categories unsatisfactory, that in fact (...) they are useful for much psychological and anthropological research today, particularly in the intercultural field. (shrink)

Biomedical research is increasingly a matter of the navigation through large computerized information resources deriving from functional genomics or from the biochemistry of disease pathways. To make such navigation possible, controlled vocabularies are needed in terms of which data from different sources can be unified. One of the most influential developments in this regard is the so-called Gene Ontology, which consists of controlled vocabularies of terms used by biologists to describe cellular constituents, biological processes and molecular functions, organized into (...) hierarchies via the relation of class subsumption. Here we seek to provide a rigorous account of the logic of classification that underlies GO and similar biomedical ontologies. Drawing on Aristotle, we develop a system of axioms and definitions for the treatment of biological classes and instances. (shrink)

Retroduction -- Contextualized self-interpretations -- Causal mechanisms -- Ontology -- Logics -- Articulation.

The Handbook of the Logic of Argument and Inference is an authoritative reference work in a single volume, designed for the attention of senior undergraduates, graduate students and researchers in all the leading research areas concerned with the logic of practical argument and inference. After an introductory chapter, the role of standard logics is surveyed in two chapters. These chapters can serve as a mini-course for interested readers, in deductive and inductive logic, or as a refresher. (...) Then follow two chapters of criticism; one the internal critique and the other the empirical critique. The first deals with objections to standard logics (as theories of argument and inference) arising from the research programme in philosophical logic. The second canvasses criticisms arising from work in cognitive and experimental psychology. The next five chapters deal with developments in dialogue logic, interrogative logic, informal logic, probability logic and artificial intelligence. The last chapter surveys formal approaches to practical reasoning and anticipates possible future developments. Taken as a whole the Handbook is a single-volume indication of the present state of the logic of argument and inference at its conceptual and theoretical best. Future editions will periodically incorporate significant new developments. (shrink)

_Framing effects_ concern the having of different attitudes towards logically or necessarily equivalent contents. Framing is of crucial importance for cognitive science, behavioral economics, decision theory, and the social sciences at large. We model a typical kind of framing, grounded in (i) the structural distinction between beliefs activated in working memory and beliefs left inactive in long term memory, and (ii) the topic- or subject matter-sensitivity of belief: a feature of propositional attitudes which is attracting growing research attention. We (...) introduce a class of models featuring (i) and (ii) to represent, and reason about, agents whose belief states can be subject to framing effects. We axiomatize a logic which we prove to be sound and complete with respect to the class. (shrink)

The article gives a short account of V.A. Smirnovs scientific biography, including his work in Tomsk University in Siberia and in the Department of Logic of the Institute of Philosophy in Moscow.

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models (...) to show that some of these logics are non-degenerate. (shrink)

When the original Dutch version of this book was presented in 1971 to the University of Leiden as a thesis for the Doctorate in philosophy, I was prevented by the academic mores of that university from expressing my sincere thanks to three members of the Philosophical Faculty for their support of and interest in my pursuits. I take the liberty of doing so now, two and a half years later. First and foremost I want to thank Professor G. Nuchelmans warmly (...) for his expert guidance of my research. A number of my most im portant sources were brought to my attention by him. During the whole process of composing this book his criticism and encouragement were carried out in a truly academic spirit. He thereby provided working conditions that are a sine qua non for every author who is attempting to approach controversial matters in a scientific manner, conditions which, however, were not easily available at that time. In a later phase I also came into contact with Professors L. M. de Rijk and J. B. Ubbink, with both of whom I had highly stimulating discussions and exchanges of ideas. The present edition contains some entirely new sections, viz. 1-9, IV-29, V-9, V-20, VII-14 (iii), (iv), VII-17 (i), VIII-22, IX-17, IX-19, X-9 and XI-8. Section X-9 was inspired by a remark made by Professor A. (shrink)

Design research programs attempt to bring together the properties of available materials and the demands derived from intended applications. The logic of problem states and state transitions in such programs, including assessment criteria and heuristic principles, is described in settheoretic terms, starting with a naive model comprising an intended profile and the operational profile of a prototype. In a first concretization the useful distinction between structural and functional properties is built into the model. In two further concretizations the (...) inclusion of potential applications is motivated and described for the case of drug research as well as the inclusion of potential realizations for the case of complex products. Next, another line of concretization of the naive model, the incorporation of potentially relevant properties, is sketched. Then the partial analogy between product- and truth-approximation is indicated. We conclude with some remarks about the usefulness of our models for products reaching the market in comparison to the the so-called social construction of technology approach. (shrink)

We consider a logic which is semantically dual (in some precise sense of the term) to intuitionistic. This logic can be labeled as “falsification logic”: it embodies the Popperian methodology of scientific discovery. Whereas intuitionistic logic deals with constructive truth and non-constructive falsity, and Nelson's logic takes both truth and falsity as constructive notions, in the falsification logic truth is essentially non-constructive as opposed to falsity that is conceived constructively. We also briefly clarify the (...) relationships of our falsification logic to some other logical systems. (shrink)

It is noted that Popper separates the creation of concepts, conjectures, hypotheses and theories—the context of invention—from the testing thereof—the context of justification—arguing that only the latter is susceptible of rigorous logical analysis. Efforts on the part of others to shift or eradicate the demarcation established by this distinction are discussed and the relationship of these considerations to the claims of “strong artificial intelligence” is pointed out. It is argued that the mode of education of scientists, as well as reports (...) of celebrated scientists, support Popper's judgement in this matter. An historical episode from Faraday's later career is used to illustrate the historiographical strength of Lakatos' “methodology of research programs.”. (shrink)

In his article “Issues of Pragmaticism” published in 1905, in The Monist, Charles S. Peirce complains that “Logicians have been at fault in giving Vagueness the go-by, so far as not even to analyze it.” That same year, occupying himself with the consequences of “Critical commonsensism,” he affirmed, “I have worked out the logic of vagueness with something like completeness,” a statement that causes the majority of the commentators on his work, including the editors of the Collected Papers to (...) ask where this logic is to be found. The fever for finding Peirce's manuscripts is fed by the hope of some researchers of discovering the logic of vagueness, a hope that has grown since Carolyn Eisele's publication of his mathematical works. Others - and I count myself among them - believe that in reality this is a matter of something already known. That is, they interpret the affirmation ending the paragraph of reproach addressed to logicians, “The present writer has done his best to work out the Stechiology, Critic, and Methodeutik of the subject,” as a tripartite semiotic of the vague, still limited, according to Peirce's older works, to symbols, that is, to the signs of natural language examined from the perspective of logic. (shrink)

Inspired by an interesting quotation from the literature, we propose four modalities, called ‘sane belief’, ‘insane belief’, ‘reliable belief’ and ‘unreliable belief’, and introduce logics with each operator as the modal primitive. We show that the four modalities constitute a square of opposition, which indicates some interesting relationships among them. We compare the relative expressivity of these logics and other related logics, including a logic of false beliefs from the literature. The four main logics are all less expressive than (...) the standard modal logic over various model classes, and the logics of sane and insane beliefs are, respectively, equally expressive as the logics of unreliable and reliable beliefs on any class of models. The logics of reliable and unreliable beliefs are then combined into a bimodal logic, which turns out to be equally expressive as the standard modal logic. Despite this, we cannot obtain a complete axiomatization of the minimal bimodal logic, by simply translating the axioms and rules of the minimal modal logic $\textbf{K}$ into the bimodal language. We then introduce a schematic modality which unifies reliable and unreliable beliefs and axiomatize it over the class of all frames and also the class of serial frames. This line of research is finally extended to unify sane and insane beliefs and some axiomatizations are given. (shrink)

In spite of the fact that the Neyman-Pearson theory of testing is the official theory of statistical testing, most research publications in the social sciences use a pattern of inductive reasoning that is characteristic of Fisherian tests of significance. The exact structure and rationale of this pattern of reasoning is widely misunderstood. The goal of the paper is to describe precisely the pattern and its rationale, and to show that while it is far more cogent than Fisher's critics have (...) realized, it does not logically sustain the inferences it sanctions. (shrink)