En el presente artículo nos proponemos hacer un examen de las funciones oracionales y supraoracionales de los infinitivos que se enseñan en el marco de los libros de texto que constituyen la serie Tendances méthode de français, serie utilizada en diversas instituciones para la enseñanza del francés como lengua extranjera. Nuestro objetivo consiste en identificar los contenidos lingüísticos y discursivos respecto del infinitivo que se trabajan a lo largo de la serie, así como aquellos que se dejan de lado y (...) se obvian. En el análisis que hacemos, advertimos que los libros de texto cubren de manera general las funciones de los sintagmas de infinitivo a nivel oracional. Empero, los libros obvian la mayoría de las funciones de cláusulas y construcciones de infinitivo a nivel supraoracional. Los resultados de este artículo contribuyen a los estudios enfocados en la enseñanza-aprendizaje de lenguas extranjeras, en particular aquellos de FLE. Asimismo, la relevancia del estudio yace en el hecho de examinar materiales pedagógicos que son utilizados en diferentes instituciones en países no hablantes de francés en la actualidad. (shrink)

En este estudio nos proponemos determinarsemejanzas y diferencias entre el infinitivoen español y francés desde una perspectivasupraoracional con base en un corpus de 100textos de diferente asignación diafásica, 50en español y 50 en francés. Los infinitivos queobtuvimos de nuestros corpora presentaronrasgos en común, pero también diferenciasconsiderables. En ambas lenguas encontramoscláusulas de infinitivo desempeñando unadiversidad de funciones de junción con valoressemánticos de tiempo, causa, inclusión, exclusión,finalidad, condición y concesión; sin embargo,los nexos de enlace entre la cláusula principaly la de infinitivo resultaron (...) más variados enespañol que en francés. Asimismo, en ambaslenguas localizamos construcciones infinitivasindependientes fragmentarias, interrogativas,yusivas y enunciativas. Todas ellas desempeñaronfunciones semejantes tanto en español comoen francés. Cabe señalar que en francés noencontramos ninguna construcción infinitivaexclamativa, mientras que en español ubicamosun solo ejemplo. Finalmente, únicamente en elcorpus en francés registramos construcciones quelos estudiosos de esta lengua denominan infinitifde narration. (shrink)

RESUMENEn este estudio nos proponemos determinar semejanzas y diferencias entre el infinitivo en español y francés desde una perspectiva supraoracional con base en un corpus de 100 textos de diferente asignación diafásica, 50 en español y 50 en francés. Los infinitivos que obtuvimos de nuestros corpora presentaron rasgos en común, pero también diferencias considerables. En ambas lenguas encontramos cláusulas de infinitivo desempeñando una diversidad de funciones de junción con valores semánticos de tiempo, causa, inclusión, exclusión, finalidad, condición y concesión; sin (...) embargo, los nexos de enlace entre la cláusula principal y la de infinitivo resultaron más variados en español que en francés. Asimismo, en ambas lenguas localizamos construcciones infinitivas independientes fragmentarias, interrogativas, yusivas y enunciativas. Todas ellas desempeñaron funciones semejantes tanto en español como en francés. Cabe señalar que en francés no encontramos ninguna construcción infinitiva exclamativa, mientras que en español ubicamos un solo ejemplo. Finalmente, únicamente en el corpus en francés registramos construcciones que los estudiosos de esta lengua denominan infinitif de narration. (shrink)

El objetivo del presente estudio consiste en caracterizar estructuras léxicas y sintácticas utilizadas en una muestra de textos tenísticos del sitio Tennis World en cinco diferentes lenguas, a saber: español, inglés, francés, italiano y alemán. Nos proponemos identificar semejanzas y diferencias entre los términos y estructuras de cada idioma. Para lograr el objetivo planteado, hemos conformado un corpus de veinticinco textos de tenis en total, esto es cinco textos en cada lengua. Con base en estudios sobre tenis, así como en (...) discurso deportivo, identificamos las estructuras más iterativas del corpus y determinamos su configuración a fin de establecer ciertos patrones sintácticos en el discurso de este deporte. Con este artículo nos proponemos contribuir en los estudios sobre discurso deportivo, en particular aquellos enfocados en la disciplina del tenis. (shrink)

