The λ-continuum of inductive methods was derived from an assumption, called λ-condition, which says that the probability of finding an individual having property $x_{j}$ depends only on the number of observed individuals having property $x_{j}$ and on the total number of observed individuals. So, according to that assumption, all individuals with properties which are different from $x_{j}$ have equal weight with respect to that probability and, in particular, it does not matter whether any individual was observed having some property similar (...) to $x_{j}$ (the most complete proof of this result is presented in Carnap, 1980). The problem thus remained open to find some general condition, weaker than the λ-condition, which would allow for the derivation of probability functions which might be sensitive to similarity. Carnap himself suggested a weakening of the λ-condition which might allow for similarity sensitive probability functions (Carnap, 1980, p. 45) but he did not find the family of probability functions derivable from that principle. The aim of this paper is to present the family of probability functions derivable from Carnap's suggestion and to show how it is derived. In Section 1 the general problem of analogy by similarity in inductive logic is presented, Section 2 outlines the notation and the conceptual background involved in the proof, Section 3 gives the proof, Section 4 discusses Carnap's principle and the result, Section 5 is a brief review of the solutions which have previously been proposed. (shrink)

The semantical structures called T x W frames were introduced in (Thomason, 1984) for the Ockhamist temporal-modal language, $[Unrepresented Character]_{o}$ , which consists of the usual propositional language augmented with the Priorean operators P and F and with a possibility operator ◇. However, these structures are also suitable for interpreting an extended language, $[Unrepresented Character]_{so}$ , containing a further possibility operator $\lozenge^{s}$ which expresses synchronism among possibly incompatible histories and which can thus be thought of as a cross-history 'simultaneity' operator. (...) In the present paper we provide an infinite set of axioms in $[Unrepresented Character]_{so}$ , which is shown to be strongly complete for T x W-validity. Von Kutschera (1997) contains a finite axiomatization of T x W-validity which however makes use of the Gabbay Irreflexivity Rule (Gabbay, 1981). In order to avoid using this rule, the proof presented here develops a new technique to deal with reflexive maximal consistent sets in Henkin-style constructions. (shrink)

The semantical structures called T×W frames were introduced in (Thomason, 1984) for the Ockhamist temporal-modal language, ℒO, which consists of the usual propositional language augmented with the Priorean operators P and F and with a possibility operator ⋄. However, these structures are also suitable for interpreting an extended language, ℒSO, containing a further possibility operator ⋄s which expresses synchronism among possibly incompatible histories and which can thus be thought of as a cross-history ‘simultaneity’ operator. In the present paper we provide (...) an infinite set of axioms in ℒSO, which is shown to be strongly complete forT ×W-validity. Von Kutschera (1997) contains a finite axiomatization of T×W-validity which however makes use of the Gabbay Irreflexivity Rule (Gabbay, 1981). In order to avoid using this rule, the proof presented here develops a new technique to deal with reflexive maximal consistent sets in Henkin-style constructions. (shrink)

In this thesis I defend and pursue that line about the foundations of probability theory which has come to be known as "the logicist view about probability", and, in particular, the shape which it took in Carnap's Inductive Logic. ;Most philosophers who now deal with probability theory claim that Carnap's program of Inductive Logic has failed. The main aim of my thesis is to show that this judgment is based on a fundamental misunderstanding about the nature and the aim of (...) inductive logic. To that end, I follow, in chapter 1, the events in the history of probability, logic and mathematics which led to choosing certain requirements as the requirements which any theory about the foundations of probability must fulfill in order to be acceptable. ;In chapter 2 I explain how Carnap's inductive logic fulfills those requirements and how the method it uses to give foundations to probability theory can also be used to solve another major problem about probability, namely, the problem of statistical inference. ;Chapter 3 shows how the ideas explained in chapter 2 were developed, formally, by Carnap, and how Carnap's program can be continued in a particular case, that of reasoning by analogy. ;Finally, in chapter 4, I attempt to show that subjectivism about probability theory, the rival theory to Carnap's logicism, does not succeed in meeting the most basic requirement for the acceptability of any theory about the foundations of probability. (shrink)

