The aim of the present thesis is twofold. First we propose a constructive solution to Frege's puzzle using an approach based on homotopy type theory, a newly proposed foundation of mathematics that possesses a higher-dimensional treatment of equality. We claim that, from the viewpoint of constructivism, Frege's solution is unable to explain the so-called ‘cognitive significance' of equality statements, since, as we shall argue, not only statements of the form 'a = b', but also 'a = a' may contribute to (...) an extension of knowledge. Second, we study this higher-dimensional account of equality from a constructive (computational) standpoint and, based on these considerations, we offer a new perspective to the project proposed by Peter Aczel of developing conventions and notations for an informal style of doing mathematics in type theory. To that end, we adopt the cubical type theory of Angiuli, Favonia and Harper, a framework that can be seen as constructive refinement of the ideas of homotopy type theory. (shrink)

This paper offers two competing accounts of normative requirements, each of which purports to explain why some—but not all—requirements are normative in the sense of being related to normative reasons in some robust way. According to the reasons-sensitive view, normative requirements are those and only those which are sensitive to normative reasons. On this account, normative requirements are second-order statements about what there is conclusive reason to do, in the broad sense of the term. According to the reasons-providing view—which I (...) attribute to John Broome—normative requirements are those and only those which constitute or provide normative reasons. I argue that the reasons-providing view is susceptible to two serious objections. First, the view generates an explanatory gap. Secondly, the view is implausible. I argue that these two objections give us reason to prefer the reasons-sensitive view of normative requirements over the reasons-providing view. (shrink)

Dès 1983, à l’occasion du colloque Une histoire des femmes est-elle possible? qui allait marquer le véritable départ de l’histoire des femmes en France, Alain Corbin soulignait la nécessité de se pencher aussi sur les « mentalités masculines », afin que puisse émerger une « histoire sexuée qui couple ses analyses ». L’auteur des Filles de noce resta longtemps peu entendu. Cette dernière décennie a pourtant vu une nette évolution s’amorcer, les masculinités françaises devenant peu à peu un ch...

Il triplice minimo e la misura.--La monade, il numero e la figura.--L'immenso e gli innumerevoli.

The economic crisis happening across the world over the last few years describes a range of interdependencies and interactions,and has highlighted the fundamentalf laws of neoclassical economic theory: its unedifying focus on prediction and, above all, its inability to explain how the economy really works. As such, it is increasingly recognised that economic phenomena cannot be exclusively investigated as being derived from deterministic, predictable and mechanistic dynamics. Instead, a new approach is required by which history-dependence, organic and ever-evolving processes are (...) also accounted for. As this view implies new challenges and opportunities for policy, we will focus our attention on innovative components of Complexity Theory for the study of economics and the evaluation of public policies. (shrink)

This chapter intervenes in recent debates in Kant scholarship about the possibility of a general logical alien. Such an alien is a thinker whose laws of thinking violate ours. She is third-personal as she is radically unlike us. Proponents of the constitutive reading of Kant’s conception of general logic accordingly suggest that Kant rules out the possibility of such an alien as unthinkable. I add to this an often-overlooked element in Kant’s thinking: there is reason to think that he grants—and (...) in fact presupposes—the possibility of a transcendental logical alien. Such an alien is a knower whose laws of experience purport to violate ours. She is first-personal as she is radically like us. In other words, she is us, insofar as we are alienated from ourselves and our experience. I go on to draw an analogy between her, a dogmatist, and another transcendental alien, an evil agent. Just as a dogmatist is alienated from her (our) experiential laws, an evil agent is alienated from her (our) moral law. These forms of theoretical and practical self-conceit require self-knowledge in the form of a critique of speculative or practical reason. In bringing this point out, I aim to shift from the question of whether logical laws constitute our thinking to the question of whether grasping our experiential and moral laws as our laws constitutes our reason. (shrink)

In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of his (...) theory of sense and reference in the logical framework of Grundgesetze, his doctrine of truth values, and views on sameness of sense as equipollence of assertions. (shrink)

What conditions the possibility of existentially valuable experience? Against nihilism, the threat that philosophical cognition undermines the very idea of purposiveness, German idealism posits that we are unconditionally conditioned by life, construed as the infinite purposive activity of reason. I reconstruct Schelling’s critique of this project as defending the idea that death conditions or puts into question our rational activity. Scholars tend to read the idealists as rejecting Kant’s idea of an unknowable thing in itself by grounding philosophy on a (...) knowable first principle and tend to situate Schelling as a phase between or a late attack on Fichte and Hegel. Part I gives a systematic account missing on the former, arguing that idealism is an instance of immortalism, which holds that life is the unconditioned condition of rational activity, while death is unconditionally conditioned. Part II gives a historical account missing on the latter, arguing that Schelling is an early and continual critic of idealism on behalf of mortalism, which holds that death unconditionally conditions rational activity. My first argument modifies typical readings of German idealism, revealing a deep connection between its rejection Kant’s idea and its refusal to let death put us into question. My second complicates typical readings of Schelling, casting his mortalism as rehabilitating the idea that something radically outstrips rational activity while representing a regulative ideal. Although Schelling’s mortalism anticipates Heidegger’s, they differ: Schelling aligns death with the goal of systematic knowing, Heidegger with taking over one’s history as care. But Schelling overcomes immortalism, enabling Heidegger’s idea of death. Part III shows this idea is structurally analogous to Kant’s idea of the thing in itself. Immortalism’s failure leaves unsolved two antinomies I argue are formally identical and only solvable by thinking these ideas as boundary concepts the thought of which is necessary for the unity, respectively, of finite being and finite understanding. By reconstructing the role of death in Schelling’s internal critique of German idealism, then, my thesis also brings into closer contact Kant’s transcendental and Heidegger’s existential projects. (shrink)

