Science, Logic, and Mathematics

The recent proliferation of types and accounts of experimentation in sustainability science still lacks philosophical reflection. The present paper introduces this burgeoning topic to the philosophy of science by identifying key notions and dynamics in sustainability experimentation, by discussing taxonomies of sustainability experimentation and by focusing on barriers to the transfer of evidence. It integrates three topics: the philosophy of experimentation; the sustainability science literature on experimentation; and discussions on values in science coming from the general philosophy of science, the (...) social sciences, and sustainability science. The aim is to improve understanding of how sustainability experimentation has evolved, from a broader picture of the history and philosophy of science, with a specific focus on understanding evidence production and how evidence traveling in and from sustainability experiments can be improved, particularly in the context of complex and pervasive normative commitments of the research. By engaging in these topics, this research is one of the first philosophical accounts of sustainability experimentation, contributing both to the knowledge on specific philosophies of science and to the further development of an evidence-based sustainability science through a better understanding of the barriers to more relevant and usable knowledge. (shrink)

Approaching the settlement of our Moon from a practical perspective, this book is well suited for space program planners. It addresses a variety of human factor topics involved in colonizing Earth's Moon, including: history, philosophy, science, engineering, agriculture, medicine, politics & policy, sociology, and anthropology. Each chapter identifies the complex, interdisciplinary issues of the human factor that arise in the early phases of settlement on the Moon. Besides practical issues, there is some emphasis placed on preserving, protecting, and experiencing the (...) lunar environment across a broad range of occupations, from scientists to soldiers and engineers to construction workers. The book identifies utilitarian and visionary factors that shape human lives on the Moon. It offers recommendations for program planners in the government and commercial sectors and serves as a helpful resource for academic researchers. Together, the coauthors ask and attempt to answer: “How will lunar society be different?” (from Springer). (shrink)

In a Common Law system, legal practitioners need frequent access to prior case documents that discuss relevant legal issues. Case documents are generally very lengthy, containing complex sentence structures, and reading them fully is a strenuous task even for legal practitioners. Having a concise overview of these documents can relieve legal practitioners from the task of reading the complete case statements. Legal catchphrases are phrases that provide a concise overview of the contents of a case document, and automated generation of (...) catchphrases is a challenging problem in legal analytics. In this paper, we propose a novel supervised neural sequence tagging model for the extraction of catchphrases from legal case documents. Specifically, we show that incorporating document-specific information along with a sequence tagging model can enhance the performance of catchphrase extraction. We perform experiments over a set of Indian Supreme Court case documents, for which the gold-standard catchphrases are obtained from a popular legal information system. The performance of our proposed method is compared with that of several existing supervised and unsupervised methods, and our proposed method is empirically shown to be superior to all baselines. (shrink)

Arguments from non-causal analogy form a distinctive class of analogical arguments in science not recognized in authoritative classifications by, e.g., Hesse and Bartha. In this paper, I illustrate this novel class of scientific analogies by means of historical examples from physics, biology and economics, at the same time emphasizing their broader significance for contemporary debates in epistemology.

Why did Bernhard Riemann, arguably the most original mathematician of his generation, spend the last year of life investigating the mechanism of hearing? Fighting tuberculosis and the hostility of eminent scientists such as Hermann Helmholtz, he appeared to forsake mathematics to prosecute a case close to his heart. Only sketchy pages from his last paper remain, but here we assemble some significant clues and triangulate from them to build a broad picture of what he might have been driving at. Our (...) interpretation is that Riemann was a committed idealist and from this philosophical standpoint saw that the scientific enterprise was lame without the “poetry of hypothesis”. He believed that human thought was fundamentally the dynamics of “mind-masses” and that the human mind interpenetrated, and became part of, the microscopic physical domain of the cochlea. Therefore, a full description of hearing must necessarily include the perceptual dimensions of what he saw as a single manifold. The manifold contains all the psychophysical aspects of hearing, including the logarithmic transformations that arise from Fechner’s law, faithfully preserving all the subtle perceptual qualities of sound. For Riemann, hearing was a unitary physical and mental event, and parallels with modern ideas about consciousness and quantum biology are made. A unifying quantum mechanical model for an atom of consciousness—drawing on Riemann’s mind-masses and the similar “psychons” proposed by Eccles—is put forward. (shrink)

When beliefs are quantified as credences, they are related to each other in terms of closeness and accuracy. The “accuracy first” approach in formal epistemology wants to establish a normative account for credences based entirely on the alethic properties of the credence: how close it is to the truth. To pull off this project, there is a need for a scoring rule. There is widespread agreement about some constraints on this scoring rule, but not whether a unique scoring rule stands (...) above the rest. The Brier score equips credences with a structure similar to metric space and induces a “geometry of reason.” It enjoys great popularity in the current debate. I point out many of its weaknesses in this article. An alternative approach is to reject the geometry of reason and accept information theory in its stead. Information theory comes fully equipped with an axiomatic approach which covers probabilism, standard conditioning, and Jeffrey conditioning. It is not based on an underlying topology of a metric space, but uses a non-commutative divergence instead of a symmetric distance measure. I show that information theory, despite initial promise, also fails to accommodate basic epistemic intuitions; and speculate on its remediation. (shrink)

