The change in the organization of science education over the past fifty years is quickly recalled. Being its cultural bound the lack of a conception of the foundation of science, the multiple innovations have resulted as temporary improvements without a clear direction, apart from the technocratic goal of an automation of learning processes. The discovery of two dichotomies as the foundations of science suggests a pluralist conception of science, and hence the need to entirely renew science education, in particular by (...) introducing the notions of incommensurability and radical variations in meaning of the basic notions. This change was already anticipated by several proposals within each subject-matter. (shrink)

Quel est le rôle de Galilée dans la naissance séculaire de la science moderne? Je réponds à la question ci-dessus à la lumière de deux nouveaux éléments. Dès le xvie siècle, Nicolas de Cues, quoiqu’il ne pratiquât pas la science expérimentale, a anticipé une partie substantielle de la révolution copernicienne et de la naissance de la méthodologie galiléenne. Le deuxième élément est l’introduction d’une nouvelle conception des fondements de la science ; ils sont définis comme constitués de trois dialectiques. Après (...) cette définition, la naissance de la science moderne correspond à un très long processus historique qui se conclut à notre époque. Sur cette longue période, Galilée ne fut pas seulement le premier à recourir à une méthodologie scientifique, mais aussi presque le seul à jamais avoir été conscient de l’ampleur des enjeux intellectuels de l’entreprise scientifique. (shrink)

MethodologyA new hypothesis on the basic features characterizing the Foundations of Mathematics is suggested.Application of the methodBy means of it, the several proposals, launched around the year 1900, for discovering the FoM are characterized. It is well known that the historical evolution of these proposals was marked by some notorious failures and conflicts. Particular attention is given to Cantor's programme and its improvements. Its merits and insufficiencies are characterized in the light of the new conception of the FoM. After the (...) failures of Frege's and Cantor's programmes owing to the discoveries of an antinomy and internal contradictions, respectively, the two remaining, more radical programmes, i.e. Hilbert's and Brouwer's, generated a great debate; the explanation given here is their mutual incommensurability, defined by means of the differences in their foundational features.ResultsThe ignorance of this phenomenon explains the inconclusiveness of a century-long debate between the advocates of these two proposals. Which however have been so greatly improved as to closely approach or even recognize some basic features of the FoM.Discussion on the resultsYet, no proposal has recognized the alternative basic feature to Hilbert's main one, the deductive organization of a theory, although already half a century before the births of all the programmes this alternative was substantially instantiated by Lobachevsky's theory on parallel lines. Some conclusive considerations of a historical and philosophical nature are offered. In particular, the conclusive birth of a pluralism in the FoM is stressed. (shrink)

. Each predicate of the Aristotelian square of opposition includes the word “is”. Through a twofold interpretation of this word the square includes both classical logic and non-classical logic. All theses embodied by the square of opposition are preserved by the new interpretation, except for contradictories, which are substituted by incommensurabilities. Indeed, the new interpretation of the square of opposition concerns the relationships among entire theories, each represented by means of a characteristic predicate. A generalization of the square of opposition (...) is achieved by not adjoining, according to two Leibniz’ suggestions about human mind, one more choice about the kind of infinity; i.e., a choice which was unknown by Greek’s culture, but which played a decisive role for the birth and then the development of modern science. This essential innovation of modern scientific culture explains why in modern times the Aristotelian square of opposition was disregarded. (shrink)

Nella storia della metafisica è stato un grande problema come chiarire l’idea della coincidentia oppositorum (la coincidenza degli opposti) di Cusano, il quale è riconosciuto comunque da Cassirer come il primo epistemologo del pensiero moderno, in particolare come colui che ha saputo conquistare l’infinito alla mente umana. Dopo alcuni secoli, ha avuto una grande importanza una idea simile a quella di Cusano, la dialettica di Hegel, la quale aggiunge una negazione ad una prima frase negata per ottenere una sintesi in (...) termini generali. Ma poi queste idee sono state sempre meno seguite, eccetto che nel XX secolo da un filosofo non accademico, Lanza del Vasto che ha criticato Hegel e si è ricondotto a Cusano. Nello scritto esamino questa tematica mediante gli strumenti recentemente forniti dalla logica matematica, già verificati sugli scritti di altri scienziati; essi sono capaci di distinguere con precisione che cosa, negli scritti di uno studioso, è un passaggio logico formale e che cosa è una semplice illazione, derivata dalla conoscenza comune o dalla sua creatività; e se è un passaggio logico, decidere di che tipo di logica è. Per mezzo di questo metodo formale, i) presento alcune caratteristiche del ragionare di Cusano; ii) critico il metodo di Hegel; il risultato si accorda con la analisi critica di Hegel che Lanza del Vasto ha compiuto in maniera intuitva; iii) dimostro che la relazione tra Cusano e Lanza del Vasto è più forte di quanto dichiara quest’ultimo; iv) suggerisco una spiegazione della coincidentia oppositorum, chiarendo che la novità di ragionare in logica non classica è stata così innovativa che il tentativo di Cusano di precisarne il metodo è risultato in una scorciatoia, non errata ma valida solo in alcune situazioni; mentre è stato deviante il tentativo di Hegel; Lanza del Vasto, che ha portato un contributo al metodo di Cusano, si è comunque reso conto che occorreva arrivare a formalizzare un nuovo tipo di logica, che oggi risulta essere quella non classica. In definitiva, occorre attribuire a Cusano il merito di aver suggerito una nuova maniera di razionalità logica, quella capace di ragionare in logica non classica e di averne dato, sia pure in maniera imprecisa ed oscura, una prima formalizzazione. (shrink)

