Rigorous formal proof is one of the key techniques in the natural sciences, engineering, and of course also in the formal sciences. Progress in automated reasoning increasingly enables computer systems to support, and even teach, users to conduct formal a.

Nowadays, innovation and entrepreneurship courses occupy a very important place in universities and colleges and have also become an important teaching position in the process of building a new science. Colleges and universities actively respond to the challenge of “mass entrepreneurship and innovation” and define the goals and specifications of the talent training mechanism based on data fusion algorithms to cultivate as much high-quality applied talent as possible. In view of some shortcomings and problems in the current talent training (...) mechanism in universities and colleges, this paper proposes a data fusion algorithm based on information fusion theory and proof theory. The aim is to verify the feasibility of establishing a talent training mechanism for innovation and entrepreneurship education in universities and colleges. And this paper analyzes and explores the data fusion algorithm and the elements of innovation and entrepreneurial talent training, and forms an operating mechanism for entrepreneurial talent training according to social needs. Among them, the efficiency of the data fusion algorithm used by the GM model plays a significant role in the final result, and the minimum relative error value is 3.2%. Finally, it is concluded that we should focus on establishing a perfect talent training system for college students’ innovation and entrepreneurship education to improve students’ own comprehensive quality and various abilities, and to solve some social problems that are difficult to find employment in essence. (shrink)

This paper uses a number of examples of diverse types and functions of models in evolutionary biology to argue that the demarcation between theory and practice, or "theory model" and "data model," is often difficult to make. It is shown how both mathematical and laboratory models function as plausibility arguments, existence proofs, and refutations in the investigation of questions about the pattern and process of evolutionary history. I consider the consequences of this for the semantic approach to (...) theories and theory confirmation. The paper attempts to reconcile the insights of both critics and advocates of the semantic approach to theories. (shrink)

Model checking, a prominent formal method used to predict and explain the behaviour of software and hardware systems, is examined on the basis of reflective work in the philosophy of science concerning the ontology of scientific theories and model-based reasoning. The empirical theories of computational systems that model checking techniques enable one to build are identified, in the light of the semantic conception of scientific theories, with families of models that are interconnected by simulation relations. And the mappings between these (...) scientific theories and computational systems in their scope are analyzed in terms of suitable specializations of the notions of model of experiment and model of data. Furthermore, the extensively mechanized character of model-based reasoning in model checking is highlighted by a comparison with proof procedures adopted by other formal methods in computer science. Finally, potential epistemic benefits flowing from the application of model checking in other areas of scientific inquiry are emphasized in the context of computer simulation studies of biological information processing. (shrink)

Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, (...) giving references to more advanced reading. Part II provides enough detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach. (shrink)

As donor trust legitimises research, trust is vital for research in the fields of biomedicine, genetics, translational medicine and personalised medicine. For parts of the donor community, the consent signature is a sign of trust in research. Many consent processes in biomedical research ask donors to provide their data for an unspecified future use, which introduces uncertainty of the unknown. This uncertainty can jeopardise donor trust or demand blind trust. But which donor wants to trust blindly? To reduce this (...) uncertainty, we explore first, which future-proof actors donors could trust when signing a consent form. Second, we discuss the question Can we know if donor trust expires? and what prevents donor trust from expiring. Finally, we present possible measures that can help to nurture trust in the far future. In this article, we draw on our previous research on trust in biomedical research, on trust in the broader healthcare system and Niklas Luhmann’s and Anthony Giddens’ trust theories. Our findings suggest that, in the far future, researchers will need to consider donor autonomy, as well as societal norms and values of the time period in which the data were donated. They will need to find mechanisms where possible to publicly announce the use of old data sets. However, foremost researchers will need to treat the data respectfully. It remains vital that professionals and the society continue to elaborate on the norms and values that shape the common understanding of what is morally right and wrong when researching data. (shrink)

Caplan & Waters argue that the processing resources used for sentence comprehension are not drawn from an undifferentiated verbal working memory resource. This commentary cites data from normal aging to support this position. Still lacking in theory development is a specification of the transient memory representations necessary for interpretive and post-interpretive operations.

The lambdaPi-calculus, a theory of first-order dependent function types in Curry-Howard-de Bruijn correspondence with a fragment of minimal first-order logic, is defined as a system of (linearized) natural deduction. In this paper, we present a Gentzen-style sequent calculus for the lambdaPi-calculus and prove the cut-elimination theorem. The cut-elimination result builds upon the existence of normal forms for the natural deduction system and can be considered to be analogous to a proof provided by Prawitz for first-order logic. The type-theoretic (...) setting considered here elegantly illustrates the distinction between the processes of normalization in a natural deduction system and cut-elimination in a Gentzen-style sequent calculus. (shrink)

Working in academia is challenging, even more so for those with limited resources and opportunities. Researchers around the world do not have equal working conditions. The paper presents the structure, operation method, and conceptual framework of the SM3D Portal's community coaching method, which is built to help Early Career Researchers (ECRs) and researchers in low-resource settings overcome the obstacle of inequality and start their career progress. The community coaching method is envisioned by three science philosophies (cost-effectiveness, transparency spirit, and proactive (...) attitude) and established and operated based on the Serendipity-Mindsponge-3D knowledge (SM3D) management framework (i.e., mindsponge thinking and Bayesian Mindsponge Framework analytics serve as the coaching program's foundational theory and analytical tools). The coaching method also embraces Open Science's values for lowering the cost of doing science and encouraging the trainees to be transparent, which is expected to facilitate the self-correcting mechanism of science through open data, open review, and open dialogue. Throughout the training process, members are central beneficiaries by gaining research knowledge and skills, acquiring publication as the training's product, and shifting their mindsets from “I can't do it” to “I can do it,” and at the same time transforming a mentee to be ready for a future mentor's role. The coaching method is thus one of the members, for the member, by the members. -/- • The paper provides the structure, operation method, and conceptual framework of the SM3D Portal's community coaching method, which is built to help Early Career Researchers (ECRs) and researchers in low-resource settings overcome the obstacle of inequality and start their career progress. • The paper presents three major science philosophies envisioning the establishment and operation of scholarly community coaching. • The paper employs the mindsponge theory and BMF analytics to construct a conceptual framework explaining how an environment is created to help shift members’ mindsets from “I can't do it” to “I can do it.”. (shrink)

