Observational and experimental discoveries of new factual entities such as objects, systems, or processes, are major contributors to some advances in the life sciences. Yet, whereas discovery of theories was extensively deliberated by philosophers of science, very little philosophical attention was paid to the discovery of factual entities. This paper examines historical and philosophical aspects of the experimental discovery by Carl Woese of archaea, prokaryotes that comprise one of the three principal domains of the phylogenetic tree. Borrowing Kuhn’s terminology, this (...) discovery of a major biological entity was made during a ‘normal science’ project of building molecular taxonomy for prokaryotes. Unexpectedly, however, an observed anomaly instigated the discovery of archaea. Substantiation of the existence of the new archaeal entity and consequent reconstruction of the phylogenetic tree prompted replacement of a long-held model of a prokarya and eukarya bipartite tree of life by a new model of a tripartite tree comprising of bacteria, archaea, and eukarya. This paper explores the history and philosophical implications of the progression of Woese’s project from normal science to anomaly-instigated model-changing discovery. It is also shown that the consequential discoveries of RNA splicing and of ribozymes were similarly prompted by unexpected irregularities during normal science activities. It is thus submitted that some discoveries of factual biological entities are triggered by unforeseen observational or experimental anomalies. (shrink)

The formal definition of species as explanatory hypotheses presented by Fitzhugh is emended. A species is an explanatory account of the occurrences of the same character among gonochoristic or cross-fertilizing hermaphroditic individuals by way of character origin and subsequent fixation during tokogeny. In addition to species, biological systematics also employs hypotheses that are ontogenetic, tokogenetic, intraspecific, and phylogenetic, each of which provides explanatory hypotheses for distinctly different classes of causal questions. It is suggested that species hypotheses can not be applied (...) to organisms with obligate asexual, parthenogenetic, and self-fertilizing modes of reproduction. Hypotheses explaining shared characters among such organisms are, instead, strictly phylogenetic. Several implications of this emended definition are examined, especially the relations between species, intraspecific, and phylogenetic hypotheses, as well as the limitations of species names to be applied to temporally different characters within populations. (shrink)

Nursing knowledge stems from a dynamic interplay between population‐based scientific knowledge (the general) and specific clinical cases (the particular). We compared the ‘cascade model of knowledge translation’, also known as ‘classical biomedical model’ in clinical practice (in which knowledge gained at population level may be applied directly to a specific clinical context), with an emergentist model of knowledge translation. The structure and dynamics of nursing knowledge are outlined, adopting the distinction between epistemic and non‐epistemic values. Then, a (moderately) emergentist approach (...) to nursing knowledge is proposed, based on the assumption of a two‐way flow from the general to the particular and vice versa. The case of the ‘placebo effect’ is analysed as an example of emergentist knowledge. The placebo effect is usually considered difficult to be explained within the classical biomedical model, and we underscore its importance in shaping nursing knowledge. In fact, nurses are primarily responsible for administering placebo in the clinical setting and have an essential role in promoting the placebo effect and reducing the nocebo effect. The beliefs responsible for the placebo effect are as follows: (1) interactive, because they depend on the relationship between patients and health care professionals; (2) situated, because they occur in a given clinical context related to certain rituals; and (3) grounded on higher order beliefs concerning what an individual thinks about the beliefs of others. It is essential to know the clinical context and to understand other people's beliefs to make sense of the placebo effect. The placebo effect only works when the (higher order) beliefs of doctors, nurses and patients interact in a given setting. Finally, we argue for a close relationship between placebo effect and nursing knowledge. (shrink)

Whether abduction is treated as an argument or as an inference, the mainstream view presupposes a tight connection between abduction and inference to the best explanation. This paper critically evaluates this link and supports a narrower view on abduction. Our main thesis is that merely the hypothesis-generative aspect, but not the evaluative aspect, is properly abductive in the sense introduced by C. S. Peirce. We show why equating abduction with IBE unnecessarily complicates argument evaluation by levelling the status of abduction (...) as a third reasoning mode. We also propose a scheme for abductive argument along with critical questions, and suggest retaining abduction alongside IBE as related but distinct categories. (shrink)