I characterize Bishop's constructive mathematics as an alternative to classical mathematics, which makes use of the actual infinity. From the history an accurate investigation of past physical theories I obtianed some ones - mainly Lazare Carnot's mechanics and Sadi Carnot's thermodynamics - which are alternative to the dominant theories - e.g. Newtopn's mechanics. The way to link together mathematics to theoretical physics is generalized and some general considerations, in particualr on the geoemtry in theoretical physics, are obtained.that.

In this paper, I explore what gives collective testimony its epistemic credentials, through a critical discussion of three competing accounts of the epistemology of collective testimony. According to the first view, collective testimony inherits its epistemic credentials from the beliefs the testimony expresses— where this can be seen either as the beliefs of all or some of the group’s members, or as the beliefs of group itself. The second view denies any necessary connection to belief, claiming instead that the epistemic (...) credentials of collective testimony derive from the reliability or truth-conduciveness of the statement that expresses the testimony. Finally, the third view claims that the epistemic credentials of collective testimony derive from the fact that it involves undertaking a collective commitment to trustworthiness, which makes the group susceptible to rebuke and blame if its testimony is not trustworthy. I argue that this last account holds the most promise for preserving what is distinctive about testimonial knowledge while still underwriting a robust epistemology of collective testimony. (shrink)

I take advantage of two recent results: 1) the recognition of an alternative theoretical organization to the deductive-axiomatic one; it is characterized by a sequence of four logical steps belonging to intuitionist logic; 2) the recognition of the logical content of Cusanus’ philosophical works; also this content pertains to intuitionist logic, which Cusanus anticipated by even identifying some its logical laws. Many Cusanus’ books present the alternative theoretical organization; whose yet he did not apply in a clear way its last (...) two steps, the ad absurdum arguing and the application of the principle of sufficient reason. For this reason in the last books his thinking transcended to a metaphysical level. Hegel’s philosophy of logic shares Cusanus’ philosophical effort for exiting out classical logic. He seems to have assumed Cusanus’ anticipation of the new theoretical organization; all goes as if Hegel wanted to improve Cusanus’ poor method, by introducing a process of additions of two negations which however does not agree with the intuitionist logic. Moreover, Hegel presupposes, like Cusanus in his last years, the free application of the principle of sufficient reason to the entire subject of his philosophy of logic without awareness of the logical constraints to which is subject a correct application of this principle; hence, he introduced a metaphysical arguing which according to modern mathematical logic has no consistent content. Also Hegel’s supposed prolongation of Cusanus’ logical discoveries was an essentially metaphysical view. (shrink)

Over the past few decades, Indigenous communities have successfully campaigned for greater inclusion in decision-making processes that directly affect their lands and livelihoods. As a result, two important participatory rights for Indigenous peoples have now been widely recognized: the right to consultation and the right to free, prior and informed consent (FPIC). Although these participatory rights are meant to empower the speech of these communities—to give them a proper say in the decisions that most affect them—we argue that the way (...) these rights have been implemented and interpreted sometimes has the opposite effect, of denying them a say or ‘silencing’ them. In support of this conclusion we draw on feminist speech act theory to identify practices of locutionary, illocutionary, and perlocutionary group silencing that arise in the context of consultation with Indigenous communities. (shrink)

This article tries to show William James’s presence in the works of Eugenio d’Ors by offering key textual evidence. Both the agreement and disagreement between these two philosophers can help to understand the intellectual itinerary of the Spanish philosopher.

A new hypothesis on the basic features characterising the Foundations of Mathematics is suggested. By means of them the entire historical development of Mathematics before the 20th Century is summarised through a table. Also the several programs, launched around the year 1900, on the Foundations of Mathematics are characterised by a corresponding table. The major difficulty that these programs met was to recognize an alternative to the basic feature of the deductive organization of a theory - more precisely, to Hilbert’s (...) main tenet. Ironically, already half a century before the births of these programs the alternative organization has been substantially represented by Lobachevsky's theory on parallel lines. Moreover, although each program’s founder recognised the basic features in a partial way only, all together these programs represented just the four possible foundational approaches. (shrink)