El presente artículo tiene el objetivo de determinar los rasgos lingüísticos más relevantes de 160 titulares periodísticos deportivos que emplean el discurso directo o reproducción literal de lo enunciado, enfocándose en sus características sintácticas. Los titulares considerados para esta investigación fueron tomados de cinco diarios deportivos y de otros tres diarios nacionales mexicanos. Todos los titulares examinados hacen uso del discurso directo. A través del presente estudio, pretendemos aportar nuevos datos a una caracterización integral de los titulares, más específicamente en (...) el ámbito del deporte. Para examinar el corpus, tomamos en consideración la clasificación de Escribano, complementada por las elucidaciones de Hurtado González y Nadal Palazón. En nuestro corpus la estructura más frecuente resultó aquella de construcción bimembre que enfrenta la cita directa con el responsable de dicha cita. Enseguida, ubicamos la estructura que presenta la cita + verbum dicendi + responsable de la cita. Los titulares que emplean la cita directa exclusivamente y aquellos que entrecomillan un solo término fueron los menos recurrentes. (shrink)

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic (...) to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated. (shrink)

This book investigates the role of inference in argumentation, considering how arguments support standpoints on the basis of different loci. The authors propose and illustrate a model for the analysis of the standpoint-argument connection, called Argumentum Model of Topics. A prominent feature of the AMT is that it distinguishes, within each and every single argumentation, between an inferential-procedural component, on which the reasoning process is based; and a material-contextual component, which anchors the argument in the interlocutors’ cultural and factual common (...) ground. The AMT explains how these components differ and how they are intertwined within each single argument. This model is introduced in Part II of the book, following a careful reconstruction of the enormously rich tradition of studies on inference in argumentation, from the antiquity to contemporary authors, without neglecting medieval and post-medieval contributions. The AMT is a contemporary model grounded in a dialogue with such tradition, whose crucial aspects are illuminated in this book. (shrink)

A general method for generating contraction- and cut-free sequent calculi for a large family of normal modal logics is presented. The method covers all modal logics characterized by Kripke frames determined by universal or geometric properties and it can be extended to treat also Gödel-Löb provability logic. The calculi provide direct decision methods through terminating proof search. Syntactic proofs of modal undefinability results are obtained in the form of conservativity theorems.

The increasing application of network models to interpret biological systems raises a number of important methodological and epistemological questions. What novel insights can network analysis provide in biology? Are network approaches an extension of or in conflict with mechanistic research strategies? When and how can network and mechanistic approaches interact in productive ways? In this paper we address these questions by focusing on how biological networks are represented and analyzed in a diverse class of case studies. Our examples span from (...) the investigation of organizational properties of biological networks using tools from graph theory to the application of dynamical systems theory to understand the behavior of complex biological systems. We show how network approaches support and extend traditional mechanistic strategies but also offer novel strategies for dealing with biological complexity. (shrink)

A common reductionist assumption is that macro-scale behaviors can be described "bottom-up" if only sufficient details about lower-scale processes are available. The view that an "ideal" or "fundamental" physics would be sufficient to explain all macro-scale phenomena has been met with criticism from philosophers of biology. Specifically, scholars have pointed to the impossibility of deducing biological explanations from physical ones, and to the irreducible nature of distinctively biological processes such as gene regulation and evolution. This paper takes a step back (...) in asking whether bottom-up modeling is feasible even when modeling simple physical systems across scales. By comparing examples of multi-scale modeling in physics and biology, we argue that the “tyranny of scales” problem presents a challenge to reductive explanations in both physics and biology. The problem refers to the scale-dependency of physical and biological behaviors that forces researchers to combine different models relying on different scale-specific mathematical strategies and boundary conditions. Analyzing the ways in which different models are combined in multi-scale modeling also has implications for the relation between physics and biology. Contrary to the assumption that physical science approaches provide reductive explanations in biology, we exemplify how inputs from physics often reveal the importance of macro-scale models and explanations. We illustrate this through an examination of the role of biomechanics modeling in developmental biology. In such contexts, the relation between models at different scales and from different disciplines is neither reductive nor completely autonomous, but interdependent. (shrink)

Prevention of age-related disorders is increasingly in focus of health policies, and it is hoped that early intervention on processes of deterioration can promote healthier and longer lives. New opportunities to slow down the aging process are emerging with new fields such as personalized nutrition. Data-intensive research has the potential to improve the precision of existing risk factors, e.g., to replace coarse-grained markers such as blood cholesterol with more detailed multivariate biomarkers. In this paper, we follow an attempt to develop (...) a new aging biomarker. The vision among the project consortium, comprising both research and industrial partners, is that the new biomarker will be predictive of a range of age-related conditions, which may be preventable through personalized nutrition. We combine philosophical analysis and ethnographic fieldwork to explore the possibilities and challenges of managing aging through bodily signs that are not straightforwardly linked to symptomatic disease. We document how the improvement of measurement brings about new conceptual challenges of demarcating healthy and unhealthy states. Moreover, we highlight that the reframing of aging as risk has social and ethical implications, as it is generative of normative notions of what constitutes successful aging and good citizenship. (shrink)