This paper analyses and compares some of the automated reasoners that have been used in recent research for compliance checking. Although the list of the considered reasoners is not exhaustive, we believe that our analysis is representative enough to take stock of the current state of the art in the topic. We are interested here in formalizations at the _first-order_ level. Past literature on normative reasoning mostly focuses on the _propositional_ level. However, the propositional level is of little usefulness for (...) concrete LegalTech applications, in which compliance checking must be enforced on (large) sets of individuals. Furthermore, we are interested in technologies that are _freely available_ and that can be further investigated and compared by the scientific community. In other words, this paper does not consider technologies only employed in industry and/or whose source code is non-accessible. This paper formalizes a selected use case in the considered reasoners and compares the implementations, also in terms of simulations with respect to shared synthetic datasets. The comparison will highlight that lot of further research still needs to be done to integrate the benefits featured by the different reasoners into a single standardized first-order framework, suitable for LegalTech applications. All source codes are freely available at https://github.com/liviorobaldo/compliancecheckers, together with instructions to locally reproduce the simulations. (shrink)

Recent literature emphasizes an altered perception of the body in subjects practicing sport to pursue an ideal body image. Sometimes such bodily misperception is associated with the inability to re...

Infant-directed speech, the particular form of spontaneous language observed in interactions between parents and their infants, is a crucial aspect of the mother-infant interaction and an index of the attunement of maternal linguistic input to her infant communicative abilities and needs during dyadic interactions. The present study aimed to explore linguistic and pragmatic features of IDS during mother-infant interactions at 3-month of infant age. The effects of infant, maternal and dyadic factors on IDS were explored. Results evidenced few differences between (...) the groups on IDS linguistic characteristics. Moreover, observing the interaction of birth status and dyadic co-regulation, full-term mothers varied their IDS pragmatic features according to the quality of co-regulation while preterm mothers did not. Parenting stress was associated to specific linguistic IDS features independently from the birth status. Findings are discussed underling implications for the study of preterm dyads interactions and the importance to consider the interplay of several factors in affecting the quality of IDS. (shrink)

Applying value relevance analysis to a sample of European banks, we test the following: (i) the direct effects of the sustainability report on stock price; (ii) whether the report modifies the value relevance of financial accounting variables (indirect effects); and (iii) whether the value relevance of sustainability reports varies across countries. Results show that investors appreciate the additional and complementary disclosure provided by the sustainability report and that this disclosure produces a positive effect on stock prices. Estimates of the indirect (...) effects demonstrate that it has a negative influence on book value per share, whereas the effect on earnings per share is not significant. Cross-country analysis shows that the value relevance of the sustainability report varies across European countries, consistent with the hypothesis that the value relevance of the sustainability report is likely to be influenced by different institutional contexts. (shrink)

The negative impact of the COVID-19 pandemic on individuals’ psychosocial functioning was widely attested during the last year. However, the extent to which individual differences are associated with adaptive and maladaptive outcomes during quarantine in Italy remains largely unexplored. Using a person-oriented approach, the present study explored the association of personality profiles, based on three broad individual dispositions and two self-efficacy beliefs in the emotional area, with adaptive and maladaptive outcomes during the first Italian lockdown. In doing so, we focused (...) also on how different age groups differently faced the pandemic. The study was conducted through an online survey from May to June 2020 and included 1341 participants living in Italy, divided into two groups: 737 young adults aged 18–35 and 604 adults aged 36–60 years old. Latent Profile Analysis identified three personality profiles: resilient, vulnerable, and moderate. A subsequent path analysis model showed that the resilient profile was positively associated with prosocial behavior as an indicator of adaptive outcome, and negatively associated with three maladaptive outcomes: interpersonal aggression, depressive symptoms, and anxiety problems. Contrarily, the vulnerable profile resulted negatively associated with prosocial behavior and positively associated with the three maladaptive outcomes. Finally, regarding age group differences, young adults belonging to the vulnerable profile showed a greater association especially with interpersonal aggression, depression, and anxiety problems, as compared to adults belonging to the same profile. Overall, the results of the present study highlighted the importance to analyze individual functioning during an isolation period by using a person-oriented approach. Findings evidenced the existence of three different profiles and subsequent path analysis revealed, especially for the vulnerable profile and young adults, a greater maladaptive consequence of the quarantine. The practical implications will be discussed. (shrink)