For most people on our planet, spiritual values are vital in driving communitarian behaviour. It is becoming increasingly clear that a lasting and effective social commitment must consider cultural, sociological and religious dimensions. In particular, the current environmental crisis has demonstrated how effectively religious communities have mobilised to respond to climate change. With their emphasis on wisdom, social cohesion and interrelationships, religions can be a strategic player in ensuring effective integral human development. The ecological crisis is not just an ethical (...) dilemma but an ontological and theological matter that demands both a new way of thinking and a new way of being. Think differently and act differently! The United Nations (UN) and many governments are increasingly recognising the vital contribution of religious leaders and organisations in political processes, such as the 2030 Agenda for Sustainable Development, hypostasised in the Faith Plans for People and Planet programme, representing the most prominent and boldest environmental initiative to date by the global faith community. -/- Contribution: Today we realise that a combination of science and spirituality can engage and empower an array of stakeholders from different cultural and religious backgrounds. This article addresses the question of an integrated ecology by selecting appropriate and recent literature from mainstream religions and the subsequent interpretation and application. (shrink)

Jennifer Lackey (2018) has developed an account of the primary form of group assertion, according to which groups assert when a suitably authorized spokesperson speaks for the group. In this paper I pose a challenge for Lackey's account, arguing that her account obscures the phenomenon of group silencing. This is because, in contrast to alternative approaches that view assertions (and speech acts generally) as social acts, Lackey's account implies that speakers can successfully assert regardless of how their utterances are taken (...) up by their audiences. What reflection on group silencing shows us, I argue, is that an adequate account of group assertion needs to find a place for audience uptake. (shrink)

According Philip Pettit, suitably organised groups not only possess ‘minds of their own’ but can also ‘make up their minds’ and 'speak for themselves'--where these two capacities enable them to perform as conversable subjects or 'persons'. In this paper I critically examine Pettit's case for group personhood. My first step is to reconstruct his account, explaining first how he understands the two capacities he considers central to personhood – the capacity to ‘make up one’s mind’, and the capacity to ‘speak (...) for oneself’ – before showing how he thinks these can be manifested in groups. With Pettit’s account duly reconstructed, I then turn to criticism, arguing that Pettit’s construal of making up one’s mind does not do proper justice to our first-personal self-understanding, nor to our characteristic interpersonal forms of engagement. This leads me, finally, to consider an alternative construal of ‘making up one’s mind’ and ‘speaking for oneself’ that is associated with the work of Richard Moran and whichargue, could usefully be exteextended to groups. (shrink)

The book is the proceeding of a conference in Pisa 12007 on the philosophy of Lanza del Vasto - the unique Western disciple of Gandhi - examined under the items: his thesis work in Philosophy (Fabris), his Greek and Christian methaphysics (Salmeri), his criticism of Hegel (Vigne), the relationship with Gandhi (Manara), Trinity (Vermorel) Indian philosophical traditioon (Trianni), his henologixcal thinking (Reale) his trinitarian metaphysics (Bertini), his mystical thinking (Vannini) a logicaL analysis of his thinking(Drago), his philosophy and theory of (...) non-violence(Cozzo) The relationship with Catholic Church (Tanzarella), Pedagogy (Butturini), sojourn in Pisa (Lanza). (shrink)

Double negations are easily recognised in both the so-called “negative literature” and the original texts of some important scientific theories. Often they are not equivalent to the corresponding affirmative propositions. In the case the law of double negation fails they belong to non-classical logic, as first, intuitionist logic. Through a comparative analysis of the theories including them the main features of a new kind of theoretical organization governed by intuitionist logic are obtained. Its arguing proceeds through doubly negated propositions and (...) ad absurdum arguments. Then, the final doubly negated predicate is translated in the corresponding affirmative one, from which all the consequences are deduced in order to test them against reality. According to this model the true formalization of intuitionist logic is Kolmogorov’s 1932 paper. The above analysis also shows that modal words play an auxiliary or substitutive role to intuitionist propositions. In addition, it is shown that Vasiliev’s paraconsistent logic is represented through doubly negated propositions. By means of these three kinds of logic one can attribute a specific kind of logic to each of the three distinct steps of the process of building a scientific theory from the experimental data to its final theoretical system. It is also shown that the definition of negation is of a structural kind, rather than of an objective kind or a subjective kind: it has to be referred to the organization of the theory to which it belongs. (shrink)

