In a paper published in 1975, Robert Jeroslow introduced the concept of an experimental logic as a generalization of ordinary formal systems such that theoremhood is a (or in practice ) rather than . These systems can be viewed as (rather crude) representations of axiomatic theories evolving stepwise over time. Similar ideas can be found in papers by Putnam (1965) and McCarthy and Shapiro (1987). The topic of the present article is a discussion of a suggestion by Allen (...) Hazen, that these experimental logics might provide an illuminating way of representing “the human mathematical mind”. This is done in the context of the well-known Lucas-Penrose thesis. Though we agree that Jeroslow's model has some merit in this context, and that the Lucas-Penrose arguments certainly are less than persuasive, some semi-technical doubts are raised concerning the alleged impact of experimental logics on the question of knowable self-consistency. (shrink)

Fourteen of the American philosopher's most influential essays appear here, offering profound reflections on many different aspects of knowledge, reality, and epistemology. These papers on experimental logic are rooted in the implication that possession of knowledge implies a judgment, resulting from an inquiry or investigation. The presence of this "inquiry stage" suggests an intermediate and mediating phase between the external world and knowledge, an area conditioned by other factors. Expanding upon this basis, these essays consider the relationship of (...) thought and its subject matter; the antecedents and stimuli of thought, data, and meanings; the objects of thought; control of ideas by facts; and similar topics. Unabridged republication of the classic 1916 edition. (shrink)

Offering a new edition of Dewey's 1916 collection of essays This critical edition of John Dewey's 1916 collection of writings on logic, Essays in Experimental Logic—in which Dewey presents his concept of logic as the theory of inquiry and his unique and innovative development of the relationship of inquiry to experience—is the first scholarly reprint of the work in one volume since 1954. Essays in Experimental Logic, edited by D. Micah Hester and Robert B. (...) Talisse, uses the authoritative texts from the Collected Works of John Dewey, 1882–1953 and includes as well articles from leading journals representing various contemporary schools of philosophy that criticized Dewey's experimentalism. Culling materials from six volumes of the chronologically arranged Collected Works, this single-volume edition of Essays marks a crucial point in Dewey's intellectual development: one in which Dewey critically engages idealistic and intuitionist theorists and lays the groundwork for his mature theory of inquiry. The text includes a new introduction by renowned Dewey scholar Tom Burke that places Essays in philosophical and historical context. In addition to the original essays, Essays in Experimental Logic also features five critical essays by Dewey's contemporaries, including Bertrand Russell, Wendell T. Bush, R. F. Alfred Hoernlé, H. T. Costello, and C. S. Peirce. (shrink)

_Offering a new edition of Dewey’s 1916 collection of essays_ This critical edition of John Dewey’s 1916 collection of writings on logic, _Essays in Experimental Logic—_in which Dewey presents his concept of logic as the theory of inquiry and his unique and innovative development of the relationship of inquiry to experience—is the first scholarly reprint of the work in one volume since 1954. _Essays in Experimental Logic, _edited by D. Micah Hester and Robert B. (...) Talisse, uses the authoritative texts from the _Collected Works of John Dewey, 1882–1953_ and includes as well articles from leading journals representing various contemporary schools of philosophy that criticized Dewey’s experimentalism. Culling materials from six volumes of the chronologically arranged _Collected Works_, this single-volume edition of _Essays_ marks a crucial point in Dewey’s intellectual development: one in which Dewey critically engages idealistic and intuitionist theorists and lays the groundwork for his mature theory of inquiry. The text includes a new introduction by renowned Dewey scholar Tom Burke that places _Essays_ in philosophical and historical context. In addition to the original essays, _Essays in Experimental Logic_ also features five critical essays by Dewey’s contemporaries, including Bertrand Russell, Wendell T. Bush, R. F. Alfred Hoernlé, H. T. Costello, and C. S. Peirce. (shrink)