Many countries currently invest in technologies and data infrastructures to foster precision medicine (PM), which is hoped to better tailor disease treatment and prevention to individual patients. But who can expect to benefit from PM? The answer depends not only on scientific developments but also on the willingness to address the problem of structural injustice. One important step is to confront the problem of underrepresentation of certain populations in PM cohorts via improved research inclusivity. Yet, we argue that the perspective (...) needs to be broadened because the (in)equitable effects of PM are also strongly contingent on wider structural factors and prioritization of healthcare strategies and resources. When (and before) implementing PM, it is crucial to attend to how the organisation of healthcare systems influences who will benefit, as well as whether PM may present challenges for a solidaristic sharing of costs and risks. We discuss these issues through a comparative lens of healthcare models and PM-initiatives in the United States, Austria, and Denmark. The analysis draws attention to how PM hinges on—and simultaneously affects—access to healthcare services, public trust in data handling, and prioritization of healthcare resources. Finally, we provide suggestions for how to mitigate foreseeable negative effects. (shrink)

Due to the variation, contingency and complexity of living systems, biology is often taken to be a science without fundamental theories, laws or general principles. I revisit this question in light of the quest for design principles in systems biology and show that different views can be reconciled if we distinguish between different types of generality. The philosophical literature has primarily focused on generality of specific models or explanations, or on the heuristic role of abstraction. This paper takes a different (...) approach in emphasizing a theory-constituting role of general principles. Design principles signify general dependency-relations between structures and functions, given a set of formally defined constraints. I contend that design principles increase our understanding of living systems by relating specific models to general types. The categorization of types is based on a delineation of the scope of biological possibilities, which serves to identify and define the generic features of classes of systems. To characterize the basis for general principles through generic abstraction and reasoning about possibility spaces, I coin the term constraint-based generality. I show that constraint-based generality is distinct from other types of generality in biology, and argue that general principles play a unifying role that does not entail theory reduction. (shrink)

Evolutionary systems biology (ESB) aims to integrate methods from systems biology and evolutionary biology to go beyond the current limitations in both fields. This article clarifies some conceptual difficulties of this integration project, and shows how they can be overcome. The main challenge we consider involves the integration of evolutionary biology with developmental dynamics, illustrated with two examples. First, we examine historical tensions between efforts to define general evolutionary principles and articulation of detailed mechanistic explanations of specific traits. Next, these (...) tensions are further clarified by considering a recent case from another field focused on developmental dynamics: stem cell biology. In the stem cell case, incompatible explanatory aims block integration. Experimental approaches aim at mechanistic explanation while dynamical system models offer explanation in terms of general principles. We then discuss an ESB case in which integration succeeds: search for general attractors using a dynamical systems framework synergizes with the experimental search for detailed mechanisms. Contrasts between the positive and negative cases suggest general lessons for achieving an integrated understanding of developmental and evolutionary dynamics. The key integrative move is to acknowledge two complementary aims, both relevant to explanation: identifying the space of possible dynamic states and trajectories, and mechanistic understanding of causal interactions underlying a specific phenomenon of interest. These two aims can support one another in a joint project characterizing dynamic aspects of evolving lineages. This more inclusive project can lead to insights that cannot be reached by either approach in isolation. (shrink)

Design thinking in general, and optimality modeling in particular, have traditionally been associated with adaptationism—a research agenda that gives pride of place to natural selection in shaping biological characters. Our goal is to evaluate the role of design thinking in non-evolutionary analyses. Specifically, we focus on research into abstract design principles that underpin the functional organization of extant organisms. Drawing on case studies from engineering-inspired approaches in biology we show how optimality analysis, and other design-related methods, play a specific methodological (...) role that is tangential to the study of adaptation. To account for the role of these reasoning strategies in contemporary biology, we therefore suggest a reevaluation of the connection between design thinking and adaptationism. (shrink)

Awe has traditionally been considered a religious or spiritual emotion, yet scientists often report that awe motivates them to answer questions about the natural world, and to do so in naturalistic terms. Indeed, awe may be closely related to scientific discovery and theoretical advance. Awe is typically triggered by something vast (either literally or metaphorically) and initiates processes of accommodation, in which existing mental schemas are revised to make sense of the awe‐inspiring stimuli. This process of accommodation is essential for (...) the kind of belief revision that characterizes scientific reasoning and theory change. Across six studies, we find that the tendency to experience awe is positively associated with scientific thinking, and that this association is not shared by other positive emotions. Specifically, we show that the disposition to experience awe predicts a more accurate understanding of how science works, rejection of creationism, and rejection of unwarranted teleological explanations more broadly. (shrink)