This article illustrates some implications of the view that data, theory and methods should be treated as a matched set. They are inseparable companions, equally essential parts of processes of scholarly research and dissemination. When we focus on one of these dimensions, the others are always implicit. When focus on all of them, our work is more complete, consistent and defensible. This contribution to this special issue highlights the value of focusing more explicitly on the inter-relations between all (...) four levels of scholarly work. (shrink)

I consider two cognitive phenomena: inquiring and justifying, as complementary processes running in opposite directions. I explain on an example that the former process is driven by questions and the latter is a codification of the results of the first one. Traditionally, proof theory focuses on the latter process, and thus describes the former, at best, as an example of a backward proof search. I argue that this is not the best way to analyze cognitive processes driven (...) by questions, and that proof-theoretical analysis of questions can bring mutual benefits for both proof theory and erotetic logic. In the second part of my paper (sect. 6.3) I introduce the structural rules of weakening and contraction. Results concerning their admissibility are discussed. I also sketch an erotetic interpretation of the rule of weakening as reducing information noise, and that of contraction as securing information. (shrink)

This paper shows how proof nets can be used to formalize the notion of incomplete dependency used in psycholinguistic theories of the unacceptability of center embedded constructions. Such theories of human language processing can usually be restated in terms of geometrical constraints on proof nets. The paper ends with a discussion of the relationship between these constraints and incremental semantic interpretation.

Starting from Marr's ideas about levels of explanation, a theory of the data structures and access processes in human memory is demonstrated on 10 tasks. Functional characteristics of human memory are captured implementation-independently. Our theory generates a multidimensional task classification subsuming existing classifications such as the distinction between tasks that are implicit versus explicit, data driven versus conceptually driven, and simple associative (two-way bindings) versus higher order (threeway bindings), providing a broad basis for new experiments. The (...) formal language clarifies the binding problem in episodic memory, the role of input pathways in both episodic and semantic (lexical) memory, the importance of the input set in episodic memory, and the ubiquitous calculation of an intersection in theories of episodic and lexical access. (shrink)

The process dissociation procedure (PDP) of implicit sequence learning states that the correct inclusion-task response contains the incorrect exclusion-task response. However, there has been no research to test the hypothesis. The current study used a single variable (Stimulus Onset Asynchrony SOA: 850 ms vs. 1350 ms) between-subjects design, with pre-task resting-state fMRI, to test and improve the classical PDP to the mutually exclusive theory (MET). (1) Behavioral data and neuroimaging data demonstrated that the classical PDP has not (...) been validated. In the SOA = 850 ms group, the correct inclusion-task response was at chance, but the incorrect exclusion-task response occurred greater than chance. In the SOA = 850 ms group, the two responses were not correlated, but in the SOA = 1,350 ms group and putting the two groups together, the two responses were in contrast to each other. In each group, brain areas whose amplitude of low frequency fluctuations (ALFFs) in the resting-state related to the two responses were either completely different or opposite to one another. However, the results were perfectly consistent with the MET proposed by the present study which suggests that the correct inclusion-task response is equal to the correct exclusion-task response is equal toC+A1, and the incorrect exclusion-task response is equal toA2.Cdenotes the controlled response andA1andA2denote two different automatic responses. (2) The improved PDP was proposed to categorize the 12 kinds of triplets as delineating four knowledge types, namely non-acquisition of knowledge, uncontrollable knowledge, half-controllable knowledge, and controllable knowledge with the MET. ALFFs in the resting-state could predict the four knowledge types of the improved PDP among two groups. The participants’ control of the four knowledge types (degree of consciousness) gradually improved. Correspondingly, the brain areas in the resting-state positively related to the four knowledge types, gradually changed from the sensory and motor network to the somatic sensorimotor network, and then to the implicit learning network, and then to the consciousness network. The brain areas in the resting-state negatively related to the four knowledge types gradually changed from the consciousness network to the sensory and motor network. As SOA increased, the brain areas associated with almost all the four knowledge types changed. (3) The inhomogeneous hypothesis of the MET is best suited to interpret behavioral and neuroimaging data; it states that the same components among the four knowledge types are not homogeneous, and the same knowledge types are not homogeneous between the two SOA groups. (shrink)

This paper gives an overview of the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this usual general framework represents a departure from empirical linguistic data. We briefly sketch a different idea for proof theory which is closer to the language itself than standard approaches in many aspects. We stress the importance of Hilbert’s operators—the epsilon-operator for existential and tau-operator for universal quantifications. Indeed, these operators are helpful (...) in the construction of a semantic representation which is close to natural language in particular with quantified noun phrases as individual terms. We also define guidelines for the design of proof rules corresponding to generalized quantifiers. (shrink)