This chapter explores the intersection of experimental philosophy and philosophical logic. It considers a distinction between pure and applied logic. It sketches some ways in which experimental results and empirical results more broadly, can inform and have informed debates within philosophical logic. The chapter lays out a way of looking at the situation that makes plain at least one way in which people should expect experimental and logical concerns to overlap. It turns to the (...) phenomenon of vagueness, where people can see this overlap explored and developed from multiple angles, showing just how intimately related experiment and logic can be. Logic is not only useful for exploring hypotheses about truth conditions and entailments but also for exploring hypotheses about reasoning. Logical and experiment can fruitfully interact in a variety of applications, and that is all people need for experimental philosophical logic to be worthwhile. (shrink)

This article offers a critique of research practices typical of experimental philosophy. To that end, it presents a review of methodological issues that have proved crucial to the quality of research in the biobehavioral sciences. It discusses various shortcomings in the experimental philosophy literature related to (1) the credibility of self-report questionnaires, (2) the validity and reliability of measurement, (3) the adherence to appropriate procedures for sampling, random assignment, and handling of participants, and (4) the meticulousness of study (...) reporting. It argues that the future standing of experimental philosophy will hinge upon improvements in research methods. (shrink)

While Classical Logic (CL) used to be the gold standard for evaluating the rationality of human reasoning, certain non-theorems of CL—like Aristotle’s and Boethius’ theses—appear intuitively rational and plausible. Connexive logics have been developed to capture the underlying intuition that conditionals whose antecedents contradict their consequents, should be false. We present results of two experiments (total n = 72), the first to investigate connexive principles and related formulae systematically. Our data suggest that connexive logics provide more plausible rationality frameworks (...) for human reasoning compared to CL. Moreover, we experimentally investigate two approaches for validating connexive principles within the framework of coherence-based probability logic (Pfeifer & Sanfilippo, 2021). Overall, we observed good agreement between our predictions and the data, but especially for Approach 2. (shrink)

Although arguments for and against competing theories of vagueness often appeal to claims about the use of vague predicates by ordinary speakers, such claims are rarely tested. An exception is Bonini et al. , who report empirical results on the use of vague predicates by Italian speakers, and take the results to count in favor of epistemicism. Yet several methodological difficulties mar their experiments; we outline these problems and devise revised experiments that do not show the same results. We then (...) describe three additional empirical studies that investigate further claims in the literature on vagueness: the hypothesis that speakers confuse ‘P’ with ‘definitely P’, the relative persuasiveness of different formulations of the inductive premise of the Sorites, and the interaction of vague predicates with three different forms of negation. (shrink)

Although arguments for and against competing theories of vagueness often appeal to claims about the use of vague predicates by ordinary speakers, such claims are rarely tested. An exception is Bonini et al. (1999), who report empirical results on the use of vague predicates by Italian speakers, and take the results to count in favor of epistemicism. Yet several methodological difficulties mar their experiments; we outline these problems and devise revised experiments that do not show the same results. We then (...) describe three additional empirical studies that investigate further claims in the literature on vagueness: the hypothesis that speakers confuse ‘P’ with ‘definitely P’, the relative persuasiveness of different formulations of the inductive premise of the Sorites, and the interaction of vague predicates with three different forms of negation. (shrink)

Charles Sanders Peirce was acknowledged by William James as the founder of pragmatism; however, while James’ appreciation for psychology is well taken into account in his philosophy, the role that psychological inquiry played in Peirce’s thought remains largely unexplored. Few excellent studies indicate Peirce as the first American experimental psychologist (Cadwallader 1974, 1975; Fisch 1986) and as the first to perform a truly modern experiment in psycho-physics (Hacking 1988). Nonetheless, Peirce’s commitment to psycho-physics fails to be fully integrated with (...) the broader project of his philosophy. This integration is crucial to gain a better understanding of the complexity of Peirce’s system of thought and of his position in the psychologistic-antipsychologistic divide. On the logical side, making Peirce’s position on psychology explicit leads to investigating his material logic; on the psychological side, Peirce’s scientific approach to psychology has its theoretical foundation in Kant and further marks the distinction between Peirce’s pragmatism and James’. (shrink)