In recent years, the philosophical focus of the modeling literature has shifted from descriptions of general properties of models to an interest in different model functions. It has been argued that the diversity of models and their correspondingly different epistemic goals are important for developing intelligible scientific theories. However, more knowledge is needed on how a combination of different epistemic means can generate and stabilize new entities in science. This paper will draw on Rheinberger’s practice-oriented account of knowledge production. The (...) conceptual repertoire of Rheinberger’s historical epistemology offers important insights for an analysis of the modelling practice. I illustrate this with a case study on network modeling in systems biology where engineering approaches are applied to the study of biological systems. I shall argue that the use of multiple means of representations is an essential part of the dynamic of knowledge generation. It is because of – rather than in spite of – the diversity of constraints of different models that the interlocking use of different epistemic means creates a potential for knowledge production. (shrink)

The axiomatic presentation of modal systems and the standard formulations of natural deduction and sequent calculus for modal logic are reviewed, together with the difficulties that emerge with these approaches. Generalizations of standard proof systems are then presented. These include, among others, display calculi, hypersequents, and labelled systems, with the latter surveyed from a closer perspective.

Proofs and countermodels are the two sides of completeness proofs, but, in general, failure to find one does not automatically give the other. The limitation is encountered also for decidable non-classical logics in traditional completeness proofs based on Henkin’s method of maximal consistent sets of formulas. A method is presented that makes it possible to establish completeness in a direct way: For any given sequent either a proof in the given logical system or a countermodel in the corresponding frame class (...) is found. The method is a synthesis of a generation of calculi with internalized relational semantics, a Tait–Schütte–Takeuti style completeness proof, and procedures to finitize the countermodel construction. Finitizations for intuitionistic propositional logic are obtained through the search for a minimal derivation, through pruning of infinite branches in search trees by means of a suitable syntactic counterpart of semantic filtration, or through a proof-theoretic embedding into an appropriate provability logic. A number of examples illustrates the method, its subtleties, challenges, and present scope. (shrink)

Large portions of mathematics such as algebra and geometry can be formalized using first-order axiomatizations. In many cases it is even possible to use a very well-behaved class of first-order axioms, namely, what are called coherent or geometric implications. Such class of axioms can be translated to inference rules that can be added to a sequent calculus while preserving its structural properties. In this work, this fundamental result is extended to their infinitary generalizations as extensions of sequent calculi for both (...) classical and intuitionistic infinitary logic. As an application, a simple proof of the infinitary Barr’s theorem without the axioms of choice is shown. (shrink)

Life scientists increasingly rely upon abstraction-based modeling and reasoning strategies for understanding biological phenomena. We introduce the notion of constraint-based reasoning as a fruitful tool for conceptualizing some of these developments. One important role of mathematical abstractions is to impose formal constraints on a search space for possible hypotheses and thereby guide the search for plausible causal models. Formal constraints are, however, not only tools for biological explanations but can be explanatory by virtue of clarifying general dependency-relations and patterning between (...) functions and structures. We describe such situations as constraint-based explanations and argue that these differ from mechanistic strategies in important respects. While mechanistic explanations emphasize change-relating causal features, constraint-based explanations emphasize formal dependencies and generic organizational features that are relatively independent of lower-level changes in causal details. Our distinction between mechanistic and constraint-based explanations is pragmatically motivated by the wish to understand scientific practice. We contend that delineating the affordances and assumptions of different explanatory questions and strategies helps to clarify tensions between diverging scientific practices and the innovative potentials in their combination. Moreover, we show how constraint-based explanation integrates several features shared by otherwise different philosophical accounts of abstract explanatory strategies in biology. (shrink)

A way is found to add axioms to sequent calculi that maintains the eliminability of cut, through the representation of axioms as rules of inference of a suitable form. By this method, the structural analysis of proofs is extended from pure logic to free-variable theories, covering all classical theories, and a wide class of constructive theories. All results are proved for systems in which also the rules of weakening and contraction can be eliminated. Applications include a system of predicate logic (...) with equality in which also cuts on the equality axioms are eliminated. (shrink)

In this paper, I examine the manner in which analyses of the action of single agents have been pressed into service for constructing accounts of collective action. Specifically, I argue that the best analogy to collective action is a class of individual action that Carl Ginet has called 'aggregate action.' Furthermore, once we use aggregate action as a model of collective action, then we see that existing accounts of collective action have failed to accommodate an important class of (what I (...) shall call) 'unintentional collective actions.'. (shrink)