This study seeks to explicate the philosophical foundations and theoretical outlines of grey systems theory by focusing on human perception, cognition, and understanding processes and by considering their functions in the process of producing knowledge. Primarily, the study investigates the processes of perception, cognition, and understanding, as well as their dynamicity. Then, it is explained how knowledge is produced through the interpretation/understanding of information and data and through the dynamicity governing this process. The findings reveal that human perception, (...) cognition, and understanding perpetually remain grey and imperfect, while lost sensatory data mark the very first aspect of greyness in such human capabilities. Furthermore, any piece of data, as a discrete and single entity, represents a determinate fact, symbol or signal from the world, while any set of data, no matter how large, remains incomplete and imperfect, and human beings always interpret inadequate sets of data in the world. Therefore, information and knowledge always remain grey and uncertain because they deeply rely on subjective understandings/interpretations and work with imperfect inputs and sets of data. The impact of knowledge on action and interaction and their effects on the world are some factors adding to the dynamicity of the world. Constant change in world data, outdated knowledge, defects in datasets, and human biases in understanding all confirm the infinitely grey nature of human knowledge of the world. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Feminist Studies 41, no. 3. © 2015 by Feminist Studies, Inc. 623 Jaye Cee Whitehead, Kath Bassett, Leia Franchini, and Michael Iacolucci “The Proof Is in the Pudding”: How Mental Health Practitioners View the Power of “Sex Hormones” in the Process of Transition In the United States today, popular discourse touts the power of “sex hormones” and hormone receptors in the brain to chemically produce gender expressions (manifested (...) in physical sex traits, behaviors, and attitudes) and identities (a sense of self as feminine or masculine). These accounts range from common assumptions that Western ideals of femininity (such as empathy understanding, cooperative orientation, nurturing behavior) and masculinity (rational/spatial understanding, competitive orientation, violent behavior) are produced by corresponding sex hormones, to studies that reduce complex gender identities and macrosocial economic phenomena to presocial, binary, hormonal processes.1 For sociologists, accounts that reduce complex identities to internal hormonal reactions are problematic for two primary reasons: first, they are inaccurate because they fail to examine how hormonal reactions are embedded in a complex cultural process of meaning and interpretation; second, they operate as bioreductive ideologies that obscure the social power inherent to the process of gender identity construction. In what follows, we extend both of these insights by examining mental health 1. For an example of a hybrid popular-scientific account of the power of sex hormones to destabilize economic structures, see Jon Coates and Joe Herbert, “Endogenous Steroids and Financial Risk Taking on a London Trading Floor,” Proceedings of the National Academy of Sciences 105, no. 16 (April 2008): 6167–72. 624 Whitehead, Bassett, Franchini, and Iacolucci practitioners’ divergent interpretations of the power of sex hormones in the process of gender transition.2 In doing so, we examine the cultural power of sex hormones in crafting gender identities without reproducing reductionist interpretations of trans embodiment. Perhaps what is most perplexing about the way we speak of sex hormones is that we know it is inaccurate to describe these hormones as sexed; scientists have acknowledged since the 1930s that they are neither sex specific in their function, nor in terms of their location in male or female bodies.3 In her extensive historicization of sex hormones, Anne Fausto-Sterling concludes that it is more accurate to call androgen- and estrogen-based hormones, “steroid hormones” as they have functions that are not confined to corresponding sexed bodies. In fact she urges scientists to “break out of the sex hormone straightjacket” and to look at steroids as just one of a number of components that are important to the creation of sex and gender, including environment and experience.4 Scholars also point to an inextricable link between the chemical operation of hormones and the social process of constructing meaning, both at the level of social interaction and macrocultural constructions of sex categories and gender ideologies.5 While brain organization/activation theory attributes sex and gender differences to hormonal interactions within the developing brain, Fausto-Sterling questions the distinction between activation and organization by pointing out how “the brain can respond to hormonal stimuli with anatomical changes…hormonal systems, after all, respond exquisitely to experience, be it in the form of nutrition, stress, or sexual activity (to name but a few possibilities ).”6 Drawing from Elizabeth Grosz, Fausto-Sterling argues that the power of hormones is best understood according to the model of the 2. “Gender transition” is a controversial phrase, as it implies that transgendered individuals who receive hormone therapy are changing identities. We are only using it for lack of clear alternative phrasing, not because we believe body modifications change gender identities. 3. See Anne Fausto-Sterling, Sexing the Body: Gender Politics and the Construction of Sexuality (New York: Basic Books, 2000); Rebecca Jordan-Young, Brainstorm: The Flaws in the Science of Sex Differences (Cambridge, MA: Harvard University Press, 2010); and Nelly Oudshoorn, Beyond the Natural Body: An Archeology of Sex Hormones (New York: Routledge, 1994). 4. Fausto-Sterling, Sexing the Body, 193–94. 5. Fausto-Sterling, Sexing the Body. 6. Ibid., 232. Whitehead, Bassett, Franchini, and Iacolucci 625 Möbius strip, wherein internal components of the self are always connected to and continuous with outer components such as culture and environment.7 In other... (shrink)

Using speech act theory from the Philosophy of Language, this paper attempts to develop an ethical framework for the phenomenon of speech processing. We use the concepts of the illocutionary force and the illocutionary content of a speech act to explain the ethics of speech processing. By emphasizing the different stages involved in speech processing, we explore the distinct ethical issues that arise in relation to each stage. Input, processing, and output are the different ethically (...) relevant stages under which a spoken item or a speech navigates within the range of speech-processing modules. Employing the illocutionary force-content distinction, we specify and characterize the input-related ethical issues, the output-related ethical issues, and the processing-related ethical issues involved in speech processing. Together with illocutionary force-content distinction, we employ the data-information distinction to characterize the stage-wise ethical issues in the phenomenon of speech processing as the ethics of collecting (speech) data, the ethics of contextualizing (speech) data/information, and the ethics of releasing the con-textualized information (processed speech). Immediate ethical issues that arise from the range of speech processing modules are distinguished from distant ethical issues. We also indicate the nature of ethical issues that arise from Speaker Independent speech technologies. (shrink)

