This paper is part of a project that is based on the notion of a dialectical system, introduced by Magari as a way of capturing trial and error mathematics. In Amidei et al. (2016, Rev. Symb. Logic, 9, 1–26) and Amidei et al. (2016, Rev. Symb. Logic, 9, 299–324), we investigated the expressive and computational power of dialectical systems, and we compared them to a new class of systems, that of quasi-dialectical systems, that enrich Magari’s systems with a natural mechanism (...) of revision. In the present paper we consider a third class of systems, that of p-dialectical systems, that naturally combine features coming from the two other cases. We prove several results about p-dialectical systems and the sets that they represent. Then we focus on the completions of first-order theories. In doing so, we consider systems with connectives, i.e. systems that encode the rules of classical logic. We show that any consistent system with connectives represents the completion of a given theory. We prove that dialectical and q-dialectical systems coincide with respect to the completions that they can represent. Yet, p-dialectical systems are more powerful; we exhibit a p-dialectical system representing a completion of Peano Arithmetic that is neither dialectical nor q-dialectical. (shrink)

As systems based on opaque Artificial Intelligence (AI) continue to flourish in diverse real-world applications, understanding these black box models has become paramount. In response, Explainable AI (XAI) has emerged as a field of research with practical and ethical benefits across various domains. This paper not only highlights the advancements in XAI and its application in real-world scenarios but also addresses the ongoing challenges within XAI, emphasizing the need for broader perspectives and collaborative efforts. We bring together experts from diverse (...) fields to identify open problems, striving to synchronize research agendas and accelerate XAI in practical applications. By fostering collaborative discussion and interdisciplinary cooperation, we aim to propel XAI forward, contributing to its continued success. Our goal is to put forward a comprehensive proposal for advancing XAI. To achieve this goal, we present a manifesto of 27 open problems categorized into nine categories. These challenges encapsulate the complexities and nuances of XAI and offer a road map for future research. For each problem, we provide promising research directions in the hope of harnessing the collective intelligence of interested stakeholders. (shrink)

Maggior specializzazione del volontariato e azioni di advocacy più mirate. Questi alcuni dei tratti inediti del volontariato toscano che emergono dalla nuova ricerca promossa da Cesvot e condotta dall'Università di Pisa. Un volontariato ‘inatteso', come recita il titolo del libro, che sta modificando il concetto di solidarietà, che come scrive Andrea Salvini, “cessa di essere un'idea o un progetto politico-culturale, ma diviene sempre più un insieme di pratiche che producono significati differenti, in situazioni specifiche”. Nel volume sono pubblicati molti (...) dati significativi sull'organizzazione del lavoro volontario, sull'attività delle associazioni, sui rapporti di collaborazione e networking, sulla capacità di reperire e gestire le risorse economiche. Chiude il volume un approfondimento di Luca Corchia su ‘giovani e volontariato' con dati relativi alla partecipazione giovanile e alle motivazioni che spingono i giovani ad avvicinarsi alle attività di volontariato. (shrink)

Bibliography of the writings of Andrea Poma.

This is an Editorial Note for the special volume of the journal Manuscrito (42: 4) devoted to Aristotle's theory of demonstration and its logical and metaphysical entanglements, which has been organized by me and Breno Zuppolini (as Guest Editors), with papers authored by Benjamin Morison, Owen Goldin, David Bronstein, Michail Peramatzis, Andrea Falcon, Laura Castelli, Paolo Fait, Joseph Karbowski, Adam Crager, Klaus Corcilius, Robert J. Hankinson, Raphael Zillig and Pieter Sjoerd Hasper.

In this article, I provide a historical and bibliographical exploration of the handwritten, dictated commentaries (dictata) of Johannes de Raey (1620/1622–1702) on the texts of René Descartes (1596–1650), shedding light on their structure, development, and on their relations with the academic commentaries of Johannes Clauberg (1622–1665) and Christoph Wittich (1625–1687). The study of these commentaries, which are extant as class notes, is important because they conveyed one of the first systematic teachings of Descartes’s ideas and constituted a vehicle for their (...) further dissemination across northern Europe. (shrink)