Razón, poesía, historia.--La cuestión del estoicismo español.--El querer.

Concetta Pennuto, « Pulsations du corps en médecine », Histoire, médecine et santé, 11, été 2017, p. 55-76. Cet article propose une illustration de la manière dont la musique a fourni, par le biais de ses harmonies et son langage, un outil aux médecins pour comprendre et maîtriser les pulsations du coeur. Après une courte exploration de l'acte de prendre le pouls dans l'Antiquité et au Moyen Âge, l'étude présente des exemples de médecins modernes qui utilisent non seulement les (...) moyens de l'harmonie - Médecine – Nouvel article. (shrink)

Dibujar el pensamiento de Seneca es dibujar su figura viva, trazar el esquema de su persona. Seneca es un mediador que para alzarse sobre nosotros necesita de nuestra necesidad, pues solo apoyado en nuestra indigencia tiene sentido. Maria Zambrano lleva a cabo un lucido estudio de la figura y significacion del pensador cordobes y presenta una seleccion de sus escritos.

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without (...) providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. (shrink)

Spectroscopy is a scientific topic at the interface between Chemistry and Physics, which is taught at high school level in relation with its fundamental applications in Analytical Chemistry. In the first part of the paper, the topic of spectroscopy is analyzed having in mind the well-known Johnstone’s triangle of chemistry education, putting in evidence the way spectroscopy is usually taught at the three levels of chemical knowledge: macroscopic/phenomenological, sub-microscopic/molecular and symbolic ones. Among these three levels, following Johnstone’s recommendations the macroscopic (...) one is the most useful for high school students who learn spectroscopy for the first time. Starting from these premises, in the second part of the paper, we propose a didactic sequence which is inspired by the historical evolution of spectroscopic instruments from the first spectroscopes invented by Gustav Kirchhoff and Robert Bunsen in 1860 to the UV–vis spectrophotometers which became common since the 1960s. The idea behind our research is to analyze the conceptual advancements through the history of spectroscopy and to identify the key episodes/experiments and spectroscopic instruments. For each of them, a didactic activity, typically an experiment, is then proposed underlining the relevant aspects from the chemistry education point of view. The present paper is the occasion to reflect on the potentialities of an historical approach combined with a laboratorial one, and to discuss the role of historical instruments and related technological improvements to teach spectroscopy. (shrink)

The view that the subject matter of epistemology is the concept of knowledge is faced with the problem that all attempts so far to define that concept are subject to counterexamples. As an alternative, this article argues that the subject matter of epistemology is knowledge itself rather than the concept of knowledge. Moreover, knowledge is not merely a state of mind but rather a certain kind of response to the environment that is essential for survival. In this perspective, the article (...) outlines an answer to four basic questions about knowledge: What is the role of knowledge in human life? What is the relation between knowledge and reality? How is knowledge acquired? Is there any a priori knowledge? (shrink)

This monograph addresses the question of the increasing irrelevance of philosophy, which has seen scientists as well as philosophers concluding that philosophy is dead and has dissolved into the sciences. It seeks to answer the question of whether or not philosophy can still be fruitful and what kind of philosophy can be such. The author argues that from its very beginning philosophy has focused on knowledge and methods for acquiring knowledge. This view, however, has generally been abandoned in the last (...) century with the belief that, unlike the sciences, philosophy makes no observations or experiments and requires only thought. Thus, in order for philosophy to once again be relevant, it needs to return to its roots and focus on knowledge as well as methods for acquiring knowledge. Accordingly, this book deals with several questions about knowledge that are essential to this view of philosophy, including mathematical knowledge. Coverage examines such issues as the nature of knowledge; plausibility and common sense; knowledge as problem solving; modeling scientific knowledge; mathematical objects, definitions, diagrams; mathematics and reality; and more. This monograph presents a new approach to philosophy, epistemology, and the philosophy of mathematics. It will appeal to graduate students and researchers with interests in the role of knowledge, the analytic method, models of science, and mathematics and reality. (shrink)