Along with the rapid application of new information technologies, the data-driven era is coming, and online consumption platforms are booming. However, massive user data have not been fully developed for design value, and the application of data-driven methods of requirement engineering needs to be further expanded. This study proposes a data-driven expectation prediction framework based on social exchange theory, which analyzes user expectations in the consumption process, and predicts improvement plans to assist designers make better (...) design improvement. According to the classification and concept definition of social exchange resources, consumption exchange elements were divided into seven categories: money, commodity, services, information, value, emotion, and status, and based on these categories, two data-driven methods, namely, word frequency statistics and scale surveys, were combined to analyze user-generated data. Then, a mathematical expectation formula was used to expand user expectation prediction. Moreover, by calculating mathematical expectation, explicit and implicit expectations are distinguished to derive a reliable design improvement plan. To validate its feasibility and advantages, an illustrative example of CoCo Fresh Tea & Juice service system improvement design is further adopted. As an exploratory study, it is hoped that this study provides useful insights into the data mining process of consumption comment. (shrink)

Lighten up about mathematics! Have fun. If you read this book, you will have to endure bad math puns and jokes and out-of-date pop culture references. You'll learn some really cool mathematics to boot. In the process, you will immerse yourself in living, thinking, and breathing logical reasoning. We like to call this proofs, which to some is a bogey word, but to us it is a boogie word. You will learn how to solve problems, real and imagined. After all, (...) math is a game where, although the rules are pretty much set, we are left to our imaginations to create. Think of this book as blueprints, but you are the architect of what structures you want to build. Make sure you lay a good foundation, for otherwise your buildings might fall down. To help you through this, we guide you to think and plan carefully. Our playground consists of basic math, with a loving emphasis on number theory. We will encounter the known and the unknown. Ancient and modern inquirers left us with elementary-sounding mathematical puzzles that are unsolved to this day. You will learn induction, logic, set theory, arithmetic, and algebra, and you may one day solve one of these puzzles. (shrink)

Data production in experimental sciences depends on localised experimental systems, but the epistemic properties of data transcend the contingencies of the processes that produce them. Philosophers often believe that experimental systems instantiate but do not produce the epistemic properties of data. In this paper, we argue that experimental systems' local functioning entails intrinsic capacities to produce the epistemic properties of data. We develop this idea by applying Derrida's model of arche-writing to study a case of (...) class='Hi'>theory-oriented experimental practice. Derrida's model relativises or dissolves the conceptual distinction between the moment of data production and a subsequent moment of data dissemination. It thus has consequences for understanding both data production (despite being intrinsically local, data production a priori generates transferrable and modellable information) and data dissemination (when modelling information, researchers needs to refer this information to the context of its production). We study a case of data production in a non-exploratory experimental system designed to test a pre-existing hypothesis in visual neuroscience. A case of theory-oriented experimental practice should allow us to identify the autonomous functioning of experimental systems in data production more clearly, insofar as it allows us to study the limits of pre-existing theory in the activities of these systems. We suggest that pre-existing concepts, hypotheses and theories condition the relevance but not the production of experimental data. (shrink)

In the 80's Pierangelo Miglioli, starting from motivations in the framework of Abstract Data Types and Program Synthesis, introduced semiconstructive theories, a family of large subsystems of classical theories that guarantee the computability of functions and predicates represented by suitable formulas. In general, the above computability results are guaranteed by algorithms based on a recursive enumeration of the theorems of the whole system. In this paper we present a family of semiconstructive systems, we call uniformly semiconstructive, that provide computational (...) procedures only involving formulas with bounded complexity. We present several examples of uniformly semiconstructive systems containing Harrop theories, induction principles and some well-known predicate intermediate principles. Among these, we give an account of semiconstructive and uniformly semiconstructive systems which lie between Intuitionistic and Classical Arithmetic and we discuss their constructive incompatibility. (shrink)

The evolution of the understanding of evidence-based proof and decision processes in the law, especially criminal law, and standards of proof in this area, has a long-standing and controversial history. Competing accounts cause the legal scholarship to engage in critical and thoughtful exchanges. Some of the divergent views reflect different methodological perspectives similarly recognized in other fields, such as applied psychology and economy, and the broader interdisciplinary research fields of judgment and decision-making, system analysis and decision science. One (...) such methodological perspective asserts that accounts of juridical proof should provide a description and explanation of how the legal system actually works as a whole. Other—more mathematical and analytical accounts—concentrate on how, ideally, legal decision-making under uncertainty ought to be made in order be considered sensible. This paper focuses on the relative plausibility account advocated by Professors Allen and Pardo as an example of the former perspective. Its logical structure and argumentative implications are analysed using elements of decision theory, which is the prime representative of the latter, more mathematical approach to legal proof. Using formal diagrammatic schemes to depict the structural relationships between the core elements of the two accounts, it is demonstrated in what sense they can be considered logically related and congruent. The demonstration shows that the principal disagreements among the proponents of the two examined theories derive from differences in the criteria used to judge the adequacy of competing accounts of legal decision-making, and the level of formalization of the bases of decisions in each candidate account. This structural analysis supports the view that adherence to one or the other of the examined perspectives does not imply a contradiction, but reflects the coverage of different aspects of the same overall decision architecture. Using decision-theoretic notions, our analyses also provide a way to explain RP decisions through an explicit criterion, thus providing a reply to the recurrent critique that RP theory lacks specific means to justify its decisional framework. (shrink)

This paper examines classification practices in the domain of plant data semantics, and particularly methods used to label plant traits to foster the collection, management, linkage and analysis of data about crops across locations—which crucially inform research and interventions on plants and agriculture. The efforts required to share data place in sharp relief the forms of diversity characterizing the systems used to capture the biological and environmental characteristics of plant variants: particularly the biological, cultural, scientific and semantic (...) diversity affecting the identification and description of plant traits, the methods used to generate and process data, and the goals and skills of those with relevant expertise—including farmers and breeders. Through a study of the Crop Ontology (which explicitly recognizes and negotiates diversity) and its application to cassava breeding, I argue for a process-sensitive approach to the naming of plant traits that focuses on documenting environmental processes instead of biological products. I claim that this approach can foster reliable linkage and robust re-use of plant data, while at the same time facilitating dialogue between data scientists, plant researchers, breeders, and other relevant experts in ways that crucially inform agricultural interventions. I conclude that the study of data semantics and related descriptors constitutes a productive and underexplored way to think about the epistemic import of naming traits within plant science. The effort to articulate semantic differences among plant varieties and methods of data processing can generate newly inclusive ways to develop and communicate biological knowledge. In turn, such practices have the potential to defy existing understandings of systematisation and hierarchies of expertise in biology, thus bolstering the extent to which plant science can support biodiversity and sustainable agriculture. (shrink)