The “practice turn” in philosophy of science has strengthened the connections between philosophy and scientific practice. Apart from reinvigorating philosophy of science, this also increases the relevance of philosophical research for science, society, and science education. In this paper, we reflect on our extensive experience with teaching mandatory philosophy of science courses to science students from a range of programs at University of Copenhagen. We highlight some of the lessons we have learned in making philosophy of science “fit for teaching” (...) outside of philosophy circles by taking selected cases from the students’ own field as the starting point. We argue for adapting philosophy of science teaching to particular audiences of science students, and discuss the benefits of drawing on research within science education to inform curriculum and course design. This involves reconsidering teaching resources, assumptions about students, intended learning outcomes, and teaching formats. We also argue that to make philosophy of science relevant and engaging to science students, it is important to consider their potential career trajectories. By anticipating future contexts and situations in which methodological, conceptual, and ethical questions could be relevant, philosophy of science can demonstrate its value in the education of science students. (shrink)

Patient-derived xenografts are currently promoted as new translational models in precision oncology. PDXs are immunodeficient mice with human tumors that are used as surrogate models to represent specific types of cancer. By accounting for the genetic heterogeneity of cancer tumors, PDXs are hoped to provide more clinically relevant results in preclinical research. Further, in the function of so-called “mouse avatars”, PDXs are hoped to allow for patient-specific drug testing in real-time. This paper examines the circulation of knowledge and bodily material (...) across the species boundary of human and personalized mouse model, historically as well as in contemporary practices. PDXs raise interesting questions about the relation between animal model and human patient, and about the capacity of hybrid or interspecies models to close existing translational gaps. We highlight that the translational potential of PDXs not only depends on representational matching of model and target, but also on temporal alignment between model development and practical uses. Aside from the importance of ensuring temporal stability of human tumors in a murine body, the mouse avatar concept rests on the possibility of aligning the temporal horizons of the clinic and the lab. We examine strategies to address temporal challenges, including cryopreservation and biobanking, as well as attempts to speed up translation through modification and use of faster developing organisms. We discuss how featured model virtues change with precision oncology, and contend that temporality is a model feature that deserves more philosophical attention. (shrink)

Stakeholder management devices (SMDs) are the mechanisms through which organizations respond to stakeholder concerns. Given that SMDs serve as organizational control systems for employees and managers, this research investigates the internal rather than the external effects of a firm's SMDs. Unlike most previous research, I examined the effects of these formal structures, processes, and procedures in the aggregate, rather than focusing attention on a single type of device. The study investigates the effects of a firm's stakeholder management devices, in the (...) aggregate, on three factors that influence individual behavior in organizations: expectations, attitudes, and perceived organizational climates. Respondents were managers in 112 for-profit businesses located throughout the United States. Results suggest that a firm's stakeholder management devices affect the perceived moral climates in the firm, and affect managers' expectations about the consequences of good corporate social performance, but do not affect organization members' attitudes about corporate social responsibility. (shrink)

Many biologists appeal to the so-called Krogh principle when justifying their choice of experimental organisms. The principle states that “for a large number of problems there will be some animal of choice, or a few such animals, on which it can be most conveniently studied”. Despite its popularity, the principle is often critiqued for implying unwarranted generalizations from optimal models. We argue that the Krogh principle should be interpreted in relation to the historical and scientific contexts in which it has (...) been developed and used. We interpret the Krogh Principle as a heuristic, i.e., as a recommendation to approach biological problems through organisms where a specific trait or physiological mechanism is expected to be most distinctively displayed or most experimentally accessible. We designate these organisms “Krogh organisms.” We clarify the differences between uses of model organisms and non-standard Krogh organisms. Among these is the use of Krogh organisms as “negative models” in biomedical research, where organisms are chosen for their dissimilarity to human physiology. Importantly, the representational scope of Krogh organisms and the generalizability of their characteristics are not fixed or assumed but explored through experimental studies. Research on Krogh organisms is steeped in the comparative method characteristic of zoology and comparative physiology, in which studies of biological variation produce insights into general physiological constraints. Accordingly, we conclude that the Krogh principle exemplifies the advantages of studying biological variation as a strategy to produce generalizable insights. (shrink)

With the emergence of systems biology the notion of organizing principles is being highlighted as a key research aim. Researchers attempt to ‘reverse engineer’ the functional organization of biological systems using methodologies from mathematics, engineering and computer science while taking advantage of data produced by new experimental techniques. While systems biology is a relatively new approach, the quest for general principles of biological organization dates back to systems theoretic approaches in early and mid-20th century. The aim of this paper is (...) to draw on this historical background in order to increase the understanding of the motivation behind the systems theoretic approach and to clarify different epistemic aims within systems biology. We pinpoint key aspects of earlier approaches that also underlie the current practice. These are i) the focus on relational and system-level properties, ii) the inherent critique of reductionism and fragmentation of knowledge resulting from overspecialization, and iii) the insight that the ideal of formulating abstract organizing principles is complementary to, rather than conflicting with, the aim of formulating detailed explanations of biological mechanisms. We argue that looking back not only helps us understand the current practice but also points to possible future directions for systems biology. (shrink)