The development of science studies has an important message for political theory. This message has not yet been fully articulated. It seems that the science studies field is often considered as the extension of politics to science. In reality, case studies show that it is a redefinition of politics that we are witnessing in the laboratories. To the political representatives should be added the scientific representatives. Thanks to a book by Steven Shapin and Simon Schaffer, it is possible to reconstruct (...) the origin of this divide between the two sets of representatives. A definition of modernism is offered. Then the article explains how to interpret the shift to "nonmodernism, " that is, a historical period when the two branches of politics get together again. (shrink)

The notion of a proposition is central to philosophy. But it is subject to paradoxes. A natural response is a hierarchical account and, ever since Russell proposed his theory of types in 1908, this has been the strategy of choice. But in this paper I raise a problem for such accounts. While this does not seem to have been recognized before, it would seem to render existing such accounts inadequate. The main purpose of the paper, however, is to provide a (...) new hierarchical account that solves the problem. (shrink)

The history of philosophy risks a self-opacity whereby we overestimate or underestimate our proximity to prior modes of thinking. This risk is relevant to assessing Hegel’s appropriation by McDowell and Priest. McDowell enlists Hegel for a quietist answer to the problem with assuming that concepts and reality belong to different orders, viz., how concepts are answerable to the world. If we accept Hegel’s absolute idealist view that the conceptual is boundless, this problem allegedly dissolves. Priest enlists Hegel for a dialetheist (...) answer to the problem with assuming that truth and falsity are mutually exclusive, viz., how certain sentences are both true and false. If we accept Hegel’s dialectical view that certain contradictions are necessary, this problem allegedly dissolves. For both McDowell and Priest, we find a true friend in Hegel. I argue that McDowell’s and Priest’s appropriations of Hegel overestimate Hegel’s affinity with quietism and dialetheism. McDowell reads Hegel as a quietist who silences metaphysical claims and the skeptical questions they raise against commonsense, but neglects Hegel’s adaptation of ancient skepticism against commonsense. Priest reads Hegel as a dialetheist who subordinates formal logic to dialectical logic by affirming the truth of certain contradictions, but neglects Hegel’s commitment to resolving contradictions for the sake of truth qua whole. I diagnose their misreadings in terms of what Hegel regards as the three moments of logic and argue that while McDowell jumps to its third moment, Priest stalls at its second moment. According to Hegel’s Encyclopedia Logic, logic has three “moments”: the abstractive moment of the understanding, which “stops short” at fixed categories; the negative moment of dialectic, which discovers the “genuine nature” of the categories, viz., that each “passes over, of itself, into its opposite”; and the positive moment of speculation, which grasps the “unity” of categories through the “dissolution” of their inner opposition. Hegel warns that if these moments are “kept separate from each other […] they are not considered in their truth”. I suggest that quietist and dialetheist readings of Hegel fail to consider truthfully the unified moments of his logic. In his quietist critique of metaphysics, McDowell enlists Hegel to dissolve the problem with assuming the duality of concept and reality. But McDowell helps himself directly to the third moment of logic, where the unity of the categories, and hence the boundlessness of the conceptual, would be fully articulated. Since he arrives at the third moment prematurely, ignoring its prior moments, he obscures its truth (§1). In his dialetheist critique of formal logic, Priest enlists Hegel to dissolve the problem with assuming the duality of truth and falsity. But Priest restricts himself gratuitously to the second moment of logic, where contradictions within the categories are not yet resolved. Since he stalls at the second moment, severed from its final moment, he obscures its truth (§2). I argue we can extricate Hegel from quietist and dialetheist misreadings only if we grasp the truth of the three moments of logic. (shrink)

A necessarily true sentence is 'brute' if it does not rigidly refer to anything and if it cannot be reduced to a logical truth. The question of whether there are brute necessities is an extremely natural one. Cian Dorr has recently argued for far-reaching metaphysical claims on the basis of the principle that there are no brute necessities: he initially argued that there are no non-symmetric relations, and later that there are no abstract objects at all. I argue that there (...) are nominalistically acceptable brute necessities, and that Dorr's arguments thus fail. My argument is an application of Gödel's first incompleteness theorem. (shrink)