Background The learning process about dignity and how undergraduate nursing students experience and use this ethical knowledge is an under-represented field in nursing research. To overcome the lack of conceptual clarity, it is important to understand what processes and dimensions students develop to support this learning outcome. Objective This study aimed to explain the process of learning about dignity by undergraduate nursing students. Research design and methods A qualitative study was conducted using the grounded theory method. Participants and research (...) context Data was collected through free reports and in-depth semi-structured interviews with 20 participants. A focus group was held for the selective coding. Sampling began purposefully and evolved into theoretical. Reflective and theoretical memos were generated from the data collection and constant comparison. Data analysis was performed using qualitative data analysis software using Corbin and Strauss’ method. Ethical considerations The research was approved by a specialized research ethics committee from a Health School. Findings The process of learning about dignity by undergraduate nursing students revealed ‘recognition of dignity’ as the core category, supported by five main categories: ‘proto-conscience of dignity’, ‘pathway to nursing’, ‘consciousness of dignity’, ‘ways of learning’, and ‘becoming capable’. These categories illustrate the processes and dimensions involved in nursing students’ concept translation of dignity learning, allowing a theory to emerge. Conclusions The ‘Recognition of Dignity’ theory aims to contribute to developing educational, training, and supervision processes for nursing programs. It seeks to enhance the ethical and moral development of undergraduate nursing students by helping them understand the concept of dignity and its fundamental importance in nursing. (shrink)

We present a computational model of dialectical argumentation that could serve as a basis for legal reasoning. The legal domain is an instance of a domain in which knowledge is incomplete, uncertain, and inconsistent. Argumentation is well suited for reasoning in such weak theory domains. We model argument both as information structure, i.e., argument units connecting claims with supporting data, and as dialectical process, i.e., an alternating series of moves by opposing sides. Our model includes burden of (...) class='Hi'>proof as a key element, indicating what level of support must be achieved by one side to win the argument. Burden of proof acts as move filter, turntaking mechanism, and termination criterion, eventually determining the winner of an argument. Our model has been implemented in a computer program. We demonstrate the model by considering program output for two examples previously discussed in the artificial intelligence and legal reasoning literature. (shrink)

In a recent paper James Bogen and James Woodward denounce a set of views on confirmation that they collectively brand 'IRS'. The supporters of these views cast confirmation in terms of Inferential Relations between observational and theoretical Sentences. Against 1RS accounts of confirmation, Bogen and Woodward unveil two main objections: (a) inferential relations are not necessary to model confirmation relations since many data are neither in sentential form nor can they be put in such a form and (b) inferential (...) relations are not sufficient to model confirmation relations because the former cannot capture evidentially relevant factors about the detection processes and instruments that generate the data. In this paper I have a two-fold aim: (i) to show that Bogen and Woodward fail to provide compelling grounds for the rejection of IRS models and (ii) to highlight some of the models' neglected merits. (shrink)

The issue of the theory-ladenness of observation has long troubled philosophers of science, largely because it seems to threaten the objectivity of science. However, the way in which prior beliefs influence the perception of data is in part an empirical issue that can be investigated by cognitive psychology. This point is illustrated through an experimental analogue of scientific data-interpretation tasks in which subjects judging the covariation between personality variables based their judgments on pure data, their theoretical (...) intuitions about the variables, or both data and prior theoretical beliefs. Results showed that the perceived magnitude of correlations was greatest when subjects relied solely on theoretical intuitions; that data-based judgments were drawn in the direction of those prior beliefs; but that exposure to data nonetheless moderated the strength of the prior theories. In addition, prior beliefs were found to influence judgments only after a brief priming interval, suggesting that subjects needed time to retrieve their theoretical intuitions from memory. These results suggest ways to investigate the processes mediating theory-laden observation, and, contrary to the fears of positivist philosophers, imply that the theory-ladenness of observation does not entail that theoretical beliefs are immune to data. (shrink)

Although Stanovich & West (S&W) are likely to be criticized for not proposing a process model, results of such a model (fuzzy-trace theory) support many of their conclusions. However, arguments concerning evolution and Gricean intelligence are weak. Finally, developmental data are relevant to rationality, but contradictory results suggest a dual-processes approach that differs from S&W's based on fuzzy-trace theory.

Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion raises some philosophical problems and some problems about the nature of mathematical discovery or creativity. Imre Lakatos is concerned throughout to combat the classical picture of (...) mathematical development as a steady accumulation of established truths. He shows that mathematics grows instead through a richer, more dramatic process of the successive improvement of creative hypotheses by attempts to 'prove' them and by criticism of these attempts: the logic of proofs and refutations. (shrink)

We use evidence from cognitive psychology and the history of science to examine the issue of the theory-ladenness of perceptual observation. This evidence shows that perception is theory-laden, but that it is only strongly theory-laden when the perceptual evidence is ambiguous or degraded, or when it requires a difficult perceptual judgment. We argue that debates about the theory-ladenness issue have focused too narrowly on the issue of perceptual experience, and that a full account of the scientific (...) process requires an examination of theory-ladenness in attention, perception, data interpretation, data production, memory, and scientific communication. We conclude that the evidence for theory-ladenness does not lead to a relativist account of scientific knowledge. (shrink)