Concerns with the use of engineering approaches in biology have recently been raised. I examine two related challenges to biological research that I call the synchronic and diachronic underdetermination problem. The former refers to challenges associated with the inference of design principles underlying system capacities when the synchronic relations between lower-level processes and higher-level systems capacities are degenerate. The diachronic underdetermination problem regards the problem of reverse engineering a system where the non-linear relations between system capacities and lower-level mechanisms are (...) changing over time. Braun and Marom argue that recent insights to biological complexity leave the aim of reverse engineering hopeless - in principle as well as in practice. While I support their call for systemic approaches to capture the dynamic nature of living systems, I take issue with the conflation of reverse engineering with naïve reductionism. I clarify how the notion of design principles can be more broadly conceived and argue that reverse engineering is compatible with a dynamic view of organisms. It may even help to facilitate an integrated account that bridges the gap between mechanistic and systems approaches. (shrink)

“Why are millions of dollars worth of orders being left unpaid?”. With tweets like this questioning brands’ policies, activists advocating for sustainable fashion re-discuss material starting points that are assumed by fashion brands, who argue that they are sustainable because they care about their workers’ conditions. This paper argues that activists use tweets to open _subdiscussions on material starting points_ to engage citizens and consumers, re-discussing factual _data_ that brands take for granted, such as the fact that they provide fair (...) conditions for their garment workers. Activists justify their opening of subdiscussions, often through an argumentative pattern that includes an argument based on the _locus from effects to cause_. They argue that if there are negative effects, the brand cannot claim to care about the conditions of its workers. In discussing how subdiscussions are used by fashion activists, this paper also introduces a conceptualization of Twitter argumentation as a discussion that is not isolated, but is part of a polylogical argumentation that takes place in different venues. For this reason, the argumentation used in tweets is reconstructed as a response to a fashion brand’s communication campaigns around sustainability, which extend beyond the confines of Twitter. As an empirical illustration, this paper is based on the campaign targeting fashion retailer Primark; the dataset includes the brand’s website as well as activists’ tweets. (shrink)

By presenting a case study based on the argumentative analysis of news in the press, this article introduces and discusses strategic manoeuvring with contextual frames. Drawing on the linguistic notion of frame, I introduce the concept of contextual frame to refer to the news context, that is, the background against which a certain event is presented as a piece of news. I argue that newspapers and journalists make use of contextual frames in the apparently neutral genre of news reporting to (...) propose specific interpretations of the facts at issue, which become the basis for explicit comments and editorials. To show how this works, I investigate in detail a case of newspaper coverage of a complex episode using the pragma-dialectical notion of strategic manoeuvring and the Argumentum Model of Topics to analyse argument schemes. I show that, in the use of contextual frames, there is a prominent relation between presentational devices and topical potential; contextual frames provide the implicit material premises which are at the basis of argumentations through which newspapers interpret and comment on the news. (shrink)

Proponents of the emerging field of P4 medicine argue that computational integration and analysis of patient-specific “big data” will revolutionize our health care systems, in particular primary care-based disease prevention. While many ambitions remain visionary, steps to personalize medicine are already taken via personalized genomics, mobile health technologies and pilot projects. An important aim of P4 medicine is to enable disease prevention among healthy persons through detection of risk factors. In this paper, we examine the current status of P4 medicine (...) in light of historical and current challenges to predictive and preventive medicine, including overdiagnosis and overtreatment. Moreover, we ask whether it is likely that in silico integration of patient-specific data will be able to better deal such challenges and to turn risk predictions into disease-preventive actions in a wider social context. Given the lack of evidence that P4 medicine can tip the balance between benefits and harms in preventive medicine, we raise concerns about the current promotion of P4 medicine as a solution to the current challenges in public health. (shrink)

The starting point of this paper is the acknowledgement that individual reasoning, understood as inner dialogue, and social argumentation, albeit they are two different phenomena, share some similarities. On this basis, this paper sets out to apply instruments from argumentation theory to inner dialogue in order to better explain it. Within this framework, some limitations to the study of inner dialogue are also discussed; and methodological suggestions are provided in order to grasp what could be considered data on “inner dialogue” (...) starting from social research interviews. The ultimate aim is to go beyond a mere recognition of a similarity between inner dialogue and argumentation and start analysing inner dialogue empirically using tools from argumentation theory. The findings show that the analytic overview help shed light on how inner dialogue within processes of individual decision-making develops and what it means to have an internal difference of opinion, in which one and the same person adopts opposing standpoints and argues for them. On the opposite, it is shown that the notion of strategic manoeuvring per se cannot be applied to inner dialogue. (shrink)