This paper offers an historical introduction to Pere Alberch's evolutionary thought and his contributions to Evo-Devo, based on his unique approach to experimental teratology. We will take as our point of reference the teratogenic experiments developed by Alberch and Emily A. Gale during the 1980s, aimed at producing monstrous variants of frogs and salamanders. We will analyze his interpretation of the results of these experiments within the framework of the emergence of evolutionary developmental biology (or “Evo-Devo”). The aim is (...) understand how Alberch interpreted teratological anomalies as highly revealing objects of study for understanding the development of organic form, not only in an ontogenetic sense—throughout embryonic development—but also phylogenetically—throughout the evolution of species. Alberch's interpretation of monsters reflects the influence of a long tradition of non-Darwinian evolutionary thought, which began in the nineteenth century and was continued in the twentieth century by people such as Richard Goldschmidt, Conrad H. Waddington, and Stephen Jay Gould. They all proposed various non-gradualist models of evolution, in which embryonic development played a central role. Following this tradition, Alberch argued that, in order to attain a correct understanding of the role of embryological development in evolution, it was necessary to renounce the gradualist paradigm associated with the Darwinian interpretation of evolution, which understood nature as a continuum. According to Alberch, the study of monstrous abnormalities was of great value in understanding how certain epigenetic restrictions in development could give rise to discontinuities and directionality in morphological transformations throughout evolution. (shrink)

Much fundamental progress in medicine and, more broadly, in medical sciences has required or benefited from self-experiments. This review provides a definition of self-experiments in which experimenters themselves are subjects for their research, and it considers the logical steps which such experiments require. Lay, medical and scientific communities are often unaware of the contributions and the full range of outcomes from self-experiments. Hence, some implications for ethics committees are explored.

The pair (A, Δ ), where A is a physical quantity (an observable) and Δ a subset of the reals, may be called an 'experimental question'. The set Q of experimental questions is, in classical mechanics, a Boolean algebra, and in quantum mechanics an orthomodular lattice (and also a transitive partial Boolean algebra). The question is raised: can we specify a priori what algebraic structure Q must have in any theory whatsoever? Several proposals suggesting that Q must be (...) a lattice are discussed, and rejected in favor of the weak claim that Q must be a Boolean atlas. (shrink)

This paper focuses on two interrelated issues about the prospects for research projects in experimental philosophical logic. The first issue is about the role that logic plays in such projects; the second involves the role that experimental results from the cognitive sciences play in them. I argue that some notion of logic plays a crucial role in these research projects, and, in turn, the results of these projects might inform substantive debates in the philosophy of (...) logic. (shrink)

In this article, I argue that it is wrong to conduct any experiment on a nonhuman which we would regard as immoral were it to be conducted on a human, because such experimentation violates the basic moral rights of sentient beings. After distinguishing the rights approach from the utilitarian approach, I delineate basic concepts. I then raise the classic “argument from marginal cases” against those who support experimentation on nonhumans but not on humans. After next replying to six important objections (...) against that argument, I contend that moral agents are logically required to accord basic moral rights to every sentient being. I conclude by providing criteria for distinguishing ethical from unethical experimentation. (shrink)

The rise of the field of “ experimental mathematics” poses an apparent challenge to traditional philosophical accounts of mathematics as an a priori, non-empirical endeavor. This paper surveys different attempts to characterize experimental mathematics. One suggestion is that experimental mathematics makes essential use of electronic computers. A second suggestion is that experimental mathematics involves support being gathered for an hypothesis which is inductive rather than deductive. Each of these options turns out to be inadequate, and instead (...) a third suggestion is considered according to which experimental mathematics involves calculating instances of some general hypothesis. The paper concludes with the examination of some philosophical implications of this characterization. (shrink)