Big data represents a significant challenge for the social sciences. From a philosophy-of-science perspective, it is important to reflect on related theories and processes for developing them. In this paper, we start by examining different views on the role of theories in big data-related social research. Then, we try to show how big data is related to standards for evaluating theories. We also outline how big data affects theory- and data-based research approaches and the (...) process of theory building. Discussions include a summary of lines of reasoning, limitations, and a proposal for future developmental steps. (shrink)

In this paper, we continue our research on a hybrid narrative-argumentative approach to evidential reasoning in the law by showing the interaction between factual reasoning (providing a proof for ‘what happened’ in a case) and legal reasoning (making a decision based on the proof). First we extend the hybrid theory by making the connection with reasoning towards legal consequences. We then emphasise the role of legal stories (as opposed to the factual stories of the hybrid theory). (...) Legal stories provide a coherent, holistic legal perspective on a case. They steer what needs to be proven but are also selected on the basis of what can be proven. We show how these legal stories can be used to model a shift of the legal perspective on a case, and we discuss how gaps in a legal story can be filled using a factual story (i.e. the process of reasoning with circumstantial evidence). Our model is illustrated by a discussion of the Dutch Wamel murder case. (shrink)

More than 50 years ago, Glaser and Strauss constructed the grounded theory methodology to develop substantive and formal data-grounded theories. Grounded theory is a rigorous methodology for generating theory grounded in data. It incorporates compare-and-contrast and abductive reasoning as its intellectual engine. Whenever one of these cognitive processes is engaged, so is the other. However, there is a need for a systematic means to assess how rigorous the grounded theory research process was employed. This (...) paper aims to start this conversation among methodologists and practitioners by proposing three criteria to evaluate the trustworthiness of grounded theories’ research process. Grounded theory studies ought to include abductive discoveries, the results of variation-finding, and Tilly’s comparison framework. Examples from Forde’s macro-level grounded theory will be used to demonstrate the significance of adding evaluation criteria to assess the rigor of the research process. (shrink)

This paper provides an overview of developments in a dual processing theory of automatic and controlled processing that began with the empirical and theoretical work described by Schneider and Shiffrin (1977) and Shiffrin and Schneider (1977) over a quarter century ago. A review of relevant empirical findings suggests that there is a set of core behavioral phenomena reflecting differences between controlled and automatic processing that must be addressed by a successful theory. These phenomena relate to: (...) consistency in training, serial versus parallel processing, level of effort, robustness to stressors, degree of control, effects on long‐term memory, and priority encoding. We detail a computational model of controlled processing, CAP2, that accounts for these phenomena as emergent properties of an underlying hybrid computational architecture. The model employs a large network of distributed data modules that can categorize, buffer, associate, and prioritize information. Each module is a connectionist network with input and output layers, and each module communicates with a central Control System by outputting priority and activity report signals, and by receiving control signals. The Control System is composed of five processors including a Goal Processor, an Attention Controller, an Activity Monitor, an Episodic Store, and a Gating & Report Relay. The transition from controlled to automatic processing occurs in this model as the data modules become capable of transmitting their output without mediation by the Control System. We describe recent progress in mapping the components of this model onto specific neuroanatomical substrates, briefly discuss the potential for applying functional neuroimaging techniques to test the model's predictions, and its relation to other models. (shrink)

The brain is involved in theory-laden cognitive processes. But there are two different theory-laden processes. In cases where the theory is based on facts, more facts can either falsify or confirm a theory. In cases where the theory is about the choice of a benchmark or a standard, more facts can only make a theory either more or less warranted. Clark offers a review of a view of the brain where the brain pro- cesses (...) input information in a way that confirms its priors or its pre- dictions. This does not mean that the brain creates its own reality. The brain, rather, processes input data, but it does so in light of its own priors. The brain is a bidirectional hierarchical structure. While the top layers generate priors, the lower layers process input data. The brain amounts to the dynamics of image- making, where the top-down process generates unified images, while the bottom-up process, which takes data, corrects the images. (shrink)

This paper develops a proof theory for logical forms of proofs in the case of monadic languages. Among the consequences are different kinds of generalization of proofs in various schematic proof systems. The results use suitable relations between logical properties of partial proof data and algebraic properties of corresponding sets of linear diophantine equations.

The crisis resilience of vital social systems is currently the target of constant development efforts in Finland, as their drifting into crisis would weaken societies’ functional abilities, safety, and security. This is also the case regarding the Finnish health care system. In an attempt to move beyond existing frameworks of crisis imagination, this article takes an unconventional stance by elucidating endogenous crisis dynamics present in the Finnish health care system. Delphi process was conducted for top experts in Finnish health care (...) and crisis management. With a dissensus-seeking orientation, our aim was to fertilize disagreements among panelists to reveal key vulnerabilities in the health system. Despite our efforts to evoke dissensus, the panelists ended up generating a consensus that aims to protect the underlying assumptions of the health system’s knowledge structure. Through inductive analysis of expert discourses, the data was analyzed through our research question “what constitutes a crisis-proof health system and a crisis-prone health system”. What is framed as a strength of the system by our panelists, namely the ability to maintain legitimacy, improve efficiency, and guarantee continuity, can still have questionable implications that are left ungrasped. A system’s theory approach illustrates how such effects can develop and escalate beyond the reach of social interventions, and thus be predisposed to cause objectionable yet concealed social crises. The discussion illustrates how these endogenous crisis dynamics could be seen to materialize in real-life cases. (shrink)

Morality, ethics, and the law : an overview of the foundations of contemporary clinical ethical analysis -- Case studies : ethical and legal challenges in the care of the neurologically injured critically ill patient -- Civil law and liability : the law of medical malpractice -- Legal reasoning, legal process, legal proof, and why it is confusing to clinician scientists -- Regulatory law and the clinical practice of the neurosciences -- Digital medicine and the data revolution managing digital (...) distraction and EMR : liability while leveraging opportunities in teleneurology and telecritical care -- Developing and leading a sustainable high reliability high performing unit : theories of quality, teamwork, medical error, and patient safety -- Neurolaw and the integration of neuroscience, ethics, and the law : the new frontiers. (shrink)