The main subject of Cusanus’ investigations was the name of God. He claimed to have achieved the best possible one, Not-Other. Since Cusanus stressed that these two words do not mean the corresponding affirmative word, i.e. the same, they represent the failure of the double negation law and there￾fore belong to non-classical, and above all, intuitionist logic. Some of his books implicitly applied intuitionist reasoning and the corresponding organization of a theory which is governed by intuitionist logic. A comparison of (...) two of Cusanus’ short writings shows that throughout his life he substantially improved his use of this kind of logic and ultimately was able to reason consistently within such a logic and recognize some of its basic laws. One important idea developed by him was that of a proposition composed of a triple repetition of “not-other” expressing “the Tri-unity of concordance” i.e. the “best name for the Trinity”. I complete his application of intuitionist logic to theological subjects by charac￾terizing the inner relationships within the Trinity in such a way that there are no longer contradictions in the notion. Generally speaking, the notion of the Trin￾ity implies a translation from intuitionist to classical logic, to which Cusanus closely approximated. Moreover, I show that the main aspects of Christian rev￾elation, including Christ’s teachings, are represented both by this translation and by some doubly negated propositions of intuitionist logic. Hence, intuition￾ist logic was introduced into the history of Western theological thinking with Christian revelation, as only Cusanus partly recognized. Appendix 1 summa￾rizes a detailed analysis of Cusanus’ second short writing. Appendix 2 shows that the Athanasian creed regarding the Christian Trinity is a consistent se￾quence of intuitionist propositions provided that some verbal emendations are added, showing that ancient trinitarian thinking was also close to intuitionist reasoning. (shrink)

Recent feminist philosophy of language has highlighted the ways that the speech of women can be unjustly impeded, because of the way their gender affects the uptake their speech receives. In this chapter, I explore how similar processes can undermine the speech of a different sort of speaker: Indigenous communities. This involves focusing on Indigeneity rather than gender as the salient social identity, and looking at the ways that group speech, rather than only individual speech, can be unjustly impeded. To (...) do this, I make use of the notion of ‘discursive injustice’ that has been developed by Quill Kukla, and, with reference to three case studies, show how discursive injustice can effectively derail the speech of Indigenous communities. (shrink)

FROM THE HISTORY OF PHYSICS TO THE DISCOVERY OF THE FOUNDATIONS OF PHYSICS By Antonino Drago, formerly at Naples University “Federico II”, Italy – drago@unina,.it (Size : 391.800 bytes 75,400 words) The book summarizes a half a century author’s work on the foundations of physics. For the forst time is established a level of discourse on theoretical physics which at the same time is philosophical in nature (kinds of infinity, kinds of organization) and formal (kinds of mathematics, kinds of (...) logic). This double side of the two dichotomies assures a deep comprehension of theoretical physics by avoiding both a purely philosophical analysis and a purely formal analysis, each manifestly insufficient for representing all the aspects of theoretical physics. Among the many formulations of a physical theory, e.g. Mechanics, also Mach(1) recognized technical differences only, Instead my suggestion is to consider their differences as revealing the characteristic features of their foundations. No more radical differences may exist than those concerning both their kinds of Mathematics and their kinds of Logic. As a fact, after the 20th Century within each of these sciences there exist two antagonist foundations, within Mathematics either the classical one or the constructive one(2); within Mathematical Logic either the classical logic or the intuitionist one(3). Let us take Mechanics as an instance. Being the choices of the Newton’s formulation respectively the actual infinity of the differential equations relying on the infinitesimals and the classical logic, a formulation based on the alternative choices is Lazare Carnot’s,(4) whose mathematics is no more than algebraic-trigonometric and the logic is the intuitionist one, because this formulation makes use of doubly negated propositions, whose corresponding affirmative propositions are idealistic or false; i.e. in these cases the law of double negation fails, as in intuitionist logic occurs. By considering these two dichotomies as the foundations of the physical theories, each couple of choices upon them fashions one out four models of scientific theory, which are baptized through the authors of their most representative theories: Newtonian, Carnotian, Lagrangian, Descartesian. In correspondence four versions of the principle of inertia are recognized, as suggested by respectively: Descartes. Lazare Carnot, Enriques and Cavalieri.(5) All that suggests that the four models of scientific theory may be graphically represented as a compass orientating our minds amid the so numerous physical theories. By taking these dichotomies as interpretative categories, a new interpretative history of Physics including both classical and modern physics results according to a quadrilinear development. The birth of modern physics is characterized by the two theories - Einstein’s paper on special relativity and Einstein’s first paper on quanta - whose choices are the alternative ones to those of the previously dominant physical theory, Newtonian mechanics: in the latter paper Einstein i) declares the dichotomy on the kinds of mathematics (“Introduction”) and then he chooses the discrete mathematics; ii) by using doubly negated propositions he organizes his theory in an alternative way to the deductive-axiomatic one.(6) Moreover, a new history of Philosophy of knowledge results. Kant’s first two a priori transcendental categories represent the physical interpretation of the two choices out of the four pairs of choices on the two dichotomies, i.e. the choices of the dominant theory of mechanics, Newton’s. Hegel’s dialectic was a misleading attempt of anticipating the subsequent intuitionist logic. The book starts by a comparison of different formulations of thermodynamics in order to recognize the first dichotomy on the kind of organization. In chapter 2 the dichotomy on the kind of infinity is recognized through a comparison of Newrton’s mechanics and Lazare Carnot’s. A quickly history of the other classical physical theories is illustrated in chapter 3; it results a foundational conflict between the last two theories, and hence a conflict between their opposite couples of choices. The two main theories of modern physics, special realtivity and quantum mechanics confirm the foundational role played by the two dichotomies which gives reason for the radical change in the history of theoretical physics. Indeed, the opposition of the two main pairs of choices gives reason of the crisis in theoretical physics in the early 1900s. As a global result, the book represents the first interpretation of the entire history of Physics, both classical and modern; This fact proves that the four models of scientific theories can works as a compass (that of the front cover) suggesting a direction among the many physical theories. This new history of physics leads to re-visit both Koyré’s and Kuhn’s historiographies. Their interpretative categories are interpreted and explained through the two dichotomies so that it is possible to suggest à la Koyré categories based on the alternative choices theories to Newton’s as the suitable categories for interpreting the alternative theories to Newton’s mechanics. All that suggests a new interpretation of the crucial step in the history of Western philosophy of knowledge, i.e. the passage from Leibniz to Kant: Leibniz’s suggestion of the two labyrinths of human minds may be seen as a close anticipation of the two above dichotomies. Kant applied them in order to construct the well-known four cosmological proofs, which however he misinterpreted as leading to contradictions, instead to tow different methods of investigation corresponding to the two different kinds of logic.(7) Bibliography 1. Mach E. (1883), Die Mechanik, Leipzig: Brockhaus, Chap. IV, Sect. III. 2. Bishop E. (1967), Constructive Analysis, New York: Mc Graw-Hill. 3. Heyting A. (1962), Intuitionism. An Introduction, Amsterdam: North-Holland. 4. L. Carnot (1783), Essai on the Machines en général, Defay, Dijion (Enlish translation: Springer, Berlin, 2020). Drago A. (2004), “A new appraisal of old formulations of mechanics”, Am. J. Phys., 72(3), pp. 407-9. 5. Vella M.R. (2007), “Le quattro versioni del principio di inerzia”, in M. Leone et al. (eds.), L’eredità di Fermi, Majorana e altri Temi. Napoli: ESI, pp. 147-151. 6. Drago A. (2014), “The emergence of two options from Einstein°s first paper on Quanta”, in Pisano R., Capecchi D., Lukesova A. (eds.), Physics, Astronomy and Engineering. Critical Problems in the History of Science and Society, Scientia Socialis P., Siauliai, 2013, pp. 227-234. 7. This and all in the above points are illustrated by the book Drago A. (2017), Dalla Storia della Fisica ai Fondamenti della Scienza, Roma: Aracne. (shrink)