Philosophical analyses of scientific methodology have long understood intuition to be incompatible with a rule based reasoning that is often considered necessary for a rational scientific method. This paper seeks to challenge this contention by highlighting the indispensable role that intuition plays in the application of methodologies for scientific discovery. In particular, it seeks to outline a positive role for intuition and personal judgment in scientific discovery by exploring a comparison between the use of heuristic reasoning in scientific practice and (...) engineering design. While these discussions share many features, it will also be shown that the successful use of heuristics in engineering design is often considered to depend on a crucial factor that is markedly absent from accounts of the use of heuristics in scientific discovery; experienced judgment. In the final sections of this paper, I will compare attitudes to the role of computer analysis in scientific and engineering practices, with the aim of showing how the limitations of scientific discovery machines reveal the need for including intuition in philosophical accounts of heuristic reasoning in scientific discovery. (shrink)

Abduction and metaphor are two significant concepts in cognitive science. It is found that the both mental processes are on the basis of certain similarity. The similarity inspires us to seek the answers to the following two questions: (1) Whether there is a common cognitive mechanism behind abduction and metaphor? And (2) if there is, whether this common mechanism could be interpreted within the unified frame of modern intelligence theory? Centering on these two issues, the paper attempts to characterize and (...) interpret the generation and evolution of scientific metaphors from the perspective of the cognitive mechanism of abductive inference. Then it interprets the common cognitive mechanism behind abduction and metaphor within Hawkins’ frame of intelligence theory. The commonality between abduction and metaphor indicates the potential to further explore human intelligence. (shrink)

Bayesian probability is normally defined over a fixed language or eventspace. But in practice language is susceptible to change, and thequestion naturally arises as to how Bayesian degrees of belief shouldchange as language changes. I argue here that this question poses aserious challenge to Bayesianism. The Bayesian may be able to meet thischallenge however, and I outline a practical method for changing degreesof belief over changes in finite propositional languages.

The relationship between machine learning and the philosophy of science can be classed as a dynamic interaction: a mutually beneficial connection between two autonomous fields that changes direction over time. I discuss the nature of this interaction and give a case study highlighting interactions between research on Bayesian networks in machine learning and research on causality and probability in the philosophy of science.

In this article I am going to reconstruct Stephen Toulmin’s procedural theory of concepts and explanations in order to develop two overlooked ideas from his philosophy of science: methods of representations and inferential techniques. I argue that these notions, when properly articulated, could be useful for shedding some light on how scientific reasoning is related to representational structures, concepts, and explanation within scientific practices. I will explore and illustrate these ideas by studying the development of the notion of instantaneous speed (...) during the passage from Galileo’s geometrical physics to analytical mechanics. At the end, I will argue that methods of representations could be considered as constitutive of scientific inference; and I will show how these notions could connect with other similar ideas from contemporary philosophy of science like those of models and model-based reasoning. (shrink)

This work proposes an understanding of deductive, default and abductive reasoning as different instances of the same phenomenon: epistemic dynamics. It discusses the main intuitions behind each one of these reasoning processes, and suggest how they can be understood as different epistemic actions that modify an agent’s knowledge and/or beliefs in a different way, making formal the discussion with the use of the dynamic epistemic logic framework. The ideas in this paper put the studied processes under the same umbrella, thus (...) highlighting their relationship and allowing a better understanding of how they interact together. (shrink)

A number of anthropologists have argued that religious concepts are minimally counterintuitive and that this gives them mnemic advantages. This paper addresses the question of why people have the memory architecture that results in such concepts being more memorable than other types of concepts by pointing out the benefits of a memory structure that leads to better recall for minimally counterintuitive concepts and by showing how such benefits emerge in the real‐time processing of comprehending narratives such as folk tales. This (...) model suggests that memorability is not an inherent property of a concept; rather it is a property of the concept, the context in which the concept is presented, and the background knowledge that the comprehendor possesses about the concept. The model predicts how memorability of a concept should change if the context containing the concept were changed. The paper also presents the results of experiments carried out to test these predictions. (shrink)