Delaware case law has rendered the tender offer obsolete as a method for purchasing a company whose directors oppose the acquisition. A potential acquirer facing target opposition today must run an insurgent director slate, in the expectation that its directors are more likely to sell. The Delaware courts have not justified their preference for elections over markets as the preferred vehicle for implementing changes in control. Informal scholarly analyses ask transaction cost questions, such as whether proxy contests are more costly (...) than takeovers. This article attempts to break new ground by asking whether there are systematic differences in the performance of elections and markets in the corporate context. Recent models of voting processes, we argue, strongly suggest that elections are inferior to markets. Proxy contest elections sometimes can be won by incumbent managements when a transfer of control would be efficient, a conclusion consistent with the sparse data; and the proxy election process aggregates information regarding the sale decision less well than markets do, thereby implying that proxy voters are less well-informed. Theory and data thus suggest, at the least, that the intellectual burden of proof should change: the task now is to justify using elections to transfer control despite their apparent deficiencies. The article briefly considers the policy implications of this change in perspective. (shrink)

Standard models of concept learning generally focus on deriving statistical properties of a category based on data (i.e., category members and the features that describe them) but fail to give appropriate weight to the contact between people's intuitive theories and these data. Two experiments explored the role of people's prior knowledge or intuitive theories on category learning by manipulating the labels associated with the category. Learning differed dramatically when categories of children's drawings were meaningfully labeled (e.g., “done by (...) creative children”) compared to when they were labeled in a neutral manner. When categories are meaningfully labeled, people bring intuitive theories to the learning context. Learning then involves a process in which people search for evidence in the data that supports abstract features or hypotheses that have been activated by the intuitive theories. In contrast, when categories are labeled in a neutral manner, people search for simple features that distinguish one category from another. Importantly, the final study suggests that learning involves an interaction of people's intuitive theories with data, in which theories and data mutually influence each other. The results strongly suggest that straight‐forward, relatively modular ways of incorporating prior knowledge into models of category learning are inadequate. More telling, the results suggest that standard models may have fundamental limitations. We outline a speculative model of learning in which the interaction of theory and data is tightly coupled. The article concludes by comparing the results to recent artificial intelligence systems that use prior knowledge during learning. (shrink)

Grounded theory, a research method born out of the social sciences field, offers a flexible technique that allows simultaneous data collection and processing. Researchers using this method immerse themselves in an area of study, focusing their observations on the data and taking into consideration not only their own interpretations, but also those of the other subjects involved, in order to strengthen their understanding of the social phenomena under examination. This text briefly describes the concept of grounded (...) theory and uses concrete examples to illustrate how data are analysed from the standpoint of the stereotype as an object of study. La teoría fundamentada, nacida al interior de las ciencias sociales, es un método de investigación que posee una técnica flexible y que realiza simultáneamente la recolección y el procesamiento de los datos. En este método, el investigador se encuentra inmerso en el campo de estudio y sus observaciones se abocan al dato, considerando tanto su interpretación como la de los otros sujetos implicados, con la finalidad de fortalecer la comprensión del fenómeno social investigado. En este texto se describe brevemente la teoría fundamentada y cómo se analizan los datos mediante ejemplos concretos, que se presentan a partir del estereotipo como objeto de estudio. (shrink)

The Journal of Scientific Exploration is devoted to the open-minded examination of scientific anomalies and other topics on the scientific frontier. Its articles and reviews, written by authorities in their respective fields, cover both data and theory in areas of science that are too often ignored or treated superficially by other scientific publications. This issue of the Journal is devoted to a single multifaceted topic: mediumship, and mental mediumship in particular. The authors of the lead paper describe several (...) varieties of mediumship, and propose that the psychosocial and cultural aspects of mediumship are as important as its psychophysiological features. They consider the differences between spiritism and spiritualism, the relevance of the trance state to mediumship, and the extent to which processes properly considered mediumistic infiltrate many everyday human activities. The next paper surveys some of the major nonparapsychological issues that have fascinated researchers into mediumship. These include the nature and prevalence of the mediumistic trance, the varieties of mediumistic mentation, the evolution of mediumship over time, the dramatic capabilities of the subconscious, and the relationship between mediumship and psychopathology. The third paper focuses on positive aspects of mediumship, and in particular its connection with various forms of artistic and practical creativity, as well as its potential for personal development or transformation. The fourth paper considers whether mediumship ever indicates that human personality survives bodily death, or whether even the best cases instead indicate psychic functioning among the living. The author surveys types of mediumship that have been especially relevant to this question, and advocates the revival of so-called proxy sittings with mediums. The final paper recounts a period in France's recent history during which a group of researchers lobbied to have parapsychology broadened into a multidisciplinary field embracing (in additional to strictly experimental and proof-oriented investigations) wide-ranging enquiries that could be applied to mediumship and other apparent instances of psychic functioning in real-life settings. This issue of the JSE is then filled out, as usual, with correspondence and substantive book reviews. (shrink)

1. The issue - The reflection I am proposing was stimulated by some recent research on the mental processing of proper names. However, the issue I am raising is independent of both the particular nature of such results and the fact that they are accepted as well established. The question I would like to ask is whether (neuro)psychological results on the mental processing of language can falsify (or confirm) semantic theses about natural language. By a semantic thesis I (...) mean something like any of the following. (shrink)