Data involving epistemic modals suggest that some classically valid argument forms, such as _reductio_, are invalid in natural language reasoning as they lead to modal collapses. We adduce further data showing that the classical argument forms governing the existential quantifier are similarly defective, as they lead to a _de re–de dicto_ collapse. We observe a similar problem for disjunction. But if the classical argument forms for negation, disjunction and existential quantification are invalid, what are the correct forms that govern the (...) use of these items? Our diagnosis is that epistemic modals interfere with hypothetical reasoning. We present a modal first-order logic and model theory that characterizes hypothetical reasoning with epistemic modals in a principled manner. One upshot is a sound and complete natural deduction system for reasoning with epistemic modals in first-order logic. (shrink)

Philosophers have claimed that education aims at fostering disparate epistemic goals. In this paper we focus on an important segment of this debate involving conversation between Alvin Goldman and Harvey Siegel. Goldman claims that education is essentially aimed at producing true beliefs. Siegel contends that education is essentially aimed at fostering both true beliefs and, independently, critical thinking and rational belief. Although we find Siegel’s position intuitively more plausible than Goldman’s, we also find Siegel’s defence of it wanting. We suggest (...) novel argumentative strategies that draw on Siegel’s own arguments but look to us more promising. (shrink)

In this article I discuss a particular aspect of the Dutch reception of the ideas of René Descartes, namely the use of his Traité de l’homme by Henricus Regius. I analyze the use that Regius made of the theory of the movement of muscles, passions, hunger, and more generally of the neurophysiology expounded by Descartes in his book (not printed until 1662–1664). In my analysis, I reconstruct the internal evolution of Regius’s neurophysiology, I illustrate its sources beyond Descartes (i.e., Jean (...) Fernel and Santorio Santorio), and I show that he was certainly acquainted with some of its contents as early as 1641 (when he used it with the mediation of Descartes), before relying on it—as variously discussed in secondary literature—in his Fundamenta physices (1646), when he appropriated from it without Descartes’s authorization. (shrink)

Empirical philosophers of science aim to base their philosophical theories on observations of scientific practice. But since there is far too much science to observe it all, how can we form and test hypotheses about science that are sufficiently rigorous and broad in scope, while avoiding the pitfalls of bias and subjectivity in our methods? Part of the answer, we claim, lies in the computational tools of the digital humanities, which allow us to analyze large volumes of scientific literature. Here (...) we advocate for the use of these methods by addressing a number of large-scale, justificatory concerns—specifically, about the epistemic value of journal articles as evidence for what happens elsewhere in science, and about the ability of DH tools to extract this evidence. Far from ignoring the gap between scientific literature and the rest of scientific practice, effective use of DH tools requires critical reflection about these relationships. (shrink)

This paper outlines an account of conditionals, the evidential account, which rests on the idea that a conditional is true just in case its antecedent supports its consequent. As we will show, the evidential account exhibits some distinctive logical features that deserve careful consideration. On the one hand, it departs from the material reading of ‘if then’ exactly in the way we would like it to depart from that reading. On the other, it significantly differs from the non-material accounts which (...) hinge on the Ramsey Test, advocated by Adams, Stalnaker, Lewis, and others. (shrink)

This entry surveys issues at the intersection of art and morality. Particular emphasis is placed on whether, and in what way, the moral character of a work of art influences its artistic value. Other topics include the educational function of art and artistic censorship.

In this paper, we identify a new and mathematically well-defined sense in which the coherence of a set of hypotheses can be truth-conducive. Our focus is not, as usual, on the probability but on the confirmation of a coherent set and its members. We show that, if evidence confirms a hypothesis, confirmation is “transmitted” to any hypotheses that are sufficiently coherent with the former hypothesis, according to some appropriate probabilistic coherence measure such as Olsson’s or Fitelson’s measure. Our findings have (...) implications for scientific methodology, as they provide a formal rationale for the method of indirect confirmation and the method of confirming theories by confirming their parts. (shrink)