This paper argues that scale-dependence of physical and biological processes offers resistance to reductionism and has implications that support a specific kind of downward causation. I demonstrate how insights from multiscale modeling can provide a concrete mathematical interpretation of downward causation as boundary conditions for models used to represent processes at lower scales. The autonomy and role of macroscale parameters and higher-level constraints are illustrated through examples of multiscale modeling in physics, developmental biology, and systems biology. Drawing on these examples, (...) I defend the explanatory importance of constraining relations for understanding the behavior of biological systems. (shrink)

Adaptationism has for decades been the topic of sophisticated debates in philosophy of biology but methodological adaptationism has not received as much attention as the empirical and explanatory issues. In addition, adaptationism has mainly been discussed in the context of evolutionary biology and not in fields such as zoophysiology and systems biology where this heuristic is also used in design analyses of physiological traits and molecular structures. This paper draws on case studies from these fields to discuss the productive and (...) problematic aspects of this heuristic in different research practices, in functional as well as evolutionary studies on different levels of biological organization. Gould and Lewontin’s Spandrels-paper famously criticized adaptationist methodology for implying the risk of generating ‘blind spots’ with respect to non-selective effects on evolution. Some have claimed that this bias can be accommodated through the testing of evolutionary hypotheses. Although this is an important aspect of overcoming naïve adaptationism, I argue that the issue of methodological biases is broader than the question of testability. I demonstrate the productivity of adaptationist heuristics but also discuss the deeper problematic aspects associated with the methodological imperialism that is part of the strong adaptationist position. (shrink)

A sequent calculus is given in which the management of weakening and contraction is organized as in natural deduction. The latter has no explicit weakening or contraction, but vacuous and multiple discharges in rules that discharge assumptions. A comparison to natural deduction is given through translation of derivations between the two systems. It is proved that if a cut formula is never principal in a derivation leading to the right premiss of cut, it is a subformula of the conclusion. Therefore (...) it is sufficient to eliminate those cuts that correspond to detour and permutation conversions in natural deduction. (shrink)

The importance of the hidden curriculum is recognised as a practical training ground for the absorption of medical ethics by healthcare professionals. Pakistan’s healthcare sector is hampered by the exclusion of ethics from medical and nursing education curricula and the absence of monitoring of ethical violations in the clinical setting. Nurses have significant knowledge of the hidden curriculum taught during clinical practice, due to long working hours in the clinic and front-line interaction with patients and other practitioners.

The main result of this paper is a normalizing system of natural deduction for the full language of intuitionistic linear logic. No explicit weakening or contraction rules for -formulas are needed. By the systematic use of general elimination rules a correspondence between normal derivations and cut-free derivations in sequent calculus is obtained. Normalization and the subformula property for normal derivations follow through translation to sequent calculus and cut-elimination.

We examined how children’s strategy choices in solving complex subtraction problems are related to grade and to variations in problem complexity. In two studies, third- and fifth-grade children (N≈160 each study) solved multi-digit subtraction problems (e.g., 34 - 18) and described their solution strategies. In the first experiment, strategy selection was investigated by means of a free-choice paradigm, whereas in the second study a discrete-choice approach was implemented. In both experiments, analyses of strategy repertoire indicated that third-grade children were more (...) likely to report less-efficient strategies (i.e., counting) and relied more on the right-to-left solution algorithm compared to fifth-grade children who more often used efficient memory-based retrieval and conceptually-based left-to-right (i.e., decomposition) strategies. Nevertheless, all strategies were reported or selected by both older and younger children and strategy use varied with problem complexity and presentation format for both age groups. These results supported the overlapping waves model of strategy development and provide detailed information about patterns of strategy choice on complex subtraction problems. (shrink)