Some viewpoints on the foundations of mathematics and its philosophy are more connected to scientific practice and its heuristics, mainly with the construction of physical theories and the search for the best explanations of physical phenomena by means of abduction or the solution of problems by the analytical method. Some researchers have introduced the importance of human cultural activities into the cognitive aspects of the mental processes of scientists, proposing an embodied approach in the bridge between mathematics and reality. Fluid (...) mechanics is an interesting area in this sense due to its position if the network of mathematics. By means of an historical example on vortex motion by Helmholtz, we show that the intuitive idea of eddy contains cognitive properties of a mental schema and that it gives many heuristic options for an embodied mathematical explanation about vortex dynamics. (shrink)

Based upon papers given at a 2011 conference at Sun Yat-sen University in Guangzhou, China, this book crosses many boundaries. Most obviously, it includes a balanced set of contributions by philosophers and cognitive scientists from a variety of countries: Nine of the authors are based in Europe, eight in Asia, and one in North America. The conference was the latest of three held in Guangzhou between 2004 and 2011; the editors are to be congratulated for their extensive and continuing efforts (...) to open windows among philosophers and cognitive scientists across continents. (shrink)

Lorenzo Magnani: Abductive Cognition: The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning Content Type Journal Article Category Book Review Pages 1-7 DOI 10.1007/s11023-011-9267-6 Authors Cameron Shelley, Centre for Society, Technology, and Values, University of Waterloo, Waterloo, Canada Journal Minds and Machines Online ISSN 1572-8641 Print ISSN 0924-6495.

In his influential paper, 'Why Was the Logic of Discovery Abandoned?', Laudan contends that there has been no philosophical rationale for a logic of discovery since the emergence of consequentialism in the 19th century. It is the purpose of this paper to show that consequentialism does not involve the rejection of all types of logic of discovery. Laudan goes too far in his interpretation of the historical shift from generativism to consequentialism, and his claim that the context of pursuit belongs (...) to neither discovery nor justification is based on narrow interpretations of the contexts of discovery and justification. As a result, Laudan draws unwarranted conclusions concerning both the early and contemporary defenders of a logic of discovery. A methodological logic of discovery - which involves self-corrective methods of hypothesis generation that promote the long-term goals of science and which require consequential support for justification - is a type of logic of discovery that survives the shift to consequentialism. (shrink)

Name der Zeitschrift: Semiotica Jahrgang: 2015 Heft: 205 Seiten: 95-114.

The author suggests that educational philosophy should benefit from addressing questions traditionally asked within discourse in the philosophy of mind, namely: the relation between the mind and world and the problems of intentionality , meaning, and representation. Peirce's semiotics and his category of creative abduction provide a novel conceptual framework for exploring these questions. A model of reasoning and learning, based on Peirce's triadic logic of relations, is analysed. This model, it is argued, is fruitful for overcoming the paradox of (...) new knowledge that was first debated by Socrates in his dialogue with Meno. (shrink)

The author suggests that educational philosophy should benefit from addressing questions traditionally asked within discourse in the philosophy of mind, namely: the relation between the mind and world and the problems of intentionality (or aboutness), meaning, and representation. Peirce's semiotics and his category of creative abduction provide a novel conceptual framework for exploring these questions. A model of reasoning and learning, based on Peirce's triadic logic of relations, is analysed. This model, it is argued, is fruitful for overcoming the paradox (...) of new knowledge that was first debated by Socrates in his dialogue with Meno. (shrink)