The use of forward models is well established in cognitive and computational neuroscience. We compare and contrast two recent, but interestingly divergent, accounts of the place of forward models in the human cognitive architecture. On the Auxiliary Forward Model account, forward models are special-purpose prediction mechanisms implemented by additional circuitry distinct from core mechanisms of perception and action. On the Integral Forward Model account, forward models lie at the heart of all forms of perception and action. We compare these neighbouring (...) but importantly different visions and consider their implications for the cognitive sciences. We end by asking what kinds of empirical research might offer evidence favouring one or the other of these approaches. (shrink)

If we accept the Socratic edict that the examined life is the only worth living, we find no examination can exclude that mortal fate of human life. If we define a philosophical problem as, in Hans Jonas’ words, “the collision between a comprehensive view (be it hypothesis or belief) and a particular fact which will not fit into it”, we see there can be no greater problem for materialism or organicism than the corpse. That living things die is a problem (...) for a view on which only a figment of the imagination differentiates organic from inorganic matter, as for a view on which life is rational and eternal. For any systematic view, the body is a constant reminder of an acceptable answer to the question 'what is being'. This is because the body that can die is the ultimate explanatory task for any principled answer to this question. (shrink)

Given recent advances in technology, connectivity, and the popularity of social media platforms, recent literature has devoted great attention to problematic Facebook use. However, exploring the potential predictors of problematic social media use beyond Facebook use has become paramount given the increasing popularity of multiple alternative platforms. In this study, a sample of 584 social media users was recruited to complete an online survey assessing sociodemographic characteristics, patterns, and preferences of social media use, problematic social media use, social media use (...) motives, psychological well-being, self-esteem, and positive and negative affect. Results indicated that 6.68% of all respondents could be potentially classed as problematic users. Moreover, further analysis indicated that intrapersonal motive, negative affect, daily social media use, surveillance motive, and positive affect each predicted PSMU. These variables accounted for about 37% of the total variance in PSMU, with intrapersonal motive driving the greatest predictive contribution, over and above the effects of patterns of social media use and sociodemographic variables. These findings contribute to the increasing literature on PSMU. The results of this study are discussed in light of the existing literature on PSMU. (shrink)

Visual stimuli as well as transcranial magnetic stimulation can be used: to suppress the visibility of a target and to recover the visibility of a target that has been suppressed by another mask. Both types of stimulation thus provide useful methods for studying the microgenesis of object perception. We first review evidence of similarities between the processes by which a TMS mask and a visual mask can either suppress the visibility of targets or recover such suppressed visibility. However, we then (...) also point out a significant difference that has important implications for the study of the time course of unconscious and conscious visual information processing and for theoretical accounts of the processes involved. We present evidence and arguments showing: that visual masking techniques, by revealing more detailed aspects of target masking and target recovery, support a theoretical approach to visual masking and visual perception that must take into account activities in two separate neural channels or processing streams and, as a corollary, that at the current stage of methodological sophistication visual masks, by acting in more highly specifiable ways on these pathways, provide information about the microgenesis of form perception not available with TMS masks. (shrink)

Machine stability and energy efficiency have become major issues in the manufacturing industry, primarily during the COVID-19 pandemic where fluctuations in supply and demand were common. As a result, Predictive Maintenance (PdM) has become more desirable, since predicting failures ahead of time allows to avoid downtime and improves stability and energy efficiency in machines. One type of machine failure stands out due to its impact, machine overstrain, which can occur when machines are used beyond their tolerable limit. From the current (...) literature, there are little to no relevant works that focus on machine overstrain failure detection or prediction. Accordingly, the purpose of this paper is to implement and compare four Machine Learning (ML) algorithms for PdM applied to machine overstrain failures: Artificial Neural Network (ANN), Gradient Boosting, Random Forest and Support Vector Machine (SVM). Moreover, it proposes a training methodology for imbalanced data and the automatic optimization of hyperparameters, which aims to improve performance in the ML models. To evaluate the performance of the ML models, a synthetic dataset that simulates industrial machine data is used. The obtained results show the robustness of the proposed methodology, with the ANN and SVM models achieving a perfect recall score, with 98.95% and 98.85% in accuracy, respectively. (shrink)

The paper aims to sketch Kant’s response to the mind-body problem in his first work, Thoughts on the true estimation of living forces (1747). This is accomplished by first examining the origins of the problem in Descartes, then exploring the traditional responses to the problem, occasionalism, pre-established harmony, and physical influx. Finally, the paper positions Kant as a proponent of physical influx and highlights the unique features and challenges of his perspective.

Series: Collana scolastica di testi filosofici.

Environmental issues are very relevant today, so this Paper analyses the very beginning of the formation of environmental awareness, questioning its basic determinants – both in time and space and in the causes and consequences of human action on the environment as one of the fundamental elements for any historical research. The paper also offers a brief comparative review of the situation in the Republic of Croatia and finally opens ground for future discussions primarily in the evaluation of progress and (...) development of environmental events in relation to those that this study detected as initial. (shrink)