Results for 'Sara Franceschelli'

(not author) ( search as author name )
1000+ found
Order:
  1.  81
    “Une théorie dynamique de la morphogenèse. Commentaires de Sara Franceschelli et Jean Petitot à “Une théorie dynamique de la morphogenèse””.Sara Franceschelli - 2019 - In René Thom. Oeuvres Mathématiques Complètes. Volume II. Société Mathématique de France. pp. 343-362.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  88
    “ « And the rod starts to swing ». Morphogènes, instabilités et organismes imaginaires dans l’approche de Turing à la biologie » ”.Sara Franceschelli - 2020 - Intellectica 72:191-214.
  3.  12
    Computer Simulations as Experiments.Anouk Barberousse, Sara Franceschelli & Cyrille Imbert - 2009 - Synthese 169 (3):557 - 574.
    Whereas computer simulations involve no direct physical interaction between the machine they are run on and the physical systems they are used to investigate, they are often used as experiments and yield data about these systems. It is commonly argued that they do so because they are implemented on physical machines. We claim that physicality is not necessary for their representational and predictive capacities and that the explanation of why computer simulations generate desired information about their target system is only (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  4. Morphogenesis, Structural Stability, and the Epigenetic Landscape.Sara Franceschelli - 2011 - In P. Bourgine & A. Lesne (eds.), Morphogeneis. Springer.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5. Morphogenèse, stabilité structurelle et paysage épigénétique.Sara Franceschelli - 2006 - In Morphogenèse. L'origine des formes. Paris: Belin. pp. 298-308.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  84
    "Some remarks on the compatibility between determinism and unpredictability".Sara Franceschelli - 2012 - Progress in Biophysics and Molecular Biology 110 (1):61-68.
    Determinism and unpredictability are compatible since deterministic flows can produce, if sensitive to initial conditions, unpredictable behaviors. Within this perspective, the notion of scenario to chaos transition offers a new form of predictability for the behavior of sensitive to initial condition systems under the variation of a control parameter. In this paper I first shed light on the genesis of this notion, based on a dynamical systems approach and on considerations of structural stability. I then suggest a link to the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  88
    Morphogenesis and Design. Thinking through Analogs.Sara Franceschelli - 2016 - In The Routledge Companion to Biology in Art and Architecture. New York: Routledge. pp. 218-235.
    Digital practices in design, together with computer-assisted manufacturing (CAM), have inspired the reflection of philosophers, theorists, and historians over the last decades. Gilles Deleuze’s The Fold: Leibniz and the Baroque (1988) presents one of the first and most successful concepts created to think about these new design and manufacturing practices.1 Deleuze proposed a new concept of the technological object, which was inspired by Bernard Cache’s digital design practices and computer-assisted manufacturing. Deleuze compared Cache’s practices to Leibniz’s differential calculus-based notion of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  45
    La déduction mathématique et la théorie physique. Exemple de solutions numériques physiquement utiles.Sara Franceschelli - 2014 - In Modéliser & simuler. Tome 2. Ed. Matériologiques.
    Cette étude montre comment le météorologue Edward Lorenz, dans deux articles de 1963 et 1964, explore les propriétés des systèmes chaotiques par des allers-retours entre une déduction mathématique (basée sur la théorie des systèmes dynamiques) et une étude des solutions numériques du système dit « de Lorenz » dans un régime d’instabilité. This study aims at showing how the metereologist Edward Lorenz, in two papers of 1963 and 1964, explores the properties of chaotic systems thanks to the interplay between a (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  93
    Arguments of stability in the study of morphogenesis.Sara Franceschelli - 2017 - Azafea: Revista de Filosofia 19:117-135.
    Arguments of stability, intended in a wide sense, including the discussion of the conditions of the onset of instability and of stability changes, play a central role in the main theorizations of morphogenesis in 20th century theoretical biology. The aim of this essay is to shed light on concepts and images mobilized in the construction of arguments of stability in theorizing morphogenesis, since they are pivotal in establishing meaningful relationships between mathematical models and empirical morphologies.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. Morphogenèse. L'origine des formes.Sara Franceschelli (ed.) - 2006 - Paris: Belin.
     
    Export citation  
     
    Bookmark  
  11. Modéliser & simuler. Tome 2. Ed. Matériologiques.Sara Franceschelli (ed.) - 2014
     
    Export citation  
     
    Bookmark  
  12. René Thom. Oeuvres Mathématiques Complètes. Volume II.Sara Franceschelli (ed.) - 2019 - Société Mathématique de France.
     
    Export citation  
     
    Bookmark  
  13. The Routledge Companion to Biology in Art and Architecture.Sara Franceschelli (ed.) - 2016 - New York: Routledge.
     
    Export citation  
     
    Bookmark  
  14.  10
    Cellular automata, modeling, and computation.Anouk Barberousse, Sara Franceschelli & Cyrille Imbert - unknown
    Cellular Automata (CA) based simulations are widely used in a great variety of domains, fromstatistical physics to social science. They allow for spectacular displays and numerical predictions. Are they forall that a revolutionary modeling tool, allowing for “direct simulation”, or for the simulation of “the phenomenon itself”? Or are they merely models "of a phenomenological nature rather than of a fundamental one”? How do they compareto other modeling techniques? In order to answer these questions, we present a systematic exploration of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Loving People for Who They Are (Even When They Don't Love You Back).Sara Protasi - 2016 - European Journal of Philosophy 24 (1):214-234.
    The debate on love's reasons ignores unrequited love, which—I argue—can be as genuine and as valuable as reciprocated love. I start by showing that the relationship view of love cannot account for either the reasons or the value of unrequited love. I then present the simple property view, an alternative to the relationship view that is beset with its own problems. In order to solve these problems, I present a more sophisticated version of the property view that integrates ideas from (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  16.  67
    Exploring by Believing.Sara Aronowitz - 2021 - Philosophical Review 130 (3):339-383.
    Sometimes, we face choices between actions most likely to lead to valuable outcomes, and actions which put us in a better position to learn. These choices exemplify what is called the exploration/exploitation trade-off. In computer science and psychology, this trade-off has fruitfully been applied to modulating the way agents or systems make choices over time. This article extends the trade-off to belief. We can be torn between two ways of believing, one of which is expected to be more accurate in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  17.  79
    A phenomenology of whiteness.Sara Ahmed - 2007 - Feminist Theory 8 (2):149-168.
    The paper suggests that we can usefully approach whiteness through the lens of phenomenology. Whiteness could be described as an ongoing and unfinished history, which orientates bodies in specific directions, affecting how they `take up' space, and what they `can do'. The paper considers how whiteness functions as a habit, even a bad habit, which becomes a background to social action. The paper draws on experiences of inhabiting a white world as a non-white body, and explores how whiteness becomes worldly (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   90 citations  
  18. Causal and Moral Indeterminacy.Sara Bernstein - 2016 - Ratio 29 (4):434-447.
    This paper argues that several sorts of metaphysical and semantic indeterminacy afflict the causal relation. If, as it is plausible to hold, there is a relationship between causation and moral responsibility, then indeterminacy in the causal relation results in indeterminacy of moral responsibility more generally.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  19. Overdetermination Underdetermined.Sara Bernstein - 2016 - Erkenntnis 81 (1):17-40.
    Widespread causal overdetermination is often levied as an objection to nonreductive theories of minds and objects. In response, nonreductive metaphysicians have argued that the type of overdetermination generated by their theories is different from the sorts of coincidental cases involving multiple rock-throwers, and thus not problematic. This paper pushes back. I argue that attention to differences between types of overdetermination discharges very few explanatory burdens, and that overdetermination is a bigger problem for the nonreductive metaphysician than previously thought.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  20. A planning theory of belief.Sara Aronowitz - 2023 - Philosophical Perspectives 37 (1):5-17.
    What does it mean to hold a belief? Some of our ways of speaking in English suggest that to hold a belief is to have something in your mind: beliefs are things we acquire, defend, recover, and so on (Abelson, 1986). That is, believing is a matter of being in a state of having a thing. In this paper, I will argue for an alternative: believing is something we do. This is not a new suggestion. For instance, Matthew Boyle (2011) (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  26
    Memory is a modeling system.Sara Aronowitz - 2018 - Mind and Language 34 (4):483-502.
    This paper aims to reconfigure the place of memory in epistemology. I start by rethinking the problem that memory systems solve; rather than merely functioning to store information, I argue that the core function of any memory system is to support accurate and relevant retrieval. This way of specifying the function of memory has consequences for which structures and mechanisms make up a memory system. In brief, memory systems are modeling systems. This means that they generate, update and manage a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  22.  30
    Cut Elimination in the Presence of Axioms.Sara Negri & Jan Von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.
    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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   51 citations  
  23.  22
    Glivenko sequent classes and constructive cut elimination in geometric logics.Giulio Fellin, Sara Negri & Eugenio Orlandelli - 2023 - Archive for Mathematical Logic 62 (5):657-688.
    A constructivisation of the cut-elimination proof for sequent calculi for classical, intuitionistic and minimal infinitary logics with geometric rules—given in earlier work by the second author—is presented. This is achieved through a procedure where the non-constructive transfinite induction on the commutative sum of ordinals is replaced by two instances of Brouwer’s Bar Induction. The proof of admissibility of the structural rules is made ordinal-free by introducing a new well-founded relation based on a notion of embeddability of derivations. Additionally, conservativity for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  24. Experiential Explanation.Sara Aronowitz & Tania Lombrozo - 2020 - Topics in Cognitive Science 12 (4):1321-1336.
    People often answer why-questions with what we call experiential explanations: narratives or stories with temporal structure and concrete details. In contrast, on most theories of the epistemic function of explanation, explanations should be abstractive: structured by general relationships and lacking extraneous details. We suggest that abstractive and experiential explanations differ not only in level of abstraction, but also in structure, and that each form of explanation contributes to the epistemic goals of individual learners and of science. In particular, experiential explanations (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25.  6
    Encoding audio motion: spatial impairment in early blind individuals.Sara Finocchietti, Giulia Cappagli & Monica Gori - 2015 - Frontiers in Psychology 6.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  26.  15
    Contraction-free sequent calculi for geometric theories with an application to Barr's theorem.Sara Negri - 2003 - Archive for Mathematical Logic 42 (4):389-401.
    Geometric theories are presented as contraction- and cut-free systems of sequent calculi with mathematical rules following a prescribed rule-scheme that extends the scheme given in Negri and von Plato. Examples include cut-free calculi for Robinson arithmetic and real closed fields. As an immediate consequence of cut elimination, it is shown that if a geometric implication is classically derivable from a geometric theory then it is intuitionistically derivable.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  27.  22
    Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  28.  9
    Resounding Meaning: A PERMA Wellbeing Profile of Classical Musicians.Sara Ascenso, Rosie Perkins & Aaron Williamon - 2018 - Frontiers in Psychology 9:375493.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  29.  20
    On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\).Sara Ayhan & Heinrich Wansing - 2023 - Bulletin of the Section of Logic 52 (2):187-237.
    We consider an approach to propositional synonymy in proof-theoretic semantics that is defined with respect to a bilateral G3-style sequent calculus \(\mathtt{SC2Int}\) for the bi-intuitionistic logic \(\mathtt{2Int}\). A distinctive feature of \(\mathtt{SC2Int}\) is that it makes use of two kind of sequents, one representing proofs, the other representing refutations. The structural rules of \(\mathtt{SC2Int}\), in particular its cut rules, are shown to be admissible. Next, interaction rules are defined that allow transitions from proofs to refutations, and vice versa, mediated through (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  4
    A theoretical account of the effects of environmental context upon cognitive processes.Sara J. Nixon & N. Jack Kanak - 1985 - Bulletin of the Psychonomic Society 23 (2):139-142.
  31.  15
    A nation’s right to exclude and the Colonies.Sara Amighetti & Alasia Nuti - 2016 - Political Theory 44 (4):541-566.
    This essay contends that postcolonial migrants have a right to enter their former colonizing nations, and that these should accept them. Our novel argument challenges well-established justifications for restrictions in immigration-policies advanced in liberal nationalism, which links immigration controls to the nation’s self-determination and the legitimate preservation of national identity. To do so, we draw on postcolonial analyses of colonialism, in particular on Edward Said’s notion of “intertwined histories,” and we offer a more sophisticated account of national identity than that (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  32.  14
    Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  33.  14
    A Philosophical Evaluation of Adaptationism as a Heuristic Strategy.Sara Green - 2014 - Acta Biotheoretica 62 (4):479-498.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  34.  20
    Treating Post-traumatic Stress Disorder in Patients with Multiple Sclerosis: A Randomized Controlled Trial Comparing the Efficacy of Eye Movement Desensitization and Reprocessing and Relaxation Therapy.Sara Carletto, Martina Borghi, Gabriella Bertino, Francesco Oliva, Marco Cavallo, Arne Hofmann, Alessandro Zennaro, Simona Malucchi & Luca Ostacoli - 2016 - Frontiers in Psychology 7.
  35.  11
    For Oiva Ketonen's 85th birthday.Sara Negri & Jan von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  36.  2
    Numbers around Descartes: A preregistered study on the three-dimensional SNARC effect.Sara Aleotti, Francesco Di Girolamo, Stefano Massaccesi & Konstantinos Priftis - 2020 - Cognition 195 (C):104111.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  37.  23
    Internal effects of stakeholder management devices.Sara A. Morris - 1997 - Journal of Business Ethics 16 (4):413-424.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  38.  8
    Kripke completeness revisited.Sara Negri - 2009 - In Giuseppe Primiero (ed.), Acts of Knowledge: History, Philosophy and Logic. College Publications. pp. 233--266.
  39.  17
    Introduction: Bilateralism and Proof-Theoretic Semantics (Part I).Sara Ayhan - 2023 - Bulletin of the Section of Logic 52 (2):101-108.
  40.  18
    Measuring inconsistencies can lead you forward: Imageability and the x-ception theory.Sara Dellantonio, Claudio Mulatti, Luigi Pastore & Remo Job - 2014 - Frontiers in Psychology 5.
  41.  6
    Comment: Developing and Maintaining High-Quality Relationships via Emotion.Sara B. Algoe - 2020 - Emotion Review 12 (4):276-278.
    This comment addresses opportunities for understanding the social functions of emotion by taking a developmental perspective. I agree that understanding emotions and their development will meaningf...
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  42.  25
    Sequent calculus in natural deduction style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
    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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  43.  22
    What is the Meaning of Proofs?: A Fregean Distinction in Proof-Theoretic Semantics.Sara Ayhan - 2020 - Journal of Philosophical Logic 50 (3):571-591.
    The origins of proof-theoretic semantics lie in the question of what constitutes the meaning of the logical connectives and its response: the rules of inference that govern the use of the connective. However, what if we go a step further and ask about the meaning of a proof as a whole? In this paper we address this question and lay out a framework to distinguish sense and denotation of proofs. Two questions are central here. First of all, if we have (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44. Emotion word processing: does mood make a difference?Sara C. Sereno, Graham G. Scott, Bo Yao, Elske J. Thaden & Patrick J. O'Donnell - 2015 - Frontiers in Psychology 6.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  10
    Positivity effect in source attributions of arousal-matched emotional and non-emotional words during item-based directed forgetting.Sara N. Gallant & Lixia Yang - 2014 - Frontiers in Psychology 5.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46.  13
    A normalizing system of natural deduction for intuitionistic linear logic.Sara Negri - 2002 - Archive for Mathematical Logic 41 (8):789-810.
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  47.  15
    Proof-theoretical analysis of order relations.Sara Negri, Jan von Plato & Thierry Coquand - 2004 - Archive for Mathematical Logic 43 (3):297-309.
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  48.  8
    Sequent calculus proof theory of intuitionistic apartness and order relations.Sara Negri - 1999 - Archive for Mathematical Logic 38 (8):521-547.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  49. What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory.Sara Ayhan - 2023 - Australasian Journal of Logic 20 (3):412-428.
    It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of identity of proofs in the sense that every derivation of the same conclusion would have to be identified. In this paper it will be shown that the question, which reductions we accept in our system, is not only important if we see them as generating a theory of proof identity but is also (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  7
    Hand and Grasp Selection in a Preferential Reaching Task: The Effects of Object Location, Orientation, and Task Intention.Sara M. Scharoun, Kelly A. Scanlan & Pamela J. Bryden - 2016 - Frontiers in Psychology 7.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000