The unexpected and premature passing away of Professor Ebrahim H. "Abe" Mamdani on January, 22, 2010, was a big shock to the scientific community, to all his friends and colleagues around the world, and to his close relatives. Professor Mamdani was a remarkable figure in the academic world, as he contributed to so many areas of science and technology. Of great relevance are his latest thoughts and ideas on the study of language and its handling by computers. The fuzzy (...) class='Hi'>logic community is particularly indebted to Abe Mamdani (1941-2010) who, in 1975, in his famous paper An Experiment in Linguistic Synthesis with a Fuzzy Logic Controller, jointly written with his student Sedrak Assilian, introduced the novel idea of fuzzy control. This was an elegant engineering approach to the modeling and control of complex processes for which mathematical models were unknown or too difficult to build, yet they could effectively and efficiently be controlled by human operators. This ground-breaking idea has found innumerable applications and can be considered as one of the main factors for the proliferation and adoption of fuzzy logic technology. Professor Mamdani's own life and vital experience are illustrative of his “never surrendering” attitude while facing adversaries, which is normal for a person proposing any novel solution, and represent a great example for everybody. His subtle sense of humor, his joy for life, and his will to critically help people, especially young people, were characteristics deeply appreciated by all the people who enjoyed and benefited from his friendship and advice. This book constitutes a posthumous homage to Abe Mamdani. It is a collection of original papers related in some way to his works, ideas and vision, and especially written by researchers directly acquainted with him or with his work. The underlying goal of this book will be fulfilled if, in the very spirit of Mamdani's legacy, the papers will trigger a scientific or philosophical debate on the issues covered, or contribute to a cross-fertilization of ideas in the various fields. (shrink)

In this paper the relationship between phenomenology of perception and synthetic phenomenology is discussed. Synthetic phenomenology is presented on the basis of the issues in A.I. and Robotics that required to address the question of what enables artificial agents to have phenomenal access to the environment. Phenomenology of perception is construed as a theory with autonomous structure and domain, which can be embedded in a philosophical as well as a scientific theory. Two attempts at specifying the phenomenal content of artificial (...) agents are discussed. Concepts and experimental evidence on the independence of perception and the coordination of motion and appearances are set out to submit that phenomenology of perception makes a contribution to synthetic phenomenology. (shrink)

This experimental study provides further support for a theory of meaning first put forward by Bar-Hillel and Carnap in 1953 and foreshadowed by Asimov in 1951. The theory is the Popperian notion that the meaningfulness of a proposition is its a priori falsity. We tested this theory in the first part of this paper by translating to logical form a long, tightly written, published text and computed the meaningfulness of each proposition using the a priori falsity measure. We then (...) selected the top propositions—by a priori falsity—and strung them together to form ad hoc abstracts and compared these abstracts with the published summary. The results were startling: translation to logical form, followed by application of the Asimovian idea and Bar-Hillel/Carnap mathematics as elaborated into an AI/NLP proposal in Fulda (1986, 1988), produced excellent abstracts, thereby providing a proof-of-concept that merely by knowing the logical form of long text passages, one can produce reasonable abstracts of them—without actually understanding the text. We here report on a second experiment analyzing, in the exact same manner, the correspondence that followed the published text of the first experiment. While the results of this confirming experiment are less startling, they nevertheless provide additional confidence in the promise of the technique. In other words, were the results of these two experiments to generalize, that would show that logical form captures much more semantics than has heretofore been considered likely. Far from (as is commonly supposed) being merely the syntactical rewrite of text into formal notation, translation to logical form, even when undertaken with almost no knowledge about the particular predicates, individual constants, or other objects referred to in that form, might capture the core of the meaning in some important sense. -/- Note: There is a key difference in the /style/ of the texts analyzed in I and II in this long paper, divided into two only for practical reasons—space; the first text analyzed is written in a tight mathematical style, while the second is written in the discursive style of philosophy. -/- Finally, the unusual (for me) length of this two-part paper is justified by its being data-driven. (shrink)

A notion of experimental series is developed, in which experiments or experimental sets are connected through experimental suggestions arising from previous experimental outcomes. To that end, the justification of Howard Temin's DNA provirus hypothesis is examined. The hypothesis originated with evidence from two exploratory experimental sets on an oncogenic virus and was substantiated by including evidence from three additional experimental sets. Collectively these sets comprise an experimental series and the accumulative evidence from the (...) series was adequate to justify the hypothesis by persuading the virology community of its veracity. The notion of crucial experiment is also discussed in terms of experimental series. (shrink)