Undergraduate geoscience students are rarely exposed to history and philosophy of science. I will describe the experiences with a short course unfavourably placed in the first year of a bachelor of earth science. Arguments how HPS could enrich their education in many ways are sketched. One useful didactic approach is to develop a broader interest by connecting HPS themes to practical cases throughout the curriculum, and develop learning activities that allow students to reflect on their skills, methods and their field (...) in relation to other disciplines and interactions with society with abilities gained through exposure to HPS. Given support of the teaching staff, the tenets of philosophy of science in practice, of conceptual history of knowledge, and of ethics of science for society can fruitfully and directly be connected to the existing curriculum. This is ideally followed by a capstone HPS course late in the bachelor programme. (shrink)

This note focuses on the interaction between logic and grammar and discusses whether logical rules are irrelevant for syntactic formation. Classical evidence for the independence of syntax from logic comes from the acceptability of analytic propositions. Based on this piece of evidence, various authors in traditional discussions pronounced that language is illogical. This note focuses instead on two ways to oppose such pronouncements. In Gramscian linguistics, one can maintain that language is not illogical by broadening the notion of language one (...) adopts. In an alternative account we submit, one can oppose those pronouncements by restricting the notion of analyticity which is assumed to be relevant for syntactic formation. (shrink)

Le résultat de l’analyse des données brutes confirme et renforce le discrédit de la datation de 1988. Indéniablement, cette découverte fournit une bonne raison (peut-être la seule que pouvait accepter la communauté académique « mainstream ») pour une nouvelle datation, qui doit nécessairement avoir lieu dans un cadre interdisciplinaire. Les résultats de 1988, sans homogénéité ni fiabilité, bâtis sur des données dont la représentativité n’est pas garantie, ne permettent pas de conclure que le lin du Suaire de Turin a été (...) fabriqué entre 1260 et 1390 après Jésus-Christ. Cette datation est discréditée mais révélatrice, car elle constitue un cas pratique de la crise de la reproductibilité que traverse actuellement la science, une crise qui va jusqu’à impacter nos vies quotidiennes. Mais cette crise, si elle explique en grande partie pourquoi tant de controverses scientifiques autour du Linceul perdurent, nous interroge aussi sur notre connaissance du tissu : à quelles études académiques pouvons-nous nous fier ? Plus largement, comment formons-nous nos croyances et nos convictions ? Plus que jamais, le Linceul de Turin, « défi à notre intelligence », est une porte d’entrée pour mieux nous comprendre dans notre époque. (shrink)

If a human subject knows they are being measured, this knowledge may affect their attitudes and behaviour to such an extent that it affects the measurement results as well. This broad range of effects is shared under the term ‘reactivity’. Although reactivity is often seen by methodologists as a problem to overcome, in this paper I argue that some quite extreme reactive changes may be legitimate, as long as we are measuring phenomena that are not simple biological regularities. Legitimate reactivity (...) is reactivity which does not undermine the accuracy of a measure; I show that if such reactivity were corrected for, this would unjustifiably ignore the authority of the research subject. Applying this argument to the measurement of depression, I show that under the most commonly accepted models of depression there is room for legitimate reactivity. In the first part of the paper, I provide an inventory of the different types of reactivity that exist in the literature, as well as the different types of phenomena that one could measure. In the second part, I apply my argument to the measurement of depression with the PHQ-9 survey. I argue that depending on what kind of phenomenon we consider depression to be, we will accept different kinds of reactivity. I show that both under the harmful dysfunction model and the practical kinds model, certain reactive changes in measuring depression are best seen as legitimate recharacterizations of the underlying phenomenon, and define what legitimate means in this context. I conclude that in both models, biological aspects constrain characterization, but the models are not so strict that only one concept is acceptable, leaving room for reactivity. (shrink)

The Representational Theory of Measurement is the best known account of the kind of representation measurement requires. However, RTM has been challenged from various angles, with critics claiming e.g. that RTM fails to account for actual measurement practice and that it is ambiguous about the nature of measurable attributes. In this paper I use the critical literature on RTM to formulate Representation Minimalism – a characterization of what measurement-relevant representation requires at the minimum. I argue that Representation Minimalism avoids the (...) main problems with RTM while acknowledging its usefulness as the formal foundation of representation in measurement. (shrink)

“Impermanent Biological Phenomena” July 2021, Buddhism and Culture (a Korean-language Buddhist magazine sponsored by the Foundation for the Promotion of Korean Buddhism), Korea.

The first part of this article makes the case that human cognition is an intergenerational project enabled by the inheritance and bequeathal of cognitive technology. The final two sections of the article explore the normative significance of this claim. My case for the intergenerational claim draws results from multiple disciplines: philosophy, cultural evolutionary approaches in cognitive science, and developmental psychology and neuroscience. In Sect. 5, I propose that cognitive technology should be given to future generations in accordance with principles of (...) pluralism and transparency. In the final main section of the article, Sect. 6, I apply these principles to topics such as the preservation of information, environmental offloading of cognition, and thinking itself. (shrink)