Hilary Putnam is one of the world’s leading philosophers. His highly original and often provocative ideas have set the agenda for a variety of debates in philosophy of science, philosophy of mind and philosophy of language. His now famous philosophical thought experiments, such as the ‘Twin earth’ and ‘the brains in the vat’ have become part of the established canon in philosophy and cognitive science. _Reading Putnam_ is an outstanding overview and assessment of Hilary Putnam’s work by a team of (...) international contributors, and includes replies by Putnam himself. Divided into clear sections, it contains chapters on key aspects of Putnam’s large body of writing, including: Scientific realism and the changes that Putnam’s thought has undergone on this topic analyticity and ontology, including the important interconnections between the views of Putnam and Quine Putnam’s arguments concerning externalist views of meaning and reference, questions of conceptual relativity, and his preoccupation with ethics through a denial of the fact–value dichotomy Putnam’s developing views on perception. Offering an excellent survey of Putnam’s work, _Reading Putnam_ is essential for those studying philosophy of mind, philosophy of language, and philosophy of science, as well as for anyone interested in contemporary philosophy. (shrink)

In the literature, the pragmatic dimension of metaphors has been clearly acknowledged. Metaphors are regarded as having different possible uses, especially pursuing persuasion. However, an analysis of the specific conversational purposes that they can be aimed at achieving in a dialogue and their adequacy thereto is still missing. In this chapter, we will address this issue focusing on the classical distinction between the explanatory and persuasive uses of metaphors, which is, however, complex to draw at an analytical level and often (...) blurred and controversial also from a theoretical point of view. Building on the analysis of explanation in different theories and fields of study, we show how it can be conceived as characterized by a cognitive and a pragmatic dimension, where the transference of understanding is used pragmatically for different dialogical goals - such as informing, making a joint decision, and most importantly persuading. In this sense, the cognitive effects of understanding are not incompatible with a persuasive dialogical purpose. This theoretical proposal will be applied to examples drawn from the medical context, to show how a pragmatic approach to explanation can account for the complexity of the cases that can be found in actual dialogical contexts. (shrink)

El artículo expone en detalle el texto agustiniano de conf. 12,37 y explica cómo el obispo ha hablado aparentemente acerca del Génesis: en realidad, ha disertado sobre su obra y ha indicado lo que puede ser de provecho para el lector, desarrollando con amplitud una fuente clásica, un pasaje de Cicerón (Top. 33).

A partir de los paralelismos lexemáticos entre conf. 5, 15 y la 'Eneida', el artículo estudia los paralelismos semánticos y semióticos entre ambos textos, para señalar como uno de los hipotextos de conf. 5, 15 el de los libros IV-VI de la 'Eneida' virgiliana.

In a very influential paper Rota stresses the relevance of mathematical beauty to mathematical research, and claims that a piece of mathematics is beautiful when it is enlightening. He stops short, however, of explaining what he means by ‘enlightening’. This paper proposes an alternative approach, according to which a mathematical demonstration or theorem is beautiful when it provides understanding. Mathematical beauty thus considered can have a role in mathematical discovery because it can guide the mathematician in selecting which hypothesis to (...) consider and which to disregard. Thus aesthetic factors can have an epistemic role qua aesthetic factors in mathematical research. (shrink)

From antiquity several philosophers have claimed that the goal of natural science is truth. In particular, this is a basic tenet of contemporary scientific realism. However, all concepts of truth that have been put forward are inadequate to modern science because they do not provide a criterion of truth. This means that we will generally be unable to recognize a scientific truth when we reach it. As an alternative, this paper argues that the goal of natural science is plausibility and (...) considers some characters of plausibility. (shrink)

The paper distinguishes between two kinds of mathematics, natural mathematics which is a result of biological evolution and artificial mathematics which is a result of cultural evolution. On this basis, it outlines an approach to the philosophy of mathematics which involves a new treatment of the method of mathematics, the notion of demonstration, the questions of discovery and justification, the nature of mathematical objects, the character of mathematical definition, the role of intuition, the role of diagrams in mathematics, and the (...) effectiveness of mathematics in natural science. (shrink)