The present study aims to present a transcription and a commentary of three unpublished letters of the Dutch Cartesian philosopher Johannes de Raey, addressed to his former student Johannes Clauberg. Mainly containing suggestions concerning the defence of Cartesian philosophy and academic affairs, these letters, dating back to 1651, 1652 and 1661, bear witness of a steady friendship and of a certain cooperation in rebuking the critiques moved by Jacob Revius in his Statera philosophiae cartesianae and by Cyriacus Lentulus in his (...) Nova Renati Descartes sapientia, refuted in Clauberg’s Defensio cartesiana. According to these letters, this cooperation had to be kept secret, not to provoke the reaction of Leiden theologians. However, the violation of the correspondence of Clauberg and De Raey occasioned the edition of Lentulus’s book and the rise of the polemics over the new philosophy. Eventually, such cooperation is to be noticed also in some crypto-quotations between the edited texts of Clauberg and De Raey. (shrink)

In this paper, we embark on the complicated discussion about the nature of vice in Virtue Ethics through a twofold approach: first, by taking seriously the claim that virtues (and certain flavours of vices) are genuinely dispositional features possessed by agents, and secondly, by employing a pluralistic attitude borrowed from Battaly’s pluralism (2008). Through these lenses, we identify three varieties of viciousness: incontinence, indifference, and malevolence. The upshot is that the notion of vice is not as categorically homogeneous as that (...) of virtue: some states of viciousness consist in interference of present virtuous dispositions, or mimicking of absent vicious ones, whereas others can be considered genuine dispositions themselves. Furthermore, this set-up can provide an interesting, albeit highly idealized story as to how, through the interference in one’s environment, one gets acquainted with vice in various degrees. Finally, this approach can be illuminating vis-à-vis Virtue Ethics in general; e.g. we can employ it to discuss more productively Johnston’s (2003) objection to Hursthouse’s (1999) account of moral conduct. Finally, this approach can be illuminating vis-a-vis Virtue Ethics in general; e.g. we can employ it to discuss more productively Johnston’s (2003) objection to Hursthouse’s (1999) account of moral conduct. (shrink)

One of the main highlights from last year’s event was the 2022 Philippine National and Local Elections. The Philippine elections involve a lot of people interaction from poll workers and other deputized agencies. Further, this study explores the lived experiences, challenges, and coping mechanisms of poll watchers during the 2022 Philippine election. Employing the Interpretative Phenomenological Analysis, the findings of this study were: (1) Filipino workers value a good-paying job and preferred meaningful work. (2) Amidst the experiences and challenges, the (...) poll watchers remain determined and motivated to take part in the seasonal election. (3) Poll watchers must be physically, emotionally, and mentally prepared to participate in this crucial work. Mainly, pollwatching is a self-reliant job. (shrink)

In this paper, we discuss an abductive argument for the existence of God from the experience of awe at natural beauty. If God's creative work is a viable explanation for why we experience awe at natural beauty, and there is no satisfactory naturalistic explanation for the origins of such experiences, then we have defeasible evidence that God exists. To evaluate the argument's tenability, we assess the merits of the two main theocentric frameworks that can be marshaled to answer the question (...) of why human beings experience awe at natural beauty: (1) taking the experience of natural beauty as resulting from God's design intentions and (2) conceiving experiences of natural beauty as religious experiences in themselves. We argue that the presence of phenomenological content the fine-grainedness of which exceeds our descriptive and conceptual capacities is better accounted for by the latter hypothesis: experiencing natural beauty amounts to experiencing divine attributes. We conclude that the argument's theological premise is tenable and, having previously argued for the empirical premise (Porcher & De Luca-Noronha, 2021), we conclude that awe at natural beauty is best explained by the existence of God. (shrink)