This book explores the results of applying empirical methods to the philosophy of logic and mathematics. Much of the work that has earned experimental philosophy a prominent place in twenty-first century philosophy is concerned with ethics or epistemology. But, as this book shows, empirical methods are just as much at home in logic and the philosophy of mathematics. -/- Chapters demonstrate and discuss the applicability of a wide range of empirical methods including experiments, surveys, interviews, and data-mining. (...) Distinct themes emerge that reflect recent developments in the field, such as issues concerning the logic of conditionals and the role played by visual elements in some mathematical proofs. -/- Featuring leading figures from experimental philosophy and the fields of philosophy of logic and mathematics, this collection reveals that empirical work in these disciplines has been quietly thriving for some time and stresses the importance of collaboration between philosophers and researchers in mathematics education and mathematical cognition. (shrink)

This paper connects recent findings from experimental epistemology to several major themes in classical Indian epistemology. First, current evidence supports a specific account of the ordinary knowledge concept in contemporary anglophone American culture. According to this account, known as abilism, knowledge is a true representation produced by cognitive ability. I present evidence that abilism closely approximates Nyāya epistemology’s theory of knowledge, especially that found in the Nyāya-sūtra. Second, Americans are more willing to attribute knowledge of positive facts than of (...) negative facts, especially when such facts are inferred and even when the positive and negative “facts” are logically equivalent. Similar suspicions about knowledge of negative facts seemingly occur in classical Indian epistemology, suggesting that the asymmetry might not be an American quirk but instead reflect a cross-culturally robust tendency in knowledge attributions. Each of these themes—abilism and the positive/negative asymmetry—presents an exciting opportunity for further research in experimental cross-cultural epistemology. (shrink)

In this book, the extend to which we can equip artificial agents with moral reasoning capacity is investigated. Attempting to create artificial agents with moral reasoning capabilities challenges our understanding of morality and moral reasoning to its utmost. It also helps philosophers dealing with the inherent complexity of modern organizations. Modern society with large multi-national organizations and extensive information infrastructures provides a backdrop for moral theories that is hard to encompass through mere theorising. Computerized support for theorising is needed to (...) be able to fully grasp and address the inherent complexity. Using moral reasoning capacity will help us addressing the challenges that technological artefacts pose. They do not only contain information about us, they start to act on our behalves.With the increasing autonomy comes an increased need to ensure that their behaviour is in line with what we expect from them. To investigate and address these issues a laboratoy for philosophy is outlined: SophoLab. It consists of a methodology; a framework of modal logic, DEAL; and multi-agent software systems. SophoLab provides the basis for an experimental, computational philosophy. Its viability and usefulness are demonstrated through several experiments. (shrink)

Metaphors are emotionally engaging, influenc-ing the evaluation of arguments. The paper empirically in-vestigates whether metaphors in the premise can lead the evaluator to judge an ad hominem argument as sound when the arguer instead committed a fallacy. The results show that ad hominem arguments with conventional and positive metaphors are more persuasive compared to those with novel and negative metaphors. Arguments with conventional metaphors are also perceived as more am-biguous, but less convincing, and emotionally appealing. Additionally, participants believe in the (...) conclusion more when the premise contains a positive rather than a nega-tive metaphor, which instead helps the evaluator detect the fallacy. Résumé: Les métaphores sont émotionnellement engag-eantes et ainsi influencent l’évaluation des arguments. L'article étudie empiriquement si les métaphores em-ployées dans la prémisse peuvent amener l'évaluateur à juger un argument ad hominem comme solide bien que ce sophisme soit commis. Les résultats montrent que les ar-guments ad hominem utilisant des métaphores conven-tionnelles et positives sont plus convaincants que ceux utilisant des métaphores nouvelles et négatives. Les argu-ments utilisant des métaphores conventionnelles sont également perçus comme plus ambigus, mais moins con-vaincants et émotionnellement attrayants. De plus, les participants croient davantage à la conclusion lorsque la prémisse contient une métaphore positive plutôt que néga-tive, ce qui aide plutôt l'évaluateur à détecter le sophisme. (shrink)

SummaryThe ethical fundaments of research are objectivity and logic. The subjective and objective elements in the procedure: formulation of a problem — hypothesis — experimentation — selection of arguments — theory are discussed with examples from experimental biology, foremost plant physiology. A certain amount of subjectivity is essential in research, but violations of ethical rules beyond that are not uncommon. The importance of a paradigm is emphasized; research ethics may be low under pre‐paradigm conditions. The reasons for lacking (...) ethics are discussed, and the difficulty for publishing media to control research ethics is emphasized. (shrink)