Politics, Philosophy & Economics, Volume 21, Issue 4, Page 347-371, November 2022. We sometimes have to choose between options that are seemingly incomparable insofar as they seem to be neither better than, worse than, nor equal to each other. This often happens when the available options are quite different from one another. For instance, consider a choice between prioritizing either criminal justice reform or healthcare reform as a public policy goal. Even after the relevant details of the goals and possible (...) reforms are filled in, it is plausible that neither goal is better than, worse than, nor equal to the other. Such seemingly incomparable options present a problem for rational choice since it is unclear how an agent might rationally choose between them. What we need are some principles to help govern rational choice when faced with seemingly incomparable options. I here present three such principles. While each principle is individually compelling, I show that they are jointly incompatible. I then argue that the correct response to this inconsistent triad is to reject the principle that rationally censures performing a sequence of choices one knows will result in a suboptimal outcome. The upshot is that when seeming incomparability is involved, an agent can money pump themselves without being less rational for it. (shrink)

Whereas “Science does not think" (Heidegger), the "new historiography of science" - mainly Koyré's and Kuhn's ones - has addressed our minds to think about science in a new way. Recently Heelan suggested taking this new viewpoint for conceiving hermeneutic method in a more adequate way to present scientific practice. By an interpretative analysis of the categories of the above two historians, the present paper suggests a new way to conceive the foundations of science. Two basic dichotomies result: on the (...) kind of logic and on the kind of mathematics. They generate four models of scientific theory, sharply severed by the radical differences in their respective choices; that offers an accurate definition of incommensurability and even of an alternative scientific theory to a dominant one, which can be properly called a paradigm. In the past hermeneutic scholars gave negative appraisals on Western science; according to the new viewpoint recognising pluralism in the foundations of science, these appraisals concern the dominant paradigm only. In the light of the basic dichotomies a new way to define hermeneutics is suggested; it can be qualified in short by the following words: ‘The understanding of science is the science of understanding’. (shrink)