I provide a simple solution to the problem of determining the characterising feature(s) of the simple approach to personal identity, sometimes also called the simple view: instead of focusing on claims regarding the analysability, reducibility, or triviality of the concepts used in simple theories of personal identity, I propose instead a metaphysical criterion to define this approach. In particular, I claim that the simple approach is (best seen as) that family of theories according to which personal identity is a relation (...) that essentially depends on a mereologically simple (or impartite) entity the existence and features of which may be known directly (e.g., by introspection) or indirectly (e.g., by deduction from a series of other premises). (shrink)

Making an adequate aesthetic judgment about an object or an aesthetic property requires first-hand experience of that object or property. Many have suggested that this principle is a valid epistemic norm in the epistemology of the aesthetic. However, some recent philosophers have argued that certain works of conceptual art and other counterexamples disprove the principle in question, even suitably modified. In this paper, I argue that these philosophers are mistaken and that, when properly qualified, the acquaintance principle (in some of (...) its versions) is not threatened by their examples and arguments. (shrink)

Is autonomy – governing yourself – compatible with letting yourself be governed by trust? This paper argues that autonomy is not only compatible with appropriate trust but actually requires it. Autonomy requires appropriate trust because it is undermined by inappropriate mistrust. An autonomous agent treats herself as answerable for her action-guiding commitments, where answerability requires openness to the rational influence of external, critical perspectives on those commitments. This openness to correction makes one vulnerable to manipulation and can be exploited in (...) ways that undermine autonomy instead of supporting it. We argue that autonomy is undermined by inappropriate trust, and that the inappropriateness lies in the agent’s failure to manifest appropriate responsiveness to evidence of untrustworthiness in the one trusted. The problem isn’t that autonomy requires dispensing with trust but that trust must itself be governed by appropriate responsiveness to evidence of untrustworthiness. Our view confronts two challenges. One challenge lies in explaining why you shouldn’t treat your vulnerability to manipulation as a general reason to let your trusting disposition lapse into an untrusting one. We argue that there is no such general reason to let your responsiveness to evidence of untrustworthiness be supplanted by a suspicious disposition to seek and require positive evidence of trustworthiness. A second, and deeper, challenge arises from the fact that in some especially sophisticated cases of manipulation there is no evidence of untrustworthiness to which you could respond. We argue that you cannot rationally cope with even this unresolvable risk of exploited trust by trusting only yourself. (shrink)

The aim of this article is to unveil the ways of teaching new philosophical paradigms in Dutch Universities between Seventeenth and Eighteenth Century, by means of an analysis of the uses of illustrations in Cartesian and Newtonian natural-philosophical textbooks. This analysis allows to understand the overall functions of philosophical textbooks, where illustrations act as conceptual means, filling the gap between the premise of a theory and its actual contents; didactic means, aiming to help the reader in understanding scientific models fully (...) explained in texts; promoting or propagandistic instruments, useful to present theories in a fascinating way. Eventually, I argue for a positive correlation of the use of illustrations and the introduction of new philosophies, and for the existence of non-philosophical reasons for such use: as to the propagandistic function of illustrations intended as decorative means. (shrink)

This paper develops a probabilistic analysis of conditionals which hinges on a quantitative measure of evidential support. In order to spell out the interpreta- tion of ‘if’ suggested, we will compare it with two more familiar interpretations, the suppositional interpretation and the strict interpretation, within a formal framework which rests on fairly uncontroversial assumptions. As it will emerge, each of the three interpretations considered exhibits specific logical features that deserve separate consideration.

We intoduce a novel extension of Description Logics (DLs) of typicality by means of probabilities able to represent and reason about typical properties and defeasible inheritance in DLs.