Decolonial/anti-colonial Black, Indigenous and Mestiza feminist movements and scholar-activists foreground how the oft-touted apocalypse that the Covid-19 pandemic heralds is not new, nor does it signify the great rupture into chaos that those from within modernity-coloniality often claim it to be. Rather Covid-19 is preceded by and will be out-lived by the apocalyptic anti-life onto-epistemological logics that are foundational to the production of hetero-patriarchal capitalist- coloniality. However, one would commit the violence of reproduction of the epistemological logics and rationalities constitutive (...) of the current system if the story ended there. We have survived and our survival points to the urgent necessity and responsibility of social theory to listen to the story of the pandemic from a Black/Indigenous genealogy and to begin the sense-making of the Covid-19 pandemic, from prior to this particular virus, outside, against and beyond the politics of knowledge of critical social theory itself. Thus, I invite you to journey to an affirmative re-enfleshment of reason and theory-making in relation to and dialogue with Black, Indigenous, and subaltern Mestiza feminist movements in southwest Colombia and in southeast so-called Australia in the unceded lands of the Awabakal and the Worimi. I explore this through the metaphor, the materiality, the cosmology and the herstory of the mangrove swamps a knowing-being otherwise visible to the dehumanising gave of Whiteness and bring to thought three stories of a politics of knowledge of/as the Black/racialised and feminised body/flesh. To do this is to suggest that the co-creation of pathways which are life affirming and life making beyond and out of the post-Covid 19 conjuncture involves an epistemological-political project which decolonises and feminises the containments of reason and knowing being of coloniality/modernity. (shrink)

A proof-theoretical analysis of elementary theories of order relations is effected through the formulation of order axioms as mathematical rules added to contraction-free sequent calculus. Among the results obtained are proof-theoretical formulations of conservativity theorems corresponding to Szpilrajn’s theorem on the extension of a partial order into a linear one. Decidability of the theories of partial and linear order for quantifier-free sequents is shown by giving terminating methods of proof-search.

Contraction-free sequent calculi for intuitionistic theories of apartness and order are given and cut-elimination for the calculi proved. Among the consequences of the result is the disjunction property for these theories. Through methods of proof analysis and permutation of rules, we establish conservativity of the theory of apartness over the theory of equality defined as the negation of apartness, for sequents in which all atomic formulas appear negated. The proof extends to conservativity results for the theories of constructive order over (...) the usual theories of order. (shrink)

This paper presents preliminary findings of the project [name omitted for anonymity]. This interdisciplinary project builds on Argumentation theory and developmental sociocultural psychology for the study of children’s argumentation. We reconstruct children’s inferences in adult-child and child-child dialogical interaction in conversation in different settings. We focus in particular on implicit premises using the Argumentum Model of Topics for the reconstruction of the inferential configuration of arguments. Our findings reveal that sources of misunderstandings are more often than not due to misalignments (...) of implicit premises between adults and children; these misalignments concern material premises rather than the inferential-procedural level. (shrink)

Charles S. Peirce held a view of human reason as creative. The objective of this article is to explore more deeply the Peircean conception of imagination, indispensable for the correct functioning of reason. The connection of reason and imagination is necessary in order to be able to interpret the world, to advance towards the truth and to direct our own actions. In this paper I will explain the principal forms in which these faculties interact, and will provide examples taken from (...) the Peircean corpus. (shrink)

A uniform calculus for linear logic is presented. The calculus has the form of a natural deduction system in sequent calculus style with general introduction and elimination rules. General elimination rules are motivated through an inversion principle, the dual form of which gives the general introduction rules. By restricting all the rules to their single-succedent versions, a uniform calculus for intuitionistic linear logic is obtained. The calculus encompasses both natural deduction and sequent calculus that are obtained as special instances from (...) the uniform calculus. Other instances give all the invertibilities and partial invertibilities for the sequent calculus rules of linear logic. The calculus is normalizing and satisfies the subformula property for normal derivations. (shrink)

Research Ethics, Volume 18, Issue 1, Page 24-38, January 2022. Are social science, cross-border research projects, where recruitment and data collection are carried out remotely, required to follow similar ethical and data-sharing procedures as ‘on-the-ground’ studies that use traditional means of recruitment and participant engagement? This article reflects on our experience of dealing with this question when we had to switch to online data collection due to the restrictions posed by the COVID-19 pandemic, such as the inability to travel or (...) work in person with local communities and collaborators. Using social media platforms and online data collection when conducting research brings many advantages, such as being able to communicate remotely but directly with gatekeepers and collaborators, and in reaching potential participants on a global scale. However, neither the guidelines and advice for conducting ethically sound internet-based research, nor the academic literature focussed on building equitable research partnerships between the Global North and the Global South, offer much information regarding the ethical concerns, or address the grey areas, posed by this type of digital and distanced transnational research. In our experience, conducting research remotely made negotiations of access very challenging due to the politics of positionality between Global North and South researchers, lack of clarity on ethical processes and perceptions of gatekeepers who we could not meet in person. We hope the reflections on, and discussion of, our experience encourage deliberation on the present ethical challenges posed by online and social-media-disseminated data collection, particularly in cross-border circumstances. (shrink)