We review the definition of the Full Bayesian Significance Test (FBST), and summarize its main statistical and epistemological characteristics. We review also the Abstract Belief Calculus (ABC) of Darwiche and Ginsberg, and use it to analyze the FBST’s value of evidence. This analysis helps us understand the FBST properties and interpretation. The definition of value of evidence against a sharp hypothesis, in the FBST setup, was motivated by applications of Bayesian statistical reasoning to legal matters where the sharp hypotheses were (...) defendants statements, to be judged according to the Onus Probandi juridical principle. (shrink)

t Intentional sampling methods are non-randomized procedures that select a group of individuals for a sample with the purpose of meeting specific prescribed criteria. In this paper we extend previous works related to intentional sampling, and address the problem of sequential allocation for clinical trials with few patients. Roughly speaking, patients are enrolled sequentially, according to the order in which they start the treatment at the clinic or hospital. The allocation problem consists in assigning each new patient to one, and (...) only one, of the alternative treatment arms. The main requisite is that the profiles in the alternative arms remain similar with respect to some relevant patients’ attributes (age, gender, disease, symptom severity and others). We perform numerical experiments based on a real case study and discuss how to conveniently set up perturbation parameters, in order to yield a suitable balance between optimality – the similarity among the relative frequencies of patients in the several categories for both arms, and decoupling – the absence of a tendency to allocate each pair of patients consistently to the same arm. (shrink)

Intentional sampling methods are non-probabilistic procedures that select a group of individuals for a sample with the purpose of meeting specific prescribed criteria. Intentional sampling methods are intended for exploratory research or pilot studies where tight budget constraints preclude the use of traditional randomized representative sampling. The possibility of subsequently generalize statistically from such deterministic samples to the general population has been the issue of long standing arguments and debates. Nevertheless, the intentional sampling techniques developed in this paper explore pragmatic (...) strategies for overcoming some of the real or perceived shortcomings and limitations of intentional sampling in practical applications. (shrink)

Comments presented at the 35th International Seminar on the -- New Institutional Economics -- Empirical Methods for the Law; Syracuse, 2018.

Simultaneous hypothesis tests can fail to provide results that meet logical requirements. For example, if A and B are two statements such that A implies B, there exist tests that, based on the same data, reject B but not A. Such outcomes are generally inconvenient to statisticians (who want to communicate the results to practitioners in a simple fashion) and non-statisticians (confused by conflicting pieces of information). Based on this inconvenience, one might want to use tests that satisfy logical requirements. (...) However, Izbicki and Esteves shows that the only tests that are in accordance with three logical requirements (monotonicity, invertibility and consonance) are trivial tests based on point estimation, which generally lack statistical optimality. As a possible solution to this dilemma, this paper adapts the above logical requirements to agnostic tests, in which one can accept, reject or remain agnostic with respect to a given hypothesis. Each of the logical requirements is characterized in terms of a Bayesian decision theoretic perspective. Contrary to the results obtained for regular hypothesis tests, there exist agnostic tests that satisfy all logical requirements and also perform well statistically. In particular, agnostic tests that fulfill all logical requirements are characterized as region estimator-based tests. Examples of such tests are provided. (shrink)

This article explores some open questions related to the problem of verification of theories in the context of empirical sciences by contrasting three epistemological frameworks. Each of these epistemological frameworks is based on a corresponding central metaphor, namely: (a) Neo-empiricism and the gambling metaphor; (b) Popperian falsificationism and the scientific tribunal metaphor; (c) Cognitive constructivism and the object as eigen-solution metaphor. Each of one of these epistemological frameworks has also historically co-evolved with a certain statistical theory and method for testing (...) scientific hypotheses, respectively: (a) Decision theoretic Bayesian statistics and Bayes factors; (b) Frequentist statistics and p-values; (c) Constructive Bayesian statistics and e-values. This article examines with special care the Zero Probability Paradox (ZPP), related to the verification of sharp or precise hypotheses. Finally, this article makes some remarks on Lakatos’ view of mathematics as a quasi-empirical science. (shrink)

The Full Bayesian Significance Test, FBST, is extensively reviewed. Its test statistic, a genuine Bayesian measure of evidence, is discussed in detail. Its behavior in some problems of statistical inference like testing for independence in contingency tables is discussed.

In this paper, the notion of degree of inconsistency is introduced as a tool to evaluate the sensitivity of the Full Bayesian Significance Test (FBST) value of evidence with respect to changes in the prior or reference density. For that, both the definition of the FBST, a possibilistic approach to hypothesis testing based on Bayesian probability procedures, and the use of bilattice structures, as introduced by Ginsberg and Fitting, in paraconsistent logics, are reviewed. The computational and theoretical advantages of using (...) the proposed degree of inconsistency based sensitivity evaluation as an alternative to traditional statistical power analysis is also discussed. (shrink)

This paper shows how an efficient and parallel algorithm for inference in Bayesian Networks (BNs) can be built and implemented combining sparse matrix factorization methods with variable elimination algorithms for BNs. This entails a complete separation between a first symbolic phase, and a second numerical phase.