In this paper it is argued that the fundamental difference of the formal and the informal position in the philosophy of mathematics results from the collision of an object and a process centric perspective towards mathematics. This collision can be overcome by means of dialectical analysis, which shows that both perspectives essentially depend on each other. This is illustrated by the example of mathematical proof and its formal and informal nature. A short overview of the employed materialist dialectical approach is (...) given that rationalises mathematical development as a process of model production. It aims at placing more emphasis on the application aspects of mathematical results. Moreover, it is shown how such production realises subjective capacities as well as objective conditions, where the latter are mediated by mathematical formalism. The approach is further sustained by Polanyi’s theory of problem solving and Stegmaier’s philosophy of orientation. In particular, the tool and application perspective illuminates which role computer-based proofs can play in mathematics. (shrink)

Over the last four decades computers and the internet have become an intrinsic part of all our lives, but this speed of development has left related philosophical enquiry behind. Featuring the work of computer scientists and philosophers, these essays provide an overview of an exciting new area of philosophy that is still taking shape.

In this chapter we will investigate the nature of abstraction in detail, its entwinement with logical thinking, and the general role it plays for the mind. We find that non-logical capabilities are not only important for input processing, but also for output processing. Human beings jointly use analytic and embodied capacities for thinking and acting, where analytic thinking mirrors reflection and logic, and where abstraction is the form in which embodied thinking is revealed to us. We will follow the philosophical (...) analyses of Heidegger and Polanyi to elaborate the fundamental difference between abstraction and logics and how they come together in the mind. If computational approaches to mind are to be successful, they must be able to recognize meaningful and salient elements of a context and engage in abstraction. Computational minds must be able to imagine and volitionally blend abstractions as a way of recognizing gestalt contexts. And it must be able to discern the validity of these blendings in ways that, in humans, arise from a sensus communis. (shrink)

It is unknown to what extent medical researchers generalize study findings beyond their samples when their sample size, sample diversity, or knowledge of conditions that support external validity do not warrant it. It is also unknown to what extent medical researchers describe their results with precise quantifications or unquantified generalizations, i.e., generics, that can obscure variations between individuals. We therefore systematically reviewed all prospective studies (n = 533) published in the top four highest ranking medical journals, Lancet, New England Journal (...) of Medicine (NEJM), Journal of the American Medical Association (JAMA), and the British Medical Journal (BMJ), from January 2022 to May 2023. We additionally reviewed all NEJM Journal Watch clinical research summaries (n = 143) published during the same time. Of all research articles reporting prospective studies, 52.5% included generalizations beyond specific national study populations, with the numbers of articles with generics varying significantly between journals (JAMA = 12%; Lancet = 77%) (p < 0.001, V = 0.48). There was no evidence that articles containing broader generalizations or generics were correlated with larger or more nationally diverse samples. Moreover, only 10.2% of articles with generalizations beyond specific national populations reported external validity strengthening factors that could potentially support such extrapolations. There was no evidence that original research articles and NEJM Journal Watch summaries intended for practitioners differed in their use of broad generalizations, including generics. Finally, from the journal with the highest citation impact, articles containing broader conclusions were correlated with more citations. Since there was no evidence that studies with generalizations beyond specific national study populations or with generics were associated with larger, more nationally diverse samples, or with reports of population similarity that may permit extensions of conclusions, our findings suggest that the generalizations in many articles were insufficiently supported. Caution against overly broad generalizations in medical research is warranted. (shrink)

Name der Zeitschrift: Frühmittelalterliche Studien Jahrgang: 48 Heft: 1 Seiten: V-VIII.

The Synthetic Theory of Evolution (SyntheticDarwinism) was forged between 1925 and 1950.Several historians of science have pointed outthat this synthesis was a joint venture ofSoviet, German, American and Britishbiologists: A fascinating example of scientificcooperation, considering the fact that theevolutionary synthesis emerged during thedecades in which these countries were engagedin fierce political, military and ideologicalconflicts. The ideological background of itsAnglo-American representatives has beenanalyzed in the literature. We have examinedthe scientific work and ideological commitmentsof the German Darwinians during the ThirdReich. We based (...) our analysis on four criteria:1) General attitude towards the Third Reich. 2) Membership in the NSDAP and other nationalsocialist organizations. Endorsement anddisapproval of the state ideology in 3) scientific and 4) other publications. We willmainly discuss the various authors that havecontributed to Die Evolution derOrganismen (1943), a collection thatrepresented the evolutionary synthesis inGermany. Most of the authors promoted eugenicideas, but not all of them adopted the racistinterpretation of the Third Reich. Anotherfinding is that there existed no directconnection between party membership andpromotion of the state ideology. (shrink)