It is suggested that Charles Sanders Peirce's triadic semiotics provides a framework for a diagrammatic representation of a sign's proper structure. The action of signs is described at the logical and psychological levels. The role of (unconscious) abductive inference is analyzed, and a diagram of reasoning is offered. A series of interpretants transform brute facts into interpretable signs thereby providing human experience with value or meaning. The triadic structure helps in de-mystifying the relations between Penrose's three worlds when the latter (...) are considered as constituting a semiotic triangle. (shrink)

This article describes abductions as special patterns of inference to the best explanation whose structure determines a particularly promising abductive conjecture and thus serves as an abductive search strategy. A classification of different patterns of abduction is provided which intends to be as complete as possible. An important distinction is that between selective abductions, which choose an optimal candidate from given multitude of possible explanations, and creative abductions, which introduce new theoretical models or concepts. While selective abduction has dominated the (...) literature, creative abductions are rarely discussed, although they are essential in science. The article introduces several kinds of creative abductions, such as theoretical model abduction, common cause abduction and statistical factor analysis, and illustrates them by various real case examples. It is suggested to demarcate scientifically fruitful abductions from purely speculative abductions by the criterion of causal unification. (shrink)

An important distinction is that between selective abductions, which select an optimal candidate from given multitude of possible explanations, and creative abductions, which introduce new theoretical concepts and models. The article focuses on creative abductions, which are essential for scientific progress, although they are rarely discussed in the literature. Scientifically, fruitful creative abductions are demarcated from purely speculative abductions by means of three virtues which are possessed by the former but not by the latter: (i) providing unification, (ii) detecting common (...) causes and (iii) generating novel predictions by means of which they can be independently tested. Based on historical examples it is demonstrated that common cause abduction from correlated dispositions is the fundamental abductive operation by which new theoretical concepts and models are scientifically generated. Statistical factor analysis can be regarded as a statistical generalization of common cause abduction. (shrink)

This article presents silence as a cognitive tool to comprehend the environment. Two dimensions of silence are addressed: a natural mechanism and human beings' social and cultural construction. There is a link between these two dimensions because, on the one hand, agents' cognitive strategies based on silence influence how meanings and uses of silence have been constructed. The meanings of silence we use are contextual shapers of silence-based cognitive strategies. Silence is analyzed as a resource for coping with ambiguity: situations (...) perceived as uncertain provoke doubt and confusion because they can be understood differently or suggest different interpretations. These situations can occur in the face of epistemic disruption. The consequence is a transfer of the ambiguity property of these situations to the usual ways of relating to the world and people. The cognitive approach is based here on a semiotic-hermeneutic interpretation of silence from a phenomenological perspective. This accounts for a paradox: even if silence does not exist (the world is acoustic), it is real. The silence experience is a non-inferential cognitive capacity located at the base of perception: a stimulus that suggests a particular gesture as an action different from the usual one to deal with the environment. (shrink)

Design has usually been linked to art and applied in scenarios related to everyday life. Even when design has, on occasion, made its way into the world of academia, it has always been closely linked to art and scenarios related everyday life. At last, however, the idea of design has reached the field of epistemology: an area within the very heart of philosophy that has always focused, in theory, on the foundations of knowledge. Consequently, design is being studied from different (...) approaches interested in the foundation of knowledge, theoretical and practical. This is one of the reasons why abduction and pragmatism have been considered relevant from a design perspective. This paper first shows the main features of abduction and pragmatism, describes their evolution and considers their mutual implications. Second, the epistemology of design is analysed considering its most relevant characteristics. Third, the connection between abduction and, on the one hand, pragmatism and, on the other, design epistemology is addressed. Finally, the role of abductive inference in grounding a real epistemology for design theory from the naturalised cognitive perspective of abduction is outlined. The central proposition is that this approach is essential as a methodological innovation, as it allows us to analyse both the inquiry process and the design process as interdependent when dealing with practical problems of a social and cultural nature. This approach allows us to analyse how human actions determine changes in the theoretical framework from which we make our inquiry. In short, the world is an open-ended project that humans design through our daily inquiry. (shrink)