Introduction A Brief Conceptual Framework for Biology PART ONE: UNDERSTANDING NATURE 1. The Antecedents of Scientific Thought Animism, Totemism, and Shamanism The Paleolithic View Mesopotamia Egypt 2. Aristotle and the Greek View of Nature The Science of Animal Biology The Parts of Animals The Classification of Animals The Aristotelian System Basic Questions 3. Those Rational Greeks? Theophrastus and the Science of Botany The Roman Pliny Hippocrates, the Father of Medicine Erasistratus Galen of Pergamum The Greek Miracle 4. The Judeo-Christian Worldview (...) The Bishop of Hippo Scholastic Thought Islamic Science Books on Beasts Antecedents of a Revolution 5. The Revival of Science Andreas Vesalius and the Study of Structure William Harvey and the Study of Function Sir Francis Bacon’s Great Instauration Induction, Hypothesis, Deduction The Very Small--Animalcules Robert Hooke and the Discovery of Cells 6. Figur’d Stones and Plastick Virtue Marine Life on Mountain Tops? Figured Stones of Unknown Creatures Baron Cuvier Quarries of the Paris Basin Catastrophism and Uniformitarianism William Smith and the Geological Column Understanding Nature in 1850 PART TWO: THE GROWTH OF EVOLUTIONARY THOUGHT 7. The Paradigm of Evolution First Questions The Paradigm of Natural Theology First Answers 8. Testing Darwins Hypotheses Have Life Forms Changed over Time? Do Species Evolve into Different Species over Time? Has There Been Time Enough for Evolution? Is Natural Selection the Mechanism of Change? The Genetic Basis of Natural Selection Accounting for the Diversity of Life 9. In the Light of Evolution Comparative Anatomy Embryonic Development Classification Microstructure Molecular Processes 10. Life over Time The Origin of Life The Rise of Multicelled Organisms What Is a Phylum? Burgess Shale Metazoans Early Evolution of the Vertebrates The Age of Dinosaurs Birds, Mammals, and Flowering Plants The Rancho La Brea Tar Pits Human Evolution The Role of Extinction in Evolution PART THREE: CLASSICAL GENETICS 11. Pangenesis What Is the Question? Hippocrates and Aristotle The Darwinian Answer Assembling the Data Formulating the Hypothesis by Induction Galton’s Rabbits 12. The Cell Theory The Discovery of Cells: Robert Hooke Schwann and Cells in Animals Gametes as Cells Omnis cellula e cellula? The Technology of Cell Research 13. The Hypothesis of Chromosomal Continuity The Ephemeral Nucleus Schneider, Flemming, and Cell Division The Chromosomes and inheritance Gamete Formation Fertilization 14. Mendel and the Birth of Genetics Model for Monohybrid Crosses Model for Dihybrid Crosses Mendel’s Laws Initial Opposition to Mendelism 15. Genetics + Cytology: 1900-1910 Sutton’s Model The Cytological Basis of Mendel’s Laws Boveri and Abnormal Chromosome Sets Variations in Mendelian Ratios The Discovery of Sex Chromosomes 16. The Genetics of the Fruit Fly Morgan’s First Hypothesis Morgan’s Second Hypothesis The Fly Room Linkage and Crossing-Over The Cytological Proof of Crossing-Over Mapping the Chromosomes The Final Proof The Determinants of Sex The Conceptual Foundations of Classical Genetics 17. The Structure and Function of Genes One Gene, One Enzyme The Substance of Inheritance The Watson-Crick Model of DNA Genes and the Synthesis of Proteins The Genetic Code PART FOUR: THE ENIGMA OF DEVELOPMENT 18. First Principles The Peripatetic Stagirite The Death and Rebirth of Scientific Thought Harvey and Malpighi A Two-Millennial Summing Up Preformation versus Epigenesis 19. The Century of Discovery Von Baer’s Discovery of the Mammalian Ovum Darwin’s Contribution to Embryology Haeckel and Recapitulation 20. Descriptive Embryology Germ Layers The External Development of the Amphibian Embryo The Internal Development of the Amphibian Embryo 21. The Dawn of Analytical Embryology His, Roux, and Mosaic Development Driesch and Regulative Development Novelty in Development Cell Lineage Nucleus or Cytoplasm? Fin de Siècle 22. Interactions during Development Amphibian Organizers Secondary Organizers The Reacting Tissue The Chemical Nature of the Organizer Putting It All Together Conclusion Further Reading References Illustration Credits Index. (shrink)

When making a decision, humans consider two types of information: information they have acquired through their prior experience of the world, and further information they gather to support the decision in question. Here, we present evidence that data from search engines such as Google can help us model both sources of information. We show that statistics from search engines on the frequency of content on the Internet can help us estimate the statistical structure of prior experience; and, specifically, we (...) outline how such statistics can inform psychological theories concerning the valuation of human lives, or choices involving delayed outcomes. Turning to information gathering, we show that search query data might help measure human information gathering, and it may predict subsequent decisions. Such data enable us to compare information gathered across nations, where analyses suggest, for example, a greater focus on the future in countries with a higher per capita GDP. We conclude that search engine data constitute a valuable new resource for cognitive scientists, offering a fascinating new tool for understanding the human decision-making process. (shrink)

A Transition to Proof: An Introduction to Advanced Mathematics describes writing proofs as a creative process. There is a lot that goes into creating a mathematical proof before writing it. Ample discussion of how to figure out the "nuts and bolts'" of the proof takes place: thought processes, scratch work and ways to attack problems. Readers will learn not just how to write mathematics but also how to do mathematics. They will then learn to communicate mathematics effectively. (...) The text emphasizes the creativity, intuition, and correct mathematical exposition as it prepares students for courses beyond the calculus sequence. The author urges readers to work to define their mathematical voices. This is done with style tips and strict "mathematical do’s and don’ts", which are presented in eye-catching "text-boxes" throughout the text. The end result enables readers to fully understand the fundamentals of proof. Features: The text is aimed at transition courses preparing students to take analysis Promotes creativity, intuition, and accuracy in exposition The language of proof is established in the first two chapters, which cover logic and set theory Includes chapters on cardinality and introductory topology. (shrink)