These notes contain an annotated edition of the only four extant letters of Burchard de Volder to Philipp van Limborch. In the first letter De Volder provides Van Limborch with some information about the subscription to the Dordrecht Confession of Faith by professors. In the second letter De Volder comments upon Van Limborch’s De veritate religionis Christianae. This letter is interesting as it provides insights into De Volder’s views on religion and theology. The third letter served as a cover letter (...) for De Volder’s sending to Van Limborch a copy of the honestum testimonium on Jacobus Arminius that was requested by Arminius’s widow in 1611. In the fourth letter Volder comments upon the visit that Pieter Burman had paid him. The visit was an episode in the quarrel between Pieter Burman, his brother Frans Burman jr., and Van Limborch, caused by Van Limborch’s remark, in his Theologia Christiana, that Frans Burman sr. had used Spinoza’s words while treating the issue of divine omnipotence in his Synopsis theologiae. (shrink)

The ability of a group of adults with high functioning autism (HFA) or Asperger Syndrome (AS) to distinguish moral, conventional and disgust transgressions was investigated using a set of six transgression scenarios, each of which was followed by questions about permissibility, seriousness, authority contingency and justification. The results showed that although individuals with HFA or AS (HFA/AS) were able to distinguish affect-backed norms from conventional affect-neutral norms along the dimensions of permissibility, seriousness and authority-dependence, they failed to distinguish moral and (...) disgust transgressions along the seriousness dimension and were unable to provide appropriate welfare-based moral justifications. Moreover, they judged conventional and disgust transgressions to be more serious than did the comparison group, and the correlation analysis revealed that the seriousness rating was related to their ToM impairment. We concluded that difficulties providing appropriate moral justifications and evaluating the seriousness of transgressions in individuals with HFA/AS may be explained by an impaired cognitive appraisal system that, while responsive to rule violations, fails to use relevant information about the agent’s intentions and the affective impact of the action outcome in conscious moral reasoning. (shrink)

Consciousness is connected with the fact that a subject is aware and open to the manifestation of whatever appears. Existence, by contrast, is used to express the fact that something is given in experience, is present, or is real. Usually, the two notions are taken to be somehow related. This chapter suggests that existence is at best introduced as a metaphysical (or meta-experiential) concept that inevitably escapes the domain of conscious experience. In order to illustrate this claim, two case studies (...) are considered. The first case is provided by Descartes’s famous treatment of consciousness and existence in his Meditations on First Philosophy. The second case is meant to contrast the Cartesian approach by taking the opposite route, as delineated by Emanuele Severino (1929–2020) in his ‘fundamental ontology’. (shrink)

Many recent AI systems take inspiration from biological episodic memory. Here, we ask how these ‘episodic-inspired’ AI systems might inform our understanding of biological episodic memory. We discuss work showing that these systems implement some key features of episodic memory whilst differing in important respects, and appear to enjoy behavioural advantages in the domains of strategic decision-making, fast learning, navigation, exploration and acting over temporal distance. We propose that these systems could be used to evaluate competing theories of episodic memory’s (...) operations and function. However, further work is needed to validate them as models of episodic memory and isolate the contributions of their memory systems to their behaviour. More immediately, we propose that these systems have a role to play in directing episodic memory research by highlighting novel or neglected hypotheses as pursuit-worthy. In this vein, we propose that the evidence reviewed here highlights two pursuit-worthy hypotheses about episodic memory’s function: that it plays a role in planning that is independent of future-oriented simulation, and that it is adaptive in virtue of its contributions to fast learning in novel, sparse-reward environments. (shrink)

In this paper we focus on the logicality of language, i.e. the idea that the language system contains a deductive device to exclude analytic constructions. Puzzling evidence for the logicality of language comes from acceptable contradictions and tautologies. The standard response in the literature involves assuming that the language system only accesses analyticities that are due to skeletons as opposed to standard logical forms. In this paper we submit evidence in support of alternative accounts of logicality, which reject the stipulation (...) of a natural logic and assume instead the meaning modulation of nonlogical terms. (shrink)