In this article, we first study abduction in human dialogues. Given an utterance, objective abduction produces a hearer’s belief that could explain the utterance, while subjective abduction produces a hearer’s belief that could explain the belief state of a speaker. Different types of abduction are formulated using propositional epistemic logic. We next consider conversational implicature used as pragmatic inference in speech acts. Two conflicting implicatures, Q-implicature and I-implicature, are formulated and contrasted with abduction. We also argue how speakers could use (...) abduction or conversational implicature for the purpose of misleading hearers. (shrink)

“What data will show the truth?” is a fundamental question emerging early in any empirical investigation. From a statistical perspective, experimental design is the appropriate tool to address this question by ensuring control of the error rates of planned data analyses and of the ensuing decisions. From an epistemological standpoint, planned data analyses describe in mathematical and algorithmic terms a pre-specified mapping of observations into decisions. The value of exploratory data analyses is often less clear, resulting in confusion about what (...) characteristics of design and analysis are necessary for decision making and what may be useful to inspire new questions. This point is addressed here by illustrating the Popper-Miller theorem in plain terms and using a graphical support. Popper and Miller proved that probability estimates cannot generate hypotheses on behalf of investigators. Consistently with Popper-Miller, we show that probability estimation can only reduce uncertainty about the truth of a merely possible hypothesis. This fact clearly identifies exploratory analysis as one of the tools supporting a dynamic process of hypothesis generation and refinement which cannot be purely analytic. A clear understanding of these facts will enable stakeholders, mathematical modellers and data analysts to better engage on a level playing field when designing experiments and when interpreting the results of planned and exploratory data analyses. (shrink)

This paper reviews the psychological investigation of reasoning with conditionals, putting an emphasis on recent work. In the first part, a few methodological remarks are presented. In the second part, the main theories of deductive reasoning (mental rules, mental models, and the probabilistic approach) are considered in turn; their content is summarised and the semantics they assume for if and the way they explain formal conditional reasoning are discussed, in particular in the light of experimental work on the probability of (...) conditionals. The last part presents the recent shift of interest towards the study of conditional reasoning in context, that is, with large knowledge bases and uncertain premises. (shrink)

Amalgamating evidence from heterogeneous sources and across levels of inquiry is becoming increasingly important in many pure and applied sciences. This special issue provides a forum for researchers from diverse scientific and philosophical perspectives to discuss evidence amalgamation, its methodologies, its history, its pitfalls, and its potential. We situate the contributions therein within six themes from the broad literature on this subject: the variety-of-evidence thesis, the philosophy of meta-analysis, the role of robustness/sensitivity analysis for evidence amalgamation, its bearing on questions (...) of extrapolation and external validity of experiments, its connection with theory development, and its interface with causal inference, especially regarding causal theories of cancer. (shrink)

In this paper, the radical view that transparent equipment is the result of an ecological assembly between tool users and physical aspects of the world is critically assessed. According to this perspective, tool users are normally viewed as plastically organized hybrid agents. In this view, such agents are able to interact with tools (artefacts or technologies) in ways that are opportunistic and fully locked to the local task environment. This intimate and flexible interaction would provide grounds for the thesis that (...) cognitive agents and tools constitute literal extended cognitive systems. By contrast, a revised understanding of tool use transparency will be attempted. In this perspective, the interplay between on-line and off-line thinking is understood in terms of a socially reified cognitive delegation that subsumes the advantages normally associated to the so-called ‘open-ended ecological controllers.’ Thus, the notion of transparent technologies can be explored on the basis of a derived or mediated cognitive delegation. This view will be complemented by the notion of communities of practice (CoP). Special sorts of CoP will be proposed as suitable and flexible cognitive environments for the development of tool transparency. (shrink)