Since the 2008 financial crisis, the attempts to use Karl Polanyi's framework to make sense of current developments have multiplied, producing a noticeable and lively debate. This debate centres on the notion of double movement put forward by the Hungarian thinker in his masterpiece – The Great Transformation. The paper is a contribution to this debate. The first part addresses a series of questions that make the interpretations of the double movement advanced so far not very compelling. To this end, (...) a close reading of Polanyi's text, with the aim of dismantling and rearticulating its analytical structure, is carried out. The upshot is a dynamic and multistage picture of the double process as a recurrent and vortex-like attempt to progressively commodify natural and social resources against growing opposition. The second part employs this revised reading of the double movement to explain the collapse of the postwar consensus politics, the success of the neoliberal counterrevolution and the development of the knowledge economy. The claim put forward here is that, in addition to sustained efforts to deepen previous forms of commodification (land, labour and money), we are witnessing a fullblown attempt to turn knowledge into a new fictitious commodity. Building on the idea of digital Taylorism, the paper tries to show that information and computer technologies are being used to standardise and routinise a growing number of intellectual, professional and managerial activities which were able to escape previous attempts in this direction. Once again, at the forefront of this process there are powerful state actors, who are using New Public Management policies strategically to: support the enclosure of intangible cultural resources through the creation of intellectual property rights regimes, and undermine the counter-reaction of negatively affected societal actors by rising the collective action problems they face. (shrink)

In previous papers I have characterized four ways of reasoning in Peirce’s philosophy, and four ways of reasoning in Computability Theory. I have established their correspondence on the basis of the four pairs of choices regarding two dichotomies, respectively the dichotomy between two kinds of Mathematics and the dichotomy between two kinds of Logic. In the present paper I introduce four principles of reasoning in theoretical Physics and I interpret also them by means of the four pairs of choices regarding (...) the above two dichotomies. I show that there exists a meaningful correspondence among the previous three fourfold sets of elements. This convergence of the characteristic ways of reasoning within three very different fields of research - Peirce’s philosophy, Computability theory and physical theories - suggests that there exists a general-purpose structure of four ways of reasoning. This structure is recognized as applied by Mendeleev when he built his periodic table. Moreover, it is shown that a chemist-, applies all the above ways of reasoning at the same time. Peirce’s professional practice as a chemist applying at the same time this variety of reasoning explains his stubborn research into the variety of the possible inferences. (shrink)

I explore the possibility and rationality of interpersonal mechanisms of doxastic self-control, that is, ways in which individuals can make use of other people in order to get themselves to stick to their beliefs. I look, in particular, at two ways in which people can make interpersonal epistemic commitments, and thereby willingly undertake accountability to others, in order to get themselves to maintain their beliefs in the face of anticipated “epistemic temptations”. The first way is through the avowal of belief, (...) and the second is through the establishment of collective belief. I argue that both of these forms of interpersonal epistemic commitment can function as effective tools for doxastic self-control, and, moreover, that the control they facilitate should not be dismissed as irrational from an epistemic perspective. (shrink)

The obscure and punctuated history of symmetry is compared with the history of the celebrated and exalting notion of infinitesimal; some considerations about them are derived. A long list of odd and hidden events concerning symmetry in theoretical physics is offered. The last event is the discovery of the nature of the same word “symmetry” which pertains to non-classical logic, and it is linked to the principle of sufficient reason. A comparison of the roles played by the two mathematical techniques (...) within a classical physical theory is performed. It leads to recognize the different roles played by the two mathematical tools as a manifestation of an incommensurability phenomenon caused by two foundational dichotomies. (shrink)

In this paper I critically discuss Miranda Fricker’s ‘trust-based’ view of collective testimony—that is, testimony that comes from a group speaker. At the heart of Fricker’s account is the idea that testimony involves an ‘interpersonal deal of trust’, to which the speaker contributes a commitment to ‘second-personal epistemic trustworthiness’. Appropriating Margaret Gilbert’s concept of joint commitment, Fricker suggests that groups too can make such commitments, and hence that they, like individuals, can ‘enter into the second-personal relations of trust that characterise (...) testimony’ (Fricker 2012: 272). I argue that this choice to appropriate Gilbert’s concept of joint commitment betrays a deep problem in Fricker’s account—a misconstrual of both the object and the subject(s) of the commitment a speaker makes in testifying. After developing this criticism, I outline an alternative way of construing the speaker’s commitment, which can be applied to both collective and individual testimony. (shrink)

The main algebraic foundations of quantum mechanics are quickly reviewed. They have been suggested since the birth of this theory till up to last years. They are the following ones: Heisenberg-Born- Jordan’s (1925), Weyl’s (1928), Dirac’s (1930), von Neumann’s (1936), Segal’s (1947), T.F. Jordan’s (1986), Morchio and Strocchi’s (2009) and Buchholz and Fregenhagen’s (2019). Four cases are stressed: 1) the misinterpretation of Dirac’s algebraic foundation; 2) von Neumann’s ‘conversion’ from the analytic approach of Hilbert space to the algebraic approach of (...) the rings of operators; 3) Morchio and Strocchi’s improving Dirac’s analogy between commutators and Poisson Brackets into an exact equivalence; 4) the recent foundation of quantum mechanics upon the algebra of perturbations. Some considerations on alternating theoretical importance of the algebraic approach in the history of QM are offered. The level of formalism has increased from the mere introduction of matrices to group theory and C*-algebras but has not led to a definition of the foundations of physics; in particular, an algebraic formulation of QM organized as a problem-based theory and an exclusive use of constructive mathematics is still to be discovered. (shrink)