In this article I present some unpublished fragments concerning the life and works of René Descartes (1596–1650), gathered from the academic commentaries of Johannes de Raey (1620/1622–1702) on his treatises. The fragments, of different degrees of reliability, are important as (1) they reveal how the image of Descartes was shaped among his first followers and biographers; (2) they offer insights on his now lost manuscripts, to which De Raey had access after his death. They concern, amongst others, Descartes’s days at (...) La Fléche, the original title of his Principia philosophiae, his inventum mirabile, a fragment of a conversation with him, and passages from an irretrievable French version of his Principia. (shrink)

I propose a new account of the limits of aesthetic testimony. One of this new account's main claims is that, among the kinds of aesthetic cognitive achievements, it is useful to distinguish aesthetic understanding. In particular, I suggest that the aesthetic understanding of X involves an understanding of why X is aesthetically valuable. In turn, aesthetic understanding is essentially connected to the deployment of aesthetic concepts. Given the fine-grained structure of some of these concepts, certain forms of testimony are not (...) adequate to acquire them. (shrink)

One striking feature of the contemporary modelling practice is its interdisciplinary nature. The same equation forms, and mathematical and computational methods, are used across different disciplines, as well as within the same discipline. Are there, then, differences between intra- and interdisciplinary transfer, and can the comparison between the two provide more insight on the challenges of interdisciplinary theoretical work? We will study the development and various uses of the Ising model within physics, contrasting them to its applications to socio-economic systems. (...) While the renormalization group methods justify the transfer of the Ising model within physics – by ascribing them to the same universality class – its application to socio-economic phenomena has no such theoretical grounding. As a result, the insights gained by modelling socio-economic phenomena by the Ising model may remain limited. (shrink)

This paper investigates the logic of reasons. Its aim is to provide an analysis of the sentences of the form ‘p is a reason for q’ that yields a coherent account of their logical properties. The idea that we will develop is that ‘p is a reason for q’ is acceptable just in case a suitably defined relation of incompatibility obtains between p and ¬q. As we will suggest, a theory of reasons based on this idea can solve three challenging (...) puzzles that concern, respectively, contraposing reasons, conflicting reasons, and supererogatory reasons, and opens a new perspective on some classical issues concerning non-deductive inferences. (shrink)

ABSTRACT Is there something specific about modelling that distinguishes it from many other theoretical endeavours? We consider Michael Weisberg’s thesis that modelling is a form of indirect representation through a close examination of the historical roots of the Lotka–Volterra model. While Weisberg discusses only Volterra’s work, we also study Lotka’s very different design of the Lotka–Volterra model. We will argue that while there are elements of indirect representation in both Volterra’s and Lotka’s modelling approaches, they are largely due to two (...) other features of contemporary model construction processes that Weisberg does not explicitly consider: the methods-drivenness and outcome-orientedness of modelling. 1Introduction 2Modelling as Indirect Representation 3The Design of the Lotka–Volterra Model by Volterra 3.1Volterra’s method of hypothesis 3.2The construction of the Lotka–Volterra model by Volterra 4The Design of the Lotka–Volterra Model by Lotka 4.1Physical biology according to Lotka 4.2Lotka’s systems approach and the Lotka–Volterra model 5Philosophical Discussion: Strategies and Tools of Modelling 5.1Volterra’s path from the method of isolation to the method of hypothesis 5.2The template-based approach of Lotka 5.3Modelling: methods-driven and outcome-oriented 6Conclusion. (shrink)