The background target of the research going into the present article is to forge an intellectual alliance between, on the one hand, active inference and the free-energy principle (FEP), and on the other, Charles S. Peirce’s theory of semiotics and pragmatism. In the present paper, the focus is on the allegiance between the nomenclatures of active and abductive inferences as the proper place to begin reaching at that wider target. The paper outlines the key conceptual elements involved in a naturalistic (...) rendering of Peirce’s late semiotic and logical notion of abductive reasoning. The target is a cognitive-biological model of abduction which preserves the functional integrity of an organism and fulfils the existential imperative for living beings’ evidence of existence. Such a model is an adaptation of Peirce’s late logical schema of abduction proposed in his largely unpublished works during the early 20th century. The proposed model is argued to be a feasible sketch also of recent breakthroughs in computational (sensu Bayesian) cognitive science. (shrink)

This paper is about the pragmatic inferences in play as conversational implicatures (Grice, P. 1989. Studies in the way of words. Cambridge, MA: Harvard University Press) occur. First, it constructs the deductivism versus abductivism debate that transpires from the extant literature but is rarely elaborated. Against deductivism, the paper argues that implicating inferences in conversational implicatures can instantiate an abductive logical form, as abductivism suggests. Against abductivism, however, it grants to deductivism that implicating inferences can have a deductive form provided (...) the latter is of a defeasible type. In sum, it thus argues for pluralist defeasibilism. Second, it turns to the issue of the ontological nature of implicating inferences and advocates normative inferentialism, on which these inferences are not primarily real psychological processes but rules of the practice of implicating. While this allows for the possibility of their psychological instantiation, to be sure, the paper also insists that psychological inferring processes in implicatures are neither necessarily isomorphic to the aforementioned rules nor even necessarily occur as an implicature occurs. (shrink)

Based on architectural projects which interpret literature as program we discuss design reasoning when no routine models of problem solving apply. We address three aspects of formulation: defining the design charge so that it can be retrospectively stated independent of the actual proposal; defining a language of formal operations; and defining the intrinsic aims of design that are only intimated through the proposal itself. The coherence of the project is a function of the way in which formal properties interact, and (...) the way in which they sustain analogical or metaphorical relationships to text: how the patterns of subdivision, connection, differentiation, positioning, movement or perception associated with built space relate to textual figures, concepts, structure, or narrative. The possibility of constructing architectural meaning in this way implies an underlying model of space as a morphic language which works primarily through the constitution of generic and significant relationships rather than the combination of previously objectified elements. The gradual articulation of the design charge is mediated by a process of diagramming. Diagrams express as spatial constructions the conditions and concepts abstracted from text; also, they act as notations of constructive operations which are themselves spatial. Diagrams can be abstractive or pictorial, dense or discrete. They document two aspects of an integral process of reasoning: First, an exploration of how concepts, whether directly, analogically or metaphorically transferred from text to shape, may relate to produce a more complex idea; second, how formal properties co-vary and how an emergent design proposal engages and activates a field of formal possibility. (shrink)

Inspired by Bermúdez’s notion of proto-logic, I would like to fathom what the true proto-logic could be like. But this will be approached only in a negative way of figuring out what it could not be. I shall argue that it could not be purely deductive by exploiting the recent researches in logic of maps. This will allow us to reorient the search for proto-logic, starting with animal abduction. I will also suggest that proto-logic won’t get off the ground without (...) proto-geometry. These negative results will shed some lights on some further conceptual and historical issues around the language of thought hypothesis to arrive at the true proto-logic. (shrink)

This article analyzes three approaches to resolving the classical Meno paradox, or its variant, the learning paradox, emphasizing Charles S. Peirce’s notion of abduction. Abduction provides a way of dissecting those processes where something new, or conceptually more complex than before, is discovered or learned. In its basic form, abduction is a “weak” form of inference, i.e., it gives only tentative suggestions for further investigation. But it is not too weak if various sources of clues and restrictions on the abductive (...) search are taken into account. We present three, complementary versions of abduction: as a sort of guessing instinct or expert-like intuition, where unconscious clues are important; as a form of inference, where a strategic point of view is essential; and as a part of distributed cognition and mediated activity, where the interaction with the material, social, and cultural environment is emphasized. Our starting point is Peirce’s own notion of abduction, but we broaden the perspective, especially to the direction of distributed cognition. (shrink)