A counterpossible is a counterfactual whose antecedent is impossible. The vacuity thesis says all counterpossibles are true solely because their antecedents are impossible. Recently, some have rejected the vacuity thesis by citing purported non-vacuous counterpossibles in science. One limitation of this work, however, is that it is not grounded in experimental data. Do scientists actually reason non-vacuously about counterpossibles? If so, what is their basis for doing so? We presented biologists (N = 86) with two counterfactual formulations of a (...) well-known model in biology, the antecedents of which contain what many philosophers would characterize as a metaphysical impossibility. Participants consistently judged one counterfactual to be true, the other to be false, and they explained that they formed these judgments based on what they perceived to be the mathematical relationship between the antecedent and consequent. Moreover, we found no relationship between participants’ judgments about the (im)possibility of the antecedent and whether they judged a counterfactual to be true or false. These are the first experimental results on counterpossibles in science with which we are familiar. We present a modal semantics that can capture these judgments, and we deal with a host of potential objections that a defender of the vacuity thesis might make. (shrink)

If pragmatism, hitherto, has been content with elaborating theories of meaning and of truth, but has neglected epistemology, there are good reasons for that neglect. For one thing, much of the accepted vocabulary of epistemological discussion begs the questions under discussion. Again, much epistemology is simply an oblique metaphysics, and not an empirical investigation of knowledge, and hence throws no light on knowing as we practice it. But another reason for this neglect lies in the very simplicity of an (...) class='Hi'>experimental theory of knowing. Its charms are not enhanced by undulating draperies of dialectic,' nor warded by the numerological incantations of a symbolic logic, nor made elusive by recondite reference to relativity physics. Nevertheless, it is to the exposition of this elementary doctrine that I mean now to proceed. And I shall do so simply, and with seeming dogmatism, by taking the categories of field, focus, and perspective, and working them for all they are worth in an experimental epistemology... (shrink)

Although theoretical results for several algorithms in many application domains were presented during the last decades, not all algorithms can be analyzed fully theoretically. Experimentation is necessary. The analysis of algorithms should follow the same principles and standards of other empirical sciences. This article focuses on stochastic search algorithms, such as evolutionary algorithms or particle swarm optimization. Stochastic search algorithms tackle hard real-world optimization problems, e.g., problems from chemical engineering, airfoil optimization, or bioinformatics, where classical methods from mathematical optimization fail. (...) Nowadays statistical tools that are able to cope with problems like small sample sizes, non-normal distributions, noisy results, etc. are developed for the analysis of algorithms. Although there are adequate tools to discuss the statistical significance of experimental data, statistical significance is not scientifically meaningful per se. It is necessary to bridge the gap between the statistical significance of an experimental result and its scientific meaning. We will propose some ideas on how to accomplish this task based on Mayo's learning model. (shrink)

According to the so-called Quantum Darwinist approach, the emergence of “classical islands” from a quantum background is assumed to obey a principle of maximal information. We illustrate this idea by considering the coupling of two oscillators. As our approach suggests that the classical limit could have emerged throughout a long and progressive Evolution mechanism, it is likely that primitive living organisms behave in a “more quantum”, “less classical” way than more evolved ones. This brings us to seriously consider the possibility (...) to measure departures from classicality exhibited by biological systems. We describe an experimental proposal the aimed at revealing the presence of entanglement in the biophotonic radiation emitted by biological sources. (shrink)

In seeking general accounts of evidence, confirmation, or inference, philosophers have looked to logical relationships between evidence and hypotheses. Such logics of evidential relationship, whether hypothetico-deductive, Bayesian, or instantiationist fail to capture or be relevant to scientific practice. They require information that scientists do not generally have (e.g., an exhaustive set of hypotheses), while lacking slots within which to include considerations to which scientists regularly appeal (e.g., error probabilities). Building on my co-symposiasts contributions, I suggest some directions in which a (...) new and more adequate philosophy of evidence can move. (shrink)