In “Is semantics possible?” Putnam connected two themes: the very possibility of semantics (as opposed to formal model theory) for natural languages and the proper semantic treatment of common nouns. Putnam observed that abstract semantic accounts are modeled on formal languages model theory: the substantial contribution is rules for logical connectives (given outside the models), whereas the lexicon (individual constants and predicates) is treated merely schematically by the models. This schematic treatment may be all that is needed for an account (...) of validity in a formal setting, but it does not help to understand how proper and common nouns function in reality (not in models). Putnam then initiated the empirical study of such nouns to indicate, (i), that the popular Frege-Carnap account of them as (“disguised” compound) predicates is empirically incorrect, and, (ii), that they offer a new paradigm for a naturalistic semantics of natural languages. We take Putnam’s program a couple of steps further. First, we investigate the semantics of common nouns and argue that they refer (to kinds), rather than apply by satisfaction/truth to a designation/denotation. Second, we point to general results about semantics as a theory whose fulcrum is the reference relation rather than satisfaction in models and validity across them. (shrink)

This paper aims to discuss Spinoza’s theory of consciousness by arguing that consciousness is the expression of bodily complexity in terms of adequate knowledge. Firstly, I present the link that Spinoza built up in the second part of the Ethics between the ability of the mind to know itself and the idea ideae theory. Secondly, I present in what sense consciousness turns out to be the result of an adequate knowledge emerging from the epistemological resources of a body as complex (...) as the human one. Thirdly, I address a possible objection that might arise in considering our daily-life experience of consciousness. I conclude that understanding consciousness in terms of adequate knowledge is coherent with both our phenomenological experience and Spinoza’s texts. Such an interpretation permits to underline the overthrow of Descartes’ account of consciousness by Spinoza. (shrink)

This volume takes cue from the idea that the thought of no philosopher can be understood without considering it as the result of a constant, lively dialogue with other thinkers, both in its internal evolution as well as in its reception, re-use, and assumption as a starting point in addressing past and present philosophical problems. In doing so, it focuses on a feature that is crucially emerging in the historiography of early modern philosophy and science, namely the complexity in the (...) production of knowledge. The book explores the applicability of this approach to a long-considered armchair philosopher, namely René Descartes, who is now more and more understood as a full-blown scientist, networker, and intellectual éminence grise rather than as the mere philosopher of the cogito, as well as the originator of different ‘Cartesianisms’ which encompassed many ideas and approaches for long captured by dichotomic historiographical categories as rationalism and empiricism, or speculative and experimental philosophy. The essays gathered in the volume aim to address the ways in which Descartes’s philosophy evolved and was progressively understood by scientists, philosophers, and intellectuals from different contexts and eras, either by considering direct interlocutors of Descartes such as Isaac Beeckman and Elisabeth of Bohemia, early modern thinkers who developed upon his ideas and on particular topics as Nicolas Malebranche or Thomas Willis, those who adapted his overall methodology in developing new systems of knowledge as Johannes Clauberg and Pierre-Sylvain Régis, and contemporary thinkers from continental and analytic traditions like Emanuele Severino and Peter Strawson. (shrink)

The picture of synthetic biology as a kind of engineering science has largely created the public understanding of this novel field, covering both its promises and risks. In this paper, we will argue that the actual situation is more nuanced and complex. Synthetic biology is a highly interdisciplinary field of research located at the interface of physics, chemistry, biology, and computational science. All of these fields provide concepts, metaphors, mathematical tools, and models, which are typically utilized by synthetic biologists by (...) drawing analogies between the different fields of inquiry. We will study analogical reasoning in synthetic biology through the emergence of the functional meaning of noise, which marks an important shift in how engineering concepts are employed in this field. The notion of noise serves also to highlight the differences between the two branches of synthetic biology: the basic science-oriented branch and the engineering-oriented branch, which differ from each other in the way they draw analogies to various other fields of study. Moreover, we show that fixing the mapping between a source domain and the target domain seems not to be the goal of analogical reasoning in actual scientific practice. (shrink)