This paper makes use of the concepts and theoretical framework developed within the field of Argumentation Theory to account for the structure and characteristics of abduction and of the comparative processes of weighing explanatory hypothesis. It elaborates an analysis of abduction based on its consideration as a meta-explanatory argumentation scheme while elucidating its relations with abductive reasoning and inference. The conceptualization of comparative processes of weighing explanatory hypothesis as complex and varied argumentative structures is presented as an alternative to the (...) idea of providing a formally rigid and supposedly universal account of ‘inference to the best explanation’. (shrink)

This paper makes use of the concepts and theoretical framework developed within the field of Argumentation Theory to account for the structure and characteristics of abduction and of the comparative processes of weighing explanatory hypothesis. It elaborates an analysis of abduction based on its consideration as a meta-explanatory argumentation scheme while elucidating its relations with abductive reasoning and inference. The conceptualization of comparative processes of weighing explanatory hypothesis as complex and varied argumentative structures is presented as an alternative to the (...) idea of providing a formally rigid and supposedly universal account of ‘inference to the best explanation’. (shrink)

This study aims to understand scientific inference for the evolutionary procedure of Continental Drift based on abductive inference, which is important for creative inference and scientific discovery during problem solving. We present the following two research problems: (1) we suggest a scientific inference procedure as well as various strategies and a criterion for choosing hypotheses over other competing or previous hypotheses; aspects of this procedure include puzzling observation, abduction, retroduction, updating, deduction, induction, and recycle; and (2) we analyze the “theory (...) of continental drift” discovery, called the Earth science revolution, using our multistage inference procedure. Wegener’s Continental Drift hypothesis had an impact comparable to the revolution caused by Darwin’s theory of evolution in biology. Finally, the suggested inquiry inference model can provide us with a more consistent view of science and promote a deeper understanding of scientific concepts. (shrink)

The purpose of this study was to investigate the features of modeling-based abductive reasoning as a disciplinary practice of inquiry in the domain of earth science. The study was based on an undergraduate course of a university of education, Korea, offered for preservice elementary teachers majoring in science as their specialty. The course enrollees participated in an inquiry project in which they were asked to abductively generate models representing past geologic events in order to explain how two units in a (...) sedimentary rock outcrop had been formed. Three students were selected as major informants for the study, and multiple types of qualitative data were collected, including the students’ sketchbook records, audio-recording of whole-class presentation and discussion, and interviews with the students. The data were analyzed according to the method of analytical induction, which yielded three assertions as the findings of the study. First, while an explanatory model can be generated by combining resource models, the combination of resource models does not necessarily result in a scientifically sound explanatory model. Second, a systemic approach can help activate a critical resource model which can in turn lead to a scientifically sound explanatory model. Third, simulations with a model can enhance the plausibility of the model. Based on these findings, causal combinations of resource models, a systemic approach to earth scientific problem-solving, and simulations with a model are suggested and discussed as implications for science education and relevant research. (shrink)

Efforts to formalize qualitative accounts of inference to the best explanation (IBE) confront two obstacles: the imprecise nature of such accounts and the unusual logical properties that explanations exhibit, such as contradiction-intolerance and irreflexivity. This paper aims to surmount these challenges by utilising a new, more precise theory that treats explanations as expressions that codify defeasible inferences. To formalise this account, we provide a sequent calculus in which IBE serves as an elimination rule for a connective that exhibits many of (...) the properties associated with the behaviour of the English expression ‘That... best explains why ... ’. We first construct a calculus that encodes these properties at the level of the turnstile, i.e. as a metalinguistic expression for classes of defeasible consequence relations. We then show how this calculus can be conservatively extended over a language that contains a best-explains-why operator. (shrink)