In the last times some scholars tried to characterize Einstein’s distinction between ‘constructive’ – i.e. deductive - theories and ‘principle’ theories, the latter ones being preferred by Einstein. Here this distinction is qualified by an accurate inspection on past physical theories. Some previous theories are surely non-deductive theories. By a mutual comparison of them a set of features - mainly the arguing according to non-classical logic - are extracted. They manifest a new ideal model of organising a theory. Einstein’s paper (...) of 1905 on quanta, qualified by him as a ‘principle theory’, is interpreted according to this model of theory. Some unprecedented characteristic features are manifested. At the beginning of the same paper Einstein declared one more dichotomy about the kind of mathematics in theoretical physics. These two dichotomies are recognised as representing the foundations of theoretical physics. With respect to these dichotomies the choices by Einstein in the paper on quanta are the alternative choices to Newton’s ones. This fact gives reason to the ‘revolutionary’ nature that Einstein attributed to his paper. (shrink)

The current definition of Constructive mathematics as “mathematics within intuitionist logic” ignores two fundamental issues. First, the kind of organization of the theory at issue. I show that intuitionist logic governs a problem-based organization, whose model is alternative to that of the deductive-axiomatic organization, governed by classical logic. Moreover, this dichotomy is independent of that of the kind of infinity, either potential or actual, to which respectively correspond constructive mathematical and classical mathematical tools. According to this view a mathematical theory (...) is based on the choices regarding these two dichotomies. As an example of this kind of foundation, arithmetic is rationally re-founded on constructive mathematical tools and the model of the problem-based organization. In conclusion, constructive mathematics is not only mathematics making use of constructive tools in intuitionist logic but also organized according to around a basic problem, solved by a method discovered using intuitionist logic. (shrink)

According to Margaret Gilbert, two or more people collectively believe that p if and only if they are jointly committed to believe that p as a body. But the way she construes joint commitment in her account – as a commitment of and by the several parties to “doing something as a body” – encourages the thought that the phenomenon accounted for is not that of genuine belief. I explain why this concern arises and explore a different way of construing (...) joint commitment, in order to avoid the concern. This leads me to propose a revised Gilbertian account of collective belief, according to which two or more people collectively believe that p if and only if they are jointly committed to p as true. (shrink)

At first sight the Theory of Computation i) relies on a kind of mathematics based on the notion of potential infinity; ii) its theoretical organization is irreducible to an axiomatic one; rather it is organized in order to solve a problem: “What is a computation?”; iii) it makes essential use of doubly negated propositions of non-classical logic, in particular in the word expressions of the Church-Turing’s thesis; iv) its arguments include ad absurdum proofs. Under such aspects, it is like many (...) other scientific theories, in particular the first theories of both mechanical machines and heat machines. A more accurate examination of Theory of Computation shows a difference from the above mentioned theories in its essentially including an odd notion, “thesis”, to which no theorem corresponds. On the other hand, arguments of each of the other theories conclude a doubly negative predicate which then, by applying the inverse translation of the ‘negative one’, is translated into the corresponding affirmative predicate. By also taking into account three criticisms to the current Theory of Computation a rational re-formulation of it is sketched out; to Turing-Church thesis of the usual theory corresponds a similar proposition, yet connecting physical total computation functions with constructive mathematical total computation functions. -/- . (shrink)

For much of the first fifty years of its existence, analytic philosophy shunned discussions of normativity and ethics. Ethical statements were considered as pseudo-propositions, or as expressions of pro- or con-attitudes of minor theoretical significance. Nowadays, in contrast, prominent analytic philosophers pay close attention to normative problems. Here we focus our attention on the work of Searle, at the same time drawing out an important connection between Searle’s work and that of two other seminal figures in this development: H.L.A. Hart (...) and John Rawls. We show that all three thinkers tend to assume that there is but one type of normativity within the realm of social institutions – roughly, the sort of normativity that is involved in following the results of chess – and that they thereby neglect features that are of crucial significance for an adequate understanding of social reality. (shrink)

Each annual Ontology Summit initiative makes a statement appropriate to each Summit’s theme as part of our general advocacy designed to bring ontology science and engineering into the mainstream. The theme this year is "Towards an Open Ontology Repository". This communiqué represents the joint position of those who were engaged in the year's summit discourse on an Open Ontology Repository (OOR) and of those who endorse below. In this discussion, we have agreed that an "ontology repository is a facility where (...) ontologies and related information artifacts can be stored, retrieved and managed." -/- We believe in the promise of semantic technologies based on logic, databases and the Semantic Web, a Web of exposed data and of interpretations of that data (i.e., of semantics), using common standards. Such technologies enable distinguishable, computable, reusable, and sharable meaning of Web and other artifacts, including data, documents, and services. We also believe that making that vision a reality requires additional supporting resources and these resources should be open, extensible, and provide common services over the ontologies. (shrink)