Some mental states have valence—they are pleasant or unpleasant. According to imperativism, valence depends on imperative content, while evaluativism tells us that it depends on evaluative content. We argue that if one considers valence’s informational profile, it becomes evident that imperativism is superior to evaluativism. More precisely, we show that if one applies the best available metasemantics to the role played by (un)pleasant mental states in our cognitive economy, then these states turn out to have imperative rather than evaluative content, (...) since: (i) they are much more informative about behaviour than they are about the world; and (ii) they occupy a stage in the information-processing chain that is closer to behaviour production than it is to the uptake of sensory information. This is our metasemantic argument for imperativism. (shrink)

This paper outlines an account of concessive conditionals that rests on two main ideas. One is that the logical form of a sentence as used in a given context is determined by the content expressed by the sentence in that context. The other is that a coherent distinction can be drawn between a reading of ‘if’ according to which a conditional is true when its consequent holds on the supposition that its antecedent holds, and a stronger reading according to which (...) a conditional is true when its antecedent supports its consequent. As we will suggest, the logical form of concessive conditionals can be elucidated by relying on this distinction. (shrink)

According to Phenomenal Conservatism (PC), if a subject S has an appearance that P, in the absence of defeaters, S has justification for believing P by virtue of her appearance's inherent justifying power. McCain and Moretti (2021) have argued that PC is affected by the problem of reflective awareness: if S becomes reflectively aware of an appearance, the appearance loses its inherent justifying power. This limits the explanatory power of PC and reduces its antisceptical bite. This paper provides a novel (...) argument to the same conclusion and contends that it does not apply to Phenomenal Explanationism, the appearance-based account of justification alternative to PC defended by McCain and Moretti (2021). (shrink)

One striking feature of the contemporary modeling practice is its interdisciplinarity: the same function forms and equations, and mathematical and computational methods are being transferred across disciplinary boundaries. Within philosophy of science this interdisciplinary dimension of modeling has been addressed by both analogy and template-based approaches that have proceeded separately from each other. We argue that a more fully-blown account of model transfer needs both perspectives. We examine analogical reasoning and template application through a detailed case study on the transfer (...) of the Ising model from physics into neuroscience. Our account combines the analogy and template-based approaches through the notion of a model template that highlights the conceptual side of model transfer. (shrink)

Synthetic biology has a strong modal dimension that is part and parcel of its engineering agenda. In turning hypothetical biological designs into actual synthetic constructs, synthetic biologists reach towards potential biology instead of concentrating on naturally evolved organisms. We analyze synthetic biology’s goal of making biology easier to engineer through the combinatorial theory of possibility, which reduces possibility to combinations of individuals and their attributes in the actual world. While the last decades of synthetic biology explorations have shown biology to (...) be much more difficult to engineer than originally conceived, synthetic biology has not given up its combinatorial approach. (shrink)

In some recent works, Crupi and Iacona have outlined an analysis of ‘if’ based on Chrysippus’ idea that a conditional holds whenever the negation of its consequent is incompatible with its antecedent. This paper presents a sound and complete system of conditional logic that accommodates their analysis. The soundness and completeness proofs that will be provided rely on a general method elaborated by Raidl, which applies to a wide range of systems of conditional logic.

In this chapter, I discuss the contents of the now lost academic dictata of Henricus Regius, embodying one of the first comprehensive teachings of natural philosophy inspired by René Descartes at a university. These contents are partially extant in Martin Schoock’s Admiranda methodus (1643), and can be reconstructed from Regius’s early texts and correspondence with Descartes. They reveal that Regius was original with respect to Descartes especially in his account of magnetism, which was functional to his medical physiology, and discussion (...) of the powers of plants, out of which he developed such a physiology. (shrink)

In this paper we first develop a Dialetheic Logic with Exclusive Assumptions and Conclusions, DLEAC. We adopt the semantics of the logic of paradox (LP) extended with a notion of model suitable for DLEAC, and we modify its proof theory by refining the notions of assumption and conclusion, which are understood as speech acts. We introduce a new paradox – the rejectability paradox – first informally, then formally. We then provide its derivation in an extension of DLEAC contanining the rejectability (...) predicate. (shrink)