In the last few decades there has been a revival of interest in diagrams in mathematics. But the revival, at least at its origin, has been motivated by adherence to the view that the method of mathematics is the axiomatic method, and specifically by the attempt to fit diagrams into the axiomatic method, translating particular diagrams into statements and inference rules of a formal system. This approach does not deal with diagrams qua diagrams, and is incapable of accounting for the (...) role diagrams play as means of discovery and understanding. Alternatively, this paper purports to show that the view that the method of mathematics is the analytic method is capable of dealing with diagrams qua diagrams, and of accounting for such role. (shrink)

Although in the past three decades interest in mathematical explanation revived, recent literature on the subject seems to neglect the strict connection between explanation and discovery. In this paper I sketch an alternative approach that takes such connection into account. My approach is a revised version of one originally considered by Descartes. The main difference is that my approach is in terms of the analytic method, which is a method of discovery prior to axiomatized mathematics, whereas Descartes’s approach is in (...) terms of the analytic–synthetic method, which is a heuristic pattern in already axiomatized mathematics. (shrink)

The question that is the subject of this article is not intended to be a sociological or statistical question about the practice of today’s mathematicians, but a philosophical question about the nature of mathematics, and specifically the method of mathematics. Since antiquity, saying that mathematics is problem solving has been an expression of the view that the method of mathematics is the analytic method, while saying that mathematics is theorem proving has been an expression of the view that the method (...) of mathematics is the axiomatic method. In this article it is argued that these two views of the mathematical method are really opposed. In order to answer the question whether mathematics is problem solving or theorem proving, the article retraces the Greek origins of the question and Hilbert’s answer. Then it argues that, by Gödel’s incompleteness results and other reasons, only the view that mathematics is problem solving is tenable. (shrink)

In the past century the received view of definition in mathematics has been the stipulative conception, according to which a definition merely stipulates the meaning of a term in other terms which are supposed to be already well known. The stipulative conception has been so absolutely dominant and accepted as unproblematic that the nature of definition has not been much discussed, yet it is inadequate. This paper examines its shortcomings and proposes an alternative, the heuristic conception.

The philosophy of mathematics of the last few decades is commonly distinguished into mainstream and maverick, to which a ‘third way’ has been recently added, the philosophy of mathematical practice. In this paper the limitations of these trends in the philosophy of mathematics are pointed out, and it is argued that they are due to the fact that all of them are based on a top-down approach, that is, an approach which explains the nature of mathematics in terms of some (...) general unproven assumption. As an alternative, a bottom-up approach is proposed, which explains the nature of mathematics in terms of the activity of real individuals and interactions between them. This involves distinguishing between mathematics as a discipline and the mathematics embodied in organisms as a result of biological evolution, which however, while being distinguished, are not opposed. Moreover, it requires a view of mathematical proof, mathematical definition and mathematical objects which is alternative to the top-down approach. (shrink)

Can philosophy still be fruitful, and what kind of philosophy can be such? In particular, what kind of philosophy can be legitimized in the face of sciences? The aim of this paper is to answer these questions, listing the characteristics philosophy should have to be fruitful and legitimized in the face of sciences. Since the characteristics in question demand that philosophy search for new knowledge and new rules of discovery, a philosophy with such characteristics may be called the ‘heuristic view’. (...) According to the heuristic view, philosophy is an inquiry into the world which is continuous with the sciences. It differs from them only because it deals with questions which are beyond the present sciences, and in order to deal with them must try unexplored routes. By so doing, when successful, it may even give birth to new sciences. In listing the characteristics that philosophy should have, the paper systematically compares them with classical analytic philosophy, because the latter has been the dominant philosophical tradition in the last century. (shrink)

Probability as understood today, namely as a quantitative notion expressible by means of a function ranging in the interval between 0–1, took shape in the mid-17th century, and presents both a mathematical and a philosophical aspect. Of these two sides, the second is by far the most controversial, and fuels a heated debate, still ongoing. After a short historical sketch of the birth and developments of probability, its major interpretations are outlined, by referring to the work of their most prominent (...) representatives. The final section addresses the question of whether any of such interpretations can presently be considered predominant, which is answered in the negative. (shrink)

This volume deals with the rapports among the extant Greek commentaries on Aristotle's _Metaphysics_: Alexander of Aphrodisias, Syrianus, Asclepius, Ps. Alexander. It traces the precise map of these texts and provides a starting point for any future research in the field.