According to Molinism, logically prior to his creative decree, God knows via middle knowledge the truth value of the counterfactuals or conditionals of creaturely freedom (CFs) and thus what any possible person would do in any given circumstance. Critics of Molinism have pointed out that the Molinist God gets lucky that the CFs allow him to actualize either a world of his liking or even a good-enough world at all. In this paper, I advance and strengthen the popular critique in (...) two ways. First, I specify the kind of luck to which God is subject, which is circumstantial moral luck. Second, and more importantly, I argue that exposure to this luck is problematic because something external to God and beyond his control determines the degree of praiseworthiness he deserves in relevant possible worlds. My main contention is that divine subjection to circumstantial moral luck raises the theoretical costs of Molinism. (shrink)

Proponents of the duty to vote (DTV) argue that in normal circumstances, citizens have the moral duty to vote in political elections. Discussions about DTV analyze _what_ the duty is, _who_ has this duty, _when_ they have it, and _why_ they have it. Missing are answers to the Specification Question: to _which_ elections does DTV apply? A dilemma arises for some supporters of DTV—in this paper, I focus on Julia Maskivker’s work—because either answer is problematic. First, I argue that it (...) is implausible that DTV applies to _all_ elections because this makes the duty too costly for the voter. Second, I argue that there are no good reasons why under normal circumstances DTV applies only to _some_ elections. I consider objections but conclude that the dilemma is successful and therefore the case for DTV is incomplete. (shrink)

Recent years have seen rapid progress in the development of ontologies as semantic models intended to capture and represent aspects of the real world. There is, however, great variation in the quality of ontologies. If ontologies are to become progressively better in the future, more rigorously developed, and more appropriately compared, then a systematic discipline of ontology evaluation must be created to ensure quality of content and methodology. Systematic methods for ontology evaluation will take into account representation of individual ontologies, (...) performance (in terms of accuracy, domain coverage and the efficiency and quality of automated reasoning using the ontologies) on tasks for which the ontology is designed and used, degree of alignment with other ontologies and their compatibility with automated reasoning. A sound and systematic approach to ontology evaluation is required to transform ontology engineering into a true scientific and engineering discipline. This chapter discusses issues and problems in ontology evaluation, describes some current strategies, and suggests some approaches that might be useful in the future. (shrink)

In the midst of current social change and public debates regarding provision of reproductive health education and services in the Philippines, the need exists to understand the realities of teenagers and young adults’ lives and the challenges they face in finding the way sexual and reproductive well-being. Although a few studies have focused on quantifying unintended pregnancy and abortion in the Philippines, few investigations using qualitative research methods have been conducted to more fully explore and situate these phenomena. Unsafe abortion (...) through the use of abortifacients has been practiced since time immemorial. An estimated 26 million pregnancies are terminated legally throughout the world, and 20 million are terminated illegally, with more than 78,000 deaths. The Philippines, with a steadily increasing population that is approaching 100 million, faces significant challenges in the area of reproductive health. -/- . (shrink)

This paper presents an argument against the A-Theory of time. Briefly, I shall contend that the A-Theorist has no explanation for why the present moment in particular has the metaphysical privilege she accords it, and that this puts the theory at a disadvantage. In what follows, I shall begin by presenting this argument. I will follow that with some potential explanations for why the present moment is privileged and reasons militating against them, in addition to some other possible objections to (...) my argument and my responses to them. The conclusion will be that the A-Theorist fails to provide either an obvious or a theoretical explanation of the present time’s privileged status and is thereby at a theoretical disadvantage to theories that do not posit a metaphysically privileged present time. Topics covered include the purported analogy between times and worlds, the possibility that times are individuated by what is true at them, and the semantic status of titles for date-times. (shrink)

On March 14-15, 2006, at the US National Institute of Standards and Technology (NIST) in Gaithersburg, MD there took place the first Upper Ontology Summit (UOS). This was a convening of custodians of several prominent upper ontologies, key technology participants, and interested other parties, with the purpose of finding a means to relate the different ontologies to each other. The result is reflected in a joint communiqué, directed to the larger ontology community and the general public, and expressing a joint (...) intent to build bridges among the existing upper ontologies in ways designed to increase and rationalize their utilization and to enhance their semantic interoperability. (shrink)

The parceling of land into real estate is more than a simple geometrical affair. Real estate is a historical product of interaction between human beings, political, legal and economic institutions, and the physical environment. And while many authors, from Jeremy Bentham to Hernando de Soto, have drawn attention to the ontological (metaphysical) aspect of property in general, no comprehensive analysis of landed property has been attempted. The paper presents such an analysis and shows how landed property differs from other types (...) of property in a way which implies a special role for political and economic philosophy of property rights in land. This is the Chinese translation of "The Metaphysics of Real Estate", Topoi, 20: 2 (September 2001), 161–172. (shrink)

The acculturation gap is the changing set of values and culture between a child and parent or guardian. The gap is usually revealed after a family immigrates from one country to another and assimilates into a culture.