Для широкого круга читателей (слушателей, аспирантов, преподавателей) интересующихся данной проблемой.

Bringing together writings on united Germany, this volume addresses the consequences of German history, the challenges and perils of the post-Wall era, and Germany's place in contemporary Europe. The author argues that 1945 - not 1989 - was the crucial turning point in German history.

Shaʻar ha-ṭohorah. Liḳuṭim mi-Sefer ḥasidim -- Śiḥot u-maʼamarim.

In lieu of an abstract, here is a brief excerpt of the content:Notes and Discussions AGOSTINO NIFO'S EARLY VIEWS ON IMMORTALITY Various historians of Renaissance philosophy have taken some notice of the prolific author and important philosopher of the late 15th and early 16th centuries, Agostino Nifo (1470-1538), x but no one has yet studied his writings in a methodical and exhaustive fashion. 2 He not only published philosophical works in logic, physics, psychology and metaphysics, but he also authored treatises (...) on humanist topics? Recent scholars have tended to concentrate their attention on his psychological doctrines, no doubt because he was one of the major opponents of Pietro Pomponazzi (1462-1525) during the immortality controversy.4 Nifo published his De Immortalitate Animae in 1518 as a reply to the De lmmortalitate Ardmae, On the year of Nifo)s birth, see Bruno Nardi, Saggi sull'aristotelismo padovano dal secolo xav al xvl ('Florence, 1958), p. 284, n. 8. There is contemporary evidence that he died on January 18, 1538. See Bartolommeo Capasso, "Le cronache de li antiqui ri del regno di Napoli di D. Gaspare Fuscolill0," Archivio storico per le province napoletane, I (1876), p. 538. The standard bio-bibliography still remains Pasquale Tuozzi, "Agostino Nifo 9 le sue opere," Atti e memorie della R. Accademia di Scienze, Lettere ed Arti in Padova, Nuova scrie, XX (Padua, 1904), pp. 63-86. But see also Giuseppr Tommasino, Tra umanisti e filosoft (Maddaloni, 1921), Porte I, pp. 123-147; and Edward P. Mahoney, "A Note on Agostino Nifo," Philological Quarterly (forthcoming). z See Franeeseo Fiorentino, Pietro Pomponazzi; Studi storici su la scuola bolognese e padovana del secolo xvI (Florence, 1868); Carlo Giacon, La seconda scolastica: 1 grandi commentatori di San Tommaso (Milan, 1944); Etienne Gilson, "L'affaire de l'immortalit6 de l'fime ~t Venise at* d6but du xvIe si~ele," in Umanesirno europeo e uraanesimo veneziano, ed. Vittore Branea (Florence, 1963), pp. 31-61; Miehele Giorgiantonio, "Un nostro filosofo dimentieato dcl '400 (Luea Prassicio e Agostino Nifo)," Sophia, XVI (1948), pp. 212-214 and 303-312; Bruno Nardi, Saggi sulraristotelismo padovano dal secolo x]v al xvI (Florence, 1958); idem, Sigieri di Brabante nel pensiero del Rinascimento Italiano (Rome, 1945); Giovanni di NapoH, L'immortalitd delranima nel Rinascimento ('Turin, 1963); John Herman Randall, Jr., The School of Padua and the Emergence of Modern Science (Padua, 1961); Wilhelm Risse, Die Logik der Neuzeit, I (Stuttgart, 1964); Eugenio Garin, La cultura [ilosofica del Rinascimento Italiano (Florence, 1961); idem, Storia della filosofia italiana, II (Turin, 1966). See Nifo's De Armorum Literarumque Comparatione Commentariolus (Naples, 1526); De Pulchro et Amore (Rome, 1531); De Re Aulica (Naples, 1534); and Prima Pars Opusculorum (Venice, 1535). The second of these works has been studied by Jules Houdoy, La beaut~ des femmes dans la litt#rature et darts rart du xII" au xvIe si~cle; Analyse du livre de A. Niphus du Beau et de l'amour (Paris, 1876). 4 For recent discussion of the immortality controversy, see Etienne Gilson, "Autour de Pomponazzi, ProbMmatique de l'immortalit~ de l'~me en Italic au d~but du xvIe si~.cle," Archives d'histoire doctrinale et litt~raire du moyen dge, Ann6e 1961, pp. 163-179; Giovanni di Napoli, op. cit., especially pp. 227-338; Paul Oskar Kristeller, Eight Philosophers of the Italian Renaissance (Stanford, 1964), pp. 72-90; Bruno Nardi, Studi su Pietro Pomponazzi (Florence, 1965); Martin Pine, "Pomponazzi and the Problem of 'Double Truth'," Journal ot the History of Ideas, XXIX (1968), pp. 163-176; Harold Shulsky, "Paduan Epistemology and the Doctrine of the One Mind," lournal of the History of Philosophy, VI (1968), pp. 341-361. [451] 452 HISTORY OF PHILOSOPHY (1516) of Pomponazzi, who had argued that personal immortality cannot be philosophically demonstrated, s But while these scholars correctly point out that Nifo abandoned an Averroist interpretation of Aristotle concerning the unity of the intellect and the immortality of the soul for the position which they assume to be Thomistic, they are not precise as to just when Nile made the shift.6 They have not observed that in his first two printed works, namely, the commentary on Averroes' Destructio Destructionum (1497) and the early commentary on the De Anima (1503), Nifo explicitly accepts Averroes as the... (shrink)

It is very useful to distinguish between four types of interactions in nature: gravitation, and then electromagnetism, weak interaction and strong interaction. The mathematical structure of electromagnetism but also of weak and strong interaction could be understood as induced by a local gauge group. The associated groups are the unitary group in one dimension—U—for electromagnetism, the special unitary group in two dimensions—SU—for the weak interaction, and the special unitary group in three dimensions—SU—for the strong interaction. The essence of this article (...) is to give a “first-principles” explanation for the three gauge groups. (shrink)

Gupta-Belnap-style circular definitions use all real numbers as possible starting points of revision sequences. In that sense they are boldface definitions. We discuss lightface versions of circular definitions and boldface versions of inductive definitions.

In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 475 whereas in some texts Aquinas explicitly teaches that the higher senses of vision and hearing are the ones that mainly (praecipue, principaliter) lead to aesthetic experience.t5 Moreover, the statement that only in the thirteenth century was the question of the distinction between the higher and lower senses explicitly raised (p. l13f.), is true only if the author meant to exclude the pre-medieval or patristic as well (...) as the ancient period of philosophy.16 Finally, there is one technical weakness in this book that cannot be left unmentioned. The overwhelming majority of references are not to the original medieval texts treated and/or quoted in the three-volume edition, but to the number of volume and page in that edition. Thus the reader must be both familiar with French and in possession of the original three-volume work, or remain hopelessly frustrated every time he wishes to consult the original texts or at least know which texts are being mentioned. Yet, if one knows French, he does not need the English translation; and if he is also fortunate enough to have access to the original three-volume version, he will not need the abridged version of the original work at all. For this reason, should there be a second edition of this translation, the references should be changed from the l~tudes to the original medieval works. Although the negative remarks are more lengthy in this review than the positive evaluation is, it would be a grave mistake to conclude from this that the defects outweigh the value of the book. As a matter of fact, upon finishing the reading of this translation of De Bruyne's work, this reviewer was left with the conviction that, in the final balance, the reader can only greatly benefit from this work, and we all owe gratitude to the translator for having made this highly informative work available in the English language. FRANCIS J. KOVACH University of Oklahoma 1~ Summ. theol. I-II,27,1,ad 3; In Psalm. 44,2. ~6 Cf. Plato, Hipp. maL 298 A; Gorg. 474 D; Leg. XII, 961 D; Aristotle, De an. III,3, 429a 3; Augustine, De lib. arb. II,7, 16-19; 14,38; De ord. II,ll, etc. Le origini del metodo analitico: il Cinquecento. By Angelo Crescini. (Udine: Del Bianco, 1965. Published by the Istituto di Filosofia, Facnlt~ di Lettere e Filosofia of the Universit~ degli Studi di Trieste. Pp. 340. L 5,000) Professor Crescini has certainly picked a topic of great interest upon which to write. Recent students of Renaissance logic such as N. W. Gilbert, V. Mufioz Delgado, W. Ong, G. Papuli, W. Risse, and C. Vasoli have pointed out the vitality and significance associated with the development of the logical thought of the period. The general question of methodology has produced an enormous scholarly literature in recent years,I but much remains to be done before we fully understand how various methodologies have evolved and what relation philosophical discussions of method have had to the actual practice of science. Therefore, it would be most desirable to have a 1 For further information see Laurens Laudan, "Theories of Scientific Method from Plato to Mach: A Bibliographical Review," History of Science 7 (1968), 1-63. 476 HISTORY OF PHILOSOPHY detailed, comprehensive, and accurate study of the evolution of analytic method during the sixteenth century, particularly in view of the significance taken on by such a methodology with the 'rise of modern science'. With such a background in view the reviewer comes to this volume in anticipation of being generally enlightened on various matters. Unfortunately, Crescini's book is on the whole disappointing, although nearly everyone will find the odd bit of information of which he was not previously aware. It definitely does not, however, establish a solid foundation for later studies. The book is organized into three principal parts, dealing with the development of the analytic method in logic (pp. 21-188), in the natural sciences (pp. 189-284), and in mathematics (vv. 285-328). The first section treats discussions of the topic among writers on logical subject, under which heading are included 'humanist' logicians such as... (shrink)

Wedin considers the relation between the ontological commitment in the Categories and the semantical theory of underlying ontological configurations for standard categorical statements. According to Wedin, Aristotle's fourfold division of beings, which divides things according to whether they are, or are not, said of, and/or present in a subject, is a meta‐ontology that is concerned with beings per se, i.e. the fundamental things that are. Wedin explains that the primacy of c‐substance involves an asymmetry in the relation between c‐substance and (...) everything else, or between the substantial and the nonsubstantial. This is because there is an ontological dependence of non‐substances, and also of secondary substances, on substances: everything is either said of, or in, primary substance. The argument of this chapter, then, is that the world of the Categories is a world of individuals: all ontological relations needed for semantics can be accommodated by appeal to individuals only. (shrink)

Wedin argues that Aristotle makes form the substance of c‐substances because it is the essence of the c‐substance. Much of this chapter consists of a careful examination of a passage in Metaphysics Zeta 4, which Wedin calls the ‘New Primacy Passage’, that is crucial to Wedin's overall thesis, because here Aristotle appeals to a notion of definitional primacy, as opposed to the ontological primacy of the Categories. Z.4 focuses on this claim that form must be essence: Wedin argues that essence (...) is a certain kind of form, a form of a genus ; this does not mean ‘species’, as some commentators have thought. This is because the species is a combination of form and matter, whereas the genous eidos, Wedin argues, is the formal part only of the definition that applies to the thing. On Wedin's account, Aristotle introduces the notion of explanatory primacy of form in Z.4. (shrink)

Wedin offers an interpretation of Metaphysics Zeta 13, a very important and difficult chapter, where Aristotle apparently denies that substance is a universal, having, on most accounts, already claimed that form is substance, and that form is a universal. This interpretation of the argument of Z.13, Wedin argues, threatens the possibility of attaining a definition of substance, and places in doubt what has gone before in the treatise. According to Wedin, what Aristotle is concerned with in Z.13 is not the (...) denial that substance is a universal but rather with the denial that anything predicated universally of a c‐substance is the substance‐of the c‐substance, which Wedin calls ‘Weak proscription’. In Wedin's account of Z.13, then, Aristotle is continuing to pursue issues first raised in Z.10–11 that have to do with the relations between form and definition, and form and the universal. Wedin also argues that the dilemma at the conclusion of Z.13, regarding the definability of substance, is resolved in Z.16, with the notion of ‘Dual Complexity’, according to which the parts of a form exist potentially in the form, just as the parts of the c‐substance exist potentially in the c‐substance. (shrink)

Wedin addresses the debate over whether nonsubstantial individuals, that inhere in a subject but are not said of a subject, i.e. accidents, such as the pallor of Socrates, are nonrecurring particulars or a kind of determinate universal. Wedin examines the secondary literature on this topic and divides it into two schools of thought, determined by the contributions of J.L. Ackrill and G.E.L. Owen. According to Ackrill, individuals in non‐substance categories are particular to the substance they are in; Owen critiques Ackrill's (...) view, and proposes that these items can recur in more than one subject and hence are a sort of universal. Wedin finds Owen's thesis unsatisfactory, even after supplementing it with an improved version due to Michael Frede; instead, Wedin argues for a revised version of Ackrill's interpretation of nonsubstantial individuals as nonrecurrent particulars. According to Wedin, Aristotle is committed to individuals only—e.g. to Socrates and to the particular bit of pallor in him: this conclusion has an important bearing on the ontological status of individuals and on the primacy of substance to nonsubstantial items. (shrink)

Wedin considers the problem of the compatibility of the Categories account of primary substance with the theory of substantial form of the Metaphysics. Wedin collects from the secondary literature the most important arguments for incompatibilism, and offers some proposals for restoring their harmony. While admitting the evident differences in the way Aristotle treats the question of substance in each treatise, Wedin is keen to argue that these differences are not sufficient to conclude that the treatises are incompatible. Wedin singles out (...) for particular attention, and criticism, Michael Frede and Gunther Patzig's account of Metaphysics Zeta, according to which the primary substance of the Metaphysics and the basic subject of predications is the form. Wedin considers two ‘philosophical’ arguments and one ‘Aristotelian’ argument for the subjecthood of forms, and argues that the textual evidence does not support the claim that form is the subject of accidents. (shrink)

Chapters 10 and 11 are critical to the argument of Metaphysics Zeta: these chapters are concerned with the purification of form. Z.10 introduces the apparatus of part and whole and consists of an argument to the end that form and its parts have priority over the other internal structural components of c‐substances, i.e. matter and the compound of form and matter; while in Z.11 Aristotle argues that form and its parts cannot involve any admixture of matter. Wedin argues that the (...) causal role of form presupposes its purity: if form is to explain why a certain portion of matter constitutes a c‐substance of a given kind, then matter—whether this latter is understood as functional, or remnant matter—cannot already be contained in the form. This is the ‘purity thesis’, as Wedin calls it: matter cannot be included in the definitions of natural organisms, Wedin points out, because that would make the explanandum a part of the principle that explains it. Wedin also argues that form must be sufficiently complex to provide definitions of the natures of particular compounds, which are complex, even though form itself is a kind of universal. (shrink)

In the Metaphysics, Aristotle often says that ‘form is substance’: in this chapter, Wedin argues that ‘substance’ in this context means the ‘substance‐of’ c‐substances. Wedin begins by examining Aristotle's use, and retention, of the framework of the Categories in Metaphysics Zeta, before turning to discuss Z.3, which is crucial to understanding the relation between the Categories and Metaphysics theories of substance, because it is usually thought that here Aristotle departs from the substance of the Categories. Wedin denies that Z.3 involves (...) a rejection of the Categories subjecthood criterion for primary substance: Aristotle rejects only the claim that one thing is the substance of another simply if it is the primary underlying subject of the other. Wedin argues that in Z.3 Aristotle introduces the idea of the ‘substance‐of’ a thing, and identifies as candidates for the substance of c‐substances the internal structural components form, matter, and the compound of form and matter. (shrink)

Wedin discusses Aristotle's claims in Metaphysics Zeta 6 that the essence of a thing is to be sought among its per se attributes, and that each thing that is primary and spoken of per se, e.g. primary substance, is the same as its essence. Wedin argues that the Zeta 6 Thesis, i.e. that the essence of a thing is the thing's immediate essence, is a crucial requirement of the explanatory role of essence as the substance of c‐substances. According to Wedin, (...) Aristotle introduces this requirement in order to establish that a thing's essence cannot depend on another essence. Form must be the essence; if form cannot explain the nature of the thing of which it is the form, there would be the threat of a regress of explanatory forms. At the end of the chapter, Wedin considers the problem that the identity of a thing and its essence is a requirement that can be met by non‐substance items, but he denies that this leads to a dilution of the conception of substance. (shrink)