Abductive problems and their solutions are presented by means of justification logic. We introduce additional meta-constructions in order to generate and compare different solutions to the same abductive problem. Our approach has three advantages: (i) it makes structurally explicit the solution to an abductive problem (as it has a syntactic nature); (ii) it gives a precise meaning to the notion of evidence; (iii) it provides clear definitions and procedures for the comparison of solutions that can be adapted to different needs.

Understanding how animals might make sense of the interfaces they interact with is important to inform the design of animal-centered interactions. In this regard, biosemiotics provides a useful lens through which to examine animals’ interactions with interfaces and the sensemaking mechanisms that might underpin such interactions. This paper leverages Uexküll’s Umwelt theory, Peirce’s logic of sign relations and Gibson’s theory of affordances to analyze examples of dogs’ interactions with interfaces, particularly the role of the semiotic mechanisms of indexicality and isomorphism. (...) Based on these analyses, the paper derives design implications, and proposes a semiotic framework to support the analysis and design of canine-centered interactions. The framework could be subsequently extended to support the analysis and design of interactive systems for other species. (shrink)

There has been little research into the weak kindsof negating hypotheses. Hypotheses may be unfalsifiable. In this case it is impossible tofind a contradiction in some area of the conceptualsystems in which they are incorporated.Notwithstanding this fact, it is sometimes necessaryto construct ways of rejecting the unfalsifiablehypothesis at hand by resorting to some external forms of negation, external because wewant to avoid any arbitrary and subjectiveelimination, which would be rationally orepistemologically unjustified. I will consider akind of ``weak'''' (unfalsifiable) hypotheses that (...) arehard to negate and the ways for making it easy. Inthese cases the subject can ``rationally'''' decide towithdraw his hypotheses even in contexts where it is``impossible'''' to find ``explicit'''' contradictions: theuse of negation as failure (an interestingtechnique for negating hypotheses and accessing newones suggested by artificial intelligence) isilluminating. I plan to explore whether this kind ofnegation can be employed to model hypothesiswithdrawal in Poincaré''s conventionalism of theprinciples of physics and in Freudian analyticreasoning. (shrink)

Taking advantage of Denis Noble’s description, in “The Illusions of the Modern Synthesis” of the first illusion, related to the concept of natural selection itself, I will further strengthen the criticism by adding three groups of considerations mainly concerning human cognition: 1) how semiotic brains build cognitive niches; 2) the role of abduction – and in particular of manipulative abduction – in building a semiotic artificial world; 3) the biosemiotics of the so-called disembodiment of the mind. Human semiotic brains are (...) engaged in a continuous process of delegation and distribution of cognitive functions to the environment to lessen cognitive limitations, also and especially taking advantage of what I have called “manipulative abduction”. These design semiotic activities are closely related to the process of cognitive niche construction, which should be regarded as the second major participant, after natural selection, in evolution. An important effect of this semiotic brain activity is a continuous process of disembodiment of the mind that exhibits a new cognitive perspective on the mechanisms underlying the semiotic emergence of meaning processes. (shrink)

Many important concepts of the calculus are difficult to grasp, and they may appear epistemologically unjustified. For example, how does a real function appear in “small” neighborhoods of its points? How does it appear at infinity? Diagrams allow us to overcome the difficulty in constructing representations of mathematical critical situations and objects. For example, they actually reveal the behavior of a real function not “close to” a point (as in the standard limit theory) but “in” the point. We are interested (...) in our research in the diagrams which play an optical role –microscopes and “microscopes within microscopes”, telescopes, windows, a mirror role (to externalize rough mental models), and an unveiling role (to help create new and interesting mathematical concepts, theories, and structures). In this paper we describe some examples of optical diagrams as a particular kind of epistemic mediator able to perform the explanatory abductive task of providing a better understanding of the calculus, through a non-standard model of analysis. We also maintain they can be used in many other different epistemological and cognitive situations. (shrink)